Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 195.753 | 196.234 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 54803 |
CHECKS | 19851 |
Name | csp/dag-rand/ normalized-rand-n23-d3-e16-r15-t150000-9.xml |
MD5SUM | 12b3271557cf33c0f0eb575756b1928b |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 33.6229 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 23 |
Number of constraints | 16 |
Maximum constraint arity | 15 |
Maximum domain size | 3 |
Number of constraints which are defined in extension | 16 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 17.57/17.87 c CASE TO CLASSIFY: 17.57/17.87 c Case: 0 17.57/17.87 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 7.900870 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 1.571660 | c 14 > 3.807350 | c 11 > 4.523560 | c 12 > 3.842760 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.000000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.108520 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.57/17.88 c choco : 1801.0 17.57/17.88 c mistral : 1801.0 17.57/17.88 c abscon : 1801.0 17.57/17.88 c 17.57/17.88 c 17.86/18.16 c List of same ones: 40 17.86/18.16 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml 17.86/18.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.544000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.161690 | c 14 > 6.894820 | c 11 > 4.321930 | c 12 > 7.027910 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.86/18.17 c choco : 17.53 17.86/18.17 c mistral : 0.372942 17.86/18.17 c abscon : 3.39048 17.86/18.17 c 17.86/18.17 c 17.86/18.17 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-14_ext.xml 17.86/18.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.678600 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 2.755340 | c 14 > 3.321930 | c 11 > 7.266790 | c 12 > 2.985880 | 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.967200 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.86/18.17 c choco : 4.62 17.86/18.17 c mistral : 0.79 17.86/18.17 c abscon : 3.74 17.86/18.17 c 17.86/18.17 c 17.86/18.17 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-13_ext.xml 17.86/18.18 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 17.86/18.19 c choco : 3.73 17.86/18.19 c mistral : 0.39 17.86/18.19 c abscon : 3.71 17.86/18.19 c 17.86/18.19 c 17.86/18.19 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-13_ext.xml 17.86/18.19 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 17.86/18.19 c choco : 4.84 17.86/18.19 c mistral : 0.74 17.86/18.19 c abscon : 4.34 17.86/18.19 c 17.86/18.19 c 17.86/18.19 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-13_ext.xml 17.86/18.19 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 17.95/18.21 c choco : 1801.0 17.95/18.21 c mistral : 1801.0 17.95/18.21 c abscon : 1174.08 17.95/18.21 c 17.95/18.21 c 17.95/18.21 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-13_ext.xml 17.95/18.21 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 17.95/18.22 c choco : 5.15 17.95/18.22 c mistral : 0.67 17.95/18.22 c abscon : 4.23 17.95/18.22 c 17.95/18.22 c 17.95/18.22 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-12_ext.xml 17.95/18.22 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 17.95/18.22 c choco : 3.76 17.95/18.22 c mistral : 0.36 17.95/18.22 c abscon : 3.19 17.95/18.22 c 17.95/18.22 c 17.95/18.22 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg10-14_ext.xml 17.95/18.22 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 17.95/18.23 c choco : 7.01 17.95/18.23 c mistral : 2.5 17.95/18.23 c abscon : 4.33 17.95/18.23 c 17.95/18.23 c 17.95/18.23 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml 17.95/18.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.879600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.378470 | c 14 > 7.321930 | c 11 > 4.321930 | c 12 > 7.438790 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.95/18.24 c choco : 18.94 17.95/18.24 c mistral : 0.335948 17.95/18.24 c abscon : 4.94625 17.95/18.24 c 17.95/18.24 c 17.95/18.24 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg13-13_ext.xml 17.95/18.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.030700 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 1.890140 | c 14 > 1.584960 | c 11 > 7.400880 | c 12 > 2.080920 | 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 17.95/18.25 c choco : 3.1 17.95/18.25 c mistral : 0.32 17.95/18.25 c abscon : 3.73 17.95/18.25 c 17.95/18.25 c 17.95/18.25 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg10-14_ext.xml 17.95/18.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.566050 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.395750 | c 14 > 0.000000 | c 11 > 7.129280 | c 12 > 1.618910 | 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 17.95/18.26 c choco : 3.12 17.95/18.26 c mistral : 0.14 17.95/18.26 c abscon : 3.47 17.95/18.26 c 17.95/18.26 c 17.95/18.26 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-15_ext.xml 17.95/18.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.739800 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 2.514910 | c 14 > 3.000000 | c 11 > 7.607330 | c 12 > 2.355570 | 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.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 > 12.307800 | c 31 > -1.000000 | c 4 > 7.607330 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.95/18.27 c choco : 496.99 17.95/18.27 c mistral : 194.64 17.95/18.27 c abscon : 171.97 17.95/18.27 c 17.95/18.27 c 17.95/18.27 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-9_ext.xml 17.95/18.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.692600 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.745710 | c 14 > 7.228820 | c 11 > 4.321930 | c 12 > 7.353150 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.95/18.28 c choco : 19.8 17.95/18.28 c mistral : 0.338947 17.95/18.28 c abscon : 21.2268 17.95/18.28 c 17.95/18.28 c 17.95/18.28 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-14_ext.xml 17.95/18.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.236600 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 2.033740 | c 14 > 3.584960 | c 11 > 7.507790 | c 12 > 2.164630 | 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.754890 | 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.208200 | c 31 > -1.000000 | c 4 > 7.507790 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.95/18.29 c choco : 1801.0 17.95/18.29 c mistral : 530.74 17.95/18.29 c abscon : 514.87 17.95/18.29 c 17.95/18.29 c 17.95/18.29 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-15_ext.xml 17.95/18.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.599000 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > -0.059276 | c 14 > 4.087460 | c 11 > 7.491850 | c 12 > 1.432960 | 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.754890 | 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.192300 | c 31 > -1.000000 | c 4 > 7.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 17.95/18.30 c choco : 1801.0 17.95/18.30 c mistral : 931.64 17.95/18.30 c abscon : 754.37 17.95/18.30 c 17.95/18.30 c 17.95/18.30 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml 17.95/18.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.730500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.610230 | c 14 > 7.348730 | c 11 > 4.321930 | c 12 > 7.463520 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.30 c choco : 17.39 18.02/18.30 c mistral : 0.360944 18.02/18.30 c abscon : 3.55346 18.02/18.30 c 18.02/18.30 c 18.02/18.30 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-9_ext.xml 18.02/18.30 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 18.02/18.31 c choco : 1801.0 18.02/18.31 c mistral : 1801.0 18.02/18.31 c abscon : 392.65 18.02/18.31 c 18.02/18.31 c 18.02/18.31 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg12-16_ext.xml 18.02/18.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.368000 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 2.241400 | c 14 > 3.459430 | c 11 > 7.584960 | c 12 > 2.554590 | 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.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 > 12.285400 | c 31 > -1.000000 | c 4 > 7.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.32 c choco : 101.69 18.02/18.32 c mistral : 52.88 18.02/18.32 c abscon : 59.37 18.02/18.32 c 18.02/18.32 c 18.02/18.32 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-9_ext.xml 18.02/18.32 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 18.02/18.33 c choco : 29.71 18.02/18.33 c mistral : 26.53 18.02/18.33 c abscon : 8.02 18.02/18.33 c 18.02/18.33 c 18.02/18.33 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml 18.02/18.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.884900 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.563780 | c 14 > 7.475730 | c 11 > 4.321930 | c 12 > 7.629360 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.34 c choco : 19.01 18.02/18.34 c mistral : 0.372942 18.02/18.34 c abscon : 4.08338 18.02/18.34 c 18.02/18.34 c 18.02/18.34 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-12_ext.xml 18.02/18.34 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 18.02/18.35 c choco : 5.64 18.02/18.35 c mistral : 1.5 18.02/18.35 c abscon : 3.88 18.02/18.35 c 18.02/18.35 c 18.02/18.35 c /home/eomahony/cpZilla/CSP/cril/cril-0_ext.xml 18.02/18.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.022370 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 3.540390 | c 14 > 6.820180 | c 11 > 6.741470 | c 12 > 2.168430 | c 21 > 1.726700 | c 20 > 0.000000 | c 22 > 1.732050 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.571429 | c 27 > 2.857140 | c 28 > 6.571430 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > 4.459430 | c 10 > 5.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.321930 | c 31 > -1.000000 | c 4 > 6.409390 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.35 c choco : 1.39 18.02/18.35 c mistral : 0.14 18.02/18.35 c abscon : 0.987849 18.02/18.35 c 18.02/18.35 c 18.02/18.35 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-14_ext.xml 18.02/18.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.231800 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.212100 | c 14 > 3.000000 | c 11 > 7.614710 | c 12 > 1.893080 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.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 > 12.315100 | c 31 > -1.000000 | c 4 > 7.614710 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.36 c choco : 492.67 18.02/18.36 c mistral : 399.64 18.02/18.36 c abscon : 242.1 18.02/18.36 c 18.02/18.36 c 18.02/18.36 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-17_ext.xml 18.02/18.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.660000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.695210 | c 14 > 7.312880 | c 11 > 4.321930 | c 12 > 7.471680 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.36 c choco : 19.83 18.02/18.36 c mistral : 0.362944 18.02/18.36 c abscon : 3.61945 18.02/18.36 c 18.02/18.36 c 18.02/18.36 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg13-16_ext.xml 18.02/18.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.205200 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 2.764770 | c 14 > 4.000000 | c 11 > 7.700440 | c 12 > 2.610170 | 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.857980 | 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.400900 | c 31 > -1.000000 | c 4 > 7.700440 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.37 c choco : 57.44 18.02/18.37 c mistral : 45.26 18.02/18.37 c abscon : 26.95 18.02/18.37 c 18.02/18.37 c 18.02/18.37 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-15_ext.xml 18.02/18.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 11.357600 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 2.654520 | c 14 > 4.087460 | c 11 > 7.714250 | c 12 > 2.612180 | 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.857980 | 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.414700 | c 31 > -1.000000 | c 4 > 7.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.38 c choco : 198.21 18.02/18.38 c mistral : 116.61 18.02/18.38 c abscon : 77.5 18.02/18.38 c 18.02/18.38 c 18.02/18.38 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-1_ext.xml 18.02/18.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.802500 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.831110 | c 14 > 7.417850 | c 11 > 4.321930 | c 12 > 7.558420 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 0.000000 | c 10 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.247930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.38 c choco : 17.5 18.02/18.38 c mistral : 0.370943 18.02/18.38 c abscon : 3.36349 18.02/18.38 c 18.02/18.38 c 18.02/18.38 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml 18.02/18.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.839200 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.996420 | c 14 > 7.400880 | c 11 > 4.321930 | c 12 > 7.554590 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.39 c choco : 16.19 18.02/18.39 c mistral : 0.367943 18.02/18.39 c abscon : 18.0253 18.02/18.39 c 18.02/18.39 c 18.02/18.39 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-7_ext.xml 18.02/18.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.687400 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 7.246250 | c 14 > 7.285400 | c 11 > 4.321930 | c 12 > 7.442940 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.02/18.39 c choco : 15.04 18.02/18.39 c mistral : 0.364943 18.02/18.39 c abscon : 13.8239 18.02/18.39 c 18.02/18.39 c 18.02/18.39 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg9-13_ext.xml 18.02/18.39 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 18.08/18.40 c choco : 6.72 18.08/18.40 c mistral : 1.44 18.08/18.40 c abscon : 3.61 18.08/18.40 c 18.08/18.40 c 18.08/18.40 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-13_ext.xml 18.08/18.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 12.531600 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 3.432610 | c 14 > 4.700440 | c 11 > 7.159870 | c 12 > 4.055660 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 4.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.860300 | c 31 > -1.000000 | c 4 > 7.159870 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.08/18.41 c choco : 8.05 18.08/18.41 c mistral : 5.3 18.08/18.41 c abscon : 4.33 18.08/18.41 c 18.08/18.41 c 18.08/18.41 c /home/eomahony/cpZilla/CSP/random/rand-10-20-10/rand-10-20-10-5-10000-11_ext.xml 18.08/18.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 10.961400 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 6.976610 | c 14 > 7.467610 | c 11 > 4.321930 | c 12 > 7.614710 | c 21 > 3.162280 | c 20 > 0.000000 | c 22 > 3.162280 | 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 > 2.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 > 7.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.08/18.41 c choco : 17.79 18.08/18.41 c mistral : 0.368943 18.08/18.41 c abscon : 12.0622 18.08/18.41 c 18.08/18.41 c 18.08/18.41 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg5-8_ext.xml 18.08/18.41 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 9.105910 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > -0.434535 | c 14 > 3.807350 | c 11 > 5.321930 | c 12 > 0.963474 | c 21 > 5.099020 | c 20 > 0.000000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 0.000000 | c 28 > 10.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 3.700440 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.022400 | c 31 > -1.000000 | c 4 > 5.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.08/18.42 c choco : 3.46 18.08/18.42 c mistral : 1.32 18.08/18.42 c abscon : 6.93 18.08/18.42 c 18.08/18.42 c 18.08/18.42 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg15-15_ext.xml 18.08/18.42 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 18.08/18.43 c choco : 95.26 18.08/18.43 c mistral : 92.1 18.08/18.43 c abscon : 33.25 18.08/18.43 c 18.08/18.43 c 18.08/18.43 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg11-14_ext.xml 18.08/18.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 6.832890 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.042860 | c 14 > -1.000000 | c 11 > 7.266790 | c 12 > 1.362570 | 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.967200 | c 31 > -1.000000 | c 4 > 7.266790 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.08/18.44 c choco : 2.91 18.08/18.44 c mistral : 0.06 18.08/18.44 c abscon : 3.04 18.08/18.44 c 18.08/18.44 c 18.08/18.44 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg11-15_ext.xml 18.08/18.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 7.774790 | c 34 > -1.000000 | c 16 > 15.000000 | c 13 > 0.996787 | c 14 > -1.000000 | c 11 > 7.366320 | c 12 > 1.341040 | 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.066800 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.08/18.44 c choco : 2.54 18.08/18.44 c mistral : 0.13 18.08/18.44 c abscon : 3.49 18.08/18.44 c 18.08/18.44 c 18.08/18.44 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg6-8_ext.xml 18.08/18.44 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 18.08/18.45 c choco : 297.08 18.08/18.45 c mistral : 157.04 18.08/18.45 c abscon : 14.11 18.08/18.45 c 18.08/18.45 c 18.08/18.45 c /home/ehebrard/new_instances/competition_4c/data/ogdVg/crossword-m1c-ogd-vg14-16_ext.xml 18.08/18.45 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 18.08/18.45 c choco : 42.95 18.08/18.45 c mistral : 30.16 18.08/18.45 c abscon : 11.33 18.08/18.45 c 18.08/18.45 c 18.08/18.45 c /home/ehebrard/new_instances/competition_4c/data/wordsVg/crossword-m1c-words-vg12-14_ext.xml 18.08/18.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 8.693490 | c 34 > -1.000000 | c 16 > 14.000000 | c 13 > 1.144750 | c 14 > -1.000000 | c 11 > 7.392320 | c 12 > 1.415040 | 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.092800 | c 31 > -1.000000 | c 4 > 7.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c 18.08/18.46 c choco : 2.66 18.08/18.46 c mistral : 0.16 18.08/18.46 c abscon : 3.28 18.08/18.46 c 18.08/18.46 c 18.08/18.46 c /home/ehebrard/new_instances/competition_4c/data/lexVg/crossword-m1c-lex-vg12-13_ext.xml 18.08/18.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 7.599910 | c 34 > -1.000000 | c 16 > 13.000000 | c 13 > 1.092040 | c 14 > -1.000000 | c 11 > 7.285400 | c 12 > 1.387020 | 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 18.08/18.47 c choco : 2.27 18.08/18.47 c mistral : 0.08 18.08/18.47 c abscon : 2.53 18.08/18.47 c 18.08/18.47 c 18.08/18.47 c Length: 40 18.08/18.47 c 9.11663826315929 9.140516444692826 9.179810326684315 9.251305763653042 9.324161809465771 9.425283354281715 9.535216599558712 9.56220201261195 9.571184460995411 9.608103136707058 9.621423896601792 9.622262080950613 9.640511271115242 9.667801018349518 9.679987587819777 9.7173143905042 9.733127434324489 9.77102588362655 9.783750561926649 9.796257519063085 9.79686451921736 9.880369179911295 9.881006229585122 9.886929568212773 9.903877176490024 9.912233452042985 9.914839410958706 9.954825810449925 9.968423235597495 9.980456733366465 9.987397937275755 10.027514712709227 10.105601603715684 10.136680363541114 10.205118806197211 10.224619878627715 10.26249023067988 10.287563281671709 10.307749617758475 10.312485416576354 18.08/18.47 c 18.08/18.47 c 1.0 0.9804233126513654 0.9498243849855942 0.8987854060096822 0.8521249258322396 0.7948509922582562 0.7407261350618278 0.7285483185997679 0.724583113782558 0.7087291113358423 0.7031777598651073 0.7028313580735216 0.6953731079493222 0.6845108018708306 0.6797689560656038 0.6656452305532383 0.6598373255541863 0.6463218453658942 0.6419072363678487 0.6376265378435131 0.6374202349318645 0.6102574690039723 0.6100591416277347 0.6082212309438827 0.603023324841477 0.6004929834099413 0.5997082180444331 0.5879187572370296 0.584014647122014 0.5806025695145709 0.57865247394169 0.5676336239518533 0.5473459399410922 0.5396691876035418 0.5235007023173085 0.5190694593138416 0.5106749807115389 0.5052650050563017 0.5009920153203281 0.5 18.08/18.48 c 18.08/18.48 c solver 0 18.08/18.48 c before 0.0 seconds: {} 0 18.08/18.49 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 15, 18, 19, 20, 21, 23, 26, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 18548 18.08/18.49 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20974 18.08/18.49 c before 72.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21620 18.08/18.49 c before 90.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22220 18.08/18.49 c before 180.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22923 18.08/18.49 c before 252.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23533 18.08/18.49 c before 396.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24193 18.08/18.49 c before 522.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24878 18.08/18.49 c before 756.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25557 18.08/18.49 c before 1188.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26410 18.08/18.49 c 18.08/18.49 c solver 1 18.08/18.49 c before 0.0 seconds: {} 0 18.08/18.49 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 19, 20, 21, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 18173 18.08/18.49 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 18, 19, 20, 21, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 19320 18.08/18.49 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 20570 18.08/18.49 c before 108.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21109 18.08/18.49 c before 126.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21710 18.08/18.49 c before 162.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22220 18.08/18.49 c before 198.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22923 18.08/18.49 c before 414.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23533 18.08/18.49 c before 540.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24218 18.08/18.49 c before 936.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24898 18.08/18.49 c 18.08/18.49 c solver 2 18.08/18.49 c before 0.0 seconds: {} 0 18.08/18.49 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 7, 9, 10, 15, 20, 21, 26, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 15507 18.08/18.49 c before 36.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 18, 19, 20, 21, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 18815 18.08/18.49 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 18, 19, 20, 21, 23, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 19320 18.08/18.49 c before 72.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 19923 18.08/18.49 c before 108.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21109 18.08/18.49 c before 216.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 21710 18.08/18.49 c before 306.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22220 18.08/18.49 c before 504.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23533 18.08/18.49 c 18.08/18.49 cTotal time: 146 18.08/18.49 c run abscon for 1188.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26410 18.08/18.49 c run mistral for 540.0 seconds {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24218 18.08/18.49 c run choco for 72.0 seconds {0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 12, 15, 18, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 37, 38, 39} 19923 18.08/18.49 c Starting solver: HOME/cpHydra_k_40/solver/abscon 18.08/18.49 c On Instance: HOME/instance-1094454-1215251294.xml 18.08/18.49 c Running for: 1188 seconds 195.60/196.19 s UNSATISFIABLE 195.60/196.19 d ASSIGNMENTS 54803 195.60/196.19 d CHECKS 19851
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094454-1215251294/watcher-1094454-1215251294 -o /tmp/evaluation-result-1094454-1215251294/solver-1094454-1215251294 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1094454-1215251294.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.98 1.99 4/72 12960 /proc/meminfo: memFree=1669056/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=18572 CPUtime=0 /proc/12960/stat : 12960 (runsolver) R 12958 12960 11302 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2004102276 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 255539604775 0 0 4096 24578 0 0 0 17 1 0 0 /proc/12960/statm: 4643 292 257 25 0 2626 0 [startup+0.103059 s] /proc/loadavg: 1.99 1.98 1.99 4/72 12960 /proc/meminfo: memFree=1669056/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=0 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2004102276 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.20107 s] /proc/loadavg: 1.99 1.98 1.99 4/72 12960 /proc/meminfo: memFree=1669056/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=0 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2004102276 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301081 s] /proc/loadavg: 1.99 1.98 1.99 4/72 12960 /proc/meminfo: memFree=1669056/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=0 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2004102276 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701114 s] /proc/loadavg: 1.99 1.98 1.99 4/72 12960 /proc/meminfo: memFree=1669056/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=0 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2004102276 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50119 s] /proc/loadavg: 1.99 1.98 1.99 3/74 12964 /proc/meminfo: memFree=1647664/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=0 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2004102276 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 236 195 169 0 51 0 [pid=12964] ppid=12960 vsize=30376 CPUtime=1.44 /proc/12964/stat : 12964 (xsolve) R 12960 12960 11302 0 -1 4194304 6836 0 0 0 139 5 0 0 25 0 1 0 2004102277 31105024 6795 996147200 134512640 135239763 4294956176 18446744073709551615 134573953 0 0 4096 0 0 0 0 17 1 0 0 /proc/12964/statm: 7594 6795 355 177 0 6497 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 35736 [startup+3.10134 s] /proc/loadavg: 1.99 1.98 1.99 3/74 12964 /proc/meminfo: memFree=1629616/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=0 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2004102276 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 236 195 169 0 51 0 [pid=12964] ppid=12960 vsize=58672 CPUtime=3.03 /proc/12964/stat : 12964 (xsolve) R 12960 12960 11302 0 -1 4194304 13871 0 0 0 293 10 0 0 25 0 1 0 2004102277 60080128 13830 996147200 134512640 135239763 4294956176 18446744073709551615 134670790 0 0 4096 0 0 0 0 17 1 0 0 /proc/12964/statm: 14668 13830 355 177 0 13571 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 64032 [startup+6.30164 s] /proc/loadavg: 1.99 1.98 1.99 3/74 12964 /proc/meminfo: memFree=1573360/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=0 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2004102276 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 236 195 169 0 51 0 [pid=12964] ppid=12960 vsize=115132 CPUtime=6.19 /proc/12964/stat : 12964 (xsolve) R 12960 12960 11302 0 -1 4194304 27933 0 0 0 600 19 0 0 25 0 1 0 2004102277 117895168 27892 996147200 134512640 135239763 4294956176 18446744073709551615 134524426 0 0 4096 0 0 0 0 17 1 0 0 /proc/12964/statm: 28783 27892 355 177 0 27686 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 120492 [startup+12.7022 s] /proc/loadavg: 1.99 1.98 1.99 3/82 12976 /proc/meminfo: memFree=1666224/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=11.89 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 375 92474 0 0 0 0 1134 55 18 0 1 0 2004102276 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 238 196 169 0 51 0 [pid=12968] ppid=12960 vsize=197000 CPUtime=0.63 /proc/12968/stat : 12968 (java) S 12960 12960 11302 0 -1 0 4127 0 1 0 61 2 0 0 18 0 9 0 2004103480 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12968/statm: 49250 3510 1677 9 0 43832 0 [pid=12968/tid=12969] ppid=12960 vsize=197000 CPUtime=0.44 /proc/12968/task/12969/stat : 12969 (java) R 12960 12960 11302 0 -1 64 2543 0 1 0 43 1 0 0 21 0 9 0 2004103481 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4126439977 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12970] ppid=12960 vsize=197000 CPUtime=0.04 /proc/12968/task/12970/stat : 12970 (java) S 12960 12960 11302 0 -1 64 274 0 0 0 4 0 0 0 16 0 9 0 2004103483 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12971] ppid=12960 vsize=197000 CPUtime=0 /proc/12968/task/12971/stat : 12971 (java) S 12960 12960 11302 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2004103483 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12972] ppid=12960 vsize=197000 CPUtime=0 /proc/12968/task/12972/stat : 12972 (java) S 12960 12960 11302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004103483 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12973] ppid=12960 vsize=197000 CPUtime=0 /proc/12968/task/12973/stat : 12973 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2004103485 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12974] ppid=12960 vsize=197000 CPUtime=0.13 /proc/12968/task/12974/stat : 12974 (java) S 12960 12960 11302 0 -1 64 584 0 0 0 13 0 0 0 16 0 9 0 2004103485 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12975] ppid=12960 vsize=197000 CPUtime=0 /proc/12968/task/12975/stat : 12975 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2004103485 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12976] ppid=12960 vsize=197000 CPUtime=0 /proc/12968/task/12976/stat : 12976 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004103485 201728000 3510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 202360 [startup+25.5024 s] /proc/loadavg: 1.99 1.98 1.99 3/94 12988 /proc/meminfo: memFree=1390224/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=11.89 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 375 92474 0 0 0 0 1134 55 18 0 1 0 2004102276 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 238 196 169 0 51 0 [pid=12968] ppid=12960 vsize=197432 CPUtime=6.25 /proc/12968/stat : 12968 (java) S 12960 12960 11302 0 -1 0 14020 0 1 0 604 21 0 0 18 0 10 0 2004103480 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12968/statm: 49358 9551 2544 9 0 43940 0 [pid=12978] ppid=12968 vsize=5356 CPUtime=0 /proc/12978/stat : 12978 (abscon) S 12968 12960 11302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2004104126 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/12978/statm: 1339 237 196 169 0 50 0 [pid=12979] ppid=12978 vsize=655192 CPUtime=6.98 /proc/12979/stat : 12979 (java) S 12978 12960 11302 0 -1 0 68817 0 1 0 658 40 0 0 18 0 9 0 2004104127 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12979/statm: 163798 66166 2608 9 0 158326 0 [pid=12979/tid=12981] ppid=12978 vsize=655192 CPUtime=5.03 /proc/12979/task/12981/stat : 12981 (java) R 12978 12960 11302 0 -1 64 12373 0 1 0 491 12 0 0 25 0 9 0 2004104128 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12982] ppid=12978 vsize=655192 CPUtime=1.83 /proc/12979/task/12982/stat : 12982 (java) S 12978 12960 11302 0 -1 64 55509 0 0 0 156 27 0 0 16 0 9 0 2004104129 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12983] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12983/stat : 12983 (java) S 12978 12960 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004104129 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12984] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12984/stat : 12984 (java) S 12978 12960 11302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004104129 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12985] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12985/stat : 12985 (java) S 12978 12960 11302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004104131 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12986] ppid=12978 vsize=655192 CPUtime=0.09 /proc/12979/task/12986/stat : 12986 (java) S 12978 12960 11302 0 -1 64 389 0 0 0 9 0 0 0 16 0 9 0 2004104131 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12987] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12987/stat : 12987 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004104131 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12988] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12988/stat : 12988 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004104131 670916608 66166 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12980] ppid=12978 vsize=7044 CPUtime=0 /proc/12980/stat : 12980 (translate) S 12978 12960 11302 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004104127 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12980/statm: 1761 213 182 1 0 41 0 [pid=12968/tid=12969] ppid=12960 vsize=197432 CPUtime=4.81 /proc/12968/task/12969/stat : 12969 (java) S 12960 12960 11302 0 -1 64 3985 0 1 0 473 8 0 0 25 0 10 0 2004103481 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=12968/tid=12970] ppid=12960 vsize=197432 CPUtime=1.18 /proc/12968/task/12970/stat : 12970 (java) S 12960 12960 11302 0 -1 64 8540 0 0 0 106 12 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12971] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12971/stat : 12971 (java) S 12960 12960 11302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12972] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12972/stat : 12972 (java) S 12960 12960 11302 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12973] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12973/stat : 12973 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12974] ppid=12960 vsize=197432 CPUtime=0.24 /proc/12968/task/12974/stat : 12974 (java) S 12960 12960 11302 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12975] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12975/stat : 12975 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12976] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12976/stat : 12976 (java) S 12960 12960 11302 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12977] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12977/stat : 12977 (java) S 12960 12960 11302 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2004104126 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 870384 [startup+51.1028 s] /proc/loadavg: 1.99 1.98 1.99 3/94 12988 /proc/meminfo: memFree=1086928/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=11.89 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 375 92474 0 0 0 0 1134 55 18 0 1 0 2004102276 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 238 196 169 0 51 0 [pid=12968] ppid=12960 vsize=197432 CPUtime=6.25 /proc/12968/stat : 12968 (java) S 12960 12960 11302 0 -1 0 14020 0 1 0 604 21 0 0 18 0 10 0 2004103480 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12968/statm: 49358 9551 2544 9 0 43940 0 [pid=12978] ppid=12968 vsize=5356 CPUtime=0 /proc/12978/stat : 12978 (abscon) S 12968 12960 11302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2004104126 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/12978/statm: 1339 237 196 169 0 50 0 [pid=12979] ppid=12978 vsize=655192 CPUtime=32.57 /proc/12979/stat : 12979 (java) S 12978 12960 11302 0 -1 0 164242 0 1 0 3165 92 0 0 18 0 9 0 2004104127 670916608 140752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12979/statm: 163798 140752 2614 9 0 158326 0 [pid=12979/tid=12981] ppid=12978 vsize=655192 CPUtime=20.24 /proc/12979/task/12981/stat : 12981 (java) R 12978 12960 11302 0 -1 64 12530 0 1 0 2007 17 0 0 25 0 9 0 2004104128 670916608 140752 996147200 134512640 134550740 4294955808 18446744073709551615 4126795829 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12982] ppid=12978 vsize=655192 CPUtime=12.1 /proc/12979/task/12982/stat : 12982 (java) S 12978 12960 11302 0 -1 64 150710 0 0 0 1137 73 0 0 17 0 9 0 2004104129 670916608 140752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12983] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12983/stat : 12983 (java) S 12978 12960 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004104129 670916608 140752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12984] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12984/stat : 12984 (java) S 12978 12960 11302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004104129 670916608 140752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12985] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12985/stat : 12985 (java) S 12978 12960 11302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004104131 670916608 140752 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/12979/task/12984/stat : 12984 (java) S 12978 12960 11302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004104129 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12985] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12985/stat : 12985 (java) S 12978 12960 11302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12986] ppid=12978 vsize=655192 CPUtime=0.23 /proc/12979/task/12986/stat : 12986 (java) S 12978 12960 11302 0 -1 64 478 0 0 0 23 0 0 0 16 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12987] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12987/stat : 12987 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12988] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12988/stat : 12988 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12980] ppid=12978 vsize=7044 CPUtime=0 /proc/12980/stat : 12980 (translate) S 12978 12960 11302 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004104127 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12980/statm: 1761 213 182 1 0 41 0 [pid=12968/tid=12969] ppid=12960 vsize=197432 CPUtime=4.81 /proc/12968/task/12969/stat : 12969 (java) S 12960 12960 11302 0 -1 64 3985 0 1 0 473 8 0 0 25 0 10 0 2004103481 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=12968/tid=12970] ppid=12960 vsize=197432 CPUtime=1.18 /proc/12968/task/12970/stat : 12970 (java) S 12960 12960 11302 0 -1 64 8540 0 0 0 106 12 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12971] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12971/stat : 12971 (java) S 12960 12960 11302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12972] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12972/stat : 12972 (java) S 12960 12960 11302 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12973] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12973/stat : 12973 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12974] ppid=12960 vsize=197432 CPUtime=0.24 /proc/12968/task/12974/stat : 12974 (java) S 12960 12960 11302 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12975] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12975/stat : 12975 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12976] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12976/stat : 12976 (java) S 12960 12960 11302 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12977] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12977/stat : 12977 (java) S 12960 12960 11302 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2004104126 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 193.16 Current children cumulated vsize (KiB) 870384 [startup+195.202 s] /proc/loadavg: 1.99 1.98 1.99 3/94 12988 /proc/meminfo: memFree=1086416/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=11.89 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 375 92474 0 0 0 0 1134 55 18 0 1 0 2004102276 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 238 196 169 0 51 0 [pid=12968] ppid=12960 vsize=197432 CPUtime=6.25 /proc/12968/stat : 12968 (java) S 12960 12960 11302 0 -1 0 14020 0 1 0 604 21 0 0 18 0 10 0 2004103480 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12968/statm: 49358 9551 2544 9 0 43940 0 [pid=12978] ppid=12968 vsize=5356 CPUtime=0 /proc/12978/stat : 12978 (abscon) S 12968 12960 11302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2004104126 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/12978/statm: 1339 237 196 169 0 50 0 [pid=12979] ppid=12978 vsize=655192 CPUtime=176.61 /proc/12979/stat : 12979 (java) S 12978 12960 11302 0 -1 0 164269 0 1 0 17569 92 0 0 18 0 9 0 2004104127 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12979/statm: 163798 140767 2614 9 0 158326 0 [pid=12979/tid=12981] ppid=12978 vsize=655192 CPUtime=164.25 /proc/12979/task/12981/stat : 12981 (java) R 12978 12960 11302 0 -1 64 12535 0 1 0 16407 18 0 0 25 0 9 0 2004104128 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4126795813 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12982] ppid=12978 vsize=655192 CPUtime=12.1 /proc/12979/task/12982/stat : 12982 (java) S 12978 12960 11302 0 -1 64 150710 0 0 0 1137 73 0 0 16 0 9 0 2004104129 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12983] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12983/stat : 12983 (java) S 12978 12960 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004104129 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12984] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12984/stat : 12984 (java) S 12978 12960 11302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004104129 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12985] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12985/stat : 12985 (java) S 12978 12960 11302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12986] ppid=12978 vsize=655192 CPUtime=0.23 /proc/12979/task/12986/stat : 12986 (java) S 12978 12960 11302 0 -1 64 478 0 0 0 23 0 0 0 16 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12987] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12987/stat : 12987 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12988] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12988/stat : 12988 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12980] ppid=12978 vsize=7044 CPUtime=0 /proc/12980/stat : 12980 (translate) S 12978 12960 11302 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004104127 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12980/statm: 1761 213 182 1 0 41 0 [pid=12968/tid=12969] ppid=12960 vsize=197432 CPUtime=4.81 /proc/12968/task/12969/stat : 12969 (java) S 12960 12960 11302 0 -1 64 3985 0 1 0 473 8 0 0 25 0 10 0 2004103481 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=12968/tid=12970] ppid=12960 vsize=197432 CPUtime=1.18 /proc/12968/task/12970/stat : 12970 (java) S 12960 12960 11302 0 -1 64 8540 0 0 0 106 12 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12971] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12971/stat : 12971 (java) S 12960 12960 11302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12972] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12972/stat : 12972 (java) S 12960 12960 11302 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12973] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12973/stat : 12973 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12974] ppid=12960 vsize=197432 CPUtime=0.24 /proc/12968/task/12974/stat : 12974 (java) S 12960 12960 11302 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12975] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12975/stat : 12975 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12976] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12976/stat : 12976 (java) S 12960 12960 11302 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12977] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12977/stat : 12977 (java) S 12960 12960 11302 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2004104126 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 194.75 Current children cumulated vsize (KiB) 870384 [startup+196.002 s] /proc/loadavg: 1.99 1.98 1.99 3/94 12988 /proc/meminfo: memFree=1086416/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=11.89 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 375 92474 0 0 0 0 1134 55 18 0 1 0 2004102276 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 238 196 169 0 51 0 [pid=12968] ppid=12960 vsize=197432 CPUtime=6.25 /proc/12968/stat : 12968 (java) S 12960 12960 11302 0 -1 0 14020 0 1 0 604 21 0 0 18 0 10 0 2004103480 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12968/statm: 49358 9551 2544 9 0 43940 0 [pid=12978] ppid=12968 vsize=5356 CPUtime=0 /proc/12978/stat : 12978 (abscon) S 12968 12960 11302 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2004104126 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 255539602244 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/12978/statm: 1339 237 196 169 0 50 0 [pid=12979] ppid=12978 vsize=655192 CPUtime=177.41 /proc/12979/stat : 12979 (java) S 12978 12960 11302 0 -1 0 164269 0 1 0 17649 92 0 0 18 0 9 0 2004104127 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12979/statm: 163798 140767 2614 9 0 158326 0 [pid=12979/tid=12981] ppid=12978 vsize=655192 CPUtime=165.05 /proc/12979/task/12981/stat : 12981 (java) R 12978 12960 11302 0 -1 64 12535 0 1 0 16487 18 0 0 25 0 9 0 2004104128 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4126795970 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12982] ppid=12978 vsize=655192 CPUtime=12.1 /proc/12979/task/12982/stat : 12982 (java) S 12978 12960 11302 0 -1 64 150710 0 0 0 1137 73 0 0 16 0 9 0 2004104129 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12983] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12983/stat : 12983 (java) S 12978 12960 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004104129 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12984] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12984/stat : 12984 (java) S 12978 12960 11302 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2004104129 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12985] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12985/stat : 12985 (java) S 12978 12960 11302 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12986] ppid=12978 vsize=655192 CPUtime=0.23 /proc/12979/task/12986/stat : 12986 (java) S 12978 12960 11302 0 -1 64 478 0 0 0 23 0 0 0 16 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12987] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12987/stat : 12987 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12979/tid=12988] ppid=12978 vsize=655192 CPUtime=0 /proc/12979/task/12988/stat : 12988 (java) S 12978 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004104131 670916608 140767 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12980] ppid=12978 vsize=7044 CPUtime=0 /proc/12980/stat : 12980 (translate) S 12978 12960 11302 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004104127 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 255539773522 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12980/statm: 1761 213 182 1 0 41 0 [pid=12968/tid=12969] ppid=12960 vsize=197432 CPUtime=4.81 /proc/12968/task/12969/stat : 12969 (java) S 12960 12960 11302 0 -1 64 3985 0 1 0 473 8 0 0 25 0 10 0 2004103481 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=12968/tid=12970] ppid=12960 vsize=197432 CPUtime=1.18 /proc/12968/task/12970/stat : 12970 (java) S 12960 12960 11302 0 -1 64 8540 0 0 0 106 12 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12971] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12971/stat : 12971 (java) S 12960 12960 11302 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12972] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12972/stat : 12972 (java) S 12960 12960 11302 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2004103483 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12973] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12973/stat : 12973 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12974] ppid=12960 vsize=197432 CPUtime=0.24 /proc/12968/task/12974/stat : 12974 (java) S 12960 12960 11302 0 -1 64 669 0 0 0 24 0 0 0 16 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12975] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12975/stat : 12975 (java) S 12960 12960 11302 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12976] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12976/stat : 12976 (java) S 12960 12960 11302 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2004103485 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12977] ppid=12960 vsize=197432 CPUtime=0 /proc/12968/task/12977/stat : 12977 (java) S 12960 12960 11302 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2004104126 202170368 9551 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 195.55 Current children cumulated vsize (KiB) 870384 [startup+196.202 s] /proc/loadavg: 1.99 1.98 1.99 3/94 12988 /proc/meminfo: memFree=1086416/2055920 swapFree=4180436/4192956 [pid=12960] ppid=12958 vsize=5360 CPUtime=11.89 /proc/12960/stat : 12960 (hydra) S 12958 12960 11302 0 -1 4194304 375 92474 0 0 0 0 1134 55 18 0 1 0 2004102276 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12960/statm: 1340 238 196 169 0 51 0 [pid=12968] ppid=12960 vsize=197432 CPUtime=183.82 /proc/12968/stat : 12968 (java) S 12960 12960 11302 0 -1 0 14111 164883 1 1 604 21 17655 102 18 0 9 0 2004103480 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12968/statm: 49358 9553 2545 9 0 43940 0 [pid=12968/tid=12969] ppid=12960 vsize=197432 CPUtime=182.38 /proc/12968/task/12969/stat : 12969 (java) S 12960 12960 11302 0 -1 64 4036 164883 1 1 473 8 17655 102 16 0 9 0 2004103481 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12968/tid=12970] ppid=12960 vsize=197432 CPUtime=178.75 /proc/12968/task/12970/stat : 12970 (java) S 12960 12960 11302 0 -1 64 8569 164883 0 1 106 12 17655 102 16 0 9 0 2004103483 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12968/tid=12971] ppid=12960 vsize=197432 CPUtime=177.57 /proc/12968/task/12971/stat : 12971 (java) S 12960 12960 11302 0 -1 64 11 164883 0 1 0 0 17655 102 16 0 9 0 2004103483 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12972] ppid=12960 vsize=197432 CPUtime=177.57 /proc/12968/task/12972/stat : 12972 (java) S 12960 12960 11302 0 -1 64 6 164883 0 1 0 0 17655 102 15 0 9 0 2004103483 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12973] ppid=12960 vsize=197432 CPUtime=177.57 /proc/12968/task/12973/stat : 12973 (java) S 12960 12960 11302 0 -1 64 1 164883 0 1 0 0 17655 102 18 0 9 0 2004103485 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12974] ppid=12960 vsize=197432 CPUtime=177.81 /proc/12968/task/12974/stat : 12974 (java) S 12960 12960 11302 0 -1 64 669 164883 0 1 24 0 17655 102 16 0 9 0 2004103485 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12975] ppid=12960 vsize=197432 CPUtime=177.57 /proc/12968/task/12975/stat : 12975 (java) S 12960 12960 11302 0 -1 64 1 164883 0 1 0 0 17655 102 19 0 9 0 2004103485 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12968/tid=12976] ppid=12960 vsize=197432 CPUtime=177.57 /proc/12968/task/12976/stat : 12976 (java) S 12960 12960 11302 0 -1 64 29 164883 0 1 0 0 17655 102 15 0 9 0 2004103485 202170368 9553 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 195.71 Current children cumulated vsize (KiB) 202792 Child status: 0 Real time (s): 196.234 CPU time (s): 195.753 CPU user time (s): 193.943 CPU system time (s): 1.81072 CPU usage (%): 99.7548 Max. virtual memory (cumulated for all children) (KiB): 899520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 193.943 system time used= 1.81072 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271883 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= 18131 involuntary context switches= 20393 runsolver used 0.672897 second user time and 2.12768 second system time The end
Begin job on node48 at 2008-07-05 11:48:21 IDJOB=1094454 IDBENCH=58801 IDSOLVER=366 FILE ID=node48/1094454-1215251294 PBS_JOBID= 7881977 Free space on /tmp= 66468 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-9.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094454-1215251294/watcher-1094454-1215251294 -o /tmp/evaluation-result-1094454-1215251294/solver-1094454-1215251294 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1094454-1215251294.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 12b3271557cf33c0f0eb575756b1928b RANDOM SEED=651387495 node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1669536 kB Buffers: 13180 kB Cached: 259456 kB SwapCached: 6436 kB Active: 266880 kB Inactive: 64840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1669536 kB SwapTotal: 4192956 kB SwapFree: 4180436 kB Dirty: 94728 kB Writeback: 0 kB Mapped: 66664 kB Slab: 39952 kB Committed_AS: 4266556 kB PageTables: 1772 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66444 MiB End job on node48 at 2008-07-05 11:51:37