0.00/0.00 c cpHydra_k_10 version 0.0
6.81/6.99 c CASE TO CLASSIFY:
6.81/6.99 c Case: 0
6.81/6.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.200000 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 4.716760 | c 14 > 5.754890 | c 11 > 8.000000 | c 12 > 4.558420 | 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 > 5.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.700400 | c 31 > -1.000000 | c 4 > 8.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.00 c choco : 1801.0
6.92/7.00 c mistral : 1801.0
6.92/7.00 c abscon : 1801.0
6.92/7.00 c
6.92/7.00 c
6.92/7.08 c List of same ones: 10
6.92/7.08 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-16_ext.xml
6.92/7.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.485100 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 3.265840 | c 14 > 4.643860 | c 11 > 7.906890 | c 12 > 3.403150 | 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.954200 | 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.607300 | c 31 > -1.000000 | c 4 > 7.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.08 c choco : 24.65
6.92/7.08 c mistral : 10.16
6.92/7.08 c abscon : 7.73
6.92/7.08 c
6.92/7.08 c
6.92/7.08 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-17_ext.xml
6.92/7.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.455300 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 3.442450 | c 14 > 4.523560 | c 11 > 7.994350 | c 12 > 3.399570 | 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 > 5.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.694800 | c 31 > -1.000000 | c 4 > 7.994350 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.92/7.09 c choco : 15.25
6.92/7.09 c mistral : 7.95
6.92/7.09 c abscon : 7.49
6.92/7.09 c
6.92/7.09 c
6.92/7.09 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-13_ext.xml
6.92/7.09 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 14.402700 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 4.917930 | c 14 > 6.475730 | c 11 > 7.022370 | c 12 > 5.494810 | 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.01/7.10 c choco : 13.51
7.01/7.10 c mistral : 8.69
7.01/7.10 c abscon : 4.37
7.01/7.10 c
7.01/7.10 c
7.01/7.10 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg9-13_ext.xml
7.01/7.10 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.01/7.11 c choco : 24.83
7.01/7.11 c mistral : 13.96
7.01/7.11 c abscon : 5.0
7.01/7.11 c
7.01/7.11 c
7.01/7.11 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-16_ext.xml
7.01/7.11 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.924800 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 2.824810 | c 14 > 4.087460 | c 11 > 7.807350 | c 12 > 2.852640 | 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.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 > 12.507800 | c 31 > -1.000000 | c 4 > 7.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.12 c choco : 42.95
7.01/7.12 c mistral : 30.16
7.01/7.12 c abscon : 11.33
7.01/7.12 c
7.01/7.12 c
7.01/7.12 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-14_ext.xml
7.01/7.12 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.158000 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 3.216860 | c 14 > 4.321930 | c 11 > 7.129280 | c 12 > 3.722470 | 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.829700 | c 31 > -1.000000 | c 4 > 7.129280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.13 c choco : 7.01
7.01/7.13 c mistral : 2.5
7.01/7.13 c abscon : 4.33
7.01/7.13 c
7.01/7.13 c
7.01/7.13 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-15_ext.xml
7.01/7.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.475700 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 3.305130 | c 14 > 4.087460 | c 11 > 7.813780 | c 12 > 3.000000 | 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.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 > 12.514200 | c 31 > -1.000000 | c 4 > 7.813780 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.14 c choco : 95.26
7.01/7.14 c mistral : 92.1
7.01/7.14 c abscon : 33.25
7.01/7.14 c
7.01/7.14 c
7.01/7.14 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-13_ext.xml
7.01/7.14 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.01/7.14 c choco : 6.72
7.01/7.14 c mistral : 1.44
7.01/7.14 c abscon : 3.61
7.01/7.14 c
7.01/7.14 c
7.01/7.14 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-17_ext.xml
7.01/7.14 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.619300 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 3.031020 | c 14 > 3.906890 | c 11 > 7.894820 | c 12 > 2.942020 | 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.954200 | 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.595300 | c 31 > -1.000000 | c 4 > 7.894820 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.15 c choco : 32.14
7.01/7.15 c mistral : 20.42
7.01/7.15 c abscon : 9.17
7.01/7.15 c
7.01/7.15 c
7.01/7.15 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-17_ext.xml
7.01/7.15 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.763600 | c 34 > -1.000000 | c 16 > 17.000000 | c 13 > 3.034750 | c 14 > 3.700440 | c 11 > 7.787900 | c 12 > 2.965310 | 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.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 > 12.488300 | c 31 > -1.000000 | c 4 > 7.787900 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.01/7.16 c choco : 43.92
7.01/7.16 c mistral : 24.47
7.01/7.16 c abscon : 15.05
7.01/7.16 c
7.01/7.16 c
7.01/7.16 c Length: 10
7.01/7.16 c 2.7646322512044885 2.9201106421675185 3.684048162551625 3.789482154582602 3.8165442920133916 3.952003808512841 3.966888092333838 4.005326525053856 4.0699943626987976 4.082596670845651
7.01/7.17 c
7.01/7.17 c 1.0 0.8944795211296492 0.5890658827142675 0.5625560705735528 0.5561321198113703 0.5260629439592807 0.5229560448173758 0.5150997368246844 0.5024019709321886 0.5
7.01/7.17 c
7.01/7.17 c solver 0
7.01/7.17 c before 0.0 seconds: {} 0
7.01/7.17 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 5645
7.01/7.17 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6168
7.01/7.17 c
7.01/7.17 c solver 1
7.01/7.17 c before 0.0 seconds: {} 0
7.01/7.17 c before 18.0 seconds: {0, 1, 2, 3, 5, 7} 4087
7.01/7.17 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 5645
7.01/7.17 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6168
7.01/7.17 c
7.01/7.17 c solver 2
7.01/7.17 c before 0.0 seconds: {} 0
7.01/7.17 c before 18.0 seconds: {1, 2, 5, 7} 2524
7.01/7.17 c before 36.0 seconds: {0, 1, 2, 3, 5, 7, 8} 4589
7.01/7.17 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 5645
7.01/7.17 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6168
7.01/7.17 c
7.01/7.17 cTotal time: 14
7.01/7.17 c 252.0 seconds unused
7.01/7.17 c 0 c 0 c 0
7.01/7.17 c 0 c 0 c 0
7.01/7.17 c 0 c 0 c 0
7.01/7.17 c is solver0 dominated by:
7.01/7.17 c solver 1 (0 solves instances that 1 can't: false) (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.01/7.17 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.01/7.17 c is dominated? false
7.01/7.17 c
7.01/7.17 c is solver1 dominated by:
7.01/7.17 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.01/7.17 c is dominated? true
7.01/7.17 c
7.01/7.17 c is solver2 dominated by:
7.01/7.17 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.01/7.17 c is dominated? true
7.01/7.17 c
7.01/7.17 c Number of non-dominated solvers: 1
7.01/7.17 c remove dominated solvers
7.01/7.17 c solver 0 is not dominated by another solver
7.01/7.17 c solver 2 is dominated by another solver
7.01/7.17 c solver 1 is dominated by another solver
7.01/7.17 c
7.01/7.17 c solver 0: 36.0
7.01/7.18 c
7.01/7.18 c+ 2/2 of 98
7.01/7.18 c
7.01/7.18 c solver 1: 0.0
7.01/7.18 c
7.01/7.18 c solver 2: 0.0
7.01/7.18 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6168
7.01/7.18 c do not run mistral
7.01/7.18 c do not run choco
7.01/7.18 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.01/7.18 c On Instance: HOME/instance-1068330-1215153445.xml
7.01/7.18 c Running for: 1800 seconds
10.41/10.68 s UNSATISFIABLE
10.41/10.68 d ASSIGNMENTS 325
10.41/10.68 d CHECKS 0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1068330-1215153445/watcher-1068330-1215153445 -o /tmp/evaluation-result-1068330-1215153445/solver-1068330-1215153445 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1068330-1215153445.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.14 2.21 2.58 4/81 28476
/proc/meminfo: memFree=1800568/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=0
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 285 0 0 0 0 0 0 0 21 0 1 0 671074089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28476/statm: 1340 236 195 169 0 51 0
[pid=28477] ppid=28476 vsize=5360 CPUtime=0
/proc/28477/stat : 28477 (hydra) R 28476 28476 28269 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 671074089 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 230266826023 0 0 4096 0 0 0 0 17 0 0 0
/proc/28477/statm: 1340 239 198 169 0 51 0
[startup+0.024791 s]
/proc/loadavg: 2.14 2.21 2.58 4/81 28476
/proc/meminfo: memFree=1800568/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=0
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 671074089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28476/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102806 s]
/proc/loadavg: 2.14 2.21 2.58 4/81 28476
/proc/meminfo: memFree=1800568/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=0
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 671074089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28476/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302844 s]
/proc/loadavg: 2.14 2.21 2.58 4/81 28476
/proc/meminfo: memFree=1800568/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=0
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 671074089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28476/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701917 s]
/proc/loadavg: 2.14 2.21 2.58 4/81 28476
/proc/meminfo: memFree=1800568/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=0
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 671074089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28476/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50106 s]
/proc/loadavg: 2.14 2.21 2.58 3/83 28480
/proc/meminfo: memFree=1799272/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=0
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 671074089 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28476/statm: 1340 236 195 169 0 51 0
[pid=28480] ppid=28476 vsize=5384 CPUtime=1.48
/proc/28480/stat : 28480 (xsolve) R 28476 28476 28269 0 -1 4194304 702 0 0 0 148 0 0 0 25 0 1 0 671074090 5513216 661 996147200 134512640 135239763 4294956176 18446744073709551615 134788862 0 0 4096 0 0 0 0 17 1 0 0
/proc/28480/statm: 1346 661 410 177 0 249 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10744
[startup+3.10236 s]
/proc/loadavg: 2.13 2.21 2.58 3/91 28492
/proc/meminfo: memFree=1792360/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=1.49
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 375 1300 0 0 0 0 149 0 19 0 1 0 671074089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28476/statm: 1340 238 196 169 0 51 0
[pid=28484] ppid=28476 vsize=197020 CPUtime=1.57
/proc/28484/stat : 28484 (java) S 28476 28476 28269 0 -1 0 6549 0 1 0 151 6 0 0 18 0 9 0 671074240 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28484/statm: 49255 5510 2540 9 0 43838 0
[pid=28484/tid=28485] ppid=28476 vsize=197020 CPUtime=1.2
/proc/28484/task/28485/stat : 28485 (java) R 28476 28476 28269 0 -1 64 2799 0 1 0 118 2 0 0 25 0 9 0 671074241 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4126428096 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28486] ppid=28476 vsize=197020 CPUtime=0.21
/proc/28484/task/28486/stat : 28486 (java) S 28476 28476 28269 0 -1 64 2412 0 0 0 19 2 0 0 16 0 9 0 671074242 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28487] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28487/stat : 28487 (java) S 28476 28476 28269 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 671074242 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28488] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28488/stat : 28488 (java) S 28476 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 671074242 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28489] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28489/stat : 28489 (java) S 28476 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 671074244 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28490] ppid=28476 vsize=197020 CPUtime=0.14
/proc/28484/task/28490/stat : 28490 (java) S 28476 28476 28269 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 671074244 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28491] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28491/stat : 28491 (java) S 28476 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 671074244 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28492] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28492/stat : 28492 (java) S 28476 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 671074244 201748480 5510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202380
[startup+6.30203 s]
/proc/loadavg: 2.13 2.21 2.58 3/91 28492
/proc/meminfo: memFree=1778344/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=1.49
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 375 1300 0 0 0 0 149 0 19 0 1 0 671074089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28476/statm: 1340 238 196 169 0 51 0
[pid=28484] ppid=28476 vsize=197020 CPUtime=4.74
/proc/28484/stat : 28484 (java) S 28476 28476 28269 0 -1 0 10334 0 1 0 461 13 0 0 18 0 9 0 671074240 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28484/statm: 49255 8562 2540 9 0 43838 0
[pid=28484/tid=28485] ppid=28476 vsize=197020 CPUtime=3.75
/proc/28484/task/28485/stat : 28485 (java) R 28476 28476 28269 0 -1 64 3612 0 1 0 371 4 0 0 25 0 9 0 671074241 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28486] ppid=28476 vsize=197020 CPUtime=0.8
/proc/28484/task/28486/stat : 28486 (java) S 28476 28476 28269 0 -1 64 5368 0 0 0 73 7 0 0 15 0 9 0 671074242 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28487] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28487/stat : 28487 (java) S 28476 28476 28269 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 671074242 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28488] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28488/stat : 28488 (java) S 28476 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 671074242 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28489] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28489/stat : 28489 (java) S 28476 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 671074244 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28490] ppid=28476 vsize=197020 CPUtime=0.16
/proc/28484/task/28490/stat : 28490 (java) S 28476 28476 28269 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 671074244 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28491] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28491/stat : 28491 (java) S 28476 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 671074244 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28492] ppid=28476 vsize=197020 CPUtime=0
/proc/28484/task/28492/stat : 28492 (java) S 28476 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 671074244 201748480 8562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202380
Solver just ended. Dumping a history of the last processes samples
[startup+7.90225 s]
/proc/loadavg: 2.20 2.22 2.58 4/103 28504
/proc/meminfo: memFree=1754952/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=1.49
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 375 1300 0 0 0 0 149 0 19 0 1 0 671074089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28476/statm: 1340 238 196 169 0 51 0
[pid=28484] ppid=28476 vsize=197344 CPUtime=5.59
/proc/28484/stat : 28484 (java) S 28476 28476 28269 0 -1 0 11368 0 1 0 544 15 0 0 18 0 10 0 671074240 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28484/statm: 49336 9334 2543 9 0 43919 0
[pid=28494] ppid=28484 vsize=5356 CPUtime=0
/proc/28494/stat : 28494 (abscon) S 28484 28476 28269 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 671074807 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28494/statm: 1339 235 194 169 0 50 0
[pid=28495] ppid=28494 vsize=654944 CPUtime=0.69
/proc/28495/stat : 28495 (java) S 28494 28476 28269 0 -1 0 9726 0 1 0 62 7 0 0 25 0 9 0 671074808 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28495/statm: 163736 9045 2606 9 0 158264 0
[pid=28495/tid=28497] ppid=28494 vsize=654944 CPUtime=0.49
/proc/28495/task/28497/stat : 28497 (java) R 28494 28476 28269 0 -1 64 7236 0 1 0 44 5 0 0 25 0 9 0 671074809 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4159724388 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28498] ppid=28494 vsize=654944 CPUtime=0.04
/proc/28495/task/28498/stat : 28498 (java) S 28494 28476 28269 0 -1 64 1604 0 0 0 4 0 0 0 16 0 9 0 671074811 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28499] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28499/stat : 28499 (java) S 28494 28476 28269 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 671074811 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28500] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28500/stat : 28500 (java) S 28494 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 671074811 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28501] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28501/stat : 28501 (java) S 28494 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 671074813 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28502] ppid=28494 vsize=654944 CPUtime=0.13
/proc/28495/task/28502/stat : 28502 (java) S 28494 28476 28269 0 -1 64 343 0 0 0 13 0 0 0 16 0 9 0 671074813 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28503] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28503/stat : 28503 (java) S 28494 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 671074813 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28504] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28504/stat : 28504 (java) S 28494 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 671074813 670662656 9045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28496] ppid=28494 vsize=7044 CPUtime=0
/proc/28496/stat : 28496 (translate) S 28494 28476 28269 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 671074808 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28496/statm: 1761 213 182 1 0 41 0
[pid=28484/tid=28485] ppid=28476 vsize=197344 CPUtime=4.45
/proc/28484/task/28485/stat : 28485 (java) S 28476 28476 28269 0 -1 64 3855 0 1 0 441 4 0 0 25 0 10 0 671074241 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28484/tid=28486] ppid=28476 vsize=197344 CPUtime=0.9
/proc/28484/task/28486/stat : 28486 (java) S 28476 28476 28269 0 -1 64 6068 0 0 0 82 8 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28487] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28487/stat : 28487 (java) S 28476 28476 28269 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28488] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28488/stat : 28488 (java) S 28476 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28489] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28489/stat : 28489 (java) S 28476 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28490] ppid=28476 vsize=197344 CPUtime=0.19
/proc/28484/task/28490/stat : 28490 (java) S 28476 28476 28269 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28491] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28491/stat : 28491 (java) S 28476 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28492] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28492/stat : 28492 (java) S 28476 28476 28269 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28493] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28493/stat : 28493 (java) S 28476 28476 28269 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 671074807 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 870048
[startup+9.50354 s]
/proc/loadavg: 2.20 2.22 2.58 3/103 28504
/proc/meminfo: memFree=1738760/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=1.49
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 375 1300 0 0 0 0 149 0 19 0 1 0 671074089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28476/statm: 1340 238 196 169 0 51 0
[pid=28484] ppid=28476 vsize=197344 CPUtime=5.59
/proc/28484/stat : 28484 (java) S 28476 28476 28269 0 -1 0 11395 0 1 0 544 15 0 0 18 0 10 0 671074240 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28484/statm: 49336 9334 2543 9 0 43919 0
[pid=28494] ppid=28484 vsize=5356 CPUtime=0
/proc/28494/stat : 28494 (abscon) S 28484 28476 28269 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 671074807 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28494/statm: 1339 235 194 169 0 50 0
[pid=28495] ppid=28494 vsize=654944 CPUtime=2.25
/proc/28495/stat : 28495 (java) S 28494 28476 28269 0 -1 0 11363 0 1 0 218 7 0 0 25 0 9 0 671074808 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28495/statm: 163736 10680 2611 9 0 158264 0
[pid=28495/tid=28497] ppid=28494 vsize=654944 CPUtime=2.01
/proc/28495/task/28497/stat : 28497 (java) R 28494 28476 28269 0 -1 64 8840 0 1 0 195 6 0 0 25 0 9 0 671074809 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4126754653 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28498] ppid=28494 vsize=654944 CPUtime=0.04
/proc/28495/task/28498/stat : 28498 (java) S 28494 28476 28269 0 -1 64 1604 0 0 0 4 0 0 0 17 0 9 0 671074811 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28499] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28499/stat : 28499 (java) S 28494 28476 28269 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 671074811 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28500] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28500/stat : 28500 (java) S 28494 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 671074811 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28501] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28501/stat : 28501 (java) S 28494 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 671074813 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28502] ppid=28494 vsize=654944 CPUtime=0.18
/proc/28495/task/28502/stat : 28502 (java) S 28494 28476 28269 0 -1 64 376 0 0 0 18 0 0 0 15 0 9 0 671074813 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28503] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28503/stat : 28503 (java) S 28494 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 671074813 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28504] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28504/stat : 28504 (java) S 28494 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 671074813 670662656 10680 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28496] ppid=28494 vsize=7044 CPUtime=0
/proc/28496/stat : 28496 (translate) S 28494 28476 28269 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 671074808 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28496/statm: 1761 213 182 1 0 41 0
[pid=28484/tid=28485] ppid=28476 vsize=197344 CPUtime=4.45
/proc/28484/task/28485/stat : 28485 (java) S 28476 28476 28269 0 -1 64 3855 0 1 0 441 4 0 0 25 0 10 0 671074241 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28484/tid=28486] ppid=28476 vsize=197344 CPUtime=0.9
/proc/28484/task/28486/stat : 28486 (java) S 28476 28476 28269 0 -1 64 6095 0 0 0 82 8 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28487] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28487/stat : 28487 (java) S 28476 28476 28269 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28488] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28488/stat : 28488 (java) S 28476 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28489] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28489/stat : 28489 (java) S 28476 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28490] ppid=28476 vsize=197344 CPUtime=0.19
/proc/28484/task/28490/stat : 28490 (java) S 28476 28476 28269 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28491] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28491/stat : 28491 (java) S 28476 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28492] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28492/stat : 28492 (java) S 28476 28476 28269 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28493] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28493/stat : 28493 (java) S 28476 28476 28269 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 671074807 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 870048
[startup+10.3037 s]
/proc/loadavg: 2.20 2.22 2.58 3/103 28504
/proc/meminfo: memFree=1738696/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=1.49
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 375 1300 0 0 0 0 149 0 19 0 1 0 671074089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28476/statm: 1340 238 196 169 0 51 0
[pid=28484] ppid=28476 vsize=197344 CPUtime=5.59
/proc/28484/stat : 28484 (java) S 28476 28476 28269 0 -1 0 11395 0 1 0 544 15 0 0 18 0 10 0 671074240 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28484/statm: 49336 9334 2543 9 0 43919 0
[pid=28494] ppid=28484 vsize=5356 CPUtime=0
/proc/28494/stat : 28494 (abscon) S 28484 28476 28269 0 -1 4194304 301 0 0 0 0 0 0 0 25 0 1 0 671074807 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 230266823492 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28494/statm: 1339 235 194 169 0 50 0
[pid=28495] ppid=28494 vsize=654944 CPUtime=3.04
/proc/28495/stat : 28495 (java) S 28494 28476 28269 0 -1 0 11371 0 1 0 297 7 0 0 25 0 9 0 671074808 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28495/statm: 163736 10687 2611 9 0 158264 0
[pid=28495/tid=28497] ppid=28494 vsize=654944 CPUtime=2.79
/proc/28495/task/28497/stat : 28497 (java) R 28494 28476 28269 0 -1 64 8846 0 1 0 273 6 0 0 25 0 9 0 671074809 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4126765122 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28498] ppid=28494 vsize=654944 CPUtime=0.04
/proc/28495/task/28498/stat : 28498 (java) S 28494 28476 28269 0 -1 64 1604 0 0 0 4 0 0 0 17 0 9 0 671074811 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28499] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28499/stat : 28499 (java) S 28494 28476 28269 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 671074811 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28500] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28500/stat : 28500 (java) S 28494 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 671074811 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28501] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28501/stat : 28501 (java) S 28494 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 671074813 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28502] ppid=28494 vsize=654944 CPUtime=0.18
/proc/28495/task/28502/stat : 28502 (java) S 28494 28476 28269 0 -1 64 378 0 0 0 18 0 0 0 15 0 9 0 671074813 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28503] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28503/stat : 28503 (java) S 28494 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 671074813 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28495/tid=28504] ppid=28494 vsize=654944 CPUtime=0
/proc/28495/task/28504/stat : 28504 (java) S 28494 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 671074813 670662656 10687 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28496] ppid=28494 vsize=7044 CPUtime=0
/proc/28496/stat : 28496 (translate) S 28494 28476 28269 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 671074808 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 230266994770 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28496/statm: 1761 213 182 1 0 41 0
[pid=28484/tid=28485] ppid=28476 vsize=197344 CPUtime=4.45
/proc/28484/task/28485/stat : 28485 (java) S 28476 28476 28269 0 -1 64 3855 0 1 0 441 4 0 0 25 0 10 0 671074241 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28484/tid=28486] ppid=28476 vsize=197344 CPUtime=0.9
/proc/28484/task/28486/stat : 28486 (java) S 28476 28476 28269 0 -1 64 6095 0 0 0 82 8 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28487] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28487/stat : 28487 (java) S 28476 28476 28269 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28488] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28488/stat : 28488 (java) S 28476 28476 28269 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 671074242 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28489] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28489/stat : 28489 (java) S 28476 28476 28269 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28490] ppid=28476 vsize=197344 CPUtime=0.19
/proc/28484/task/28490/stat : 28490 (java) S 28476 28476 28269 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28491] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28491/stat : 28491 (java) S 28476 28476 28269 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28492] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28492/stat : 28492 (java) R 28476 28476 28269 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 671074244 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28493] ppid=28476 vsize=197344 CPUtime=0
/proc/28484/task/28493/stat : 28493 (java) S 28476 28476 28269 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 671074807 202080256 9334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 870048
[startup+10.7028 s]
/proc/loadavg: 2.20 2.22 2.58 3/103 28504
/proc/meminfo: memFree=1738696/2055924 swapFree=4177292/4192956
[pid=28476] ppid=28474 vsize=5360 CPUtime=1.49
/proc/28476/stat : 28476 (hydra) S 28474 28476 28269 0 -1 4194304 375 1300 0 0 0 0 149 0 19 0 1 0 671074089 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28476/statm: 1340 238 196 169 0 51 0
[pid=28484] ppid=28476 vsize=197344 CPUtime=8.99
/proc/28484/stat : 28484 (java) S 28476 28476 28269 0 -1 0 11466 12072 1 1 544 15 332 8 18 0 9 0 671074240 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28484/statm: 49336 9336 2544 9 0 43919 0
[pid=28484/tid=28485] ppid=28476 vsize=197344 CPUtime=7.85
/proc/28484/task/28485/stat : 28485 (java) S 28476 28476 28269 0 -1 64 3905 12072 1 1 441 4 332 8 16 0 9 0 671074241 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28486] ppid=28476 vsize=197344 CPUtime=4.3
/proc/28484/task/28486/stat : 28486 (java) S 28476 28476 28269 0 -1 64 6106 12072 0 1 82 8 332 8 16 0 9 0 671074242 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28487] ppid=28476 vsize=197344 CPUtime=3.4
/proc/28484/task/28487/stat : 28487 (java) S 28476 28476 28269 0 -1 64 11 12072 0 1 0 0 332 8 16 0 9 0 671074242 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28488] ppid=28476 vsize=197344 CPUtime=3.4
/proc/28484/task/28488/stat : 28488 (java) S 28476 28476 28269 0 -1 64 5 12072 0 1 0 0 332 8 16 0 9 0 671074242 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28489] ppid=28476 vsize=197344 CPUtime=3.4
/proc/28484/task/28489/stat : 28489 (java) S 28476 28476 28269 0 -1 64 1 12072 0 1 0 0 332 8 24 0 9 0 671074244 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28490] ppid=28476 vsize=197344 CPUtime=3.59
/proc/28484/task/28490/stat : 28490 (java) S 28476 28476 28269 0 -1 64 647 12072 0 1 19 0 332 8 16 0 9 0 671074244 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28491] ppid=28476 vsize=197344 CPUtime=3.4
/proc/28484/task/28491/stat : 28491 (java) S 28476 28476 28269 0 -1 64 0 12072 0 1 0 0 332 8 25 0 9 0 671074244 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28484/tid=28492] ppid=28476 vsize=197344 CPUtime=3.4
/proc/28484/task/28492/stat : 28492 (java) S 28476 28476 28269 0 -1 64 4 12072 0 1 0 0 332 8 15 0 9 0 671074244 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.48
Current children cumulated vsize (KiB) 202704
Child status: 0
Real time (s): 10.7285
CPU time (s): 10.5204
CPU user time (s): 10.2644
CPU system time (s): 0.255961
CPU usage (%): 98.0607
Max. virtual memory (cumulated for all children) (KiB): 870048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2644
system time used= 0.255961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25250
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10481
involuntary context switches= 12136
runsolver used 0.040993 second user time and 0.074988 second system time
The end