0.00/0.00 c cpHydra_k_10 version 0.0
7.27/7.48 c CASE TO CLASSIFY:
7.27/7.48 c Case: 0
7.27/7.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.644500 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 2.633100 | c 14 > 5.392320 | c 11 > 6.584960 | c 12 > 3.629360 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.285400 | c 31 > -1.000000 | c 4 > 6.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.27/7.49 c choco : 1801.0
7.27/7.49 c mistral : 1801.0
7.27/7.49 c abscon : 1801.0
7.27/7.49 c
7.27/7.49 c
7.37/7.57 c List of same ones: 10
7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-11_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.387300 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 3.148140 | c 14 > 5.727920 | c 11 > 6.629360 | c 12 > 4.353640 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.329800 | c 31 > -1.000000 | c 4 > 6.629360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 74.98
7.37/7.57 c mistral : 1801.0
7.37/7.57 c abscon : 18.17
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-12_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 > 11.887200 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.393690 | c 14 > 4.392320 | c 11 > 7.044390 | c 12 > 3.885600 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.744800 | c 31 > -1.000000 | c 4 > 7.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 5.64
7.37/7.58 c mistral : 1.5
7.37/7.58 c abscon : 3.88
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-13_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.531600 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.432610 | c 14 > 4.700440 | c 11 > 7.159870 | c 12 > 4.055660 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.860300 | c 31 > -1.000000 | c 4 > 7.159870 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 8.05
7.37/7.59 c mistral : 5.3
7.37/7.59 c abscon : 4.33
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-13_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 > 12.753800 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 4.080950 | c 14 > 5.129280 | c 11 > 6.870360 | c 12 > 4.371020 | 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.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.570800 | c 31 > -1.000000 | c 4 > 6.870360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.61 c choco : 6.72
7.47/7.61 c mistral : 1.44
7.47/7.61 c abscon : 3.61
7.47/7.61 c
7.47/7.61 c
7.47/7.61 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-12_ext.xml
7.47/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.752800 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.820020 | c 14 > 6.409390 | c 11 > 6.754890 | c 12 > 4.616340 | 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.392320 | 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.455300 | c 31 > -1.000000 | c 4 > 6.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.62 c choco : 45.48
7.47/7.62 c mistral : 35.56
7.47/7.62 c abscon : 9.09
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-12_ext.xml
7.47/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.146400 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 4.363580 | c 14 > 5.700440 | c 11 > 6.906890 | c 12 > 4.713330 | 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.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.607300 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 7.99
7.47/7.63 c mistral : 2.61
7.47/7.63 c abscon : 4.77
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-12_ext.xml
7.47/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.957700 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.655180 | c 14 > 6.247930 | c 11 > 6.584960 | c 12 > 4.798740 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.321930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.285400 | c 31 > -1.000000 | c 4 > 6.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 48.06
7.47/7.63 c mistral : 58.98
7.47/7.63 c abscon : 11.24
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg8-11_ext.xml
7.47/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.840900 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 3.762630 | c 14 > 6.087460 | c 11 > 6.459430 | c 12 > 4.816690 | 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.247930 | 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.159900 | c 31 > -1.000000 | c 4 > 6.459430 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.64 c choco : 100.04
7.47/7.64 c mistral : 1801.0
7.47/7.64 c abscon : 25.81
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-13_ext.xml
7.47/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.295200 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.297100 | c 14 > 3.807350 | c 11 > 7.022370 | c 12 > 3.478470 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.523560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.722800 | c 31 > -1.000000 | c 4 > 7.022370 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.65 c choco : 4.84
7.47/7.65 c mistral : 0.74
7.47/7.65 c abscon : 4.34
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-13_ext.xml
7.47/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 13.793200 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.870410 | c 14 > 6.228820 | c 11 > 6.870360 | c 12 > 4.923640 | 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.459430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.570800 | c 31 > -1.000000 | c 4 > 6.870360 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.66 c choco : 24.83
7.47/7.66 c mistral : 13.96
7.47/7.66 c abscon : 5.0
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c Length: 10
7.47/7.66 c 1.568483662650013 1.7004453070887053 1.8366083092483272 1.9976815160830814 2.176520630180196 2.2014080143172 2.206503982072092 2.377588051198104 2.532001701440977 2.5472743127704165
7.47/7.66 c
7.47/7.66 c 1.0 0.8811961540974592 0.7849696388328143 0.6951694901273258 0.6168222932555043 0.6072975985424247 0.6053834793051762 0.5474542011422224 0.5039315612952335 0.5
7.47/7.67 c
7.47/7.67 c solver 0
7.47/7.67 c before 0.0 seconds: {} 0
7.47/7.67 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5194
7.47/7.67 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6742
7.47/7.67 c
7.47/7.67 c solver 1
7.47/7.67 c before 0.0 seconds: {} 0
7.47/7.67 c before 18.0 seconds: {1, 2, 3, 5, 8, 9} 3972
7.47/7.67 c before 36.0 seconds: {1, 2, 3, 4, 5, 8, 9} 4589
7.47/7.67 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5194
7.47/7.67 c
7.47/7.67 c solver 2
7.47/7.67 c before 0.0 seconds: {} 0
7.47/7.67 c before 18.0 seconds: {1, 2, 3, 5, 8} 3472
7.47/7.67 c before 36.0 seconds: {1, 2, 3, 5, 8, 9} 3972
7.47/7.67 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5194
7.47/7.67 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6194
7.47/7.67 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6742
7.47/7.67 c
7.47/7.67 cTotal time: 12
7.47/7.67 c 216.0 seconds unused
7.47/7.67 c 0 c 2 c 0
7.47/7.67 c 0 c 0 c 0
7.47/7.67 c 0 c 2 c 0
7.47/7.67 c is solver0 dominated by:
7.47/7.67 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.47/7.67 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.47/7.67 c is dominated? false
7.47/7.67 c
7.47/7.67 c is solver1 dominated by:
7.47/7.67 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.47/7.67 c is dominated? true
7.47/7.67 c
7.47/7.67 c is solver2 dominated by:
7.47/7.67 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.47/7.67 c is dominated? true
7.47/7.67 c
7.47/7.67 c Number of non-dominated solvers: 1
7.47/7.67 c remove dominated solvers
7.47/7.67 c solver 0 is not dominated by another solver
7.47/7.67 c solver 2 is dominated by another solver
7.47/7.67 c solver 1 is dominated by another solver
7.47/7.67 c
7.47/7.67 c solver 0: 36.0
7.47/7.67 c
7.47/7.67 c+ 2/2 of 98
7.47/7.67 c
7.47/7.67 c solver 1: 0.0
7.47/7.67 c
7.47/7.67 c solver 2: 0.0
7.47/7.68 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6742
7.47/7.68 c do not run mistral
7.47/7.68 c do not run choco
7.47/7.68 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.47/7.68 c On Instance: HOME/instance-1068560-1215155419.xml
7.47/7.68 c Running for: 1800 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-1068560-1215155419/watcher-1068560-1215155419 -o /tmp/evaluation-result-1068560-1215155419/solver-1068560-1215155419 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1068560-1215155419.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.89 1.95 1.98 4/73 20608
/proc/meminfo: memFree=1665448/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=18572 CPUtime=0
/proc/20608/stat : 20608 (runsolver) R 20606 20608 20571 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 421159273 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 224627584295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20608/statm: 4643 292 257 25 0 2626 0
[startup+0.027762 s]
/proc/loadavg: 1.89 1.95 1.98 4/73 20608
/proc/meminfo: memFree=1665448/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 421159273 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10177 s]
/proc/loadavg: 1.89 1.95 1.98 4/73 20608
/proc/meminfo: memFree=1665448/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 421159273 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301805 s]
/proc/loadavg: 1.89 1.95 1.98 4/73 20608
/proc/meminfo: memFree=1665448/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 421159273 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70186 s]
/proc/loadavg: 1.89 1.95 1.98 4/73 20608
/proc/meminfo: memFree=1665448/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 421159273 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50197 s]
/proc/loadavg: 1.89 1.95 1.98 3/75 20612
/proc/meminfo: memFree=1659800/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=0
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 421159273 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 236 195 169 0 51 0
[pid=20612] ppid=20608 vsize=9832 CPUtime=1.46
/proc/20612/stat : 20612 (xsolve) R 20608 20608 20571 0 -1 4194304 1772 0 0 0 146 0 0 0 25 0 1 0 421159274 10067968 1731 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/20612/statm: 2458 1731 410 177 0 1361 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15192
[startup+3.1022 s]
/proc/loadavg: 1.89 1.95 1.98 4/83 20624
/proc/meminfo: memFree=1659216/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=1.64
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 375 2369 0 0 0 0 163 1 18 0 1 0 421159273 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197000 CPUtime=1.39
/proc/20616/stat : 20616 (java) S 20608 20608 20571 0 -1 0 4913 0 1 0 133 6 0 0 18 0 9 0 421159441 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49250 4127 1677 9 0 43833 0
[pid=20616/tid=20617] ppid=20608 vsize=197000 CPUtime=1.11
/proc/20616/task/20617/stat : 20617 (java) R 20608 20608 20571 0 -1 64 2711 0 1 0 109 2 0 0 25 0 9 0 421159443 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4126490990 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197000 CPUtime=0.12
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 20571 0 -1 64 871 0 0 0 10 2 0 0 16 0 9 0 421159444 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197000 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 20571 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 421159444 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197000 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 421159444 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197000 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 421159446 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197000 CPUtime=0.13
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 20571 0 -1 64 605 0 0 0 13 0 0 0 16 0 9 0 421159446 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197000 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 421159446 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197000 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 421159446 201728000 4127 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202360
[startup+6.30166 s]
/proc/loadavg: 2.06 1.99 1.99 3/83 20624
/proc/meminfo: memFree=1645392/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=1.64
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 375 2369 0 0 0 0 163 1 18 0 1 0 421159273 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197108 CPUtime=4.54
/proc/20616/stat : 20616 (java) S 20608 20608 20571 0 -1 0 9834 0 1 0 437 17 0 0 18 0 9 0 421159441 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49277 8160 2540 9 0 43860 0
[pid=20616/tid=20617] ppid=20608 vsize=197108 CPUtime=3.62
/proc/20616/task/20617/stat : 20617 (java) R 20608 20608 20571 0 -1 64 3531 0 1 0 357 5 0 0 19 0 9 0 421159443 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4126455056 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197108 CPUtime=0.73
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 20571 0 -1 64 4949 0 0 0 63 10 0 0 16 0 9 0 421159444 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197108 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 20571 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 421159444 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197108 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 421159444 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197108 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 421159446 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197108 CPUtime=0.18
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 20571 0 -1 64 628 0 0 0 17 1 0 0 16 0 9 0 421159446 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197108 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 421159446 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197108 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 421159446 201838592 8160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 202468
[startup+12.7026 s]
/proc/loadavg: 2.06 1.99 1.99 3/95 20636
/proc/meminfo: memFree=1581872/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=1.64
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 375 2369 0 0 0 0 163 1 18 0 1 0 421159273 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197432 CPUtime=5.87
/proc/20616/stat : 20616 (java) S 20608 20608 20571 0 -1 0 11437 0 1 0 566 21 0 0 18 0 10 0 421159441 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49358 9407 2544 9 0 43941 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 20571 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 421160042 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=654940 CPUtime=4.99
/proc/20627/stat : 20627 (java) S 20626 20608 20571 0 -1 0 16923 0 1 0 490 9 0 0 18 0 9 0 421160043 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163735 16237 2610 9 0 158263 0
[pid=20627/tid=20629] ppid=20626 vsize=654940 CPUtime=4.73
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 20571 0 -1 64 12476 0 1 0 467 6 0 0 25 0 9 0 421160043 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4126744898 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=654940 CPUtime=0.06
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 20571 0 -1 64 3526 0 0 0 5 1 0 0 16 0 9 0 421160045 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 20571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 421160045 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 421160045 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 20571 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 421160047 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=654940 CPUtime=0.17
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 20571 0 -1 64 377 0 0 0 17 0 0 0 15 0 9 0 421160047 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 421160047 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 421160047 670658560 16237 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20628] ppid=20626 vsize=7044 CPUtime=0
/proc/20628/stat : 20628 (translate) S 20626 20608 20571 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 421160043 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 224627753042 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20628/statm: 1761 213 182 1 0 41 0
[pid=20616/tid=20617] ppid=20608 vsize=197432 CPUtime=4.75
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 20571 0 -1 64 3859 0 1 0 469 6 0 0 25 0 10 0 421159443 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197432 CPUtime=0.89
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 20571 0 -1 64 6124 0 0 0 77 12 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 20571 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197432 CPUtime=0.2
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 20571 0 -1 64 645 0 0 0 19 1 0 0 16 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 20571 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 20571 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 421160042 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 870132
[startup+25.5024 s]
/proc/loadavg: 2.04 1.99 1.99 3/95 20636
/proc/meminfo: memFree=1581616/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=1.64
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 375 2369 0 0 0 0 163 1 18 0 1 0 421159273 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197432 CPUtime=5.87
/proc/20616/stat : 20616 (java) S 20608 20608 20571 0 -1 0 11437 0 1 0 566 21 0 0 18 0 10 0 421159441 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49358 9407 2544 9 0 43941 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 20571 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 421160042 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=654940 CPUtime=17.79
/proc/20627/stat : 20627 (java) S 20626 20608 20571 0 -1 0 16942 0 1 0 1770 9 0 0 18 0 9 0 421160043 670658560 16248 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163735 16248 2610 9 0 158263 0
[pid=20627/tid=20629] ppid=20626 vsize=654940 CPUtime=17.51
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 20571 0 -1 64 12479 0 1 0 1744 7 0 0 25 0 9 0 421160043 670658560 16248 996147200 134512640 134550740 4294955808 18446744073709551615 4126734387 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=654940 CPUtime=0.06
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 20571 0 -1 64 3526 0 0 0 5 1 0 0 16 0 9 0 421160045 670658560 16248 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 20571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 421160045 670658560 16248 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=20627/tid=20630] ppid=20626 vsize=654940 CPUtime=0.06
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 20571 0 -1 64 3526 0 0 0 5 1 0 0 16 0 9 0 421160045 670658560 16255 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 20571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 421160045 670658560 16255 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 421160045 670658560 16255 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 20571 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 421160047 670658560 16255 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=654940 CPUtime=0.22
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 20571 0 -1 64 403 0 0 0 21 1 0 0 16 0 9 0 421160047 670658560 16255 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 421160047 670658560 16255 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 421160047 670658560 16255 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20628] ppid=20626 vsize=7044 CPUtime=0
/proc/20628/stat : 20628 (translate) S 20626 20608 20571 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 421160043 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 224627753042 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20628/statm: 1761 213 182 1 0 41 0
[pid=20616/tid=20617] ppid=20608 vsize=197432 CPUtime=4.75
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 20571 0 -1 64 3859 0 1 0 469 6 0 0 25 0 10 0 421159443 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197432 CPUtime=0.89
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 20571 0 -1 64 6124 0 0 0 77 12 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 20571 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197432 CPUtime=0.2
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 20571 0 -1 64 645 0 0 0 19 1 0 0 16 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 20571 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 20571 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 421160042 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.49
Current children cumulated vsize (KiB) 870132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.9 s]
/proc/loadavg: 2.20 2.07 2.02 3/105 20680
/proc/meminfo: memFree=1029784/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=1.64
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 375 2369 0 0 0 0 163 1 18 0 1 0 421159273 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197432 CPUtime=5.88
/proc/20616/stat : 20616 (java) S 20608 20608 20571 0 -1 0 11437 0 1 0 567 21 0 0 18 0 10 0 421159441 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49358 9407 2544 9 0 43941 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 20571 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 421160042 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=654940 CPUtime=1792.56
/proc/20627/stat : 20627 (java) S 20626 20608 20571 0 -1 0 16959 0 1 0 179242 14 0 0 18 0 9 0 421160043 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163735 16257 2610 9 0 158263 0
[pid=20627/tid=20629] ppid=20626 vsize=654940 CPUtime=1792.26
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 20571 0 -1 64 12486 0 1 0 179215 11 0 0 25 0 9 0 421160043 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4126745090 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=654940 CPUtime=0.06
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 20571 0 -1 64 3526 0 0 0 5 1 0 0 16 0 9 0 421160045 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 20571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 421160045 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 421160045 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 20571 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=654940 CPUtime=0.22
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 20571 0 -1 64 403 0 0 0 21 1 0 0 16 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20628] ppid=20626 vsize=7044 CPUtime=0
/proc/20628/stat : 20628 (translate) S 20626 20608 20571 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 421160043 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 224627753042 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20628/statm: 1761 213 182 1 0 41 0
[pid=20616/tid=20617] ppid=20608 vsize=197432 CPUtime=4.75
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 20571 0 -1 64 3859 0 1 0 469 6 0 0 25 0 10 0 421159443 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197432 CPUtime=0.89
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 20571 0 -1 64 6124 0 0 0 77 12 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 20571 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197432 CPUtime=0.2
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 20571 0 -1 64 645 0 0 0 19 1 0 0 16 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 20571 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 20571 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 421160042 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 870132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.9 s]
/proc/loadavg: 2.20 2.07 2.02 3/105 20680
/proc/meminfo: memFree=1029784/2055920 swapFree=4180312/4192956
[pid=20608] ppid=20606 vsize=5360 CPUtime=1.64
/proc/20608/stat : 20608 (hydra) S 20606 20608 20571 0 -1 4194304 375 2369 0 0 0 0 163 1 18 0 1 0 421159273 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20608/statm: 1340 238 196 169 0 51 0
[pid=20616] ppid=20608 vsize=197432 CPUtime=5.88
/proc/20616/stat : 20616 (java) S 20608 20608 20571 0 -1 0 11437 0 1 0 567 21 0 0 18 0 10 0 421159441 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20616/statm: 49358 9407 2544 9 0 43941 0
[pid=20626] ppid=20616 vsize=5356 CPUtime=0
/proc/20626/stat : 20626 (abscon) S 20616 20608 20571 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 421160042 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 224627581764 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20626/statm: 1339 235 194 169 0 50 0
[pid=20627] ppid=20626 vsize=654940 CPUtime=1792.56
/proc/20627/stat : 20627 (java) S 20626 20608 20571 0 -1 0 16959 0 1 0 179242 14 0 0 18 0 9 0 421160043 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20627/statm: 163735 16257 2610 9 0 158263 0
[pid=20627/tid=20629] ppid=20626 vsize=654940 CPUtime=1792.26
/proc/20627/task/20629/stat : 20629 (java) R 20626 20608 20571 0 -1 64 12486 0 1 0 179215 11 0 0 25 0 9 0 421160043 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4126745090 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20630] ppid=20626 vsize=654940 CPUtime=0.06
/proc/20627/task/20630/stat : 20630 (java) S 20626 20608 20571 0 -1 64 3526 0 0 0 5 1 0 0 16 0 9 0 421160045 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20631] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20631/stat : 20631 (java) S 20626 20608 20571 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 421160045 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20632] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20632/stat : 20632 (java) S 20626 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 421160045 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20633] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20633/stat : 20633 (java) S 20626 20608 20571 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20634] ppid=20626 vsize=654940 CPUtime=0.22
/proc/20627/task/20634/stat : 20634 (java) S 20626 20608 20571 0 -1 64 403 0 0 0 21 1 0 0 16 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20635] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20635/stat : 20635 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20627/tid=20636] ppid=20626 vsize=654940 CPUtime=0
/proc/20627/task/20636/stat : 20636 (java) S 20626 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 421160047 670658560 16257 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20628] ppid=20626 vsize=7044 CPUtime=0
/proc/20628/stat : 20628 (translate) S 20626 20608 20571 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 421160043 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 224627753042 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/20628/statm: 1761 213 182 1 0 41 0
[pid=20616/tid=20617] ppid=20608 vsize=197432 CPUtime=4.75
/proc/20616/task/20617/stat : 20617 (java) S 20608 20608 20571 0 -1 64 3859 0 1 0 469 6 0 0 25 0 10 0 421159443 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20616/tid=20618] ppid=20608 vsize=197432 CPUtime=0.89
/proc/20616/task/20618/stat : 20618 (java) S 20608 20608 20571 0 -1 64 6124 0 0 0 77 12 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20619] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20619/stat : 20619 (java) S 20608 20608 20571 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20620] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20620/stat : 20620 (java) S 20608 20608 20571 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 421159444 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20621] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20621/stat : 20621 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20622] ppid=20608 vsize=197432 CPUtime=0.2
/proc/20616/task/20622/stat : 20622 (java) S 20608 20608 20571 0 -1 64 645 0 0 0 19 1 0 0 16 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20623] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20623/stat : 20623 (java) S 20608 20608 20571 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20624] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20624/stat : 20624 (java) S 20608 20608 20571 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 421159446 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20616/tid=20625] ppid=20608 vsize=197432 CPUtime=0
/proc/20616/task/20625/stat : 20625 (java) S 20608 20608 20571 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 421160042 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 870132
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20608 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=640750
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 1.65975
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.94
CPU time (s): 1800.08
CPU user time (s): 1799.72
CPU system time (s): 0.36
CPU usage (%): 99.7861
Max. virtual memory (cumulated for all children) (KiB): 870132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64075
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2744
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= 33
involuntary context switches= 52
runsolver used 8.48971 second user time and 17.7153 second system time
The end