0.00/0.00 c cpHydra_k_10 version 0.0
7.03/7.16 c CASE TO CLASSIFY:
7.03/7.16 c Case: 0
7.03/7.17 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.610600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 11.266000 | c 14 > 13.471500 | c 11 > 7.087460 | c 12 > 11.365400 | 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.409390 | 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.672430 | c 31 > -1.000000 | c 4 > 7.087460 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.18 c choco : 1801.0
7.03/7.18 c mistral : 1801.0
7.03/7.18 c abscon : 1801.0
7.03/7.18 c
7.03/7.18 c
7.13/7.25 c List of same ones: 10
7.13/7.25 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
7.13/7.25 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.13/7.26 c choco : 11.33
7.13/7.26 c mistral : 0.71
7.13/7.26 c abscon : 1.44378
7.13/7.26 c
7.13/7.26 c
7.13/7.26 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
7.13/7.26 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.13/7.27 c choco : 2.57
7.13/7.27 c mistral : 0.23
7.13/7.27 c abscon : 1.16082
7.13/7.27 c
7.13/7.27 c
7.13/7.27 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
7.13/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.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.13/7.28 c choco : 1801.0
7.13/7.28 c mistral : 3.82
7.13/7.28 c abscon : 2.82057
7.13/7.28 c
7.13/7.28 c
7.13/7.28 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
7.13/7.28 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.13/7.28 c choco : 7.04
7.13/7.28 c mistral : 0.39
7.13/7.28 c abscon : 1.11383
7.13/7.28 c
7.13/7.28 c
7.13/7.28 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
7.13/7.28 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.13/7.30 c choco : 1801.0
7.13/7.30 c mistral : 20.05
7.13/7.30 c abscon : 4.68729
7.13/7.30 c
7.13/7.30 c
7.13/7.30 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
7.13/7.30 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.21/7.31 c choco : 1801.0
7.21/7.31 c mistral : 26.38
7.21/7.31 c abscon : 9.93749
7.21/7.31 c
7.21/7.31 c
7.21/7.31 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
7.21/7.31 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.21/7.31 c choco : 1801.0
7.21/7.31 c mistral : 1053.11
7.21/7.31 c abscon : 4.93525
7.21/7.31 c
7.21/7.31 c
7.21/7.31 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
7.21/7.31 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.21/7.32 c choco : 2.93
7.21/7.32 c mistral : 1800.03
7.21/7.32 c abscon : 753.112
7.21/7.32 c
7.21/7.32 c
7.21/7.32 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
7.21/7.32 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.21/7.33 c choco : 6.47
7.21/7.33 c mistral : 0.41
7.21/7.33 c abscon : 2.32765
7.21/7.33 c
7.21/7.33 c
7.21/7.33 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
7.21/7.33 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.21/7.34 c choco : 4.54
7.21/7.34 c mistral : 0.22
7.21/7.34 c abscon : 1.44478
7.21/7.34 c
7.21/7.34 c
7.21/7.34 c Length: 10
7.21/7.34 c 0.519439465481784 1.0339781939190011 7.0610870528340035 7.423152752281204 7.660066473203741 7.92121271150447 8.635526980167452 13.264105104220187 13.840856545272045 14.19367765782357
7.21/7.34 c
7.21/7.34 c 1.0 0.9637362169191841 0.676410538789103 0.6645092057002198 0.6569457962331609 0.6488057872017803 0.6275371179023633 0.5175929432868785 0.5065347758555012 0.5
7.21/7.34 c
7.21/7.34 c solver 0
7.21/7.35 c before 0.0 seconds: {} 0
7.21/7.35 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6244
7.21/7.35 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6762
7.21/7.35 c
7.21/7.35 c solver 1
7.21/7.35 c before 0.0 seconds: {} 0
7.21/7.35 c before 18.0 seconds: {0, 1, 2, 3, 8, 9} 4311
7.21/7.35 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5616
7.21/7.35 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6244
7.21/7.35 c
7.21/7.35 c solver 2
7.21/7.35 c before 0.0 seconds: {} 0
7.21/7.35 c before 18.0 seconds: {0, 1, 3, 7, 8, 9} 4152
7.21/7.35 c
7.21/7.35 cTotal time: 102
7.21/7.35 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6762
7.21/7.35 c run mistral for 36.0 seconds {0, 1, 2, 3, 4, 5, 8, 9} 5616
7.21/7.35 c run choco for 18.0 seconds {0, 1, 3, 7, 8, 9} 4152
7.21/7.35 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.21/7.35 c On Instance: HOME/instance-1048627-1215043435.xml
7.21/7.35 c Running for: 756 seconds
763.42/764.09 c Starting solver: HOME/cpHydra_k_10/solver/mistral
763.42/764.09 c On Instance: HOME/instance-1048627-1215043435.xml
763.42/764.09 c Running for: 36 seconds
799.47/800.43 c Starting solver: HOME/cpHydra_k_10/solver/choco
799.47/800.43 c On Instance: HOME/instance-1048627-1215043435.xml
799.47/800.43 c Running for: 18 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048627-1215043435/watcher-1048627-1215043435 -o /tmp/evaluation-result-1048627-1215043435/solver-1048627-1215043435 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1048627-1215043435.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.06 2.02 2.00 4/72 11747
/proc/meminfo: memFree=1812416/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=0
/proc/11747/stat : 11747 (hydra) R 11745 11747 11019 0 -1 4194304 312 247 0 0 0 0 0 0 22 0 1 0 1534010332 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11747/statm: 1340 236 195 169 0 51 0
[pid=11750] ppid=11747 vsize=5360 CPUtime=0
/proc/11750/stat : 11750 (hydra) R 11747 11747 11019 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 1534010333 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11750/statm: 1340 236 195 169 0 51 0
[startup+0.0470661 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 11747
/proc/meminfo: memFree=1812416/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=0
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1534010332 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 236 195 169 0 51 0
[pid=11750] ppid=11747 vsize=5108 CPUtime=0.03
/proc/11750/stat : 11750 (xsolve) R 11747 11747 11019 0 -1 4194304 626 0 0 0 3 0 0 0 23 0 1 0 1534010333 5230592 585 996147200 134512640 135239763 4294956176 18446744073709551615 7284341 0 0 4096 0 0 0 0 17 1 0 0
/proc/11750/statm: 1277 585 389 177 0 180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10468
[startup+0.102067 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 11747
/proc/meminfo: memFree=1812416/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=0
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1534010332 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 236 195 169 0 51 0
[pid=11750] ppid=11747 vsize=5508 CPUtime=0.08
/proc/11750/stat : 11750 (xsolve) R 11747 11747 11019 0 -1 4194304 729 0 0 0 8 0 0 0 23 0 1 0 1534010333 5640192 688 996147200 134512640 135239763 4294956176 18446744073709551615 135030786 0 0 4096 0 0 0 0 17 1 0 0
/proc/11750/statm: 1377 688 414 177 0 280 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10868
[startup+0.3011 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 11747
/proc/meminfo: memFree=1812416/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=0
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1534010332 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 236 195 169 0 51 0
[pid=11750] ppid=11747 vsize=5508 CPUtime=0.28
/proc/11750/stat : 11750 (xsolve) R 11747 11747 11019 0 -1 4194304 729 0 0 0 28 0 0 0 25 0 1 0 1534010333 5640192 688 996147200 134512640 135239763 4294956176 18446744073709551615 135013616 0 0 4096 0 0 0 0 17 1 0 0
/proc/11750/statm: 1377 688 414 177 0 280 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10868
[startup+0.701168 s]
/proc/loadavg: 2.06 2.02 2.00 4/72 11747
/proc/meminfo: memFree=1812416/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=0
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1534010332 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 236 195 169 0 51 0
[pid=11750] ppid=11747 vsize=5508 CPUtime=0.68
/proc/11750/stat : 11750 (xsolve) R 11747 11747 11019 0 -1 4194304 729 0 0 0 68 0 0 0 25 0 1 0 1534010333 5640192 688 996147200 134512640 135239763 4294956176 18446744073709551615 135013679 0 0 4096 0 0 0 0 17 1 0 0
/proc/11750/statm: 1377 688 414 177 0 280 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10868
[startup+1.50231 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 11751
/proc/meminfo: memFree=1810992/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=0
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1534010332 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 236 195 169 0 51 0
[pid=11750] ppid=11747 vsize=5508 CPUtime=1.48
/proc/11750/stat : 11750 (xsolve) R 11747 11747 11019 0 -1 4194304 729 0 0 0 147 1 0 0 25 0 1 0 1534010333 5640192 688 996147200 134512640 135239763 4294956176 18446744073709551615 135103376 0 0 4096 0 0 0 0 17 1 0 0
/proc/11750/statm: 1377 688 414 177 0 280 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10868
[startup+3.10159 s]
/proc/loadavg: 2.14 2.04 2.01 4/82 11763
/proc/meminfo: memFree=1804784/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=1.49
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 375 1325 0 0 0 0 148 1 18 0 1 0 1534010332 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 238 196 169 0 51 0
[pid=11755] ppid=11747 vsize=197104 CPUtime=1.56
/proc/11755/stat : 11755 (java) S 11747 11747 11019 0 -1 0 5156 0 1 0 151 5 0 0 18 0 9 0 1534010484 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11755/statm: 49276 4316 1678 9 0 43859 0
[pid=11755/tid=11756] ppid=11747 vsize=197104 CPUtime=1.23
/proc/11755/task/11756/stat : 11756 (java) R 11747 11747 11019 0 -1 64 2765 0 1 0 122 1 0 0 25 0 9 0 1534010485 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4126441193 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11757] ppid=11747 vsize=197104 CPUtime=0.16
/proc/11755/task/11757/stat : 11757 (java) S 11747 11747 11019 0 -1 64 1053 0 0 0 14 2 0 0 16 0 9 0 1534010486 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11758] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11758/stat : 11758 (java) S 11747 11747 11019 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1534010486 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11759] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11759/stat : 11759 (java) S 11747 11747 11019 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534010486 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11760] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11760/stat : 11760 (java) S 11747 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1534010488 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11761] ppid=11747 vsize=197104 CPUtime=0.14
/proc/11755/task/11761/stat : 11761 (java) S 11747 11747 11019 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1534010488 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11762] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11762/stat : 11762 (java) S 11747 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1534010488 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11763] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11763/stat : 11763 (java) S 11747 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1534010488 201834496 4316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202464
[startup+6.30214 s]
/proc/loadavg: 2.14 2.04 2.01 3/82 11763
/proc/meminfo: memFree=1791152/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=1.49
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 375 1325 0 0 0 0 148 1 18 0 1 0 1534010332 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 238 196 169 0 51 0
[pid=11755] ppid=11747 vsize=197104 CPUtime=4.75
/proc/11755/stat : 11755 (java) S 11747 11747 11019 0 -1 0 10166 0 1 0 461 14 0 0 18 0 9 0 1534010484 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11755/statm: 49276 8439 2540 9 0 43859 0
[pid=11755/tid=11756] ppid=11747 vsize=197104 CPUtime=3.81
/proc/11755/task/11756/stat : 11756 (java) R 11747 11747 11019 0 -1 64 3584 0 1 0 377 4 0 0 25 0 9 0 1534010485 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 103215059 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11757] ppid=11747 vsize=197104 CPUtime=0.74
/proc/11755/task/11757/stat : 11757 (java) S 11747 11747 11019 0 -1 64 5229 0 0 0 67 7 0 0 16 0 9 0 1534010486 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11758] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11758/stat : 11758 (java) S 11747 11747 11019 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1534010486 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11759] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11759/stat : 11759 (java) S 11747 11747 11019 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534010486 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11760] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11760/stat : 11760 (java) S 11747 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1534010488 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11761] ppid=11747 vsize=197104 CPUtime=0.16
/proc/11755/task/11761/stat : 11761 (java) S 11747 11747 11019 0 -1 64 628 0 0 0 16 0 0 0 16 0 9 0 1534010488 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11762] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11762/stat : 11762 (java) S 11747 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1534010488 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11763] ppid=11747 vsize=197104 CPUtime=0
/proc/11755/task/11763/stat : 11763 (java) S 11747 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1534010488 201834496 8439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 202464
[startup+12.7023 s]
/proc/loadavg: 2.12 2.03 2.01 3/94 11775
/proc/meminfo: memFree=1745488/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=1.49
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 375 1325 0 0 0 0 148 1 18 0 1 0 1534010332 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 238 196 169 0 51 0
[pid=11755] ppid=11747 vsize=197428 CPUtime=5.77
/proc/11755/stat : 11755 (java) S 11747 11747 11019 0 -1 0 11435 0 1 0 561 16 0 0 18 0 10 0 1534010484 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11755/statm: 49357 9405 2544 9 0 43940 0
[pid=11765] ppid=11755 vsize=5356 CPUtime=0
/proc/11765/stat : 11765 (abscon) S 11755 11747 11019 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1534011068 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 248761606980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11765/statm: 1339 237 196 169 0 50 0
[pid=11766] ppid=11765 vsize=655976 CPUtime=5.3
/proc/11766/stat : 11766 (java) S 11765 11747 11019 0 -1 0 12694 0 1 0 520 10 0 0 18 0 9 0 1534011068 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11766/statm: 163994 12010 2611 9 0 158522 0
[pid=11766/tid=11768] ppid=11765 vsize=655976 CPUtime=4.93
/proc/11766/task/11768/stat : 11768 (java) R 11765 11747 11019 0 -1 64 10058 0 1 0 485 8 0 0 25 0 9 0 1534011069 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4126095823 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11766/tid=11769] ppid=11765 vsize=655976 CPUtime=0.05
/proc/11766/task/11769/stat : 11769 (java) S 11765 11747 11019 0 -1 64 1353 0 0 0 5 0 0 0 16 0 9 0 1534011070 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11766/tid=11770] ppid=11765 vsize=655976 CPUtime=0
/proc/11766/task/11770/stat : 11770 (java) S 11765 11747 11019 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1534011070 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11766/tid=11771] ppid=11765 vsize=655976 CPUtime=0
/proc/11766/task/11771/stat : 11771 (java) S 11765 11747 11019 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534011070 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11766/tid=11772] ppid=11765 vsize=655976 CPUtime=0
/proc/11766/task/11772/stat : 11772 (java) S 11765 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1534011073 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11766/tid=11773] ppid=11765 vsize=655976 CPUtime=0.29
/proc/11766/task/11773/stat : 11773 (java) S 11765 11747 11019 0 -1 64 739 0 0 0 29 0 0 0 15 0 9 0 1534011073 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11766/tid=11774] ppid=11765 vsize=655976 CPUtime=0
/proc/11766/task/11774/stat : 11774 (java) S 11765 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1534011073 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11766/tid=11775] ppid=11765 vsize=655976 CPUtime=0
/proc/11766/task/11775/stat : 11775 (java) S 11765 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534011073 671719424 12010 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11767] ppid=11765 vsize=7044 CPUtime=0
/proc/11767/stat : 11767 (translate) S 11765 11747 11019 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1534011068 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 248761778258 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/11767/statm: 1761 213 182 1 0 41 0
[pid=11755/tid=11756] ppid=11747 vsize=197428 CPUtime=4.67
/proc/11755/task/11756/stat : 11756 (java) S 11747 11747 11019 0 -1 64 3859 0 1 0 462 5 0 0 25 0 10 0 1534010485 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11755/tid=11757] ppid=11747 vsize=197428 CPUtime=0.86
/proc/11755/task/11757/stat : 11757 (java) S 11747 11747 11019 0 -1 64 6125 0 0 0 78 8 0 0 16 0 10 0 1534010486 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11758] ppid=11747 vsize=197428 CPUtime=0
/proc/11755/task/11758/stat : 11758 (java) S 11747 11747 11019 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1534010486 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11759] ppid=11747 vsize=197428 CPUtime=0
/proc/11755/task/11759/stat : 11759 (java) S 11747 11747 11019 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1534010486 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11760] ppid=11747 vsize=197428 CPUtime=0
/proc/11755/task/11760/stat : 11760 (java) S 11747 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1534010488 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11761] ppid=11747 vsize=197428 CPUtime=0.2
/proc/11755/task/11761/stat : 11761 (java) S 11747 11747 11019 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1534010488 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11762] ppid=11747 vsize=197428 CPUtime=0
/proc/11755/task/11762/stat : 11762 (java) S 11747 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1534010488 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11763] ppid=11747 vsize=197428 CPUtime=0
/proc/11755/task/11763/stat : 11763 (java) S 11747 11747 11019 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1534010488 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11764] ppid=11747 vsize=197428 CPUtime=0
/proc/11755/task/11764/stat : 11764 (java) S 11747 11747 11019 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1534011068 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 871164
[startup+25.5025 s]
/proc/loadavg: 2.10 2.03 2.01 3/94 11775
/proc/meminfo: memFree=1745360/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=1.49
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 375 1325 0 0 0 0 148 1 18 0 1 0 1534010332 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 238 196 169 0 51 0
################
# More data... #
################
/proc/11755/statm: 49438 9411 2545 9 0 44021 0
[pid=11829] ppid=11755 vsize=5356 CPUtime=0
/proc/11829/stat : 11829 (choco) S 11755 11747 11019 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1534090375 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 248761606980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11829/statm: 1339 238 197 169 0 50 0
[pid=11830] ppid=11829 vsize=655604 CPUtime=903.93
/proc/11830/stat : 11830 (java) S 11829 11747 11019 0 -1 0 16644 0 1 0 89442 951 0 0 18 0 9 0 1534090376 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11830/statm: 163901 14469 1935 9 0 158430 0
[pid=11830/tid=11831] ppid=11829 vsize=655604 CPUtime=902.52
/proc/11830/task/11831/stat : 11831 (java) R 11829 11747 11019 0 -1 64 13903 0 1 0 89312 940 0 0 25 0 9 0 1534090377 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4127049832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11832] ppid=11829 vsize=655604 CPUtime=1.06
/proc/11830/task/11832/stat : 11832 (java) S 11829 11747 11019 0 -1 64 1545 0 0 0 97 9 0 0 16 0 9 0 1534090378 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11833] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11833/stat : 11833 (java) S 11829 11747 11019 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1534090378 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11834] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11834/stat : 11834 (java) S 11829 11747 11019 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534090378 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11835] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11835/stat : 11835 (java) S 11829 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11836] ppid=11829 vsize=655604 CPUtime=0.32
/proc/11830/task/11836/stat : 11836 (java) S 11829 11747 11019 0 -1 64 651 0 0 0 32 0 0 0 15 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11837] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11837/stat : 11837 (java) S 11829 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11838] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11838/stat : 11838 (java) S 11829 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11755/tid=11756] ppid=11747 vsize=197752 CPUtime=796.94
/proc/11755/task/11756/stat : 11756 (java) S 11747 11747 11019 0 -1 64 4031 14305 1 1 462 5 79210 17 16 0 10 0 1534010485 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11755/tid=11757] ppid=11747 vsize=197752 CPUtime=793.13
/proc/11755/task/11757/stat : 11757 (java) S 11747 11747 11019 0 -1 64 6175 14305 0 1 78 8 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11758] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11758/stat : 11758 (java) S 11747 11747 11019 0 -1 64 11 14305 0 1 0 0 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11759] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11759/stat : 11759 (java) S 11747 11747 11019 0 -1 64 5 14305 0 1 0 0 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11760] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11760/stat : 11760 (java) S 11747 11747 11019 0 -1 64 0 14305 0 1 0 0 79210 17 18 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11761] ppid=11747 vsize=197752 CPUtime=792.47
/proc/11755/task/11761/stat : 11761 (java) S 11747 11747 11019 0 -1 64 671 14305 0 1 20 0 79210 17 16 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11755/tid=11762] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11762/stat : 11762 (java) S 11747 11747 11019 0 -1 64 1 14305 0 1 0 0 79210 17 19 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11763] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11763/stat : 11763 (java) S 11747 11747 11019 0 -1 64 26 14305 0 1 0 0 79210 17 15 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11828] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11828/stat : 11828 (java) S 11747 11747 11019 0 -1 64 42 14305 0 1 0 0 79210 17 17 0 10 0 1534090375 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1703.47
Current children cumulated vsize (KiB) 864072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11840
/proc/meminfo: memFree=1720136/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=1.49
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 375 1325 0 0 0 0 148 1 18 0 1 0 1534010332 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 238 196 169 0 51 0
[pid=11755] ppid=11747 vsize=197752 CPUtime=798.05
/proc/11755/stat : 11755 (java) S 11747 11747 11019 0 -1 0 11815 14305 1 1 561 17 79210 17 18 0 10 0 1534010484 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11755/statm: 49438 9411 2545 9 0 44021 0
[pid=11829] ppid=11755 vsize=5356 CPUtime=0
/proc/11829/stat : 11829 (choco) S 11755 11747 11019 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1534090375 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 248761606980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11829/statm: 1339 238 197 169 0 50 0
[pid=11830] ppid=11829 vsize=655604 CPUtime=962.76
/proc/11830/stat : 11830 (java) S 11829 11747 11019 0 -1 0 16759 0 1 0 95262 1014 0 0 18 0 9 0 1534090376 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11830/statm: 163901 14469 1935 9 0 158430 0
[pid=11830/tid=11831] ppid=11829 vsize=655604 CPUtime=961.29
/proc/11830/task/11831/stat : 11831 (java) R 11829 11747 11019 0 -1 64 14018 0 1 0 95126 1003 0 0 25 0 9 0 1534090377 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4127121996 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11832] ppid=11829 vsize=655604 CPUtime=1.13
/proc/11830/task/11832/stat : 11832 (java) S 11829 11747 11019 0 -1 64 1545 0 0 0 103 10 0 0 16 0 9 0 1534090378 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11833] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11833/stat : 11833 (java) S 11829 11747 11019 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1534090378 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11834] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11834/stat : 11834 (java) S 11829 11747 11019 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534090378 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11835] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11835/stat : 11835 (java) S 11829 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11836] ppid=11829 vsize=655604 CPUtime=0.32
/proc/11830/task/11836/stat : 11836 (java) S 11829 11747 11019 0 -1 64 651 0 0 0 32 0 0 0 15 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11837] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11837/stat : 11837 (java) S 11829 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11838] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11838/stat : 11838 (java) S 11829 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534090380 671338496 14469 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11755/tid=11756] ppid=11747 vsize=197752 CPUtime=796.94
/proc/11755/task/11756/stat : 11756 (java) S 11747 11747 11019 0 -1 64 4031 14305 1 1 462 5 79210 17 16 0 10 0 1534010485 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11755/tid=11757] ppid=11747 vsize=197752 CPUtime=793.13
/proc/11755/task/11757/stat : 11757 (java) S 11747 11747 11019 0 -1 64 6175 14305 0 1 78 8 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11758] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11758/stat : 11758 (java) S 11747 11747 11019 0 -1 64 11 14305 0 1 0 0 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11759] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11759/stat : 11759 (java) S 11747 11747 11019 0 -1 64 5 14305 0 1 0 0 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11760] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11760/stat : 11760 (java) S 11747 11747 11019 0 -1 64 0 14305 0 1 0 0 79210 17 18 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11761] ppid=11747 vsize=197752 CPUtime=792.47
/proc/11755/task/11761/stat : 11761 (java) S 11747 11747 11019 0 -1 64 671 14305 0 1 20 0 79210 17 16 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11755/tid=11762] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11762/stat : 11762 (java) S 11747 11747 11019 0 -1 64 1 14305 0 1 0 0 79210 17 19 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11763] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11763/stat : 11763 (java) S 11747 11747 11019 0 -1 64 26 14305 0 1 0 0 79210 17 15 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11828] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11828/stat : 11828 (java) S 11747 11747 11019 0 -1 64 42 14305 0 1 0 0 79210 17 17 0 10 0 1534090375 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1762.3
Current children cumulated vsize (KiB) 864072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1820.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 11840
/proc/meminfo: memFree=1719944/2055920 swapFree=4180384/4192956
[pid=11747] ppid=11745 vsize=5360 CPUtime=1.49
/proc/11747/stat : 11747 (hydra) S 11745 11747 11019 0 -1 4194304 375 1325 0 0 0 0 148 1 18 0 1 0 1534010332 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11747/statm: 1340 238 196 169 0 51 0
[pid=11755] ppid=11747 vsize=197752 CPUtime=798.05
/proc/11755/stat : 11755 (java) S 11747 11747 11019 0 -1 0 11815 14305 1 1 561 17 79210 17 18 0 10 0 1534010484 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11755/statm: 49438 9411 2545 9 0 44021 0
[pid=11829] ppid=11755 vsize=5356 CPUtime=0
/proc/11829/stat : 11829 (choco) S 11755 11747 11019 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1534090375 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 248761606980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11829/statm: 1339 238 197 169 0 50 0
[pid=11830] ppid=11829 vsize=655604 CPUtime=1000.51
/proc/11830/stat : 11830 (java) S 11829 11747 11019 0 -1 0 16834 0 1 0 98992 1059 0 0 18 0 9 0 1534090376 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11830/statm: 163901 14470 1935 9 0 158430 0
[pid=11830/tid=11831] ppid=11829 vsize=655604 CPUtime=998.99
/proc/11830/task/11831/stat : 11831 (java) R 11829 11747 11019 0 -1 64 14092 0 1 0 98852 1047 0 0 25 0 9 0 1534090377 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4127087410 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11832] ppid=11829 vsize=655604 CPUtime=1.17
/proc/11830/task/11832/stat : 11832 (java) S 11829 11747 11019 0 -1 64 1546 0 0 0 107 10 0 0 16 0 9 0 1534090378 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11833] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11833/stat : 11833 (java) S 11829 11747 11019 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1534090378 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11834] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11834/stat : 11834 (java) S 11829 11747 11019 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534090378 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11835] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11835/stat : 11835 (java) S 11829 11747 11019 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534090380 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11836] ppid=11829 vsize=655604 CPUtime=0.32
/proc/11830/task/11836/stat : 11836 (java) S 11829 11747 11019 0 -1 64 651 0 0 0 32 0 0 0 15 0 9 0 1534090380 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11837] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11837/stat : 11837 (java) S 11829 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1534090380 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11830/tid=11838] ppid=11829 vsize=655604 CPUtime=0
/proc/11830/task/11838/stat : 11838 (java) S 11829 11747 11019 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534090380 671338496 14470 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11755/tid=11756] ppid=11747 vsize=197752 CPUtime=796.94
/proc/11755/task/11756/stat : 11756 (java) S 11747 11747 11019 0 -1 64 4031 14305 1 1 462 5 79210 17 16 0 10 0 1534010485 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11755/tid=11757] ppid=11747 vsize=197752 CPUtime=793.13
/proc/11755/task/11757/stat : 11757 (java) S 11747 11747 11019 0 -1 64 6175 14305 0 1 78 8 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11758] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11758/stat : 11758 (java) S 11747 11747 11019 0 -1 64 11 14305 0 1 0 0 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11759] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11759/stat : 11759 (java) S 11747 11747 11019 0 -1 64 5 14305 0 1 0 0 79210 17 16 0 10 0 1534010486 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11760] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11760/stat : 11760 (java) S 11747 11747 11019 0 -1 64 0 14305 0 1 0 0 79210 17 18 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11761] ppid=11747 vsize=197752 CPUtime=792.47
/proc/11755/task/11761/stat : 11761 (java) S 11747 11747 11019 0 -1 64 671 14305 0 1 20 0 79210 17 16 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11755/tid=11762] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11762/stat : 11762 (java) S 11747 11747 11019 0 -1 64 1 14305 0 1 0 0 79210 17 19 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11763] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11763/stat : 11763 (java) S 11747 11747 11019 0 -1 64 26 14305 0 1 0 0 79210 17 15 0 10 0 1534010488 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11755/tid=11828] ppid=11747 vsize=197752 CPUtime=792.27
/proc/11755/task/11828/stat : 11828 (java) S 11747 11747 11019 0 -1 64 42 14305 0 1 0 0 79210 17 17 0 10 0 1534090375 202498048 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 864072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11747 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=484774
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 1.50477
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1820.84
CPU time (s): 1800.05
CPU user time (s): 1789.11
CPU system time (s): 10.94
CPU usage (%): 98.8585
Max. virtual memory (cumulated for all children) (KiB): 871164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.48477
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1700
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= 26
runsolver used 7.00394 second user time and 19.0861 second system time
The end