Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 24.0063 | 24.2859 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 8733 |
CHECKS | 4697600 |
Name | csp/wordsHerald/ normalized-crossword-m1-words-15-04.xml |
MD5SUM | 3097f8c918f8091fb608d0f760556ab9 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 9.99648 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 193 |
Number of constraints | 698 |
Maximum constraint arity | 30 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 76 |
Number of constraints which are defined in intension | 622 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.09/7.22 c CASE TO CLASSIFY: 7.09/7.22 c Case: 0 7.09/7.22 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 19.997700 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 4.923550 | c 14 > 9.113740 | c 11 > 12.101000 | c 12 > 2.884940 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.23 c choco : 1801.0 7.09/7.23 c mistral : 1801.0 7.09/7.23 c abscon : 1801.0 7.09/7.23 c 7.09/7.23 c 7.19/7.31 c List of same ones: 40 7.19/7.31 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-04.xml 7.19/7.31 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 18.997200 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 3.931210 | c 14 > 8.199670 | c 11 > 12.101000 | c 12 > 2.193700 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.31 c choco : 35.95 7.19/7.31 c mistral : 2.49 7.19/7.31 c abscon : 21.09 7.19/7.31 c 7.19/7.31 c 7.19/7.31 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-04.xml 7.19/7.31 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 18.767900 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 3.521610 | c 14 > 7.672430 | c 11 > 12.101000 | c 12 > 2.051450 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.32 c choco : 1801.0 7.19/7.32 c mistral : 98.82 7.19/7.32 c abscon : 40.65 7.19/7.32 c 7.19/7.32 c 7.19/7.32 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml 7.19/7.32 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.915700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.167630 | c 14 > 7.741470 | c 11 > 12.394200 | c 12 > 2.251750 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.33 c choco : 50.25 7.19/7.33 c mistral : 30.47 7.19/7.33 c abscon : 18.7 7.19/7.33 c 7.19/7.33 c 7.19/7.33 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-02.xml 7.19/7.33 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 18.533200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 4.057560 | c 14 > 7.707360 | c 11 > 12.394200 | c 12 > 2.159430 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.34 c choco : 48.64 7.19/7.34 c mistral : 11.68 7.19/7.34 c abscon : 17.17 7.19/7.34 c 7.19/7.34 c 7.19/7.34 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-04.xml 7.19/7.34 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 15.884300 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 2.138250 | c 14 > 6.339850 | c 11 > 12.101000 | c 12 > 1.110140 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.35 c choco : 11.89 7.19/7.35 c mistral : 2.03 7.19/7.35 c abscon : 14.9 7.19/7.35 c 7.19/7.35 c 7.19/7.35 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-04.xml 7.19/7.35 c 19 > 0.000000 | c 35 > 0.128617 | c 17 > 10.888300 | c 18 > 0.000000 | c 33 > 0.096463 | c 15 > 15.925600 | c 34 > 0.096463 | c 16 > 30.000000 | c 13 > 2.145880 | c 14 > 6.149750 | c 11 > 12.101000 | c 12 > 1.096530 | c 21 > 5.099020 | c 20 > 89.111700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.000000 | c 28 > 5.000000 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.258000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.036200 | c 32 > -1.000000 | c 5 > 13.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.36 c choco : 13.45 7.19/7.36 c mistral : 4.44 7.19/7.36 c abscon : 15.85 7.19/7.36 c 7.19/7.36 c 7.19/7.36 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-02.xml 7.19/7.36 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 16.169200 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.531960 | c 14 > 6.375040 | c 11 > 12.394200 | c 12 > 1.123720 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.37 c choco : 18.75 7.19/7.37 c mistral : 3.84 7.19/7.37 c abscon : 18.7 7.19/7.37 c 7.19/7.37 c 7.19/7.37 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-02.xml 7.19/7.37 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.903600 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.553520 | c 14 > 7.870360 | c 11 > 13.489600 | c 12 > 1.856470 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.38 c choco : 1801.0 7.19/7.38 c mistral : 45.88 7.19/7.38 c abscon : 45.36 7.19/7.38 c 7.19/7.38 c 7.19/7.38 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-02.xml 7.19/7.38 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.816000 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 3.298570 | c 14 > 7.800900 | c 11 > 13.489600 | c 12 > 1.799670 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.38 c choco : 32.16 7.19/7.38 c mistral : 3.69 7.19/7.38 c abscon : 29.03 7.19/7.38 c 7.19/7.38 c 7.19/7.38 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-02.xml 7.19/7.38 c 19 > 0.000000 | c 35 > 0.416667 | c 17 > 8.474580 | c 18 > 0.000000 | c 33 > 0.312500 | c 15 > 15.504700 | c 34 > 0.312500 | c 16 > 30.000000 | c 13 > 2.495110 | c 14 > 6.247930 | c 11 > 12.394200 | c 12 > 1.102280 | c 21 > 5.099020 | c 20 > 91.525400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.500000 | c 28 > 3.500000 | c 29 > -1.000000 | c 3 > 7.577430 | c 2 > -1.000000 | c 10 > 12.583100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.342100 | c 32 > -1.000000 | c 5 > 13.906000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.39 c choco : 13.14 7.19/7.40 c mistral : 2.39 7.19/7.40 c abscon : 17.53 7.19/7.40 c 7.19/7.40 c 7.19/7.40 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle22.xml 7.19/7.40 c 19 > 0.000000 | c 35 > 0.265781 | c 17 > 9.063440 | c 18 > 0.000000 | c 33 > 0.199336 | c 15 > 16.723100 | c 34 > 0.199336 | c 16 > 26.000000 | c 13 > 2.508290 | c 14 > 6.629360 | c 11 > 11.748200 | c 12 > 1.214160 | c 21 > 5.099020 | c 20 > 90.936600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 7.044390 | c 2 > -1.000000 | c 10 > 11.954900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.691700 | c 32 > -1.000000 | c 5 > 13.294600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.60 c choco : 10.12 7.35/7.60 c mistral : 2.06 7.35/7.60 c abscon : 11.7 7.35/7.60 c 7.35/7.60 c 7.35/7.60 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-02.xml 7.35/7.60 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.796200 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 2.604790 | c 14 > 6.882640 | c 11 > 13.489600 | c 12 > 1.094250 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.62 c choco : 18.46 7.45/7.62 c mistral : 7.02 7.45/7.62 c abscon : 21.29 7.45/7.62 c 7.45/7.62 c 7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-02.xml 7.45/7.62 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 6.715990 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.838900 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 2.587220 | c 14 > 6.754890 | c 11 > 13.489600 | c 12 > 1.093020 | c 21 > 5.099020 | c 20 > 93.284000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.084750 | c 28 > 4.915250 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.662100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.452000 | c 32 > -1.000000 | c 5 > 14.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.62 c choco : 19.53 7.45/7.62 c mistral : 4.01 7.45/7.62 c abscon : 22.06 7.45/7.62 c 7.45/7.62 c 7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle22.xml 7.45/7.62 c 19 > 0.000000 | c 35 > 0.265781 | c 17 > 9.063440 | c 18 > 0.000000 | c 33 > 0.199336 | c 15 > 15.827100 | c 34 > 0.199336 | c 16 > 26.000000 | c 13 > 2.380210 | c 14 > 5.491850 | c 11 > 11.748200 | c 12 > 1.161330 | c 21 > 5.099020 | c 20 > 90.936600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 7.044390 | c 2 > -1.000000 | c 10 > 11.954900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.691700 | c 32 > -1.000000 | c 5 > 13.294600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.64 c choco : 8.28 7.45/7.64 c mistral : 1.37 7.45/7.64 c abscon : 16.42 7.45/7.64 c 7.45/7.64 c 7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle22.xml 7.45/7.64 c 19 > 0.000000 | c 35 > 0.265781 | c 17 > 9.063440 | c 18 > 0.000000 | c 33 > 0.199336 | c 15 > 15.237200 | c 34 > 0.199336 | c 16 > 26.000000 | c 13 > 2.369300 | c 14 > 6.339850 | c 11 > 11.748200 | c 12 > 1.111150 | c 21 > 5.099020 | c 20 > 90.936600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 7.044390 | c 2 > -1.000000 | c 10 > 11.954900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.691700 | c 32 > -1.000000 | c 5 > 13.294600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.64 c choco : 8.36 7.45/7.64 c mistral : 1.01 7.45/7.64 c abscon : 13.23 7.45/7.64 c 7.45/7.64 c 7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-04.xml 7.45/7.64 c 19 > 0.000000 | c 35 > 0.219982 | c 17 > 5.704410 | c 18 > 0.000000 | c 33 > 0.164986 | c 15 > 18.983300 | c 34 > 0.164986 | c 16 > 26.000000 | c 13 > 4.530690 | c 14 > 8.092760 | c 11 > 13.550300 | c 12 > 2.089750 | c 21 > 5.099020 | c 20 > 94.295600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.060610 | c 28 > 3.939390 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.514200 | c 32 > -1.000000 | c 5 > 14.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.65 c choco : 1801.0 7.45/7.65 c mistral : 20.21 7.45/7.65 c abscon : 40.24 7.45/7.65 c 7.45/7.65 c 7.45/7.65 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle22.xml 7.45/7.65 c 19 > 0.000000 | c 35 > 0.265781 | c 17 > 9.063440 | c 18 > 0.000000 | c 33 > 0.199336 | c 15 > 15.089700 | c 34 > 0.199336 | c 16 > 26.000000 | c 13 > 2.412730 | c 14 > 5.906890 | c 11 > 11.748200 | c 12 > 1.112310 | c 21 > 5.099020 | c 20 > 90.936600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 8.000000 | c 28 > 2.000000 | c 29 > -1.000000 | c 3 > 7.044390 | c 2 > -1.000000 | c 10 > 11.954900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.691700 | c 32 > -1.000000 | c 5 > 13.294600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.66 c choco : 9.7 7.45/7.66 c mistral : 1.9 7.45/7.66 c abscon : 13.31 7.45/7.66 c 7.45/7.66 c 7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-04.xml 7.45/7.66 c 19 > 0.000000 | c 35 > 0.219982 | c 17 > 5.704410 | c 18 > 0.000000 | c 33 > 0.164986 | c 15 > 18.620200 | c 34 > 0.164986 | c 16 > 26.000000 | c 13 > 4.218840 | c 14 > 7.741470 | c 11 > 13.550300 | c 12 > 1.991010 | c 21 > 5.099020 | c 20 > 94.295600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.060610 | c 28 > 3.939390 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.514200 | c 32 > -1.000000 | c 5 > 14.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.66 c choco : 93.62 7.45/7.66 c mistral : 49.24 7.45/7.66 c abscon : 29.44 7.45/7.66 c 7.45/7.66 c 7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-10.xml 7.45/7.66 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.478430 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.086700 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.779510 | c 14 > 7.044390 | c 11 > 8.851750 | c 12 > 5.797390 | c 21 > 5.099020 | c 20 > 92.521600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.307690 | c 28 > 7.692310 | c 29 > -1.000000 | c 3 > 8.851750 | c 2 > -1.000000 | c 10 > 14.262800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.101000 | c 32 > -1.000000 | c 5 > 15.525200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.67 c choco : 732.3 7.45/7.67 c mistral : 1140.76 7.45/7.67 c abscon : 221.99 7.45/7.67 c 7.45/7.67 c 7.45/7.67 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-10.xml 7.45/7.67 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.169610 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.323900 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 5.062930 | c 14 > 7.491850 | c 11 > 8.581200 | c 12 > 6.049520 | c 21 > 5.099020 | c 20 > 92.830400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.686570 | c 28 > 7.313430 | c 29 > -1.000000 | c 3 > 8.581200 | c 2 > -1.000000 | c 10 > 14.159800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.004400 | c 32 > -1.000000 | c 5 > 15.386200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.68 c choco : 1801.0 7.45/7.68 c mistral : 1801.0 7.45/7.68 c abscon : 600.62 7.45/7.68 c 7.45/7.68 c 7.45/7.68 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-04.xml 7.45/7.68 c 19 > 0.000000 | c 35 > 0.219982 | c 17 > 5.704410 | c 18 > 0.000000 | c 33 > 0.164986 | c 15 > 17.263600 | c 34 > 0.164986 | c 16 > 26.000000 | c 13 > 2.773070 | c 14 > 7.562240 | c 11 > 13.550300 | c 12 > 1.143490 | c 21 > 5.099020 | c 20 > 94.295600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.060610 | c 28 > 3.939390 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.514200 | c 32 > -1.000000 | c 5 > 14.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.68 c choco : 19.09 7.45/7.68 c mistral : 4.82 7.45/7.68 c abscon : 21.47 7.45/7.68 c 7.45/7.68 c 7.45/7.68 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-04.xml 7.45/7.68 c 19 > 0.000000 | c 35 > 0.219982 | c 17 > 5.704410 | c 18 > 0.000000 | c 33 > 0.164986 | c 15 > 17.227200 | c 34 > 0.164986 | c 16 > 26.000000 | c 13 > 2.797250 | c 14 > 7.257390 | c 11 > 13.550300 | c 12 > 1.131580 | c 21 > 5.099020 | c 20 > 94.295600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.060610 | c 28 > 3.939390 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.514200 | c 32 > -1.000000 | c 5 > 14.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.69 c choco : 20.33 7.45/7.69 c mistral : 5.64 7.45/7.69 c abscon : 20.96 7.45/7.69 c 7.45/7.69 c 7.45/7.69 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-10.xml 7.45/7.69 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.169610 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.223800 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.362630 | c 14 > 6.375040 | c 11 > 8.581200 | c 12 > 5.778270 | c 21 > 5.099020 | c 20 > 92.830400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.686570 | c 28 > 7.313430 | c 29 > -1.000000 | c 3 > 8.581200 | c 2 > -1.000000 | c 10 > 14.159800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.004400 | c 32 > -1.000000 | c 5 > 15.386200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.70 c choco : 40.62 7.45/7.70 c mistral : 19.39 7.45/7.70 c abscon : 26.77 7.45/7.70 c 7.45/7.70 c 7.45/7.70 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-01.xml 7.45/7.70 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 11.453700 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.904600 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 4.749480 | c 14 > 8.527480 | c 11 > 12.013700 | c 12 > 2.548690 | c 21 > 5.099020 | c 20 > 88.546300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.128210 | c 28 > 4.871790 | c 29 > -1.000000 | c 3 > 7.562240 | c 2 > -1.000000 | c 10 > 12.175900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.946200 | c 32 > -1.000000 | c 5 > 13.644500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.70 c choco : 13.71 7.52/7.70 c mistral : 14.43 7.52/7.70 c abscon : 12.3 7.52/7.70 c 7.52/7.70 c 7.52/7.70 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-10.xml 7.52/7.70 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.169610 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.259200 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.327920 | c 14 > 5.857980 | c 11 > 8.581200 | c 12 > 5.772020 | c 21 > 5.099020 | c 20 > 92.830400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.686570 | c 28 > 7.313430 | c 29 > -1.000000 | c 3 > 8.581200 | c 2 > -1.000000 | c 10 > 14.159800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.004400 | c 32 > -1.000000 | c 5 > 15.386200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.71 c choco : 77.94 7.52/7.71 c mistral : 25.98 7.52/7.71 c abscon : 28.51 7.52/7.71 c 7.52/7.71 c 7.52/7.71 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-10.xml 7.52/7.71 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.478430 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.077900 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.068580 | c 14 > 5.584960 | c 11 > 8.851750 | c 12 > 5.618850 | c 21 > 5.099020 | c 20 > 92.521600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.307690 | c 28 > 7.692310 | c 29 > -1.000000 | c 3 > 8.851750 | c 2 > -1.000000 | c 10 > 14.262800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.101000 | c 32 > -1.000000 | c 5 > 15.525200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.71 c choco : 693.99 7.52/7.71 c mistral : 33.9 7.52/7.71 c abscon : 34.77 7.52/7.71 c 7.52/7.71 c 7.52/7.71 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-07.xml 7.52/7.71 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 11.161400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.197600 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.795850 | c 14 > 7.539160 | c 11 > 12.049500 | c 12 > 2.152000 | c 21 > 5.099020 | c 20 > 88.838600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.864860 | c 28 > 5.135140 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.201200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.982300 | c 32 > -1.000000 | c 5 > 13.678400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.72 c choco : 1801.0 7.52/7.72 c mistral : 56.17 7.52/7.72 c abscon : 108.91 7.52/7.72 c 7.52/7.72 c 7.52/7.72 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-10.xml 7.52/7.72 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 7.478430 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.477300 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.081580 | c 14 > 5.700440 | c 11 > 8.851750 | c 12 > 5.599270 | c 21 > 5.099020 | c 20 > 92.521600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.307690 | c 28 > 7.692310 | c 29 > -1.000000 | c 3 > 8.851750 | c 2 > -1.000000 | c 10 > 14.262800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.101000 | c 32 > -1.000000 | c 5 > 15.525200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.73 c choco : 52.47 7.52/7.73 c mistral : 64.52 7.52/7.73 c abscon : 39.31 7.52/7.73 c 7.52/7.73 c 7.52/7.73 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-01.xml 7.52/7.73 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 11.453700 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.207000 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.150600 | c 14 > 8.194760 | c 11 > 12.013700 | c 12 > 1.546300 | c 21 > 5.099020 | c 20 > 88.546300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.128210 | c 28 > 4.871790 | c 29 > -1.000000 | c 3 > 7.562240 | c 2 > -1.000000 | c 10 > 12.175900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.946200 | c 32 > -1.000000 | c 5 > 13.644500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.73 c choco : 10.61 7.52/7.73 c mistral : 2.4 7.52/7.73 c abscon : 15.58 7.52/7.73 c 7.52/7.73 c 7.52/7.73 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-07.xml 7.52/7.73 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 11.161400 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.412800 | c 34 > 0.000000 | c 16 > 20.000000 | c 13 > 3.390130 | c 14 > 7.159870 | c 11 > 12.049500 | c 12 > 1.981930 | c 21 > 5.099020 | c 20 > 88.838600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.864860 | c 28 > 5.135140 | c 29 > -1.000000 | c 3 > 7.592460 | c 2 > -1.000000 | c 10 > 12.201200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 11.982300 | c 32 > -1.000000 | c 5 > 13.678400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.74 c choco : 18.8 7.52/7.74 c mistral : 16.88 7.52/7.74 c abscon : 15.93 7.52/7.74 c 7.52/7.74 c 7.52/7.74 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle19.xml 7.52/7.74 c 19 > 0.000000 | c 35 > 0.096038 | c 17 > 8.762320 | c 18 > 0.000000 | c 33 > 0.072029 | c 15 > 17.462600 | c 34 > 0.072029 | c 16 > 20.000000 | c 13 > 4.625640 | c 14 > 7.584960 | c 11 > 12.434400 | c 12 > 1.932300 | c 21 > 5.099020 | c 20 > 91.237700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.500000 | c 28 > 4.500000 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.612200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.384800 | c 32 > -1.000000 | c 5 > 13.925400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.74 c choco : 31.73 7.52/7.74 c mistral : 3.37 7.52/7.74 c abscon : 13.67 7.52/7.74 c 7.52/7.74 c 7.52/7.74 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml 7.52/7.74 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 18.312000 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.751900 | c 14 > 7.651050 | c 11 > 8.204570 | c 12 > 5.544980 | c 21 > 5.099020 | c 20 > 95.183400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.230770 | c 28 > 2.769230 | c 29 > -1.000000 | c 3 > 8.204570 | c 2 > -1.000000 | c 10 > 14.090200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.847600 | c 32 > -1.000000 | c 5 > 15.181200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.75 c choco : 19.91 7.52/7.75 c mistral : 1.45 7.52/7.75 c abscon : 23.48 7.52/7.75 c 7.52/7.75 c 7.52/7.75 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-03.xml 7.52/7.75 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.575600 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 5.046140 | c 14 > 7.851750 | c 11 > 8.781360 | c 12 > 6.183750 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.75 c choco : 1801.0 7.52/7.75 c mistral : 360.0 7.52/7.75 c abscon : 148.75 7.52/7.75 c 7.52/7.75 c 7.52/7.75 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-05.xml 7.52/7.75 c 19 > 0.000000 | c 35 > 0.033085 | c 17 > 4.952830 | c 18 > 0.000000 | c 33 > 0.024814 | c 15 > 19.425400 | c 34 > 0.024814 | c 16 > 32.000000 | c 13 > 5.308190 | c 14 > 7.108520 | c 11 > 8.184880 | c 12 > 6.322920 | c 21 > 5.099020 | c 20 > 95.047200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.904760 | c 28 > 3.095240 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.059300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.826500 | c 32 > -1.000000 | c 5 > 15.160400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.76 c choco : 45.83 7.52/7.76 c mistral : 5.61 7.52/7.76 c abscon : 26.09 7.52/7.76 c 7.52/7.76 c 7.52/7.76 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle19.xml 7.52/7.76 c 19 > 0.000000 | c 35 > 0.096038 | c 17 > 8.762320 | c 18 > 0.000000 | c 33 > 0.072029 | c 15 > 17.814300 | c 34 > 0.072029 | c 16 > 20.000000 | c 13 > 2.962560 | c 14 > 7.375040 | c 11 > 12.434400 | c 12 > 1.291740 | c 21 > 5.099020 | c 20 > 91.237700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.500000 | c 28 > 4.500000 | c 29 > -1.000000 | c 3 > 7.546890 | c 2 > -1.000000 | c 10 > 12.612200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 12.384800 | c 32 > -1.000000 | c 5 > 13.925400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.77 c choco : 10.82 7.52/7.77 c mistral : 0.97 7.52/7.77 c abscon : 14.53 7.52/7.77 c 7.52/7.77 c 7.52/7.77 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-09.xml 7.52/7.77 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 17.887300 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.808910 | c 14 > 6.942510 | c 11 > 8.204570 | c 12 > 5.548020 | c 21 > 5.099020 | c 20 > 95.183400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.230770 | c 28 > 2.769230 | c 29 > -1.000000 | c 3 > 8.204570 | c 2 > -1.000000 | c 10 > 14.090200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.847600 | c 32 > -1.000000 | c 5 > 15.181200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.77 c choco : 20.46 7.52/7.77 c mistral : 2.47 7.52/7.77 c abscon : 19.78 7.52/7.77 c 7.52/7.77 c 7.52/7.77 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml 7.52/7.77 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.227300 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 6.114670 | c 14 > 7.787900 | c 11 > 8.781360 | c 12 > 6.391180 | c 21 > 5.099020 | c 20 > 94.798200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.827590 | c 28 > 5.172410 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.604000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.395900 | c 32 > -1.000000 | c 5 > 15.735500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.78 c choco : 1801.0 7.52/7.78 c mistral : 69.75 7.52/7.78 c abscon : 1801.0 7.52/7.78 c 7.52/7.78 c 7.52/7.78 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-05.xml 7.52/7.78 c 19 > 0.000000 | c 35 > 0.033085 | c 17 > 4.952830 | c 18 > 0.000000 | c 33 > 0.024814 | c 15 > 17.119600 | c 34 > 0.024814 | c 16 > 32.000000 | c 13 > 4.903700 | c 14 > 7.219170 | c 11 > 8.184880 | c 12 > 5.537290 | c 21 > 5.099020 | c 20 > 95.047200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.904760 | c 28 > 3.095240 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.059300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.826500 | c 32 > -1.000000 | c 5 > 15.160400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.79 c choco : 20.18 7.52/7.79 c mistral : 2.03 7.52/7.79 c abscon : 21.47 7.52/7.79 c 7.52/7.79 c 7.52/7.79 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-05.xml 7.52/7.79 c 19 > 0.000000 | c 35 > 0.033085 | c 17 > 4.952830 | c 18 > 0.000000 | c 33 > 0.024814 | c 15 > 17.329200 | c 34 > 0.024814 | c 16 > 32.000000 | c 13 > 4.834790 | c 14 > 6.906890 | c 11 > 8.184880 | c 12 > 5.535160 | c 21 > 5.099020 | c 20 > 95.047200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.904760 | c 28 > 3.095240 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.059300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.826500 | c 32 > -1.000000 | c 5 > 15.160400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.52/7.79 c choco : 19.76 7.52/7.79 c mistral : 2.49 7.52/7.79 c abscon : 20.72 7.52/7.79 c 7.52/7.79 c 7.52/7.79 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-01.xml 7.52/7.79 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.992180 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.233000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.066810 | c 14 > 7.238400 | c 11 > 8.543030 | c 12 > 5.979860 | c 21 > 5.099020 | c 20 > 94.007800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 3.623190 | c 28 > 6.376810 | c 29 > -1.000000 | c 3 > 8.543030 | c 2 > -1.000000 | c 10 > 14.159600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.965600 | c 32 > -1.000000 | c 5 > 15.347600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.80 c choco : 1801.0 7.58/7.80 c mistral : 67.7 7.58/7.80 c abscon : 1801.0 7.58/7.80 c 7.58/7.80 c 7.58/7.80 c Length: 40 7.58/7.80 c 1.8163357696472306 2.4999847799136683 4.5472666567882305 4.695786288486521 5.960061780057316 6.023379125300016 6.901516429672395 7.224125286207808 7.310850805722071 7.357075093937672 8.187186771782722 8.385751775978528 8.409626073282157 9.025590990924306 9.029797418788196 9.127266669095569 9.237352246583107 9.247987967367978 9.545481079323714 9.548587071385326 9.898918658398145 9.958215290140242 10.096433861627926 10.120139970130205 10.239450646290894 10.328781341790862 10.380718755588505 10.470019100695424 10.474814541199619 10.672247715735752 10.941110092528877 10.961512127842994 11.001617793925899 11.058328693214582 11.140996261144569 11.15085603743269 11.1548861422664 11.174916294034283 11.180034351345837 11.182476696395437 7.58/7.81 c 7.58/7.81 c 1.0 0.9319738009897627 0.7742486008882339 0.7648581914859773 0.69328150827208 0.6900474296876936 0.6481165663990623 0.6339640600508036 0.6302642999191632 0.6283099326631817 0.5951671684826614 0.5877510880906642 0.5868718497258976 0.565062870480115 0.5649195078034551 0.5616178322165502 0.5579348963924486 0.5575816333340102 0.5478785670632352 0.5477790427069517 0.5367808572010622 0.5349628734426143 0.5307726432135151 0.5300605553275902 0.5265054946796801 0.5238748000200545 0.5223573484163372 0.5197687165398343 0.5196304323486652 0.5140003155577567 0.5065266267409719 0.5059683642485066 0.5048745291115129 0.5033358531322781 0.5011096483859268 0.5008454422716345 0.5007375303256133 0.500201882905999 0.500065199305325 0.5 7.58/7.82 c 7.58/7.82 c solver 0 7.58/7.82 c before 0.0 seconds: {} 0 7.58/7.82 c before 18.0 seconds: {3, 4, 5, 9, 10, 13, 14, 16, 23, 28, 29, 30, 34} 7630 7.58/7.82 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 33, 34, 35, 37, 38} 17579 7.58/7.82 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38} 20226 7.58/7.82 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38} 20748 7.58/7.82 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38} 21253 7.58/7.82 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38} 21801 7.58/7.82 c before 612.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, 37, 38} 22349 7.58/7.82 c 7.58/7.82 c solver 1 7.58/7.82 c before 0.0 seconds: {} 0 7.58/7.82 c before 18.0 seconds: {0, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 20, 21, 23, 28, 29, 30, 31, 33, 34, 35, 37, 38} 14666 7.58/7.82 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 33, 34, 35, 37, 38} 17583 7.58/7.82 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 28, 29, 30, 31, 33, 34, 35, 37, 38} 18774 7.58/7.82 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20817 7.58/7.82 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21749 7.58/7.82 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22254 7.58/7.82 c before 1152.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22802 7.58/7.82 c 7.58/7.82 c solver 2 7.58/7.82 c before 0.0 seconds: {} 0 7.58/7.82 c before 18.0 seconds: {4, 5, 9, 10, 13, 14, 16, 23, 28, 34} 5845 7.58/7.82 c before 36.0 seconds: {0, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 20, 21, 23, 28, 29, 30, 31, 34, 35, 37, 38} 13397 7.58/7.82 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 20, 21, 22, 23, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38} 16490 7.58/7.82 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38} 17017 7.58/7.82 c before 108.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38} 17574 7.58/7.82 c before 702.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38} 18098 7.58/7.82 c before 738.0 seconds: {0, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 37, 38} 18646 7.58/7.82 c 7.58/7.82 cTotal time: 139 7.58/7.82 c run abscon for 612.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, 37, 38} 22349 7.58/7.82 c run mistral for 1152.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22802 7.58/7.82 c run choco for 36.0 seconds {0, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 20, 21, 23, 28, 29, 30, 31, 34, 35, 37, 38} 13397 7.58/7.83 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.58/7.83 c On Instance: HOME/instance-1077010-1215191081.xml 7.58/7.83 c Running for: 612 seconds 23.95/24.23 s SAT 23.95/24.23 v 4 17 0 15 14 4 12 18 19 17 0 8 13 15 4 17 18 20 0 3 4 0 17 14 20 18 4 8 13 19 4 17 5 4 17 14 12 4 19 17 8 2 2 0 18 4 18 13 8 23 14 13 0 18 10 15 4 15 19 4 0 2 7 0 18 18 3 8 9 14 13 7 14 10 0 13 17 14 0 3 14 0 17 1 4 17 13 8 4 8 11 11 20 18 19 17 8 14 20 18 13 4 18 18 18 4 4 10 4 17 14 17 4 18 0 11 19 4 18 18 4 13 19 20 17 13 18 3 4 18 18 0 2 7 18 0 15 19 18 7 20 19 0 8 13 19 11 8 11 0 2 13 14 13 2 14 13 18 4 17 21 0 19 8 21 4 20 15 19 20 17 13 18 4 0 18 14 13 4 3 1 8 14 15 18 24 18 4 19 7 4 17 4 23.95/24.23 d ASSIGNMENTS 8733 23.95/24.23 d CHECKS 4697603
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077010-1215191081/watcher-1077010-1215191081 -o /tmp/evaluation-result-1077010-1215191081/solver-1077010-1215191081 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1077010-1215191081.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 [startup+0 s] /proc/loadavg: 1.92 1.98 1.95 3/82 30307 /proc/meminfo: memFree=1446968/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=18572 CPUtime=0 /proc/30307/stat : 30307 (runsolver) R 30305 27495 27495 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 1548780298 19017728 290 996147200 4194304 4296836 548682068480 18446744073709551615 268211125746 0 0 4096 24578 0 0 0 17 1 0 0 /proc/30307/statm: 4643 290 255 25 0 2626 0 Current StackSize limit: 10240 KiB [startup+0.0592951 s] /proc/loadavg: 1.92 1.98 1.95 3/82 30307 /proc/meminfo: memFree=1446968/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=0 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1548780298 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101294 s] /proc/loadavg: 1.92 1.98 1.95 3/82 30307 /proc/meminfo: memFree=1446968/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=0 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1548780298 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301321 s] /proc/loadavg: 1.92 1.98 1.95 3/82 30307 /proc/meminfo: memFree=1446968/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=0 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1548780298 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701368 s] /proc/loadavg: 1.92 1.98 1.95 3/82 30307 /proc/meminfo: memFree=1446968/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=0 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1548780298 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50146 s] /proc/loadavg: 1.92 1.98 1.95 3/84 30311 /proc/meminfo: memFree=1441960/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=0 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1548780298 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 236 195 169 0 51 0 [pid=30311] ppid=30307 vsize=9228 CPUtime=1.47 /proc/30311/stat : 30311 (xsolve) R 30307 30307 27495 0 -1 4194304 1647 0 0 0 146 1 0 0 25 0 1 0 1548780299 9449472 1606 996147200 134512640 135239763 4294956176 18446744073709551615 134789108 0 0 4096 0 0 0 0 17 1 0 0 /proc/30311/statm: 2307 1606 424 177 0 1210 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 14588 [startup+3.10264 s] /proc/loadavg: 1.92 1.98 1.95 3/92 30323 /proc/meminfo: memFree=1439080/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=1.57 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 375 2244 0 0 0 0 156 1 19 0 1 0 1548780298 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 238 196 169 0 51 0 [pid=30315] ppid=30307 vsize=196988 CPUtime=1.47 /proc/30315/stat : 30315 (java) S 30307 30307 27495 0 -1 0 6296 0 1 0 142 5 0 0 18 0 9 0 1548780458 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30315/statm: 49247 5346 2576 9 0 43829 0 [pid=30315/tid=30316] ppid=30307 vsize=196988 CPUtime=1.12 /proc/30315/task/30316/stat : 30316 (java) R 30307 30307 27495 0 -1 64 2771 0 1 0 110 2 0 0 25 0 9 0 1548780459 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30317] ppid=30307 vsize=196988 CPUtime=0.2 /proc/30315/task/30317/stat : 30317 (java) R 30307 30307 27495 0 -1 64 2189 0 0 0 18 2 0 0 16 0 9 0 1548780460 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 103737199 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30318] ppid=30307 vsize=196988 CPUtime=0 /proc/30315/task/30318/stat : 30318 (java) S 30307 30307 27495 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1548780461 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30319] ppid=30307 vsize=196988 CPUtime=0 /proc/30315/task/30319/stat : 30319 (java) S 30307 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1548780461 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30320] ppid=30307 vsize=196988 CPUtime=0 /proc/30315/task/30320/stat : 30320 (java) S 30307 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1548780462 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30321] ppid=30307 vsize=196988 CPUtime=0.14 /proc/30315/task/30321/stat : 30321 (java) S 30307 30307 27495 0 -1 64 611 0 0 0 14 0 0 0 16 0 9 0 1548780462 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30322] ppid=30307 vsize=196988 CPUtime=0 /proc/30315/task/30322/stat : 30322 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1548780463 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30323] ppid=30307 vsize=196988 CPUtime=0 /proc/30315/task/30323/stat : 30323 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1548780463 201715712 5346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202348 [startup+6.302 s] /proc/loadavg: 1.93 1.98 1.95 4/92 30323 /proc/meminfo: memFree=1426216/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=1.57 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 375 2244 0 0 0 0 156 1 19 0 1 0 1548780298 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 238 196 169 0 51 0 [pid=30315] ppid=30307 vsize=197096 CPUtime=4.64 /proc/30315/stat : 30315 (java) S 30307 30307 27495 0 -1 0 10119 0 1 0 450 14 0 0 18 0 9 0 1548780458 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30315/statm: 49274 8389 2541 9 0 43856 0 [pid=30315/tid=30316] ppid=30307 vsize=197096 CPUtime=3.64 /proc/30315/task/30316/stat : 30316 (java) R 30307 30307 27495 0 -1 64 3570 0 1 0 360 4 0 0 25 0 9 0 1548780459 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4126443241 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30317] ppid=30307 vsize=197096 CPUtime=0.8 /proc/30315/task/30317/stat : 30317 (java) S 30307 30307 27495 0 -1 64 5197 0 0 0 72 8 0 0 16 0 9 0 1548780460 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30318] ppid=30307 vsize=197096 CPUtime=0 /proc/30315/task/30318/stat : 30318 (java) S 30307 30307 27495 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1548780461 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30319] ppid=30307 vsize=197096 CPUtime=0 /proc/30315/task/30319/stat : 30319 (java) S 30307 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1548780461 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30320] ppid=30307 vsize=197096 CPUtime=0 /proc/30315/task/30320/stat : 30320 (java) S 30307 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1548780462 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30321] ppid=30307 vsize=197096 CPUtime=0.17 /proc/30315/task/30321/stat : 30321 (java) S 30307 30307 27495 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1548780462 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30322] ppid=30307 vsize=197096 CPUtime=0 /proc/30315/task/30322/stat : 30322 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1548780463 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30323] ppid=30307 vsize=197096 CPUtime=0 /proc/30315/task/30323/stat : 30323 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1548780463 201826304 8389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202456 [startup+12.7027 s] /proc/loadavg: 2.01 2.00 1.95 3/104 30335 /proc/meminfo: memFree=1352072/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=1.57 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 375 2244 0 0 0 0 156 1 19 0 1 0 1548780298 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 238 196 169 0 51 0 [pid=30315] ppid=30307 vsize=197420 CPUtime=6.05 /proc/30315/stat : 30315 (java) S 30307 30307 27495 0 -1 0 13967 0 1 0 586 19 0 0 18 0 10 0 1548780458 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30315/statm: 49355 9482 2544 9 0 43937 0 [pid=30325] ppid=30315 vsize=5356 CPUtime=0 /proc/30325/stat : 30325 (abscon) S 30315 30307 27495 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1548781081 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 268213740356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30325/statm: 1339 237 196 169 0 50 0 [pid=30326] ppid=30325 vsize=655932 CPUtime=4.85 /proc/30326/stat : 30326 (java) S 30325 30307 27495 0 -1 0 19644 0 1 0 473 12 0 0 18 0 9 0 1548781082 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30326/statm: 163983 18957 2616 9 0 158511 0 [pid=30326/tid=30328] ppid=30325 vsize=655932 CPUtime=4.4 /proc/30326/task/30328/stat : 30328 (java) R 30325 30307 27495 0 -1 64 12579 0 1 0 431 9 0 0 25 0 9 0 1548781083 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4127081974 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30329] ppid=30325 vsize=655932 CPUtime=0.11 /proc/30326/task/30329/stat : 30329 (java) S 30325 30307 27495 0 -1 64 5789 0 0 0 10 1 0 0 17 0 9 0 1548781084 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30330] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30330/stat : 30330 (java) S 30325 30307 27495 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1548781084 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30331] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30331/stat : 30331 (java) S 30325 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1548781084 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30332] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30332/stat : 30332 (java) S 30325 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1548781086 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30333] ppid=30325 vsize=655932 CPUtime=0.31 /proc/30326/task/30333/stat : 30333 (java) S 30325 30307 27495 0 -1 64 731 0 0 0 31 0 0 0 16 0 9 0 1548781086 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30334] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30334/stat : 30334 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1548781086 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30335] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30335/stat : 30335 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1548781086 671674368 18957 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30327] ppid=30325 vsize=7044 CPUtime=0 /proc/30327/stat : 30327 (translate) S 30325 30307 27495 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1548781082 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 268213911634 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30327/statm: 1761 213 182 1 0 41 0 [pid=30315/tid=30316] ppid=30307 vsize=197420 CPUtime=4.65 /proc/30315/task/30316/stat : 30316 (java) S 30307 30307 27495 0 -1 64 3903 0 1 0 459 6 0 0 25 0 10 0 1548780459 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30315/tid=30317] ppid=30307 vsize=197420 CPUtime=1.12 /proc/30315/task/30317/stat : 30317 (java) S 30307 30307 27495 0 -1 64 8571 0 0 0 102 10 0 0 16 0 10 0 1548780460 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30318] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30318/stat : 30318 (java) S 30307 30307 27495 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30319] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30319/stat : 30319 (java) S 30307 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30320] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30320/stat : 30320 (java) S 30307 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30321] ppid=30307 vsize=197420 CPUtime=0.24 /proc/30315/task/30321/stat : 30321 (java) S 30307 30307 27495 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30322] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30322/stat : 30322 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30323] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30323/stat : 30323 (java) S 30307 30307 27495 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30324] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30324/stat : 30324 (java) S 30307 30307 27495 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1548781081 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 871112 Solver just ended. Dumping a history of the last processes samples [startup+19.1024 s] /proc/loadavg: 2.01 2.00 1.95 3/104 30335 /proc/meminfo: memFree=1352072/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=1.57 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 375 2244 0 0 0 0 156 1 19 0 1 0 1548780298 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 238 196 169 0 51 0 [pid=30315] ppid=30307 vsize=197420 CPUtime=6.05 /proc/30315/stat : 30315 (java) S 30307 30307 27495 0 -1 0 13967 0 1 0 586 19 0 0 18 0 10 0 1548780458 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30315/statm: 49355 9482 2544 9 0 43937 0 [pid=30325] ppid=30315 vsize=5356 CPUtime=0 /proc/30325/stat : 30325 (abscon) S 30315 30307 27495 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1548781081 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 268213740356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30325/statm: 1339 237 196 169 0 50 0 [pid=30326] ppid=30325 vsize=655932 CPUtime=11.23 /proc/30326/stat : 30326 (java) S 30325 30307 27495 0 -1 0 19655 0 1 0 1111 12 0 0 18 0 9 0 1548781082 671674368 18965 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30326/statm: 163983 18965 2616 9 0 158511 0 [pid=30326/tid=30328] ppid=30325 vsize=655932 CPUtime=10.77 /proc/30326/task/30328/stat : 30328 (java) R 30325 30307 27495 0 -1 64 12581 0 1 0 1068 9 0 0 25 0 9 0 1548781083 671674368 18965 996147200 134512640 134550740 4294955808 18446744073709551615 4127129084 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30329] ppid=30325 vsize=655932 CPUtime=0.11 /proc/30326/task/30329/stat : 30329 (java) S 30325 30307 27495 0 -1 64 5789 0 0 0 10 1 0 0 17 0 9 0 1548781084 671674368 18965 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=30315/tid=30322] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30322/stat : 30322 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30323] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30323/stat : 30323 (java) S 30307 30307 27495 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30324] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30324/stat : 30324 (java) S 30307 30307 27495 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1548781081 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.86 Current children cumulated vsize (KiB) 871112 [startup+23.903 s] /proc/loadavg: 2.01 2.00 1.95 3/104 30335 /proc/meminfo: memFree=1351944/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=1.57 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 375 2244 0 0 0 0 156 1 19 0 1 0 1548780298 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 238 196 169 0 51 0 [pid=30315] ppid=30307 vsize=197420 CPUtime=6.05 /proc/30315/stat : 30315 (java) S 30307 30307 27495 0 -1 0 13967 0 1 0 586 19 0 0 18 0 10 0 1548780458 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30315/statm: 49355 9482 2544 9 0 43937 0 [pid=30325] ppid=30315 vsize=5356 CPUtime=0 /proc/30325/stat : 30325 (abscon) S 30315 30307 27495 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1548781081 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 268213740356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30325/statm: 1339 237 196 169 0 50 0 [pid=30326] ppid=30325 vsize=655932 CPUtime=16.03 /proc/30326/stat : 30326 (java) S 30325 30307 27495 0 -1 0 19657 0 1 0 1591 12 0 0 18 0 9 0 1548781082 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30326/statm: 163983 18966 2616 9 0 158511 0 [pid=30326/tid=30328] ppid=30325 vsize=655932 CPUtime=15.56 /proc/30326/task/30328/stat : 30328 (java) R 30325 30307 27495 0 -1 64 12582 0 1 0 1547 9 0 0 25 0 9 0 1548781083 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4127058623 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30329] ppid=30325 vsize=655932 CPUtime=0.11 /proc/30326/task/30329/stat : 30329 (java) S 30325 30307 27495 0 -1 64 5789 0 0 0 10 1 0 0 16 0 9 0 1548781084 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30330] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30330/stat : 30330 (java) S 30325 30307 27495 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1548781084 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30331] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30331/stat : 30331 (java) S 30325 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1548781084 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30332] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30332/stat : 30332 (java) S 30325 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30333] ppid=30325 vsize=655932 CPUtime=0.32 /proc/30326/task/30333/stat : 30333 (java) S 30325 30307 27495 0 -1 64 741 0 0 0 32 0 0 0 16 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30334] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30334/stat : 30334 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30335] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30335/stat : 30335 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30327] ppid=30325 vsize=7044 CPUtime=0 /proc/30327/stat : 30327 (translate) S 30325 30307 27495 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1548781082 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 268213911634 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30327/statm: 1761 213 182 1 0 41 0 [pid=30315/tid=30316] ppid=30307 vsize=197420 CPUtime=4.65 /proc/30315/task/30316/stat : 30316 (java) S 30307 30307 27495 0 -1 64 3903 0 1 0 459 6 0 0 25 0 10 0 1548780459 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30315/tid=30317] ppid=30307 vsize=197420 CPUtime=1.12 /proc/30315/task/30317/stat : 30317 (java) S 30307 30307 27495 0 -1 64 8571 0 0 0 102 10 0 0 16 0 10 0 1548780460 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30318] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30318/stat : 30318 (java) S 30307 30307 27495 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30319] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30319/stat : 30319 (java) S 30307 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30320] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30320/stat : 30320 (java) S 30307 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30321] ppid=30307 vsize=197420 CPUtime=0.24 /proc/30315/task/30321/stat : 30321 (java) S 30307 30307 27495 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30322] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30322/stat : 30322 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30323] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30323/stat : 30323 (java) S 30307 30307 27495 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30324] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30324/stat : 30324 (java) S 30307 30307 27495 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1548781081 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 23.65 Current children cumulated vsize (KiB) 871112 [startup+24.103 s] /proc/loadavg: 2.01 2.00 1.95 3/104 30335 /proc/meminfo: memFree=1351944/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=1.57 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 375 2244 0 0 0 0 156 1 19 0 1 0 1548780298 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 238 196 169 0 51 0 [pid=30315] ppid=30307 vsize=197420 CPUtime=6.05 /proc/30315/stat : 30315 (java) S 30307 30307 27495 0 -1 0 13967 0 1 0 586 19 0 0 18 0 10 0 1548780458 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30315/statm: 49355 9482 2544 9 0 43937 0 [pid=30325] ppid=30315 vsize=5356 CPUtime=0 /proc/30325/stat : 30325 (abscon) S 30315 30307 27495 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1548781081 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 268213740356 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/30325/statm: 1339 237 196 169 0 50 0 [pid=30326] ppid=30325 vsize=655932 CPUtime=16.24 /proc/30326/stat : 30326 (java) S 30325 30307 27495 0 -1 0 19657 0 1 0 1612 12 0 0 18 0 9 0 1548781082 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30326/statm: 163983 18966 2616 9 0 158511 0 [pid=30326/tid=30328] ppid=30325 vsize=655932 CPUtime=15.77 /proc/30326/task/30328/stat : 30328 (java) R 30325 30307 27495 0 -1 64 12582 0 1 0 1568 9 0 0 25 0 9 0 1548781083 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4127132341 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30329] ppid=30325 vsize=655932 CPUtime=0.11 /proc/30326/task/30329/stat : 30329 (java) S 30325 30307 27495 0 -1 64 5789 0 0 0 10 1 0 0 17 0 9 0 1548781084 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30330] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30330/stat : 30330 (java) S 30325 30307 27495 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1548781084 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30331] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30331/stat : 30331 (java) S 30325 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1548781084 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30332] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30332/stat : 30332 (java) S 30325 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30333] ppid=30325 vsize=655932 CPUtime=0.32 /proc/30326/task/30333/stat : 30333 (java) S 30325 30307 27495 0 -1 64 741 0 0 0 32 0 0 0 16 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30334] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30334/stat : 30334 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30335] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30335/stat : 30335 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1548781086 671674368 18966 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30327] ppid=30325 vsize=7044 CPUtime=0 /proc/30327/stat : 30327 (translate) S 30325 30307 27495 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1548781082 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 268213911634 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/30327/statm: 1761 213 182 1 0 41 0 [pid=30315/tid=30316] ppid=30307 vsize=197420 CPUtime=4.65 /proc/30315/task/30316/stat : 30316 (java) S 30307 30307 27495 0 -1 64 3903 0 1 0 459 6 0 0 25 0 10 0 1548780459 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=30315/tid=30317] ppid=30307 vsize=197420 CPUtime=1.12 /proc/30315/task/30317/stat : 30317 (java) S 30307 30307 27495 0 -1 64 8571 0 0 0 102 10 0 0 16 0 10 0 1548780460 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30318] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30318/stat : 30318 (java) S 30307 30307 27495 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30319] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30319/stat : 30319 (java) S 30307 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30320] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30320/stat : 30320 (java) S 30307 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30321] ppid=30307 vsize=197420 CPUtime=0.24 /proc/30315/task/30321/stat : 30321 (java) S 30307 30307 27495 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30322] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30322/stat : 30322 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30323] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30323/stat : 30323 (java) S 30307 30307 27495 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30324] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30324/stat : 30324 (java) S 30307 30307 27495 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1548781081 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 23.86 Current children cumulated vsize (KiB) 871112 [startup+24.208 s] /proc/loadavg: 2.01 2.00 1.95 3/104 30335 /proc/meminfo: memFree=1351944/2055920 swapFree=4097948/4192956 [pid=30307] ppid=30305 vsize=5360 CPUtime=1.57 /proc/30307/stat : 30307 (hydra) S 30305 30307 27495 0 -1 4194304 375 2244 0 0 0 0 156 1 19 0 1 0 1548780298 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/30307/statm: 1340 238 196 169 0 51 0 [pid=30315] ppid=30307 vsize=197420 CPUtime=6.05 /proc/30315/stat : 30315 (java) S 30307 30307 27495 0 -1 0 13971 0 1 0 586 19 0 0 18 0 10 0 1548780458 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/30315/statm: 49355 9482 2544 9 0 43937 0 [pid=30325] ppid=30315 vsize=5356 CPUtime=0 /proc/30325/stat : 30325 (abscon) S 30315 30307 27495 0 -1 4194304 304 288 0 0 0 0 0 0 16 0 1 0 1548781081 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 268213740356 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/30325/statm: 1339 237 196 169 0 50 0 [pid=30326] ppid=30325 vsize=655932 CPUtime=16.33 /proc/30326/stat : 30326 (java) S 30325 30307 27495 0 -1 0 19663 0 1 0 1620 13 0 0 18 0 9 0 1548781082 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/30326/statm: 163983 18970 2616 9 0 158511 0 [pid=30326/tid=30328] ppid=30325 vsize=655932 CPUtime=15.85 /proc/30326/task/30328/stat : 30328 (java) S 30325 30307 27495 0 -1 64 12588 0 1 0 1576 9 0 0 25 0 9 0 1548781083 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30329] ppid=30325 vsize=655932 CPUtime=0.11 /proc/30326/task/30329/stat : 30329 (java) S 30325 30307 27495 0 -1 64 5789 0 0 0 10 1 0 0 17 0 9 0 1548781084 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30330] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30330/stat : 30330 (java) S 30325 30307 27495 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1548781084 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30331] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30331/stat : 30331 (java) S 30325 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1548781084 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30332] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30332/stat : 30332 (java) S 30325 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1548781086 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30333] ppid=30325 vsize=655932 CPUtime=0.33 /proc/30326/task/30333/stat : 30333 (java) S 30325 30307 27495 0 -1 64 741 0 0 0 33 0 0 0 15 0 9 0 1548781086 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30334] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30334/stat : 30334 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1548781086 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30326/tid=30335] ppid=30325 vsize=655932 CPUtime=0 /proc/30326/task/30335/stat : 30335 (java) S 30325 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1548781086 671674368 18970 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=30315/tid=30316] ppid=30307 vsize=197420 CPUtime=4.65 /proc/30315/task/30316/stat : 30316 (java) S 30307 30307 27495 0 -1 64 3907 0 1 0 459 6 0 0 16 0 10 0 1548780459 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=30315/tid=30317] ppid=30307 vsize=197420 CPUtime=1.12 /proc/30315/task/30317/stat : 30317 (java) S 30307 30307 27495 0 -1 64 8571 0 0 0 102 10 0 0 16 0 10 0 1548780460 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30318] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30318/stat : 30318 (java) S 30307 30307 27495 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30319] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30319/stat : 30319 (java) S 30307 30307 27495 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1548780461 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30320] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30320/stat : 30320 (java) S 30307 30307 27495 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30321] ppid=30307 vsize=197420 CPUtime=0.24 /proc/30315/task/30321/stat : 30321 (java) S 30307 30307 27495 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 1548780462 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30322] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30322/stat : 30322 (java) S 30307 30307 27495 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30323] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30323/stat : 30323 (java) S 30307 30307 27495 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1548780463 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=30315/tid=30324] ppid=30307 vsize=197420 CPUtime=0 /proc/30315/task/30324/stat : 30324 (java) S 30307 30307 27495 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1548781081 202158080 9482 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 23.95 Current children cumulated vsize (KiB) 864068 Child status: 0 Real time (s): 24.2859 CPU time (s): 24.0063 CPU user time (s): 23.6404 CPU system time (s): 0.365944 CPU usage (%): 98.849 Max. virtual memory (cumulated for all children) (KiB): 871112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.6404 system time used= 0.365944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36966 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= 11952 involuntary context switches= 17068 runsolver used 0.095985 second user time and 0.283956 second system time The end
Begin job on node32 at 2008-07-04 19:04:41 IDJOB=1077010 IDBENCH=56623 IDSOLVER=366 FILE ID=node32/1077010-1215191081 PBS_JOBID= 7881555 Free space on /tmp= 66440 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-15-04.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1077010-1215191081/watcher-1077010-1215191081 -o /tmp/evaluation-result-1077010-1215191081/solver-1077010-1215191081 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1077010-1215191081.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 3097f8c918f8091fb608d0f760556ab9 RANDOM SEED=130381661 node32.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.218 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.218 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: 1447448 kB Buffers: 56364 kB Cached: 297140 kB SwapCached: 88292 kB Active: 372956 kB Inactive: 177664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1447448 kB SwapTotal: 4192956 kB SwapFree: 4097948 kB Dirty: 25132 kB Writeback: 0 kB Mapped: 210640 kB Slab: 42364 kB Committed_AS: 4027604 kB PageTables: 2348 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66416 MiB End job on node32 at 2008-07-04 19:05:05