0.00/0.00 c cpHydra_k_10 version 0.0
7.52/7.61 c CASE TO CLASSIFY:
7.52/7.61 c Case: 0
7.52/7.62 c 19 > 0.000000 | c 35 > 170.263000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.187900 | c 15 > 21.319000 | c 34 > 184.068000 | c 16 > 35.000000 | c 13 > 3.915040 | c 14 > 11.558900 | c 11 > 10.801700 | c 12 > 3.772590 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > 14.670500 | c 1 > 10.801700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.670500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.093200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.52/7.63 c choco : 1801.0
7.52/7.63 c mistral : 1801.0
7.52/7.63 c abscon : 1801.0
7.52/7.63 c
7.52/7.63 c
7.52/7.70 c List of same ones: 10
7.52/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-opt1217.xml
7.52/7.70 c 19 > 0.000000 | c 35 > 137.611000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.017700 | c 15 > 16.381500 | c 34 > 207.257000 | c 16 > 67.000000 | c 13 > 0.529806 | c 14 > 9.525520 | c 11 > 11.598100 | c 12 > 0.631367 | c 21 > 1.413310 | c 20 > 100.000000 | c 22 > 1.414210 | 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.065100 | c 1 > 9.616550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.065100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.345600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.70 c choco : 2.76
7.62/7.70 c mistral : 0.59
7.62/7.70 c abscon : 5.06423
7.62/7.70 c
7.62/7.70 c
7.62/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-25-25.xml
7.62/7.70 c 19 > 0.000000 | c 35 > 125.186000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 18.596400 | c 34 > 138.586000 | c 16 > 25.000000 | c 13 > 2.280380 | c 14 > 9.008430 | c 11 > 13.528200 | c 12 > 1.536570 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > 13.408900 | c 1 > 9.873440 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.408900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.487300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.71 c choco : 1801.0
7.62/7.71 c mistral : 396.43
7.62/7.71 c abscon : 1800.1
7.62/7.71 c
7.62/7.71 c
7.62/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1-o.xml
7.62/7.71 c 19 > 20.960700 | c 35 > 117.762000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.257600 | c 15 > 17.800200 | c 34 > 195.699000 | c 16 > 54.000000 | c 13 > 0.347454 | c 14 > 11.366300 | c 11 > 12.070100 | c 12 > 1.501510 | c 21 > 1.341360 | c 20 > 79.039300 | c 22 > 1.414210 | 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 > 14.323900 | c 1 > 12.070100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.310300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.980900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.72 c choco : 10.89
7.62/7.72 c mistral : 1.77
7.62/7.72 c abscon : 1071.66
7.62/7.72 c
7.62/7.72 c
7.62/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-20.xml
7.62/7.72 c 19 > 0.000000 | c 35 > 117.391000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.304300 | c 15 > 19.080400 | c 34 > 139.130000 | c 16 > 20.000000 | c 13 > 6.820790 | c 14 > 10.461500 | c 11 > 12.675100 | c 12 > 3.980620 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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.536200 | c 1 > 9.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.536200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.378600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.73 c choco : 1801.0
7.62/7.73 c mistral : 37.64
7.62/7.73 c abscon : 3.2905
7.62/7.73 c
7.62/7.73 c
7.62/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-19.xml
7.62/7.73 c 19 > 0.000000 | c 35 > 112.785000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.369900 | c 15 > 19.187000 | c 34 > 134.475000 | c 16 > 20.000000 | c 13 > 5.501180 | c 14 > 10.448100 | c 11 > 12.556000 | c 12 > 3.023020 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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.412600 | c 1 > 9.154820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.412600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.213700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.74 c choco : 1801.0
7.62/7.74 c mistral : 1800.01
7.62/7.74 c abscon : 2.09268
7.62/7.74 c
7.62/7.74 c
7.62/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1.xml
7.62/7.74 c 19 > 21.205800 | c 35 > 115.021000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.960500 | c 15 > 18.134700 | c 34 > 190.988000 | c 16 > 77.000000 | c 13 > 0.491467 | c 14 > 11.026500 | c 11 > 12.070100 | c 12 > 1.563900 | c 21 > 1.341360 | c 20 > 78.794200 | c 22 > 1.414210 | 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 > 14.421400 | c 1 > 12.070100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.407900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.997500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.75 c choco : 9.52
7.62/7.75 c mistral : 1.89
7.62/7.75 c abscon : 1605.97
7.62/7.75 c
7.62/7.75 c
7.62/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc01.xml
7.62/7.75 c 19 > 0.000000 | c 35 > 111.831000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 40.563400 | c 15 > 18.420800 | c 34 > 166.197000 | c 16 > 101.000000 | c 13 > 3.527310 | c 14 > 7.761550 | c 11 > 10.493900 | c 12 > 2.036790 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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.617500 | c 1 > 6.820180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.617500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.095300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.76 c choco : 1.96
7.62/7.76 c mistral : 0.89
7.62/7.76 c abscon : 25.1202
7.62/7.76 c
7.62/7.76 c
7.62/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm1.xml
7.62/7.76 c 19 > 0.000000 | c 35 > 94.691400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.666700 | c 15 > 15.737100 | c 34 > 189.259000 | c 16 > 82.000000 | c 13 > 0.033345 | c 14 > -1.000000 | c 11 > 11.427300 | c 12 > 2.218800 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > 14.602800 | c 1 > 11.427300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.602800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.623400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.76 c choco : 5.19
7.62/7.76 c mistral : 0.63
7.62/7.76 c abscon : 1800.11
7.62/7.76 c
7.62/7.76 c
7.62/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm2.xml
7.62/7.76 c 19 > 0.000000 | c 35 > 94.691400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.666700 | c 15 > 15.755100 | c 34 > 189.259000 | c 16 > 84.000000 | c 13 > -0.301197 | c 14 > -1.000000 | c 11 > 11.427300 | c 12 > 2.237580 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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 > 14.622200 | c 1 > 11.427300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.622200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 30.683200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.77 c choco : 5.27
7.62/7.77 c mistral : 0.63
7.62/7.77 c abscon : 1800.14
7.62/7.77 c
7.62/7.77 c
7.62/7.77 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/enigma.xml
7.62/7.77 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.142900 | c 15 > 14.122200 | c 34 > 189.524000 | c 16 > 90.000000 | c 13 > 0.608555 | c 14 > 6.584960 | c 11 > 9.854870 | c 12 > 0.557701 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | 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.103300 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.103300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.452400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.62/7.78 c choco : 1.49
7.62/7.78 c mistral : 0.08
7.62/7.78 c abscon : 1.3048
7.62/7.78 c
7.62/7.78 c
7.62/7.78 c Length: 10
7.62/7.78 c 52.8109418876182 65.0865768729198 67.93635037766083 71.28475824759317 77.6278415275016 78.94262672469753 91.3394016647022 92.82610022292829 93.87562535642716 98.73463932554596
7.62/7.78 c
7.62/7.78 c 1.0 0.7890760172980614 0.7522419327829543 0.7131284226600589 0.6491844758875014 0.6373388911137137 0.5437835924191716 0.5343764124472882 0.5279290976476979 0.5
7.62/7.79 c
7.62/7.79 c solver 0
7.62/7.79 c before 0.0 seconds: {} 0
7.62/7.79 c before 18.0 seconds: {0, 3, 4, 9} 2862
7.62/7.79 c before 36.0 seconds: {0, 3, 4, 6, 9} 3406
7.62/7.79 c before 1080.0 seconds: {0, 2, 3, 4, 6, 9} 4158
7.62/7.79 c before 1620.0 seconds: {0, 2, 3, 4, 5, 6, 9} 4795
7.62/7.79 c
7.62/7.79 c solver 1
7.62/7.79 c before 0.0 seconds: {} 0
7.62/7.79 c before 18.0 seconds: {0, 2, 5, 6, 7, 8, 9} 4495
7.62/7.79 c before 54.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9} 5208
7.62/7.79 c before 414.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 5997
7.62/7.79 c
7.62/7.79 c solver 2
7.62/7.79 c before 0.0 seconds: {} 0
7.62/7.79 c before 18.0 seconds: {0, 2, 5, 6, 7, 8, 9} 4495
7.62/7.79 c
7.62/7.79 cTotal time: 114
7.62/7.79 c run abscon for 1080.0 seconds {0, 2, 3, 4, 6, 9} 4158
7.62/7.79 c run mistral for 414.0 seconds {0, 1, 2, 3, 5, 6, 7, 8, 9} 5997
7.62/7.79 c run choco for 18.0 seconds {0, 2, 5, 6, 7, 8, 9} 4495
7.62/7.79 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.62/7.79 c On Instance: HOME/instance-1062459-1215135102.xml
7.62/7.79 c Running for: 1080 seconds
1088.01/1103.30 c Starting solver: HOME/cpHydra_k_10/solver/mistral
1088.01/1103.30 c On Instance: HOME/instance-1062459-1215135102.xml
1088.01/1103.30 c Running for: 414 seconds
1502.02/1519.33 c Starting solver: HOME/cpHydra_k_10/solver/choco
1502.02/1519.33 c On Instance: HOME/instance-1062459-1215135102.xml
1502.02/1519.33 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-1062459-1215135102/watcher-1062459-1215135102 -o /tmp/evaluation-result-1062459-1215135102/solver-1062459-1215135102 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1062459-1215135102.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.00 1.99 1.99 5/73 31224
/proc/meminfo: memFree=1616512/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=0
/proc/31224/stat : 31224 (hydra) R 31222 31224 30382 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 1992460028 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/31224/statm: 1340 236 195 169 0 51 0
[pid=31225] ppid=31224 vsize=0 CPUtime=0
/proc/31225/stat : 31225 (rm) Z 31224 31224 30382 0 -1 4194316 124 0 0 0 0 0 0 0 18 0 1 0 1992460028 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/31225/statm: 0 0 0 0 0 0 0
[startup+0.0475499 s]
/proc/loadavg: 2.00 1.99 1.99 5/73 31224
/proc/meminfo: memFree=1616512/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=0
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1992460028 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31224/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102555 s]
/proc/loadavg: 2.00 1.99 1.99 5/73 31224
/proc/meminfo: memFree=1616512/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=0
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1992460028 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31224/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301578 s]
/proc/loadavg: 2.00 1.99 1.99 5/73 31224
/proc/meminfo: memFree=1616512/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=0
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1992460028 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31224/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701624 s]
/proc/loadavg: 2.00 1.99 1.99 5/73 31224
/proc/meminfo: memFree=1616512/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=0
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1992460028 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31224/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50172 s]
/proc/loadavg: 2.00 1.99 1.99 3/75 31228
/proc/meminfo: memFree=1574512/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=0
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1992460028 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31224/statm: 1340 236 195 169 0 51 0
[pid=31228] ppid=31224 vsize=47940 CPUtime=1.47
/proc/31228/stat : 31228 (xsolve) R 31224 31224 30382 0 -1 4194304 11934 0 0 0 143 4 0 0 25 0 1 0 1992460029 49090560 10845 996147200 134512640 135239763 4294956176 18446744073709551615 135097561 0 0 4096 0 0 0 0 17 0 0 0
/proc/31228/statm: 11985 10845 431 177 0 10888 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 53300
[startup+3.10219 s]
/proc/loadavg: 2.00 1.99 1.99 4/83 31240
/proc/meminfo: memFree=1610736/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=1.92
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 375 12531 0 0 0 0 187 5 19 0 1 0 1992460028 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31224/statm: 1340 238 196 169 0 51 0
[pid=31232] ppid=31224 vsize=196996 CPUtime=1.12
/proc/31232/stat : 31232 (java) S 31224 31224 30382 0 -1 0 4713 0 1 0 109 3 0 0 18 0 9 0 1992460222 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31232/statm: 49249 3969 1677 9 0 43832 0
[pid=31232/tid=31233] ppid=31224 vsize=196996 CPUtime=0.87
/proc/31232/task/31233/stat : 31233 (java) R 31224 31224 30382 0 -1 64 2669 0 1 0 86 1 0 0 25 0 9 0 1992460223 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 104454904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31234] ppid=31224 vsize=196996 CPUtime=0.1
/proc/31232/task/31234/stat : 31234 (java) S 31224 31224 30382 0 -1 64 715 0 0 0 9 1 0 0 16 0 9 0 1992460225 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31235] ppid=31224 vsize=196996 CPUtime=0
/proc/31232/task/31235/stat : 31235 (java) S 31224 31224 30382 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992460225 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31236] ppid=31224 vsize=196996 CPUtime=0
/proc/31232/task/31236/stat : 31236 (java) S 31224 31224 30382 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992460225 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31237] ppid=31224 vsize=196996 CPUtime=0
/proc/31232/task/31237/stat : 31237 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992460227 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31238] ppid=31224 vsize=196996 CPUtime=0.12
/proc/31232/task/31238/stat : 31238 (java) S 31224 31224 30382 0 -1 64 603 0 0 0 12 0 0 0 16 0 9 0 1992460227 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31239] ppid=31224 vsize=196996 CPUtime=0
/proc/31232/task/31239/stat : 31239 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992460227 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31240] ppid=31224 vsize=196996 CPUtime=0
/proc/31232/task/31240/stat : 31240 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992460227 201723904 3969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202356
[startup+6.3023 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 31240
/proc/meminfo: memFree=1596976/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=1.92
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 375 12531 0 0 0 0 187 5 19 0 1 0 1992460028 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31224/statm: 1340 238 196 169 0 51 0
[pid=31232] ppid=31224 vsize=197108 CPUtime=4.31
/proc/31232/stat : 31232 (java) S 31224 31224 30382 0 -1 0 9788 0 1 0 419 12 0 0 18 0 9 0 1992460222 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31232/statm: 49277 8115 2540 9 0 43860 0
[pid=31232/tid=31233] ppid=31224 vsize=197108 CPUtime=3.41
/proc/31232/task/31233/stat : 31233 (java) R 31224 31224 30382 0 -1 64 3514 0 1 0 337 4 0 0 25 0 9 0 1992460223 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31234] ppid=31224 vsize=197108 CPUtime=0.71
/proc/31232/task/31234/stat : 31234 (java) S 31224 31224 30382 0 -1 64 4920 0 0 0 65 6 0 0 15 0 9 0 1992460225 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31235] ppid=31224 vsize=197108 CPUtime=0
/proc/31232/task/31235/stat : 31235 (java) S 31224 31224 30382 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992460225 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31236] ppid=31224 vsize=197108 CPUtime=0
/proc/31232/task/31236/stat : 31236 (java) S 31224 31224 30382 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992460225 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31237] ppid=31224 vsize=197108 CPUtime=0
/proc/31232/task/31237/stat : 31237 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992460227 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31238] ppid=31224 vsize=197108 CPUtime=0.16
/proc/31232/task/31238/stat : 31238 (java) S 31224 31224 30382 0 -1 64 628 0 0 0 16 0 0 0 16 0 9 0 1992460227 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31239] ppid=31224 vsize=197108 CPUtime=0
/proc/31232/task/31239/stat : 31239 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992460227 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31240] ppid=31224 vsize=197108 CPUtime=0
/proc/31232/task/31240/stat : 31240 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992460227 201838592 8115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202468
[startup+12.702 s]
/proc/loadavg: 2.07 2.01 2.00 3/95 31252
/proc/meminfo: memFree=1512080/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=1.92
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 375 12531 0 0 0 0 187 5 19 0 1 0 1992460028 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31224/statm: 1340 238 196 169 0 51 0
[pid=31232] ppid=31224 vsize=197432 CPUtime=5.77
/proc/31232/stat : 31232 (java) S 31224 31224 30382 0 -1 0 14010 0 1 0 561 16 0 0 18 0 10 0 1992460222 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31232/statm: 49358 9527 2543 9 0 43941 0
[pid=31242] ppid=31232 vsize=5356 CPUtime=0
/proc/31242/stat : 31242 (abscon) S 31232 31224 30382 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992460808 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31242/statm: 1339 237 196 169 0 50 0
[pid=31243] ppid=31242 vsize=655788 CPUtime=4.82
/proc/31243/stat : 31243 (java) S 31242 31224 30382 0 -1 0 21918 0 1 0 465 17 0 0 25 0 9 0 1992460808 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31243/statm: 163947 21232 2616 9 0 158475 0
[pid=31243/tid=31245] ppid=31242 vsize=655788 CPUtime=4.27
/proc/31243/task/31245/stat : 31245 (java) R 31242 31224 30382 0 -1 64 12555 0 1 0 414 13 0 0 25 0 9 0 1992460810 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4127159053 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31246] ppid=31242 vsize=655788 CPUtime=0.22
/proc/31243/task/31246/stat : 31246 (java) S 31242 31224 30382 0 -1 64 8119 0 0 0 20 2 0 0 16 0 9 0 1992460811 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31247] ppid=31242 vsize=655788 CPUtime=0
/proc/31243/task/31247/stat : 31247 (java) S 31242 31224 30382 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992460811 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31248] ppid=31242 vsize=655788 CPUtime=0
/proc/31243/task/31248/stat : 31248 (java) S 31242 31224 30382 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992460811 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31249] ppid=31242 vsize=655788 CPUtime=0
/proc/31243/task/31249/stat : 31249 (java) S 31242 31224 30382 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1992460813 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31250] ppid=31242 vsize=655788 CPUtime=0.3
/proc/31243/task/31250/stat : 31250 (java) S 31242 31224 30382 0 -1 64 698 0 0 0 30 0 0 0 15 0 9 0 1992460813 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31251] ppid=31242 vsize=655788 CPUtime=0
/proc/31243/task/31251/stat : 31251 (java) S 31242 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992460813 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31252] ppid=31242 vsize=655788 CPUtime=0
/proc/31243/task/31252/stat : 31252 (java) S 31242 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992460813 671526912 21232 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31244] ppid=31242 vsize=7044 CPUtime=0
/proc/31244/stat : 31244 (translate) S 31242 31224 30382 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992460808 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 231882850386 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/31244/statm: 1761 213 182 1 0 41 0
[pid=31232/tid=31233] ppid=31224 vsize=197432 CPUtime=4.51
/proc/31232/task/31233/stat : 31233 (java) S 31224 31224 30382 0 -1 64 3966 0 1 0 446 5 0 0 24 0 10 0 1992460223 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31232/tid=31234] ppid=31224 vsize=197432 CPUtime=1.03
/proc/31232/task/31234/stat : 31234 (java) S 31224 31224 30382 0 -1 64 8589 0 0 0 95 8 0 0 16 0 10 0 1992460225 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31235] ppid=31224 vsize=197432 CPUtime=0
/proc/31232/task/31235/stat : 31235 (java) S 31224 31224 30382 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992460225 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31236] ppid=31224 vsize=197432 CPUtime=0
/proc/31232/task/31236/stat : 31236 (java) S 31224 31224 30382 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992460225 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31237] ppid=31224 vsize=197432 CPUtime=0
/proc/31232/task/31237/stat : 31237 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992460227 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31238] ppid=31224 vsize=197432 CPUtime=0.18
/proc/31232/task/31238/stat : 31238 (java) S 31224 31224 30382 0 -1 64 646 0 0 0 18 0 0 0 16 0 10 0 1992460227 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31239] ppid=31224 vsize=197432 CPUtime=0
/proc/31232/task/31239/stat : 31239 (java) S 31224 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992460227 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31240] ppid=31224 vsize=197432 CPUtime=0
/proc/31232/task/31240/stat : 31240 (java) S 31224 31224 30382 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1992460227 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31232/tid=31241] ppid=31224 vsize=197432 CPUtime=0
/proc/31232/task/31241/stat : 31241 (java) S 31224 31224 30382 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1992460807 202170368 9527 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) 870980
[startup+25.5036 s]
/proc/loadavg: 2.06 2.01 2.00 3/95 31252
/proc/meminfo: memFree=1512208/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=1.92
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 375 12531 0 0 0 0 187 5 19 0 1 0 1992460028 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31224/statm: 1340 238 196 169 0 51 0
[pid=31232] ppid=31224 vsize=197432 CPUtime=5.77
/proc/31232/stat : 31232 (java) S 31224 31224 30382 0 -1 0 14010 0 1 0 561 16 0 0 18 0 10 0 1992460222 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31232/statm: 49358 9527 2543 9 0 43941 0
[pid=31242] ppid=31232 vsize=5356 CPUtime=0
/proc/31242/stat : 31242 (abscon) S 31232 31224 30382 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992460808 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31242/statm: 1339 237 196 169 0 50 0
[pid=31243] ppid=31242 vsize=655788 CPUtime=17.44
/proc/31243/stat : 31243 (java) S 31242 31224 30382 0 -1 0 21926 0 1 0 1727 17 0 0 25 0 9 0 1992460808 671526912 21238 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31243/statm: 163947 21238 2616 9 0 158475 0
[pid=31243/tid=31245] ppid=31242 vsize=655788 CPUtime=16.88
/proc/31243/task/31245/stat : 31245 (java) R 31242 31224 30382 0 -1 64 12556 0 1 0 1675 13 0 0 25 0 9 0 1992460810 671526912 21238 996147200 134512640 134550740 4294955808 18446744073709551615 4127165298 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31243/tid=31246] ppid=31242 vsize=655788 CPUtime=0.22
################
# More data... #
################
/proc/31232/statm: 49439 9533 2544 9 0 44022 0
[pid=31405] ppid=31232 vsize=5356 CPUtime=0
/proc/31405/stat : 31405 (choco) S 31232 31224 30382 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992611961 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31405/statm: 1339 238 197 169 0 50 0
[pid=31406] ppid=31405 vsize=655616 CPUtime=259.29
/proc/31406/stat : 31406 (java) S 31405 31224 30382 0 -1 0 17607 0 1 0 25490 439 0 0 18 0 9 0 1992611962 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31406/statm: 163904 17105 1933 9 0 158433 0
[pid=31406/tid=31407] ppid=31405 vsize=655616 CPUtime=258.69
/proc/31406/task/31407/stat : 31407 (java) R 31405 31224 30382 0 -1 64 12240 0 1 0 25434 435 0 0 25 0 9 0 1992611963 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4127203872 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31408] ppid=31405 vsize=655616 CPUtime=0.21
/proc/31406/task/31408/stat : 31408 (java) S 31405 31224 30382 0 -1 64 4151 0 0 0 19 2 0 0 16 0 9 0 1992611964 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31409] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31409/stat : 31409 (java) S 31405 31224 30382 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992611964 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31410] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31410/stat : 31410 (java) S 31405 31224 30382 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992611964 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31411] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31411/stat : 31411 (java) S 31405 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992611966 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31412] ppid=31405 vsize=655616 CPUtime=0.37
/proc/31406/task/31412/stat : 31412 (java) S 31405 31224 30382 0 -1 64 671 0 0 0 36 1 0 0 15 0 9 0 1992611966 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31413] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31413/stat : 31413 (java) S 31405 31224 30382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992611966 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31414] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31414/stat : 31414 (java) S 31405 31224 30382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992611966 671350784 17105 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31232/tid=31233] ppid=31224 vsize=197756 CPUtime=1498.89
/proc/31232/task/31233/stat : 31233 (java) S 31224 31224 30382 0 -1 64 4127 34752 1 1 447 5 149408 29 16 0 10 0 1992460223 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=31232/tid=31234] ppid=31224 vsize=197756 CPUtime=1495.4
/proc/31232/task/31234/stat : 31234 (java) S 31224 31224 30382 0 -1 64 8637 34752 0 1 95 8 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31232/tid=31235] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31235/stat : 31235 (java) S 31224 31224 30382 0 -1 64 11 34752 0 1 0 0 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31236] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31236/stat : 31236 (java) S 31224 31224 30382 0 -1 64 5 34752 0 1 0 0 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31237] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31237/stat : 31237 (java) S 31224 31224 30382 0 -1 64 1 34752 0 1 0 0 149408 29 18 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31238] ppid=31224 vsize=197756 CPUtime=1494.55
/proc/31232/task/31238/stat : 31238 (java) S 31224 31224 30382 0 -1 64 646 34752 0 1 18 0 149408 29 16 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31239] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31239/stat : 31239 (java) S 31224 31224 30382 0 -1 64 1 34752 0 1 0 0 149408 29 19 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31240] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31240/stat : 31240 (java) S 31224 31224 30382 0 -1 64 24 34752 0 1 0 0 149408 29 15 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31404] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31404/stat : 31404 (java) S 31224 31224 30382 0 -1 64 42 34752 0 1 0 0 149408 29 17 0 10 0 1992611961 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1761.35
Current children cumulated vsize (KiB) 864088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1821.9 s]
/proc/loadavg: 2.60 2.48 2.25 7/113 31598
/proc/meminfo: memFree=1412608/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=1.92
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 375 12531 0 0 0 0 187 5 19 0 1 0 1992460028 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31224/statm: 1340 238 196 169 0 51 0
[pid=31232] ppid=31224 vsize=197756 CPUtime=1500.14
/proc/31232/stat : 31232 (java) S 31224 31224 30382 0 -1 0 14348 34752 1 1 561 16 149408 29 18 0 10 0 1992460222 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31232/statm: 49439 9533 2544 9 0 44022 0
[pid=31405] ppid=31232 vsize=5356 CPUtime=0
/proc/31405/stat : 31405 (choco) S 31232 31224 30382 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992611961 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31405/statm: 1339 238 197 169 0 50 0
[pid=31406] ppid=31405 vsize=655616 CPUtime=297.94
/proc/31406/stat : 31406 (java) S 31405 31224 30382 0 -1 0 17619 0 1 0 29293 501 0 0 18 0 9 0 1992611962 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31406/statm: 163904 17106 1933 9 0 158433 0
[pid=31406/tid=31407] ppid=31405 vsize=655616 CPUtime=297.32
/proc/31406/task/31407/stat : 31407 (java) R 31405 31224 30382 0 -1 64 12251 0 1 0 29236 496 0 0 25 0 9 0 1992611963 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4127157786 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31408] ppid=31405 vsize=655616 CPUtime=0.22
/proc/31406/task/31408/stat : 31408 (java) S 31405 31224 30382 0 -1 64 4152 0 0 0 20 2 0 0 16 0 9 0 1992611964 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31409] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31409/stat : 31409 (java) S 31405 31224 30382 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992611964 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31410] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31410/stat : 31410 (java) S 31405 31224 30382 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992611964 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31411] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31411/stat : 31411 (java) S 31405 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31412] ppid=31405 vsize=655616 CPUtime=0.37
/proc/31406/task/31412/stat : 31412 (java) S 31405 31224 30382 0 -1 64 671 0 0 0 36 1 0 0 15 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31413] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31413/stat : 31413 (java) S 31405 31224 30382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31414] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31414/stat : 31414 (java) S 31405 31224 30382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31232/tid=31233] ppid=31224 vsize=197756 CPUtime=1498.89
/proc/31232/task/31233/stat : 31233 (java) S 31224 31224 30382 0 -1 64 4127 34752 1 1 447 5 149408 29 16 0 10 0 1992460223 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=31232/tid=31234] ppid=31224 vsize=197756 CPUtime=1495.4
/proc/31232/task/31234/stat : 31234 (java) S 31224 31224 30382 0 -1 64 8637 34752 0 1 95 8 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31232/tid=31235] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31235/stat : 31235 (java) S 31224 31224 30382 0 -1 64 11 34752 0 1 0 0 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31236] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31236/stat : 31236 (java) S 31224 31224 30382 0 -1 64 5 34752 0 1 0 0 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31237] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31237/stat : 31237 (java) S 31224 31224 30382 0 -1 64 1 34752 0 1 0 0 149408 29 18 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31238] ppid=31224 vsize=197756 CPUtime=1494.55
/proc/31232/task/31238/stat : 31238 (java) S 31224 31224 30382 0 -1 64 646 34752 0 1 18 0 149408 29 16 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31239] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31239/stat : 31239 (java) S 31224 31224 30382 0 -1 64 1 34752 0 1 0 0 149408 29 19 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31240] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31240/stat : 31240 (java) S 31224 31224 30382 0 -1 64 24 34752 0 1 0 0 149408 29 15 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31404] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31404/stat : 31404 (java) S 31224 31224 30382 0 -1 64 42 34752 0 1 0 0 149408 29 17 0 10 0 1992611961 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 864088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1821.9 s]
/proc/loadavg: 2.60 2.48 2.25 7/113 31598
/proc/meminfo: memFree=1412608/2055920 swapFree=4180584/4192956
[pid=31224] ppid=31222 vsize=5360 CPUtime=1.92
/proc/31224/stat : 31224 (hydra) S 31222 31224 30382 0 -1 4194304 375 12531 0 0 0 0 187 5 19 0 1 0 1992460028 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31224/statm: 1340 238 196 169 0 51 0
[pid=31232] ppid=31224 vsize=197756 CPUtime=1500.14
/proc/31232/stat : 31232 (java) S 31224 31224 30382 0 -1 0 14348 34752 1 1 561 16 149408 29 18 0 10 0 1992460222 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31232/statm: 49439 9533 2544 9 0 44022 0
[pid=31405] ppid=31232 vsize=5356 CPUtime=0
/proc/31405/stat : 31405 (choco) S 31232 31224 30382 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992611961 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 231882679108 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31405/statm: 1339 238 197 169 0 50 0
[pid=31406] ppid=31405 vsize=655616 CPUtime=297.94
/proc/31406/stat : 31406 (java) S 31405 31224 30382 0 -1 0 17619 0 1 0 29293 501 0 0 18 0 9 0 1992611962 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31406/statm: 163904 17106 1933 9 0 158433 0
[pid=31406/tid=31407] ppid=31405 vsize=655616 CPUtime=297.32
/proc/31406/task/31407/stat : 31407 (java) R 31405 31224 30382 0 -1 64 12251 0 1 0 29236 496 0 0 25 0 9 0 1992611963 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4127157786 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31408] ppid=31405 vsize=655616 CPUtime=0.22
/proc/31406/task/31408/stat : 31408 (java) S 31405 31224 30382 0 -1 64 4152 0 0 0 20 2 0 0 16 0 9 0 1992611964 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31409] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31409/stat : 31409 (java) S 31405 31224 30382 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992611964 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31410] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31410/stat : 31410 (java) S 31405 31224 30382 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992611964 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31411] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31411/stat : 31411 (java) S 31405 31224 30382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31412] ppid=31405 vsize=655616 CPUtime=0.37
/proc/31406/task/31412/stat : 31412 (java) S 31405 31224 30382 0 -1 64 671 0 0 0 36 1 0 0 15 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31413] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31413/stat : 31413 (java) S 31405 31224 30382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31406/tid=31414] ppid=31405 vsize=655616 CPUtime=0
/proc/31406/task/31414/stat : 31414 (java) S 31405 31224 30382 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992611966 671350784 17106 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31232/tid=31233] ppid=31224 vsize=197756 CPUtime=1498.89
/proc/31232/task/31233/stat : 31233 (java) S 31224 31224 30382 0 -1 64 4127 34752 1 1 447 5 149408 29 16 0 10 0 1992460223 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=31232/tid=31234] ppid=31224 vsize=197756 CPUtime=1495.4
/proc/31232/task/31234/stat : 31234 (java) S 31224 31224 30382 0 -1 64 8637 34752 0 1 95 8 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31232/tid=31235] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31235/stat : 31235 (java) S 31224 31224 30382 0 -1 64 11 34752 0 1 0 0 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31236] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31236/stat : 31236 (java) S 31224 31224 30382 0 -1 64 5 34752 0 1 0 0 149408 29 16 0 10 0 1992460225 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31237] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31237/stat : 31237 (java) S 31224 31224 30382 0 -1 64 1 34752 0 1 0 0 149408 29 18 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31238] ppid=31224 vsize=197756 CPUtime=1494.55
/proc/31232/task/31238/stat : 31238 (java) S 31224 31224 30382 0 -1 64 646 34752 0 1 18 0 149408 29 16 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31239] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31239/stat : 31239 (java) S 31224 31224 30382 0 -1 64 1 34752 0 1 0 0 149408 29 19 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31240] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31240/stat : 31240 (java) S 31224 31224 30382 0 -1 64 24 34752 0 1 0 0 149408 29 15 0 10 0 1992460227 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31232/tid=31404] ppid=31224 vsize=197756 CPUtime=1494.37
/proc/31232/task/31404/stat : 31404 (java) S 31224 31224 30382 0 -1 64 42 34752 0 1 0 0 149408 29 17 0 10 0 1992611961 202502144 9533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 864088
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31224 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=875714
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=61990
# CPU time returned by wait4() is 1.9377
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1821.94
CPU time (s): 1800
CPU user time (s): 1794.49
CPU system time (s): 5.51
CPU usage (%): 98.796
Max. virtual memory (cumulated for all children) (KiB): 870980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.87571
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12906
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= 30
involuntary context switches= 34
runsolver used 6.13107 second user time and 14.8997 second system time
The end