0.00/0.00 c cpHydra_k_10 version 0.0
7.27/7.47 c CASE TO CLASSIFY:
7.27/7.47 c Case: 0
7.27/7.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.137600 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.819420 | c 14 > 6.442940 | c 11 > 5.614710 | c 12 > 5.164190 | 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.27/7.48 c choco : 1801.0
7.27/7.48 c mistral : 1801.0
7.27/7.48 c abscon : 1801.0
7.27/7.48 c
7.27/7.48 c
7.37/7.56 c List of same ones: 10
7.37/7.56 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-7_ext.xml
7.37/7.56 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.37/7.57 c choco : 1801.0
7.37/7.57 c mistral : 54.51
7.37/7.57 c abscon : 6.72
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-8_ext.xml
7.37/7.57 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.37/7.58 c choco : 1801.0
7.37/7.58 c mistral : 717.88
7.37/7.58 c abscon : 1801.0
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-7_ext.xml
7.37/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.867500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 4.876290 | c 14 > 6.988680 | c 11 > 5.129280 | c 12 > 6.104340 | 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.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.829720 | c 31 > -1.000000 | c 4 > 5.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 14.28
7.37/7.59 c mistral : 10.24
7.37/7.59 c abscon : 5.09
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-7_ext.xml
7.37/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.338500 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 3.888940 | c 14 > 7.562240 | c 11 > 5.614710 | c 12 > 6.084430 | 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.37/7.60 c choco : 374.35
7.37/7.60 c mistral : 168.5
7.37/7.60 c abscon : 32.25
7.37/7.60 c
7.37/7.60 c
7.37/7.60 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg7-9_ext.xml
7.37/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.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.45/7.61 c choco : 1801.0
7.45/7.61 c mistral : 629.74
7.45/7.61 c abscon : 1801.0
7.45/7.61 c
7.45/7.61 c
7.45/7.61 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg6-9_ext.xml
7.45/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.111100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.236350 | c 14 > 7.108520 | c 11 > 5.754890 | c 12 > 5.768180 | 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.45/7.62 c choco : 1801.0
7.45/7.62 c mistral : 661.42
7.45/7.62 c abscon : 1801.0
7.45/7.62 c
7.45/7.62 c
7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg7-7_ext.xml
7.45/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.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.45/7.63 c choco : 111.31
7.45/7.63 c mistral : 1801.0
7.45/7.63 c abscon : 44.67
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-9_ext.xml
7.45/7.63 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.45/7.63 c choco : 565.32
7.45/7.63 c mistral : 112.49
7.45/7.63 c abscon : 85.82
7.45/7.63 c
7.45/7.63 c
7.45/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-9_ext.xml
7.45/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.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.45/7.64 c choco : 1137.53
7.45/7.64 c mistral : 298.41
7.45/7.64 c abscon : 1801.0
7.45/7.64 c
7.45/7.64 c
7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg5-9_ext.xml
7.45/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.228000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 4.132830 | c 14 > 7.577430 | c 11 > 5.491850 | c 12 > 6.683700 | 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.45/7.65 c choco : 1801.0
7.45/7.65 c mistral : 256.55
7.45/7.65 c abscon : 1801.0
7.45/7.65 c
7.45/7.65 c
7.64/7.88 c Length: 10
7.64/7.88 c 1.4058466768819424 1.4626346103179697 1.7686090589217276 1.883259936386902 2.2660049575850447 2.44912201570277 2.5215366468683342 2.6174069201406187 2.6356778742289433 2.9880503990896803
7.64/7.88 c
7.64/7.88 c 1.0 0.9653519081439607 0.8134865274785176 0.7682028922154442 0.6478170395387932 0.602634294705778 0.5864588833820843 0.5663340717989366 0.5626543650667988 0.5
7.64/7.89 c
7.64/7.89 c solver 0
7.64/7.89 c before 0.0 seconds: {} 0
7.64/7.89 c before 18.0 seconds: {0, 2} 1813
7.64/7.89 c before 36.0 seconds: {0, 2, 3} 2581
7.64/7.89 c before 54.0 seconds: {0, 2, 3, 6} 3168
7.64/7.89 c before 90.0 seconds: {0, 2, 3, 6, 7} 3734
7.64/7.89 c
7.64/7.89 c solver 1
7.64/7.89 c before 0.0 seconds: {} 0
7.64/7.89 c before 18.0 seconds: {2} 813
7.64/7.89 c before 72.0 seconds: {0, 2} 1813
7.64/7.89 c before 126.0 seconds: {0, 2, 7} 2379
7.64/7.89 c before 180.0 seconds: {0, 2, 3, 7} 3148
7.64/7.89 c before 270.0 seconds: {0, 2, 3, 7, 9} 3648
7.64/7.89 c before 306.0 seconds: {0, 2, 3, 7, 8, 9} 4210
7.64/7.89 c before 630.0 seconds: {0, 2, 3, 4, 7, 8, 9} 4858
7.64/7.89 c before 666.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9} 5461
7.64/7.89 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6426
7.64/7.89 c
7.64/7.89 c solver 2
7.64/7.89 c before 0.0 seconds: {} 0
7.64/7.89 c before 18.0 seconds: {2} 813
7.64/7.89 c before 126.0 seconds: {2, 6} 1399
7.64/7.89 c before 378.0 seconds: {2, 3, 6} 2168
7.64/7.89 c before 576.0 seconds: {2, 3, 6, 7} 2734
7.64/7.89 c before 1152.0 seconds: {2, 3, 6, 7, 8} 3297
7.64/7.89 c
7.64/7.89 cTotal time: 109
7.64/7.89 c run abscon for 90.0 seconds {0, 2, 3, 6, 7} 3734
7.64/7.89 c run mistral for 720.0 seconds {0, 1, 2, 3, 4, 5, 7, 8, 9} 6426
7.64/7.89 c run choco for 576.0 seconds {2, 3, 6, 7} 2734
7.64/7.89 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.64/7.89 c On Instance: HOME/instance-1107654-1215477906.xml
7.64/7.89 c Running for: 90 seconds
13.02/13.22 s SAT
13.02/13.22 v 0 14 17 8 18 19 4 18 19 14 10 4 17 18 19 4 19 4 17 0 18 0 17 0 1 8 2 0 1 0 13 0 13 4 17 11 8 6 13 4 13 19 4 18 18 0 17 19 0
13.02/13.22 d ASSIGNMENTS 2296
13.02/13.22 d CHECKS 3562
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1107654-1215477906/watcher-1107654-1215477906 -o /tmp/evaluation-result-1107654-1215477906/solver-1107654-1215477906 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1107654-1215477906.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.04 2.00 4/81 5735
/proc/meminfo: memFree=1544728/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=0
/proc/5735/stat : 5735 (hydra) R 5733 5735 2806 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 4492579 5488640 230 996147200 4194304 4889804 548682068816 18446744073709551615 4451952 0 0 4100 65536 0 0 0 17 1 0 0
/proc/5735/statm: 1340 230 191 169 0 51 0
[startup+0.162631 s]
/proc/loadavg: 2.01 2.04 2.00 4/81 5735
/proc/meminfo: memFree=1544728/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=0
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 4492579 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201644 s]
/proc/loadavg: 2.01 2.04 2.00 4/81 5735
/proc/meminfo: memFree=1544728/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=0
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 4492579 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301659 s]
/proc/loadavg: 2.01 2.04 2.00 4/81 5735
/proc/meminfo: memFree=1544728/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=0
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 4492579 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70978 s]
/proc/loadavg: 2.01 2.04 2.00 4/81 5735
/proc/meminfo: memFree=1544728/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=0
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 4492579 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50187 s]
/proc/loadavg: 2.01 2.04 2.00 3/83 5739
/proc/meminfo: memFree=1540808/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=0
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 4492579 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 236 195 169 0 51 0
[pid=5739] ppid=5735 vsize=7256 CPUtime=1.45
/proc/5739/stat : 5739 (xsolve) R 5735 5735 2806 0 -1 4194304 1140 0 0 0 143 2 0 0 25 0 1 0 4492580 7430144 1099 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/5739/statm: 1814 1099 410 177 0 717 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 12616
[startup+3.10216 s]
/proc/loadavg: 2.01 2.04 2.00 3/91 5751
/proc/meminfo: memFree=1536840/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=1.54
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 375 1737 0 0 0 0 152 2 19 0 1 0 4492579 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 238 196 169 0 51 0
[pid=5743] ppid=5735 vsize=196984 CPUtime=1.48
/proc/5743/stat : 5743 (java) S 5735 5735 2806 0 -1 0 5145 0 1 0 141 7 0 0 18 0 9 0 4492738 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5743/statm: 49246 4306 1678 9 0 43829 0
[pid=5743/tid=5744] ppid=5735 vsize=196984 CPUtime=1.13
/proc/5743/task/5744/stat : 5744 (java) R 5735 5735 2806 0 -1 64 2763 0 1 0 110 3 0 0 25 0 9 0 4492739 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5745] ppid=5735 vsize=196984 CPUtime=0.16
/proc/5743/task/5745/stat : 5745 (java) S 5735 5735 2806 0 -1 64 1048 0 0 0 14 2 0 0 15 0 9 0 4492740 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5746] ppid=5735 vsize=196984 CPUtime=0
/proc/5743/task/5746/stat : 5746 (java) S 5735 5735 2806 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 4492740 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5747] ppid=5735 vsize=196984 CPUtime=0
/proc/5743/task/5747/stat : 5747 (java) S 5735 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4492740 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5748] ppid=5735 vsize=196984 CPUtime=0
/proc/5743/task/5748/stat : 5748 (java) S 5735 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4492743 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5749] ppid=5735 vsize=196984 CPUtime=0.16
/proc/5743/task/5749/stat : 5749 (java) S 5735 5735 2806 0 -1 64 610 0 0 0 16 0 0 0 16 0 9 0 4492743 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5750] ppid=5735 vsize=196984 CPUtime=0
/proc/5743/task/5750/stat : 5750 (java) S 5735 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 4492743 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5751] ppid=5735 vsize=196984 CPUtime=0
/proc/5743/task/5751/stat : 5751 (java) S 5735 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4492743 201711616 4306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 202344
[startup+6.30193 s]
/proc/loadavg: 2.01 2.03 2.00 3/91 5751
/proc/meminfo: memFree=1524296/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=1.54
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 375 1737 0 0 0 0 152 2 19 0 1 0 4492579 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 238 196 169 0 51 0
[pid=5743] ppid=5735 vsize=197092 CPUtime=4.64
/proc/5743/stat : 5743 (java) S 5735 5735 2806 0 -1 0 9901 0 1 0 450 14 0 0 18 0 9 0 4492738 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5743/statm: 49273 8207 2540 9 0 43856 0
[pid=5743/tid=5744] ppid=5735 vsize=197092 CPUtime=3.61
/proc/5743/task/5744/stat : 5744 (java) R 5735 5735 2806 0 -1 64 3534 0 1 0 356 5 0 0 25 0 9 0 4492739 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5745] ppid=5735 vsize=197092 CPUtime=0.81
/proc/5743/task/5745/stat : 5745 (java) S 5735 5735 2806 0 -1 64 5017 0 0 0 74 7 0 0 15 0 9 0 4492740 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5746] ppid=5735 vsize=197092 CPUtime=0
/proc/5743/task/5746/stat : 5746 (java) S 5735 5735 2806 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 4492740 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5747] ppid=5735 vsize=197092 CPUtime=0
/proc/5743/task/5747/stat : 5747 (java) S 5735 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4492740 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5748] ppid=5735 vsize=197092 CPUtime=0
/proc/5743/task/5748/stat : 5748 (java) S 5735 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4492743 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5749] ppid=5735 vsize=197092 CPUtime=0.19
/proc/5743/task/5749/stat : 5749 (java) S 5735 5735 2806 0 -1 64 626 0 0 0 19 0 0 0 16 0 9 0 4492743 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5750] ppid=5735 vsize=197092 CPUtime=0
/proc/5743/task/5750/stat : 5750 (java) S 5735 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 4492743 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5751] ppid=5735 vsize=197092 CPUtime=0
/proc/5743/task/5751/stat : 5751 (java) S 5735 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4492743 201822208 8207 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 202452
[startup+12.7028 s]
/proc/loadavg: 2.09 2.05 2.01 3/103 5763
/proc/meminfo: memFree=1473960/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=1.54
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 375 1737 0 0 0 0 152 2 19 0 1 0 4492579 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 238 196 169 0 51 0
[pid=5743] ppid=5735 vsize=197416 CPUtime=6.2
/proc/5743/stat : 5743 (java) S 5735 5735 2806 0 -1 0 13870 0 1 0 601 19 0 0 18 0 10 0 4492738 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5743/statm: 49354 9386 2543 9 0 43937 0
[pid=5753] ppid=5743 vsize=5356 CPUtime=0
/proc/5753/stat : 5753 (abscon) S 5743 5735 2806 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 4493369 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 253307183940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5753/statm: 1339 237 196 169 0 50 0
[pid=5754] ppid=5753 vsize=654928 CPUtime=4.78
/proc/5754/stat : 5754 (java) S 5753 5735 2806 0 -1 0 13673 0 1 0 468 10 0 0 18 0 9 0 4493369 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5754/statm: 163732 12986 2610 9 0 158260 0
[pid=5754/tid=5756] ppid=5753 vsize=654928 CPUtime=4.51
/proc/5754/task/5756/stat : 5756 (java) R 5753 5735 2806 0 -1 64 9987 0 1 0 444 7 0 0 25 0 9 0 4493370 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4126713611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5757] ppid=5753 vsize=654928 CPUtime=0.06
/proc/5754/task/5757/stat : 5757 (java) S 5753 5735 2806 0 -1 64 2760 0 0 0 5 1 0 0 16 0 9 0 4493371 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5758] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5758/stat : 5758 (java) S 5753 5735 2806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4493372 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5759] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5759/stat : 5759 (java) S 5753 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4493372 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5760] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5760/stat : 5760 (java) S 5753 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5761] ppid=5753 vsize=654928 CPUtime=0.19
/proc/5754/task/5761/stat : 5761 (java) S 5753 5735 2806 0 -1 64 381 0 0 0 19 0 0 0 15 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5762] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5762/stat : 5762 (java) S 5753 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5763] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5763/stat : 5763 (java) S 5753 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5755] ppid=5753 vsize=7044 CPUtime=0
/proc/5755/stat : 5755 (translate) S 5753 5735 2806 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4493369 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 253307355218 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/5755/statm: 1761 213 182 1 0 41 0
[pid=5743/tid=5744] ppid=5735 vsize=197416 CPUtime=4.73
/proc/5743/task/5744/stat : 5744 (java) S 5735 5735 2806 0 -1 64 3851 0 1 0 467 6 0 0 25 0 10 0 4492739 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5743/tid=5745] ppid=5735 vsize=197416 CPUtime=1.22
/proc/5743/task/5745/stat : 5745 (java) S 5735 5735 2806 0 -1 64 8570 0 0 0 111 11 0 0 16 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5746] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5746/stat : 5746 (java) S 5735 5735 2806 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5747] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5747/stat : 5747 (java) S 5735 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5748] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5748/stat : 5748 (java) S 5735 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5749] ppid=5735 vsize=197416 CPUtime=0.22
/proc/5743/task/5749/stat : 5749 (java) S 5735 5735 2806 0 -1 64 642 0 0 0 22 0 0 0 16 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5750] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5750/stat : 5750 (java) S 5735 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5751] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5751/stat : 5751 (java) S 5735 5735 2806 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5752] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5752/stat : 5752 (java) S 5735 5735 2806 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 4493369 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 870104
Solver just ended. Dumping a history of the last processes samples
[startup+12.8038 s]
/proc/loadavg: 2.09 2.05 2.01 3/103 5763
/proc/meminfo: memFree=1473960/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=1.54
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 375 1737 0 0 0 0 152 2 19 0 1 0 4492579 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 238 196 169 0 51 0
[pid=5743] ppid=5735 vsize=197416 CPUtime=6.2
/proc/5743/stat : 5743 (java) S 5735 5735 2806 0 -1 0 13870 0 1 0 601 19 0 0 18 0 10 0 4492738 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5743/statm: 49354 9386 2543 9 0 43937 0
[pid=5753] ppid=5743 vsize=5356 CPUtime=0
/proc/5753/stat : 5753 (abscon) S 5743 5735 2806 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 4493369 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 253307183940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5753/statm: 1339 237 196 169 0 50 0
[pid=5754] ppid=5753 vsize=654928 CPUtime=4.89
/proc/5754/stat : 5754 (java) S 5753 5735 2806 0 -1 0 13673 0 1 0 479 10 0 0 18 0 9 0 4493369 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5754/statm: 163732 12986 2610 9 0 158260 0
[pid=5754/tid=5756] ppid=5753 vsize=654928 CPUtime=4.61
/proc/5754/task/5756/stat : 5756 (java) R 5753 5735 2806 0 -1 64 9987 0 1 0 454 7 0 0 25 0 9 0 4493370 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4126714049 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5757] ppid=5753 vsize=654928 CPUtime=0.06
/proc/5754/task/5757/stat : 5757 (java) S 5753 5735 2806 0 -1 64 2760 0 0 0 5 1 0 0 16 0 9 0 4493371 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5758] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5758/stat : 5758 (java) S 5753 5735 2806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4493372 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5759] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5759/stat : 5759 (java) S 5753 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4493372 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5760] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5760/stat : 5760 (java) S 5753 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5761] ppid=5753 vsize=654928 CPUtime=0.19
/proc/5754/task/5761/stat : 5761 (java) S 5753 5735 2806 0 -1 64 381 0 0 0 19 0 0 0 15 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5762] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5762/stat : 5762 (java) S 5753 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5763] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5763/stat : 5763 (java) S 5753 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4493374 670646272 12986 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5755] ppid=5753 vsize=7044 CPUtime=0
/proc/5755/stat : 5755 (translate) S 5753 5735 2806 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 4493369 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 253307355218 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/5755/statm: 1761 213 182 1 0 41 0
[pid=5743/tid=5744] ppid=5735 vsize=197416 CPUtime=4.73
/proc/5743/task/5744/stat : 5744 (java) S 5735 5735 2806 0 -1 64 3851 0 1 0 467 6 0 0 25 0 10 0 4492739 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=5743/tid=5745] ppid=5735 vsize=197416 CPUtime=1.22
/proc/5743/task/5745/stat : 5745 (java) S 5735 5735 2806 0 -1 64 8570 0 0 0 111 11 0 0 16 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5746] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5746/stat : 5746 (java) S 5735 5735 2806 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5747] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5747/stat : 5747 (java) S 5735 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5748] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5748/stat : 5748 (java) S 5735 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5749] ppid=5735 vsize=197416 CPUtime=0.22
/proc/5743/task/5749/stat : 5749 (java) S 5735 5735 2806 0 -1 64 642 0 0 0 22 0 0 0 16 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5750] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5750/stat : 5750 (java) S 5735 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5751] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5751/stat : 5751 (java) S 5735 5735 2806 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5752] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5752/stat : 5752 (java) S 5735 5735 2806 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 4493369 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 870104
[startup+13.2029 s]
/proc/loadavg: 2.08 2.05 2.00 2/102 5763
/proc/meminfo: memFree=1473968/2055920 swapFree=4192812/4192956
[pid=5735] ppid=5733 vsize=5360 CPUtime=1.54
/proc/5735/stat : 5735 (hydra) S 5733 5735 2806 0 -1 4194304 375 1737 0 0 0 0 152 2 19 0 1 0 4492579 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5735/statm: 1340 238 196 169 0 51 0
[pid=5743] ppid=5735 vsize=197416 CPUtime=6.2
/proc/5743/stat : 5743 (java) S 5735 5735 2806 0 -1 0 13874 0 1 0 601 19 0 0 18 0 10 0 4492738 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5743/statm: 49354 9386 2543 9 0 43937 0
[pid=5753] ppid=5743 vsize=5356 CPUtime=0
/proc/5753/stat : 5753 (abscon) S 5743 5735 2806 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 4493369 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 253307183940 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/5753/statm: 1339 237 196 169 0 50 0
[pid=5754] ppid=5753 vsize=654928 CPUtime=5.28
/proc/5754/stat : 5754 (java) S 5753 5735 2806 0 -1 0 13680 0 1 0 518 10 0 0 18 0 9 0 4493369 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5754/statm: 163732 12991 2610 9 0 158260 0
[pid=5754/tid=5756] ppid=5753 vsize=654928 CPUtime=5
/proc/5754/task/5756/stat : 5756 (java) S 5753 5735 2806 0 -1 64 9993 0 1 0 493 7 0 0 25 0 9 0 4493370 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5757] ppid=5753 vsize=654928 CPUtime=0.06
/proc/5754/task/5757/stat : 5757 (java) S 5753 5735 2806 0 -1 64 2760 0 0 0 5 1 0 0 17 0 9 0 4493371 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5758] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5758/stat : 5758 (java) S 5753 5735 2806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 4493372 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5759] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5759/stat : 5759 (java) S 5753 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4493372 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5760] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5760/stat : 5760 (java) S 5753 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 4493374 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5761] ppid=5753 vsize=654928 CPUtime=0.19
/proc/5754/task/5761/stat : 5761 (java) S 5753 5735 2806 0 -1 64 382 0 0 0 19 0 0 0 15 0 9 0 4493374 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5762] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5762/stat : 5762 (java) S 5753 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4493374 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5754/tid=5763] ppid=5753 vsize=654928 CPUtime=0
/proc/5754/task/5763/stat : 5763 (java) S 5753 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4493374 670646272 12991 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5743/tid=5744] ppid=5735 vsize=197416 CPUtime=4.73
/proc/5743/task/5744/stat : 5744 (java) S 5735 5735 2806 0 -1 64 3855 0 1 0 467 6 0 0 16 0 10 0 4492739 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=5743/tid=5745] ppid=5735 vsize=197416 CPUtime=1.22
/proc/5743/task/5745/stat : 5745 (java) S 5735 5735 2806 0 -1 64 8570 0 0 0 111 11 0 0 16 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5746] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5746/stat : 5746 (java) S 5735 5735 2806 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5747] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5747/stat : 5747 (java) S 5735 5735 2806 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 4492740 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5748] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5748/stat : 5748 (java) S 5735 5735 2806 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5749] ppid=5735 vsize=197416 CPUtime=0.22
/proc/5743/task/5749/stat : 5749 (java) S 5735 5735 2806 0 -1 64 642 0 0 0 22 0 0 0 16 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5750] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5750/stat : 5750 (java) S 5735 5735 2806 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5751] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5751/stat : 5751 (java) S 5735 5735 2806 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 4492743 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5743/tid=5752] ppid=5735 vsize=197416 CPUtime=0
/proc/5743/task/5752/stat : 5752 (java) S 5735 5735 2806 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 4493369 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.02
Current children cumulated vsize (KiB) 863060
Child status: 0
Real time (s): 13.2765
CPU time (s): 13.075
CPU user time (s): 12.7311
CPU system time (s): 0.343947
CPU usage (%): 98.4823
Max. virtual memory (cumulated for all children) (KiB): 870104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7311
system time used= 0.343947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30383
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10816
involuntary context switches= 12267
runsolver used 0.041993 second user time and 0.108983 second system time
The end