0.00/0.00 c cpHydra_k_10 version 0.0
7.00/7.12 c CASE TO CLASSIFY:
7.00/7.12 c Case: 0
7.00/7.13 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.552600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 11.491500 | c 14 > 13.669900 | c 11 > 7.257390 | c 12 > 11.292100 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.672430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.842350 | c 31 > -1.000000 | c 4 > 7.257390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.14 c choco : 1801.0
7.00/7.14 c mistral : 1801.0
7.00/7.14 c abscon : 1801.0
7.00/7.14 c
7.00/7.14 c
7.10/7.21 c List of same ones: 10
7.10/7.21 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
7.10/7.21 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.129280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.22 c choco : 11.33
7.10/7.22 c mistral : 0.71
7.10/7.22 c abscon : 1.44378
7.10/7.22 c
7.10/7.22 c
7.10/7.22 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
7.10/7.22 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.829720 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.23 c choco : 2.57
7.10/7.23 c mistral : 0.23
7.10/7.23 c abscon : 1.16082
7.10/7.23 c
7.10/7.23 c
7.10/7.23 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
7.10/7.23 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.24 c choco : 1801.0
7.10/7.24 c mistral : 3.82
7.10/7.24 c abscon : 2.82057
7.10/7.24 c
7.10/7.24 c
7.10/7.24 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
7.10/7.24 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.413600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.24 c choco : 1801.0
7.10/7.24 c mistral : 20.05
7.10/7.25 c abscon : 4.68729
7.10/7.25 c
7.10/7.25 c
7.10/7.25 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
7.10/7.25 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.546900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.26 c choco : 1801.0
7.10/7.26 c mistral : 26.38
7.10/7.26 c abscon : 9.93749
7.10/7.26 c
7.10/7.26 c
7.10/7.26 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
7.10/7.26 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.27 c choco : 7.04
7.10/7.27 c mistral : 0.39
7.10/7.27 c abscon : 1.11383
7.10/7.27 c
7.10/7.27 c
7.10/7.27 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
7.10/7.27 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.659700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.011290 | c 14 > 11.151700 | c 11 > 9.216750 | c 12 > 6.484070 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.676200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.216700 | c 31 > -1.000000 | c 4 > 9.216750 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.27 c choco : 1801.0
7.10/7.27 c mistral : 1053.11
7.10/7.27 c abscon : 4.93525
7.10/7.27 c
7.10/7.27 c
7.10/7.27 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
7.10/7.27 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.540600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 4.542180 | c 14 > 6.209450 | c 11 > 6.044390 | c 12 > 5.198780 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.044400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.044390 | c 31 > -1.000000 | c 4 > 6.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.28 c choco : 2.93
7.10/7.28 c mistral : 1800.03
7.10/7.28 c abscon : 753.112
7.10/7.28 c
7.10/7.28 c
7.10/7.28 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
7.10/7.28 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.187400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.029710 | c 14 > 8.285400 | c 11 > 8.764870 | c 12 > 4.249850 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.987300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.764900 | c 31 > -1.000000 | c 4 > 8.764870 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.29 c choco : 6.47
7.10/7.29 c mistral : 0.41
7.10/7.29 c abscon : 2.32765
7.10/7.29 c
7.10/7.29 c
7.10/7.29 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
7.10/7.29 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.462300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.824500 | c 14 > 8.022370 | c 11 > 8.228820 | c 12 > 3.986710 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.228800 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.30 c choco : 4.54
7.18/7.30 c mistral : 0.22
7.18/7.30 c abscon : 1.44478
7.18/7.30 c
7.18/7.30 c
7.18/7.30 c Length: 10
7.18/7.30 c 0.9667512671313145 1.452169130266857 6.938064329847339 7.550598782646314 7.800470353453053 7.817996972850527 8.532876744369393 13.456800865540071 13.88224745067599 14.270952562502616
7.28/7.49 c
7.28/7.49 c 1.0 0.964798312588924 0.6902125177162564 0.6689545777909023 0.6606541809285269 0.6600796943204225 0.6374697167095627 0.5157816503436211 0.5074124637048004 0.5
7.28/7.49 c
7.28/7.49 c solver 0
7.28/7.49 c before 0.0 seconds: {} 0
7.28/7.49 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6289
7.28/7.49 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6805
7.28/7.49 c
7.28/7.49 c solver 1
7.28/7.49 c before 0.0 seconds: {} 0
7.28/7.49 c before 18.0 seconds: {0, 1, 2, 5, 8, 9} 4322
7.28/7.49 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5652
7.28/7.49 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6289
7.28/7.49 c
7.28/7.49 c solver 2
7.28/7.49 c before 0.0 seconds: {} 0
7.28/7.49 c before 18.0 seconds: {0, 1, 5, 7, 8, 9} 4148
7.28/7.49 c
7.28/7.49 cTotal time: 102
7.28/7.49 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6805
7.28/7.49 c run mistral for 36.0 seconds {0, 1, 2, 3, 4, 5, 8, 9} 5652
7.28/7.49 c run choco for 18.0 seconds {0, 1, 5, 7, 8, 9} 4148
7.28/7.49 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.28/7.49 c On Instance: HOME/instance-1048669-1215043642.xml
7.28/7.49 c Running for: 756 seconds
763.60/764.15 c Starting solver: HOME/cpHydra_k_10/solver/mistral
763.60/764.15 c On Instance: HOME/instance-1048669-1215043642.xml
763.60/764.15 c Running for: 36 seconds
799.58/800.17 c Starting solver: HOME/cpHydra_k_10/solver/choco
799.58/800.17 c On Instance: HOME/instance-1048669-1215043642.xml
799.58/800.17 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-1048669-1215043642/watcher-1048669-1215043642 -o /tmp/evaluation-result-1048669-1215043642/solver-1048669-1215043642 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1048669-1215043642.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 4/72 2751
/proc/meminfo: memFree=1859216/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=0
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 285 0 0 0 0 0 0 0 21 0 1 0 1983339827 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 236 195 169 0 51 0
[pid=2752] ppid=2751 vsize=144 CPUtime=0
/proc/2752/stat : 2752 (rm) R 2751 2751 1842 0 -1 4194304 44 0 0 0 0 0 0 0 23 0 1 0 1983339828 147456 22 996147200 4194304 4227748 548682069024 18446744073709551615 259350656277 0 0 4096 0 0 0 0 17 1 0 0
/proc/2752/statm: 36 22 16 8 0 3 0
[startup+0.265411 s]
/proc/loadavg: 2.00 2.00 1.91 4/72 2751
/proc/meminfo: memFree=1859216/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=0
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983339827 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301416 s]
/proc/loadavg: 2.00 2.00 1.91 4/72 2751
/proc/meminfo: memFree=1859216/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=0
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983339827 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401436 s]
/proc/loadavg: 2.00 2.00 1.91 4/72 2751
/proc/meminfo: memFree=1859216/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=0
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983339827 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701495 s]
/proc/loadavg: 2.00 2.00 1.91 4/72 2751
/proc/meminfo: memFree=1859216/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=0
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983339827 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50165 s]
/proc/loadavg: 2.00 2.00 1.91 3/74 2755
/proc/meminfo: memFree=1857024/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=0
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983339827 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 236 195 169 0 51 0
[pid=2755] ppid=2751 vsize=5640 CPUtime=1.46
/proc/2755/stat : 2755 (xsolve) R 2751 2751 1842 0 -1 4194304 768 0 0 0 145 1 0 0 25 0 1 0 1983339828 5775360 727 996147200 134512640 135239763 4294956176 18446744073709551615 135013679 0 0 4096 0 0 0 0 17 1 0 0
/proc/2755/statm: 1410 727 414 177 0 313 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11000
[startup+3.10198 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 2767
/proc/meminfo: memFree=1850624/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=1.51
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 375 1364 0 0 0 0 149 2 19 0 1 0 1983339827 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 238 196 169 0 51 0
[pid=2759] ppid=2751 vsize=196984 CPUtime=1.53
/proc/2759/stat : 2759 (java) S 2751 2751 1842 0 -1 0 6445 0 1 0 147 6 0 0 18 0 9 0 1983339981 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2759/statm: 49246 5420 2540 9 0 43829 0
[pid=2759/tid=2760] ppid=2751 vsize=196984 CPUtime=1.16
/proc/2759/task/2760/stat : 2760 (java) R 2751 2751 1842 0 -1 64 2785 0 1 0 114 2 0 0 25 0 9 0 1983339982 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4126443183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2761] ppid=2751 vsize=196984 CPUtime=0.19
/proc/2759/task/2761/stat : 2761 (java) S 2751 2751 1842 0 -1 64 2326 0 0 0 18 1 0 0 16 0 9 0 1983339984 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2762] ppid=2751 vsize=196984 CPUtime=0
/proc/2759/task/2762/stat : 2762 (java) S 2751 2751 1842 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983339984 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2763] ppid=2751 vsize=196984 CPUtime=0
/proc/2759/task/2763/stat : 2763 (java) S 2751 2751 1842 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983339984 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2764] ppid=2751 vsize=196984 CPUtime=0
/proc/2759/task/2764/stat : 2764 (java) S 2751 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983339986 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2765] ppid=2751 vsize=196984 CPUtime=0.15
/proc/2759/task/2765/stat : 2765 (java) S 2751 2751 1842 0 -1 64 610 0 0 0 14 1 0 0 16 0 9 0 1983339986 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2766] ppid=2751 vsize=196984 CPUtime=0
/proc/2759/task/2766/stat : 2766 (java) S 2751 2751 1842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983339986 201711616 5420 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2767] ppid=2751 vsize=196984 CPUtime=0
/proc/2759/task/2767/stat : 2767 (java) S 2751 2751 1842 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983339986 201711616 5420 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) 202344
[startup+6.3026 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 2767
/proc/meminfo: memFree=1837440/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=1.51
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 375 1364 0 0 0 0 149 2 19 0 1 0 1983339827 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 238 196 169 0 51 0
[pid=2759] ppid=2751 vsize=197092 CPUtime=4.7
/proc/2759/stat : 2759 (java) S 2751 2751 1842 0 -1 0 10214 0 1 0 456 14 0 0 18 0 9 0 1983339981 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2759/statm: 49273 8468 2540 9 0 43856 0
[pid=2759/tid=2760] ppid=2751 vsize=197092 CPUtime=3.71
/proc/2759/task/2760/stat : 2760 (java) R 2751 2751 1842 0 -1 64 3586 0 1 0 366 5 0 0 25 0 9 0 1983339982 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4126440116 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2761] ppid=2751 vsize=197092 CPUtime=0.79
/proc/2759/task/2761/stat : 2761 (java) S 2751 2751 1842 0 -1 64 5278 0 0 0 72 7 0 0 16 0 9 0 1983339984 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2762] ppid=2751 vsize=197092 CPUtime=0
/proc/2759/task/2762/stat : 2762 (java) S 2751 2751 1842 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983339984 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2763] ppid=2751 vsize=197092 CPUtime=0
/proc/2759/task/2763/stat : 2763 (java) S 2751 2751 1842 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983339984 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2764] ppid=2751 vsize=197092 CPUtime=0
/proc/2759/task/2764/stat : 2764 (java) S 2751 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983339986 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2765] ppid=2751 vsize=197092 CPUtime=0.18
/proc/2759/task/2765/stat : 2765 (java) S 2751 2751 1842 0 -1 64 626 0 0 0 17 1 0 0 16 0 9 0 1983339986 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2766] ppid=2751 vsize=197092 CPUtime=0
/proc/2759/task/2766/stat : 2766 (java) S 2751 2751 1842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983339986 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2767] ppid=2751 vsize=197092 CPUtime=0
/proc/2759/task/2767/stat : 2767 (java) S 2751 2751 1842 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983339986 201822208 8468 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202452
[startup+12.7039 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 2779
/proc/meminfo: memFree=1791392/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=1.51
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 375 1364 0 0 0 0 149 2 19 0 1 0 1983339827 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 238 196 169 0 51 0
[pid=2759] ppid=2751 vsize=197416 CPUtime=5.88
/proc/2759/stat : 2759 (java) S 2751 2751 1842 0 -1 0 13838 0 1 0 569 19 0 0 18 0 10 0 1983339981 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2759/statm: 49354 9386 2543 9 0 43937 0
[pid=2769] ppid=2759 vsize=5356 CPUtime=0
/proc/2769/stat : 2769 (abscon) S 2759 2751 1842 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983340578 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2769/statm: 1339 237 196 169 0 50 0
[pid=2770] ppid=2769 vsize=656008 CPUtime=5.18
/proc/2770/stat : 2770 (java) S 2769 2751 1842 0 -1 0 12989 0 2 0 506 12 0 0 18 0 9 0 1983340578 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2770/statm: 164002 12306 2611 9 0 158530 0
[pid=2770/tid=2772] ppid=2769 vsize=656008 CPUtime=4.8
/proc/2770/task/2772/stat : 2772 (java) R 2769 2751 1842 0 -1 64 10294 0 1 0 471 9 0 0 25 0 9 0 1983340579 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4127110033 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2773] ppid=2769 vsize=656008 CPUtime=0.04
/proc/2770/task/2773/stat : 2773 (java) S 2769 2751 1842 0 -1 64 1404 0 0 0 4 0 0 0 16 0 9 0 1983340580 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2774] ppid=2769 vsize=656008 CPUtime=0
/proc/2770/task/2774/stat : 2774 (java) S 2769 2751 1842 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983340580 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2775] ppid=2769 vsize=656008 CPUtime=0
/proc/2770/task/2775/stat : 2775 (java) S 2769 2751 1842 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983340580 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2776] ppid=2769 vsize=656008 CPUtime=0
/proc/2770/task/2776/stat : 2776 (java) S 2769 2751 1842 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1983340582 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2777] ppid=2769 vsize=656008 CPUtime=0.3
/proc/2770/task/2777/stat : 2777 (java) S 2769 2751 1842 0 -1 64 746 0 1 0 29 1 0 0 15 0 9 0 1983340582 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2778] ppid=2769 vsize=656008 CPUtime=0
/proc/2770/task/2778/stat : 2778 (java) S 2769 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983340582 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2779] ppid=2769 vsize=656008 CPUtime=0
/proc/2770/task/2779/stat : 2779 (java) S 2769 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983340582 671752192 12306 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2771] ppid=2769 vsize=7044 CPUtime=0
/proc/2771/stat : 2771 (translate) S 2769 2751 1842 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983340578 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 259353444434 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/2771/statm: 1761 213 182 1 0 41 0
[pid=2759/tid=2760] ppid=2751 vsize=197416 CPUtime=4.54
/proc/2759/task/2760/stat : 2760 (java) S 2751 2751 1842 0 -1 64 3852 0 1 0 448 6 0 0 25 0 10 0 1983339982 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2759/tid=2761] ppid=2751 vsize=197416 CPUtime=1.09
/proc/2759/task/2761/stat : 2761 (java) S 2751 2751 1842 0 -1 64 8541 0 0 0 100 9 0 0 16 0 10 0 1983339984 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2762] ppid=2751 vsize=197416 CPUtime=0
/proc/2759/task/2762/stat : 2762 (java) S 2751 2751 1842 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983339984 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2763] ppid=2751 vsize=197416 CPUtime=0
/proc/2759/task/2763/stat : 2763 (java) S 2751 2751 1842 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983339984 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2764] ppid=2751 vsize=197416 CPUtime=0
/proc/2759/task/2764/stat : 2764 (java) S 2751 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983339986 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2765] ppid=2751 vsize=197416 CPUtime=0.21
/proc/2759/task/2765/stat : 2765 (java) S 2751 2751 1842 0 -1 64 641 0 0 0 20 1 0 0 16 0 10 0 1983339986 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2766] ppid=2751 vsize=197416 CPUtime=0
/proc/2759/task/2766/stat : 2766 (java) S 2751 2751 1842 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983339986 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2767] ppid=2751 vsize=197416 CPUtime=0
/proc/2759/task/2767/stat : 2767 (java) S 2751 2751 1842 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1983339986 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2768] ppid=2751 vsize=197416 CPUtime=0
/proc/2759/task/2768/stat : 2768 (java) S 2751 2751 1842 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1983340577 202153984 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.57
Current children cumulated vsize (KiB) 871184
[startup+25.5074 s]
/proc/loadavg: 2.22 2.05 1.93 3/94 2779
/proc/meminfo: memFree=1791200/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=1.51
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 375 1364 0 0 0 0 149 2 19 0 1 0 1983339827 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 238 196 169 0 51 0
[pid=2759] ppid=2751 vsize=197416 CPUtime=5.88
/proc/2759/stat : 2759 (java) S 2751 2751 1842 0 -1 0 13838 0 1 0 569 19 0 0 18 0 10 0 1983339981 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2759/statm: 49354 9386 2543 9 0 43937 0
[pid=2769] ppid=2759 vsize=5356 CPUtime=0
/proc/2769/stat : 2769 (abscon) S 2759 2751 1842 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1983340578 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2769/statm: 1339 237 196 169 0 50 0
[pid=2770] ppid=2769 vsize=656008 CPUtime=17.98
/proc/2770/stat : 2770 (java) S 2769 2751 1842 0 -1 0 12995 0 2 0 1785 13 0 0 18 0 9 0 1983340578 671752192 12312 996147200 134512640 134550740 4294955824 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2770/statm: 164002 12312 2611 9 0 158530 0
[pid=2770/tid=2772] ppid=2769 vsize=656008 CPUtime=17.6
/proc/2770/task/2772/stat : 2772 (java) R 2769 2751 1842 0 -1 64 10300 0 1 0 1750 10 0 0 25 0 9 0 1983340579 671752192 12312 996147200 134512640 134550740 4294955824 18446744073709551615 4127151672 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2770/tid=2773] ppid=2769 vsize=656008 CPUtime=0.04
################
# More data... #
################
/proc/2759/statm: 49435 9392 2544 9 0 44018 0
[pid=2784] ppid=2759 vsize=5356 CPUtime=0
/proc/2784/stat : 2784 (choco) S 2759 2751 1842 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983419845 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2784/statm: 1339 238 197 169 0 50 0
[pid=2785] ppid=2784 vsize=655600 CPUtime=907.84
/proc/2785/stat : 2785 (java) S 2784 2751 1842 0 -1 0 16980 0 1 0 89892 892 0 0 18 0 9 0 1983419846 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2785/statm: 163900 14734 1936 9 0 158429 0
[pid=2785/tid=2786] ppid=2784 vsize=655600 CPUtime=906.47
/proc/2785/task/2786/stat : 2786 (java) R 2784 2751 1842 0 -1 64 13977 0 1 0 89770 877 0 0 25 0 9 0 1983419846 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4127157653 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2787] ppid=2784 vsize=655600 CPUtime=1.03
/proc/2785/task/2787/stat : 2787 (java) S 2784 2751 1842 0 -1 64 1796 0 0 0 91 12 0 0 16 0 9 0 1983419848 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2788] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2788/stat : 2788 (java) S 2784 2751 1842 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1983419848 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2789] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2789/stat : 2789 (java) S 2784 2751 1842 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983419848 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2790] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2790/stat : 2790 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983419850 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2791] ppid=2784 vsize=655600 CPUtime=0.32
/proc/2785/task/2791/stat : 2791 (java) S 2784 2751 1842 0 -1 64 661 0 0 0 31 1 0 0 15 0 9 0 1983419850 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2792] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2792/stat : 2792 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983419850 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2793] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2793/stat : 2793 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983419850 671334400 14734 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2760] ppid=2751 vsize=197740 CPUtime=796.81
/proc/2759/task/2760/stat : 2760 (java) S 2751 2751 1842 0 -1 64 4030 14638 1 2 448 6 79211 16 16 0 10 0 1983339982 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2759/tid=2761] ppid=2751 vsize=197740 CPUtime=793.36
/proc/2759/task/2761/stat : 2761 (java) S 2751 2751 1842 0 -1 64 8597 14638 0 2 100 9 79211 16 16 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2762] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2762/stat : 2762 (java) S 2751 2751 1842 0 -1 64 11 14638 0 2 0 0 79211 16 16 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2763] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2763/stat : 2763 (java) S 2751 2751 1842 0 -1 64 5 14638 0 2 0 0 79211 16 15 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2764] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2764/stat : 2764 (java) S 2751 2751 1842 0 -1 64 1 14638 0 2 0 0 79211 16 18 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2765] ppid=2751 vsize=197740 CPUtime=792.48
/proc/2759/task/2765/stat : 2765 (java) S 2751 2751 1842 0 -1 64 668 14638 0 2 20 1 79211 16 16 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2766] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2766/stat : 2766 (java) S 2751 2751 1842 0 -1 64 0 14638 0 2 0 0 79211 16 19 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2767] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2767/stat : 2767 (java) S 2751 2751 1842 0 -1 64 23 14638 0 2 0 0 79211 16 15 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2783] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2783/stat : 2783 (java) S 2751 2751 1842 0 -1 64 44 14638 0 2 0 0 79211 16 17 0 10 0 1983419845 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.52
Current children cumulated vsize (KiB) 864056
[startup+1782.3 s]
/proc/loadavg: 2.18 2.36 2.27 3/93 2793
/proc/meminfo: memFree=1777432/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=1.51
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 375 1364 0 0 0 0 149 2 19 0 1 0 1983339827 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 238 196 169 0 51 0
[pid=2759] ppid=2751 vsize=197740 CPUtime=798.17
/proc/2759/stat : 2759 (java) S 2751 2751 1842 0 -1 0 14230 14638 1 2 570 20 79211 16 18 0 10 0 1983339981 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2759/statm: 49435 9392 2544 9 0 44018 0
[pid=2784] ppid=2759 vsize=5356 CPUtime=0
/proc/2784/stat : 2784 (choco) S 2759 2751 1842 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983419845 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2784/statm: 1339 238 197 169 0 50 0
[pid=2785] ppid=2784 vsize=655600 CPUtime=966.95
/proc/2785/stat : 2785 (java) S 2784 2751 1842 0 -1 0 17101 0 1 0 95743 952 0 0 18 0 9 0 1983419846 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2785/statm: 163900 14735 1936 9 0 158429 0
[pid=2785/tid=2786] ppid=2784 vsize=655600 CPUtime=965.51
/proc/2785/task/2786/stat : 2786 (java) R 2784 2751 1842 0 -1 64 14097 0 1 0 95615 936 0 0 25 0 9 0 1983419846 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4127120480 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2787] ppid=2784 vsize=655600 CPUtime=1.09
/proc/2785/task/2787/stat : 2787 (java) S 2784 2751 1842 0 -1 64 1797 0 0 0 96 13 0 0 16 0 9 0 1983419848 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2788] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2788/stat : 2788 (java) S 2784 2751 1842 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1983419848 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2789] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2789/stat : 2789 (java) S 2784 2751 1842 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983419848 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2790] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2790/stat : 2790 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2791] ppid=2784 vsize=655600 CPUtime=0.32
/proc/2785/task/2791/stat : 2791 (java) S 2784 2751 1842 0 -1 64 661 0 0 0 31 1 0 0 15 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2792] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2792/stat : 2792 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2793] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2793/stat : 2793 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2760] ppid=2751 vsize=197740 CPUtime=796.81
/proc/2759/task/2760/stat : 2760 (java) S 2751 2751 1842 0 -1 64 4030 14638 1 2 448 6 79211 16 16 0 10 0 1983339982 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2759/tid=2761] ppid=2751 vsize=197740 CPUtime=793.36
/proc/2759/task/2761/stat : 2761 (java) S 2751 2751 1842 0 -1 64 8597 14638 0 2 100 9 79211 16 16 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2762] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2762/stat : 2762 (java) S 2751 2751 1842 0 -1 64 11 14638 0 2 0 0 79211 16 16 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2763] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2763/stat : 2763 (java) S 2751 2751 1842 0 -1 64 5 14638 0 2 0 0 79211 16 15 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2764] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2764/stat : 2764 (java) S 2751 2751 1842 0 -1 64 1 14638 0 2 0 0 79211 16 18 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2765] ppid=2751 vsize=197740 CPUtime=792.48
/proc/2759/task/2765/stat : 2765 (java) S 2751 2751 1842 0 -1 64 668 14638 0 2 20 1 79211 16 16 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2766] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2766/stat : 2766 (java) S 2751 2751 1842 0 -1 64 0 14638 0 2 0 0 79211 16 19 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2767] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2767/stat : 2767 (java) S 2751 2751 1842 0 -1 64 23 14638 0 2 0 0 79211 16 15 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2783] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2783/stat : 2783 (java) S 2751 2751 1842 0 -1 64 44 14638 0 2 0 0 79211 16 17 0 10 0 1983419845 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.63
Current children cumulated vsize (KiB) 864056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.8 s]
/proc/loadavg: 2.21 2.35 2.27 3/103 2985
/proc/meminfo: memFree=1006792/2055920 swapFree=4179472/4192956
[pid=2751] ppid=2749 vsize=5360 CPUtime=1.51
/proc/2751/stat : 2751 (hydra) S 2749 2751 1842 0 -1 4194304 375 1364 0 0 0 0 149 2 19 0 1 0 1983339827 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2751/statm: 1340 238 196 169 0 51 0
[pid=2759] ppid=2751 vsize=197740 CPUtime=798.17
/proc/2759/stat : 2759 (java) S 2751 2751 1842 0 -1 0 14230 14638 1 2 570 20 79211 16 18 0 10 0 1983339981 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2759/statm: 49435 9392 2544 9 0 44018 0
[pid=2784] ppid=2759 vsize=5356 CPUtime=0
/proc/2784/stat : 2784 (choco) S 2759 2751 1842 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983419845 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2784/statm: 1339 238 197 169 0 50 0
[pid=2785] ppid=2784 vsize=655600 CPUtime=1000.41
/proc/2785/stat : 2785 (java) S 2784 2751 1842 0 -1 0 17172 0 1 0 99048 993 0 0 18 0 9 0 1983419846 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2785/statm: 163900 14735 1936 9 0 158429 0
[pid=2785/tid=2786] ppid=2784 vsize=655600 CPUtime=998.93
/proc/2785/task/2786/stat : 2786 (java) R 2784 2751 1842 0 -1 64 14168 0 1 0 98916 977 0 0 25 0 9 0 1983419846 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4127074550 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2785/tid=2787] ppid=2784 vsize=655600 CPUtime=1.14
/proc/2785/task/2787/stat : 2787 (java) S 2784 2751 1842 0 -1 64 1797 0 0 0 100 14 0 0 16 0 9 0 1983419848 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2785/tid=2788] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2788/stat : 2788 (java) S 2784 2751 1842 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1983419848 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2789] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2789/stat : 2789 (java) S 2784 2751 1842 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983419848 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2790] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2790/stat : 2790 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2791] ppid=2784 vsize=655600 CPUtime=0.32
/proc/2785/task/2791/stat : 2791 (java) S 2784 2751 1842 0 -1 64 661 0 0 0 31 1 0 0 15 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2792] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2792/stat : 2792 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2785/tid=2793] ppid=2784 vsize=655600 CPUtime=0
/proc/2785/task/2793/stat : 2793 (java) S 2784 2751 1842 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983419850 671334400 14735 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2760] ppid=2751 vsize=197740 CPUtime=796.81
/proc/2759/task/2760/stat : 2760 (java) S 2751 2751 1842 0 -1 64 4030 14638 1 2 448 6 79211 16 16 0 10 0 1983339982 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2759/tid=2761] ppid=2751 vsize=197740 CPUtime=793.36
/proc/2759/task/2761/stat : 2761 (java) S 2751 2751 1842 0 -1 64 8597 14638 0 2 100 9 79211 16 16 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2762] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2762/stat : 2762 (java) S 2751 2751 1842 0 -1 64 11 14638 0 2 0 0 79211 16 16 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2763] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2763/stat : 2763 (java) S 2751 2751 1842 0 -1 64 5 14638 0 2 0 0 79211 16 15 0 10 0 1983339984 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2764] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2764/stat : 2764 (java) S 2751 2751 1842 0 -1 64 1 14638 0 2 0 0 79211 16 18 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2765] ppid=2751 vsize=197740 CPUtime=792.48
/proc/2759/task/2765/stat : 2765 (java) S 2751 2751 1842 0 -1 64 668 14638 0 2 20 1 79211 16 16 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2766] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2766/stat : 2766 (java) S 2751 2751 1842 0 -1 64 0 14638 0 2 0 0 79211 16 19 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2759/tid=2767] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2767/stat : 2767 (java) S 2751 2751 1842 0 -1 64 23 14638 0 2 0 0 79211 16 15 0 10 0 1983339986 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2759/tid=2783] ppid=2751 vsize=197740 CPUtime=792.27
/proc/2759/task/2783/stat : 2783 (java) S 2751 2751 1842 0 -1 64 44 14638 0 2 0 0 79211 16 17 0 10 0 1983419845 202485760 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.09
Current children cumulated vsize (KiB) 864056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2751 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=495772
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 1.52277
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1815.84
CPU time (s): 1800.09
CPU user time (s): 1789.78
CPU system time (s): 10.31
CPU usage (%): 99.1328
Max. virtual memory (cumulated for all children) (KiB): 871184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49577
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1739
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= 25
involuntary context switches= 43
runsolver used 8.17676 second user time and 17.4703 second system time
The end