0.00/0.00 c cpHydra_k_10 version 0.0
7.58/7.80 c CASE TO CLASSIFY:
7.58/7.80 c Case: 0
7.67/7.80 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.325900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 1.663490 | c 14 > 4.169930 | c 11 > 6.491850 | c 12 > 2.627090 | 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.192300 | c 31 > -1.000000 | c 4 > 6.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.81 c choco : 1801.0
7.67/7.81 c mistral : 1801.0
7.67/7.81 c abscon : 1801.0
7.67/7.81 c
7.67/7.81 c
7.67/7.88 c List of same ones: 10
7.67/7.88 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml
7.67/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.256800 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 1.611200 | c 14 > 5.087460 | c 11 > 5.754890 | c 12 > 2.736970 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.455300 | c 31 > -1.000000 | c 4 > 5.754890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.89 c choco : 1801.0
7.67/7.89 c mistral : 1801.0
7.67/7.89 c abscon : 392.65
7.67/7.89 c
7.67/7.89 c
7.67/7.89 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-12_ext.xml
7.67/7.89 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.905400 | c 34 > -1.000000 | c 16 > 12.000000 | c 13 > 3.026360 | c 14 > 3.459430 | c 11 > 7.169930 | c 12 > 3.183220 | 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.870400 | c 31 > -1.000000 | c 4 > 7.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.90 c choco : 3.76
7.77/7.90 c mistral : 0.36
7.77/7.90 c abscon : 3.19
7.77/7.90 c
7.77/7.90 c
7.77/7.90 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-8_ext.xml
7.77/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.207000 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 2.286140 | c 14 > 5.247930 | c 11 > 5.584960 | c 12 > 3.215940 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.285400 | c 31 > -1.000000 | c 4 > 5.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.91 c choco : 297.08
7.77/7.91 c mistral : 157.04
7.77/7.91 c abscon : 14.11
7.77/7.91 c
7.77/7.91 c
7.77/7.91 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-12_ext.xml
7.77/7.91 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.77/7.92 c choco : 5.64
7.77/7.92 c mistral : 1.5
7.77/7.92 c abscon : 3.88
7.77/7.92 c
7.77/7.92 c
7.77/7.92 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-9_ext.xml
7.77/7.92 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.467600 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.378420 | c 14 > 5.285400 | c 11 > 5.491850 | c 12 > 4.380050 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.807350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.192300 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.93 c choco : 29.71
7.77/7.93 c mistral : 26.53
7.77/7.93 c abscon : 8.02
7.77/7.93 c
7.77/7.93 c
7.77/7.93 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-11_ext.xml
7.77/7.93 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.77/7.94 c choco : 74.98
7.77/7.94 c mistral : 1801.0
7.77/7.94 c abscon : 18.17
7.77/7.94 c
7.77/7.94 c
7.77/7.94 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-13_ext.xml
7.77/7.94 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.77/7.95 c choco : 4.84
7.77/7.95 c mistral : 0.74
7.77/7.95 c abscon : 4.34
7.77/7.95 c
7.77/7.95 c
7.77/7.95 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-13_ext.xml
7.77/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.561300 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.487670 | c 14 > 2.807350 | c 11 > 7.159870 | c 12 > 2.679330 | 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.77/7.95 c choco : 3.73
7.77/7.95 c mistral : 0.39
7.77/7.95 c abscon : 3.71
7.77/7.95 c
7.77/7.95 c
7.77/7.95 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-13_ext.xml
7.77/7.95 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.821000 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.871070 | c 14 > 3.000000 | c 11 > 7.285400 | c 12 > 2.802060 | 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.643860 | 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.985800 | c 31 > -1.000000 | c 4 > 7.285400 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.96 c choco : 5.15
7.77/7.96 c mistral : 0.67
7.77/7.96 c abscon : 4.23
7.77/7.96 c
7.77/7.96 c
7.77/7.96 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-13_ext.xml
7.77/7.96 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.853310 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 2.348580 | c 14 > 3.584960 | c 11 > 7.400880 | c 12 > 2.157540 | 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.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 > 12.101300 | c 31 > -1.000000 | c 4 > 7.400880 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.97 c choco : 1801.0
7.77/7.97 c mistral : 1801.0
7.77/7.97 c abscon : 1174.08
7.77/7.97 c
7.77/7.97 c
7.94/8.16 c Length: 10
7.94/8.16 c 1.89924757053945 2.888134262374241 2.9278210064141565 3.15179052481284 3.3870808395726257 3.5950053651281246 3.66691169386447 3.684501834454693 3.7627609799321564 3.8580116772114623
7.94/8.16 c
7.94/8.16 c 1.0 0.6645170139096079 0.6556889132127189 0.6099585214050992 0.5683182261087985 0.5359836825704355 0.5256411732028909 0.5231716067581093 0.5124599400330007 0.5
7.94/8.17 c
7.94/8.17 c solver 0
7.94/8.17 c before 0.0 seconds: {} 0
7.94/8.17 c before 18.0 seconds: {1, 2, 3, 4, 6, 7, 8} 4059
7.94/8.17 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 4595
7.94/8.17 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5595
7.94/8.17 c before 1188.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6095
7.94/8.17 c
7.94/8.17 c solver 1
7.94/8.17 c before 0.0 seconds: {} 0
7.94/8.17 c before 18.0 seconds: {1, 3, 6, 7, 8} 2835
7.94/8.17 c before 36.0 seconds: {1, 3, 4, 6, 7, 8} 3404
7.94/8.17 c before 162.0 seconds: {1, 2, 3, 4, 6, 7, 8} 4059
7.94/8.17 c
7.94/8.17 c solver 2
7.94/8.17 c before 0.0 seconds: {} 0
7.94/8.17 c before 18.0 seconds: {1, 3, 6, 7, 8} 2835
7.94/8.17 c before 36.0 seconds: {1, 3, 4, 6, 7, 8} 3404
7.94/8.17 c before 90.0 seconds: {1, 3, 4, 5, 6, 7, 8} 3940
7.94/8.17 c before 306.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8} 4595
7.94/8.17 c
7.94/8.17 cTotal time: 92
7.94/8.17 c 1656.0 seconds unused
7.94/8.17 c 0 c 3 c 2
7.94/8.17 c 0 c 0 c 0
7.94/8.17 c 0 c 1 c 0
7.94/8.17 c is solver0 dominated by:
7.94/8.17 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.94/8.17 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.94/8.17 c is dominated? false
7.94/8.17 c
7.94/8.17 c is solver1 dominated by:
7.94/8.17 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.94/8.17 c is dominated? true
7.94/8.17 c
7.94/8.17 c is solver2 dominated by:
7.94/8.17 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.94/8.17 c is dominated? true
7.94/8.17 c
7.94/8.17 c Number of non-dominated solvers: 1
7.94/8.17 c remove dominated solvers
7.94/8.17 c solver 0 is not dominated by another solver
7.94/8.17 c solver 2 is dominated by another solver
7.94/8.17 c solver 1 is dominated by another solver
7.94/8.17 c
7.94/8.17 c solver 0: 1188.0
7.94/8.17 c
7.94/8.17 c+ 66/66 of 34
7.94/8.17 c
7.94/8.17 c solver 1: 0.0
7.94/8.17 c
7.94/8.17 c solver 2: 0.0
7.94/8.18 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6095
7.94/8.18 c do not run mistral
7.94/8.18 c do not run choco
7.94/8.18 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.94/8.18 c On Instance: HOME/instance-1076270-1215184788.xml
7.94/8.18 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-1076270-1215184788/watcher-1076270-1215184788 -o /tmp/evaluation-result-1076270-1215184788/solver-1076270-1215184788 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1076270-1215184788.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32529
/proc/meminfo: memFree=1403872/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=0
/proc/32529/stat : 32529 (hydra) R 32527 32529 31528 0 -1 4194304 306 124 0 0 0 0 0 0 22 0 1 0 1002883438 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4459254 0 65536 4100 65536 0 0 0 17 1 0 0
/proc/32529/statm: 1340 236 195 169 0 51 0
[pid=32531] ppid=32529 vsize=0 CPUtime=0
/proc/32531/stat : 32531 (rm) Z 32529 32529 31528 0 -1 4194316 123 0 0 0 0 0 0 0 23 0 1 0 1002883439 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/32531/statm: 0 0 0 0 0 0 0
[startup+0.0339611 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32529
/proc/meminfo: memFree=1403872/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=0
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1002883438 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101965 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32529
/proc/meminfo: memFree=1403872/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=0
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1002883438 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301986 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32529
/proc/meminfo: memFree=1403872/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=0
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1002883438 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701031 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 32529
/proc/meminfo: memFree=1403872/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=0
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1002883438 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50112 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 32533
/proc/meminfo: memFree=1390608/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=0
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1002883438 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 236 195 169 0 51 0
[pid=32533] ppid=32529 vsize=18308 CPUtime=1.47
/proc/32533/stat : 32533 (xsolve) R 32529 32529 31528 0 -1 4194304 3680 0 0 0 146 1 0 0 25 0 1 0 1002883439 18747392 3639 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0
/proc/32533/statm: 4577 3639 410 177 0 3480 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23668
[startup+3.10228 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32545
/proc/meminfo: memFree=1399568/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=2
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 375 4278 0 0 0 0 198 2 18 0 1 0 1002883438 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 238 196 169 0 51 0
[pid=32537] ppid=32529 vsize=196996 CPUtime=1.02
/proc/32537/stat : 32537 (java) S 32529 32529 31528 0 -1 0 4503 0 1 0 97 5 0 0 18 0 9 0 1002883643 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32537/statm: 49249 3809 1677 9 0 43832 0
[pid=32537/tid=32538] ppid=32529 vsize=196996 CPUtime=0.8
/proc/32537/task/32538/stat : 32538 (java) R 32529 32529 31528 0 -1 64 2620 0 1 0 78 2 0 0 24 0 9 0 1002883644 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4126374556 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32539] ppid=32529 vsize=196996 CPUtime=0.06
/proc/32537/task/32539/stat : 32539 (java) S 32529 32529 31528 0 -1 64 557 0 0 0 5 1 0 0 16 0 9 0 1002883645 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32540] ppid=32529 vsize=196996 CPUtime=0
/proc/32537/task/32540/stat : 32540 (java) S 32529 32529 31528 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1002883645 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32541] ppid=32529 vsize=196996 CPUtime=0
/proc/32537/task/32541/stat : 32541 (java) S 32529 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1002883645 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32542] ppid=32529 vsize=196996 CPUtime=0
/proc/32537/task/32542/stat : 32542 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1002883648 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32543] ppid=32529 vsize=196996 CPUtime=0.13
/proc/32537/task/32543/stat : 32543 (java) S 32529 32529 31528 0 -1 64 601 0 0 0 13 0 0 0 16 0 9 0 1002883648 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32544] ppid=32529 vsize=196996 CPUtime=0
/proc/32537/task/32544/stat : 32544 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1002883648 201723904 3809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32545] ppid=32529 vsize=196996 CPUtime=0
/proc/32537/task/32545/stat : 32545 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1002883648 201723904 3809 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) 202356
[startup+6.30161 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 32545
/proc/meminfo: memFree=1385744/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=2
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 375 4278 0 0 0 0 198 2 18 0 1 0 1002883438 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 238 196 169 0 51 0
[pid=32537] ppid=32529 vsize=197108 CPUtime=4.18
/proc/32537/stat : 32537 (java) S 32529 32529 31528 0 -1 0 9456 0 1 0 405 13 0 0 18 0 9 0 1002883643 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32537/statm: 49277 7837 2540 9 0 43860 0
[pid=32537/tid=32538] ppid=32529 vsize=197108 CPUtime=3.29
/proc/32537/task/32538/stat : 32538 (java) R 32529 32529 31528 0 -1 64 3461 0 1 0 325 4 0 0 25 0 9 0 1002883644 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4126523687 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32539] ppid=32529 vsize=197108 CPUtime=0.69
/proc/32537/task/32539/stat : 32539 (java) S 32529 32529 31528 0 -1 64 4641 0 0 0 62 7 0 0 16 0 9 0 1002883645 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32540] ppid=32529 vsize=197108 CPUtime=0
/proc/32537/task/32540/stat : 32540 (java) S 32529 32529 31528 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1002883645 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32541] ppid=32529 vsize=197108 CPUtime=0
/proc/32537/task/32541/stat : 32541 (java) S 32529 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1002883645 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32542] ppid=32529 vsize=197108 CPUtime=0
/proc/32537/task/32542/stat : 32542 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1002883648 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32543] ppid=32529 vsize=197108 CPUtime=0.17
/proc/32537/task/32543/stat : 32543 (java) S 32529 32529 31528 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1002883648 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32544] ppid=32529 vsize=197108 CPUtime=0
/proc/32537/task/32544/stat : 32544 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1002883648 201838592 7837 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32545] ppid=32529 vsize=197108 CPUtime=0
/proc/32537/task/32545/stat : 32545 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1002883648 201838592 7837 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) 202468
[startup+12.7033 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 32557
/proc/meminfo: memFree=1297968/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=2
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 375 4278 0 0 0 0 198 2 18 0 1 0 1002883438 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 238 196 169 0 51 0
[pid=32537] ppid=32529 vsize=197432 CPUtime=6.02
/proc/32537/stat : 32537 (java) S 32529 32529 31528 0 -1 0 13881 0 1 0 583 19 0 0 18 0 10 0 1002883643 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32537/statm: 49358 9393 2543 9 0 43941 0
[pid=32547] ppid=32537 vsize=5356 CPUtime=0
/proc/32547/stat : 32547 (abscon) S 32537 32529 31528 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1002884256 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32547/statm: 1339 235 194 169 0 50 0
[pid=32548] ppid=32547 vsize=654944 CPUtime=4.41
/proc/32548/stat : 32548 (java) S 32547 32529 31528 0 -1 0 22491 0 1 0 430 11 0 0 25 0 9 0 1002884257 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32548/statm: 163736 21804 2613 9 0 158264 0
[pid=32548/tid=32550] ppid=32547 vsize=654944 CPUtime=4.05
/proc/32548/task/32550/stat : 32550 (java) R 32547 32529 31528 0 -1 64 12527 0 1 0 399 6 0 0 25 0 9 0 1002884258 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4126745260 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32551] ppid=32547 vsize=654944 CPUtime=0.15
/proc/32548/task/32551/stat : 32551 (java) S 32547 32529 31528 0 -1 64 9049 0 0 0 12 3 0 0 16 0 9 0 1002884260 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32552] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32552/stat : 32552 (java) S 32547 32529 31528 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32553] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32553/stat : 32553 (java) S 32547 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32554] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32554/stat : 32554 (java) S 32547 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1002884262 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32555] ppid=32547 vsize=654944 CPUtime=0.18
/proc/32548/task/32555/stat : 32555 (java) S 32547 32529 31528 0 -1 64 372 0 0 0 18 0 0 0 15 0 9 0 1002884262 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32556] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32556/stat : 32556 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1002884262 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32557] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32557/stat : 32557 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1002884262 670662656 21804 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32549] ppid=32547 vsize=7044 CPUtime=0
/proc/32549/stat : 32549 (translate) S 32547 32529 31528 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1002884257 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 206381482066 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32549/statm: 1761 213 182 1 0 41 0
[pid=32537/tid=32538] ppid=32529 vsize=197432 CPUtime=4.69
/proc/32537/task/32538/stat : 32538 (java) S 32529 32529 31528 0 -1 64 3855 0 1 0 463 6 0 0 25 0 10 0 1002883644 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32537/tid=32539] ppid=32529 vsize=197432 CPUtime=1.08
/proc/32537/task/32539/stat : 32539 (java) S 32529 32529 31528 0 -1 64 8570 0 0 0 98 10 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32540] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32540/stat : 32540 (java) S 32529 32529 31528 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32541] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32541/stat : 32541 (java) S 32529 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32542] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32542/stat : 32542 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32543] ppid=32529 vsize=197432 CPUtime=0.2
/proc/32537/task/32543/stat : 32543 (java) S 32529 32529 31528 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32544] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32544/stat : 32544 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32545] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32545/stat : 32545 (java) S 32529 32529 31528 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32546] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32546/stat : 32546 (java) S 32529 32529 31528 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1002884256 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 870136
[startup+25.5026 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 32557
/proc/meminfo: memFree=1297968/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=2
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 375 4278 0 0 0 0 198 2 18 0 1 0 1002883438 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 238 196 169 0 51 0
[pid=32537] ppid=32529 vsize=197432 CPUtime=6.02
/proc/32537/stat : 32537 (java) S 32529 32529 31528 0 -1 0 13881 0 1 0 583 19 0 0 18 0 10 0 1002883643 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32537/statm: 49358 9393 2543 9 0 43941 0
[pid=32547] ppid=32537 vsize=5356 CPUtime=0
/proc/32547/stat : 32547 (abscon) S 32537 32529 31528 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1002884256 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32547/statm: 1339 235 194 169 0 50 0
[pid=32548] ppid=32547 vsize=654944 CPUtime=16.96
/proc/32548/stat : 32548 (java) S 32547 32529 31528 0 -1 0 22505 0 1 0 1685 11 0 0 25 0 9 0 1002884257 670662656 21811 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32548/statm: 163736 21811 2613 9 0 158264 0
[pid=32548/tid=32550] ppid=32547 vsize=654944 CPUtime=16.59
/proc/32548/task/32550/stat : 32550 (java) R 32547 32529 31528 0 -1 64 12533 0 1 0 1653 6 0 0 25 0 9 0 1002884258 670662656 21811 996147200 134512640 134550740 4294955808 18446744073709551615 4126745282 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32551] ppid=32547 vsize=654944 CPUtime=0.15
################
# More data... #
################
[pid=32548/tid=32551] ppid=32547 vsize=654944 CPUtime=0.15
/proc/32548/task/32551/stat : 32551 (java) S 32547 32529 31528 0 -1 64 9049 0 0 0 12 3 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32552] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32552/stat : 32552 (java) S 32547 32529 31528 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32553] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32553/stat : 32553 (java) S 32547 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32554] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32554/stat : 32554 (java) S 32547 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32555] ppid=32547 vsize=654944 CPUtime=0.23
/proc/32548/task/32555/stat : 32555 (java) S 32547 32529 31528 0 -1 64 407 0 0 0 23 0 0 0 16 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32548/tid=32556] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32556/stat : 32556 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32557] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32557/stat : 32557 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32549] ppid=32547 vsize=7044 CPUtime=0
/proc/32549/stat : 32549 (translate) S 32547 32529 31528 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1002884257 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 206381482066 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32549/statm: 1761 213 182 1 0 41 0
[pid=32537/tid=32538] ppid=32529 vsize=197432 CPUtime=4.69
/proc/32537/task/32538/stat : 32538 (java) S 32529 32529 31528 0 -1 64 3855 0 1 0 463 6 0 0 25 0 10 0 1002883644 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32537/tid=32539] ppid=32529 vsize=197432 CPUtime=1.08
/proc/32537/task/32539/stat : 32539 (java) S 32529 32529 31528 0 -1 64 8570 0 0 0 98 10 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32540] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32540/stat : 32540 (java) S 32529 32529 31528 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32541] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32541/stat : 32541 (java) S 32529 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32542] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32542/stat : 32542 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32543] ppid=32529 vsize=197432 CPUtime=0.2
/proc/32537/task/32543/stat : 32543 (java) S 32529 32529 31528 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32544] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32544/stat : 32544 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32545] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32545/stat : 32545 (java) S 32529 32529 31528 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32537/tid=32546] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32546/stat : 32546 (java) S 32529 32529 31528 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1002884256 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1702.37
Current children cumulated vsize (KiB) 870136
[startup+1782.3 s]
/proc/loadavg: 1.99 1.94 1.96 3/103 1809
/proc/meminfo: memFree=1393456/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=2
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 375 4278 0 0 0 0 198 2 18 0 1 0 1002883438 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 238 196 169 0 51 0
[pid=32537] ppid=32529 vsize=197432 CPUtime=6.02
/proc/32537/stat : 32537 (java) S 32529 32529 31528 0 -1 0 13881 0 1 0 583 19 0 0 18 0 10 0 1002883643 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32537/statm: 49358 9393 2543 9 0 43941 0
[pid=32547] ppid=32537 vsize=5356 CPUtime=0
/proc/32547/stat : 32547 (abscon) S 32537 32529 31528 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1002884256 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32547/statm: 1339 235 194 169 0 50 0
[pid=32548] ppid=32547 vsize=654944 CPUtime=1754.33
/proc/32548/stat : 32548 (java) S 32547 32529 31528 0 -1 0 22538 0 1 0 175363 70 0 0 25 0 9 0 1002884257 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32548/statm: 163736 21829 2613 9 0 158264 0
[pid=32548/tid=32550] ppid=32547 vsize=654944 CPUtime=1753.92
/proc/32548/task/32550/stat : 32550 (java) R 32547 32529 31528 0 -1 64 12539 0 1 0 175327 65 0 0 25 0 9 0 1002884258 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4126745129 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32548/tid=32551] ppid=32547 vsize=654944 CPUtime=0.15
/proc/32548/task/32551/stat : 32551 (java) S 32547 32529 31528 0 -1 64 9049 0 0 0 12 3 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32552] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32552/stat : 32552 (java) S 32547 32529 31528 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32553] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32553/stat : 32553 (java) S 32547 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32554] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32554/stat : 32554 (java) S 32547 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32555] ppid=32547 vsize=654944 CPUtime=0.23
/proc/32548/task/32555/stat : 32555 (java) S 32547 32529 31528 0 -1 64 407 0 0 0 23 0 0 0 16 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32548/tid=32556] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32556/stat : 32556 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32557] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32557/stat : 32557 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32549] ppid=32547 vsize=7044 CPUtime=0
/proc/32549/stat : 32549 (translate) S 32547 32529 31528 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1002884257 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 206381482066 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32549/statm: 1761 213 182 1 0 41 0
[pid=32537/tid=32538] ppid=32529 vsize=197432 CPUtime=4.69
/proc/32537/task/32538/stat : 32538 (java) S 32529 32529 31528 0 -1 64 3855 0 1 0 463 6 0 0 25 0 10 0 1002883644 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32537/tid=32539] ppid=32529 vsize=197432 CPUtime=1.08
/proc/32537/task/32539/stat : 32539 (java) S 32529 32529 31528 0 -1 64 8570 0 0 0 98 10 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32540] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32540/stat : 32540 (java) S 32529 32529 31528 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32541] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32541/stat : 32541 (java) S 32529 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32542] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32542/stat : 32542 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32543] ppid=32529 vsize=197432 CPUtime=0.2
/proc/32537/task/32543/stat : 32543 (java) S 32529 32529 31528 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32544] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32544/stat : 32544 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32545] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32545/stat : 32545 (java) S 32529 32529 31528 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32537/tid=32546] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32546/stat : 32546 (java) S 32529 32529 31528 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1002884256 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1762.35
Current children cumulated vsize (KiB) 870136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1820 s]
/proc/loadavg: 1.99 1.94 1.96 4/103 1809
/proc/meminfo: memFree=1391024/2055920 swapFree=4180884/4192956
[pid=32529] ppid=32527 vsize=5360 CPUtime=2
/proc/32529/stat : 32529 (hydra) S 32527 32529 31528 0 -1 4194304 375 4278 0 0 0 0 198 2 18 0 1 0 1002883438 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32529/statm: 1340 238 196 169 0 51 0
[pid=32537] ppid=32529 vsize=197432 CPUtime=6.02
/proc/32537/stat : 32537 (java) S 32529 32529 31528 0 -1 0 13881 0 1 0 583 19 0 0 18 0 10 0 1002883643 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32537/statm: 49358 9393 2543 9 0 43941 0
[pid=32547] ppid=32537 vsize=5356 CPUtime=0
/proc/32547/stat : 32547 (abscon) S 32537 32529 31528 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1002884256 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/32547/statm: 1339 235 194 169 0 50 0
[pid=32548] ppid=32547 vsize=654944 CPUtime=1792.02
/proc/32548/stat : 32548 (java) S 32547 32529 31528 0 -1 0 22538 0 1 0 179132 70 0 0 25 0 9 0 1002884257 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32548/statm: 163736 21829 2613 9 0 158264 0
[pid=32548/tid=32550] ppid=32547 vsize=654944 CPUtime=1791.61
/proc/32548/task/32550/stat : 32550 (java) R 32547 32529 31528 0 -1 64 12539 0 1 0 179096 65 0 0 25 0 9 0 1002884258 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4126766056 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32548/tid=32551] ppid=32547 vsize=654944 CPUtime=0.15
/proc/32548/task/32551/stat : 32551 (java) S 32547 32529 31528 0 -1 64 9049 0 0 0 12 3 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32552] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32552/stat : 32552 (java) S 32547 32529 31528 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32553] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32553/stat : 32553 (java) S 32547 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1002884260 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32554] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32554/stat : 32554 (java) S 32547 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32555] ppid=32547 vsize=654944 CPUtime=0.23
/proc/32548/task/32555/stat : 32555 (java) S 32547 32529 31528 0 -1 64 407 0 0 0 23 0 0 0 16 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32548/tid=32556] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32556/stat : 32556 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32548/tid=32557] ppid=32547 vsize=654944 CPUtime=0
/proc/32548/task/32557/stat : 32557 (java) S 32547 32529 31528 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1002884262 670662656 21829 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32549] ppid=32547 vsize=7044 CPUtime=0
/proc/32549/stat : 32549 (translate) S 32547 32529 31528 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1002884257 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 206381482066 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/32549/statm: 1761 213 182 1 0 41 0
[pid=32537/tid=32538] ppid=32529 vsize=197432 CPUtime=4.69
/proc/32537/task/32538/stat : 32538 (java) S 32529 32529 31528 0 -1 64 3855 0 1 0 463 6 0 0 25 0 10 0 1002883644 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=32537/tid=32539] ppid=32529 vsize=197432 CPUtime=1.08
/proc/32537/task/32539/stat : 32539 (java) S 32529 32529 31528 0 -1 64 8570 0 0 0 98 10 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32540] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32540/stat : 32540 (java) S 32529 32529 31528 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32541] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32541/stat : 32541 (java) S 32529 32529 31528 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1002883645 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32542] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32542/stat : 32542 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32543] ppid=32529 vsize=197432 CPUtime=0.2
/proc/32537/task/32543/stat : 32543 (java) S 32529 32529 31528 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32544] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32544/stat : 32544 (java) S 32529 32529 31528 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32537/tid=32545] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32545/stat : 32545 (java) S 32529 32529 31528 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1002883648 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32537/tid=32546] ppid=32529 vsize=197432 CPUtime=0
/proc/32537/task/32546/stat : 32546 (java) S 32529 32529 31528 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1002884256 202170368 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 870136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32529 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=985698
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=27995
# CPU time returned by wait4() is 2.01369
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1820.04
CPU time (s): 1800.04
CPU user time (s): 1799.13
CPU system time (s): 0.91
CPU usage (%): 98.9012
Max. virtual memory (cumulated for all children) (KiB): 870136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9857
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4653
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= 31
involuntary context switches= 58
runsolver used 9.04162 second user time and 17.1994 second system time
The end