0.00/0.00 c cpHydra_k_10 version 0.0
7.78/7.92 c CASE TO CLASSIFY:
7.78/7.92 c Case: 0
7.78/7.92 c 19 > 0.000000 | c 35 > 150.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.090900 | c 15 > 21.238500 | c 34 > 163.636000 | c 16 > 30.000000 | c 13 > 3.722390 | c 14 > 11.806500 | c 11 > 10.398700 | c 12 > 3.624490 | 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.128500 | c 1 > 10.398700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.128500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.405000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.78/7.93 c choco : 1801.0
7.78/7.93 c mistral : 1801.0
7.78/7.93 c abscon : 1801.0
7.78/7.93 c
7.78/7.93 c
7.88/8.01 c List of same ones: 10
7.88/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-25-25.xml
7.88/8.01 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.88/8.01 c choco : 1801.0
7.88/8.01 c mistral : 396.43
7.88/8.01 c abscon : 1800.1
7.88/8.01 c
7.88/8.01 c
7.88/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-20.xml
7.88/8.01 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.88/8.02 c choco : 1801.0
7.88/8.02 c mistral : 37.64
7.88/8.02 c abscon : 3.2905
7.88/8.02 c
7.88/8.02 c
7.88/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-19.xml
7.88/8.02 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.88/8.03 c choco : 1801.0
7.88/8.03 c mistral : 1800.01
7.88/8.03 c abscon : 2.09268
7.88/8.03 c
7.88/8.03 c
7.88/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-opt1217.xml
7.88/8.03 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.88/8.04 c choco : 2.76
7.88/8.04 c mistral : 0.59
7.88/8.04 c abscon : 5.06423
7.88/8.04 c
7.88/8.04 c
7.88/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1-o.xml
7.88/8.04 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
8.06/8.27 c choco : 10.89
8.06/8.27 c mistral : 1.77
8.06/8.27 c abscon : 1071.66
8.06/8.27 c
8.06/8.27 c
8.06/8.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-qnet1.xml
8.06/8.27 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
8.06/8.28 c choco : 9.52
8.06/8.28 c mistral : 1.89
8.06/8.28 c abscon : 1605.97
8.06/8.28 c
8.06/8.28 c
8.06/8.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-15-15.xml
8.06/8.28 c 19 > 0.000000 | c 35 > 91.963000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.666700 | c 15 > 19.308400 | c 34 > 112.815000 | c 16 > 15.000000 | c 13 > 7.288500 | c 14 > 11.102000 | c 11 > 11.604600 | c 12 > 5.019110 | 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 > 11.438800 | c 1 > 8.400880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.438800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.006800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.06/8.28 c choco : 1801.0
8.06/8.28 c mistral : 2.03
8.06/8.28 c abscon : 1.09183
8.06/8.28 c
8.06/8.28 c
8.06/8.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc01.xml
8.06/8.28 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
8.06/8.29 c choco : 1.96
8.06/8.29 c mistral : 0.89
8.06/8.29 c abscon : 25.1202
8.06/8.29 c
8.06/8.29 c
8.06/8.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc02.xml
8.06/8.29 c 19 > 3.773580 | c 35 > 89.434000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.415100 | c 15 > 14.210600 | c 34 > 142.264000 | c 16 > 79.000000 | c 13 > 1.217250 | c 14 > 5.169930 | c 11 > 9.784630 | c 12 > 0.653117 | c 21 > 1.414210 | c 20 > 96.226400 | 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 > 9.952740 | c 1 > 6.475730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.949830 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.749000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.16/8.30 c choco : 1.68
8.16/8.30 c mistral : 0.07
8.16/8.30 c abscon : 21.5577
8.16/8.30 c
8.16/8.30 c
8.16/8.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-vpm1.xml
8.16/8.30 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
8.16/8.31 c choco : 5.19
8.16/8.31 c mistral : 0.63
8.16/8.31 c abscon : 1800.11
8.16/8.31 c
8.16/8.31 c
8.16/8.32 c Length: 10
8.16/8.32 c 36.075748337615934 42.434786909106776 48.65167368024866 59.933707578983345 63.40105020531598 74.58662413276613 78.9496553656753 82.21629561138899 84.06991256358204 84.35423537474644
8.16/8.32 c
8.16/8.32 c 1.0 0.8836140820680313 0.793344067408746 0.6692662243263447 0.6385723220552224 0.5562719377307567 0.5296458478381046 0.5113215506754583 0.5014766541039126 0.5
8.16/8.32 c
8.16/8.32 c solver 0
8.16/8.32 c before 0.0 seconds: {} 0
8.16/8.32 c before 18.0 seconds: {1, 2, 3, 6} 2875
8.16/8.32 c before 36.0 seconds: {1, 2, 3, 6, 7, 8} 3888
8.16/8.32 c before 1080.0 seconds: {1, 2, 3, 4, 6, 7, 8} 4527
8.16/8.32 c before 1620.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 5083
8.16/8.32 c
8.16/8.32 c solver 1
8.16/8.32 c before 0.0 seconds: {} 0
8.16/8.32 c before 18.0 seconds: {3, 4, 5, 6, 7, 8, 9} 3906
8.16/8.32 c before 54.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9} 4790
8.16/8.32 c before 414.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 5790
8.16/8.32 c
8.16/8.32 c solver 2
8.16/8.32 c before 0.0 seconds: {} 0
8.16/8.32 c before 18.0 seconds: {3, 4, 5, 7, 8, 9} 3376
8.16/8.32 c
8.16/8.32 cTotal time: 114
8.16/8.32 c run abscon for 1080.0 seconds {1, 2, 3, 4, 6, 7, 8} 4527
8.16/8.32 c run mistral for 414.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 9} 5790
8.16/8.32 c run choco for 18.0 seconds {3, 4, 5, 7, 8, 9} 3376
8.16/8.32 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.16/8.32 c On Instance: HOME/instance-1062228-1215133998.xml
8.16/8.32 c Running for: 1080 seconds
1088.57/1093.71 c Starting solver: HOME/cpHydra_k_10/solver/mistral
1088.57/1093.71 c On Instance: HOME/instance-1062228-1215133998.xml
1088.57/1093.71 c Running for: 414 seconds
1502.51/1510.43 c Starting solver: HOME/cpHydra_k_10/solver/choco
1502.51/1510.43 c On Instance: HOME/instance-1062228-1215133998.xml
1502.51/1510.43 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-1062228-1215133998/watcher-1062228-1215133998 -o /tmp/evaluation-result-1062228-1215133998/solver-1062228-1215133998 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1062228-1215133998.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.99 2.05 2.00 4/72 4465
/proc/meminfo: memFree=1511088/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=18572 CPUtime=0
/proc/4465/stat : 4465 (runsolver) R 4463 4465 3852 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1992372090 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 208717540647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4465/statm: 4643 292 257 25 0 2626 0
[startup+0.0449841 s]
/proc/loadavg: 1.99 2.05 2.00 4/72 4465
/proc/meminfo: memFree=1511088/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=0
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992372090 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.103 s]
/proc/loadavg: 1.99 2.05 2.00 4/72 4465
/proc/meminfo: memFree=1511088/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=0
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992372090 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302041 s]
/proc/loadavg: 1.99 2.05 2.00 4/72 4465
/proc/meminfo: memFree=1511088/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=0
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992372090 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701101 s]
/proc/loadavg: 1.99 2.05 2.00 4/72 4465
/proc/meminfo: memFree=1511088/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=0
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992372090 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50125 s]
/proc/loadavg: 1.99 2.05 2.00 3/74 4469
/proc/meminfo: memFree=1482912/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=0
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992372090 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 236 195 169 0 51 0
[pid=4469] ppid=4465 vsize=32832 CPUtime=1.47
/proc/4469/stat : 4469 (xsolve) R 4465 4465 3852 0 -1 4194304 7892 0 0 0 143 4 0 0 25 0 1 0 1992372091 33619968 7368 996147200 134512640 135239763 4294956176 18446744073709551615 134803725 0 0 4096 0 0 0 0 17 1 0 0
/proc/4469/statm: 8208 7368 431 177 0 7111 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38192
[startup+3.10256 s]
/proc/loadavg: 1.99 2.05 2.00 4/82 4481
/proc/meminfo: memFree=1505184/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=1.83
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 375 8488 0 0 0 0 178 5 18 0 1 0 1992372090 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 238 196 169 0 51 0
[pid=4473] ppid=4465 vsize=197000 CPUtime=1.21
/proc/4473/stat : 4473 (java) S 4465 4465 3852 0 -1 0 4631 0 1 0 117 4 0 0 18 0 9 0 1992372277 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4473/statm: 49250 3904 1677 9 0 43833 0
[pid=4473/tid=4474] ppid=4465 vsize=197000 CPUtime=0.96
/proc/4473/task/4474/stat : 4474 (java) R 4465 4465 3852 0 -1 64 2652 0 1 0 94 2 0 0 25 0 9 0 1992372278 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4126444951 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4475] ppid=4465 vsize=197000 CPUtime=0.09
/proc/4473/task/4475/stat : 4475 (java) S 4465 4465 3852 0 -1 64 651 0 0 0 8 1 0 0 16 0 9 0 1992372279 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4476] ppid=4465 vsize=197000 CPUtime=0
/proc/4473/task/4476/stat : 4476 (java) S 4465 4465 3852 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992372279 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4477] ppid=4465 vsize=197000 CPUtime=0
/proc/4473/task/4477/stat : 4477 (java) S 4465 4465 3852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992372279 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4478] ppid=4465 vsize=197000 CPUtime=0
/proc/4473/task/4478/stat : 4478 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992372281 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4479] ppid=4465 vsize=197000 CPUtime=0.13
/proc/4473/task/4479/stat : 4479 (java) S 4465 4465 3852 0 -1 64 603 0 0 0 13 0 0 0 16 0 9 0 1992372281 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4480] ppid=4465 vsize=197000 CPUtime=0
/proc/4473/task/4480/stat : 4480 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992372281 201728000 3904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4481] ppid=4465 vsize=197000 CPUtime=0
/proc/4473/task/4481/stat : 4481 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992372281 201728000 3904 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) 202360
[startup+6.30216 s]
/proc/loadavg: 2.07 2.07 2.01 3/82 4481
/proc/meminfo: memFree=1492704/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=1.83
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 375 8488 0 0 0 0 178 5 18 0 1 0 1992372090 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 238 196 169 0 51 0
[pid=4473] ppid=4465 vsize=197108 CPUtime=4.37
/proc/4473/stat : 4473 (java) S 4465 4465 3852 0 -1 0 9430 0 1 0 423 14 0 0 18 0 9 0 1992372277 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4473/statm: 49277 7813 2540 9 0 43860 0
[pid=4473/tid=4474] ppid=4465 vsize=197108 CPUtime=3.42
/proc/4473/task/4474/stat : 4474 (java) R 4465 4465 3852 0 -1 64 3458 0 1 0 338 4 0 0 25 0 9 0 1992372278 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4126561834 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4475] ppid=4465 vsize=197108 CPUtime=0.74
/proc/4473/task/4475/stat : 4475 (java) S 4465 4465 3852 0 -1 64 4619 0 0 0 66 8 0 0 16 0 9 0 1992372279 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4476] ppid=4465 vsize=197108 CPUtime=0
/proc/4473/task/4476/stat : 4476 (java) S 4465 4465 3852 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992372279 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4477] ppid=4465 vsize=197108 CPUtime=0
/proc/4473/task/4477/stat : 4477 (java) S 4465 4465 3852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992372279 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4478] ppid=4465 vsize=197108 CPUtime=0
/proc/4473/task/4478/stat : 4478 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992372281 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4479] ppid=4465 vsize=197108 CPUtime=0.17
/proc/4473/task/4479/stat : 4479 (java) S 4465 4465 3852 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1992372281 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4480] ppid=4465 vsize=197108 CPUtime=0
/proc/4473/task/4480/stat : 4480 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992372281 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4481] ppid=4465 vsize=197108 CPUtime=0
/proc/4473/task/4481/stat : 4481 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992372281 201838592 7813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7024 s]
/proc/loadavg: 2.06 2.07 2.01 3/94 4493
/proc/meminfo: memFree=1417344/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=1.83
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 375 8488 0 0 0 0 178 5 18 0 1 0 1992372090 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 238 196 169 0 51 0
[pid=4473] ppid=4465 vsize=197432 CPUtime=6.35
/proc/4473/stat : 4473 (java) S 4465 4465 3852 0 -1 0 13878 0 1 0 614 21 0 0 18 0 10 0 1992372277 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4473/statm: 49358 9387 2543 9 0 43941 0
[pid=4483] ppid=4473 vsize=5356 CPUtime=0
/proc/4483/stat : 4483 (abscon) S 4473 4465 3852 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992372923 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4483/statm: 1339 237 196 169 0 50 0
[pid=4484] ppid=4483 vsize=656008 CPUtime=4.34
/proc/4484/stat : 4484 (java) S 4483 4465 3852 0 -1 0 19405 0 1 0 418 16 0 0 18 0 9 0 1992372924 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4484/statm: 164002 18720 2616 9 0 158530 0
[pid=4484/tid=4486] ppid=4483 vsize=656008 CPUtime=3.85
/proc/4484/task/4486/stat : 4486 (java) R 4483 4465 3852 0 -1 64 12565 0 1 0 373 12 0 0 25 0 9 0 1992372925 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4127108791 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4487] ppid=4483 vsize=656008 CPUtime=0.16
/proc/4484/task/4487/stat : 4487 (java) S 4483 4465 3852 0 -1 64 5564 0 0 0 14 2 0 0 16 0 9 0 1992372926 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4488] ppid=4483 vsize=656008 CPUtime=0
/proc/4484/task/4488/stat : 4488 (java) S 4483 4465 3852 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992372926 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4489] ppid=4483 vsize=656008 CPUtime=0
/proc/4484/task/4489/stat : 4489 (java) S 4483 4465 3852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992372926 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4490] ppid=4483 vsize=656008 CPUtime=0
/proc/4484/task/4490/stat : 4490 (java) S 4483 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992372928 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4491] ppid=4483 vsize=656008 CPUtime=0.31
/proc/4484/task/4491/stat : 4491 (java) S 4483 4465 3852 0 -1 64 731 0 0 0 30 1 0 0 16 0 9 0 1992372928 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4492] ppid=4483 vsize=656008 CPUtime=0
/proc/4484/task/4492/stat : 4492 (java) S 4483 4465 3852 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1992372928 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4493] ppid=4483 vsize=656008 CPUtime=0
/proc/4484/task/4493/stat : 4493 (java) S 4483 4465 3852 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992372928 671752192 18720 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4485] ppid=4483 vsize=7044 CPUtime=0
/proc/4485/stat : 4485 (translate) S 4483 4465 3852 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992372924 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4485/statm: 1761 213 182 1 0 41 0
[pid=4473/tid=4474] ppid=4465 vsize=197432 CPUtime=4.93
/proc/4473/task/4474/stat : 4474 (java) S 4465 4465 3852 0 -1 64 3859 0 1 0 487 6 0 0 25 0 10 0 1992372278 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4473/tid=4475] ppid=4465 vsize=197432 CPUtime=1.19
/proc/4473/task/4475/stat : 4475 (java) S 4465 4465 3852 0 -1 64 8563 0 0 0 106 13 0 0 16 0 10 0 1992372279 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4476] ppid=4465 vsize=197432 CPUtime=0
/proc/4473/task/4476/stat : 4476 (java) S 4465 4465 3852 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1992372279 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4477] ppid=4465 vsize=197432 CPUtime=0
/proc/4473/task/4477/stat : 4477 (java) S 4465 4465 3852 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1992372279 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4478] ppid=4465 vsize=197432 CPUtime=0
/proc/4473/task/4478/stat : 4478 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992372281 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4479] ppid=4465 vsize=197432 CPUtime=0.2
/proc/4473/task/4479/stat : 4479 (java) S 4465 4465 3852 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1992372281 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4480] ppid=4465 vsize=197432 CPUtime=0
/proc/4473/task/4480/stat : 4480 (java) S 4465 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992372281 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4481] ppid=4465 vsize=197432 CPUtime=0
/proc/4473/task/4481/stat : 4481 (java) S 4465 4465 3852 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1992372281 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4482] ppid=4465 vsize=197432 CPUtime=0
/proc/4473/task/4482/stat : 4482 (java) S 4465 4465 3852 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1992372923 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 871200
[startup+25.5038 s]
/proc/loadavg: 2.05 2.06 2.01 3/94 4493
/proc/meminfo: memFree=1417280/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=1.83
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 375 8488 0 0 0 0 178 5 18 0 1 0 1992372090 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 238 196 169 0 51 0
[pid=4473] ppid=4465 vsize=197432 CPUtime=6.35
/proc/4473/stat : 4473 (java) S 4465 4465 3852 0 -1 0 13878 0 1 0 614 21 0 0 18 0 10 0 1992372277 202170368 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4473/statm: 49358 9387 2543 9 0 43941 0
[pid=4483] ppid=4473 vsize=5356 CPUtime=0
/proc/4483/stat : 4483 (abscon) S 4473 4465 3852 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1992372923 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4483/statm: 1339 237 196 169 0 50 0
[pid=4484] ppid=4483 vsize=656008 CPUtime=17.14
/proc/4484/stat : 4484 (java) S 4483 4465 3852 0 -1 0 19412 0 1 0 1697 17 0 0 18 0 9 0 1992372924 671752192 18724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4484/statm: 164002 18724 2616 9 0 158530 0
[pid=4484/tid=4486] ppid=4483 vsize=656008 CPUtime=16.63
/proc/4484/task/4486/stat : 4486 (java) R 4483 4465 3852 0 -1 64 12568 0 1 0 1651 12 0 0 25 0 9 0 1992372925 671752192 18724 996147200 134512640 134550740 4294955808 18446744073709551615 4127108839 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4487] ppid=4483 vsize=656008 CPUtime=0.16
/proc/4484/task/4487/stat : 4487 (java) S 4483 4465 3852 0 -1 64 5564 0 0 0 14 2 0 0 16 0 9 0 1992372926 671752192 18724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4484/tid=4488] ppid=4483 vsize=656008 CPUtime=0
/proc/4484/task/4488/stat : 4488 (java) S 4483 4465 3852 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992372926 671752192 18724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/4473/statm: 49439 9393 2544 9 0 44022 0
[pid=4577] ppid=4473 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (choco) S 4473 4465 3852 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992523134 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 238 197 169 0 50 0
[pid=4578] ppid=4577 vsize=655600 CPUtime=271.53
/proc/4578/stat : 4578 (java) S 4577 4465 3852 0 -1 0 16702 0 1 0 26576 577 0 0 18 0 9 0 1992523135 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4578/statm: 163900 16185 1933 9 0 158429 0
[pid=4578/tid=4579] ppid=4577 vsize=655600 CPUtime=270.99
/proc/4578/task/4579/stat : 4579 (java) R 4577 4465 3852 0 -1 64 12248 0 1 0 26526 573 0 0 25 0 9 0 1992523136 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4580] ppid=4577 vsize=655600 CPUtime=0.18
/proc/4578/task/4580/stat : 4580 (java) S 4577 4465 3852 0 -1 64 3242 0 0 0 17 1 0 0 17 0 9 0 1992523137 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4581] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4581/stat : 4581 (java) S 4577 4465 3852 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992523137 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4582] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4582/stat : 4582 (java) S 4577 4465 3852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992523137 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4583] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4583/stat : 4583 (java) S 4577 4465 3852 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1992523139 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4584] ppid=4577 vsize=655600 CPUtime=0.33
/proc/4578/task/4584/stat : 4584 (java) S 4577 4465 3852 0 -1 64 666 0 0 0 32 1 0 0 15 0 9 0 1992523139 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4585] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4585/stat : 4585 (java) S 4577 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992523139 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4586] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4586/stat : 4586 (java) S 4577 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992523139 671334400 16185 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4473/tid=4474] ppid=4465 vsize=197756 CPUtime=1499.29
/proc/4473/task/4474/stat : 4474 (java) S 4465 4465 3852 0 -1 64 4022 29958 1 1 487 6 149407 29 16 0 10 0 1992372278 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=4473/tid=4475] ppid=4465 vsize=197756 CPUtime=1495.55
/proc/4473/task/4475/stat : 4475 (java) S 4465 4465 3852 0 -1 64 8606 29958 0 1 106 13 149407 29 16 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4473/tid=4476] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4476/stat : 4476 (java) S 4465 4465 3852 0 -1 64 10 29958 0 1 0 0 149407 29 16 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4477] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4477/stat : 4477 (java) S 4465 4465 3852 0 -1 64 5 29958 0 1 0 0 149407 29 15 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4478] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4478/stat : 4478 (java) S 4465 4465 3852 0 -1 64 1 29958 0 1 0 0 149407 29 18 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4479] ppid=4465 vsize=197756 CPUtime=1494.56
/proc/4473/task/4479/stat : 4479 (java) S 4465 4465 3852 0 -1 64 645 29958 0 1 20 0 149407 29 16 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4480] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4480/stat : 4480 (java) S 4465 4465 3852 0 -1 64 1 29958 0 1 0 0 149407 29 19 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4481] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4481/stat : 4481 (java) S 4465 4465 3852 0 -1 64 24 29958 0 1 0 0 149407 29 15 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4576] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4576/stat : 4576 (java) S 4465 4465 3852 0 -1 64 42 29958 0 1 0 0 149407 29 17 0 10 0 1992523134 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.08
Current children cumulated vsize (KiB) 864072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 4588
/proc/meminfo: memFree=1269528/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=1.83
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 375 8488 0 0 0 0 178 5 18 0 1 0 1992372090 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 238 196 169 0 51 0
[pid=4473] ppid=4465 vsize=197756 CPUtime=1500.72
/proc/4473/stat : 4473 (java) S 4465 4465 3852 0 -1 0 14215 29958 1 1 615 21 149407 29 18 0 10 0 1992372277 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4473/statm: 49439 9393 2544 9 0 44022 0
[pid=4577] ppid=4473 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (choco) S 4473 4465 3852 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992523134 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 238 197 169 0 50 0
[pid=4578] ppid=4577 vsize=655600 CPUtime=297.51
/proc/4578/stat : 4578 (java) S 4577 4465 3852 0 -1 0 16712 0 1 0 29116 635 0 0 18 0 9 0 1992523135 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4578/statm: 163900 16186 1933 9 0 158429 0
[pid=4578/tid=4579] ppid=4577 vsize=655600 CPUtime=296.96
/proc/4578/task/4579/stat : 4579 (java) R 4577 4465 3852 0 -1 64 12257 0 1 0 29065 631 0 0 25 0 9 0 1992523136 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4580] ppid=4577 vsize=655600 CPUtime=0.18
/proc/4578/task/4580/stat : 4580 (java) S 4577 4465 3852 0 -1 64 3243 0 0 0 17 1 0 0 17 0 9 0 1992523137 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4581] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4581/stat : 4581 (java) S 4577 4465 3852 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992523137 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4582] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4582/stat : 4582 (java) S 4577 4465 3852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992523137 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4583] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4583/stat : 4583 (java) S 4577 4465 3852 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4584] ppid=4577 vsize=655600 CPUtime=0.33
/proc/4578/task/4584/stat : 4584 (java) S 4577 4465 3852 0 -1 64 666 0 0 0 32 1 0 0 15 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4585] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4585/stat : 4585 (java) S 4577 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4586] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4586/stat : 4586 (java) S 4577 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4473/tid=4474] ppid=4465 vsize=197756 CPUtime=1499.29
/proc/4473/task/4474/stat : 4474 (java) S 4465 4465 3852 0 -1 64 4022 29958 1 1 487 6 149407 29 16 0 10 0 1992372278 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=4473/tid=4475] ppid=4465 vsize=197756 CPUtime=1495.55
/proc/4473/task/4475/stat : 4475 (java) S 4465 4465 3852 0 -1 64 8606 29958 0 1 106 13 149407 29 16 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4473/tid=4476] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4476/stat : 4476 (java) S 4465 4465 3852 0 -1 64 10 29958 0 1 0 0 149407 29 16 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4477] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4477/stat : 4477 (java) S 4465 4465 3852 0 -1 64 5 29958 0 1 0 0 149407 29 15 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4478] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4478/stat : 4478 (java) S 4465 4465 3852 0 -1 64 1 29958 0 1 0 0 149407 29 18 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4479] ppid=4465 vsize=197756 CPUtime=1494.56
/proc/4473/task/4479/stat : 4479 (java) S 4465 4465 3852 0 -1 64 645 29958 0 1 20 0 149407 29 16 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4480] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4480/stat : 4480 (java) S 4465 4465 3852 0 -1 64 1 29958 0 1 0 0 149407 29 19 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4481] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4481/stat : 4481 (java) S 4465 4465 3852 0 -1 64 24 29958 0 1 0 0 149407 29 15 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4576] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4576/stat : 4576 (java) S 4465 4465 3852 0 -1 64 42 29958 0 1 0 0 149407 29 17 0 10 0 1992523134 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 864072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 4588
/proc/meminfo: memFree=1269528/2055920 swapFree=4117684/4192956
[pid=4465] ppid=4463 vsize=5360 CPUtime=1.83
/proc/4465/stat : 4465 (hydra) S 4463 4465 3852 0 -1 4194304 375 8488 0 0 0 0 178 5 18 0 1 0 1992372090 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4465/statm: 1340 238 196 169 0 51 0
[pid=4473] ppid=4465 vsize=197756 CPUtime=1500.72
/proc/4473/stat : 4473 (java) S 4465 4465 3852 0 -1 0 14215 29958 1 1 615 21 149407 29 18 0 10 0 1992372277 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4473/statm: 49439 9393 2544 9 0 44022 0
[pid=4577] ppid=4473 vsize=5356 CPUtime=0
/proc/4577/stat : 4577 (choco) S 4473 4465 3852 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992523134 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4577/statm: 1339 238 197 169 0 50 0
[pid=4578] ppid=4577 vsize=655600 CPUtime=297.51
/proc/4578/stat : 4578 (java) S 4577 4465 3852 0 -1 0 16712 0 1 0 29116 635 0 0 18 0 9 0 1992523135 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4578/statm: 163900 16186 1933 9 0 158429 0
[pid=4578/tid=4579] ppid=4577 vsize=655600 CPUtime=296.96
/proc/4578/task/4579/stat : 4579 (java) R 4577 4465 3852 0 -1 64 12257 0 1 0 29065 631 0 0 25 0 9 0 1992523136 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4580] ppid=4577 vsize=655600 CPUtime=0.18
/proc/4578/task/4580/stat : 4580 (java) S 4577 4465 3852 0 -1 64 3243 0 0 0 17 1 0 0 17 0 9 0 1992523137 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4581] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4581/stat : 4581 (java) S 4577 4465 3852 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992523137 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4582] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4582/stat : 4582 (java) S 4577 4465 3852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992523137 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4583] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4583/stat : 4583 (java) S 4577 4465 3852 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4584] ppid=4577 vsize=655600 CPUtime=0.33
/proc/4578/task/4584/stat : 4584 (java) S 4577 4465 3852 0 -1 64 666 0 0 0 32 1 0 0 15 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4585] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4585/stat : 4585 (java) S 4577 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4578/tid=4586] ppid=4577 vsize=655600 CPUtime=0
/proc/4578/task/4586/stat : 4586 (java) S 4577 4465 3852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992523139 671334400 16186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4473/tid=4474] ppid=4465 vsize=197756 CPUtime=1499.29
/proc/4473/task/4474/stat : 4474 (java) S 4465 4465 3852 0 -1 64 4022 29958 1 1 487 6 149407 29 16 0 10 0 1992372278 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=4473/tid=4475] ppid=4465 vsize=197756 CPUtime=1495.55
/proc/4473/task/4475/stat : 4475 (java) S 4465 4465 3852 0 -1 64 8606 29958 0 1 106 13 149407 29 16 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4473/tid=4476] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4476/stat : 4476 (java) S 4465 4465 3852 0 -1 64 10 29958 0 1 0 0 149407 29 16 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4477] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4477/stat : 4477 (java) S 4465 4465 3852 0 -1 64 5 29958 0 1 0 0 149407 29 15 0 10 0 1992372279 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4478] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4478/stat : 4478 (java) S 4465 4465 3852 0 -1 64 1 29958 0 1 0 0 149407 29 18 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4479] ppid=4465 vsize=197756 CPUtime=1494.56
/proc/4473/task/4479/stat : 4479 (java) S 4465 4465 3852 0 -1 64 645 29958 0 1 20 0 149407 29 16 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4480] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4480/stat : 4480 (java) S 4465 4465 3852 0 -1 64 1 29958 0 1 0 0 149407 29 19 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4481] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4481/stat : 4481 (java) S 4465 4465 3852 0 -1 64 24 29958 0 1 0 0 149407 29 15 0 10 0 1992372281 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4473/tid=4576] ppid=4465 vsize=197756 CPUtime=1494.36
/proc/4473/task/4576/stat : 4576 (java) S 4465 4465 3852 0 -1 64 42 29958 0 1 0 0 149407 29 17 0 10 0 1992523134 202502144 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 864072
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4465 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=785728
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=58991
# CPU time returned by wait4() is 1.84472
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1808.34
CPU time (s): 1800.06
CPU user time (s): 1793.16
CPU system time (s): 6.9
CPU usage (%): 99.5421
Max. virtual memory (cumulated for all children) (KiB): 871200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.78573
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8863
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= 51
runsolver used 5.03723 second user time and 16.8974 second system time
The end