Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 126.131 | 128.733 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 9403 |
Name | csp/lexPuzzle/ normalized-crossword-m1-lex-puzzle20.xml |
MD5SUM | 1939684b0167f45216127399dc1d7cf5 |
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 | 0.098984 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 52 |
Number of constraints | 92 |
Maximum constraint arity | 14 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 24 |
Number of constraints which are defined in intension | 68 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.08/7.20 c CASE TO CLASSIFY: 7.08/7.20 c Case: 0 7.08/7.20 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 19.850000 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 11.918300 | c 14 > 10.574600 | c 11 > 8.741470 | c 12 > 9.439560 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.21 c choco : 1801.0 7.08/7.21 c mistral : 1801.0 7.08/7.21 c abscon : 1801.0 7.08/7.21 c 7.08/7.21 c 7.08/7.29 c List of same ones: 40 7.08/7.29 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle20.xml 7.08/7.29 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 19.335300 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 11.398100 | c 14 > 10.100700 | c 11 > 8.741470 | c 12 > 8.518040 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.29 c choco : 4.14 7.08/7.29 c mistral : 0.42 7.08/7.29 c abscon : 5.91 7.08/7.29 c 7.08/7.29 c 7.08/7.29 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle20.xml 7.08/7.29 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 19.060700 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 11.080300 | c 14 > 9.831310 | c 11 > 8.741470 | c 12 > 8.273070 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.30 c choco : 4.16 7.18/7.30 c mistral : 0.49 7.18/7.30 c abscon : 4.97 7.18/7.30 c 7.18/7.30 c 7.18/7.30 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle20.xml 7.18/7.30 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 18.763100 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 10.319900 | c 14 > 9.796040 | c 11 > 8.741470 | c 12 > 7.275970 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.31 c choco : 5.0 7.18/7.31 c mistral : 1.05 7.18/7.31 c abscon : 6.45 7.18/7.31 c 7.18/7.31 c 7.18/7.31 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle20.xml 7.18/7.31 c 19 > 0.000000 | c 35 > 2.352940 | c 17 > 26.087000 | c 18 > 0.000000 | c 33 > 1.764710 | c 15 > 18.839500 | c 34 > 1.764710 | c 16 > 14.000000 | c 13 > 10.244000 | c 14 > 9.594320 | c 11 > 8.741470 | c 12 > 7.293910 | c 21 > 5.099020 | c 20 > 73.913000 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.666670 | c 28 > 3.333330 | c 29 > -1.000000 | c 3 > 5.700440 | c 2 > -1.000000 | c 10 > 8.870360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.554590 | c 32 > -1.000000 | c 5 > 11.038900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.32 c choco : 4.9 7.18/7.32 c mistral : 1.28 7.18/7.32 c abscon : 5.94 7.18/7.32 c 7.18/7.32 c 7.18/7.32 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle14.xml 7.18/7.32 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.216100 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 11.042900 | c 14 > 9.837630 | c 11 > 9.252670 | c 12 > 8.003620 | c 21 > 5.099020 | c 20 > 76.271200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.33 c choco : 4.15 7.18/7.33 c mistral : 0.77 7.18/7.33 c abscon : 6.57 7.18/7.33 c 7.18/7.33 c 7.18/7.33 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle14.xml 7.18/7.33 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.634100 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 9.356750 | c 14 > 9.214320 | c 11 > 9.252670 | c 12 > 6.079790 | c 21 > 5.099020 | c 20 > 76.271200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.34 c choco : 5.08 7.18/7.34 c mistral : 4.1 7.18/7.34 c abscon : 7.76 7.18/7.34 c 7.18/7.34 c 7.18/7.34 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle14.xml 7.18/7.34 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.868400 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 9.276770 | c 14 > 9.335390 | c 11 > 9.252670 | c 12 > 5.740760 | c 21 > 5.099020 | c 20 > 76.271200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.35 c choco : 4.83 7.18/7.35 c mistral : 2.03 7.18/7.35 c abscon : 7.47 7.18/7.35 c 7.18/7.35 c 7.18/7.35 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle14.xml 7.18/7.35 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 23.728800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.325800 | c 34 > 0.000000 | c 16 > 14.000000 | c 13 > 8.846130 | c 14 > 8.625710 | c 11 > 9.252670 | c 12 > 6.108250 | c 21 > 5.099020 | c 20 > 76.271200 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 5.714290 | c 28 > 4.285710 | c 29 > -1.000000 | c 3 > 5.954200 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 9.098030 | c 32 > -1.000000 | c 5 > 11.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.36 c choco : 4.39 7.18/7.36 c mistral : 1.88 7.18/7.36 c abscon : 6.3 7.18/7.36 c 7.18/7.36 c 7.18/7.36 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle09.xml 7.18/7.36 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 18.613700 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 12.361200 | c 14 > 10.693500 | c 11 > 7.734710 | c 12 > 10.527100 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.37 c choco : 3.85 7.18/7.37 c mistral : 0.27 7.18/7.37 c abscon : 4.49 7.18/7.37 c 7.18/7.37 c 7.18/7.37 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle09.xml 7.18/7.37 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 18.056500 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 10.926800 | c 14 > 9.764870 | c 11 > 7.734710 | c 12 > 8.670510 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.38 c choco : 4.33 7.18/7.38 c mistral : 1.01 7.18/7.38 c abscon : 5.65 7.18/7.38 c 7.18/7.38 c 7.18/7.38 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle09.xml 7.18/7.38 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 18.039100 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 10.558500 | c 14 > 9.575540 | c 11 > 7.734710 | c 12 > 8.283010 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.57 c choco : 4.34 7.35/7.57 c mistral : 1.13 7.35/7.57 c abscon : 6.06 7.35/7.57 c 7.35/7.57 c 7.35/7.57 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle09.xml 7.35/7.57 c 19 > 0.000000 | c 35 > 5.263160 | c 17 > 30.909100 | c 18 > 0.000000 | c 33 > 3.947370 | c 15 > 17.692100 | c 34 > 3.947370 | c 16 > 14.000000 | c 13 > 9.713250 | c 14 > 9.467610 | c 11 > 7.734710 | c 12 > 8.393450 | c 21 > 5.099020 | c 20 > 69.090900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 1.176470 | c 27 > 4.705880 | c 28 > 4.117650 | c 29 > -1.000000 | c 3 > 5.129280 | c 2 > -1.000000 | c 10 > 7.864190 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.475730 | c 32 > -1.000000 | c 5 > 10.306100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.59 c choco : 3.86 7.35/7.59 c mistral : 1.48 7.35/7.59 c abscon : 4.88 7.35/7.59 c 7.35/7.59 c 7.35/7.59 c /home/ehebrard/new_instances/competition_4c/data/ukPuzzle/crossword-m1-uk-puzzle06.xml 7.35/7.59 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 18.346400 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 12.273000 | c 14 > 10.799300 | c 11 > 7.179910 | c 12 > 10.596000 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.61 c choco : 3.21 7.45/7.61 c mistral : 0.34 7.45/7.61 c abscon : 4.89 7.45/7.61 c 7.45/7.61 c 7.45/7.61 c /home/ehebrard/new_instances/competition_4c/data/ogdPuzzle/crossword-m1-ogd-puzzle06.xml 7.45/7.61 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 17.502100 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 11.454300 | c 14 > 9.719390 | c 11 > 7.179910 | c 12 > 9.210290 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.61 c choco : 3.49 7.45/7.61 c mistral : 0.17 7.45/7.61 c abscon : 3.21 7.45/7.61 c 7.45/7.61 c 7.45/7.61 c /home/ehebrard/new_instances/competition_4c/data/wordsPuzzle/crossword-m1-words-puzzle06.xml 7.45/7.61 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 17.370400 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 11.612000 | c 14 > 9.955650 | c 11 > 7.179910 | c 12 > 9.836150 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.62 c choco : 3.06 7.45/7.62 c mistral : 0.12 7.45/7.62 c abscon : 3.05 7.45/7.62 c 7.45/7.62 c 7.45/7.62 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-06.xml 7.45/7.62 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.100200 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.105200 | c 14 > 10.699600 | c 11 > 7.294620 | c 12 > 10.176500 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.62 c choco : 3.62 7.45/7.62 c mistral : 1.0 7.45/7.62 c abscon : 4.31 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-05-02.xml 7.45/7.62 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.306900 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.529600 | c 14 > 10.813000 | c 11 > 7.294620 | c 12 > 10.586800 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.63 c choco : 3.2 7.45/7.63 c mistral : 0.21 7.45/7.63 c abscon : 4.47 7.45/7.63 c 7.45/7.63 c 7.45/7.63 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-06.xml 7.45/7.63 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.007600 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.515100 | c 14 > 10.674200 | c 11 > 7.294620 | c 12 > 10.084000 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.64 c choco : 3.19 7.45/7.64 c mistral : 0.4 7.45/7.64 c abscon : 3.64 7.45/7.64 c 7.45/7.64 c 7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/lexPuzzle/crossword-m1-lex-puzzle06.xml 7.45/7.64 c 19 > 0.000000 | c 35 > 3.809520 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 2.857140 | c 15 > 16.914800 | c 34 > 2.857140 | c 16 > 10.000000 | c 13 > 11.124700 | c 14 > 9.577430 | c 11 > 7.179910 | c 12 > 9.253990 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.257390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.930740 | c 32 > -1.000000 | c 5 > 9.717680 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.64 c choco : 3.09 7.45/7.64 c mistral : 0.17 7.45/7.64 c abscon : 2.99 7.45/7.64 c 7.45/7.64 c 7.45/7.64 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-08.xml 7.45/7.64 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.186700 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.369800 | c 14 > 10.909100 | c 11 > 7.199670 | c 12 > 10.188500 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.65 c choco : 3.1 7.45/7.65 c mistral : 0.28 7.45/7.65 c abscon : 3.6 7.45/7.65 c 7.45/7.65 c 7.45/7.65 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-02.xml 7.45/7.65 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.519700 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.407600 | c 14 > 11.156700 | c 11 > 7.294620 | c 12 > 11.131900 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.66 c choco : 3.66 7.45/7.66 c mistral : 0.27 7.45/7.66 c abscon : 2.91 7.45/7.66 c 7.45/7.66 c 7.45/7.66 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-02.xml 7.45/7.66 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.848400 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.645200 | c 14 > 11.128600 | c 11 > 7.294620 | c 12 > 10.468700 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.66 c choco : 3.42 7.45/7.66 c mistral : 0.42 7.45/7.66 c abscon : 4.42 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-05-06.xml 7.45/7.66 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.791100 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 13.067800 | c 14 > 11.331500 | c 11 > 7.294620 | c 12 > 11.165800 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.67 c choco : 2.97 7.45/7.67 c mistral : 0.12 7.45/7.67 c abscon : 2.94 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-05-08.xml 7.45/7.67 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.589000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 12.629200 | c 14 > 11.123500 | c 11 > 7.199670 | c 12 > 11.049900 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.68 c choco : 2.87 7.45/7.68 c mistral : 0.11 7.45/7.68 c abscon : 2.94 7.45/7.68 c 7.45/7.68 c 7.45/7.68 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-08.xml 7.45/7.68 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.537800 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 11.767700 | c 14 > 10.334300 | c 11 > 7.199670 | c 12 > 9.492360 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.68 c choco : 2.93 7.45/7.68 c mistral : 0.3 7.45/7.68 c abscon : 2.93 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-05-08.xml 7.45/7.68 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.583000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 11.401700 | c 14 > 10.315100 | c 11 > 7.199670 | c 12 > 9.688760 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.392320 | c 2 > -1.000000 | c 10 > 7.294620 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.977280 | c 32 > -1.000000 | c 5 > 9.640240 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.69 c choco : 3.29 7.45/7.69 c mistral : 0.36 7.45/7.69 c abscon : 4.67 7.45/7.69 c 7.45/7.69 c 7.45/7.69 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-02.xml 7.45/7.69 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.500900 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 13.058000 | c 14 > 11.485300 | c 11 > 7.294620 | c 12 > 11.296200 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.69 c choco : 4.67 7.45/7.69 c mistral : 0.43 7.45/7.69 c abscon : 3.26 7.45/7.69 c 7.45/7.69 c 7.45/7.69 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-06.xml 7.45/7.69 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 32.258100 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.986300 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 11.428800 | c 14 > 9.670660 | c 11 > 7.294620 | c 12 > 8.826650 | c 21 > 5.099020 | c 20 > 67.741900 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.000000 | c 28 > 6.000000 | c 29 > -1.000000 | c 3 > 4.523560 | c 2 > -1.000000 | c 10 > 7.366320 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 7.066090 | c 32 > -1.000000 | c 5 > 9.758220 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.70 c choco : 3.41 7.45/7.70 c mistral : 0.51 7.45/7.70 c abscon : 2.95 7.45/7.70 c 7.45/7.70 c 7.45/7.70 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-05.xml 7.45/7.70 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 18.496600 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 11.905800 | c 14 > 10.927000 | c 11 > 6.894820 | c 12 > 9.705400 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.71 c choco : 3.25 7.50/7.71 c mistral : 0.17 7.50/7.71 c abscon : 3.62 7.50/7.71 c 7.50/7.71 c 7.50/7.71 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-10.xml 7.50/7.71 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 18.366800 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 12.296400 | c 14 > 11.072800 | c 11 > 6.894820 | c 12 > 10.309300 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.71 c choco : 3.27 7.50/7.71 c mistral : 0.06 7.50/7.71 c abscon : 2.54 7.50/7.71 c 7.50/7.71 c 7.50/7.71 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-10.xml 7.50/7.71 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 18.955000 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 12.882700 | c 14 > 11.582100 | c 11 > 6.894820 | c 12 > 10.871900 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.72 c choco : 3.51 7.50/7.72 c mistral : 0.1 7.50/7.72 c abscon : 3.31 7.50/7.72 c 7.50/7.72 c 7.50/7.72 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-05.xml 7.50/7.72 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.585500 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 11.501400 | c 14 > 10.055300 | c 11 > 6.894820 | c 12 > 8.970790 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.72 c choco : 3.13 7.50/7.72 c mistral : 0.06 7.50/7.72 c abscon : 3.24 7.50/7.72 c 7.50/7.72 c 7.50/7.72 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-05.xml 7.50/7.72 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.194800 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 11.176500 | c 14 > 9.808960 | c 11 > 6.894820 | c 12 > 8.657340 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.73 c choco : 3.49 7.50/7.73 c mistral : 0.26 7.50/7.73 c abscon : 4.02 7.50/7.73 c 7.50/7.73 c 7.50/7.73 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-10.xml 7.50/7.73 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.162300 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 10.982600 | c 14 > 9.700440 | c 11 > 6.894820 | c 12 > 8.530100 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.74 c choco : 3.52 7.50/7.74 c mistral : 0.13 7.50/7.74 c abscon : 4.23 7.50/7.74 c 7.50/7.74 c 7.50/7.74 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-05.xml 7.50/7.74 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 17.272900 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 10.403000 | c 14 > 9.756560 | c 11 > 6.894820 | c 12 > 8.249000 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.74 c choco : 3.18 7.50/7.74 c mistral : 0.07 7.50/7.74 c abscon : 2.6 7.50/7.74 c 7.50/7.74 c 7.50/7.74 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-10.xml 7.50/7.74 c 19 > 0.000000 | c 35 > 11.034500 | c 17 > 25.641000 | c 18 > 0.000000 | c 33 > 8.275860 | c 15 > 16.695500 | c 34 > 8.275860 | c 16 > 8.000000 | c 13 > 10.680300 | c 14 > 9.226410 | c 11 > 6.894820 | c 12 > 8.186370 | c 21 > 5.099020 | c 20 > 74.359000 | 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 > 4.000000 | c 2 > -1.000000 | c 10 > 7.139550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 6.672430 | c 32 > -1.000000 | c 5 > 9.335390 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.75 c choco : 3.29 7.50/7.75 c mistral : 0.08 7.50/7.75 c abscon : 2.76 7.50/7.75 c 7.50/7.75 c 7.50/7.75 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-05-01.xml 7.50/7.75 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.518000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.006600 | c 14 > 11.002100 | c 11 > 8.388020 | c 12 > 11.337900 | c 21 > 5.099020 | c 20 > 81.818200 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.76 c choco : 3.52 7.50/7.76 c mistral : 0.35 7.50/7.76 c abscon : 3.13 7.50/7.76 c 7.50/7.76 c 7.50/7.76 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-05-01.xml 7.50/7.76 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.777700 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.433800 | c 14 > 11.242600 | c 11 > 8.388020 | c 12 > 11.540700 | c 21 > 5.099020 | c 20 > 81.818200 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.76 c choco : 3.89 7.50/7.76 c mistral : 0.41 7.50/7.76 c abscon : 4.57 7.50/7.76 c 7.50/7.76 c 7.50/7.76 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-05-01.xml 7.50/7.76 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.488000 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.271500 | c 14 > 11.155500 | c 11 > 8.388020 | c 12 > 11.874400 | c 21 > 5.099020 | c 20 > 81.818200 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.77 c choco : 4.98 7.50/7.77 c mistral : 0.2 7.50/7.77 c abscon : 3.3 7.50/7.77 c 7.50/7.77 c 7.50/7.77 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-05-01.xml 7.50/7.77 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 18.181800 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.622500 | c 34 > 0.000000 | c 16 > 10.000000 | c 13 > 14.310100 | c 14 > 11.286600 | c 11 > 8.388020 | c 12 > 12.071700 | c 21 > 5.099020 | c 20 > 81.818200 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 8.511750 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 8.276120 | c 32 > -1.000000 | c 5 > 10.310600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.50/7.77 c choco : 4.21 7.50/7.77 c mistral : 24.83 7.50/7.77 c abscon : 4.81 7.50/7.77 c 7.50/7.77 c 7.50/7.78 c Length: 40 7.50/7.78 c 1.2685836394972168 1.7995603446953374 3.003916032731275 3.064172570352395 5.430185893383391 6.847779446360695 6.990829576466586 7.093837374742953 8.79324765830577 8.935689167271875 9.04786546400862 9.286456629059327 11.201687739684585 11.3232159252926 11.335164673898653 11.463145559317475 11.48373233657507 11.485821693466251 11.488138397390586 11.524347984892678 11.530838502298952 11.560670404872718 11.564760719880889 11.582631907252338 11.601588559042245 11.606161355646403 11.62513408009129 11.72098217011697 14.794644138670588 14.839214381897042 14.887999771624797 14.921326160137374 15.021758143849208 15.051422846080035 15.095661355816775 15.22256241296123 15.870526422494626 15.962766610807165 15.985944510947736 16.025713884289218 7.50/7.78 c 7.50/7.78 c 1.0 0.9652686426818551 0.8947802744004423 0.8915230233896012 0.7800274276209075 0.7256537000492622 0.7205849491614146 0.7169786677337532 0.6622954179636774 0.6580884358541024 0.6548127625378541 0.6479529373911198 0.5976909752496046 0.594763480691859 0.594477194760198 0.5914280341163115 0.5909404695960451 0.5908910314870344 0.5908362235903358 0.589980907310952 0.5898278547346475 0.589125410139649 0.5890292268902475 0.5886093562537018 0.5881646371426369 0.588057460870269 0.5876131989437668 0.5853790594921967 0.5217632755222517 0.5209423452656325 0.5200467332696588 0.519436689021283 0.5176068924775376 0.5170688871946612 0.5162686426319345 0.5139867719985547 0.5026429216897907 0.5010686666672581 0.5006746405423022 0.5 7.50/7.79 c 7.50/7.79 c solver 0 7.50/7.79 c before 0.0 seconds: {} 0 7.50/7.79 c before 18.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} 24916 7.50/7.79 c 7.50/7.79 c solver 1 7.50/7.79 c before 0.0 seconds: {} 0 7.50/7.79 c before 18.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} 24416 7.50/7.79 c before 36.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} 24916 7.50/7.79 c 7.50/7.79 c solver 2 7.50/7.79 c before 0.0 seconds: {} 0 7.50/7.79 c before 18.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} 24916 7.50/7.79 c 7.50/7.79 cTotal time: 4 7.50/7.79 c 72.0 seconds unused 7.50/7.79 c 0 c 0 c 0 7.50/7.79 c 0 c 0 c 0 7.50/7.79 c 0 c 0 c 0 7.50/7.79 c is solver0 dominated by: 7.50/7.80 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 7.50/7.80 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: true) (0 < 2: false) 7.50/7.80 c is dominated? true 7.50/7.80 c 7.50/7.80 c is solver1 dominated by: 7.50/7.80 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 7.50/7.80 c is dominated? true 7.50/7.80 c 7.50/7.80 c is solver2 dominated by: 7.50/7.80 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true) 7.50/7.80 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true) 7.50/7.80 c is dominated? false 7.50/7.80 c 7.50/7.80 c Number of non-dominated solvers: 1 7.50/7.80 c remove dominated solvers 7.50/7.80 c solver 2 is not dominated by another solver 7.50/7.80 c solver 1 is dominated by another solver 7.50/7.80 c solver 0 is dominated by another solver 7.50/7.80 c 7.50/7.80 c solver 0: 0.0 7.50/7.80 c 7.50/7.80 c solver 1: 0.0 7.50/7.80 c 7.50/7.80 c solver 2: 18.0 7.50/7.80 c 7.50/7.80 c+ 1/1 of 99 7.56/7.80 c do not run abscon 7.56/7.80 c do not run mistral 7.56/7.80 c run choco for 1800.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} 24916 7.56/7.80 c Starting solver: HOME/cpHydra_k_40/solver/choco 7.56/7.80 c On Instance: HOME/instance-1074547-1215178921.xml 7.56/7.80 c Running for: 1800 seconds 125.98/128.70 s SATISFIABLE 125.98/128.70 v 19 14 6 12 4 19 17 14 1 20 18 19 0 17 3 19 0 18 18 1 0 8 19 8 19 19 19 0 14 2 7 0 3 1 14 13 4 4 17 0 18 20 17 4 3 8 0 17 24 18 11 24 125.98/128.70 d ASSIGNMENTS 9403 125.98/128.70 c SAT 120783 TIME 9403 NDS 348 PARSTIME 371 BUILDPB 120064 RES false RESTART 1 HEURISTIC
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-1074547-1215178921/watcher-1074547-1215178921 -o /tmp/evaluation-result-1074547-1215178921/solver-1074547-1215178921 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1074547-1215178921.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 2.04 2.01 4/81 13360 /proc/meminfo: memFree=1517224/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=18572 CPUtime=0 /proc/13360/stat : 13360 (runsolver) R 13358 13360 13245 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1547567229 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0 /proc/13360/statm: 4643 292 257 25 0 2626 0 [startup+0.085508 s] /proc/loadavg: 2.11 2.04 2.01 4/81 13360 /proc/meminfo: memFree=1517224/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=0 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1547567229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101506 s] /proc/loadavg: 2.11 2.04 2.01 4/81 13360 /proc/meminfo: memFree=1517224/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=0 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1547567229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301527 s] /proc/loadavg: 2.11 2.04 2.01 4/81 13360 /proc/meminfo: memFree=1517224/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=0 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1547567229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701566 s] /proc/loadavg: 2.11 2.04 2.01 4/81 13360 /proc/meminfo: memFree=1517224/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=0 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1547567229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50265 s] /proc/loadavg: 2.11 2.04 2.01 3/83 13364 /proc/meminfo: memFree=1515672/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=0 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1547567229 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 236 195 169 0 51 0 [pid=13364] ppid=13360 vsize=5528 CPUtime=1.47 /proc/13364/stat : 13364 (xsolve) R 13360 13360 13245 0 -1 4194304 767 0 0 0 147 0 0 0 25 0 1 0 1547567230 5660672 726 996147200 134512640 135239763 4294956176 18446744073709551615 134789204 0 0 4096 0 0 0 0 17 1 0 0 /proc/13364/statm: 1382 726 424 177 0 285 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10888 [startup+3.10181 s] /proc/loadavg: 2.18 2.06 2.02 3/91 13376 /proc/meminfo: memFree=1509136/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=1.49 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 375 1364 0 0 0 0 149 0 20 0 1 0 1547567229 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 238 196 169 0 51 0 [pid=13368] ppid=13360 vsize=196988 CPUtime=1.55 /proc/13368/stat : 13368 (java) S 13360 13360 13245 0 -1 0 6439 0 1 0 150 5 0 0 18 0 9 0 1547567381 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13368/statm: 49247 5416 2541 9 0 43829 0 [pid=13368/tid=13369] ppid=13360 vsize=196988 CPUtime=1.19 /proc/13368/task/13369/stat : 13369 (java) R 13360 13360 13245 0 -1 64 2783 0 1 0 116 3 0 0 25 0 9 0 1547567382 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4126576478 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13370] ppid=13360 vsize=196988 CPUtime=0.19 /proc/13368/task/13370/stat : 13370 (java) S 13360 13360 13245 0 -1 64 2319 0 0 0 18 1 0 0 16 0 9 0 1547567383 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13371] ppid=13360 vsize=196988 CPUtime=0 /proc/13368/task/13371/stat : 13371 (java) S 13360 13360 13245 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1547567383 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13372] ppid=13360 vsize=196988 CPUtime=0 /proc/13368/task/13372/stat : 13372 (java) S 13360 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547567383 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13373] ppid=13360 vsize=196988 CPUtime=0 /proc/13368/task/13373/stat : 13373 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547567385 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13374] ppid=13360 vsize=196988 CPUtime=0.14 /proc/13368/task/13374/stat : 13374 (java) S 13360 13360 13245 0 -1 64 611 0 0 0 14 0 0 0 16 0 9 0 1547567385 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13375] ppid=13360 vsize=196988 CPUtime=0 /proc/13368/task/13375/stat : 13375 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547567385 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13376] ppid=13360 vsize=196988 CPUtime=0 /proc/13368/task/13376/stat : 13376 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1547567385 201715712 5416 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.30213 s] /proc/loadavg: 2.18 2.06 2.02 3/91 13376 /proc/meminfo: memFree=1496208/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=1.49 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 375 1364 0 0 0 0 149 0 20 0 1 0 1547567229 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 238 196 169 0 51 0 [pid=13368] ppid=13360 vsize=197096 CPUtime=4.7 /proc/13368/stat : 13368 (java) S 13360 13360 13245 0 -1 0 10144 0 1 0 458 12 0 0 18 0 9 0 1547567381 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13368/statm: 49274 8410 2541 9 0 43856 0 [pid=13368/tid=13369] ppid=13360 vsize=197096 CPUtime=3.73 /proc/13368/task/13369/stat : 13369 (java) R 13360 13360 13245 0 -1 64 3574 0 1 0 368 5 0 0 25 0 9 0 1547567382 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 102064736 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13370] ppid=13360 vsize=197096 CPUtime=0.78 /proc/13368/task/13370/stat : 13370 (java) S 13360 13360 13245 0 -1 64 5217 0 0 0 72 6 0 0 16 0 9 0 1547567383 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13371] ppid=13360 vsize=197096 CPUtime=0 /proc/13368/task/13371/stat : 13371 (java) S 13360 13360 13245 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1547567383 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13372] ppid=13360 vsize=197096 CPUtime=0 /proc/13368/task/13372/stat : 13372 (java) S 13360 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547567383 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13373] ppid=13360 vsize=197096 CPUtime=0 /proc/13368/task/13373/stat : 13373 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1547567385 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13374] ppid=13360 vsize=197096 CPUtime=0.17 /proc/13368/task/13374/stat : 13374 (java) S 13360 13360 13245 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1547567385 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13375] ppid=13360 vsize=197096 CPUtime=0 /proc/13368/task/13375/stat : 13375 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547567385 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13376] ppid=13360 vsize=197096 CPUtime=0 /proc/13368/task/13376/stat : 13376 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1547567385 201826304 8410 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202456 [startup+12.7028 s] /proc/loadavg: 2.23 2.07 2.02 3/102 13387 /proc/meminfo: memFree=1452160/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=1.49 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 375 1364 0 0 0 0 149 0 20 0 1 0 1547567229 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 238 196 169 0 51 0 [pid=13368] ppid=13360 vsize=197420 CPUtime=6.07 /proc/13368/stat : 13368 (java) S 13360 13360 13245 0 -1 0 13957 0 1 0 588 19 0 0 18 0 10 0 1547567381 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13368/statm: 49355 9473 2544 9 0 43937 0 [pid=13378] ppid=13368 vsize=5356 CPUtime=0 /proc/13378/stat : 13378 (choco) S 13368 13360 13245 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1547568009 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13378/statm: 1339 238 197 169 0 50 0 [pid=13379] ppid=13378 vsize=655188 CPUtime=4.79 /proc/13379/stat : 13379 (java) S 13378 13360 13245 0 -1 0 11905 0 1 0 471 8 0 0 19 0 9 0 1547568010 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13379/statm: 163797 11483 1918 9 0 158326 0 [pid=13379/tid=13380] ppid=13378 vsize=655188 CPUtime=4.55 /proc/13379/task/13380/stat : 13380 (java) R 13378 13360 13245 0 -1 64 10896 0 1 0 448 7 0 0 25 0 9 0 1547568011 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4126755121 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13381] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13381/stat : 13381 (java) S 13378 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13382] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13382/stat : 13382 (java) S 13378 13360 13245 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1547568012 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13383] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13383/stat : 13383 (java) S 13378 13360 13245 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1547568012 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13384] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13384/stat : 13384 (java) S 13378 13360 13245 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1547568014 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13385] ppid=13378 vsize=655188 CPUtime=0.23 /proc/13379/task/13385/stat : 13385 (java) S 13378 13360 13245 0 -1 64 459 0 0 0 23 0 0 0 16 0 9 0 1547568014 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13386] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13386/stat : 13386 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547568014 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13387] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13387/stat : 13387 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1547568014 670912512 11483 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13369] ppid=13360 vsize=197420 CPUtime=4.72 /proc/13368/task/13369/stat : 13369 (java) S 13360 13360 13245 0 -1 64 3894 0 1 0 463 9 0 0 25 0 10 0 1547567382 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13368/tid=13370] ppid=13360 vsize=197420 CPUtime=1.09 /proc/13368/task/13370/stat : 13370 (java) S 13360 13360 13245 0 -1 64 8570 0 0 0 101 8 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13371] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13371/stat : 13371 (java) S 13360 13360 13245 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13372] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13372/stat : 13372 (java) S 13360 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13373] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13373/stat : 13373 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13374] ppid=13360 vsize=197420 CPUtime=0.23 /proc/13368/task/13374/stat : 13374 (java) S 13360 13360 13245 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13375] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13375/stat : 13375 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13376] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13376/stat : 13376 (java) S 13360 13360 13245 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13377] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13377/stat : 13377 (java) S 13360 13360 13245 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1547568009 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 863324 [startup+25.502 s] /proc/loadavg: 2.19 2.07 2.02 3/102 13387 /proc/meminfo: memFree=1438848/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=1.49 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 375 1364 0 0 0 0 149 0 20 0 1 0 1547567229 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 238 196 169 0 51 0 [pid=13368] ppid=13360 vsize=197420 CPUtime=6.07 /proc/13368/stat : 13368 (java) S 13360 13360 13245 0 -1 0 13957 0 1 0 588 19 0 0 18 0 10 0 1547567381 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13368/statm: 49355 9473 2544 9 0 43937 0 [pid=13378] ppid=13368 vsize=5356 CPUtime=0 /proc/13378/stat : 13378 (choco) S 13368 13360 13245 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1547568009 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13378/statm: 1339 238 197 169 0 50 0 [pid=13379] ppid=13378 vsize=655188 CPUtime=17.34 /proc/13379/stat : 13379 (java) S 13378 13360 13245 0 -1 0 14558 0 1 0 1722 12 0 0 19 0 9 0 1547568010 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13379/statm: 163797 14133 1932 9 0 158326 0 [pid=13379/tid=13380] ppid=13378 vsize=655188 CPUtime=17.05 /proc/13379/task/13380/stat : 13380 (java) R 13378 13360 13245 0 -1 64 12170 0 1 0 1695 10 0 0 25 0 9 0 1547568011 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4126755704 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13381] ppid=13378 vsize=655188 CPUtime=0.02 /proc/13379/task/13381/stat : 13381 (java) S 13378 13360 13245 0 -1 64 1377 0 0 0 2 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13382] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13382/stat : 13382 (java) S 13378 13360 13245 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13383] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13383/stat : 13383 (java) S 13378 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13384] ppid=13378 vsize=655188 CPUtime=0 ################ # More data... # ################ /proc/13379/stat : 13379 (java) S 13378 13360 13245 0 -1 0 14568 0 1 0 11597 20 0 0 19 0 9 0 1547568010 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13379/statm: 163797 14133 1932 9 0 158326 0 [pid=13379/tid=13380] ppid=13378 vsize=655188 CPUtime=115.87 /proc/13379/task/13380/stat : 13380 (java) R 13378 13360 13245 0 -1 64 12180 0 1 0 11569 18 0 0 25 0 9 0 1547568011 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4126755755 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13381] ppid=13378 vsize=655188 CPUtime=0.03 /proc/13379/task/13381/stat : 13381 (java) S 13378 13360 13245 0 -1 64 1377 0 0 0 3 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13382] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13382/stat : 13382 (java) S 13378 13360 13245 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13383] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13383/stat : 13383 (java) S 13378 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13384] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13384/stat : 13384 (java) S 13378 13360 13245 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13385] ppid=13378 vsize=655188 CPUtime=0.24 /proc/13379/task/13385/stat : 13385 (java) S 13378 13360 13245 0 -1 64 465 0 0 0 24 0 0 0 15 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13386] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13386/stat : 13386 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13387] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13387/stat : 13387 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13369] ppid=13360 vsize=197420 CPUtime=4.72 /proc/13368/task/13369/stat : 13369 (java) S 13360 13360 13245 0 -1 64 3894 0 1 0 463 9 0 0 25 0 10 0 1547567382 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13368/tid=13370] ppid=13360 vsize=197420 CPUtime=1.09 /proc/13368/task/13370/stat : 13370 (java) S 13360 13360 13245 0 -1 64 8570 0 0 0 101 8 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13371] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13371/stat : 13371 (java) S 13360 13360 13245 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13372] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13372/stat : 13372 (java) S 13360 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13373] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13373/stat : 13373 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13374] ppid=13360 vsize=197420 CPUtime=0.23 /proc/13368/task/13374/stat : 13374 (java) S 13360 13360 13245 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13375] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13375/stat : 13375 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13376] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13376/stat : 13376 (java) S 13360 13360 13245 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13377] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13377/stat : 13377 (java) S 13360 13360 13245 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1547568009 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 123.73 Current children cumulated vsize (KiB) 863324 [startup+127.902 s] /proc/loadavg: 2.03 2.05 2.01 3/102 13387 /proc/meminfo: memFree=1438848/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=1.49 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 375 1364 0 0 0 0 149 0 20 0 1 0 1547567229 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 238 196 169 0 51 0 [pid=13368] ppid=13360 vsize=197420 CPUtime=6.07 /proc/13368/stat : 13368 (java) S 13360 13360 13245 0 -1 0 13957 0 1 0 588 19 0 0 18 0 10 0 1547567381 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13368/statm: 49355 9473 2544 9 0 43937 0 [pid=13378] ppid=13368 vsize=5356 CPUtime=0 /proc/13378/stat : 13378 (choco) S 13368 13360 13245 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1547568009 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13378/statm: 1339 238 197 169 0 50 0 [pid=13379] ppid=13378 vsize=655188 CPUtime=117.74 /proc/13379/stat : 13379 (java) S 13378 13360 13245 0 -1 0 14569 0 1 0 11754 20 0 0 19 0 9 0 1547568010 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13379/statm: 163797 14133 1932 9 0 158326 0 [pid=13379/tid=13380] ppid=13378 vsize=655188 CPUtime=117.44 /proc/13379/task/13380/stat : 13380 (java) R 13378 13360 13245 0 -1 64 12181 0 1 0 11726 18 0 0 25 0 9 0 1547568011 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4126747992 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13381] ppid=13378 vsize=655188 CPUtime=0.03 /proc/13379/task/13381/stat : 13381 (java) S 13378 13360 13245 0 -1 64 1377 0 0 0 3 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13382] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13382/stat : 13382 (java) S 13378 13360 13245 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13383] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13383/stat : 13383 (java) S 13378 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13384] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13384/stat : 13384 (java) S 13378 13360 13245 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13385] ppid=13378 vsize=655188 CPUtime=0.24 /proc/13379/task/13385/stat : 13385 (java) S 13378 13360 13245 0 -1 64 465 0 0 0 24 0 0 0 15 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13386] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13386/stat : 13386 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13387] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13387/stat : 13387 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13369] ppid=13360 vsize=197420 CPUtime=4.72 /proc/13368/task/13369/stat : 13369 (java) S 13360 13360 13245 0 -1 64 3894 0 1 0 463 9 0 0 25 0 10 0 1547567382 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13368/tid=13370] ppid=13360 vsize=197420 CPUtime=1.09 /proc/13368/task/13370/stat : 13370 (java) S 13360 13360 13245 0 -1 64 8570 0 0 0 101 8 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13371] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13371/stat : 13371 (java) S 13360 13360 13245 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13372] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13372/stat : 13372 (java) S 13360 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13373] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13373/stat : 13373 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13374] ppid=13360 vsize=197420 CPUtime=0.23 /proc/13368/task/13374/stat : 13374 (java) S 13360 13360 13245 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13375] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13375/stat : 13375 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13376] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13376/stat : 13376 (java) S 13360 13360 13245 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13377] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13377/stat : 13377 (java) S 13360 13360 13245 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1547568009 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 125.3 Current children cumulated vsize (KiB) 863324 [startup+128.302 s] /proc/loadavg: 2.03 2.05 2.01 3/102 13387 /proc/meminfo: memFree=1438848/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=1.49 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 375 1364 0 0 0 0 149 0 20 0 1 0 1547567229 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 238 196 169 0 51 0 [pid=13368] ppid=13360 vsize=197420 CPUtime=6.07 /proc/13368/stat : 13368 (java) S 13360 13360 13245 0 -1 0 13957 0 1 0 588 19 0 0 18 0 10 0 1547567381 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13368/statm: 49355 9473 2544 9 0 43937 0 [pid=13378] ppid=13368 vsize=5356 CPUtime=0 /proc/13378/stat : 13378 (choco) S 13368 13360 13245 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1547568009 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/13378/statm: 1339 238 197 169 0 50 0 [pid=13379] ppid=13378 vsize=655188 CPUtime=118.13 /proc/13379/stat : 13379 (java) S 13378 13360 13245 0 -1 0 14569 0 1 0 11793 20 0 0 19 0 9 0 1547568010 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13379/statm: 163797 14133 1932 9 0 158326 0 [pid=13379/tid=13380] ppid=13378 vsize=655188 CPUtime=117.84 /proc/13379/task/13380/stat : 13380 (java) R 13378 13360 13245 0 -1 64 12181 0 1 0 11765 19 0 0 25 0 9 0 1547568011 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4126755749 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13381] ppid=13378 vsize=655188 CPUtime=0.03 /proc/13379/task/13381/stat : 13381 (java) S 13378 13360 13245 0 -1 64 1377 0 0 0 3 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13382] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13382/stat : 13382 (java) S 13378 13360 13245 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13383] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13383/stat : 13383 (java) S 13378 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1547568012 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13384] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13384/stat : 13384 (java) S 13378 13360 13245 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13385] ppid=13378 vsize=655188 CPUtime=0.24 /proc/13379/task/13385/stat : 13385 (java) S 13378 13360 13245 0 -1 64 465 0 0 0 24 0 0 0 15 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13386] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13386/stat : 13386 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13379/tid=13387] ppid=13378 vsize=655188 CPUtime=0 /proc/13379/task/13387/stat : 13387 (java) S 13378 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1547568014 670912512 14133 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13369] ppid=13360 vsize=197420 CPUtime=4.72 /proc/13368/task/13369/stat : 13369 (java) S 13360 13360 13245 0 -1 64 3894 0 1 0 463 9 0 0 25 0 10 0 1547567382 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=13368/tid=13370] ppid=13360 vsize=197420 CPUtime=1.09 /proc/13368/task/13370/stat : 13370 (java) S 13360 13360 13245 0 -1 64 8570 0 0 0 101 8 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13371] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13371/stat : 13371 (java) S 13360 13360 13245 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13372] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13372/stat : 13372 (java) S 13360 13360 13245 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1547567383 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13373] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13373/stat : 13373 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13374] ppid=13360 vsize=197420 CPUtime=0.23 /proc/13368/task/13374/stat : 13374 (java) S 13360 13360 13245 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13375] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13375/stat : 13375 (java) S 13360 13360 13245 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13376] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13376/stat : 13376 (java) S 13360 13360 13245 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1547567385 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13377] ppid=13360 vsize=197420 CPUtime=0 /proc/13368/task/13377/stat : 13377 (java) S 13360 13360 13245 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1547568009 202158080 9473 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 125.69 Current children cumulated vsize (KiB) 863324 [startup+128.707 s] /proc/loadavg: 2.03 2.05 2.01 3/102 13387 /proc/meminfo: memFree=1438848/2055920 swapFree=4122724/4192956 [pid=13360] ppid=13358 vsize=5360 CPUtime=1.49 /proc/13360/stat : 13360 (hydra) S 13358 13360 13245 0 -1 4194304 375 1364 0 0 0 0 149 0 20 0 1 0 1547567229 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13360/statm: 1340 238 196 169 0 51 0 [pid=13368] ppid=13360 vsize=197420 CPUtime=124.59 /proc/13368/stat : 13368 (java) S 13360 13360 13245 0 -1 0 14027 14887 1 1 588 19 11830 22 18 0 9 0 1547567381 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/13368/statm: 49355 9475 2545 9 0 43937 0 [pid=13368/tid=13369] ppid=13360 vsize=197420 CPUtime=123.24 /proc/13368/task/13369/stat : 13369 (java) S 13360 13360 13245 0 -1 64 3945 14887 1 1 463 9 11830 22 16 0 9 0 1547567382 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13370] ppid=13360 vsize=197420 CPUtime=119.61 /proc/13368/task/13370/stat : 13370 (java) S 13360 13360 13245 0 -1 64 8580 14887 0 1 101 8 11830 22 16 0 9 0 1547567383 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13371] ppid=13360 vsize=197420 CPUtime=118.52 /proc/13368/task/13371/stat : 13371 (java) S 13360 13360 13245 0 -1 64 11 14887 0 1 0 0 11830 22 16 0 9 0 1547567383 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13372] ppid=13360 vsize=197420 CPUtime=118.52 /proc/13368/task/13372/stat : 13372 (java) S 13360 13360 13245 0 -1 64 5 14887 0 1 0 0 11830 22 15 0 9 0 1547567383 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13373] ppid=13360 vsize=197420 CPUtime=118.52 /proc/13368/task/13373/stat : 13373 (java) S 13360 13360 13245 0 -1 64 1 14887 0 1 0 0 11830 22 18 0 9 0 1547567385 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13374] ppid=13360 vsize=197420 CPUtime=118.75 /proc/13368/task/13374/stat : 13374 (java) S 13360 13360 13245 0 -1 64 667 14887 0 1 23 0 11830 22 16 0 9 0 1547567385 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13375] ppid=13360 vsize=197420 CPUtime=118.52 /proc/13368/task/13375/stat : 13375 (java) S 13360 13360 13245 0 -1 64 1 14887 0 1 0 0 11830 22 19 0 9 0 1547567385 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13368/tid=13376] ppid=13360 vsize=197420 CPUtime=118.52 /proc/13368/task/13376/stat : 13376 (java) S 13360 13360 13245 0 -1 64 30 14887 0 1 0 0 11830 22 15 0 9 0 1547567385 202158080 9475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 126.08 Current children cumulated vsize (KiB) 202780 Child status: 0 Real time (s): 128.733 CPU time (s): 126.131 CPU user time (s): 125.69 CPU system time (s): 0.440932 CPU usage (%): 97.9785 Max. virtual memory (cumulated for all children) (KiB): 863324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 125.69 system time used= 0.440932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30694 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= 15755 involuntary context switches= 24114 runsolver used 0.698893 second user time and 1.22181 second system time The end
Begin job on node12 at 2008-07-04 15:42:02 IDJOB=1074547 IDBENCH=56416 IDSOLVER=366 FILE ID=node12/1074547-1215178921 PBS_JOBID= 7881578 Free space on /tmp= 66544 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/lexPuzzle/normalized-crossword-m1-lex-puzzle20.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074547-1215178921/watcher-1074547-1215178921 -o /tmp/evaluation-result-1074547-1215178921/solver-1074547-1215178921 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1074547-1215178921.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 1939684b0167f45216127399dc1d7cf5 RANDOM SEED=333763355 node12.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.236 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.236 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: 1517704 kB Buffers: 43908 kB Cached: 167824 kB SwapCached: 64280 kB Active: 402672 kB Inactive: 77480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1517704 kB SwapTotal: 4192956 kB SwapFree: 4122724 kB Dirty: 24532 kB Writeback: 0 kB Mapped: 284664 kB Slab: 42840 kB Committed_AS: 3187780 kB PageTables: 2360 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= 66520 MiB End job on node12 at 2008-07-04 15:44:11