0.00/0.00 c cpHydra_k_10 version 0.0
7.66/7.85 c CASE TO CLASSIFY:
7.66/7.85 c Case: 0
7.66/7.85 c 19 > 0.000000 | c 35 > 175.135000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.210500 | c 15 > 21.168700 | c 34 > 188.955000 | c 16 > 35.000000 | c 13 > 3.959630 | c 14 > 11.307800 | c 11 > 10.843900 | c 12 > 3.807970 | 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.745900 | c 1 > 10.843900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.745900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.199800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.66/7.86 c choco : 1801.0
7.66/7.86 c mistral : 1801.0
7.66/7.86 c abscon : 1801.0
7.66/7.86 c
7.66/7.86 c
7.77/7.94 c List of same ones: 10
7.77/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-opt1217.xml
7.77/7.94 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.77/7.95 c choco : 2.76
7.77/7.95 c mistral : 0.59
7.77/7.95 c abscon : 5.06423
7.77/7.95 c
7.77/7.95 c
7.77/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1-o.xml
7.77/7.95 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.77/7.96 c choco : 10.89
7.77/7.96 c mistral : 1.77
7.77/7.96 c abscon : 1071.66
7.77/7.96 c
7.77/7.96 c
7.77/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-25-25.xml
7.77/7.96 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.77/7.97 c choco : 1801.0
7.77/7.97 c mistral : 396.43
7.77/7.97 c abscon : 1800.1
7.77/7.97 c
7.77/7.97 c
7.77/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-20.xml
7.77/7.97 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.77/7.97 c choco : 1801.0
7.77/7.98 c mistral : 37.64
7.77/7.98 c abscon : 3.2905
7.77/7.98 c
7.77/7.98 c
7.77/7.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1.xml
7.77/7.98 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.77/7.99 c choco : 9.52
7.77/7.99 c mistral : 1.89
7.77/7.99 c abscon : 1605.97
7.77/7.99 c
7.77/7.99 c
7.77/7.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-19.xml
7.77/7.99 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.77/8.00 c choco : 1801.0
7.77/8.00 c mistral : 1800.01
7.77/8.00 c abscon : 2.09268
7.77/8.00 c
7.77/8.00 c
7.77/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc01.xml
7.77/8.00 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.84/8.00 c choco : 1.96
7.84/8.00 c mistral : 0.89
7.84/8.00 c abscon : 25.1202
7.84/8.00 c
7.84/8.00 c
7.84/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm1.xml
7.84/8.00 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.84/8.01 c choco : 5.19
7.84/8.01 c mistral : 0.63
7.84/8.01 c abscon : 1800.11
7.84/8.01 c
7.84/8.01 c
7.84/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm2.xml
7.84/8.01 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.84/8.02 c choco : 5.27
7.84/8.02 c mistral : 0.63
7.84/8.02 c abscon : 1800.14
7.84/8.02 c
7.84/8.02 c
7.84/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bk4x3.xml
7.84/8.02 c 19 > 0.000000 | c 35 > 143.077000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.692300 | c 15 > 14.942400 | c 34 > 230.769000 | c 16 > 120.000000 | c 13 > 0.604055 | c 14 > 7.451210 | c 11 > 10.541100 | c 12 > 0.592046 | c 21 > 1.230220 | 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.343200 | c 1 > 7.577430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.343200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.624900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.84/8.03 c choco : 5.25
7.84/8.03 c mistral : 0.17
7.84/8.03 c abscon : 1800.09
7.84/8.03 c
7.84/8.03 c
7.84/8.03 c Length: 10
7.84/8.03 c 54.085583091628806 71.1182968626856 71.878760779322 77.99528138967446 82.140425444917 84.37122909435065 95.55945927570801 96.63838271251296 97.64701983540527 100.70261094491792
7.84/8.03 c
7.84/8.03 c 1.0 0.7323993258043046 0.7237521983007503 0.660983862390823 0.6242916874095241 0.6061821457674241 0.5291922970107571 0.5227892570139944 0.5169419113707779 0.5
7.84/8.04 c
7.84/8.04 c solver 0
7.84/8.04 c before 0.0 seconds: {} 0
7.84/8.04 c before 18.0 seconds: {0, 3, 5} 2267
7.84/8.04 c before 36.0 seconds: {0, 3, 5, 6} 2796
7.84/8.04 c before 1080.0 seconds: {0, 1, 3, 5, 6} 3528
7.84/8.04 c before 1620.0 seconds: {0, 1, 3, 4, 5, 6} 4153
7.84/8.04 c
7.84/8.04 c solver 1
7.84/8.04 c before 0.0 seconds: {} 0
7.84/8.04 c before 18.0 seconds: {0, 1, 4, 6, 7, 8, 9} 4425
7.84/8.04 c before 54.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9} 5086
7.84/8.04 c before 414.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 5810
7.84/8.04 c
7.84/8.04 c solver 2
7.84/8.04 c before 0.0 seconds: {} 0
7.84/8.04 c before 18.0 seconds: {0, 1, 4, 6, 7, 8, 9} 4425
7.84/8.04 c
7.84/8.04 cTotal time: 114
7.84/8.04 c run abscon for 1080.0 seconds {0, 1, 3, 5, 6} 3528
7.84/8.04 c run mistral for 414.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9} 5810
7.84/8.04 c run choco for 18.0 seconds {0, 1, 4, 6, 7, 8, 9} 4425
7.84/8.04 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.84/8.04 c On Instance: HOME/instance-1062249-1215134193.xml
7.84/8.04 c Running for: 1080 seconds
1088.32/1109.17 c Starting solver: HOME/cpHydra_k_10/solver/mistral
1088.32/1109.17 c On Instance: HOME/instance-1062249-1215134193.xml
1088.32/1109.17 c Running for: 414 seconds
1502.31/1525.34 c Starting solver: HOME/cpHydra_k_10/solver/choco
1502.31/1525.35 c On Instance: HOME/instance-1062249-1215134193.xml
1502.31/1525.35 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-1062249-1215134193/watcher-1062249-1215134193 -o /tmp/evaluation-result-1062249-1215134193/solver-1062249-1215134193 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1062249-1215134193.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: 1.85 1.99 1.99 4/81 2130
/proc/meminfo: memFree=1612280/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5260 CPUtime=0
/proc/2130/stat : 2130 (hydra) R 2128 2130 2090 0 -1 4194304 65 0 0 0 0 0 0 0 20 0 1 0 1992393384 5386240 50 996147200 4194304 4889804 548682068816 18446744073709551615 225609522652 0 0 4096 0 0 0 0 17 1 0 0
/proc/2130/statm: 1315 50 38 169 0 14 0
[startup+0.0776859 s]
/proc/loadavg: 1.85 1.99 1.99 4/81 2130
/proc/meminfo: memFree=1612280/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=0
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992393384 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101717 s]
/proc/loadavg: 1.85 1.99 1.99 4/81 2130
/proc/meminfo: memFree=1612280/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=0
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992393384 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301709 s]
/proc/loadavg: 1.85 1.99 1.99 4/81 2130
/proc/meminfo: memFree=1612280/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=0
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992393384 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701744 s]
/proc/loadavg: 1.85 1.99 1.99 4/81 2130
/proc/meminfo: memFree=1612280/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=0
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992393384 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50181 s]
/proc/loadavg: 1.85 1.99 1.99 3/83 2134
/proc/meminfo: memFree=1567784/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=0
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992393384 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 236 195 169 0 51 0
[pid=2134] ppid=2130 vsize=50184 CPUtime=1.46
/proc/2134/stat : 2134 (xsolve) R 2130 2130 2090 0 -1 4194304 12549 0 0 0 140 6 0 0 25 0 1 0 1992393385 51388416 11445 996147200 134512640 135239763 4294956176 18446744073709551615 135096156 0 0 4096 0 0 0 0 17 1 0 0
/proc/2134/statm: 12546 11445 431 177 0 11449 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 55544
[startup+3.10295 s]
/proc/loadavg: 1.85 1.99 1.99 4/91 2147
/proc/meminfo: memFree=1607272/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=1.97
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 375 13146 0 0 0 0 189 8 18 0 1 0 1992393384 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 238 196 169 0 51 0
[pid=2138] ppid=2130 vsize=197104 CPUtime=1.07
/proc/2138/stat : 2138 (java) S 2130 2130 2090 0 -1 0 4502 0 1 0 103 4 0 0 18 0 9 0 1992393585 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2138/statm: 49276 3804 1677 9 0 43859 0
[pid=2138/tid=2139] ppid=2130 vsize=197104 CPUtime=0.84
/proc/2138/task/2139/stat : 2139 (java) R 2130 2130 2090 0 -1 64 2624 0 1 0 82 2 0 0 25 0 9 0 1992393586 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4126464359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2140] ppid=2130 vsize=197104 CPUtime=0.08
/proc/2138/task/2140/stat : 2140 (java) S 2130 2130 2090 0 -1 64 559 0 0 0 7 1 0 0 16 0 9 0 1992393587 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2141] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2141/stat : 2141 (java) S 2130 2130 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992393587 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2142] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2142/stat : 2142 (java) S 2130 2130 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992393587 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2144] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2144/stat : 2144 (java) S 2130 2130 2090 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1992393590 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2145] ppid=2130 vsize=197104 CPUtime=0.13
/proc/2138/task/2145/stat : 2145 (java) S 2130 2130 2090 0 -1 64 594 0 0 0 13 0 0 0 16 0 9 0 1992393590 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2146] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2146/stat : 2146 (java) S 2130 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992393590 201834496 3804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2147] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2147/stat : 2147 (java) S 2130 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992393590 201834496 3804 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.30322 s]
/proc/loadavg: 1.86 1.99 1.99 3/91 2147
/proc/meminfo: memFree=1593576/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=1.97
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 375 13146 0 0 0 0 189 8 18 0 1 0 1992393384 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 238 196 169 0 51 0
[pid=2138] ppid=2130 vsize=197104 CPUtime=4.22
/proc/2138/stat : 2138 (java) S 2130 2130 2090 0 -1 0 9432 0 1 0 409 13 0 0 18 0 9 0 1992393585 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2138/statm: 49276 7817 2540 9 0 43859 0
[pid=2138/tid=2139] ppid=2130 vsize=197104 CPUtime=3.36
/proc/2138/task/2139/stat : 2139 (java) R 2130 2130 2090 0 -1 64 3457 0 1 0 331 5 0 0 25 0 9 0 1992393586 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4126553120 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2140] ppid=2130 vsize=197104 CPUtime=0.66
/proc/2138/task/2140/stat : 2140 (java) S 2130 2130 2090 0 -1 64 4629 0 0 0 60 6 0 0 16 0 9 0 1992393587 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2141] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2141/stat : 2141 (java) S 2130 2130 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992393587 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2142] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2142/stat : 2142 (java) S 2130 2130 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992393587 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2144] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2144/stat : 2144 (java) S 2130 2130 2090 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1992393590 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2145] ppid=2130 vsize=197104 CPUtime=0.17
/proc/2138/task/2145/stat : 2145 (java) S 2130 2130 2090 0 -1 64 621 0 0 0 17 0 0 0 16 0 9 0 1992393590 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2146] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2146/stat : 2146 (java) S 2130 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992393590 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2147] ppid=2130 vsize=197104 CPUtime=0
/proc/2138/task/2147/stat : 2147 (java) S 2130 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992393590 201834496 7817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202464
[startup+12.7028 s]
/proc/loadavg: 1.87 1.99 1.99 3/103 2160
/proc/meminfo: memFree=1507656/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=1.97
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 375 13146 0 0 0 0 189 8 18 0 1 0 1992393384 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 238 196 169 0 51 0
[pid=2138] ppid=2130 vsize=197428 CPUtime=5.91
/proc/2138/stat : 2138 (java) S 2130 2130 2090 0 -1 0 11463 0 1 0 575 16 0 0 18 0 10 0 1992393585 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2138/statm: 49357 9386 2543 9 0 43940 0
[pid=2149] ppid=2138 vsize=5356 CPUtime=0
/proc/2149/stat : 2149 (abscon) S 2138 2130 2090 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1992394189 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2149/statm: 1339 237 196 169 0 50 0
[pid=2150] ppid=2149 vsize=655788 CPUtime=4.55
/proc/2150/stat : 2150 (java) S 2149 2130 2090 0 -1 0 22130 0 1 0 436 19 0 0 25 0 9 0 1992394190 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2150/statm: 163947 21443 2616 9 0 158475 0
[pid=2150/tid=2153] ppid=2149 vsize=655788 CPUtime=3.94
/proc/2150/task/2153/stat : 2153 (java) R 2149 2130 2090 0 -1 64 12551 0 1 0 380 14 0 0 25 0 9 0 1992394191 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4127163985 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2154] ppid=2149 vsize=655788 CPUtime=0.23
/proc/2150/task/2154/stat : 2154 (java) S 2149 2130 2090 0 -1 64 8335 0 0 0 21 2 0 0 16 0 9 0 1992394192 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2155] ppid=2149 vsize=655788 CPUtime=0
/proc/2150/task/2155/stat : 2155 (java) S 2149 2130 2090 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992394192 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2156] ppid=2149 vsize=655788 CPUtime=0
/proc/2150/task/2156/stat : 2156 (java) S 2149 2130 2090 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992394192 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2157] ppid=2149 vsize=655788 CPUtime=0
/proc/2150/task/2157/stat : 2157 (java) S 2149 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992394194 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2158] ppid=2149 vsize=655788 CPUtime=0.35
/proc/2150/task/2158/stat : 2158 (java) S 2149 2130 2090 0 -1 64 699 0 0 0 34 1 0 0 15 0 9 0 1992394194 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2159] ppid=2149 vsize=655788 CPUtime=0
/proc/2150/task/2159/stat : 2159 (java) S 2149 2130 2090 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992394194 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2160] ppid=2149 vsize=655788 CPUtime=0
/proc/2150/task/2160/stat : 2160 (java) S 2149 2130 2090 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992394194 671526912 21443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2152] ppid=2149 vsize=7044 CPUtime=0
/proc/2152/stat : 2152 (translate) S 2149 2130 2090 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992394190 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 225612365906 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/2152/statm: 1761 213 182 1 0 41 0
[pid=2138/tid=2139] ppid=2130 vsize=197428 CPUtime=4.81
/proc/2138/task/2139/stat : 2139 (java) S 2130 2130 2090 0 -1 64 3859 0 1 0 475 6 0 0 25 0 10 0 1992393586 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2138/tid=2140] ppid=2130 vsize=197428 CPUtime=0.88
/proc/2138/task/2140/stat : 2140 (java) S 2130 2130 2090 0 -1 64 6159 0 0 0 79 9 0 0 16 0 10 0 1992393587 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2141] ppid=2130 vsize=197428 CPUtime=0
/proc/2138/task/2141/stat : 2141 (java) S 2130 2130 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992393587 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2142] ppid=2130 vsize=197428 CPUtime=0
/proc/2138/task/2142/stat : 2142 (java) S 2130 2130 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992393587 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2144] ppid=2130 vsize=197428 CPUtime=0
/proc/2138/task/2144/stat : 2144 (java) S 2130 2130 2090 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1992393590 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2145] ppid=2130 vsize=197428 CPUtime=0.19
/proc/2138/task/2145/stat : 2145 (java) S 2130 2130 2090 0 -1 64 637 0 0 0 19 0 0 0 16 0 10 0 1992393590 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2146] ppid=2130 vsize=197428 CPUtime=0
/proc/2138/task/2146/stat : 2146 (java) S 2130 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992393590 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2147] ppid=2130 vsize=197428 CPUtime=0
/proc/2138/task/2147/stat : 2147 (java) S 2130 2130 2090 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1992393590 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2148] ppid=2130 vsize=197428 CPUtime=0
/proc/2138/task/2148/stat : 2148 (java) S 2130 2130 2090 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1992394189 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 870976
[startup+25.5029 s]
/proc/loadavg: 1.90 1.99 1.99 4/103 2160
/proc/meminfo: memFree=1507592/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=1.97
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 375 13146 0 0 0 0 189 8 18 0 1 0 1992393384 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 238 196 169 0 51 0
[pid=2138] ppid=2130 vsize=197428 CPUtime=5.92
/proc/2138/stat : 2138 (java) S 2130 2130 2090 0 -1 0 11463 0 1 0 575 17 0 0 18 0 10 0 1992393585 202166272 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2138/statm: 49357 9386 2543 9 0 43940 0
[pid=2149] ppid=2138 vsize=5356 CPUtime=0
/proc/2149/stat : 2149 (abscon) S 2138 2130 2090 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1992394189 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2149/statm: 1339 237 196 169 0 50 0
[pid=2150] ppid=2149 vsize=655788 CPUtime=17.1
/proc/2150/stat : 2150 (java) S 2149 2130 2090 0 -1 0 22138 0 1 0 1691 19 0 0 25 0 9 0 1992394190 671526912 21449 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2150/statm: 163947 21449 2616 9 0 158475 0
[pid=2150/tid=2153] ppid=2149 vsize=655788 CPUtime=16.48
/proc/2150/task/2153/stat : 2153 (java) R 2149 2130 2090 0 -1 64 12552 0 1 0 1634 14 0 0 25 0 9 0 1992394191 671526912 21449 996147200 134512640 134550740 4294955808 18446744073709551615 4127147443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2154] ppid=2149 vsize=655788 CPUtime=0.23
/proc/2150/task/2154/stat : 2154 (java) S 2149 2130 2090 0 -1 64 8335 0 0 0 21 2 0 0 16 0 9 0 1992394192 671526912 21449 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2150/tid=2155] ppid=2149 vsize=655788 CPUtime=0
/proc/2150/task/2155/stat : 2155 (java) S 2149 2130 2090 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992394192 671526912 21449 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/2138/statm: 49438 9392 2544 9 0 44021 0
[pid=2223] ppid=2138 vsize=5356 CPUtime=0
/proc/2223/stat : 2223 (choco) S 2138 2130 2090 0 -1 4194304 293 0 2 0 0 0 0 0 18 0 1 0 1992545919 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2223/statm: 1339 238 197 169 0 50 0
[pid=2224] ppid=2223 vsize=655616 CPUtime=254.32
/proc/2224/stat : 2224 (java) S 2223 2130 2090 0 -1 0 17646 0 4 0 24965 467 0 0 18 0 9 0 1992545930 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2224/statm: 163904 17150 1933 9 0 158433 0
[pid=2224/tid=2225] ppid=2223 vsize=655616 CPUtime=253.7
/proc/2224/task/2225/stat : 2225 (java) R 2223 2130 2090 0 -1 64 12231 0 4 0 24907 463 0 0 25 0 9 0 1992545936 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2224/tid=2227] ppid=2223 vsize=655616 CPUtime=0.22
/proc/2224/task/2227/stat : 2227 (java) S 2223 2130 2090 0 -1 64 4199 0 0 0 21 1 0 0 16 0 9 0 1992545949 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2224/tid=2228] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2228/stat : 2228 (java) S 2223 2130 2090 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992545949 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2229] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2229/stat : 2229 (java) S 2223 2130 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992545949 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2230] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2230/stat : 2230 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992545953 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2231] ppid=2223 vsize=655616 CPUtime=0.36
/proc/2224/task/2231/stat : 2231 (java) S 2223 2130 2090 0 -1 64 669 0 0 0 35 1 0 0 15 0 9 0 1992545954 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2232] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2232/stat : 2232 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992545954 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2233] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2233/stat : 2233 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992545954 671350784 17150 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2139] ppid=2130 vsize=197752 CPUtime=1499.27
/proc/2138/task/2139/stat : 2139 (java) S 2130 2130 2090 0 -1 64 4016 35576 1 1 475 6 149362 84 16 0 10 0 1992393586 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2138/tid=2140] ppid=2130 vsize=197752 CPUtime=1495.35
/proc/2138/task/2140/stat : 2140 (java) S 2130 2130 2090 0 -1 64 6197 35576 0 1 80 9 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2141] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2141/stat : 2141 (java) S 2130 2130 2090 0 -1 64 11 35576 0 1 0 0 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2142] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2142/stat : 2142 (java) S 2130 2130 2090 0 -1 64 5 35576 0 1 0 0 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2144] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2144/stat : 2144 (java) S 2130 2130 2090 0 -1 64 0 35576 0 1 0 0 149362 84 18 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2145] ppid=2130 vsize=197752 CPUtime=1494.65
/proc/2138/task/2145/stat : 2145 (java) S 2130 2130 2090 0 -1 64 637 35576 0 1 19 0 149362 84 16 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2146] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2146/stat : 2146 (java) S 2130 2130 2090 0 -1 64 1 35576 0 1 0 0 149362 84 19 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2147] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2147/stat : 2147 (java) S 2130 2130 2090 0 -1 64 27 35576 0 1 0 0 149362 84 15 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2222] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2222/stat : 2222 (java) S 2130 2130 2090 0 -1 64 52 35576 0 1 0 0 149362 84 17 0 10 0 1992545919 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1756.67
Current children cumulated vsize (KiB) 864084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1825.7 s]
/proc/loadavg: 3.06 2.61 2.26 3/103 2233
/proc/meminfo: memFree=15344/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=1.97
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 375 13146 0 0 0 0 189 8 18 0 1 0 1992393384 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 238 196 169 0 51 0
[pid=2138] ppid=2130 vsize=197752 CPUtime=1500.38
/proc/2138/stat : 2138 (java) S 2130 2130 2090 0 -1 0 11781 35576 1 1 575 17 149362 84 18 0 10 0 1992393585 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2138/statm: 49438 9392 2544 9 0 44021 0
[pid=2223] ppid=2138 vsize=5356 CPUtime=0
/proc/2223/stat : 2223 (choco) S 2138 2130 2090 0 -1 4194304 293 0 2 0 0 0 0 0 18 0 1 0 1992545919 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2223/statm: 1339 238 197 169 0 50 0
[pid=2224] ppid=2223 vsize=655616 CPUtime=297.68
/proc/2224/stat : 2224 (java) S 2223 2130 2090 0 -1 0 17665 0 4 0 29220 548 0 0 18 0 9 0 1992545930 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2224/statm: 163904 17156 1933 9 0 158433 0
[pid=2224/tid=2225] ppid=2223 vsize=655616 CPUtime=297.05
/proc/2224/task/2225/stat : 2225 (java) R 2223 2130 2090 0 -1 64 12244 0 4 0 29161 544 0 0 25 0 9 0 1992545936 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4127158632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2224/tid=2227] ppid=2223 vsize=655616 CPUtime=0.24
/proc/2224/task/2227/stat : 2227 (java) S 2223 2130 2090 0 -1 64 4205 0 0 0 23 1 0 0 16 0 9 0 1992545949 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2224/tid=2228] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2228/stat : 2228 (java) S 2223 2130 2090 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992545949 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2229] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2229/stat : 2229 (java) S 2223 2130 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992545949 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2230] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2230/stat : 2230 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992545953 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2231] ppid=2223 vsize=655616 CPUtime=0.36
/proc/2224/task/2231/stat : 2231 (java) S 2223 2130 2090 0 -1 64 669 0 0 0 35 1 0 0 15 0 9 0 1992545954 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2232] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2232/stat : 2232 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992545954 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2233] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2233/stat : 2233 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992545954 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2139] ppid=2130 vsize=197752 CPUtime=1499.27
/proc/2138/task/2139/stat : 2139 (java) S 2130 2130 2090 0 -1 64 4016 35576 1 1 475 6 149362 84 16 0 10 0 1992393586 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2138/tid=2140] ppid=2130 vsize=197752 CPUtime=1495.35
/proc/2138/task/2140/stat : 2140 (java) S 2130 2130 2090 0 -1 64 6197 35576 0 1 80 9 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2141] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2141/stat : 2141 (java) S 2130 2130 2090 0 -1 64 11 35576 0 1 0 0 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2142] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2142/stat : 2142 (java) S 2130 2130 2090 0 -1 64 5 35576 0 1 0 0 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2144] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2144/stat : 2144 (java) S 2130 2130 2090 0 -1 64 0 35576 0 1 0 0 149362 84 18 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2145] ppid=2130 vsize=197752 CPUtime=1494.65
/proc/2138/task/2145/stat : 2145 (java) S 2130 2130 2090 0 -1 64 637 35576 0 1 19 0 149362 84 16 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2146] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2146/stat : 2146 (java) S 2130 2130 2090 0 -1 64 1 35576 0 1 0 0 149362 84 19 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2147] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2147/stat : 2147 (java) S 2130 2130 2090 0 -1 64 27 35576 0 1 0 0 149362 84 15 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2222] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2222/stat : 2222 (java) S 2130 2130 2090 0 -1 64 52 35576 0 1 0 0 149362 84 17 0 10 0 1992545919 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 864084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1825.7 s]
/proc/loadavg: 3.06 2.61 2.26 3/103 2233
/proc/meminfo: memFree=15344/2055920 swapFree=4180076/4192956
[pid=2130] ppid=2128 vsize=5360 CPUtime=1.97
/proc/2130/stat : 2130 (hydra) S 2128 2130 2090 0 -1 4194304 375 13146 0 0 0 0 189 8 18 0 1 0 1992393384 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2130/statm: 1340 238 196 169 0 51 0
[pid=2138] ppid=2130 vsize=197752 CPUtime=1500.38
/proc/2138/stat : 2138 (java) S 2130 2130 2090 0 -1 0 11781 35576 1 1 575 17 149362 84 18 0 10 0 1992393585 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2138/statm: 49438 9392 2544 9 0 44021 0
[pid=2223] ppid=2138 vsize=5356 CPUtime=0
/proc/2223/stat : 2223 (choco) S 2138 2130 2090 0 -1 4194304 293 0 2 0 0 0 0 0 18 0 1 0 1992545919 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 225612194628 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2223/statm: 1339 238 197 169 0 50 0
[pid=2224] ppid=2223 vsize=655616 CPUtime=297.68
/proc/2224/stat : 2224 (java) S 2223 2130 2090 0 -1 0 17665 0 4 0 29220 548 0 0 18 0 9 0 1992545930 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2224/statm: 163904 17156 1933 9 0 158433 0
[pid=2224/tid=2225] ppid=2223 vsize=655616 CPUtime=297.05
/proc/2224/task/2225/stat : 2225 (java) R 2223 2130 2090 0 -1 64 12244 0 4 0 29161 544 0 0 25 0 9 0 1992545936 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4127158632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2224/tid=2227] ppid=2223 vsize=655616 CPUtime=0.24
/proc/2224/task/2227/stat : 2227 (java) S 2223 2130 2090 0 -1 64 4205 0 0 0 23 1 0 0 16 0 9 0 1992545949 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2224/tid=2228] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2228/stat : 2228 (java) S 2223 2130 2090 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992545949 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2229] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2229/stat : 2229 (java) S 2223 2130 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992545949 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2230] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2230/stat : 2230 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992545953 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2231] ppid=2223 vsize=655616 CPUtime=0.36
/proc/2224/task/2231/stat : 2231 (java) S 2223 2130 2090 0 -1 64 669 0 0 0 35 1 0 0 15 0 9 0 1992545954 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2232] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2232/stat : 2232 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992545954 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2224/tid=2233] ppid=2223 vsize=655616 CPUtime=0
/proc/2224/task/2233/stat : 2233 (java) S 2223 2130 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992545954 671350784 17156 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2139] ppid=2130 vsize=197752 CPUtime=1499.27
/proc/2138/task/2139/stat : 2139 (java) S 2130 2130 2090 0 -1 64 4016 35576 1 1 475 6 149362 84 16 0 10 0 1992393586 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2138/tid=2140] ppid=2130 vsize=197752 CPUtime=1495.35
/proc/2138/task/2140/stat : 2140 (java) S 2130 2130 2090 0 -1 64 6197 35576 0 1 80 9 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2141] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2141/stat : 2141 (java) S 2130 2130 2090 0 -1 64 11 35576 0 1 0 0 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2142] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2142/stat : 2142 (java) S 2130 2130 2090 0 -1 64 5 35576 0 1 0 0 149362 84 16 0 10 0 1992393587 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2144] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2144/stat : 2144 (java) S 2130 2130 2090 0 -1 64 0 35576 0 1 0 0 149362 84 18 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2145] ppid=2130 vsize=197752 CPUtime=1494.65
/proc/2138/task/2145/stat : 2145 (java) S 2130 2130 2090 0 -1 64 637 35576 0 1 19 0 149362 84 16 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2146] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2146/stat : 2146 (java) S 2130 2130 2090 0 -1 64 1 35576 0 1 0 0 149362 84 19 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2138/tid=2147] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2147/stat : 2147 (java) S 2130 2130 2090 0 -1 64 27 35576 0 1 0 0 149362 84 15 0 10 0 1992393590 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2138/tid=2222] ppid=2130 vsize=197752 CPUtime=1494.46
/proc/2138/task/2222/stat : 2222 (java) S 2130 2130 2090 0 -1 64 52 35576 0 1 0 0 149362 84 17 0 10 0 1992545919 202498048 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 864084
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2130 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=898711
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=84987
# CPU time returned by wait4() is 1.9837
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1825.73
CPU time (s): 1800.03
CPU user time (s): 1793.46
CPU system time (s): 6.57
CPU usage (%): 98.5921
Max. virtual memory (cumulated for all children) (KiB): 871020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.89871
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13521
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= 98
runsolver used 7.8838 second user time and 13.8649 second system time
The end