0.00/0.00 c cpHydra_k_10 version 0.0
7.31/7.53 c CASE TO CLASSIFY:
7.31/7.53 c Case: 0
7.31/7.53 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.714400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.999200 | c 14 > 13.900700 | c 11 > 6.714250 | c 12 > 11.785900 | 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.31/7.54 c choco : 1801.0
7.31/7.54 c mistral : 1801.0
7.31/7.54 c abscon : 1801.0
7.31/7.54 c
7.31/7.54 c
7.40/7.62 c List of same ones: 10
7.40/7.62 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
7.40/7.62 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.40/7.63 c choco : 2.57
7.40/7.63 c mistral : 0.23
7.40/7.63 c abscon : 1.16082
7.40/7.63 c
7.40/7.63 c
7.40/7.63 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
7.40/7.63 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.40/7.64 c choco : 11.33
7.40/7.64 c mistral : 0.71
7.40/7.64 c abscon : 1.44378
7.40/7.64 c
7.40/7.64 c
7.40/7.64 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
7.40/7.64 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.40/7.65 c choco : 7.04
7.40/7.65 c mistral : 0.39
7.40/7.65 c abscon : 1.11383
7.40/7.65 c
7.40/7.65 c
7.40/7.65 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
7.40/7.65 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.40/7.66 c choco : 1801.0
7.40/7.66 c mistral : 3.82
7.40/7.66 c abscon : 2.82057
7.40/7.66 c
7.40/7.66 c
7.40/7.66 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
7.40/7.66 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.40/7.67 c choco : 1801.0
7.40/7.67 c mistral : 20.05
7.40/7.67 c abscon : 4.68729
7.40/7.67 c
7.40/7.67 c
7.40/7.67 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
7.40/7.67 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.40/7.68 c choco : 1801.0
7.40/7.68 c mistral : 26.38
7.40/7.68 c abscon : 9.93749
7.40/7.68 c
7.40/7.68 c
7.40/7.68 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
7.40/7.68 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.40/7.69 c choco : 1801.0
7.40/7.69 c mistral : 1053.11
7.40/7.69 c abscon : 4.93525
7.40/7.69 c
7.40/7.69 c
7.40/7.69 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
7.40/7.69 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.40/7.69 c choco : 2.93
7.40/7.69 c mistral : 1800.03
7.40/7.69 c abscon : 753.112
7.40/7.69 c
7.40/7.69 c
7.40/7.69 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
7.40/7.69 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.49/7.71 c choco : 6.47
7.49/7.71 c mistral : 0.41
7.49/7.71 c abscon : 2.32765
7.49/7.71 c
7.49/7.71 c
7.49/7.71 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
7.49/7.71 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.49/7.72 c choco : 4.54
7.49/7.72 c mistral : 0.22
7.49/7.72 c abscon : 1.44478
7.49/7.72 c
7.49/7.72 c
7.49/7.72 c Length: 10
7.49/7.72 c 0.2898175460526843 0.7796808400877898 7.126979969327823 7.891675126169348 8.469262902921363 8.727258754878303 9.415836861506257 13.599109903089246 14.38706924147166 14.670245637694686
7.49/7.72 c
7.49/7.72 c 1.0 0.9670575860734688 0.6777597145883161 0.6541825680173463 0.6374338989295768 0.6302265957561294 0.6117652677410188 0.5193417578301437 0.5049719007717701 0.5
7.49/7.72 c
7.49/7.72 c solver 0
7.49/7.72 c before 0.0 seconds: {} 0
7.49/7.72 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6183
7.49/7.72 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6702
7.49/7.72 c
7.49/7.72 c solver 1
7.49/7.72 c before 0.0 seconds: {} 0
7.49/7.72 c before 18.0 seconds: {0, 1, 2, 3, 8, 9} 4303
7.49/7.72 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5571
7.49/7.72 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6183
7.49/7.72 c
7.49/7.72 c solver 2
7.49/7.72 c before 0.0 seconds: {} 0
7.49/7.72 c before 18.0 seconds: {0, 1, 2, 7, 8, 9} 4169
7.49/7.72 c
7.49/7.72 cTotal time: 102
7.49/7.73 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6702
7.49/7.73 c run mistral for 36.0 seconds {0, 1, 2, 3, 4, 5, 8, 9} 5571
7.49/7.73 c run choco for 18.0 seconds {0, 1, 2, 7, 8, 9} 4169
7.49/7.73 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.49/7.73 c On Instance: HOME/instance-1048690-1215043684.xml
7.49/7.73 c Running for: 756 seconds
8.95/9.25 s SAT
8.95/9.25 v 0 2 0 2 0 1 1 1 1 0 0 2 2 1 2 2 0 1 1 2 1 0 2 1 1 2 0 1 0 2 1 1 2 0 0 0 1 0 2 0 1 0 0 1 1 1 2 2 0 2 1 1 2 0 1 2 2 0 1 2 2 1 0 0 2 2 0 0 1 2 0 0 1 0 2 2 2 2 0 0 1 0 1 0 2 0 2 2 1 0 2 1 1 2 2 1 2 1 1 0 2 0 1 1 0
8.95/9.25 d ASSIGNMENTS 4292
8.95/9.25 d CHECKS 156490
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048690-1215043684/watcher-1048690-1215043684 -o /tmp/evaluation-result-1048690-1215043684/solver-1048690-1215043684 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1048690-1215043684.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.90 4/92 9399
/proc/meminfo: memFree=1735616/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=18572 CPUtime=0
/proc/9399/stat : 9399 (runsolver) R 9397 9399 8635 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1983342947 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9399/statm: 4643 292 257 25 0 2626 0
[startup+0.104099 s]
/proc/loadavg: 1.92 1.98 1.90 4/92 9399
/proc/meminfo: memFree=1735616/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=0
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983342947 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201107 s]
/proc/loadavg: 1.92 1.98 1.90 4/92 9399
/proc/meminfo: memFree=1735616/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=0
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983342947 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301118 s]
/proc/loadavg: 1.92 1.98 1.90 4/92 9399
/proc/meminfo: memFree=1735616/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=0
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983342947 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701161 s]
/proc/loadavg: 1.92 1.98 1.90 4/92 9399
/proc/meminfo: memFree=1735616/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=0
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983342947 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50224 s]
/proc/loadavg: 1.92 1.98 1.90 3/94 9403
/proc/meminfo: memFree=1734448/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=0
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1983342947 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 236 195 169 0 51 0
[pid=9403] ppid=9399 vsize=5248 CPUtime=1.46
/proc/9403/stat : 9403 (xsolve) R 9399 9399 8635 0 -1 4194304 662 0 0 0 144 2 0 0 25 0 1 0 1983342948 5373952 621 996147200 134512640 135239763 4294956176 18446744073709551615 135013622 0 0 4096 0 0 0 0 17 1 0 0
/proc/9403/statm: 1312 621 414 177 0 215 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10608
[startup+3.10242 s]
/proc/loadavg: 1.92 1.98 1.90 3/102 9415
/proc/meminfo: memFree=1727152/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=1.48
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 375 1258 0 0 0 0 146 2 18 0 1 0 1983342947 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 238 196 169 0 51 0
[pid=9407] ppid=9399 vsize=197104 CPUtime=1.52
/proc/9407/stat : 9407 (java) S 9399 9399 8635 0 -1 0 4996 0 1 0 145 7 0 0 18 0 9 0 1983343100 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9407/statm: 49276 4197 1678 9 0 43859 0
[pid=9407/tid=9408] ppid=9399 vsize=197104 CPUtime=1.19
/proc/9407/task/9408/stat : 9408 (java) R 9399 9399 8635 0 -1 64 2725 0 1 0 117 2 0 0 25 0 9 0 1983343101 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4126591778 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9409] ppid=9399 vsize=197104 CPUtime=0.15
/proc/9407/task/9409/stat : 9409 (java) S 9399 9399 8635 0 -1 64 934 0 0 0 12 3 0 0 16 0 9 0 1983343102 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9410] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9410/stat : 9410 (java) S 9399 9399 8635 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983343102 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9411] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9411/stat : 9411 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983343102 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9412] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9412/stat : 9412 (java) S 9399 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983343104 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9413] ppid=9399 vsize=197104 CPUtime=0.14
/proc/9407/task/9413/stat : 9413 (java) S 9399 9399 8635 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1983343104 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9414] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9414/stat : 9414 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983343104 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9415] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9415/stat : 9415 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983343104 201834496 4197 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 202464
[startup+6.30275 s]
/proc/loadavg: 1.93 1.98 1.90 3/102 9415
/proc/meminfo: memFree=1715512/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=1.48
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 375 1258 0 0 0 0 146 2 18 0 1 0 1983342947 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 238 196 169 0 51 0
[pid=9407] ppid=9399 vsize=197104 CPUtime=4.65
/proc/9407/stat : 9407 (java) S 9399 9399 8635 0 -1 0 9783 0 1 0 449 16 0 0 18 0 9 0 1983343100 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9407/statm: 49276 8104 2540 9 0 43859 0
[pid=9407/tid=9408] ppid=9399 vsize=197104 CPUtime=3.69
/proc/9407/task/9408/stat : 9408 (java) R 9399 9399 8635 0 -1 64 3521 0 1 0 364 5 0 0 25 0 9 0 1983343101 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4126566896 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9409] ppid=9399 vsize=197104 CPUtime=0.75
/proc/9407/task/9409/stat : 9409 (java) S 9399 9399 8635 0 -1 64 4910 0 0 0 67 8 0 0 16 0 9 0 1983343102 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9410] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9410/stat : 9410 (java) S 9399 9399 8635 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983343102 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9411] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9411/stat : 9411 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983343102 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9412] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9412/stat : 9412 (java) S 9399 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983343104 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9413] ppid=9399 vsize=197104 CPUtime=0.17
/proc/9407/task/9413/stat : 9413 (java) S 9399 9399 8635 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1983343104 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9414] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9414/stat : 9414 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983343104 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9415] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9415/stat : 9415 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983343104 201834496 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 202464
Solver just ended. Dumping a history of the last processes samples
[startup+6.40276 s]
/proc/loadavg: 1.93 1.98 1.90 3/102 9415
/proc/meminfo: memFree=1715512/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=1.48
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 375 1258 0 0 0 0 146 2 18 0 1 0 1983342947 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 238 196 169 0 51 0
[pid=9407] ppid=9399 vsize=197104 CPUtime=4.75
/proc/9407/stat : 9407 (java) S 9399 9399 8635 0 -1 0 9896 0 1 0 459 16 0 0 18 0 9 0 1983343100 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9407/statm: 49276 8199 2540 9 0 43859 0
[pid=9407/tid=9408] ppid=9399 vsize=197104 CPUtime=3.77
/proc/9407/task/9408/stat : 9408 (java) R 9399 9399 8635 0 -1 64 3539 0 1 0 372 5 0 0 25 0 9 0 1983343101 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4126432564 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9409] ppid=9399 vsize=197104 CPUtime=0.78
/proc/9407/task/9409/stat : 9409 (java) S 9399 9399 8635 0 -1 64 5005 0 0 0 69 9 0 0 16 0 9 0 1983343102 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9410] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9410/stat : 9410 (java) S 9399 9399 8635 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983343102 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9411] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9411/stat : 9411 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983343102 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9412] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9412/stat : 9412 (java) S 9399 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983343104 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9413] ppid=9399 vsize=197104 CPUtime=0.17
/proc/9407/task/9413/stat : 9413 (java) S 9399 9399 8635 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1983343104 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9414] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9414/stat : 9414 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983343104 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9415] ppid=9399 vsize=197104 CPUtime=0
/proc/9407/task/9415/stat : 9415 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983343104 201834496 8199 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202464
[startup+8.00293 s]
/proc/loadavg: 1.93 1.98 1.90 3/102 9415
/proc/meminfo: memFree=1707832/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=1.48
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 375 1258 0 0 0 0 146 2 18 0 1 0 1983342947 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 238 196 169 0 51 0
[pid=9407] ppid=9399 vsize=197428 CPUtime=6.02
/proc/9407/stat : 9407 (java) S 9399 9399 8635 0 -1 0 11377 0 1 0 583 19 0 0 18 0 10 0 1983343100 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9407/statm: 49357 9343 2543 9 0 43940 0
[pid=9407/tid=9408] ppid=9399 vsize=197428 CPUtime=4.86
/proc/9407/task/9408/stat : 9408 (java) S 9399 9399 8635 0 -1 64 3856 0 1 0 479 7 0 0 25 0 10 0 1983343101 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9407/tid=9409] ppid=9399 vsize=197428 CPUtime=0.93
/proc/9407/task/9409/stat : 9409 (java) S 9399 9399 8635 0 -1 64 6077 0 0 0 83 10 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9410] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9410/stat : 9410 (java) S 9399 9399 8635 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9411] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9411/stat : 9411 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9412] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9412/stat : 9412 (java) S 9399 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9413] ppid=9399 vsize=197428 CPUtime=0.2
/proc/9407/task/9413/stat : 9413 (java) S 9399 9399 8635 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9414] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9414/stat : 9414 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9415] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9415/stat : 9415 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 202788
[startup+8.80302 s]
/proc/loadavg: 1.93 1.98 1.90 3/114 9427
/proc/meminfo: memFree=1672344/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=1.48
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 375 1258 0 0 0 0 146 2 18 0 1 0 1983342947 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 238 196 169 0 51 0
[pid=9407] ppid=9399 vsize=197428 CPUtime=6.02
/proc/9407/stat : 9407 (java) S 9399 9399 8635 0 -1 0 11411 0 1 0 583 19 0 0 18 0 10 0 1983343100 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9407/statm: 49357 9343 2543 9 0 43940 0
[pid=9417] ppid=9407 vsize=5356 CPUtime=0
/proc/9417/stat : 9417 (abscon) S 9407 9399 8635 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983343720 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9417/statm: 1339 237 196 169 0 50 0
[pid=9418] ppid=9417 vsize=655456 CPUtime=1.05
/proc/9418/stat : 9418 (java) S 9417 9399 8635 0 -1 0 11996 0 1 0 97 8 0 0 18 0 9 0 1983343721 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9418/statm: 163864 11315 2611 9 0 158392 0
[pid=9418/tid=9420] ppid=9417 vsize=655456 CPUtime=0.77
/proc/9418/task/9420/stat : 9420 (java) R 9417 9399 8635 0 -1 64 9641 0 1 0 71 6 0 0 25 0 9 0 1983343722 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4125977812 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9421] ppid=9417 vsize=655456 CPUtime=0.04
/proc/9418/task/9421/stat : 9421 (java) S 9417 9399 8635 0 -1 64 1268 0 0 0 4 0 0 0 16 0 9 0 1983343723 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9422] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9422/stat : 9422 (java) S 9417 9399 8635 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983343723 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9423] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9423/stat : 9423 (java) S 9417 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983343723 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9424] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9424/stat : 9424 (java) S 9417 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1983343725 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9425] ppid=9417 vsize=655456 CPUtime=0.21
/proc/9418/task/9425/stat : 9425 (java) S 9417 9399 8635 0 -1 64 542 0 0 0 21 0 0 0 15 0 9 0 1983343725 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9426] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9426/stat : 9426 (java) S 9417 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983343725 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9427] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9427/stat : 9427 (java) S 9417 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983343725 671186944 11315 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9419] ppid=9417 vsize=7044 CPUtime=0
/proc/9419/stat : 9419 (translate) S 9417 9399 8635 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983343721 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9419/statm: 1761 213 182 1 0 41 0
[pid=9407/tid=9408] ppid=9399 vsize=197428 CPUtime=4.86
/proc/9407/task/9408/stat : 9408 (java) S 9399 9399 8635 0 -1 64 3856 0 1 0 479 7 0 0 25 0 10 0 1983343101 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9407/tid=9409] ppid=9399 vsize=197428 CPUtime=0.93
/proc/9407/task/9409/stat : 9409 (java) S 9399 9399 8635 0 -1 64 6111 0 0 0 83 10 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9410] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9410/stat : 9410 (java) S 9399 9399 8635 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9411] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9411/stat : 9411 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9412] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9412/stat : 9412 (java) S 9399 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9413] ppid=9399 vsize=197428 CPUtime=0.2
/proc/9407/task/9413/stat : 9413 (java) S 9399 9399 8635 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9414] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9414/stat : 9414 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9415] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9415/stat : 9415 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9416] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9416/stat : 9416 (java) S 9399 9399 8635 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1983343720 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 870644
[startup+9.20306 s]
/proc/loadavg: 1.93 1.98 1.90 3/114 9427
/proc/meminfo: memFree=1672344/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=1.48
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 375 1258 0 0 0 0 146 2 18 0 1 0 1983342947 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 238 196 169 0 51 0
[pid=9407] ppid=9399 vsize=197428 CPUtime=6.02
/proc/9407/stat : 9407 (java) S 9399 9399 8635 0 -1 0 11411 0 1 0 583 19 0 0 18 0 10 0 1983343100 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9407/statm: 49357 9343 2543 9 0 43940 0
[pid=9417] ppid=9407 vsize=5356 CPUtime=0
/proc/9417/stat : 9417 (abscon) S 9407 9399 8635 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983343720 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 237788259140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/9417/statm: 1339 237 196 169 0 50 0
[pid=9418] ppid=9417 vsize=655456 CPUtime=1.45
/proc/9418/stat : 9418 (java) S 9417 9399 8635 0 -1 0 12035 0 1 0 136 9 0 0 18 0 9 0 1983343721 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9418/statm: 163864 11354 2611 9 0 158392 0
[pid=9418/tid=9420] ppid=9417 vsize=655456 CPUtime=1.13
/proc/9418/task/9420/stat : 9420 (java) R 9417 9399 8635 0 -1 64 9658 0 1 0 106 7 0 0 25 0 9 0 1983343722 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4125952190 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9421] ppid=9417 vsize=655456 CPUtime=0.04
/proc/9418/task/9421/stat : 9421 (java) S 9417 9399 8635 0 -1 64 1268 0 0 0 4 0 0 0 16 0 9 0 1983343723 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9422] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9422/stat : 9422 (java) S 9417 9399 8635 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1983343723 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9423] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9423/stat : 9423 (java) S 9417 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983343723 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9424] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9424/stat : 9424 (java) S 9417 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1983343725 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9425] ppid=9417 vsize=655456 CPUtime=0.26
/proc/9418/task/9425/stat : 9425 (java) S 9417 9399 8635 0 -1 64 564 0 0 0 25 1 0 0 15 0 9 0 1983343725 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9426] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9426/stat : 9426 (java) S 9417 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983343725 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9418/tid=9427] ppid=9417 vsize=655456 CPUtime=0
/proc/9418/task/9427/stat : 9427 (java) S 9417 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983343725 671186944 11354 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9419] ppid=9417 vsize=7044 CPUtime=0
/proc/9419/stat : 9419 (translate) S 9417 9399 8635 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983343721 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 237788430418 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/9419/statm: 1761 213 182 1 0 41 0
[pid=9407/tid=9408] ppid=9399 vsize=197428 CPUtime=4.86
/proc/9407/task/9408/stat : 9408 (java) S 9399 9399 8635 0 -1 64 3856 0 1 0 479 7 0 0 25 0 10 0 1983343101 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=9407/tid=9409] ppid=9399 vsize=197428 CPUtime=0.93
/proc/9407/task/9409/stat : 9409 (java) S 9399 9399 8635 0 -1 64 6111 0 0 0 83 10 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9410] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9410/stat : 9410 (java) S 9399 9399 8635 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9411] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9411/stat : 9411 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1983343102 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9412] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9412/stat : 9412 (java) S 9399 9399 8635 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9413] ppid=9399 vsize=197428 CPUtime=0.2
/proc/9407/task/9413/stat : 9413 (java) S 9399 9399 8635 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9414] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9414/stat : 9414 (java) S 9399 9399 8635 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9415] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9415/stat : 9415 (java) S 9399 9399 8635 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983343104 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9407/tid=9416] ppid=9399 vsize=197428 CPUtime=0
/proc/9407/task/9416/stat : 9416 (java) S 9399 9399 8635 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1983343720 202166272 9343 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.95
Current children cumulated vsize (KiB) 870644
[startup+9.30307 s]
/proc/loadavg: 1.93 1.98 1.90 3/114 9427
/proc/meminfo: memFree=1672344/2055920 swapFree=4180448/4192956
[pid=9399] ppid=9397 vsize=5360 CPUtime=1.48
/proc/9399/stat : 9399 (hydra) S 9397 9399 8635 0 -1 4194304 375 1258 0 0 0 0 146 2 18 0 1 0 1983342947 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9399/statm: 1340 238 196 169 0 51 0
[pid=9407] ppid=9399 vsize=0 CPUtime=7.53
/proc/9407/stat : 9407 (java) Z 9399 9399 8635 0 -1 1036 11510 12747 1 1 583 20 140 10 16 0 2 0 1983343100 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9407/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.01
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 9.30568
CPU time (s): 9.04762
CPU user time (s): 8.71067
CPU system time (s): 0.336948
CPU usage (%): 97.2269
Max. virtual memory (cumulated for all children) (KiB): 870644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.71068
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25902
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10470
involuntary context switches= 11876
runsolver used 0.032994 second user time and 0.054991 second system time
The end