0.00/0.00 c cpHydra_k_10 version 0.0
17.86/18.20 c CASE TO CLASSIFY:
17.86/18.20 c Case: 0
17.96/18.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 7.515700 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 1.037850 | c 14 > 3.584960 | c 11 > 4.523560 | c 12 > 3.705260 | 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 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | 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.108520 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c
17.96/18.21 c choco : 1801.0
17.96/18.21 c mistral : 1801.0
17.96/18.21 c abscon : 1801.0
17.96/18.21 c
17.96/18.21 c
18.15/18.50 c List of same ones: 10
18.15/18.50 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-14_ext.xml
18.15/18.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.678600 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 2.755340 | c 14 > 3.321930 | c 11 > 7.266790 | c 12 > 2.985880 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.643860 | 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.967200 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.50 c choco : 4.62
18.25/18.50 c mistral : 0.79
18.25/18.50 c abscon : 3.74
18.25/18.50 c
18.25/18.50 c
18.25/18.50 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-13_ext.xml
18.25/18.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.561300 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.487670 | c 14 > 2.807350 | c 11 > 7.159870 | c 12 > 2.679330 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | 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.860300 | c 31 > -1.000000 | c 4 > 7.159870 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.51 c choco : 3.73
18.25/18.51 c mistral : 0.39
18.25/18.51 c abscon : 3.71
18.25/18.51 c
18.25/18.51 c
18.25/18.51 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-13_ext.xml
18.25/18.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.853310 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.348580 | c 14 > 3.584960 | c 11 > 7.400880 | c 12 > 2.157540 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.700440 | 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 > 12.101300 | c 31 > -1.000000 | c 4 > 7.400880 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.52 c choco : 1801.0
18.25/18.52 c mistral : 1801.0
18.25/18.52 c abscon : 1174.08
18.25/18.52 c
18.25/18.52 c
18.25/18.52 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-13_ext.xml
18.25/18.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.295200 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.297100 | c 14 > 3.807350 | c 11 > 7.022370 | c 12 > 3.478470 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.523560 | 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.722800 | c 31 > -1.000000 | c 4 > 7.022370 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.53 c choco : 4.84
18.25/18.53 c mistral : 0.74
18.25/18.53 c abscon : 4.34
18.25/18.53 c
18.25/18.53 c
18.25/18.53 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-14_ext.xml
18.25/18.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.566050 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.395750 | c 14 > 0.000000 | c 11 > 7.129280 | c 12 > 1.618910 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | 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.829700 | c 31 > -1.000000 | c 4 > 7.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.54 c choco : 3.12
18.25/18.54 c mistral : 0.14
18.25/18.54 c abscon : 3.47
18.25/18.54 c
18.25/18.54 c
18.25/18.54 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-13_ext.xml
18.25/18.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.821000 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.871070 | c 14 > 3.000000 | c 11 > 7.285400 | c 12 > 2.802060 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.643860 | 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.985800 | c 31 > -1.000000 | c 4 > 7.285400 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.55 c choco : 5.15
18.25/18.55 c mistral : 0.67
18.25/18.55 c abscon : 4.23
18.25/18.55 c
18.25/18.55 c
18.25/18.55 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml
18.25/18.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.544000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.161690 | c 14 > 6.894820 | c 11 > 4.321930 | c 12 > 7.027910 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 0.000000 | c 10 > 2.321930 | 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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.56 c choco : 17.53
18.25/18.56 c mistral : 0.372942
18.25/18.56 c abscon : 3.39048
18.25/18.56 c
18.25/18.56 c
18.25/18.56 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg13-13_ext.xml
18.25/18.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.030700 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 1.890140 | c 14 > 1.584960 | c 11 > 7.400880 | c 12 > 2.080920 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.700440 | 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 > 12.101300 | c 31 > -1.000000 | c 4 > 7.400880 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.57 c choco : 3.1
18.25/18.57 c mistral : 0.32
18.25/18.57 c abscon : 3.73
18.25/18.57 c
18.25/18.57 c
18.25/18.57 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-15_ext.xml
18.25/18.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.599000 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > -0.059276 | c 14 > 4.087460 | c 11 > 7.491850 | c 12 > 1.432960 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.754890 | 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 > 12.192300 | c 31 > -1.000000 | c 4 > 7.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.58 c choco : 1801.0
18.25/18.58 c mistral : 931.64
18.25/18.58 c abscon : 754.37
18.25/18.58 c
18.25/18.58 c
18.25/18.58 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-12_ext.xml
18.25/18.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.905400 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.026360 | c 14 > 3.459430 | c 11 > 7.169930 | c 12 > 3.183220 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | 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.870400 | c 31 > -1.000000 | c 4 > 7.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
18.25/18.59 c choco : 3.76
18.25/18.59 c mistral : 0.36
18.25/18.59 c abscon : 3.19
18.25/18.59 c
18.25/18.59 c
18.25/18.59 c Length: 10
18.25/18.59 c 9.327522894370189 9.329161443205921 9.445253511261622 9.510260438847087 9.584541107909132 9.60880441735599 9.633298686213358 9.660488948717864 9.695513487076225 9.74440779648512
18.25/18.59 c
18.25/18.59 c 1.0 0.9960849294537492 0.7797845129706532 0.6952456574707082 0.6186125162968513 0.597113936057269 0.5768750197711765 0.5559570185541537 0.5311478124438377 0.5
18.25/18.59 c
18.25/18.59 c solver 0
18.25/18.59 c before 0.0 seconds: {} 0
18.25/18.59 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9} 5539
18.25/18.59 c before 756.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6071
18.25/18.59 c before 1188.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6850
18.25/18.59 c
18.25/18.59 c solver 1
18.25/18.59 c before 0.0 seconds: {} 0
18.25/18.59 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9} 5539
18.25/18.59 c before 936.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6071
18.25/18.59 c
18.25/18.59 c solver 2
18.25/18.60 c before 0.0 seconds: {} 0
18.25/18.60 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9} 5539
18.25/18.60 c
18.25/18.60 cTotal time: 119
18.25/18.60 c run abscon for 1188.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6850
18.25/18.60 c run mistral for 18.0 seconds {0, 1, 3, 4, 5, 6, 7, 9} 5539
18.25/18.60 c run choco for 18.0 seconds {0, 1, 3, 4, 5, 6, 7, 9} 5539
18.32/18.60 c Starting solver: HOME/cpHydra_k_10/solver/abscon
18.32/18.60 c On Instance: HOME/instance-1094729-1215252756.xml
18.32/18.60 c Running for: 1188 seconds
174.92/175.38 s UNSATISFIABLE
174.92/175.38 d ASSIGNMENTS 82832
174.92/175.38 d CHECKS 334
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094729-1215252756/watcher-1094729-1215252756 -o /tmp/evaluation-result-1094729-1215252756/solver-1094729-1215252756 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1094729-1215252756.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
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 18575
/proc/meminfo: memFree=1304376/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=18572 CPUtime=0
/proc/18575/stat : 18575 (runsolver) R 18573 18458 18458 0 -1 4194368 5 0 0 0 0 0 0 0 21 0 1 0 2004245799 19017728 290 996147200 4194304 4296836 548682068480 18446744073709551615 213112122148 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18575/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.09924 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 18575
/proc/meminfo: memFree=1304376/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=0
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2004245799 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102235 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 18575
/proc/meminfo: memFree=1304376/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=0
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2004245799 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301276 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 18575
/proc/meminfo: memFree=1304376/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=0
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2004245799 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701344 s]
/proc/loadavg: 2.00 2.00 2.00 3/72 18575
/proc/meminfo: memFree=1304376/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=0
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2004245799 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50148 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18579
/proc/meminfo: memFree=1286568/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=0
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2004245799 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 236 195 169 0 51 0
[pid=18579] ppid=18575 vsize=30772 CPUtime=1.47
/proc/18579/stat : 18579 (xsolve) R 18575 18575 18458 0 -1 4194304 6933 0 0 0 142 5 0 0 25 0 1 0 2004245800 31510528 6892 996147200 134512640 135239763 4294956176 18446744073709551615 134524165 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 7693 6892 355 177 0 6596 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36132
[startup+3.10175 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18579
/proc/meminfo: memFree=1267240/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=0
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2004245799 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 236 195 169 0 51 0
[pid=18579] ppid=18575 vsize=58276 CPUtime=3.03
/proc/18579/stat : 18579 (xsolve) R 18575 18575 18458 0 -1 4194304 13787 0 0 0 293 10 0 0 25 0 1 0 2004245800 59674624 13746 996147200 134512640 135239763 4294956176 18446744073709551615 134524305 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 14569 13746 355 177 0 13472 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 63636
[startup+6.3013 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18579
/proc/meminfo: memFree=1210984/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=0
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 2004245799 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 236 195 169 0 51 0
[pid=18579] ppid=18575 vsize=113488 CPUtime=6.19
/proc/18579/stat : 18579 (xsolve) R 18575 18575 18458 0 -1 4194304 27650 0 0 0 597 22 0 0 25 0 1 0 2004245800 116211712 27609 996147200 134512640 135239763 4294956176 18446744073709551615 134573960 0 0 4096 0 0 0 0 17 1 0 0
/proc/18579/statm: 28372 27609 355 177 0 27275 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 118848
[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 18579
/proc/meminfo: memFree=1082600/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=12
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 375 92688 0 0 0 0 1138 62 18 0 1 0 2004245799 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 5360
[startup+25.5036 s]
/proc/loadavg: 2.08 2.02 2.01 4/94 18603
/proc/meminfo: memFree=1039304/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=12
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 375 92688 0 0 0 0 1138 62 18 0 1 0 2004245799 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 238 196 169 0 51 0
[pid=18583] ppid=18575 vsize=197436 CPUtime=6.33
/proc/18583/stat : 18583 (java) S 18575 18575 18458 0 -1 0 13988 0 1 0 613 20 0 0 18 0 10 0 2004247015 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 49359 9506 2543 9 0 43942 0
[pid=18593] ppid=18583 vsize=5356 CPUtime=0
/proc/18593/stat : 18593 (abscon) S 18583 18575 18458 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2004247660 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18593/statm: 1339 237 196 169 0 50 0
[pid=18594] ppid=18593 vsize=654988 CPUtime=6.87
/proc/18594/stat : 18594 (java) S 18593 18575 18458 0 -1 0 67749 0 1 0 646 41 0 0 18 0 9 0 2004247661 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18594/statm: 163747 65057 2608 9 0 158275 0
[pid=18594/tid=18596] ppid=18593 vsize=654988 CPUtime=4.93
/proc/18594/task/18596/stat : 18596 (java) R 18593 18575 18458 0 -1 64 12374 0 1 0 481 12 0 0 25 0 9 0 2004247661 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4126398582 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18597] ppid=18593 vsize=654988 CPUtime=1.83
/proc/18594/task/18597/stat : 18597 (java) S 18593 18575 18458 0 -1 64 54442 0 0 0 156 27 0 0 17 0 9 0 2004247663 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18598] ppid=18593 vsize=654988 CPUtime=0
/proc/18594/task/18598/stat : 18598 (java) S 18593 18575 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004247663 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18599] ppid=18593 vsize=654988 CPUtime=0
/proc/18594/task/18599/stat : 18599 (java) S 18593 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004247663 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18600] ppid=18593 vsize=654988 CPUtime=0
/proc/18594/task/18600/stat : 18600 (java) S 18593 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004247665 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18601] ppid=18593 vsize=654988 CPUtime=0.08
/proc/18594/task/18601/stat : 18601 (java) S 18593 18575 18458 0 -1 64 387 0 0 0 8 0 0 0 16 0 9 0 2004247665 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18602] ppid=18593 vsize=654988 CPUtime=0
/proc/18594/task/18602/stat : 18602 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004247665 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18603] ppid=18593 vsize=654988 CPUtime=0
/proc/18594/task/18603/stat : 18603 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004247665 670707712 65057 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18595] ppid=18593 vsize=7044 CPUtime=0
/proc/18595/stat : 18595 (translate) S 18593 18575 18458 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004247661 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213112291410 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18595/statm: 1761 213 182 1 0 41 0
[pid=18583/tid=18584] ppid=18575 vsize=197436 CPUtime=4.95
/proc/18583/task/18584/stat : 18584 (java) S 18575 18575 18458 0 -1 64 3987 0 1 0 489 6 0 0 25 0 10 0 2004247016 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18583/tid=18585] ppid=18575 vsize=197436 CPUtime=1.15
/proc/18583/task/18585/stat : 18585 (java) S 18575 18575 18458 0 -1 64 8554 0 0 0 103 12 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18586/stat : 18586 (java) S 18575 18575 18458 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18587] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18587/stat : 18587 (java) S 18575 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18588] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18588/stat : 18588 (java) S 18575 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18589] ppid=18575 vsize=197436 CPUtime=0.2
/proc/18583/task/18589/stat : 18589 (java) S 18575 18575 18458 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18590] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18590/stat : 18590 (java) S 18575 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18591] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18591/stat : 18591 (java) S 18575 18575 18458 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18592] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18592/stat : 18592 (java) S 18575 18575 18458 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2004247660 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 870184
[startup+51.1029 s]
/proc/loadavg: 2.19 2.05 2.01 3/94 18603
/proc/meminfo: memFree=721992/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=12
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 375 92688 0 0 0 0 1138 62 18 0 1 0 2004245799 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 238 196 169 0 51 0
[pid=18583] ppid=18575 vsize=197436 CPUtime=6.33
/proc/18583/stat : 18583 (java) S 18575 18575 18458 0 -1 0 13988 0 1 0 613 20 0 0 18 0 10 0 2004247015 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 49359 9506 2543 9 0 43942 0
[pid=18593] ppid=18583 vsize=5356 CPUtime=0
/proc/18593/stat : 18593 (abscon) S 18583 18575 18458 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2004247660 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18593/statm: 1339 237 196 169 0 50 0
[pid=18594] ppid=18593 vsize=654892 CPUtime=32.45
/proc/18594/stat : 18594 (java) S 18593 18575 18458 0 -1 0 164385 0 1 0 3149 96 0 0 18 0 9 0 2004247661 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18594/statm: 163723 140724 2614 9 0 158251 0
[pid=18594/tid=18596] ppid=18593 vsize=654892 CPUtime=20.01
/proc/18594/task/18596/stat : 18596 (java) R 18593 18575 18458 0 -1 64 12533 0 1 0 1982 19 0 0 25 0 9 0 2004247661 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4126795391 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18597] ppid=18593 vsize=654892 CPUtime=12.23
/proc/18594/task/18597/stat : 18597 (java) S 18593 18575 18458 0 -1 64 150851 0 0 0 1148 75 0 0 16 0 9 0 2004247663 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18598] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18598/stat : 18598 (java) S 18593 18575 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004247663 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18599] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18599/stat : 18599 (java) S 18593 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004247663 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18600] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18600/stat : 18600 (java) S 18593 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004247665 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18601] ppid=18593 vsize=654892 CPUtime=0.19
/proc/18594/task/18601/stat : 18601 (java) S 18593 18575 18458 0 -1 64 455 0 0 0 19 0 0 0 15 0 9 0 2004247665 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18602] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18602/stat : 18602 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004247665 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18603] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18603/stat : 18603 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004247665 670609408 140724 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18595] ppid=18593 vsize=7044 CPUtime=0
/proc/18595/stat : 18595 (translate) S 18593 18575 18458 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004247661 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213112291410 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18595/statm: 1761 213 182 1 0 41 0
[pid=18583/tid=18584] ppid=18575 vsize=197436 CPUtime=4.95
/proc/18583/task/18584/stat : 18584 (java) S 18575 18575 18458 0 -1 64 3987 0 1 0 489 6 0 0 25 0 10 0 2004247016 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18583/tid=18585] ppid=18575 vsize=197436 CPUtime=1.15
/proc/18583/task/18585/stat : 18585 (java) S 18575 18575 18458 0 -1 64 8554 0 0 0 103 12 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18586/stat : 18586 (java) S 18575 18575 18458 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18587] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18587/stat : 18587 (java) S 18575 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18588] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18588/stat : 18588 (java) S 18575 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=18594/tid=18598] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18598/stat : 18598 (java) S 18593 18575 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004247663 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18599] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18599/stat : 18599 (java) S 18593 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004247663 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18600] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18600/stat : 18600 (java) S 18593 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18601] ppid=18593 vsize=654892 CPUtime=0.22
/proc/18594/task/18601/stat : 18601 (java) S 18593 18575 18458 0 -1 64 475 0 0 0 22 0 0 0 16 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18602] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18602/stat : 18602 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18603] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18603/stat : 18603 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18595] ppid=18593 vsize=7044 CPUtime=0
/proc/18595/stat : 18595 (translate) S 18593 18575 18458 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004247661 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213112291410 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18595/statm: 1761 213 182 1 0 41 0
[pid=18583/tid=18584] ppid=18575 vsize=197436 CPUtime=4.95
/proc/18583/task/18584/stat : 18584 (java) S 18575 18575 18458 0 -1 64 3987 0 1 0 489 6 0 0 25 0 10 0 2004247016 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18583/tid=18585] ppid=18575 vsize=197436 CPUtime=1.15
/proc/18583/task/18585/stat : 18585 (java) S 18575 18575 18458 0 -1 64 8554 0 0 0 103 12 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18586/stat : 18586 (java) S 18575 18575 18458 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18587] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18587/stat : 18587 (java) S 18575 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18588] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18588/stat : 18588 (java) S 18575 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18589] ppid=18575 vsize=197436 CPUtime=0.2
/proc/18583/task/18589/stat : 18589 (java) S 18575 18575 18458 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18590] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18590/stat : 18590 (java) S 18575 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18591] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18591/stat : 18591 (java) S 18575 18575 18458 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18592] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18592/stat : 18592 (java) S 18575 18575 18458 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2004247660 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 173.93
Current children cumulated vsize (KiB) 870088
[startup+175.103 s]
/proc/loadavg: 2.11 2.06 2.02 4/94 18603
/proc/meminfo: memFree=721480/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=12
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 375 92688 0 0 0 0 1138 62 18 0 1 0 2004245799 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 238 196 169 0 51 0
[pid=18583] ppid=18575 vsize=197436 CPUtime=6.33
/proc/18583/stat : 18583 (java) S 18575 18575 18458 0 -1 0 13988 0 1 0 613 20 0 0 18 0 10 0 2004247015 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 49359 9506 2543 9 0 43942 0
[pid=18593] ppid=18583 vsize=5356 CPUtime=0
/proc/18593/stat : 18593 (abscon) S 18583 18575 18458 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2004247660 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18593/statm: 1339 237 196 169 0 50 0
[pid=18594] ppid=18593 vsize=654892 CPUtime=156.4
/proc/18594/stat : 18594 (java) S 18593 18575 18458 0 -1 0 164410 0 1 0 15544 96 0 0 18 0 9 0 2004247661 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18594/statm: 163723 140740 2614 9 0 158251 0
[pid=18594/tid=18596] ppid=18593 vsize=654892 CPUtime=143.92
/proc/18594/task/18596/stat : 18596 (java) R 18593 18575 18458 0 -1 64 12538 0 1 0 14373 19 0 0 25 0 9 0 2004247661 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4126795339 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18597] ppid=18593 vsize=654892 CPUtime=12.23
/proc/18594/task/18597/stat : 18597 (java) S 18593 18575 18458 0 -1 64 150851 0 0 0 1148 75 0 0 16 0 9 0 2004247663 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18598] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18598/stat : 18598 (java) S 18593 18575 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004247663 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18599] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18599/stat : 18599 (java) S 18593 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004247663 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18600] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18600/stat : 18600 (java) S 18593 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18601] ppid=18593 vsize=654892 CPUtime=0.22
/proc/18594/task/18601/stat : 18601 (java) S 18593 18575 18458 0 -1 64 475 0 0 0 22 0 0 0 16 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18602] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18602/stat : 18602 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18603] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18603/stat : 18603 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004247665 670609408 140740 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18595] ppid=18593 vsize=7044 CPUtime=0
/proc/18595/stat : 18595 (translate) S 18593 18575 18458 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004247661 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 213112291410 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18595/statm: 1761 213 182 1 0 41 0
[pid=18583/tid=18584] ppid=18575 vsize=197436 CPUtime=4.95
/proc/18583/task/18584/stat : 18584 (java) S 18575 18575 18458 0 -1 64 3987 0 1 0 489 6 0 0 25 0 10 0 2004247016 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18583/tid=18585] ppid=18575 vsize=197436 CPUtime=1.15
/proc/18583/task/18585/stat : 18585 (java) S 18575 18575 18458 0 -1 64 8554 0 0 0 103 12 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18586/stat : 18586 (java) S 18575 18575 18458 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18587] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18587/stat : 18587 (java) S 18575 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18588] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18588/stat : 18588 (java) S 18575 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18589] ppid=18575 vsize=197436 CPUtime=0.2
/proc/18583/task/18589/stat : 18589 (java) S 18575 18575 18458 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18590] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18590/stat : 18590 (java) S 18575 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18591] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18591/stat : 18591 (java) S 18575 18575 18458 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18592] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18592/stat : 18592 (java) S 18575 18575 18458 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2004247660 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.73
Current children cumulated vsize (KiB) 870088
[startup+175.303 s]
/proc/loadavg: 2.11 2.06 2.02 4/94 18603
/proc/meminfo: memFree=721480/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=12
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 375 92688 0 0 0 0 1138 62 18 0 1 0 2004245799 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 238 196 169 0 51 0
[pid=18583] ppid=18575 vsize=197436 CPUtime=6.33
/proc/18583/stat : 18583 (java) S 18575 18575 18458 0 -1 0 13991 0 1 0 613 20 0 0 18 0 10 0 2004247015 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 49359 9506 2543 9 0 43942 0
[pid=18593] ppid=18583 vsize=5356 CPUtime=0
/proc/18593/stat : 18593 (abscon) S 18583 18575 18458 0 -1 4194304 302 288 0 0 0 0 0 0 16 0 1 0 2004247660 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18593/statm: 1339 237 196 169 0 50 0
[pid=18594] ppid=18593 vsize=654892 CPUtime=156.59
/proc/18594/stat : 18594 (java) S 18593 18575 18458 0 -1 0 164414 0 1 0 15562 97 0 0 18 0 9 0 2004247661 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18594/statm: 163723 140743 2614 9 0 158251 0
[pid=18594/tid=18596] ppid=18593 vsize=654892 CPUtime=144.1
/proc/18594/task/18596/stat : 18596 (java) S 18593 18575 18458 0 -1 64 12541 0 1 0 14391 19 0 0 25 0 9 0 2004247661 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18597] ppid=18593 vsize=654892 CPUtime=12.23
/proc/18594/task/18597/stat : 18597 (java) S 18593 18575 18458 0 -1 64 150851 0 0 0 1148 75 0 0 16 0 9 0 2004247663 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18598] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18598/stat : 18598 (java) S 18593 18575 18458 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004247663 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18599] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18599/stat : 18599 (java) S 18593 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004247663 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18600] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18600/stat : 18600 (java) S 18593 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004247665 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18601] ppid=18593 vsize=654892 CPUtime=0.22
/proc/18594/task/18601/stat : 18601 (java) S 18593 18575 18458 0 -1 64 476 0 0 0 22 0 0 0 16 0 9 0 2004247665 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18602] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18602/stat : 18602 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004247665 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18594/tid=18603] ppid=18593 vsize=654892 CPUtime=0
/proc/18594/task/18603/stat : 18603 (java) S 18593 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004247665 670609408 140743 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18583/tid=18584] ppid=18575 vsize=197436 CPUtime=4.95
/proc/18583/task/18584/stat : 18584 (java) S 18575 18575 18458 0 -1 64 3990 0 1 0 489 6 0 0 16 0 10 0 2004247016 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=18583/tid=18585] ppid=18575 vsize=197436 CPUtime=1.15
/proc/18583/task/18585/stat : 18585 (java) S 18575 18575 18458 0 -1 64 8554 0 0 0 103 12 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18586] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18586/stat : 18586 (java) S 18575 18575 18458 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18587] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18587/stat : 18587 (java) S 18575 18575 18458 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2004247018 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18588] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18588/stat : 18588 (java) S 18575 18575 18458 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18589] ppid=18575 vsize=197436 CPUtime=0.2
/proc/18583/task/18589/stat : 18589 (java) S 18575 18575 18458 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18590] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18590/stat : 18590 (java) S 18575 18575 18458 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18591] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18591/stat : 18591 (java) S 18575 18575 18458 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 2004247020 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18592] ppid=18575 vsize=197436 CPUtime=0
/proc/18583/task/18592/stat : 18592 (java) S 18575 18575 18458 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 2004247660 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.92
Current children cumulated vsize (KiB) 863044
[startup+175.402 s]
/proc/loadavg: 2.11 2.06 2.02 4/94 18603
/proc/meminfo: memFree=721480/2055920 swapFree=4180444/4192956
[pid=18575] ppid=18573 vsize=5360 CPUtime=12
/proc/18575/stat : 18575 (hydra) S 18573 18575 18458 0 -1 4194304 375 92688 0 0 0 0 1138 62 18 0 1 0 2004245799 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18575/statm: 1340 238 196 169 0 51 0
[pid=18583] ppid=18575 vsize=197436 CPUtime=163
/proc/18583/stat : 18583 (java) S 18575 18575 18458 0 -1 0 14057 165024 1 1 613 20 15562 105 18 0 9 0 2004247015 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18583/statm: 49359 9508 2544 9 0 43942 0
[pid=18583/tid=18584] ppid=18575 vsize=197436 CPUtime=161.62
/proc/18583/task/18584/stat : 18584 (java) S 18575 18575 18458 0 -1 64 4037 165024 1 1 489 6 15562 105 16 0 9 0 2004247016 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18583/tid=18585] ppid=18575 vsize=197436 CPUtime=157.82
/proc/18583/task/18585/stat : 18585 (java) S 18575 18575 18458 0 -1 64 8564 165024 0 1 103 12 15562 105 16 0 9 0 2004247018 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18583/tid=18586] ppid=18575 vsize=197436 CPUtime=156.67
/proc/18583/task/18586/stat : 18586 (java) S 18575 18575 18458 0 -1 64 11 165024 0 1 0 0 15562 105 16 0 9 0 2004247018 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18587] ppid=18575 vsize=197436 CPUtime=156.67
/proc/18583/task/18587/stat : 18587 (java) S 18575 18575 18458 0 -1 64 5 165024 0 1 0 0 15562 105 15 0 9 0 2004247018 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18588] ppid=18575 vsize=197436 CPUtime=156.67
/proc/18583/task/18588/stat : 18588 (java) S 18575 18575 18458 0 -1 64 1 165024 0 1 0 0 15562 105 18 0 9 0 2004247020 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18589] ppid=18575 vsize=197436 CPUtime=156.87
/proc/18583/task/18589/stat : 18589 (java) S 18575 18575 18458 0 -1 64 644 165024 0 1 20 0 15562 105 16 0 9 0 2004247020 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18590] ppid=18575 vsize=197436 CPUtime=156.67
/proc/18583/task/18590/stat : 18590 (java) S 18575 18575 18458 0 -1 64 0 165024 0 1 0 0 15562 105 19 0 9 0 2004247020 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18583/tid=18591] ppid=18575 vsize=197436 CPUtime=156.67
/proc/18583/task/18591/stat : 18591 (java) S 18575 18575 18458 0 -1 64 10 165024 0 1 0 0 15562 105 15 0 9 0 2004247020 202174464 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 175
Current children cumulated vsize (KiB) 202796
Child status: 0
Real time (s): 175.431
CPU time (s): 175.041
CPU user time (s): 173.141
CPU system time (s): 1.90071
CPU usage (%): 99.7781
Max. virtual memory (cumulated for all children) (KiB): 891316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.141
system time used= 1.90071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272184
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= 16838
involuntary context switches= 15789
runsolver used 0.633903 second user time and 1.77073 second system time
The end