0.00/0.00 c cpHydra_k_10 version 0.0
6.92/7.04 c CASE TO CLASSIFY:
6.92/7.04 c Case: 0
6.92/7.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.608300 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.785020 | c 14 > 5.672430 | c 11 > 6.339850 | c 12 > 3.516580 | 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.169930 | 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.040300 | c 31 > -1.000000 | c 4 > 6.339850 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.05 c choco : 1801.0
6.92/7.05 c mistral : 1801.0
6.92/7.05 c abscon : 1801.0
6.92/7.05 c
6.92/7.05 c
7.01/7.12 c List of same ones: 10
7.01/7.12 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-9_ext.xml
7.01/7.12 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.707800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.797980 | c 14 > 6.491850 | c 11 > 6.169930 | c 12 > 4.407500 | 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.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.870400 | c 31 > -1.000000 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.13 c choco : 1137.53
7.01/7.13 c mistral : 298.41
7.01/7.13 c abscon : 1801.0
7.01/7.13 c
7.01/7.13 c
7.01/7.13 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-10_ext.xml
7.01/7.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.752200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 2.852440 | c 14 > 6.247930 | c 11 > 6.321930 | c 12 > 4.536050 | 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.169930 | 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.022400 | c 31 > -1.000000 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.14 c choco : 506.42
7.01/7.14 c mistral : 89.79
7.01/7.14 c abscon : 69.82
7.01/7.14 c
7.01/7.14 c
7.01/7.14 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-9_ext.xml
7.01/7.14 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.467600 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.378420 | c 14 > 5.285400 | c 11 > 5.491850 | c 12 > 4.380050 | 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 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.15 c choco : 29.71
7.01/7.15 c mistral : 26.53
7.01/7.15 c abscon : 8.02
7.01/7.15 c
7.01/7.15 c
7.01/7.15 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml
7.01/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.256800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 1.611200 | c 14 > 5.087460 | c 11 > 5.754890 | c 12 > 2.736970 | 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 > 3.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.16 c choco : 1801.0
7.01/7.16 c mistral : 1801.0
7.01/7.16 c abscon : 392.65
7.01/7.16 c
7.01/7.16 c
7.01/7.16 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-8_ext.xml
7.01/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.207000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.286140 | c 14 > 5.247930 | c 11 > 5.584960 | c 12 > 3.215940 | 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 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.285400 | c 31 > -1.000000 | c 4 > 5.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.17 c choco : 297.08
7.01/7.17 c mistral : 157.04
7.01/7.17 c abscon : 14.11
7.01/7.17 c
7.01/7.17 c
7.01/7.17 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-11_ext.xml
7.01/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.387300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 3.148140 | c 14 > 5.727920 | c 11 > 6.629360 | c 12 > 4.353640 | 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.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 > 11.329800 | c 31 > -1.000000 | c 4 > 6.629360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.18 c choco : 74.98
7.01/7.18 c mistral : 1801.0
7.01/7.18 c abscon : 18.17
7.01/7.18 c
7.01/7.18 c
7.01/7.18 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-9_ext.xml
7.01/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.843000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.459370 | c 14 > 6.714250 | c 11 > 5.977280 | c 12 > 5.114820 | 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.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 > 10.677700 | c 31 > -1.000000 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.18 c choco : 1801.0
7.01/7.18 c mistral : 629.74
7.01/7.18 c abscon : 1801.0
7.01/7.18 c
7.01/7.18 c
7.01/7.18 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-10_ext.xml
7.01/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.723100 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 3.721100 | c 14 > 6.672430 | c 11 > 6.129280 | c 12 > 5.009630 | 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.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.829700 | c 31 > -1.000000 | c 4 > 6.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.19 c choco : 776.94
7.01/7.19 c mistral : 142.84
7.01/7.19 c abscon : 95.4
7.01/7.19 c
7.01/7.19 c
7.01/7.19 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg7-7_ext.xml
7.01/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.778100 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 2.850790 | c 14 > 5.044390 | c 11 > 5.614710 | c 12 > 3.893080 | 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 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.315100 | c 31 > -1.000000 | c 4 > 5.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.20 c choco : 111.31
7.01/7.20 c mistral : 1801.0
7.01/7.20 c abscon : 44.67
7.01/7.20 c
7.01/7.20 c
7.01/7.20 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-8_ext.xml
7.01/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.826600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.546870 | c 14 > 6.768180 | c 11 > 6.000000 | c 12 > 5.118940 | 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.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 > 10.700400 | c 31 > -1.000000 | c 4 > 6.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.21 c choco : 1801.0
7.09/7.21 c mistral : 717.88
7.09/7.21 c abscon : 1801.0
7.09/7.21 c
7.09/7.21 c
7.09/7.21 c Length: 10
7.09/7.21 c 1.6636311845177711 1.9195141729354335 2.199424690276983 2.2913224871676183 2.3074149376737596 2.3910232220327767 2.4581010958054588 2.547166311727603 2.6341563279539812 2.684827779299819
7.09/7.21 c
7.09/7.21 c 1.0 0.7996342657232448 0.6558786689954208 0.6193244527857461 0.6133385274166927 0.5840119144778732 0.5624362135712747 0.5361367078583267 0.5127205147118511 0.5
7.09/7.21 c
7.09/7.21 c solver 0
7.09/7.21 c before 0.0 seconds: {} 0
7.09/7.21 c before 18.0 seconds: {2, 4} 1269
7.09/7.21 c before 36.0 seconds: {2, 4, 5} 1853
7.09/7.21 c before 54.0 seconds: {2, 4, 5, 8} 2365
7.09/7.21 c before 72.0 seconds: {1, 2, 4, 5, 8} 3165
7.09/7.21 c before 108.0 seconds: {1, 2, 4, 5, 7, 8} 3701
7.09/7.21 c before 396.0 seconds: {1, 2, 3, 4, 5, 7, 8} 4321
7.09/7.21 c
7.09/7.21 c solver 1
7.09/7.21 c before 0.0 seconds: {} 0
7.09/7.21 c before 36.0 seconds: {2} 655
7.09/7.21 c before 90.0 seconds: {1, 2} 1455
7.09/7.21 c before 144.0 seconds: {1, 2, 7} 1991
7.09/7.22 c before 162.0 seconds: {1, 2, 4, 7} 2604
7.09/7.22 c before 306.0 seconds: {0, 1, 2, 4, 7} 3604
7.09/7.22 c before 630.0 seconds: {0, 1, 2, 4, 6, 7} 4167
7.09/7.22 c before 720.0 seconds: {0, 1, 2, 4, 6, 7, 9} 4667
7.09/7.22 c
7.09/7.22 c solver 2
7.09/7.22 c before 0.0 seconds: {} 0
7.09/7.22 c before 36.0 seconds: {2} 655
7.09/7.22 c before 90.0 seconds: {2, 5} 1239
7.09/7.22 c before 126.0 seconds: {2, 5, 8} 1752
7.09/7.22 c before 306.0 seconds: {2, 4, 5, 8} 2365
7.09/7.22 c before 522.0 seconds: {1, 2, 4, 5, 8} 3165
7.09/7.22 c before 792.0 seconds: {1, 2, 4, 5, 7, 8} 3701
7.09/7.22 c before 1152.0 seconds: {0, 1, 2, 4, 5, 7, 8} 4701
7.09/7.22 c
7.09/7.22 cTotal time: 126
7.09/7.22 c run abscon for 396.0 seconds {1, 2, 3, 4, 5, 7, 8} 4321
7.09/7.22 c run mistral for 720.0 seconds {0, 1, 2, 4, 6, 7, 9} 4667
7.09/7.22 c run choco for 522.0 seconds {1, 2, 4, 5, 8} 3165
7.09/7.22 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.09/7.22 c On Instance: HOME/instance-1068744-1215156689.xml
7.09/7.22 c Running for: 396 seconds
403.26/411.39 c Starting solver: HOME/cpHydra_k_10/solver/mistral
403.26/411.39 c On Instance: HOME/instance-1068744-1215156689.xml
403.26/411.39 c Running for: 720 seconds
1123.16/1131.48 c Starting solver: HOME/cpHydra_k_10/solver/choco
1123.16/1131.48 c On Instance: HOME/instance-1068744-1215156689.xml
1123.16/1131.48 c Running for: 522 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068744-1215156689/watcher-1068744-1215156689 -o /tmp/evaluation-result-1068744-1215156689/solver-1068744-1215156689 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1068744-1215156689.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.01 2.01 2.00 4/83 21602
/proc/meminfo: memFree=1327104/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=0
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 638589105 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21602/statm: 1340 236 195 169 0 51 0
[pid=21603] ppid=21602 vsize=5360 CPUtime=0
/proc/21603/stat : 21603 (hydra) R 21602 21602 18999 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 638589106 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 0 0 0
/proc/21603/statm: 1340 239 198 169 0 51 0
[startup+0.0669089 s]
/proc/loadavg: 2.01 2.01 2.00 4/83 21602
/proc/meminfo: memFree=1327104/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=0
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 638589105 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21602/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101911 s]
/proc/loadavg: 2.01 2.01 2.00 4/83 21602
/proc/meminfo: memFree=1327104/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=0
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 638589105 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21602/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30193 s]
/proc/loadavg: 2.01 2.01 2.00 4/83 21602
/proc/meminfo: memFree=1327104/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=0
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 638589105 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21602/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701971 s]
/proc/loadavg: 2.01 2.01 2.00 4/83 21602
/proc/meminfo: memFree=1327104/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=0
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 638589105 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21602/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50105 s]
/proc/loadavg: 2.01 2.01 2.00 3/85 21606
/proc/meminfo: memFree=1323312/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=0
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 638589105 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21602/statm: 1340 236 195 169 0 51 0
[pid=21606] ppid=21602 vsize=7964 CPUtime=1.48
/proc/21606/stat : 21606 (xsolve) R 21602 21602 18999 0 -1 4194304 1306 0 0 0 148 0 0 0 25 0 1 0 638589106 8155136 1265 996147200 134512640 135239763 4294956176 18446744073709551615 134789216 0 0 4096 0 0 0 0 17 1 0 0
/proc/21606/statm: 1991 1265 411 177 0 894 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13324
[startup+3.10222 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 21618
/proc/meminfo: memFree=1318320/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=1.6
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 375 1903 0 0 0 0 159 1 18 0 1 0 638589105 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21602/statm: 1340 238 196 169 0 51 0
[pid=21610] ppid=21602 vsize=196992 CPUtime=1.46
/proc/21610/stat : 21610 (java) S 21602 21602 18999 0 -1 0 6403 0 1 0 139 7 0 0 19 0 9 0 638589267 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21610/statm: 49248 5390 2540 9 0 43831 0
[pid=21610/tid=21611] ppid=21602 vsize=196992 CPUtime=1.1
/proc/21610/task/21611/stat : 21611 (java) R 21602 21602 18999 0 -1 64 2773 0 1 0 107 3 0 0 25 0 9 0 638589268 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4126487954 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21612] ppid=21602 vsize=196992 CPUtime=0.19
/proc/21610/task/21612/stat : 21612 (java) S 21602 21602 18999 0 -1 64 2291 0 0 0 17 2 0 0 16 0 9 0 638589269 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21613] ppid=21602 vsize=196992 CPUtime=0
/proc/21610/task/21613/stat : 21613 (java) S 21602 21602 18999 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 638589269 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21614] ppid=21602 vsize=196992 CPUtime=0
/proc/21610/task/21614/stat : 21614 (java) S 21602 21602 18999 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 638589269 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21615] ppid=21602 vsize=196992 CPUtime=0
/proc/21610/task/21615/stat : 21615 (java) S 21602 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 638589271 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21616] ppid=21602 vsize=196992 CPUtime=0.14
/proc/21610/task/21616/stat : 21616 (java) S 21602 21602 18999 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 638589271 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21617] ppid=21602 vsize=196992 CPUtime=0
/proc/21610/task/21617/stat : 21617 (java) S 21602 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 638589271 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21618] ppid=21602 vsize=196992 CPUtime=0
/proc/21610/task/21618/stat : 21618 (java) S 21602 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 638589271 201719808 5390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202352
[startup+6.30278 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 21618
/proc/meminfo: memFree=1304880/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=1.6
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 375 1903 0 0 0 0 159 1 18 0 1 0 638589105 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21602/statm: 1340 238 196 169 0 51 0
[pid=21610] ppid=21602 vsize=197100 CPUtime=4.63
/proc/21610/stat : 21610 (java) S 21602 21602 18999 0 -1 0 10313 0 1 0 449 14 0 0 19 0 9 0 638589267 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21610/statm: 49275 8562 2540 9 0 43858 0
[pid=21610/tid=21611] ppid=21602 vsize=197100 CPUtime=3.7
/proc/21610/task/21611/stat : 21611 (java) R 21602 21602 18999 0 -1 64 3607 0 1 0 365 5 0 0 25 0 9 0 638589268 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21612] ppid=21602 vsize=197100 CPUtime=0.74
/proc/21610/task/21612/stat : 21612 (java) S 21602 21602 18999 0 -1 64 5351 0 0 0 67 7 0 0 15 0 9 0 638589269 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21613] ppid=21602 vsize=197100 CPUtime=0
/proc/21610/task/21613/stat : 21613 (java) S 21602 21602 18999 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 638589269 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21614] ppid=21602 vsize=197100 CPUtime=0
/proc/21610/task/21614/stat : 21614 (java) S 21602 21602 18999 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 638589269 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21615] ppid=21602 vsize=197100 CPUtime=0
/proc/21610/task/21615/stat : 21615 (java) S 21602 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 638589271 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21616] ppid=21602 vsize=197100 CPUtime=0.16
/proc/21610/task/21616/stat : 21616 (java) S 21602 21602 18999 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 638589271 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21617] ppid=21602 vsize=197100 CPUtime=0
/proc/21610/task/21617/stat : 21617 (java) S 21602 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 638589271 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21618] ppid=21602 vsize=197100 CPUtime=0
/proc/21610/task/21618/stat : 21618 (java) S 21602 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 638589271 201830400 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202460
[startup+12.7022 s]
/proc/loadavg: 2.08 2.02 2.00 3/105 21630
/proc/meminfo: memFree=1247880/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=1.6
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 375 1903 0 0 0 0 159 1 18 0 1 0 638589105 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21602/statm: 1340 238 196 169 0 51 0
[pid=21610] ppid=21602 vsize=197424 CPUtime=5.52
/proc/21610/stat : 21610 (java) S 21602 21602 18999 0 -1 0 11429 0 1 0 535 17 0 0 19 0 10 0 638589267 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21610/statm: 49356 9402 2543 9 0 43939 0
[pid=21620] ppid=21610 vsize=5356 CPUtime=0
/proc/21620/stat : 21620 (abscon) S 21610 21602 18999 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 638589829 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21620/statm: 1339 237 196 169 0 50 0
[pid=21621] ppid=21620 vsize=654936 CPUtime=5.35
/proc/21621/stat : 21621 (java) S 21620 21602 18999 0 -1 0 14724 0 1 0 527 8 0 0 18 0 9 0 638589829 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21621/statm: 163734 14037 2610 9 0 158262 0
[pid=21621/tid=21623] ppid=21620 vsize=654936 CPUtime=5.1
/proc/21621/task/21623/stat : 21623 (java) R 21620 21602 18999 0 -1 64 10770 0 1 0 504 6 0 0 25 0 9 0 638589830 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4126736587 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21624] ppid=21620 vsize=654936 CPUtime=0.05
/proc/21621/task/21624/stat : 21624 (java) S 21620 21602 18999 0 -1 64 3034 0 0 0 4 1 0 0 16 0 9 0 638589831 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21625] ppid=21620 vsize=654936 CPUtime=0
/proc/21621/task/21625/stat : 21625 (java) S 21620 21602 18999 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 638589831 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21626] ppid=21620 vsize=654936 CPUtime=0
/proc/21621/task/21626/stat : 21626 (java) S 21620 21602 18999 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 638589831 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21627] ppid=21620 vsize=654936 CPUtime=0
/proc/21621/task/21627/stat : 21627 (java) S 21620 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 638589833 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21628] ppid=21620 vsize=654936 CPUtime=0.17
/proc/21621/task/21628/stat : 21628 (java) S 21620 21602 18999 0 -1 64 375 0 0 0 17 0 0 0 15 0 9 0 638589833 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21629] ppid=21620 vsize=654936 CPUtime=0
/proc/21621/task/21629/stat : 21629 (java) S 21620 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 638589833 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21630] ppid=21620 vsize=654936 CPUtime=0
/proc/21621/task/21630/stat : 21630 (java) S 21620 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 638589833 670654464 14037 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21622] ppid=21620 vsize=7044 CPUtime=0
/proc/21622/stat : 21622 (translate) S 21620 21602 18999 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 638589829 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 243665698898 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/21622/statm: 1761 213 182 1 0 41 0
[pid=21610/tid=21611] ppid=21602 vsize=197424 CPUtime=4.45
/proc/21610/task/21611/stat : 21611 (java) S 21602 21602 18999 0 -1 64 3853 0 1 0 439 6 0 0 25 0 10 0 638589268 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21610/tid=21612] ppid=21602 vsize=197424 CPUtime=0.85
/proc/21610/task/21612/stat : 21612 (java) S 21602 21602 18999 0 -1 64 6120 0 0 0 76 9 0 0 16 0 10 0 638589269 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21613] ppid=21602 vsize=197424 CPUtime=0
/proc/21610/task/21613/stat : 21613 (java) S 21602 21602 18999 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 638589269 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21614] ppid=21602 vsize=197424 CPUtime=0
/proc/21610/task/21614/stat : 21614 (java) S 21602 21602 18999 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 638589269 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21615] ppid=21602 vsize=197424 CPUtime=0
/proc/21610/task/21615/stat : 21615 (java) S 21602 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 638589271 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21616] ppid=21602 vsize=197424 CPUtime=0.19
/proc/21610/task/21616/stat : 21616 (java) S 21602 21602 18999 0 -1 64 647 0 0 0 19 0 0 0 15 0 10 0 638589271 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21617] ppid=21602 vsize=197424 CPUtime=0
/proc/21610/task/21617/stat : 21617 (java) S 21602 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 638589271 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21618] ppid=21602 vsize=197424 CPUtime=0
/proc/21610/task/21618/stat : 21618 (java) S 21602 21602 18999 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 638589271 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21619] ppid=21602 vsize=197424 CPUtime=0
/proc/21610/task/21619/stat : 21619 (java) S 21602 21602 18999 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 638589829 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 870120
[startup+25.5025 s]
/proc/loadavg: 2.07 2.02 2.00 3/105 21630
/proc/meminfo: memFree=1247688/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=1.6
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 375 1903 0 0 0 0 159 1 18 0 1 0 638589105 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21602/statm: 1340 238 196 169 0 51 0
[pid=21610] ppid=21602 vsize=197424 CPUtime=5.52
/proc/21610/stat : 21610 (java) S 21602 21602 18999 0 -1 0 11429 0 1 0 535 17 0 0 19 0 10 0 638589267 202162176 9402 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21610/statm: 49356 9402 2543 9 0 43939 0
[pid=21620] ppid=21610 vsize=5356 CPUtime=0
/proc/21620/stat : 21620 (abscon) S 21610 21602 18999 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 638589829 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21620/statm: 1339 237 196 169 0 50 0
[pid=21621] ppid=21620 vsize=654936 CPUtime=17.89
/proc/21621/stat : 21621 (java) S 21620 21602 18999 0 -1 0 14742 0 1 0 1781 8 0 0 18 0 9 0 638589829 670654464 14048 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21621/statm: 163734 14048 2610 9 0 158262 0
[pid=21621/tid=21623] ppid=21620 vsize=654936 CPUtime=17.62
/proc/21621/task/21623/stat : 21623 (java) R 21620 21602 18999 0 -1 64 10773 0 1 0 1756 6 0 0 25 0 9 0 638589830 670654464 14048 996147200 134512640 134550740 4294955808 18446744073709551615 4126737011 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21621/tid=21624] ppid=21620 vsize=654936 CPUtime=0.05
################
# More data... #
################
/proc/21610/statm: 49437 9409 2544 9 0 44020 0
[pid=21635] ppid=21610 vsize=5356 CPUtime=0
/proc/21635/stat : 21635 (choco) S 21610 21602 18999 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 638702254 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21635/statm: 1339 238 197 169 0 50 0
[pid=21636] ppid=21635 vsize=654876 CPUtime=639.73
/proc/21636/stat : 21636 (java) S 21635 21602 18999 0 -1 0 16318 0 1 0 63957 16 0 0 19 0 9 0 638702255 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21636/statm: 163719 15879 1903 9 0 158248 0
[pid=21636/tid=21637] ppid=21635 vsize=654876 CPUtime=639.52
/proc/21636/task/21637/stat : 21637 (java) R 21635 21602 18999 0 -1 64 12066 0 1 0 63939 13 0 0 25 0 9 0 638702256 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4126562994 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21636/tid=21638] ppid=21635 vsize=654876 CPUtime=0.04
/proc/21636/task/21638/stat : 21638 (java) S 21635 21602 18999 0 -1 64 3337 0 0 0 3 1 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21636/tid=21639] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21639/stat : 21639 (java) S 21635 21602 18999 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21640] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21640/stat : 21640 (java) S 21635 21602 18999 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21641] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21641/stat : 21641 (java) S 21635 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21642] ppid=21635 vsize=654876 CPUtime=0.13
/proc/21636/task/21642/stat : 21642 (java) S 21635 21602 18999 0 -1 64 367 0 0 0 13 0 0 0 16 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21643] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21643/stat : 21643 (java) S 21635 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21644] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21644/stat : 21644 (java) S 21635 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21611] ppid=21602 vsize=197748 CPUtime=1120.58
/proc/21610/task/21611/stat : 21611 (java) S 21602 21602 18999 0 -1 64 4017 16921 1 1 439 6 111600 13 16 0 10 0 638589268 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21610/tid=21612] ppid=21602 vsize=197748 CPUtime=1116.98
/proc/21610/task/21612/stat : 21612 (java) S 21602 21602 18999 0 -1 64 6167 16921 0 1 76 9 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21610/tid=21613] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21613/stat : 21613 (java) S 21602 21602 18999 0 -1 64 11 16921 0 1 0 0 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21614] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21614/stat : 21614 (java) S 21602 21602 18999 0 -1 64 5 16921 0 1 0 0 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21615] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21615/stat : 21615 (java) S 21602 21602 18999 0 -1 64 0 16921 0 1 0 0 111600 13 24 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21616] ppid=21602 vsize=197748 CPUtime=1116.32
/proc/21610/task/21616/stat : 21616 (java) S 21602 21602 18999 0 -1 64 716 16921 0 1 19 0 111600 13 16 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21617] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21617/stat : 21617 (java) S 21602 21602 18999 0 -1 64 1 16921 0 1 0 0 111600 13 25 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21618] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21618/stat : 21618 (java) S 21602 21602 18999 0 -1 64 30 16921 0 1 0 0 111600 13 15 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21634] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21634/stat : 21634 (java) S 21602 21602 18999 0 -1 64 43 16921 0 1 0 0 111600 13 16 0 10 0 638702254 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1762.99
Current children cumulated vsize (KiB) 863340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1819.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/102 21694
/proc/meminfo: memFree=1498320/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=1.6
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 375 1903 0 0 0 0 159 1 18 0 1 0 638589105 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21602/statm: 1340 238 196 169 0 51 0
[pid=21610] ppid=21602 vsize=197748 CPUtime=1121.66
/proc/21610/stat : 21610 (java) S 21602 21602 18999 0 -1 0 11851 16921 1 1 535 18 111600 13 19 0 10 0 638589267 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21610/statm: 49437 9409 2544 9 0 44020 0
[pid=21635] ppid=21610 vsize=5356 CPUtime=0
/proc/21635/stat : 21635 (choco) S 21610 21602 18999 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 638702254 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21635/statm: 1339 238 197 169 0 50 0
[pid=21636] ppid=21635 vsize=654876 CPUtime=676.76
/proc/21636/stat : 21636 (java) S 21635 21602 18999 0 -1 0 16319 0 1 0 67660 16 0 0 19 0 9 0 638702255 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21636/statm: 163719 15879 1903 9 0 158248 0
[pid=21636/tid=21637] ppid=21635 vsize=654876 CPUtime=676.55
/proc/21636/task/21637/stat : 21637 (java) R 21635 21602 18999 0 -1 64 12067 0 1 0 67642 13 0 0 25 0 9 0 638702256 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4126555111 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21636/tid=21638] ppid=21635 vsize=654876 CPUtime=0.04
/proc/21636/task/21638/stat : 21638 (java) S 21635 21602 18999 0 -1 64 3337 0 0 0 3 1 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21636/tid=21639] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21639/stat : 21639 (java) S 21635 21602 18999 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21640] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21640/stat : 21640 (java) S 21635 21602 18999 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21641] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21641/stat : 21641 (java) S 21635 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21642] ppid=21635 vsize=654876 CPUtime=0.13
/proc/21636/task/21642/stat : 21642 (java) S 21635 21602 18999 0 -1 64 367 0 0 0 13 0 0 0 16 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21643] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21643/stat : 21643 (java) S 21635 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21644] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21644/stat : 21644 (java) S 21635 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21611] ppid=21602 vsize=197748 CPUtime=1120.58
/proc/21610/task/21611/stat : 21611 (java) S 21602 21602 18999 0 -1 64 4017 16921 1 1 439 6 111600 13 16 0 10 0 638589268 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21610/tid=21612] ppid=21602 vsize=197748 CPUtime=1116.98
/proc/21610/task/21612/stat : 21612 (java) S 21602 21602 18999 0 -1 64 6167 16921 0 1 76 9 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21610/tid=21613] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21613/stat : 21613 (java) S 21602 21602 18999 0 -1 64 11 16921 0 1 0 0 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21614] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21614/stat : 21614 (java) S 21602 21602 18999 0 -1 64 5 16921 0 1 0 0 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21615] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21615/stat : 21615 (java) S 21602 21602 18999 0 -1 64 0 16921 0 1 0 0 111600 13 24 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21616] ppid=21602 vsize=197748 CPUtime=1116.32
/proc/21610/task/21616/stat : 21616 (java) S 21602 21602 18999 0 -1 64 716 16921 0 1 19 0 111600 13 16 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21617] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21617/stat : 21617 (java) S 21602 21602 18999 0 -1 64 1 16921 0 1 0 0 111600 13 25 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21618] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21618/stat : 21618 (java) S 21602 21602 18999 0 -1 64 30 16921 0 1 0 0 111600 13 15 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21634] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21634/stat : 21634 (java) S 21602 21602 18999 0 -1 64 43 16921 0 1 0 0 111600 13 16 0 10 0 638702254 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 863340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1819.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/102 21694
/proc/meminfo: memFree=1498320/2055920 swapFree=4176960/4192956
[pid=21602] ppid=21600 vsize=5360 CPUtime=1.6
/proc/21602/stat : 21602 (hydra) S 21600 21602 18999 0 -1 4194304 375 1903 0 0 0 0 159 1 18 0 1 0 638589105 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21602/statm: 1340 238 196 169 0 51 0
[pid=21610] ppid=21602 vsize=197748 CPUtime=1121.66
/proc/21610/stat : 21610 (java) S 21602 21602 18999 0 -1 0 11851 16921 1 1 535 18 111600 13 19 0 10 0 638589267 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21610/statm: 49437 9409 2544 9 0 44020 0
[pid=21635] ppid=21610 vsize=5356 CPUtime=0
/proc/21635/stat : 21635 (choco) S 21610 21602 18999 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 638702254 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 243665527620 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21635/statm: 1339 238 197 169 0 50 0
[pid=21636] ppid=21635 vsize=654876 CPUtime=676.76
/proc/21636/stat : 21636 (java) S 21635 21602 18999 0 -1 0 16319 0 1 0 67660 16 0 0 19 0 9 0 638702255 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21636/statm: 163719 15879 1903 9 0 158248 0
[pid=21636/tid=21637] ppid=21635 vsize=654876 CPUtime=676.55
/proc/21636/task/21637/stat : 21637 (java) R 21635 21602 18999 0 -1 64 12067 0 1 0 67642 13 0 0 25 0 9 0 638702256 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4126555111 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21636/tid=21638] ppid=21635 vsize=654876 CPUtime=0.04
/proc/21636/task/21638/stat : 21638 (java) S 21635 21602 18999 0 -1 64 3337 0 0 0 3 1 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21636/tid=21639] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21639/stat : 21639 (java) S 21635 21602 18999 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21640] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21640/stat : 21640 (java) S 21635 21602 18999 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 638702257 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21641] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21641/stat : 21641 (java) S 21635 21602 18999 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21642] ppid=21635 vsize=654876 CPUtime=0.13
/proc/21636/task/21642/stat : 21642 (java) S 21635 21602 18999 0 -1 64 367 0 0 0 13 0 0 0 16 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21643] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21643/stat : 21643 (java) S 21635 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21636/tid=21644] ppid=21635 vsize=654876 CPUtime=0
/proc/21636/task/21644/stat : 21644 (java) S 21635 21602 18999 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 638702260 670593024 15879 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21611] ppid=21602 vsize=197748 CPUtime=1120.58
/proc/21610/task/21611/stat : 21611 (java) S 21602 21602 18999 0 -1 64 4017 16921 1 1 439 6 111600 13 16 0 10 0 638589268 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21610/tid=21612] ppid=21602 vsize=197748 CPUtime=1116.98
/proc/21610/task/21612/stat : 21612 (java) S 21602 21602 18999 0 -1 64 6167 16921 0 1 76 9 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21610/tid=21613] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21613/stat : 21613 (java) S 21602 21602 18999 0 -1 64 11 16921 0 1 0 0 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21614] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21614/stat : 21614 (java) S 21602 21602 18999 0 -1 64 5 16921 0 1 0 0 111600 13 16 0 10 0 638589269 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21615] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21615/stat : 21615 (java) S 21602 21602 18999 0 -1 64 0 16921 0 1 0 0 111600 13 24 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21616] ppid=21602 vsize=197748 CPUtime=1116.32
/proc/21610/task/21616/stat : 21616 (java) S 21602 21602 18999 0 -1 64 716 16921 0 1 19 0 111600 13 16 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21617] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21617/stat : 21617 (java) S 21602 21602 18999 0 -1 64 1 16921 0 1 0 0 111600 13 25 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21618] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21618/stat : 21618 (java) S 21602 21602 18999 0 -1 64 30 16921 0 1 0 0 111600 13 15 0 10 0 638589271 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21610/tid=21634] ppid=21602 vsize=197748 CPUtime=1116.13
/proc/21610/task/21634/stat : 21634 (java) S 21602 21602 18999 0 -1 64 43 16921 0 1 0 0 111600 13 16 0 10 0 638702254 202493952 9409 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 863340
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21602 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=594757
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 1.61075
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1819.53
CPU time (s): 1800.02
CPU user time (s): 1799.54
CPU system time (s): 0.48
CPU usage (%): 98.9275
Max. virtual memory (cumulated for all children) (KiB): 870120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59476
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 43
runsolver used 5.2762 second user time and 13.7149 second system time
The end