0.00/0.04 c cpHydra_k_10 version 0.0
6.81/6.91 c CASE TO CLASSIFY:
6.81/6.91 c Case: 0
6.81/6.91 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 16.371400 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 6.480750 | c 14 > 9.997180 | c 11 > 5.000000 | c 12 > 9.699360 | 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 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.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 > 9.700440 | c 31 > -1.000000 | c 4 > 5.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.81/6.92 c choco : 1801.0
6.81/6.92 c mistral : 1801.0
6.81/6.92 c abscon : 1801.0
6.81/6.92 c
6.81/6.92 c
7.00/7.16 c List of same ones: 10
7.00/7.16 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg4-8_ext.xml
7.00/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 15.725000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 6.965660 | c 14 > 9.483820 | c 11 > 5.000000 | c 12 > 9.495110 | 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 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.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 > 9.700440 | c 31 > -1.000000 | c 4 > 5.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.17 c choco : 1801.0
7.00/7.17 c mistral : 85.4
7.00/7.17 c abscon : 10.28
7.00/7.17 c
7.00/7.17 c
7.00/7.17 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg4-8_ext.xml
7.00/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.726000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 5.380330 | c 14 > 8.353150 | c 11 > 5.000000 | c 12 > 7.677720 | 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 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.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 > 9.700440 | c 31 > -1.000000 | c 4 > 5.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.18 c choco : 47.39
7.00/7.18 c mistral : 43.93
7.00/7.18 c abscon : 6.19
7.00/7.18 c
7.00/7.18 c
7.00/7.18 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg4-7_ext.xml
7.00/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.098900 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 6.241080 | c 14 > 8.049850 | c 11 > 4.807350 | c 12 > 7.104040 | 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 > 6.363640 | c 28 > 3.636360 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.507790 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.18 c choco : 8.59
7.00/7.18 c mistral : 3.79
7.00/7.18 c abscon : 5.84
7.00/7.18 c
7.00/7.18 c
7.00/7.18 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg4-6_ext.xml
7.00/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.576800 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 5.267550 | c 14 > 7.781360 | c 11 > 4.584960 | c 12 > 6.659400 | 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 > 6.000000 | c 28 > 4.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.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 > 9.285400 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.00/7.19 c choco : 7.02
7.00/7.19 c mistral : 1.52
7.00/7.19 c abscon : 3.33
7.00/7.19 c
7.00/7.19 c
7.00/7.19 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg4-7_ext.xml
7.00/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.384000 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 5.077010 | c 14 > 6.285400 | c 11 > 4.807350 | c 12 > 5.771960 | 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 > 6.363640 | c 28 > 3.636360 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.507790 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.20 c choco : 5.47
7.08/7.20 c mistral : 0.93
7.08/7.20 c abscon : 4.4
7.08/7.20 c
7.08/7.20 c
7.08/7.20 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg4-8_ext.xml
7.08/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.858000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 4.287180 | c 14 > 6.108520 | c 11 > 5.000000 | c 12 > 5.199670 | 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 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.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 > 9.700440 | c 31 > -1.000000 | c 4 > 5.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.21 c choco : 10.5
7.08/7.21 c mistral : 7.84
7.08/7.21 c abscon : 5.41
7.08/7.21 c
7.08/7.21 c
7.08/7.21 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-47_ext.xml
7.08/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.304700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.589110 | c 14 > 11.335400 | c 11 > 4.321930 | c 12 > 10.137000 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.22 c choco : 43.9
7.08/7.22 c mistral : 0.590909
7.08/7.22 c abscon : 12.2941
7.08/7.22 c
7.08/7.22 c
7.08/7.22 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-43_ext.xml
7.08/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.708900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.738980 | c 14 > 11.060700 | c 11 > 4.807350 | c 12 > 9.797200 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.23 c choco : 1801.0
7.08/7.23 c mistral : 1276.13
7.08/7.23 c abscon : 1800.1
7.08/7.23 c
7.08/7.23 c
7.08/7.23 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-13_ext.xml
7.08/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.856400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.583290 | c 14 > 11.294600 | c 11 > 4.807350 | c 12 > 10.055900 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.23 c choco : 1801.0
7.08/7.23 c mistral : 1800.03
7.08/7.23 c abscon : 718.704
7.08/7.23 c
7.08/7.23 c
7.08/7.23 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28/rand-3-28-28-93-632-13_ext.xml
7.08/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.836100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.642070 | c 14 > 11.240800 | c 11 > 4.807350 | c 12 > 10.083100 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.08/7.24 c choco : 1801.0
7.08/7.24 c mistral : 1800.01
7.08/7.24 c abscon : 312.575
7.08/7.24 c
7.08/7.24 c
7.08/7.25 c Length: 10
7.08/7.25 c 0.9788908111735459 3.2723276527420055 4.130403394391402 5.376589591692861 6.955744423582569 7.781479010869336 8.401939432702427 8.563046574403296 8.585834209679337 8.59463131966113
7.08/7.25 c
7.08/7.25 c 1.0 0.7685542643400677 0.7073057950457554 0.6339350726528826 0.5602860234588706 0.5281985632748918 0.5064064960713527 0.5010389789737119 0.5002889474036096 0.5
7.08/7.25 c
7.08/7.25 c solver 0
7.08/7.25 c before 0.0 seconds: {} 0
7.08/7.25 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6} 4704
7.08/7.25 c before 324.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9} 5204
7.08/7.25 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5704
7.08/7.25 c
7.08/7.25 c solver 1
7.08/7.25 c before 0.0 seconds: {} 0
7.08/7.25 c before 18.0 seconds: {2, 3, 4, 5, 6} 2936
7.08/7.25 c before 54.0 seconds: {1, 2, 3, 4, 5, 6} 3704
7.08/7.25 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6} 4704
7.08/7.25 c before 1278.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5205
7.08/7.25 c
7.08/7.25 c solver 2
7.08/7.25 c before 0.0 seconds: {} 0
7.08/7.25 c before 18.0 seconds: {2, 3, 4, 5} 2429
7.08/7.25 c before 54.0 seconds: {1, 2, 3, 4, 5, 6} 3704
7.08/7.25 c
7.08/7.25 cTotal time: 114
7.08/7.25 c run abscon for 324.0 seconds {0, 1, 2, 3, 4, 5, 6, 9} 5204
7.08/7.25 c run mistral for 1278.0 seconds {0, 1, 2, 3, 4, 5, 6, 7} 5205
7.08/7.25 c run choco for 54.0 seconds {1, 2, 3, 4, 5, 6} 3704
7.08/7.25 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.08/7.26 c On Instance: HOME/instance-1079553-1215210141.xml
7.08/7.26 c Running for: 324 seconds
13.84/14.20 s SAT
13.84/14.20 v 17 14 0 3 18 19 4 17 4 18 2 0 15 0 3 4 0 11 8 25 0 17 8 13 12 14 3 4 17 0 19 4
13.84/14.20 d ASSIGNMENTS 12539
13.84/14.20 d CHECKS 17728
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079553-1215210141/watcher-1079553-1215210141 -o /tmp/evaluation-result-1079553-1215210141/solver-1079553-1215210141 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1079553-1215210141.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.00 2.00 2.00 4/81 5230
/proc/meminfo: memFree=1823072/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=0
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1999981197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5230/statm: 1340 236 195 169 0 51 0
[pid=5233] ppid=5230 vsize=5120 CPUtime=0.23
/proc/5233/stat : 5233 (xsolve) R 5230 5230 4942 0 -1 4194304 633 0 0 0 23 0 0 0 19 0 1 0 1999981198 5242880 592 996147200 134512640 135239763 4294956176 18446744073709551615 134788933 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 1280 592 410 177 0 183 0
[startup+0.35292 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 5230
/proc/meminfo: memFree=1823072/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=0
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1999981197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5230/statm: 1340 236 195 169 0 51 0
[pid=5233] ppid=5230 vsize=5120 CPUtime=0.33
/proc/5233/stat : 5233 (xsolve) R 5230 5230 4942 0 -1 4194304 633 0 0 0 33 0 0 0 20 0 1 0 1999981198 5242880 592 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 1280 592 410 177 0 183 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10480
[startup+0.401926 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 5230
/proc/meminfo: memFree=1823072/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=0
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1999981197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5230/statm: 1340 236 195 169 0 51 0
[pid=5233] ppid=5230 vsize=5120 CPUtime=0.38
/proc/5233/stat : 5233 (xsolve) R 5230 5230 4942 0 -1 4194304 633 0 0 0 38 0 0 0 20 0 1 0 1999981198 5242880 592 996147200 134512640 135239763 4294956176 18446744073709551615 135015491 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 1280 592 410 177 0 183 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10480
[startup+0.501939 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 5230
/proc/meminfo: memFree=1823072/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=0
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1999981197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5230/statm: 1340 236 195 169 0 51 0
[pid=5233] ppid=5230 vsize=5120 CPUtime=0.48
/proc/5233/stat : 5233 (xsolve) R 5230 5230 4942 0 -1 4194304 633 0 0 0 48 0 0 0 21 0 1 0 1999981198 5242880 592 996147200 134512640 135239763 4294956176 18446744073709551615 134789216 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 1280 592 410 177 0 183 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10480
[startup+0.70196 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 5230
/proc/meminfo: memFree=1823072/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=0
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1999981197 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5230/statm: 1340 236 195 169 0 51 0
[pid=5233] ppid=5230 vsize=5120 CPUtime=0.68
/proc/5233/stat : 5233 (xsolve) R 5230 5230 4942 0 -1 4194304 633 0 0 0 68 0 0 0 23 0 1 0 1999981198 5242880 592 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/5233/statm: 1280 592 410 177 0 183 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10480
[startup+1.50106 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 5234
/proc/meminfo: memFree=1822032/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=1.47
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 375 1231 0 0 0 0 146 1 19 0 1 0 1999981197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5230/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5360
[startup+3.10224 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 5246
/proc/meminfo: memFree=1813192/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=1.47
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 375 1231 0 0 0 0 146 1 19 0 1 0 1999981197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5230/statm: 1340 238 196 169 0 51 0
[pid=5238] ppid=5230 vsize=196996 CPUtime=1.57
/proc/5238/stat : 5238 (java) S 5230 5230 4942 0 -1 0 6429 0 1 0 153 4 0 0 18 0 9 0 1999981346 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5238/statm: 49249 5412 2540 9 0 43832 0
[pid=5238/tid=5239] ppid=5230 vsize=196996 CPUtime=1.22
/proc/5238/task/5239/stat : 5239 (java) R 5230 5230 4942 0 -1 64 2778 0 1 0 120 2 0 0 25 0 9 0 1999981347 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4126560864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5240] ppid=5230 vsize=196996 CPUtime=0.2
/proc/5238/task/5240/stat : 5240 (java) S 5230 5230 4942 0 -1 64 2314 0 0 0 18 2 0 0 16 0 9 0 1999981349 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5241] ppid=5230 vsize=196996 CPUtime=0
/proc/5238/task/5241/stat : 5241 (java) S 5230 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999981349 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5242] ppid=5230 vsize=196996 CPUtime=0
/proc/5238/task/5242/stat : 5242 (java) S 5230 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1999981349 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5243] ppid=5230 vsize=196996 CPUtime=0
/proc/5238/task/5243/stat : 5243 (java) S 5230 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999981351 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5244] ppid=5230 vsize=196996 CPUtime=0.13
/proc/5238/task/5244/stat : 5244 (java) S 5230 5230 4942 0 -1 64 613 0 0 0 13 0 0 0 16 0 9 0 1999981351 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5245] ppid=5230 vsize=196996 CPUtime=0
/proc/5238/task/5245/stat : 5245 (java) S 5230 5230 4942 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1999981351 201723904 5412 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5246] ppid=5230 vsize=196996 CPUtime=0
/proc/5238/task/5246/stat : 5246 (java) S 5230 5230 4942 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999981351 201723904 5412 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) 202356
[startup+6.30159 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 5246
/proc/meminfo: memFree=1799688/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=1.47
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 375 1231 0 0 0 0 146 1 19 0 1 0 1999981197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5230/statm: 1340 238 196 169 0 51 0
[pid=5238] ppid=5230 vsize=197108 CPUtime=4.74
/proc/5238/stat : 5238 (java) S 5230 5230 4942 0 -1 0 10412 0 1 0 462 12 0 0 18 0 9 0 1999981346 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5238/statm: 49277 8636 2540 9 0 43860 0
[pid=5238/tid=5239] ppid=5230 vsize=197108 CPUtime=3.77
/proc/5238/task/5239/stat : 5239 (java) R 5230 5230 4942 0 -1 64 3617 0 1 0 374 3 0 0 25 0 9 0 1999981347 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4126479580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5240] ppid=5230 vsize=197108 CPUtime=0.77
/proc/5238/task/5240/stat : 5240 (java) S 5230 5230 4942 0 -1 64 5443 0 0 0 70 7 0 0 16 0 9 0 1999981349 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5241] ppid=5230 vsize=197108 CPUtime=0
/proc/5238/task/5241/stat : 5241 (java) S 5230 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999981349 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5242] ppid=5230 vsize=197108 CPUtime=0
/proc/5238/task/5242/stat : 5242 (java) S 5230 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1999981349 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5243] ppid=5230 vsize=197108 CPUtime=0
/proc/5238/task/5243/stat : 5243 (java) S 5230 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999981351 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5244] ppid=5230 vsize=197108 CPUtime=0.16
/proc/5238/task/5244/stat : 5244 (java) S 5230 5230 4942 0 -1 64 628 0 0 0 16 0 0 0 16 0 9 0 1999981351 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5245] ppid=5230 vsize=197108 CPUtime=0
/proc/5238/task/5245/stat : 5245 (java) S 5230 5230 4942 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1999981351 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5246] ppid=5230 vsize=197108 CPUtime=0
/proc/5238/task/5246/stat : 5246 (java) S 5230 5230 4942 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999981351 201838592 8636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202468
[startup+12.7023 s]
/proc/loadavg: 2.07 2.02 2.00 4/103 5258
/proc/meminfo: memFree=1762728/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=1.47
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 375 1231 0 0 0 0 146 1 19 0 1 0 1999981197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5230/statm: 1340 238 196 169 0 51 0
[pid=5238] ppid=5230 vsize=197432 CPUtime=5.67
/proc/5238/stat : 5238 (java) S 5230 5230 4942 0 -1 0 14009 0 1 0 550 17 0 0 18 0 10 0 1999981346 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5238/statm: 49358 9525 2543 9 0 43941 0
[pid=5248] ppid=5238 vsize=5356 CPUtime=0
/proc/5248/stat : 5248 (abscon) S 5238 5230 4942 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 1999981923 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5248/statm: 1339 237 196 169 0 50 0
[pid=5249] ppid=5248 vsize=654928 CPUtime=5.32
/proc/5249/stat : 5249 (java) S 5248 5230 4942 0 -1 0 10890 0 1 0 525 7 0 0 19 0 9 0 1999981924 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5249/statm: 163732 10204 2610 9 0 158260 0
[pid=5249/tid=5251] ppid=5248 vsize=654928 CPUtime=5.08
/proc/5249/task/5251/stat : 5251 (java) R 5248 5230 4942 0 -1 64 8618 0 1 0 503 5 0 0 25 0 9 0 1999981925 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4126705924 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5252] ppid=5248 vsize=654928 CPUtime=0.03
/proc/5249/task/5252/stat : 5252 (java) S 5248 5230 4942 0 -1 64 1344 0 0 0 3 0 0 0 16 0 9 0 1999981926 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5253] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5253/stat : 5253 (java) S 5248 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999981926 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5254] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5254/stat : 5254 (java) S 5248 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999981926 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5255] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5255/stat : 5255 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999981928 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5256] ppid=5248 vsize=654928 CPUtime=0.18
/proc/5249/task/5256/stat : 5256 (java) S 5248 5230 4942 0 -1 64 383 0 0 0 18 0 0 0 16 0 9 0 1999981928 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5257] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5257/stat : 5257 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1999981928 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5258] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5258/stat : 5258 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1999981928 670646272 10204 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5250] ppid=5248 vsize=7044 CPUtime=0
/proc/5250/stat : 5250 (translate) S 5248 5230 4942 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1999981924 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 251601322066 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/5250/statm: 1761 213 182 1 0 41 0
[pid=5238/tid=5239] ppid=5230 vsize=197432 CPUtime=4.42
/proc/5238/task/5239/stat : 5239 (java) S 5230 5230 4942 0 -1 64 3971 0 1 0 438 4 0 0 24 0 10 0 1999981347 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5238/tid=5240] ppid=5230 vsize=197432 CPUtime=1.02
/proc/5238/task/5240/stat : 5240 (java) S 5230 5230 4942 0 -1 64 8582 0 0 0 91 11 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5241] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5241/stat : 5241 (java) S 5230 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5242] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5242/stat : 5242 (java) S 5230 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5243] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5243/stat : 5243 (java) S 5230 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5244] ppid=5230 vsize=197432 CPUtime=0.19
/proc/5238/task/5244/stat : 5244 (java) S 5230 5230 4942 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5245] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5245/stat : 5245 (java) S 5230 5230 4942 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5246] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5246/stat : 5246 (java) S 5230 5230 4942 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5247] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5247/stat : 5247 (java) S 5230 5230 4942 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1999981923 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 870120
Solver just ended. Dumping a history of the last processes samples
[startup+13.0023 s]
/proc/loadavg: 2.07 2.02 2.00 4/103 5258
/proc/meminfo: memFree=1762728/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=1.47
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 375 1231 0 0 0 0 146 1 19 0 1 0 1999981197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5230/statm: 1340 238 196 169 0 51 0
[pid=5238] ppid=5230 vsize=197432 CPUtime=5.67
/proc/5238/stat : 5238 (java) S 5230 5230 4942 0 -1 0 14009 0 1 0 550 17 0 0 18 0 10 0 1999981346 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5238/statm: 49358 9525 2543 9 0 43941 0
[pid=5248] ppid=5238 vsize=5356 CPUtime=0
/proc/5248/stat : 5248 (abscon) S 5238 5230 4942 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 1999981923 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5248/statm: 1339 237 196 169 0 50 0
[pid=5249] ppid=5248 vsize=654928 CPUtime=5.62
/proc/5249/stat : 5249 (java) S 5248 5230 4942 0 -1 0 10894 0 1 0 555 7 0 0 19 0 9 0 1999981924 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5249/statm: 163732 10208 2610 9 0 158260 0
[pid=5249/tid=5251] ppid=5248 vsize=654928 CPUtime=5.38
/proc/5249/task/5251/stat : 5251 (java) R 5248 5230 4942 0 -1 64 8622 0 1 0 533 5 0 0 25 0 9 0 1999981925 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4126695353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5252] ppid=5248 vsize=654928 CPUtime=0.03
/proc/5249/task/5252/stat : 5252 (java) S 5248 5230 4942 0 -1 64 1344 0 0 0 3 0 0 0 16 0 9 0 1999981926 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5253] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5253/stat : 5253 (java) S 5248 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999981926 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5254] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5254/stat : 5254 (java) S 5248 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999981926 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5255] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5255/stat : 5255 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999981928 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5256] ppid=5248 vsize=654928 CPUtime=0.18
/proc/5249/task/5256/stat : 5256 (java) S 5248 5230 4942 0 -1 64 383 0 0 0 18 0 0 0 16 0 9 0 1999981928 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5257] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5257/stat : 5257 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1999981928 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5258] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5258/stat : 5258 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1999981928 670646272 10208 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5250] ppid=5248 vsize=7044 CPUtime=0
/proc/5250/stat : 5250 (translate) S 5248 5230 4942 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1999981924 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 251601322066 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/5250/statm: 1761 213 182 1 0 41 0
[pid=5238/tid=5239] ppid=5230 vsize=197432 CPUtime=4.42
/proc/5238/task/5239/stat : 5239 (java) S 5230 5230 4942 0 -1 64 3971 0 1 0 438 4 0 0 24 0 10 0 1999981347 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5238/tid=5240] ppid=5230 vsize=197432 CPUtime=1.02
/proc/5238/task/5240/stat : 5240 (java) S 5230 5230 4942 0 -1 64 8582 0 0 0 91 11 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5241] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5241/stat : 5241 (java) S 5230 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5242] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5242/stat : 5242 (java) S 5230 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5243] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5243/stat : 5243 (java) S 5230 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5244] ppid=5230 vsize=197432 CPUtime=0.19
/proc/5238/task/5244/stat : 5244 (java) S 5230 5230 4942 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5245] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5245/stat : 5245 (java) S 5230 5230 4942 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5246] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5246/stat : 5246 (java) S 5230 5230 4942 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5247] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5247/stat : 5247 (java) S 5230 5230 4942 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1999981923 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 870120
[startup+13.8034 s]
/proc/loadavg: 2.07 2.02 2.00 4/103 5258
/proc/meminfo: memFree=1762792/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=1.47
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 375 1231 0 0 0 0 146 1 19 0 1 0 1999981197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5230/statm: 1340 238 196 169 0 51 0
[pid=5238] ppid=5230 vsize=197432 CPUtime=5.67
/proc/5238/stat : 5238 (java) S 5230 5230 4942 0 -1 0 14009 0 1 0 550 17 0 0 18 0 10 0 1999981346 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5238/statm: 49358 9525 2543 9 0 43941 0
[pid=5248] ppid=5238 vsize=5356 CPUtime=0
/proc/5248/stat : 5248 (abscon) S 5238 5230 4942 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 1999981923 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 251601150788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5248/statm: 1339 237 196 169 0 50 0
[pid=5249] ppid=5248 vsize=654928 CPUtime=6.4
/proc/5249/stat : 5249 (java) S 5248 5230 4942 0 -1 0 10902 0 1 0 633 7 0 0 19 0 9 0 1999981924 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5249/statm: 163732 10216 2610 9 0 158260 0
[pid=5249/tid=5251] ppid=5248 vsize=654928 CPUtime=6.16
/proc/5249/task/5251/stat : 5251 (java) R 5248 5230 4942 0 -1 64 8630 0 1 0 611 5 0 0 25 0 9 0 1999981925 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4126742097 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5252] ppid=5248 vsize=654928 CPUtime=0.03
/proc/5249/task/5252/stat : 5252 (java) S 5248 5230 4942 0 -1 64 1344 0 0 0 3 0 0 0 16 0 9 0 1999981926 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5253] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5253/stat : 5253 (java) S 5248 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999981926 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5254] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5254/stat : 5254 (java) S 5248 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999981926 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5255] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5255/stat : 5255 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999981928 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5256] ppid=5248 vsize=654928 CPUtime=0.18
/proc/5249/task/5256/stat : 5256 (java) S 5248 5230 4942 0 -1 64 383 0 0 0 18 0 0 0 16 0 9 0 1999981928 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5257] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5257/stat : 5257 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1999981928 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5249/tid=5258] ppid=5248 vsize=654928 CPUtime=0
/proc/5249/task/5258/stat : 5258 (java) S 5248 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1999981928 670646272 10216 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5250] ppid=5248 vsize=7044 CPUtime=0
/proc/5250/stat : 5250 (translate) S 5248 5230 4942 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1999981924 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 251601322066 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/5250/statm: 1761 213 182 1 0 41 0
[pid=5238/tid=5239] ppid=5230 vsize=197432 CPUtime=4.42
/proc/5238/task/5239/stat : 5239 (java) S 5230 5230 4942 0 -1 64 3971 0 1 0 438 4 0 0 24 0 10 0 1999981347 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5238/tid=5240] ppid=5230 vsize=197432 CPUtime=1.02
/proc/5238/task/5240/stat : 5240 (java) S 5230 5230 4942 0 -1 64 8582 0 0 0 91 11 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5241] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5241/stat : 5241 (java) S 5230 5230 4942 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5242] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5242/stat : 5242 (java) S 5230 5230 4942 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999981349 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5243] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5243/stat : 5243 (java) S 5230 5230 4942 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5244] ppid=5230 vsize=197432 CPUtime=0.19
/proc/5238/task/5244/stat : 5244 (java) S 5230 5230 4942 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5245] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5245/stat : 5245 (java) S 5230 5230 4942 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5246] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5246/stat : 5246 (java) S 5230 5230 4942 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999981351 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5247] ppid=5230 vsize=197432 CPUtime=0
/proc/5238/task/5247/stat : 5247 (java) S 5230 5230 4942 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1999981923 202170368 9525 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.54
Current children cumulated vsize (KiB) 870120
[startup+14.2025 s]
/proc/loadavg: 2.07 2.02 2.00 4/103 5258
/proc/meminfo: memFree=1762792/2055920 swapFree=4176360/4192956
[pid=5230] ppid=5228 vsize=5360 CPUtime=1.47
/proc/5230/stat : 5230 (hydra) S 5228 5230 4942 0 -1 4194304 375 1231 0 0 0 0 146 1 19 0 1 0 1999981197 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5230/statm: 1340 238 196 169 0 51 0
[pid=5238] ppid=5230 vsize=197432 CPUtime=12.46
/proc/5238/stat : 5238 (java) S 5230 5230 4942 0 -1 0 14082 11617 1 1 550 17 670 9 18 0 9 0 1999981346 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5238/statm: 49358 9527 2544 9 0 43941 0
[pid=5238/tid=5239] ppid=5230 vsize=197432 CPUtime=11.21
/proc/5238/task/5239/stat : 5239 (java) S 5230 5230 4942 0 -1 64 4022 11617 1 1 438 4 670 9 16 0 9 0 1999981347 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5240] ppid=5230 vsize=197432 CPUtime=7.81
/proc/5238/task/5240/stat : 5240 (java) S 5230 5230 4942 0 -1 64 8595 11617 0 1 91 11 670 9 16 0 9 0 1999981349 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5241] ppid=5230 vsize=197432 CPUtime=6.79
/proc/5238/task/5241/stat : 5241 (java) S 5230 5230 4942 0 -1 64 11 11617 0 1 0 0 670 9 16 0 9 0 1999981349 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5242] ppid=5230 vsize=197432 CPUtime=6.79
/proc/5238/task/5242/stat : 5242 (java) S 5230 5230 4942 0 -1 64 5 11617 0 1 0 0 670 9 16 0 9 0 1999981349 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5243] ppid=5230 vsize=197432 CPUtime=6.79
/proc/5238/task/5243/stat : 5243 (java) S 5230 5230 4942 0 -1 64 1 11617 0 1 0 0 670 9 18 0 9 0 1999981351 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5244] ppid=5230 vsize=197432 CPUtime=6.98
/proc/5238/task/5244/stat : 5244 (java) S 5230 5230 4942 0 -1 64 644 11617 0 1 19 0 670 9 16 0 9 0 1999981351 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5245] ppid=5230 vsize=197432 CPUtime=6.79
/proc/5238/task/5245/stat : 5245 (java) S 5230 5230 4942 0 -1 64 0 11617 0 1 0 0 670 9 19 0 9 0 1999981351 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5238/tid=5246] ppid=5230 vsize=197432 CPUtime=6.79
/proc/5238/task/5246/stat : 5246 (java) S 5230 5230 4942 0 -1 64 13 11617 0 1 0 0 670 9 15 0 9 0 1999981351 202170368 9527 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.93
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 14.2514
CPU time (s): 13.9609
CPU user time (s): 13.6739
CPU system time (s): 0.286956
CPU usage (%): 97.9615
Max. virtual memory (cumulated for all children) (KiB): 870120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6739
system time used= 0.286956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27343
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= 10451
involuntary context switches= 11816
runsolver used 0.053991 second user time and 0.106983 second system time
The end