0.00/0.00 c cpHydra_k_10 version 0.0
7.39/7.51 c CASE TO CLASSIFY:
7.39/7.51 c Case: 0
7.39/7.52 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.399300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.519000 | c 14 > 13.075000 | c 11 > 8.228820 | c 12 > 9.506230 | 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 > 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 > 9.813780 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.53 c choco : 1801.0
7.39/7.53 c mistral : 1801.0
7.39/7.53 c abscon : 1801.0
7.39/7.53 c
7.39/7.53 c
7.58/7.79 c List of same ones: 10
7.58/7.79 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
7.58/7.79 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.58/7.80 c choco : 11.33
7.58/7.80 c mistral : 0.71
7.58/7.80 c abscon : 1.44378
7.58/7.80 c
7.58/7.80 c
7.58/7.80 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
7.58/7.80 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.67/7.81 c choco : 1801.0
7.67/7.81 c mistral : 3.82
7.67/7.81 c abscon : 2.82057
7.67/7.81 c
7.67/7.81 c
7.67/7.81 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
7.67/7.81 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.67/7.82 c choco : 2.57
7.67/7.82 c mistral : 0.23
7.67/7.82 c abscon : 1.16082
7.67/7.82 c
7.67/7.82 c
7.67/7.82 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
7.67/7.82 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.67/7.83 c choco : 1801.0
7.67/7.83 c mistral : 20.05
7.67/7.83 c abscon : 4.68729
7.67/7.83 c
7.67/7.83 c
7.67/7.83 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
7.67/7.83 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.67/7.84 c choco : 1801.0
7.67/7.84 c mistral : 26.38
7.67/7.84 c abscon : 9.93749
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
7.67/7.84 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.67/7.85 c choco : 1801.0
7.67/7.85 c mistral : 1053.11
7.67/7.85 c abscon : 4.93525
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
7.67/7.85 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.67/7.85 c choco : 7.04
7.67/7.85 c mistral : 0.39
7.67/7.85 c abscon : 1.11383
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
7.67/7.85 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.67/7.86 c choco : 6.47
7.67/7.86 c mistral : 0.41
7.67/7.86 c abscon : 2.32765
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
7.67/7.86 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.67/7.87 c choco : 2.93
7.67/7.87 c mistral : 1800.03
7.67/7.87 c abscon : 753.112
7.67/7.87 c
7.67/7.87 c
7.67/7.87 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
7.67/7.87 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.67/7.88 c choco : 4.54
7.67/7.88 c mistral : 0.22
7.67/7.88 c abscon : 1.44478
7.67/7.88 c
7.67/7.88 c
7.67/7.88 c Length: 10
7.67/7.88 c 3.619141216366115 4.043486245432274 4.177442420907798 4.674393185066913 4.894193976785146 5.658960973615209 8.782257302926167 11.66697578864806 12.239917423508217 12.278571016315375
7.67/7.88 c
7.67/7.88 c 1.0 0.9532853866312586 0.939431818495281 0.8913755495207091 0.8716538327314994 0.8093492682506201 0.6264714091780148 0.5183032725777608 0.5011184355322875 0.5
7.67/7.89 c
7.67/7.89 c solver 0
7.67/7.89 c before 0.0 seconds: {} 0
7.67/7.89 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 7109
7.67/7.89 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7610
7.67/7.89 c
7.67/7.89 c solver 1
7.67/7.89 c before 0.0 seconds: {} 0
7.67/7.89 c before 18.0 seconds: {0, 1, 2, 6, 7, 9} 4537
7.67/7.89 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9} 6300
7.67/7.89 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 7109
7.67/7.89 c
7.67/7.89 c solver 2
7.67/7.89 c before 0.0 seconds: {} 0
7.67/7.89 c before 18.0 seconds: {0, 2, 6, 7, 8, 9} 4085
7.67/7.89 c
7.67/7.89 cTotal time: 102
7.67/7.89 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7610
7.67/7.89 c run mistral for 36.0 seconds {0, 1, 2, 3, 4, 6, 7, 9} 6300
7.67/7.89 c run choco for 18.0 seconds {0, 2, 6, 7, 8, 9} 4085
7.67/7.89 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.67/7.89 c On Instance: HOME/instance-1048648-1215043504.xml
7.67/7.89 c Running for: 756 seconds
764.06/764.88 c Starting solver: HOME/cpHydra_k_10/solver/mistral
764.06/764.88 c On Instance: HOME/instance-1048648-1215043504.xml
764.06/764.88 c Running for: 36 seconds
800.11/801.23 c Starting solver: HOME/cpHydra_k_10/solver/choco
800.11/801.23 c On Instance: HOME/instance-1048648-1215043504.xml
800.11/801.23 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-1048648-1215043504/watcher-1048648-1215043504 -o /tmp/evaluation-result-1048648-1215043504/solver-1048648-1215043504 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1048648-1215043504.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.92 1.98 1.91 4/74 26956
/proc/meminfo: memFree=1792696/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=0
/proc/26956/stat : 26956 (hydra) R 26954 26956 26442 0 -1 4194304 297 124 0 0 0 0 0 0 22 0 1 0 1983324872 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848415731 0 0 4100 65536 0 0 0 17 1 0 0
/proc/26956/statm: 1340 236 195 169 0 51 0
[pid=26958] ppid=26956 vsize=0 CPUtime=0
/proc/26958/stat : 26958 (rm) Z 26956 26956 26442 0 -1 4194316 123 0 0 0 0 0 0 0 23 0 1 0 1983324873 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/26958/statm: 0 0 0 0 0 0 0
[startup+0.111522 s]
/proc/loadavg: 1.92 1.98 1.91 4/74 26956
/proc/meminfo: memFree=1792696/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=0
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983324872 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201538 s]
/proc/loadavg: 1.92 1.98 1.91 4/74 26956
/proc/meminfo: memFree=1792696/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=0
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983324872 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301553 s]
/proc/loadavg: 1.92 1.98 1.91 4/74 26956
/proc/meminfo: memFree=1792696/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=0
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983324872 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701623 s]
/proc/loadavg: 1.92 1.98 1.91 4/74 26956
/proc/meminfo: memFree=1792696/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=0
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983324872 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50177 s]
/proc/loadavg: 1.92 1.98 1.91 3/76 26960
/proc/meminfo: memFree=1789288/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=0
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983324872 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 236 195 169 0 51 0
[pid=26960] ppid=26956 vsize=7480 CPUtime=1.46
/proc/26960/stat : 26960 (xsolve) R 26956 26956 26442 0 -1 4194304 1215 0 0 0 145 1 0 0 25 0 1 0 1983324873 7659520 1174 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/26960/statm: 1870 1174 413 177 0 773 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12840
[startup+3.10105 s]
/proc/loadavg: 1.92 1.98 1.91 4/84 26972
/proc/meminfo: memFree=1785896/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=1.57
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 375 1811 0 0 0 0 155 2 18 0 1 0 1983324872 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 238 196 169 0 51 0
[pid=26964] ppid=26956 vsize=197000 CPUtime=1.45
/proc/26964/stat : 26964 (java) S 26956 26956 26442 0 -1 0 4942 0 1 0 140 5 0 0 18 0 9 0 1983325033 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26964/statm: 49250 4152 1677 9 0 43833 0
[pid=26964/tid=26965] ppid=26956 vsize=197000 CPUtime=1.15
/proc/26964/task/26965/stat : 26965 (java) R 26956 26956 26442 0 -1 64 2717 0 1 0 114 1 0 0 25 0 9 0 1983325034 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26966] ppid=26956 vsize=197000 CPUtime=0.14
/proc/26964/task/26966/stat : 26966 (java) S 26956 26956 26442 0 -1 64 897 0 0 0 12 2 0 0 16 0 9 0 1983325036 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26967] ppid=26956 vsize=197000 CPUtime=0
/proc/26964/task/26967/stat : 26967 (java) S 26956 26956 26442 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983325036 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26968] ppid=26956 vsize=197000 CPUtime=0
/proc/26964/task/26968/stat : 26968 (java) S 26956 26956 26442 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983325036 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26969] ppid=26956 vsize=197000 CPUtime=0
/proc/26964/task/26969/stat : 26969 (java) S 26956 26956 26442 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983325038 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26970] ppid=26956 vsize=197000 CPUtime=0.14
/proc/26964/task/26970/stat : 26970 (java) R 26956 26956 26442 0 -1 64 604 0 0 0 14 0 0 0 16 0 9 0 1983325038 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 102119797 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26971] ppid=26956 vsize=197000 CPUtime=0
/proc/26964/task/26971/stat : 26971 (java) S 26956 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983325038 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26972] ppid=26956 vsize=197000 CPUtime=0
/proc/26964/task/26972/stat : 26972 (java) S 26956 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983325038 201728000 4152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 202360
[startup+6.30262 s]
/proc/loadavg: 1.93 1.98 1.91 3/84 26972
/proc/meminfo: memFree=1772456/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=1.57
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 375 1811 0 0 0 0 155 2 18 0 1 0 1983324872 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 238 196 169 0 51 0
[pid=26964] ppid=26956 vsize=197108 CPUtime=4.62
/proc/26964/stat : 26964 (java) S 26956 26956 26442 0 -1 0 9794 0 1 0 450 12 0 0 18 0 9 0 1983325033 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26964/statm: 49277 8119 2540 9 0 43860 0
[pid=26964/tid=26965] ppid=26956 vsize=197108 CPUtime=3.67
/proc/26964/task/26965/stat : 26965 (java) R 26956 26956 26442 0 -1 64 3518 0 1 0 364 3 0 0 25 0 9 0 1983325034 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4126428608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26966] ppid=26956 vsize=197108 CPUtime=0.74
/proc/26964/task/26966/stat : 26966 (java) S 26956 26956 26442 0 -1 64 4924 0 0 0 67 7 0 0 16 0 9 0 1983325036 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26967] ppid=26956 vsize=197108 CPUtime=0
/proc/26964/task/26967/stat : 26967 (java) S 26956 26956 26442 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983325036 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26968] ppid=26956 vsize=197108 CPUtime=0
/proc/26964/task/26968/stat : 26968 (java) S 26956 26956 26442 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983325036 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26969] ppid=26956 vsize=197108 CPUtime=0
/proc/26964/task/26969/stat : 26969 (java) S 26956 26956 26442 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983325038 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26970] ppid=26956 vsize=197108 CPUtime=0.18
/proc/26964/task/26970/stat : 26970 (java) S 26956 26956 26442 0 -1 64 628 0 0 0 18 0 0 0 16 0 9 0 1983325038 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26971] ppid=26956 vsize=197108 CPUtime=0
/proc/26964/task/26971/stat : 26971 (java) S 26956 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983325038 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26972] ppid=26956 vsize=197108 CPUtime=0
/proc/26964/task/26972/stat : 26972 (java) R 26956 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983325038 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202468
[startup+12.7037 s]
/proc/loadavg: 1.93 1.98 1.91 3/96 26984
/proc/meminfo: memFree=1704512/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=1.57
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 375 1811 0 0 0 0 155 2 18 0 1 0 1983324872 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 238 196 169 0 51 0
[pid=26964] ppid=26956 vsize=197432 CPUtime=6.17
/proc/26964/stat : 26964 (java) S 26956 26956 26442 0 -1 0 13986 0 1 0 600 17 0 0 18 0 10 0 1983325033 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26964/statm: 49358 9505 2543 9 0 43941 0
[pid=26974] ppid=26964 vsize=5356 CPUtime=0
/proc/26974/stat : 26974 (abscon) S 26964 26956 26442 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983325662 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26974/statm: 1339 237 196 169 0 50 0
[pid=26975] ppid=26974 vsize=656032 CPUtime=4.79
/proc/26975/stat : 26975 (java) S 26974 26956 26442 0 -1 0 17911 0 2 0 459 20 0 0 18 0 9 0 1983325663 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26975/statm: 164008 17225 2616 9 0 158536 0
[pid=26975/tid=26977] ppid=26974 vsize=656032 CPUtime=4.27
/proc/26975/task/26977/stat : 26977 (java) R 26974 26956 26442 0 -1 64 12569 0 1 0 411 16 0 0 25 0 9 0 1983325663 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4126377261 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26978] ppid=26974 vsize=656032 CPUtime=0.12
/proc/26975/task/26978/stat : 26978 (java) S 26974 26956 26442 0 -1 64 4049 0 0 0 11 1 0 0 16 0 9 0 1983325665 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26979] ppid=26974 vsize=656032 CPUtime=0
/proc/26975/task/26979/stat : 26979 (java) S 26974 26956 26442 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983325665 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26980] ppid=26974 vsize=656032 CPUtime=0
/proc/26975/task/26980/stat : 26980 (java) S 26974 26956 26442 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983325665 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26981] ppid=26974 vsize=656032 CPUtime=0
/proc/26975/task/26981/stat : 26981 (java) S 26974 26956 26442 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983325667 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26982] ppid=26974 vsize=656032 CPUtime=0.36
/proc/26975/task/26982/stat : 26982 (java) S 26974 26956 26442 0 -1 64 748 0 1 0 35 1 0 0 16 0 9 0 1983325667 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26983] ppid=26974 vsize=656032 CPUtime=0
/proc/26975/task/26983/stat : 26983 (java) S 26974 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1983325667 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26984] ppid=26974 vsize=656032 CPUtime=0
/proc/26975/task/26984/stat : 26984 (java) S 26974 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983325667 671776768 17225 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26976] ppid=26974 vsize=7044 CPUtime=0
/proc/26976/stat : 26976 (translate) S 26974 26956 26442 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983325663 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 227848978514 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/26976/statm: 1761 213 182 1 0 41 0
[pid=26964/tid=26965] ppid=26956 vsize=197432 CPUtime=4.82
/proc/26964/task/26965/stat : 26965 (java) S 26956 26956 26442 0 -1 64 3985 0 1 0 477 5 0 0 25 0 10 0 1983325034 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26964/tid=26966] ppid=26956 vsize=197432 CPUtime=1.1
/proc/26964/task/26966/stat : 26966 (java) S 26956 26956 26442 0 -1 64 8551 0 0 0 101 9 0 0 16 0 10 0 1983325036 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26967] ppid=26956 vsize=197432 CPUtime=0
/proc/26964/task/26967/stat : 26967 (java) S 26956 26956 26442 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983325036 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26968] ppid=26956 vsize=197432 CPUtime=0
/proc/26964/task/26968/stat : 26968 (java) S 26956 26956 26442 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983325036 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26969] ppid=26956 vsize=197432 CPUtime=0
/proc/26964/task/26969/stat : 26969 (java) S 26956 26956 26442 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983325038 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26970] ppid=26956 vsize=197432 CPUtime=0.21
/proc/26964/task/26970/stat : 26970 (java) S 26956 26956 26442 0 -1 64 644 0 0 0 21 0 0 0 16 0 10 0 1983325038 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26971] ppid=26956 vsize=197432 CPUtime=0
/proc/26964/task/26971/stat : 26971 (java) S 26956 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983325038 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26972] ppid=26956 vsize=197432 CPUtime=0
/proc/26964/task/26972/stat : 26972 (java) S 26956 26956 26442 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 1983325038 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26973] ppid=26956 vsize=197432 CPUtime=0
/proc/26964/task/26973/stat : 26973 (java) S 26956 26956 26442 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1983325662 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 871224
[startup+25.503 s]
/proc/loadavg: 1.95 1.98 1.91 3/96 26984
/proc/meminfo: memFree=1704000/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=1.57
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 375 1811 0 0 0 0 155 2 18 0 1 0 1983324872 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 238 196 169 0 51 0
[pid=26964] ppid=26956 vsize=197432 CPUtime=6.17
/proc/26964/stat : 26964 (java) S 26956 26956 26442 0 -1 0 13986 0 1 0 600 17 0 0 18 0 10 0 1983325033 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26964/statm: 49358 9505 2543 9 0 43941 0
[pid=26974] ppid=26964 vsize=5356 CPUtime=0
/proc/26974/stat : 26974 (abscon) S 26964 26956 26442 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983325662 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/26974/statm: 1339 237 196 169 0 50 0
[pid=26975] ppid=26974 vsize=656032 CPUtime=17.58
/proc/26975/stat : 26975 (java) S 26974 26956 26442 0 -1 0 17913 0 2 0 1738 20 0 0 18 0 9 0 1983325663 671776768 17226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26975/statm: 164008 17226 2616 9 0 158536 0
[pid=26975/tid=26977] ppid=26974 vsize=656032 CPUtime=17.06
/proc/26975/task/26977/stat : 26977 (java) R 26974 26956 26442 0 -1 64 12570 0 1 0 1690 16 0 0 25 0 9 0 1983325663 671776768 17226 996147200 134512640 134550740 4294955808 18446744073709551615 4127124834 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26975/tid=26978] ppid=26974 vsize=656032 CPUtime=0.12
################
# More data... #
################
/proc/26964/statm: 49439 9511 2544 9 0 44022 0
[pid=27357] ppid=26964 vsize=5356 CPUtime=0
/proc/27357/stat : 27357 (choco) S 26964 26956 26442 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983404996 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27357/statm: 1339 238 197 169 0 50 0
[pid=27358] ppid=27357 vsize=655632 CPUtime=903.17
/proc/27358/stat : 27358 (java) S 27357 26956 26442 0 -1 0 18129 0 1 0 89721 596 0 0 18 0 9 0 1983404996 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27358/statm: 163908 15779 1937 9 0 158437 0
[pid=27358/tid=27359] ppid=27357 vsize=655632 CPUtime=901.65
/proc/27358/task/27359/stat : 27359 (java) R 27357 26956 26442 0 -1 64 14085 0 1 0 89585 580 0 0 25 0 9 0 1983404997 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4127269186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27360] ppid=27357 vsize=655632 CPUtime=1.1
/proc/27358/task/27360/stat : 27360 (java) S 27357 26956 26442 0 -1 64 2782 0 0 0 96 14 0 0 15 0 9 0 1983404998 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27361] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27361/stat : 27361 (java) S 27357 26956 26442 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1983404999 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27362] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27362/stat : 27362 (java) S 27357 26956 26442 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983404999 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27363] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27363/stat : 27363 (java) S 27357 26956 26442 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27364] ppid=27357 vsize=655632 CPUtime=0.39
/proc/27358/task/27364/stat : 27364 (java) S 27357 26956 26442 0 -1 64 717 0 0 0 38 1 0 0 15 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27365] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27365/stat : 27365 (java) S 27357 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27366] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27366/stat : 27366 (java) S 27357 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26965] ppid=26956 vsize=197756 CPUtime=797.23
/proc/26964/task/26965/stat : 26965 (java) S 26956 26956 26442 0 -1 64 4146 19993 1 2 477 5 79208 33 16 0 10 0 1983325034 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26964/tid=26966] ppid=26956 vsize=197756 CPUtime=793.51
/proc/26964/task/26966/stat : 26966 (java) S 26956 26956 26442 0 -1 64 8592 19993 0 2 101 9 79208 33 16 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26967] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26967/stat : 26967 (java) S 26956 26956 26442 0 -1 64 11 19993 0 2 0 0 79208 33 16 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26968] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26968/stat : 26968 (java) S 26956 26956 26442 0 -1 64 5 19993 0 2 0 0 79208 33 15 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26969] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26969/stat : 26969 (java) S 26956 26956 26442 0 -1 64 1 19993 0 2 0 0 79208 33 18 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26970] ppid=26956 vsize=197756 CPUtime=792.62
/proc/26964/task/26970/stat : 26970 (java) S 26956 26956 26442 0 -1 64 644 19993 0 2 21 0 79208 33 16 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26971] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26971/stat : 26971 (java) S 26956 26956 26442 0 -1 64 0 19993 0 2 0 0 79208 33 19 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26972] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26972/stat : 26972 (java) S 26956 26956 26442 0 -1 64 20 19993 0 2 0 0 79208 33 15 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26964/tid=27356] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/27356/stat : 27356 (java) S 26956 26956 26442 0 -1 64 43 19993 0 2 0 0 79208 33 17 0 10 0 1983404995 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1703.32
Current children cumulated vsize (KiB) 864104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 27366
/proc/meminfo: memFree=1779200/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=1.57
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 375 1811 0 0 0 0 155 2 18 0 1 0 1983324872 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 238 196 169 0 51 0
[pid=26964] ppid=26956 vsize=197756 CPUtime=798.58
/proc/26964/stat : 26964 (java) S 26956 26956 26442 0 -1 0 14320 19993 1 2 600 17 79208 33 18 0 10 0 1983325033 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26964/statm: 49439 9511 2544 9 0 44022 0
[pid=27357] ppid=26964 vsize=5356 CPUtime=0
/proc/27357/stat : 27357 (choco) S 26964 26956 26442 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983404996 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27357/statm: 1339 238 197 169 0 50 0
[pid=27358] ppid=27357 vsize=655632 CPUtime=962
/proc/27358/stat : 27358 (java) S 27357 26956 26442 0 -1 0 18255 0 1 0 95572 628 0 0 18 0 9 0 1983404996 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27358/statm: 163908 15779 1937 9 0 158437 0
[pid=27358/tid=27359] ppid=27357 vsize=655632 CPUtime=960.41
/proc/27358/task/27359/stat : 27359 (java) R 27357 26956 26442 0 -1 64 14211 0 1 0 95430 611 0 0 25 0 9 0 1983404997 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4127274503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27360] ppid=27357 vsize=655632 CPUtime=1.16
/proc/27358/task/27360/stat : 27360 (java) S 27357 26956 26442 0 -1 64 2782 0 0 0 102 14 0 0 16 0 9 0 1983404998 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27361] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27361/stat : 27361 (java) S 27357 26956 26442 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1983404999 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27362] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27362/stat : 27362 (java) S 27357 26956 26442 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983404999 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27363] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27363/stat : 27363 (java) S 27357 26956 26442 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27364] ppid=27357 vsize=655632 CPUtime=0.39
/proc/27358/task/27364/stat : 27364 (java) S 27357 26956 26442 0 -1 64 717 0 0 0 38 1 0 0 15 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27365] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27365/stat : 27365 (java) S 27357 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27366] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27366/stat : 27366 (java) S 27357 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983405001 671367168 15779 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26965] ppid=26956 vsize=197756 CPUtime=797.23
/proc/26964/task/26965/stat : 26965 (java) S 26956 26956 26442 0 -1 64 4146 19993 1 2 477 5 79208 33 16 0 10 0 1983325034 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26964/tid=26966] ppid=26956 vsize=197756 CPUtime=793.51
/proc/26964/task/26966/stat : 26966 (java) S 26956 26956 26442 0 -1 64 8592 19993 0 2 101 9 79208 33 16 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26967] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26967/stat : 26967 (java) S 26956 26956 26442 0 -1 64 11 19993 0 2 0 0 79208 33 16 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26968] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26968/stat : 26968 (java) S 26956 26956 26442 0 -1 64 5 19993 0 2 0 0 79208 33 15 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26969] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26969/stat : 26969 (java) S 26956 26956 26442 0 -1 64 1 19993 0 2 0 0 79208 33 18 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26970] ppid=26956 vsize=197756 CPUtime=792.62
/proc/26964/task/26970/stat : 26970 (java) S 26956 26956 26442 0 -1 64 644 19993 0 2 21 0 79208 33 16 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26971] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26971/stat : 26971 (java) S 26956 26956 26442 0 -1 64 0 19993 0 2 0 0 79208 33 19 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26972] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26972/stat : 26972 (java) S 26956 26956 26442 0 -1 64 20 19993 0 2 0 0 79208 33 15 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26964/tid=27356] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/27356/stat : 27356 (java) S 26956 26956 26442 0 -1 64 43 19993 0 2 0 0 79208 33 17 0 10 0 1983404995 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1762.15
Current children cumulated vsize (KiB) 864104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1820.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 27366
/proc/meminfo: memFree=1779200/2055920 swapFree=4180540/4192956
[pid=26956] ppid=26954 vsize=5360 CPUtime=1.57
/proc/26956/stat : 26956 (hydra) S 26954 26956 26442 0 -1 4194304 375 1811 0 0 0 0 155 2 18 0 1 0 1983324872 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26956/statm: 1340 238 196 169 0 51 0
[pid=26964] ppid=26956 vsize=197756 CPUtime=798.58
/proc/26964/stat : 26964 (java) S 26956 26956 26442 0 -1 0 14320 19993 1 2 600 17 79208 33 18 0 10 0 1983325033 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26964/statm: 49439 9511 2544 9 0 44022 0
[pid=27357] ppid=26964 vsize=5356 CPUtime=0
/proc/27357/stat : 27357 (choco) S 26964 26956 26442 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1983404996 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/27357/statm: 1339 238 197 169 0 50 0
[pid=27358] ppid=27357 vsize=655632 CPUtime=999.86
/proc/27358/stat : 27358 (java) S 27357 26956 26442 0 -1 0 18337 0 1 0 99329 657 0 0 18 0 9 0 1983404996 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27358/statm: 163908 15780 1937 9 0 158437 0
[pid=27358/tid=27359] ppid=27357 vsize=655632 CPUtime=998.24
/proc/27358/task/27359/stat : 27359 (java) R 27357 26956 26442 0 -1 64 14292 0 1 0 99184 640 0 0 25 0 9 0 1983404997 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4127351579 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27360] ppid=27357 vsize=655632 CPUtime=1.2
/proc/27358/task/27360/stat : 27360 (java) S 27357 26956 26442 0 -1 64 2783 0 0 0 105 15 0 0 16 0 9 0 1983404998 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27361] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27361/stat : 27361 (java) S 27357 26956 26442 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1983404999 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27362] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27362/stat : 27362 (java) S 27357 26956 26442 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983404999 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27363] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27363/stat : 27363 (java) S 27357 26956 26442 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983405001 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27364] ppid=27357 vsize=655632 CPUtime=0.39
/proc/27358/task/27364/stat : 27364 (java) S 27357 26956 26442 0 -1 64 717 0 0 0 38 1 0 0 15 0 9 0 1983405001 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27365] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27365/stat : 27365 (java) S 27357 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983405001 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27358/tid=27366] ppid=27357 vsize=655632 CPUtime=0
/proc/27358/task/27366/stat : 27366 (java) S 27357 26956 26442 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983405001 671367168 15780 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26965] ppid=26956 vsize=197756 CPUtime=797.23
/proc/26964/task/26965/stat : 26965 (java) S 26956 26956 26442 0 -1 64 4146 19993 1 2 477 5 79208 33 16 0 10 0 1983325034 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=26964/tid=26966] ppid=26956 vsize=197756 CPUtime=793.51
/proc/26964/task/26966/stat : 26966 (java) S 26956 26956 26442 0 -1 64 8592 19993 0 2 101 9 79208 33 16 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26967] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26967/stat : 26967 (java) S 26956 26956 26442 0 -1 64 11 19993 0 2 0 0 79208 33 16 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26968] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26968/stat : 26968 (java) S 26956 26956 26442 0 -1 64 5 19993 0 2 0 0 79208 33 15 0 10 0 1983325036 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26969] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26969/stat : 26969 (java) S 26956 26956 26442 0 -1 64 1 19993 0 2 0 0 79208 33 18 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26970] ppid=26956 vsize=197756 CPUtime=792.62
/proc/26964/task/26970/stat : 26970 (java) S 26956 26956 26442 0 -1 64 644 19993 0 2 21 0 79208 33 16 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26971] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26971/stat : 26971 (java) S 26956 26956 26442 0 -1 64 0 19993 0 2 0 0 79208 33 19 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26964/tid=26972] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/26972/stat : 26972 (java) S 26956 26956 26442 0 -1 64 20 19993 0 2 0 0 79208 33 15 0 10 0 1983325038 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26964/tid=27356] ppid=26956 vsize=197756 CPUtime=792.41
/proc/26964/task/27356/stat : 27356 (java) S 26956 26956 26442 0 -1 64 43 19993 0 2 0 0 79208 33 17 0 10 0 1983404995 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 864104
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 26956 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=560762
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 1.58676
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1820.94
CPU time (s): 1800.01
CPU user time (s): 1792.92
CPU system time (s): 7.09
CPU usage (%): 98.8507
Max. virtual memory (cumulated for all children) (KiB): 871224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.56076
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2186
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= 31
involuntary context switches= 43
runsolver used 9.36358 second user time and 16.6485 second system time
The end