0.00/0.00 c cpHydra_k_10 version 0.0
7.00/7.15 c CASE TO CLASSIFY:
7.00/7.15 c Case: 0
7.00/7.15 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.627000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 11.183000 | c 14 > 13.660200 | c 11 > 6.906890 | c 12 > 11.491700 | 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.00/7.16 c choco : 1801.0
7.00/7.16 c mistral : 1801.0
7.00/7.16 c abscon : 1801.0
7.00/7.16 c
7.00/7.16 c
7.10/7.24 c List of same ones: 10
7.10/7.24 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
7.10/7.24 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.129280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.24 c choco : 11.33
7.10/7.24 c mistral : 0.71
7.10/7.24 c abscon : 1.44378
7.10/7.24 c
7.10/7.24 c
7.10/7.24 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
7.10/7.25 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.829720 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.25 c choco : 2.57
7.10/7.25 c mistral : 0.23
7.10/7.25 c abscon : 1.16082
7.10/7.25 c
7.10/7.25 c
7.10/7.25 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
7.10/7.25 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.26 c choco : 7.04
7.10/7.26 c mistral : 0.39
7.10/7.26 c abscon : 1.11383
7.10/7.26 c
7.10/7.26 c
7.10/7.26 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
7.10/7.26 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.27 c choco : 1801.0
7.10/7.27 c mistral : 3.82
7.10/7.27 c abscon : 2.82057
7.10/7.27 c
7.10/7.27 c
7.10/7.27 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
7.10/7.27 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.413600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.28 c choco : 1801.0
7.10/7.28 c mistral : 20.05
7.10/7.28 c abscon : 4.68729
7.10/7.28 c
7.10/7.28 c
7.10/7.28 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
7.10/7.28 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.546900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.10/7.29 c choco : 1801.0
7.10/7.29 c mistral : 26.38
7.10/7.29 c abscon : 9.93749
7.10/7.29 c
7.10/7.29 c
7.10/7.29 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
7.10/7.29 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 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.18/7.30 c choco : 1801.0
7.18/7.30 c mistral : 1053.11
7.18/7.30 c abscon : 4.93525
7.18/7.30 c
7.18/7.30 c
7.18/7.30 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
7.18/7.30 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.18/7.31 c choco : 2.93
7.18/7.31 c mistral : 1800.03
7.18/7.31 c abscon : 753.112
7.18/7.31 c
7.18/7.31 c
7.18/7.31 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
7.18/7.31 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.18/7.32 c choco : 6.47
7.18/7.32 c mistral : 0.41
7.18/7.32 c abscon : 2.32765
7.18/7.32 c
7.18/7.32 c
7.18/7.32 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
7.18/7.32 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.18/7.33 c choco : 4.54
7.18/7.33 c mistral : 0.22
7.18/7.33 c abscon : 1.44478
7.18/7.33 c
7.18/7.33 c
7.18/7.33 c Length: 10
7.18/7.33 c 0.318151944831397 0.5781241409939551 7.238045972912855 7.422683796080768 8.01196308453802 8.271036100066304 8.973723526725124 13.376410015108686 14.063465463224203 14.380110258294264
7.37/7.52 c
7.37/7.52 c 1.0 0.9818479641422757 0.6701962288439146 0.6643500270491843 0.6463553653540969 0.6387489864375424 0.6189915179262995 0.5185046503498281 0.5056935609682378 0.5
7.37/7.53 c
7.37/7.53 c solver 0
7.37/7.53 c before 0.0 seconds: {} 0
7.37/7.53 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6226
7.37/7.53 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6744
7.37/7.53 c
7.37/7.53 c solver 1
7.37/7.53 c before 0.0 seconds: {} 0
7.37/7.53 c before 18.0 seconds: {0, 1, 2, 3, 8, 9} 4322
7.37/7.53 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5607
7.37/7.53 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6226
7.37/7.53 c
7.37/7.53 c solver 2
7.37/7.53 c before 0.0 seconds: {} 0
7.37/7.53 c before 18.0 seconds: {0, 1, 2, 7, 8, 9} 4176
7.37/7.53 c
7.37/7.53 cTotal time: 102
7.37/7.53 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6744
7.37/7.53 c run mistral for 36.0 seconds {0, 1, 2, 3, 4, 5, 8, 9} 5607
7.37/7.53 c run choco for 18.0 seconds {0, 1, 2, 7, 8, 9} 4176
7.37/7.53 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.37/7.53 c On Instance: HOME/instance-1048711-1215043706.xml
7.37/7.53 c Running for: 756 seconds
8.65/8.84 s SAT
8.65/8.84 v 2 2 1 0 0 2 2 0 1 1 0 2 0 1 1 1 0 1 0 0 0 0 2 2 2 1 2 1 1 1 2 2 0 1 0 1 2 1 0 0 0 2 0 1 2 2 1 0 2 2 1 0 0 2 1 0 2 1 1 1 2 0 2 2 0 2 1 2 2 0 2 0 1 0 1 1 1 1 0 0 1 2 2 1 2 2 1 0 0 0 1 0 0 2 1 2 2 1 0 0 0 0 1 2 2 1 1 0 2 0 2 1 0 1 1 2 2 1 2 0
8.65/8.84 d ASSIGNMENTS 1529
8.65/8.84 d CHECKS 46737
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048711-1215043706/watcher-1048711-1215043706 -o /tmp/evaluation-result-1048711-1215043706/solver-1048711-1215043706 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1048711-1215043706.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.08 2.02 1.95 4/81 25606
/proc/meminfo: memFree=1626504/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=0
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1983344152 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 236 195 169 0 51 0
[pid=25608] ppid=25606 vsize=0 CPUtime=0
/proc/25608/stat : 25608 (hydra) R 25606 25606 24320 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1983344153 0 0 996147200 0 0 0 18446744073709551615 210824129831 0 0 4096 0 0 0 0 17 1 0 0
/proc/25608/statm: 0 0 0 0 0 0 0
[startup+0.013137 s]
/proc/loadavg: 2.08 2.02 1.95 4/81 25606
/proc/meminfo: memFree=1626504/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=0
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983344152 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101145 s]
/proc/loadavg: 2.08 2.02 1.95 4/81 25606
/proc/meminfo: memFree=1626504/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=0
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983344152 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301163 s]
/proc/loadavg: 2.08 2.02 1.95 4/81 25606
/proc/meminfo: memFree=1626504/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=0
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983344152 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701216 s]
/proc/loadavg: 2.08 2.02 1.95 4/81 25606
/proc/meminfo: memFree=1626504/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=0
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983344152 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50131 s]
/proc/loadavg: 2.08 2.02 1.95 4/83 25610
/proc/meminfo: memFree=1624568/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=0
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1983344152 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 236 195 169 0 51 0
[pid=25610] ppid=25606 vsize=5376 CPUtime=1.46
/proc/25610/stat : 25610 (xsolve) R 25606 25606 24320 0 -1 4194304 693 0 0 0 144 2 0 0 25 0 1 0 1983344154 5505024 652 996147200 134512640 135239763 4294956176 18446744073709551615 134543162 0 0 4096 0 0 0 0 17 1 0 0
/proc/25610/statm: 1344 652 413 177 0 247 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10736
[startup+3.10251 s]
/proc/loadavg: 2.08 2.02 1.95 3/91 25622
/proc/meminfo: memFree=1618680/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=1.49
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 375 1290 0 0 0 0 146 3 19 0 1 0 1983344152 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 238 196 169 0 51 0
[pid=25614] ppid=25606 vsize=196984 CPUtime=1.55
/proc/25614/stat : 25614 (java) S 25606 25606 24320 0 -1 0 6450 0 1 0 149 6 0 0 18 0 9 0 1983344305 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 49246 5423 2540 9 0 43829 0
[pid=25614/tid=25615] ppid=25606 vsize=196984 CPUtime=1.17
/proc/25614/task/25615/stat : 25615 (java) R 25606 25606 24320 0 -1 64 2787 0 1 0 115 2 0 0 25 0 9 0 1983344306 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4126439404 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25616] ppid=25606 vsize=196984 CPUtime=0.18
/proc/25614/task/25616/stat : 25616 (java) S 25606 25606 24320 0 -1 64 2329 0 0 0 17 1 0 0 16 0 9 0 1983344307 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25617] ppid=25606 vsize=196984 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25606 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983344307 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25606 vsize=196984 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983344307 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25606 vsize=196984 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25606 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983344309 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25620] ppid=25606 vsize=196984 CPUtime=0.15
/proc/25614/task/25620/stat : 25620 (java) S 25606 25606 24320 0 -1 64 610 0 0 0 15 0 0 0 16 0 9 0 1983344309 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25621] ppid=25606 vsize=196984 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983344309 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25622] ppid=25606 vsize=196984 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983344309 201711616 5423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202344
[startup+6.30189 s]
/proc/loadavg: 2.15 2.04 1.95 3/91 25622
/proc/meminfo: memFree=1605632/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=1.49
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 375 1290 0 0 0 0 146 3 19 0 1 0 1983344152 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 238 196 169 0 51 0
[pid=25614] ppid=25606 vsize=197092 CPUtime=4.73
/proc/25614/stat : 25614 (java) S 25606 25606 24320 0 -1 0 10196 0 1 0 460 13 0 0 18 0 9 0 1983344305 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 49273 8453 2540 9 0 43856 0
[pid=25614/tid=25615] ppid=25606 vsize=197092 CPUtime=3.73
/proc/25614/task/25615/stat : 25615 (java) R 25606 25606 24320 0 -1 64 3583 0 1 0 368 5 0 0 25 0 9 0 1983344306 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4126445328 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25616] ppid=25606 vsize=197092 CPUtime=0.78
/proc/25614/task/25616/stat : 25616 (java) S 25606 25606 24320 0 -1 64 5263 0 0 0 72 6 0 0 16 0 9 0 1983344307 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25617] ppid=25606 vsize=197092 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25606 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983344307 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25606 vsize=197092 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983344307 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25606 vsize=197092 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25606 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1983344309 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25620] ppid=25606 vsize=197092 CPUtime=0.18
/proc/25614/task/25620/stat : 25620 (java) S 25606 25606 24320 0 -1 64 626 0 0 0 18 0 0 0 16 0 9 0 1983344309 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25621] ppid=25606 vsize=197092 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1983344309 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25622] ppid=25606 vsize=197092 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1983344309 201822208 8453 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+7.90208 s]
/proc/loadavg: 2.15 2.04 1.95 4/103 25634
/proc/meminfo: memFree=1593496/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=1.49
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 375 1290 0 0 0 0 146 3 19 0 1 0 1983344152 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 238 196 169 0 51 0
[pid=25614] ppid=25606 vsize=197416 CPUtime=5.92
/proc/25614/stat : 25614 (java) S 25606 25606 24320 0 -1 0 13832 0 1 0 575 17 0 0 18 0 10 0 1983344305 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 49354 9386 2543 9 0 43937 0
[pid=25624] ppid=25614 vsize=5356 CPUtime=0
/proc/25624/stat : 25624 (abscon) S 25614 25606 24320 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983344906 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25624/statm: 1339 237 196 169 0 50 0
[pid=25625] ppid=25624 vsize=654712 CPUtime=0.34
/proc/25625/stat : 25625 (java) S 25624 25606 24320 0 -1 0 6300 0 1 0 30 4 0 0 18 0 9 0 1983344907 670425088 5821 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25625/statm: 163678 5821 1968 9 0 158206 0
[pid=25625/tid=25627] ppid=25624 vsize=654712 CPUtime=0.29
/proc/25625/task/25627/stat : 25627 (java) R 25624 25606 24320 0 -1 64 5473 0 1 0 26 3 0 0 25 0 9 0 1983344908 670425088 5821 996147200 134512640 134550740 4294955808 18446744073709551615 4125979668 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25628] ppid=25624 vsize=654712 CPUtime=0
/proc/25625/task/25628/stat : 25628 (java) S 25624 25606 24320 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 1983344909 670425088 5822 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25629] ppid=25624 vsize=654712 CPUtime=0
/proc/25625/task/25629/stat : 25629 (java) S 25624 25606 24320 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 1983344909 670425088 5822 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25630] ppid=25624 vsize=654712 CPUtime=0
/proc/25625/task/25630/stat : 25630 (java) S 25624 25606 24320 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1983344909 670425088 5822 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25631] ppid=25624 vsize=654712 CPUtime=0
/proc/25625/task/25631/stat : 25631 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983344911 670425088 5823 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25632] ppid=25624 vsize=654712 CPUtime=0.04
/proc/25625/task/25632/stat : 25632 (java) S 25624 25606 24320 0 -1 64 282 0 0 0 4 0 0 0 16 0 9 0 1983344911 670425088 5823 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25633] ppid=25624 vsize=654712 CPUtime=0
/proc/25625/task/25633/stat : 25633 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983344911 670425088 5823 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25634] ppid=25624 vsize=654712 CPUtime=0
/proc/25625/task/25634/stat : 25634 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983344911 670425088 5824 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25626] ppid=25624 vsize=7044 CPUtime=0
/proc/25626/stat : 25626 (translate) S 25624 25606 24320 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983344907 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25626/statm: 1761 213 182 1 0 41 0
[pid=25614/tid=25615] ppid=25606 vsize=197416 CPUtime=4.59
/proc/25614/task/25615/stat : 25615 (java) S 25606 25606 24320 0 -1 64 3852 0 1 0 453 6 0 0 25 0 10 0 1983344306 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25614/tid=25616] ppid=25606 vsize=197416 CPUtime=1.09
/proc/25614/task/25616/stat : 25616 (java) S 25606 25606 24320 0 -1 64 8537 0 0 0 101 8 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25617] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25606 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25606 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25620] ppid=25606 vsize=197416 CPUtime=0.2
/proc/25614/task/25620/stat : 25620 (java) S 25606 25606 24320 0 -1 64 641 0 0 0 20 0 0 0 16 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25621] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25622] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25623] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25623/stat : 25623 (java) S 25606 25606 24320 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983344906 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 869888
[startup+8.30233 s]
/proc/loadavg: 2.15 2.04 1.95 4/103 25634
/proc/meminfo: memFree=1593496/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=1.49
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 375 1290 0 0 0 0 146 3 19 0 1 0 1983344152 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 238 196 169 0 51 0
[pid=25614] ppid=25606 vsize=197416 CPUtime=5.92
/proc/25614/stat : 25614 (java) S 25606 25606 24320 0 -1 0 13832 0 1 0 575 17 0 0 18 0 10 0 1983344305 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 49354 9386 2543 9 0 43937 0
[pid=25624] ppid=25614 vsize=5356 CPUtime=0
/proc/25624/stat : 25624 (abscon) S 25614 25606 24320 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983344906 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25624/statm: 1339 237 196 169 0 50 0
[pid=25625] ppid=25624 vsize=655324 CPUtime=0.75
/proc/25625/stat : 25625 (java) S 25624 25606 24320 0 -1 0 9484 0 1 0 68 7 0 0 18 0 9 0 1983344907 671051776 8989 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25625/statm: 163831 8989 1995 9 0 158359 0
[pid=25625/tid=25627] ppid=25624 vsize=655324 CPUtime=0.59
/proc/25625/task/25627/stat : 25627 (java) R 25624 25606 24320 0 -1 64 8447 0 1 0 53 6 0 0 25 0 9 0 1983344908 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 102715030 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25628] ppid=25624 vsize=655324 CPUtime=0
/proc/25625/task/25628/stat : 25628 (java) S 25624 25606 24320 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 1983344909 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25629] ppid=25624 vsize=655324 CPUtime=0
/proc/25625/task/25629/stat : 25629 (java) S 25624 25606 24320 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 1983344909 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25630] ppid=25624 vsize=655324 CPUtime=0
/proc/25625/task/25630/stat : 25630 (java) S 25624 25606 24320 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1983344909 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25631] ppid=25624 vsize=655324 CPUtime=0
/proc/25625/task/25631/stat : 25631 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983344911 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25632] ppid=25624 vsize=655324 CPUtime=0.14
/proc/25625/task/25632/stat : 25632 (java) S 25624 25606 24320 0 -1 64 493 0 0 0 14 0 0 0 16 0 9 0 1983344911 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25633] ppid=25624 vsize=655324 CPUtime=0
/proc/25625/task/25633/stat : 25633 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983344911 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25634] ppid=25624 vsize=655324 CPUtime=0
/proc/25625/task/25634/stat : 25634 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983344911 671051776 8990 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25626] ppid=25624 vsize=7044 CPUtime=0
/proc/25626/stat : 25626 (translate) S 25624 25606 24320 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983344907 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25626/statm: 1761 213 182 1 0 41 0
[pid=25614/tid=25615] ppid=25606 vsize=197416 CPUtime=4.59
/proc/25614/task/25615/stat : 25615 (java) S 25606 25606 24320 0 -1 64 3852 0 1 0 453 6 0 0 25 0 10 0 1983344306 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25614/tid=25616] ppid=25606 vsize=197416 CPUtime=1.09
/proc/25614/task/25616/stat : 25616 (java) S 25606 25606 24320 0 -1 64 8537 0 0 0 101 8 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25617] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25606 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25606 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25620] ppid=25606 vsize=197416 CPUtime=0.2
/proc/25614/task/25620/stat : 25620 (java) S 25606 25606 24320 0 -1 64 641 0 0 0 20 0 0 0 16 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25621] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25622] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25623] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25623/stat : 25623 (java) S 25606 25606 24320 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983344906 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 870500
[startup+8.70218 s]
/proc/loadavg: 2.22 2.05 1.96 4/103 25634
/proc/meminfo: memFree=1562072/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=1.49
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 375 1290 0 0 0 0 146 3 19 0 1 0 1983344152 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 238 196 169 0 51 0
[pid=25614] ppid=25606 vsize=197416 CPUtime=5.92
/proc/25614/stat : 25614 (java) S 25606 25606 24320 0 -1 0 13836 0 1 0 575 17 0 0 18 0 10 0 1983344305 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 49354 9386 2543 9 0 43937 0
[pid=25624] ppid=25614 vsize=5356 CPUtime=0
/proc/25624/stat : 25624 (abscon) S 25614 25606 24320 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983344906 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25624/statm: 1339 237 196 169 0 50 0
[pid=25625] ppid=25624 vsize=655456 CPUtime=1.15
/proc/25625/stat : 25625 (java) S 25624 25606 24320 0 -1 0 12238 0 1 0 107 8 0 0 18 0 9 0 1983344907 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25625/statm: 163864 11557 2611 9 0 158392 0
[pid=25625/tid=25627] ppid=25624 vsize=655456 CPUtime=0.85
/proc/25625/task/25627/stat : 25627 (java) R 25624 25606 24320 0 -1 64 9839 0 1 0 79 6 0 0 25 0 9 0 1983344908 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4126939583 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25628] ppid=25624 vsize=655456 CPUtime=0.04
/proc/25625/task/25628/stat : 25628 (java) S 25624 25606 24320 0 -1 64 1307 0 0 0 4 0 0 0 16 0 9 0 1983344909 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25629] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25629/stat : 25629 (java) S 25624 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983344909 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25630] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25630/stat : 25630 (java) S 25624 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983344909 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25631] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25631/stat : 25631 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983344911 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25632] ppid=25624 vsize=655456 CPUtime=0.22
/proc/25625/task/25632/stat : 25632 (java) S 25624 25606 24320 0 -1 64 547 0 0 0 22 0 0 0 15 0 9 0 1983344911 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25633] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25633/stat : 25633 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983344911 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25634] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25634/stat : 25634 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983344911 671186944 11557 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25626] ppid=25624 vsize=7044 CPUtime=0
/proc/25626/stat : 25626 (translate) S 25624 25606 24320 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983344907 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25626/statm: 1761 213 182 1 0 41 0
[pid=25614/tid=25615] ppid=25606 vsize=197416 CPUtime=4.59
/proc/25614/task/25615/stat : 25615 (java) S 25606 25606 24320 0 -1 64 3852 0 1 0 453 6 0 0 25 0 10 0 1983344306 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25614/tid=25616] ppid=25606 vsize=197416 CPUtime=1.09
/proc/25614/task/25616/stat : 25616 (java) S 25606 25606 24320 0 -1 64 8541 0 0 0 101 8 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25617] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25606 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25606 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25620] ppid=25606 vsize=197416 CPUtime=0.2
/proc/25614/task/25620/stat : 25620 (java) S 25606 25606 24320 0 -1 64 641 0 0 0 20 0 0 0 16 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25621] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25622] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25623] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25623/stat : 25623 (java) S 25606 25606 24320 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983344906 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 870632
[startup+8.80719 s]
/proc/loadavg: 2.22 2.05 1.96 4/103 25634
/proc/meminfo: memFree=1562072/2055920 swapFree=4180424/4192956
[pid=25606] ppid=25604 vsize=5360 CPUtime=1.49
/proc/25606/stat : 25606 (hydra) S 25604 25606 24320 0 -1 4194304 375 1290 0 0 0 0 146 3 19 0 1 0 1983344152 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25606/statm: 1340 238 196 169 0 51 0
[pid=25614] ppid=25606 vsize=197416 CPUtime=5.92
/proc/25614/stat : 25614 (java) S 25606 25606 24320 0 -1 0 13836 0 1 0 575 17 0 0 18 0 10 0 1983344305 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25614/statm: 49354 9386 2543 9 0 43937 0
[pid=25624] ppid=25614 vsize=5356 CPUtime=0
/proc/25624/stat : 25624 (abscon) S 25614 25606 24320 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1983344906 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25624/statm: 1339 237 196 169 0 50 0
[pid=25625] ppid=25624 vsize=655456 CPUtime=1.24
/proc/25625/stat : 25625 (java) S 25624 25606 24320 0 -1 0 12246 0 1 0 116 8 0 0 18 0 9 0 1983344907 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25625/statm: 163864 11565 2611 9 0 158392 0
[pid=25625/tid=25627] ppid=25624 vsize=655456 CPUtime=0.94
/proc/25625/task/25627/stat : 25627 (java) R 25624 25606 24320 0 -1 64 9842 0 1 0 88 6 0 0 25 0 9 0 1983344908 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4127032607 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25628] ppid=25624 vsize=655456 CPUtime=0.04
/proc/25625/task/25628/stat : 25628 (java) S 25624 25606 24320 0 -1 64 1307 0 0 0 4 0 0 0 16 0 9 0 1983344909 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25629] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25629/stat : 25629 (java) S 25624 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1983344909 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25630] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25630/stat : 25630 (java) S 25624 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1983344909 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25631] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25631/stat : 25631 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1983344911 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25632] ppid=25624 vsize=655456 CPUtime=0.24
/proc/25625/task/25632/stat : 25632 (java) S 25624 25606 24320 0 -1 64 552 0 0 0 24 0 0 0 15 0 9 0 1983344911 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25633] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25633/stat : 25633 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1983344911 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25625/tid=25634] ppid=25624 vsize=655456 CPUtime=0
/proc/25625/task/25634/stat : 25634 (java) S 25624 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983344911 671186944 11565 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25626] ppid=25624 vsize=7044 CPUtime=0
/proc/25626/stat : 25626 (translate) S 25624 25606 24320 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1983344907 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25626/statm: 1761 213 182 1 0 41 0
[pid=25614/tid=25615] ppid=25606 vsize=197416 CPUtime=4.59
/proc/25614/task/25615/stat : 25615 (java) S 25606 25606 24320 0 -1 64 3852 0 1 0 453 6 0 0 25 0 10 0 1983344306 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25614/tid=25616] ppid=25606 vsize=197416 CPUtime=1.09
/proc/25614/task/25616/stat : 25616 (java) S 25606 25606 24320 0 -1 64 8541 0 0 0 101 8 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25617] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25617/stat : 25617 (java) S 25606 25606 24320 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25618] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25618/stat : 25618 (java) S 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344307 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25619] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25619/stat : 25619 (java) S 25606 25606 24320 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25620] ppid=25606 vsize=197416 CPUtime=0.2
/proc/25614/task/25620/stat : 25620 (java) S 25606 25606 24320 0 -1 64 641 0 0 0 20 0 0 0 16 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25621] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25621/stat : 25621 (java) S 25606 25606 24320 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25622] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25622/stat : 25622 (java) R 25606 25606 24320 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1983344309 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25614/tid=25623] ppid=25606 vsize=197416 CPUtime=0
/proc/25614/task/25623/stat : 25623 (java) S 25606 25606 24320 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1983344906 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 870632
Child status: 0
Real time (s): 8.86596
CPU time (s): 8.72667
CPU user time (s): 8.41572
CPU system time (s): 0.310952
CPU usage (%): 98.429
Max. virtual memory (cumulated for all children) (KiB): 870632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.41572
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28618
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= 10901
involuntary context switches= 12323
runsolver used 0.030995 second user time and 0.06499 second system time
The end