0.00/0.00 c cpHydra_k_10 version 0.0
7.32/7.47 c CASE TO CLASSIFY:
7.32/7.47 c Case: 0
7.32/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.539200 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.917090 | c 14 > 5.754890 | c 11 > 5.807350 | c 12 > 4.092000 | 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.507800 | c 31 > -1.000000 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.32/7.48 c choco : 1801.0
7.32/7.48 c mistral : 1801.0
7.32/7.48 c abscon : 1801.0
7.32/7.48 c
7.32/7.48 c
7.42/7.56 c List of same ones: 10
7.42/7.56 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg7-7_ext.xml
7.42/7.56 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.42/7.57 c choco : 111.31
7.42/7.57 c mistral : 1801.0
7.42/7.57 c abscon : 44.67
7.42/7.57 c
7.42/7.57 c
7.42/7.57 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-9_ext.xml
7.42/7.57 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.42/7.57 c choco : 29.71
7.42/7.57 c mistral : 26.53
7.42/7.57 c abscon : 8.02
7.42/7.57 c
7.42/7.57 c
7.42/7.57 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-7_ext.xml
7.42/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.010500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.857090 | c 14 > 5.807350 | c 11 > 5.392320 | c 12 > 4.788830 | 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.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.092800 | c 31 > -1.000000 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.42/7.58 c choco : 1801.0
7.42/7.58 c mistral : 54.51
7.42/7.58 c abscon : 6.72
7.42/7.58 c
7.42/7.58 c
7.42/7.58 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-8_ext.xml
7.42/7.58 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.42/7.59 c choco : 297.08
7.42/7.59 c mistral : 157.04
7.42/7.59 c abscon : 14.11
7.42/7.59 c
7.42/7.59 c
7.42/7.59 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-9_ext.xml
7.42/7.59 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.50/7.60 c choco : 1137.53
7.50/7.60 c mistral : 298.41
7.50/7.60 c abscon : 1801.0
7.50/7.60 c
7.50/7.60 c
7.50/7.60 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-8_ext.xml
7.50/7.60 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.50/7.61 c choco : 1801.0
7.50/7.61 c mistral : 717.88
7.50/7.61 c abscon : 1801.0
7.50/7.61 c
7.50/7.61 c
7.50/7.61 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-9_ext.xml
7.50/7.61 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.50/7.62 c choco : 1801.0
7.50/7.62 c mistral : 629.74
7.50/7.62 c abscon : 1801.0
7.50/7.62 c
7.50/7.62 c
7.50/7.62 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml
7.50/7.62 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.50/7.63 c choco : 1801.0
7.50/7.63 c mistral : 1801.0
7.50/7.63 c abscon : 392.65
7.50/7.63 c
7.50/7.63 c
7.50/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-10_ext.xml
7.50/7.63 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.50/7.64 c choco : 506.42
7.50/7.64 c mistral : 89.79
7.50/7.64 c abscon : 69.82
7.50/7.64 c
7.50/7.64 c
7.50/7.64 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-9_ext.xml
7.50/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.184400 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.922820 | c 14 > 6.629360 | c 11 > 6.339850 | c 12 > 5.187630 | 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
7.50/7.65 c choco : 565.32
7.50/7.65 c mistral : 112.49
7.50/7.65 c abscon : 85.82
7.50/7.65 c
7.50/7.65 c
7.69/7.84 c Length: 10
7.69/7.84 c 1.4997700347719973 1.7242605815537277 1.7918689111650992 1.8318375756327292 1.8572765656735148 2.062856338478277 2.2485066805104235 2.5767669493184666 2.6037292142233235 2.757378744804567
7.69/7.84 c
7.69/7.84 c 1.0 0.8485320428105052 0.8115135532976163 0.7911099567134314 0.7786495218169343 0.6907300237232122 0.6268156707992565 0.5386814358674963 0.5325312541861379 0.5
7.69/7.84 c
7.69/7.84 c solver 0
7.69/7.84 c before 0.0 seconds: {} 0
7.69/7.84 c before 18.0 seconds: {1, 2, 3} 2451
7.69/7.84 c before 54.0 seconds: {0, 1, 2, 3} 3451
7.69/7.84 c before 72.0 seconds: {0, 1, 2, 3, 8} 3983
7.69/7.84 c before 90.0 seconds: {0, 1, 2, 3, 8, 9} 4483
7.69/7.84 c before 396.0 seconds: {0, 1, 2, 3, 7, 8, 9} 5022
7.69/7.84 c
7.69/7.84 c solver 1
7.69/7.84 c before 0.0 seconds: {} 0
7.69/7.84 c before 36.0 seconds: {1} 848
7.69/7.84 c before 72.0 seconds: {1, 2} 1660
7.69/7.84 c before 90.0 seconds: {1, 2, 8} 2192
7.69/7.84 c before 126.0 seconds: {1, 2, 8, 9} 2692
7.69/7.84 c before 162.0 seconds: {1, 2, 3, 8, 9} 3483
7.69/7.84 c before 306.0 seconds: {1, 2, 3, 4, 8, 9} 4262
7.69/7.84 c before 630.0 seconds: {1, 2, 3, 4, 6, 8, 9} 4889
7.69/7.84 c before 720.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5579
7.69/7.84 c
7.69/7.84 c solver 2
7.69/7.84 c before 0.0 seconds: {} 0
7.69/7.84 c before 36.0 seconds: {1} 848
7.69/7.84 c before 126.0 seconds: {0, 1} 1848
7.69/7.84 c before 306.0 seconds: {0, 1, 3} 2639
7.69/7.84 c before 522.0 seconds: {0, 1, 3, 8} 3172
7.69/7.84 c before 576.0 seconds: {0, 1, 3, 8, 9} 3672
7.69/7.84 c before 1152.0 seconds: {0, 1, 3, 4, 8, 9} 4450
7.69/7.84 c
7.69/7.84 cTotal time: 126
7.69/7.85 c run abscon for 396.0 seconds {0, 1, 2, 3, 7, 8, 9} 5022
7.69/7.85 c run mistral for 720.0 seconds {1, 2, 3, 4, 5, 6, 8, 9} 5579
7.69/7.85 c run choco for 576.0 seconds {0, 1, 3, 8, 9} 3672
7.69/7.85 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.69/7.85 c On Instance: HOME/instance-1107630-1215477636.xml
7.69/7.85 c Running for: 396 seconds
403.97/410.14 c Starting solver: HOME/cpHydra_k_10/solver/mistral
403.97/410.14 c On Instance: HOME/instance-1107630-1215477636.xml
403.97/410.14 c Running for: 720 seconds
1123.91/1133.60 c Starting solver: HOME/cpHydra_k_10/solver/choco
1123.91/1133.60 c On Instance: HOME/instance-1107630-1215477636.xml
1123.91/1133.60 c Running for: 576 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-1107630-1215477636/watcher-1107630-1215477636 -o /tmp/evaluation-result-1107630-1215477636/solver-1107630-1215477636 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1107630-1215477636.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.82 1.41 4/81 3041
/proc/meminfo: memFree=1827248/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=0
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 4465195 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 236 195 169 0 51 0
[pid=3043] ppid=3041 vsize=44 CPUtime=0
/proc/3043/stat : 3043 (rm) R 3041 3041 2729 0 -1 4194304 22 0 0 0 0 0 0 0 23 0 1 0 4465196 45056 2 996147200 0 0 548682069750 18446744073709551615 210824129831 0 0 4096 0 0 0 0 17 1 0 0
/proc/3043/statm: 11 2 0 0 0 1 0
[startup+0.107841 s]
/proc/loadavg: 1.99 1.82 1.41 4/81 3041
/proc/meminfo: memFree=1827248/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=0
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4465195 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202859 s]
/proc/loadavg: 1.99 1.82 1.41 4/81 3041
/proc/meminfo: memFree=1827248/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=0
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4465195 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302883 s]
/proc/loadavg: 1.99 1.82 1.41 4/81 3041
/proc/meminfo: memFree=1827248/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=0
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4465195 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702964 s]
/proc/loadavg: 1.99 1.82 1.41 4/81 3041
/proc/meminfo: memFree=1827248/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=0
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4465195 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50113 s]
/proc/loadavg: 1.99 1.82 1.41 3/83 3045
/proc/meminfo: memFree=1820000/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=0
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 4465195 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 236 195 169 0 51 0
[pid=3045] ppid=3041 vsize=11628 CPUtime=1.47
/proc/3045/stat : 3045 (xsolve) R 3041 3041 2729 0 -1 4194304 2170 0 0 0 147 0 0 0 25 0 1 0 4465196 11907072 2129 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/3045/statm: 2907 2129 410 177 0 1810 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16988
[startup+3.10245 s]
/proc/loadavg: 1.99 1.82 1.41 4/91 3057
/proc/meminfo: memFree=1820704/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=1.69
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 375 2767 0 0 0 0 168 1 18 0 1 0 4465195 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 238 196 169 0 51 0
[pid=3049] ppid=3041 vsize=197000 CPUtime=1.37
/proc/3049/stat : 3049 (java) S 3041 3041 2729 0 -1 0 4864 0 1 0 132 5 0 0 18 0 9 0 4465367 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3049/statm: 49250 4090 1677 9 0 43833 0
[pid=3049/tid=3050] ppid=3041 vsize=197000 CPUtime=1.09
/proc/3049/task/3050/stat : 3050 (java) R 3041 3041 2729 0 -1 64 2700 0 1 0 107 2 0 0 25 0 9 0 4465368 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4126439948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3051] ppid=3041 vsize=197000 CPUtime=0.11
/proc/3049/task/3051/stat : 3051 (java) S 3041 3041 2729 0 -1 64 834 0 0 0 10 1 0 0 16 0 9 0 4465369 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3052] ppid=3041 vsize=197000 CPUtime=0
/proc/3049/task/3052/stat : 3052 (java) S 3041 3041 2729 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4465369 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3053] ppid=3041 vsize=197000 CPUtime=0
/proc/3049/task/3053/stat : 3053 (java) S 3041 3041 2729 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4465369 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3054] ppid=3041 vsize=197000 CPUtime=0
/proc/3049/task/3054/stat : 3054 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4465371 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3055] ppid=3041 vsize=197000 CPUtime=0.13
/proc/3049/task/3055/stat : 3055 (java) S 3041 3041 2729 0 -1 64 605 0 0 0 13 0 0 0 16 0 9 0 4465371 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3056] ppid=3041 vsize=197000 CPUtime=0
/proc/3049/task/3056/stat : 3056 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4465372 201728000 4090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3057] ppid=3041 vsize=197000 CPUtime=0
/proc/3049/task/3057/stat : 3057 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4465372 201728000 4090 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) 202360
[startup+6.30113 s]
/proc/loadavg: 1.99 1.82 1.41 3/91 3057
/proc/meminfo: memFree=1806880/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=1.69
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 375 2767 0 0 0 0 168 1 18 0 1 0 4465195 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 238 196 169 0 51 0
[pid=3049] ppid=3041 vsize=197112 CPUtime=4.53
/proc/3049/stat : 3049 (java) S 3041 3041 2729 0 -1 0 9811 0 1 0 441 12 0 0 18 0 9 0 4465367 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3049/statm: 49278 8132 2540 9 0 43861 0
[pid=3049/tid=3050] ppid=3041 vsize=197112 CPUtime=3.61
/proc/3049/task/3050/stat : 3050 (java) R 3041 3041 2729 0 -1 64 3521 0 1 0 357 4 0 0 25 0 9 0 4465368 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3051] ppid=3041 vsize=197112 CPUtime=0.73
/proc/3049/task/3051/stat : 3051 (java) S 3041 3041 2729 0 -1 64 4936 0 0 0 66 7 0 0 15 0 9 0 4465369 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3052] ppid=3041 vsize=197112 CPUtime=0
/proc/3049/task/3052/stat : 3052 (java) S 3041 3041 2729 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4465369 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3053] ppid=3041 vsize=197112 CPUtime=0
/proc/3049/task/3053/stat : 3053 (java) S 3041 3041 2729 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4465369 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3054] ppid=3041 vsize=197112 CPUtime=0
/proc/3049/task/3054/stat : 3054 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4465371 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3055] ppid=3041 vsize=197112 CPUtime=0.17
/proc/3049/task/3055/stat : 3055 (java) S 3041 3041 2729 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 4465371 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3056] ppid=3041 vsize=197112 CPUtime=0
/proc/3049/task/3056/stat : 3056 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4465372 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3057] ppid=3041 vsize=197112 CPUtime=0
/proc/3049/task/3057/stat : 3057 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4465372 201842688 8132 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202472
[startup+12.7024 s]
/proc/loadavg: 2.07 1.84 1.42 3/103 3069
/proc/meminfo: memFree=1734080/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=1.69
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 375 2767 0 0 0 0 168 1 18 0 1 0 4465195 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 238 196 169 0 51 0
[pid=3049] ppid=3041 vsize=197436 CPUtime=6.04
/proc/3049/stat : 3049 (java) S 3041 3041 2729 0 -1 0 13879 0 1 0 587 17 0 0 18 0 10 0 4465367 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3049/statm: 49359 9392 2543 9 0 43942 0
[pid=3059] ppid=3049 vsize=5356 CPUtime=0
/proc/3059/stat : 3059 (abscon) S 3049 3041 2729 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 4465981 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3059/statm: 1339 237 196 169 0 50 0
[pid=3060] ppid=3059 vsize=654932 CPUtime=4.76
/proc/3060/stat : 3060 (java) S 3059 3041 2729 0 -1 0 19159 0 1 0 468 8 0 0 25 0 9 0 4465982 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3060/statm: 163733 18471 2613 9 0 158261 0
[pid=3060/tid=3062] ppid=3059 vsize=654932 CPUtime=4.46
/proc/3060/task/3062/stat : 3062 (java) R 3059 3041 2729 0 -1 64 12522 0 1 0 441 5 0 0 25 0 9 0 4465982 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4126720805 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3063] ppid=3059 vsize=654932 CPUtime=0.09
/proc/3060/task/3063/stat : 3063 (java) S 3059 3041 2729 0 -1 64 5717 0 0 0 8 1 0 0 16 0 9 0 4465984 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3064] ppid=3059 vsize=654932 CPUtime=0
/proc/3060/task/3064/stat : 3064 (java) S 3059 3041 2729 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4465984 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3065] ppid=3059 vsize=654932 CPUtime=0
/proc/3060/task/3065/stat : 3065 (java) S 3059 3041 2729 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4465984 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3066] ppid=3059 vsize=654932 CPUtime=0
/proc/3060/task/3066/stat : 3066 (java) S 3059 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4465986 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3067] ppid=3059 vsize=654932 CPUtime=0.18
/proc/3060/task/3067/stat : 3067 (java) S 3059 3041 2729 0 -1 64 375 0 0 0 18 0 0 0 16 0 9 0 4465986 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3068] ppid=3059 vsize=654932 CPUtime=0
/proc/3060/task/3068/stat : 3068 (java) S 3059 3041 2729 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 4465986 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3069] ppid=3059 vsize=654932 CPUtime=0
/proc/3060/task/3069/stat : 3069 (java) S 3059 3041 2729 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4465986 670650368 18471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3061] ppid=3059 vsize=7044 CPUtime=0
/proc/3061/stat : 3061 (translate) S 3059 3041 2729 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4465982 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 210824298578 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/3061/statm: 1761 213 182 1 0 41 0
[pid=3049/tid=3050] ppid=3041 vsize=197436 CPUtime=4.74
/proc/3049/task/3050/stat : 3050 (java) S 3041 3041 2729 0 -1 64 3854 0 1 0 468 6 0 0 24 0 10 0 4465368 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3049/tid=3051] ppid=3041 vsize=197436 CPUtime=1.08
/proc/3049/task/3051/stat : 3051 (java) S 3041 3041 2729 0 -1 64 8569 0 0 0 98 10 0 0 16 0 10 0 4465369 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3052] ppid=3041 vsize=197436 CPUtime=0
/proc/3049/task/3052/stat : 3052 (java) S 3041 3041 2729 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 4465369 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3053] ppid=3041 vsize=197436 CPUtime=0
/proc/3049/task/3053/stat : 3053 (java) S 3041 3041 2729 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 4465369 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3054] ppid=3041 vsize=197436 CPUtime=0
/proc/3049/task/3054/stat : 3054 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 4465371 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3055] ppid=3041 vsize=197436 CPUtime=0.2
/proc/3049/task/3055/stat : 3055 (java) S 3041 3041 2729 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 4465371 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3056] ppid=3041 vsize=197436 CPUtime=0
/proc/3049/task/3056/stat : 3056 (java) S 3041 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 4465372 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3057] ppid=3041 vsize=197436 CPUtime=0
/proc/3049/task/3057/stat : 3057 (java) S 3041 3041 2729 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4465372 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3049/tid=3058] ppid=3041 vsize=197436 CPUtime=0
/proc/3049/task/3058/stat : 3058 (java) S 3041 3041 2729 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 4465981 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 870128
[startup+25.504 s]
/proc/loadavg: 2.14 1.86 1.44 3/103 3069
/proc/meminfo: memFree=1734144/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=1.69
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 375 2767 0 0 0 0 168 1 18 0 1 0 4465195 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 238 196 169 0 51 0
[pid=3049] ppid=3041 vsize=197436 CPUtime=6.04
/proc/3049/stat : 3049 (java) S 3041 3041 2729 0 -1 0 13879 0 1 0 587 17 0 0 18 0 10 0 4465367 202174464 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3049/statm: 49359 9392 2543 9 0 43942 0
[pid=3059] ppid=3049 vsize=5356 CPUtime=0
/proc/3059/stat : 3059 (abscon) S 3049 3041 2729 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 4465981 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3059/statm: 1339 237 196 169 0 50 0
[pid=3060] ppid=3059 vsize=654932 CPUtime=17.38
/proc/3060/stat : 3060 (java) S 3059 3041 2729 0 -1 0 19181 0 1 0 1729 9 0 0 25 0 9 0 4465982 670650368 18486 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3060/statm: 163733 18486 2613 9 0 158261 0
[pid=3060/tid=3062] ppid=3059 vsize=654932 CPUtime=17.04
/proc/3060/task/3062/stat : 3062 (java) R 3059 3041 2729 0 -1 64 12524 0 1 0 1698 6 0 0 25 0 9 0 4465982 670650368 18486 996147200 134512640 134550740 4294955808 18446744073709551615 4126721246 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3060/tid=3063] ppid=3059 vsize=654932 CPUtime=0.09
################
# More data... #
################
/proc/3049/statm: 49440 9399 2544 9 0 44023 0
[pid=3074] ppid=3049 vsize=5356 CPUtime=0
/proc/3074/stat : 3074 (choco) S 3049 3041 2729 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 4578556 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3074/statm: 1339 238 197 169 0 50 0
[pid=3075] ppid=3074 vsize=654992 CPUtime=578.07
/proc/3075/stat : 3075 (java) S 3074 3041 2729 0 -1 0 19934 0 1 0 57789 18 0 0 18 0 9 0 4578558 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3075/statm: 163748 19495 1903 9 0 158277 0
[pid=3075/tid=3076] ppid=3074 vsize=654992 CPUtime=577.81
/proc/3075/task/3076/stat : 3076 (java) R 3074 3041 2729 0 -1 64 12072 0 1 0 57768 13 0 0 25 0 9 0 4578558 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4126562219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3077] ppid=3074 vsize=654992 CPUtime=0.09
/proc/3075/task/3077/stat : 3077 (java) S 3074 3041 2729 0 -1 64 6940 0 0 0 6 3 0 0 16 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3078] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3078/stat : 3078 (java) S 3074 3041 2729 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3079] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3079/stat : 3079 (java) S 3074 3041 2729 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3080] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3080/stat : 3080 (java) S 3074 3041 2729 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3081] ppid=3074 vsize=654992 CPUtime=0.13
/proc/3075/task/3081/stat : 3081 (java) S 3074 3041 2729 0 -1 64 368 0 0 0 13 0 0 0 16 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3082] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3082/stat : 3082 (java) S 3074 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3083] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3083/stat : 3083 (java) S 3074 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3050] ppid=3041 vsize=197760 CPUtime=1120.92
/proc/3049/task/3050/stat : 3050 (java) S 3041 3041 2729 0 -1 64 4022 22220 1 1 468 6 111603 15 16 0 10 0 4465368 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3049/tid=3051] ppid=3041 vsize=197760 CPUtime=1117.26
/proc/3049/task/3051/stat : 3051 (java) S 3041 3041 2729 0 -1 64 8605 22220 0 1 98 10 111603 15 16 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3052] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3052/stat : 3052 (java) S 3041 3041 2729 0 -1 64 10 22220 0 1 0 0 111603 15 16 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3053] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3053/stat : 3053 (java) S 3041 3041 2729 0 -1 64 6 22220 0 1 0 0 111603 15 15 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3054] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3054/stat : 3054 (java) S 3041 3041 2729 0 -1 64 1 22220 0 1 0 0 111603 15 18 0 10 0 4465371 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3055] ppid=3041 vsize=197760 CPUtime=1116.38
/proc/3049/task/3055/stat : 3055 (java) S 3041 3041 2729 0 -1 64 717 22220 0 1 20 0 111603 15 16 0 10 0 4465371 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3056] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3056/stat : 3056 (java) S 3041 3041 2729 0 -1 64 1 22220 0 1 0 0 111603 15 19 0 10 0 4465372 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3057] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3057/stat : 3057 (java) S 3041 3041 2729 0 -1 64 33 22220 0 1 0 0 111603 15 15 0 10 0 4465372 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3049/tid=3073] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3073/stat : 3073 (java) S 3041 3041 2729 0 -1 64 53 22220 0 1 0 0 111603 15 17 0 10 0 4578556 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1702
Current children cumulated vsize (KiB) 863468
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.90 3/103 3130
/proc/meminfo: memFree=1282416/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=1.69
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 375 2767 0 0 0 0 168 1 18 0 1 0 4465195 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 238 196 169 0 51 0
[pid=3049] ppid=3041 vsize=197760 CPUtime=1122.24
/proc/3049/stat : 3049 (java) S 3041 3041 2729 0 -1 0 14284 22220 1 1 588 18 111603 15 18 0 10 0 4465367 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3049/statm: 49440 9399 2544 9 0 44023 0
[pid=3074] ppid=3049 vsize=5356 CPUtime=0
/proc/3074/stat : 3074 (choco) S 3049 3041 2729 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 4578556 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3074/statm: 1339 238 197 169 0 50 0
[pid=3075] ppid=3074 vsize=654992 CPUtime=636.91
/proc/3075/stat : 3075 (java) S 3074 3041 2729 0 -1 0 19935 0 1 0 63672 19 0 0 18 0 9 0 4578558 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3075/statm: 163748 19495 1903 9 0 158277 0
[pid=3075/tid=3076] ppid=3074 vsize=654992 CPUtime=636.65
/proc/3075/task/3076/stat : 3076 (java) R 3074 3041 2729 0 -1 64 12073 0 1 0 63651 14 0 0 25 0 9 0 4578558 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4125952068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3077] ppid=3074 vsize=654992 CPUtime=0.09
/proc/3075/task/3077/stat : 3077 (java) S 3074 3041 2729 0 -1 64 6940 0 0 0 6 3 0 0 16 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3078] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3078/stat : 3078 (java) S 3074 3041 2729 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3079] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3079/stat : 3079 (java) S 3074 3041 2729 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3080] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3080/stat : 3080 (java) S 3074 3041 2729 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3081] ppid=3074 vsize=654992 CPUtime=0.13
/proc/3075/task/3081/stat : 3081 (java) S 3074 3041 2729 0 -1 64 368 0 0 0 13 0 0 0 16 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3082] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3082/stat : 3082 (java) S 3074 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3083] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3083/stat : 3083 (java) S 3074 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3050] ppid=3041 vsize=197760 CPUtime=1120.92
/proc/3049/task/3050/stat : 3050 (java) S 3041 3041 2729 0 -1 64 4022 22220 1 1 468 6 111603 15 16 0 10 0 4465368 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3049/tid=3051] ppid=3041 vsize=197760 CPUtime=1117.26
/proc/3049/task/3051/stat : 3051 (java) S 3041 3041 2729 0 -1 64 8605 22220 0 1 98 10 111603 15 16 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3052] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3052/stat : 3052 (java) S 3041 3041 2729 0 -1 64 10 22220 0 1 0 0 111603 15 16 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3053] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3053/stat : 3053 (java) S 3041 3041 2729 0 -1 64 6 22220 0 1 0 0 111603 15 15 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3054] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3054/stat : 3054 (java) S 3041 3041 2729 0 -1 64 1 22220 0 1 0 0 111603 15 18 0 10 0 4465371 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3055] ppid=3041 vsize=197760 CPUtime=1116.38
/proc/3049/task/3055/stat : 3055 (java) S 3041 3041 2729 0 -1 64 717 22220 0 1 20 0 111603 15 16 0 10 0 4465371 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3056] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3056/stat : 3056 (java) S 3041 3041 2729 0 -1 64 1 22220 0 1 0 0 111603 15 19 0 10 0 4465372 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3057] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3057/stat : 3057 (java) S 3041 3041 2729 0 -1 64 33 22220 0 1 0 0 111603 15 15 0 10 0 4465372 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3049/tid=3073] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3073/stat : 3073 (java) S 3041 3041 2729 0 -1 64 53 22220 0 1 0 0 111603 15 17 0 10 0 4578556 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1760.84
Current children cumulated vsize (KiB) 863468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1822.3 s]
/proc/loadavg: 2.02 2.03 1.91 3/103 3130
/proc/meminfo: memFree=1182512/2055920 swapFree=4192956/4192956
[pid=3041] ppid=3039 vsize=5360 CPUtime=1.69
/proc/3041/stat : 3041 (hydra) S 3039 3041 2729 0 -1 4194304 375 2767 0 0 0 0 168 1 18 0 1 0 4465195 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3041/statm: 1340 238 196 169 0 51 0
[pid=3049] ppid=3041 vsize=197760 CPUtime=1122.24
/proc/3049/stat : 3049 (java) S 3041 3041 2729 0 -1 0 14284 22220 1 1 588 18 111603 15 18 0 10 0 4465367 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3049/statm: 49440 9399 2544 9 0 44023 0
[pid=3074] ppid=3049 vsize=5356 CPUtime=0
/proc/3074/stat : 3074 (choco) S 3049 3041 2729 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 4578556 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/3074/statm: 1339 238 197 169 0 50 0
[pid=3075] ppid=3074 vsize=654992 CPUtime=676.12
/proc/3075/stat : 3075 (java) S 3074 3041 2729 0 -1 0 19936 0 1 0 67593 19 0 0 18 0 9 0 4578558 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3075/statm: 163748 19495 1903 9 0 158277 0
[pid=3075/tid=3076] ppid=3074 vsize=654992 CPUtime=675.87
/proc/3075/task/3076/stat : 3076 (java) R 3074 3041 2729 0 -1 64 12074 0 1 0 67573 14 0 0 25 0 9 0 4578558 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4126562165 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3077] ppid=3074 vsize=654992 CPUtime=0.09
/proc/3075/task/3077/stat : 3077 (java) S 3074 3041 2729 0 -1 64 6940 0 0 0 6 3 0 0 16 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3078] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3078/stat : 3078 (java) S 3074 3041 2729 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3079] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3079/stat : 3079 (java) S 3074 3041 2729 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 4578560 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3080] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3080/stat : 3080 (java) S 3074 3041 2729 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3081] ppid=3074 vsize=654992 CPUtime=0.13
/proc/3075/task/3081/stat : 3081 (java) S 3074 3041 2729 0 -1 64 368 0 0 0 13 0 0 0 16 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3082] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3082/stat : 3082 (java) S 3074 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3075/tid=3083] ppid=3074 vsize=654992 CPUtime=0
/proc/3075/task/3083/stat : 3083 (java) S 3074 3041 2729 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4578562 670711808 19495 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3050] ppid=3041 vsize=197760 CPUtime=1120.92
/proc/3049/task/3050/stat : 3050 (java) S 3041 3041 2729 0 -1 64 4022 22220 1 1 468 6 111603 15 16 0 10 0 4465368 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=3049/tid=3051] ppid=3041 vsize=197760 CPUtime=1117.26
/proc/3049/task/3051/stat : 3051 (java) S 3041 3041 2729 0 -1 64 8605 22220 0 1 98 10 111603 15 16 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3052] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3052/stat : 3052 (java) S 3041 3041 2729 0 -1 64 10 22220 0 1 0 0 111603 15 16 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3053] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3053/stat : 3053 (java) S 3041 3041 2729 0 -1 64 6 22220 0 1 0 0 111603 15 15 0 10 0 4465369 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3054] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3054/stat : 3054 (java) S 3041 3041 2729 0 -1 64 1 22220 0 1 0 0 111603 15 18 0 10 0 4465371 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3055] ppid=3041 vsize=197760 CPUtime=1116.38
/proc/3049/task/3055/stat : 3055 (java) S 3041 3041 2729 0 -1 64 717 22220 0 1 20 0 111603 15 16 0 10 0 4465371 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3056] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3056/stat : 3056 (java) S 3041 3041 2729 0 -1 64 1 22220 0 1 0 0 111603 15 19 0 10 0 4465372 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3049/tid=3057] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3057/stat : 3057 (java) S 3041 3041 2729 0 -1 64 33 22220 0 1 0 0 111603 15 15 0 10 0 4465372 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3049/tid=3073] ppid=3041 vsize=197760 CPUtime=1116.18
/proc/3049/task/3073/stat : 3073 (java) S 3041 3041 2729 0 -1 64 53 22220 0 1 0 0 111603 15 17 0 10 0 4578556 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 863468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3041 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=688743
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 1.70374
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1822.34
CPU time (s): 1800.05
CPU user time (s): 1799.52
CPU system time (s): 0.53
CPU usage (%): 98.7771
Max. virtual memory (cumulated for all children) (KiB): 870128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.68874
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3142
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= 29
involuntary context switches= 29
runsolver used 5.40418 second user time and 13.8329 second system time
The end