0.00/0.00 c cpHydra_k_10 version 0.0
7.28/7.42 c CASE TO CLASSIFY:
7.28/7.42 c Case: 0
7.28/7.42 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.939500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.969830 | c 14 > 11.389600 | c 11 > 6.066090 | c 12 > 10.391900 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.088800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.066090 | c 31 > -1.000000 | c 4 > 6.066090 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.43 c choco : 1801.0
7.28/7.43 c mistral : 1801.0
7.28/7.43 c abscon : 1801.0
7.28/7.43 c
7.28/7.43 c
7.38/7.51 c List of same ones: 10
7.38/7.51 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
7.38/7.51 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.129280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.51 c choco : 11.33
7.38/7.52 c mistral : 0.71
7.38/7.52 c abscon : 1.44378
7.38/7.52 c
7.38/7.52 c
7.38/7.52 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
7.38/7.52 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.829720 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.52 c choco : 2.57
7.38/7.52 c mistral : 0.23
7.38/7.52 c abscon : 1.16082
7.38/7.52 c
7.38/7.52 c
7.38/7.52 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
7.38/7.52 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.53 c choco : 7.04
7.38/7.53 c mistral : 0.39
7.38/7.53 c abscon : 1.11383
7.38/7.53 c
7.38/7.53 c
7.38/7.53 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
7.38/7.53 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.54 c choco : 1801.0
7.38/7.54 c mistral : 3.82
7.38/7.54 c abscon : 2.82057
7.38/7.54 c
7.38/7.54 c
7.38/7.54 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
7.38/7.54 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.413600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.55 c choco : 1801.0
7.38/7.55 c mistral : 20.05
7.38/7.55 c abscon : 4.68729
7.38/7.55 c
7.38/7.55 c
7.38/7.55 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
7.38/7.55 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.546900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.57 c choco : 1801.0
7.38/7.57 c mistral : 26.38
7.38/7.57 c abscon : 9.93749
7.38/7.57 c
7.38/7.57 c
7.38/7.57 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
7.38/7.57 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.659700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.011290 | c 14 > 11.151700 | c 11 > 9.216750 | c 12 > 6.484070 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.676200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.216700 | c 31 > -1.000000 | c 4 > 9.216750 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.58 c choco : 1801.0
7.38/7.58 c mistral : 1053.11
7.38/7.58 c abscon : 4.93525
7.38/7.58 c
7.38/7.58 c
7.38/7.58 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
7.38/7.58 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.540600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 4.542180 | c 14 > 6.209450 | c 11 > 6.044390 | c 12 > 5.198780 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.044400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.044390 | c 31 > -1.000000 | c 4 > 6.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.58 c choco : 2.93
7.38/7.58 c mistral : 1800.03
7.38/7.58 c abscon : 753.112
7.38/7.58 c
7.38/7.58 c
7.38/7.58 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
7.38/7.58 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.187400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.029710 | c 14 > 8.285400 | c 11 > 8.764870 | c 12 > 4.249850 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.987300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.764900 | c 31 > -1.000000 | c 4 > 8.764870 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.59 c choco : 6.47
7.38/7.59 c mistral : 0.41
7.38/7.59 c abscon : 2.32765
7.38/7.59 c
7.38/7.59 c
7.38/7.59 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
7.38/7.59 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.462300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.824500 | c 14 > 8.022370 | c 11 > 8.228820 | c 12 > 3.986710 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.228800 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.61 c choco : 4.54
7.46/7.61 c mistral : 0.22
7.46/7.61 c abscon : 1.44478
7.46/7.61 c
7.46/7.61 c
7.46/7.61 c Length: 10
7.46/7.61 c 3.5184343026266665 3.6731968316304537 5.5621682185726815 6.317088976775615 6.740597346385555 7.051057618506601 7.568077542797774 10.693728962312445 11.882222877466994 12.135872118138026
7.46/7.61 c
7.46/7.61 c 1.0 0.9823576157719023 0.8083011917052538 0.7548500350112157 0.7278486764833818 0.7092505726779487 0.6803017820467461 0.5456584431506867 0.5074685194944208 0.5
7.46/7.61 c
7.46/7.61 c solver 0
7.46/7.61 c before 0.0 seconds: {} 0
7.46/7.61 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6670
7.46/7.61 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7216
7.46/7.61 c
7.46/7.61 c solver 1
7.46/7.61 c before 0.0 seconds: {} 0
7.46/7.62 c before 18.0 seconds: {0, 1, 2, 3, 8, 9} 4552
7.46/7.62 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5990
7.46/7.62 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6670
7.46/7.62 c
7.46/7.62 c solver 2
7.46/7.62 c before 0.0 seconds: {} 0
7.46/7.62 c before 18.0 seconds: {0, 1, 2, 7, 8, 9} 4343
7.46/7.62 c
7.46/7.62 cTotal time: 102
7.46/7.62 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7216
7.46/7.62 c run mistral for 36.0 seconds {0, 1, 2, 3, 4, 5, 8, 9} 5990
7.46/7.62 c run choco for 18.0 seconds {0, 1, 2, 7, 8, 9} 4343
7.46/7.62 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.46/7.62 c On Instance: HOME/instance-1048041-1215041951.xml
7.46/7.62 c Running for: 756 seconds
763.72/764.22 c Starting solver: HOME/cpHydra_k_10/solver/mistral
763.72/764.22 c On Instance: HOME/instance-1048041-1215041951.xml
763.72/764.22 c Running for: 36 seconds
799.65/800.57 c Starting solver: HOME/cpHydra_k_10/solver/choco
799.65/800.57 c On Instance: HOME/instance-1048041-1215041951.xml
799.65/800.57 c Running for: 18 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048041-1215041951/watcher-1048041-1215041951 -o /tmp/evaluation-result-1048041-1215041951/solver-1048041-1215041951 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1048041-1215041951.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 1.86 4/74 9322
/proc/meminfo: memFree=1829736/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=18572 CPUtime=0
/proc/9322/stat : 9322 (runsolver) R 9320 9322 8596 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1983169662 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9322/statm: 4643 292 257 25 0 2626 0
[startup+0.054766 s]
/proc/loadavg: 2.03 2.03 1.86 4/74 9322
/proc/meminfo: memFree=1829736/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=0
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983169662 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101765 s]
/proc/loadavg: 2.03 2.03 1.86 4/74 9322
/proc/meminfo: memFree=1829736/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=0
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983169662 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301784 s]
/proc/loadavg: 2.03 2.03 1.86 4/74 9322
/proc/meminfo: memFree=1829736/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=0
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983169662 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701825 s]
/proc/loadavg: 2.03 2.03 1.86 4/74 9322
/proc/meminfo: memFree=1829736/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=0
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983169662 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50191 s]
/proc/loadavg: 2.03 2.03 1.86 3/76 9326
/proc/meminfo: memFree=1827608/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=0
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983169662 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 236 195 169 0 51 0
[pid=9326] ppid=9322 vsize=5900 CPUtime=1.47
/proc/9326/stat : 9326 (xsolve) R 9322 9322 8596 0 -1 4194304 841 0 0 0 147 0 0 0 25 0 1 0 1983169663 6041600 800 996147200 134512640 135239763 4294956176 18446744073709551615 134820386 0 0 4096 0 0 0 0 17 1 0 0
/proc/9326/statm: 1475 800 413 177 0 378 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11260
[startup+3.10208 s]
/proc/loadavg: 2.11 2.05 1.87 4/84 9338
/proc/meminfo: memFree=1822680/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=1.5
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 375 1437 0 0 0 0 149 1 18 0 1 0 1983169662 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 238 196 169 0 51 0
[pid=9330] ppid=9322 vsize=197104 CPUtime=1.54
/proc/9330/stat : 9330 (java) S 9322 9322 8596 0 -1 0 5050 0 1 0 149 5 0 0 18 0 9 0 1983169815 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9330/statm: 49276 4238 1678 9 0 43859 0
[pid=9330/tid=9331] ppid=9322 vsize=197104 CPUtime=1.22
/proc/9330/task/9331/stat : 9331 (java) R 9322 9322 8596 0 -1 64 2738 0 1 0 119 3 0 0 25 0 9 0 1983169816 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4126441132 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9332] ppid=9322 vsize=197104 CPUtime=0.15
/proc/9330/task/9332/stat : 9332 (java) S 9322 9322 8596 0 -1 64 975 0 0 0 14 1 0 0 16 0 9 0 1983169818 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9333] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9333/stat : 9333 (java) S 9322 9322 8596 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983169818 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9334] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9334/stat : 9334 (java) S 9322 9322 8596 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983169818 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9335] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9335/stat : 9335 (java) S 9322 9322 8596 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983169820 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9336] ppid=9322 vsize=197104 CPUtime=0.14
/proc/9330/task/9336/stat : 9336 (java) S 9322 9322 8596 0 -1 64 612 0 0 0 14 0 0 0 16 0 9 0 1983169820 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9337] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9337/stat : 9337 (java) S 9322 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983169820 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9338] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9338/stat : 9338 (java) S 9322 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983169820 201834496 4238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202464
[startup+6.30241 s]
/proc/loadavg: 2.11 2.05 1.87 4/84 9338
/proc/meminfo: memFree=1809304/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=1.5
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 375 1437 0 0 0 0 149 1 18 0 1 0 1983169662 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 238 196 169 0 51 0
[pid=9330] ppid=9322 vsize=197104 CPUtime=4.7
/proc/9330/stat : 9330 (java) S 9322 9322 8596 0 -1 0 9913 0 1 0 457 13 0 0 18 0 9 0 1983169815 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9330/statm: 49276 8216 2540 9 0 43859 0
[pid=9330/tid=9331] ppid=9322 vsize=197104 CPUtime=3.73
/proc/9330/task/9331/stat : 9331 (java) R 9322 9322 8596 0 -1 64 3539 0 1 0 368 5 0 0 25 0 9 0 1983169816 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4126462984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9332] ppid=9322 vsize=197104 CPUtime=0.77
/proc/9330/task/9332/stat : 9332 (java) S 9322 9322 8596 0 -1 64 5022 0 0 0 71 6 0 0 16 0 9 0 1983169818 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9333] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9333/stat : 9333 (java) S 9322 9322 8596 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983169818 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9334] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9334/stat : 9334 (java) S 9322 9322 8596 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983169818 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9335] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9335/stat : 9335 (java) S 9322 9322 8596 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983169820 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9336] ppid=9322 vsize=197104 CPUtime=0.17
/proc/9330/task/9336/stat : 9336 (java) S 9322 9322 8596 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1983169820 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9337] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9337/stat : 9337 (java) S 9322 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983169820 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9338] ppid=9322 vsize=197104 CPUtime=0
/proc/9330/task/9338/stat : 9338 (java) S 9322 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983169820 201834496 8216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202464
[startup+12.7021 s]
/proc/loadavg: 2.09 2.04 1.87 3/96 9351
/proc/meminfo: memFree=1759800/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=1.5
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 375 1437 0 0 0 0 149 1 18 0 1 0 1983169662 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 238 196 169 0 51 0
[pid=9330] ppid=9322 vsize=197428 CPUtime=5.97
/proc/9330/stat : 9330 (java) S 9322 9322 8596 0 -1 0 11456 0 1 0 581 16 0 0 18 0 10 0 1983169815 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9330/statm: 49357 9372 2543 9 0 43940 0
[pid=9340] ppid=9330 vsize=5356 CPUtime=0
/proc/9340/stat : 9340 (abscon) S 9330 9322 8596 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1983170425 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9340/statm: 1339 237 196 169 0 50 0
[pid=9341] ppid=9340 vsize=655972 CPUtime=5.04
/proc/9341/stat : 9341 (java) S 9340 9322 8596 0 -1 0 13397 0 1 0 491 13 0 0 18 0 9 0 1983170426 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9341/statm: 163993 12713 2611 9 0 158521 0
[pid=9341/tid=9343] ppid=9340 vsize=655972 CPUtime=4.67
/proc/9341/task/9343/stat : 9343 (java) R 9340 9322 8596 0 -1 64 10633 0 1 0 456 11 0 0 25 0 9 0 1983170426 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4127079379 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9344] ppid=9340 vsize=655972 CPUtime=0.06
/proc/9341/task/9344/stat : 9344 (java) S 9340 9322 8596 0 -1 64 1481 0 0 0 6 0 0 0 16 0 9 0 1983170428 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9345] ppid=9340 vsize=655972 CPUtime=0
/proc/9341/task/9345/stat : 9345 (java) S 9340 9322 8596 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983170428 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9346] ppid=9340 vsize=655972 CPUtime=0
/proc/9341/task/9346/stat : 9346 (java) S 9340 9322 8596 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983170428 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9347] ppid=9340 vsize=655972 CPUtime=0
/proc/9341/task/9347/stat : 9347 (java) S 9340 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 1983170430 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9348] ppid=9340 vsize=655972 CPUtime=0.29
/proc/9341/task/9348/stat : 9348 (java) S 9340 9322 8596 0 -1 64 738 0 0 0 29 0 0 0 17 0 9 0 1983170430 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9350] ppid=9340 vsize=655972 CPUtime=0
/proc/9341/task/9350/stat : 9350 (java) S 9340 9322 8596 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1983170430 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9351] ppid=9340 vsize=655972 CPUtime=0
/proc/9341/task/9351/stat : 9351 (java) S 9340 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983170430 671715328 12713 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9342] ppid=9340 vsize=7044 CPUtime=0
/proc/9342/stat : 9342 (translate) S 9340 9322 8596 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983170426 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9342/statm: 1761 213 182 1 0 41 0
[pid=9330/tid=9331] ppid=9322 vsize=197428 CPUtime=4.81
/proc/9330/task/9331/stat : 9331 (java) S 9322 9322 8596 0 -1 64 3863 0 1 0 474 7 0 0 25 0 10 0 1983169816 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9330/tid=9332] ppid=9322 vsize=197428 CPUtime=0.93
/proc/9330/task/9332/stat : 9332 (java) S 9322 9322 8596 0 -1 64 6139 0 0 0 85 8 0 0 16 0 10 0 1983169818 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9333] ppid=9322 vsize=197428 CPUtime=0
/proc/9330/task/9333/stat : 9333 (java) S 9322 9322 8596 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983169818 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9334] ppid=9322 vsize=197428 CPUtime=0
/proc/9330/task/9334/stat : 9334 (java) S 9322 9322 8596 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1983169818 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9335] ppid=9322 vsize=197428 CPUtime=0
/proc/9330/task/9335/stat : 9335 (java) S 9322 9322 8596 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1983169820 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9336] ppid=9322 vsize=197428 CPUtime=0.2
/proc/9330/task/9336/stat : 9336 (java) S 9322 9322 8596 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1983169820 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9337] ppid=9322 vsize=197428 CPUtime=0
/proc/9330/task/9337/stat : 9337 (java) S 9322 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1983169820 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9338] ppid=9322 vsize=197428 CPUtime=0
/proc/9330/task/9338/stat : 9338 (java) S 9322 9322 8596 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1983169820 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9339] ppid=9322 vsize=197428 CPUtime=0
/proc/9330/task/9339/stat : 9339 (java) S 9322 9322 8596 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983170425 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 871160
[startup+25.5024 s]
/proc/loadavg: 2.08 2.04 1.87 3/96 9351
/proc/meminfo: memFree=1759288/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=1.5
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 375 1437 0 0 0 0 149 1 18 0 1 0 1983169662 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 238 196 169 0 51 0
[pid=9330] ppid=9322 vsize=197428 CPUtime=5.97
/proc/9330/stat : 9330 (java) S 9322 9322 8596 0 -1 0 11456 0 1 0 581 16 0 0 18 0 10 0 1983169815 202166272 9372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9330/statm: 49357 9372 2543 9 0 43940 0
[pid=9340] ppid=9330 vsize=5356 CPUtime=0
/proc/9340/stat : 9340 (abscon) S 9330 9322 8596 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1983170425 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9340/statm: 1339 237 196 169 0 50 0
[pid=9341] ppid=9340 vsize=655972 CPUtime=17.84
/proc/9341/stat : 9341 (java) S 9340 9322 8596 0 -1 0 13401 0 1 0 1771 13 0 0 18 0 9 0 1983170426 671715328 12716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9341/statm: 163993 12716 2611 9 0 158521 0
[pid=9341/tid=9343] ppid=9340 vsize=655972 CPUtime=17.46
/proc/9341/task/9343/stat : 9343 (java) R 9340 9322 8596 0 -1 64 10635 0 1 0 1735 11 0 0 25 0 9 0 1983170426 671715328 12716 996147200 134512640 134550740 4294955808 18446744073709551615 4127101888 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9344] ppid=9340 vsize=655972 CPUtime=0.06
/proc/9341/task/9344/stat : 9344 (java) S 9340 9322 8596 0 -1 64 1481 0 0 0 6 0 0 0 16 0 9 0 1983170428 671715328 12716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9341/tid=9345] ppid=9340 vsize=655972 CPUtime=0
/proc/9341/task/9345/stat : 9345 (java) S 9340 9322 8596 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983170428 671715328 12716 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/9330/statm: 49438 9378 2544 9 0 44021 0
[pid=9356] ppid=9330 vsize=5356 CPUtime=0
/proc/9356/stat : 9356 (choco) S 9330 9322 8596 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1983249720 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9356/statm: 1339 238 197 169 0 50 0
[pid=9357] ppid=9356 vsize=655608 CPUtime=903.85
/proc/9357/stat : 9357 (java) S 9356 9322 8596 0 -1 0 17150 0 1 0 90132 253 0 0 18 0 9 0 1983249721 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9357/statm: 163902 14849 1936 9 0 158431 0
[pid=9357/tid=9358] ppid=9356 vsize=655608 CPUtime=902.4
/proc/9357/task/9358/stat : 9358 (java) R 9356 9322 8596 0 -1 64 14030 0 1 0 90002 238 0 0 25 0 9 0 1983249722 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4127091238 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9359] ppid=9356 vsize=655608 CPUtime=1.08
/proc/9357/task/9359/stat : 9359 (java) S 9356 9322 8596 0 -1 64 1910 0 0 0 95 13 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9360] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9360/stat : 9360 (java) S 9356 9322 8596 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9361] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9361/stat : 9361 (java) S 9356 9322 8596 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9362] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9362/stat : 9362 (java) S 9356 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983249725 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9363] ppid=9356 vsize=655608 CPUtime=0.34
/proc/9357/task/9363/stat : 9363 (java) S 9356 9322 8596 0 -1 64 664 0 0 0 34 0 0 0 16 0 9 0 1983249725 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9364] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9364/stat : 9364 (java) S 9356 9322 8596 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983249726 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9365] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9365/stat : 9365 (java) S 9356 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983249726 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9330/tid=9331] ppid=9322 vsize=197752 CPUtime=797.08
/proc/9330/task/9331/stat : 9331 (java) S 9322 9322 8596 0 -1 64 4022 15120 1 1 474 7 79211 16 16 0 10 0 1983169816 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9330/tid=9332] ppid=9322 vsize=197752 CPUtime=793.2
/proc/9330/task/9332/stat : 9332 (java) S 9322 9322 8596 0 -1 64 6177 15120 0 1 85 8 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9333] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9333/stat : 9333 (java) S 9322 9322 8596 0 -1 64 11 15120 0 1 0 0 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9334] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9334/stat : 9334 (java) S 9322 9322 8596 0 -1 64 6 15120 0 1 0 0 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9335] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9335/stat : 9335 (java) S 9322 9322 8596 0 -1 64 0 15120 0 1 0 0 79211 16 18 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9336] ppid=9322 vsize=197752 CPUtime=792.47
/proc/9330/task/9336/stat : 9336 (java) S 9322 9322 8596 0 -1 64 643 15120 0 1 20 0 79211 16 16 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9337] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9337/stat : 9337 (java) S 9322 9322 8596 0 -1 64 1 15120 0 1 0 0 79211 16 19 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9338] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9338/stat : 9338 (java) S 9322 9322 8596 0 -1 64 25 15120 0 1 0 0 79211 16 15 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9355] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9355/stat : 9355 (java) S 9322 9322 8596 0 -1 64 44 15120 0 1 0 0 79211 16 18 0 10 0 1983249720 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1703.6
Current children cumulated vsize (KiB) 864076
[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 1.91 3/93 9608
/proc/meminfo: memFree=1754112/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=1.5
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 375 1437 0 0 0 0 149 1 18 0 1 0 1983169662 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 238 196 169 0 51 0
[pid=9330] ppid=9322 vsize=197752 CPUtime=798.25
/proc/9330/stat : 9330 (java) S 9322 9322 8596 0 -1 0 11784 15120 1 1 581 17 79211 16 18 0 10 0 1983169815 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9330/statm: 49438 9378 2544 9 0 44021 0
[pid=9356] ppid=9330 vsize=5356 CPUtime=0
/proc/9356/stat : 9356 (choco) S 9330 9322 8596 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1983249720 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9356/statm: 1339 238 197 169 0 50 0
[pid=9357] ppid=9356 vsize=655608 CPUtime=963.62
/proc/9357/stat : 9357 (java) S 9356 9322 8596 0 -1 0 17286 0 1 0 96090 272 0 0 18 0 9 0 1983249721 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9357/statm: 163902 14849 1936 9 0 158431 0
[pid=9357/tid=9358] ppid=9356 vsize=655608 CPUtime=962.1
/proc/9357/task/9358/stat : 9358 (java) R 9356 9322 8596 0 -1 64 14166 0 1 0 95954 256 0 0 25 0 9 0 1983249722 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9357/tid=9359] ppid=9356 vsize=655608 CPUtime=1.15
/proc/9357/task/9359/stat : 9359 (java) S 9356 9322 8596 0 -1 64 1910 0 0 0 101 14 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9357/tid=9360] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9360/stat : 9360 (java) S 9356 9322 8596 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9361] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9361/stat : 9361 (java) S 9356 9322 8596 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9362] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9362/stat : 9362 (java) S 9356 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983249725 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9363] ppid=9356 vsize=655608 CPUtime=0.34
/proc/9357/task/9363/stat : 9363 (java) S 9356 9322 8596 0 -1 64 664 0 0 0 34 0 0 0 16 0 9 0 1983249725 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9364] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9364/stat : 9364 (java) S 9356 9322 8596 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983249726 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9365] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9365/stat : 9365 (java) S 9356 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983249726 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9330/tid=9331] ppid=9322 vsize=197752 CPUtime=797.08
/proc/9330/task/9331/stat : 9331 (java) S 9322 9322 8596 0 -1 64 4022 15120 1 1 474 7 79211 16 16 0 10 0 1983169816 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9330/tid=9332] ppid=9322 vsize=197752 CPUtime=793.2
/proc/9330/task/9332/stat : 9332 (java) S 9322 9322 8596 0 -1 64 6177 15120 0 1 85 8 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9333] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9333/stat : 9333 (java) S 9322 9322 8596 0 -1 64 11 15120 0 1 0 0 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9334] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9334/stat : 9334 (java) S 9322 9322 8596 0 -1 64 6 15120 0 1 0 0 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9335] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9335/stat : 9335 (java) S 9322 9322 8596 0 -1 64 0 15120 0 1 0 0 79211 16 18 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9336] ppid=9322 vsize=197752 CPUtime=792.47
/proc/9330/task/9336/stat : 9336 (java) S 9322 9322 8596 0 -1 64 643 15120 0 1 20 0 79211 16 16 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9337] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9337/stat : 9337 (java) S 9322 9322 8596 0 -1 64 1 15120 0 1 0 0 79211 16 19 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9338] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9338/stat : 9338 (java) S 9322 9322 8596 0 -1 64 25 15120 0 1 0 0 79211 16 15 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9355] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9355/stat : 9355 (java) S 9322 9322 8596 0 -1 64 44 15120 0 1 0 0 79211 16 18 0 10 0 1983249720 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1763.37
Current children cumulated vsize (KiB) 864076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819 s]
/proc/loadavg: 1.98 1.98 1.91 3/93 9608
/proc/meminfo: memFree=1754112/2055920 swapFree=4180448/4192956
[pid=9322] ppid=9320 vsize=5360 CPUtime=1.5
/proc/9322/stat : 9322 (hydra) S 9320 9322 8596 0 -1 4194304 375 1437 0 0 0 0 149 1 18 0 1 0 1983169662 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9322/statm: 1340 238 196 169 0 51 0
[pid=9330] ppid=9322 vsize=197752 CPUtime=798.26
/proc/9330/stat : 9330 (java) S 9322 9322 8596 0 -1 0 11784 15120 1 1 582 17 79211 16 18 0 10 0 1983169815 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9330/statm: 49438 9378 2544 9 0 44021 0
[pid=9356] ppid=9330 vsize=5356 CPUtime=0
/proc/9356/stat : 9356 (choco) S 9330 9322 8596 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1983249720 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9356/statm: 1339 238 197 169 0 50 0
[pid=9357] ppid=9356 vsize=655608 CPUtime=1000.31
/proc/9357/stat : 9357 (java) S 9356 9322 8596 0 -1 0 17371 0 1 0 99750 281 0 0 18 0 9 0 1983249721 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9357/statm: 163902 14849 1936 9 0 158431 0
[pid=9357/tid=9358] ppid=9356 vsize=655608 CPUtime=998.75
/proc/9357/task/9358/stat : 9358 (java) R 9356 9322 8596 0 -1 64 14251 0 1 0 99610 265 0 0 25 0 9 0 1983249722 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4127116449 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9357/tid=9359] ppid=9356 vsize=655608 CPUtime=1.2
/proc/9357/task/9359/stat : 9359 (java) S 9356 9322 8596 0 -1 64 1910 0 0 0 105 15 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9357/tid=9360] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9360/stat : 9360 (java) S 9356 9322 8596 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9361] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9361/stat : 9361 (java) S 9356 9322 8596 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983249723 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9362] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9362/stat : 9362 (java) S 9356 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983249725 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9363] ppid=9356 vsize=655608 CPUtime=0.34
/proc/9357/task/9363/stat : 9363 (java) S 9356 9322 8596 0 -1 64 664 0 0 0 34 0 0 0 16 0 9 0 1983249725 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9364] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9364/stat : 9364 (java) S 9356 9322 8596 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983249726 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9357/tid=9365] ppid=9356 vsize=655608 CPUtime=0
/proc/9357/task/9365/stat : 9365 (java) S 9356 9322 8596 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983249726 671342592 14849 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9330/tid=9331] ppid=9322 vsize=197752 CPUtime=797.08
/proc/9330/task/9331/stat : 9331 (java) S 9322 9322 8596 0 -1 64 4022 15120 1 1 474 7 79211 16 16 0 10 0 1983169816 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9330/tid=9332] ppid=9322 vsize=197752 CPUtime=793.2
/proc/9330/task/9332/stat : 9332 (java) S 9322 9322 8596 0 -1 64 6177 15120 0 1 85 8 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9333] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9333/stat : 9333 (java) S 9322 9322 8596 0 -1 64 11 15120 0 1 0 0 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9334] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9334/stat : 9334 (java) S 9322 9322 8596 0 -1 64 6 15120 0 1 0 0 79211 16 16 0 10 0 1983169818 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9335] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9335/stat : 9335 (java) S 9322 9322 8596 0 -1 64 0 15120 0 1 0 0 79211 16 18 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9336] ppid=9322 vsize=197752 CPUtime=792.47
/proc/9330/task/9336/stat : 9336 (java) S 9322 9322 8596 0 -1 64 643 15120 0 1 20 0 79211 16 16 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9337] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9337/stat : 9337 (java) S 9322 9322 8596 0 -1 64 1 15120 0 1 0 0 79211 16 19 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9338] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9338/stat : 9338 (java) S 9322 9322 8596 0 -1 64 25 15120 0 1 0 0 79211 16 15 0 10 0 1983169820 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9330/tid=9355] ppid=9322 vsize=197752 CPUtime=792.27
/proc/9330/task/9355/stat : 9355 (java) S 9322 9322 8596 0 -1 64 44 15120 0 1 0 0 79211 16 18 0 10 0 1983249720 202498048 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 864076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9322 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=493772
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 1.51277
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1819.03
CPU time (s): 1800.07
CPU user time (s): 1796.92
CPU system time (s): 3.15
CPU usage (%): 98.9574
Max. virtual memory (cumulated for all children) (KiB): 871160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49377
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 41
runsolver used 8.5137 second user time and 17.4713 second system time
The end