root         692  0.0  0.6 202660 25192 ?        S    01:27   0:00 php -S 0.0.0.0:8888 -t public/ public/router_public.php
root        7940  0.0  0.0   2920   924 ?        Ss   03:40   0:00 timeout --preserve-status --signal=KILL 60s bash -lc { cd /workspace ; mkdir -p /workspace/outputs ; } { # Check what process is actually serving and which router it's using ps aux | grep php __ec=$? } >"/workspace/outputs/workspace_output_1775274054_2043.txt" 2>&1 head -c 80000 "/workspace/outputs/workspace_output_1775274054_2043.txt" ( exit "$__ec" )
root        7941  0.0  0.0   4352  3244 ?        S    03:40   0:00 bash -lc { cd /workspace ; mkdir -p /workspace/outputs ; } { # Check what process is actually serving and which router it's using ps aux | grep php __ec=$? } >"/workspace/outputs/workspace_output_1775274054_2043.txt" 2>&1 head -c 80000 "/workspace/outputs/workspace_output_1775274054_2043.txt" ( exit "$__ec" )
root        7946  0.0  0.0   3752  1852 ?        S    03:40   0:00 grep php