Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 410.627 | 412.815 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 1523430 |
CHECKS | 906612000 |
Name | csp/mknap/ normalized-mknap-1-5.xml |
MD5SUM | b5acb3eb596baa32b0d08b4b1c84ff93 |
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 | 1.20382 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 39 |
Number of constraints | 6 |
Maximum constraint arity | 39 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 6 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.21/7.31 c CASE TO CLASSIFY: 7.21/7.31 c Case: 0 7.21/7.31 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.770900 | c 34 > 0.000000 | c 16 > 39.000000 | c 13 > 7.222140 | c 14 > 12.365000 | c 11 > 7.813780 | c 12 > 6.513420 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.721100 | c 1 > 5.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.633000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.21/7.32 c choco : 1801.0 7.21/7.32 c mistral : 1801.0 7.21/7.32 c abscon : 1801.0 7.21/7.32 c 7.21/7.32 c 7.30/7.40 c List of same ones: 40 7.30/7.40 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml 7.30/7.40 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.681500 | c 34 > 0.000000 | c 16 > 39.000000 | c 13 > 7.137040 | c 14 > 12.284800 | c 11 > 7.813780 | c 12 > 6.405690 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.721100 | c 1 > 5.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.633000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.41 c choco : 13.25 7.30/7.41 c mistral : 1800.06 7.30/7.41 c abscon : 1800.12 7.30/7.41 c 7.30/7.41 c 7.30/7.41 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml 7.30/7.41 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.357900 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 5.250700 | c 14 > 11.671100 | c 11 > 8.149750 | c 12 > 3.483250 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.189820 | c 1 > 4.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.144660 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.607200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.42 c choco : 3.4 7.30/7.42 c mistral : 0.6499 7.30/7.42 c abscon : 1800.09 7.30/7.42 c 7.30/7.42 c 7.30/7.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml 7.30/7.42 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.594100 | c 34 > 0.000000 | c 16 > 60.000000 | c 13 > 2.866770 | c 14 > 5.906890 | c 11 > 9.787900 | c 12 > 1.569650 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.801700 | c 1 > 5.906890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.801700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.631700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.43 c choco : 1.87 7.30/7.43 c mistral : 0.18 7.30/7.43 c abscon : 4.96824 7.30/7.43 c 7.30/7.43 c 7.30/7.43 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-10.xml 7.30/7.43 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.648900 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.339450 | c 14 > 7.044390 | c 11 > 8.184880 | c 12 > 5.989430 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.43 c choco : 21.82 7.30/7.43 c mistral : 2.18 7.30/7.44 c abscon : 24.45 7.30/7.44 c 7.30/7.44 c 7.30/7.44 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-10.xml 7.30/7.44 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.426400 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.357700 | c 14 > 7.179910 | c 11 > 8.184880 | c 12 > 6.007880 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.45 c choco : 21.77 7.30/7.45 c mistral : 2.2 7.30/7.45 c abscon : 23.37 7.30/7.45 c 7.30/7.45 c 7.30/7.45 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-10.xml 7.30/7.45 c 19 > 0.000000 | c 35 > 0.024133 | c 17 > 3.717690 | c 18 > 0.000000 | c 33 > 0.018100 | c 15 > 17.737000 | c 34 > 0.018100 | c 16 > 38.000000 | c 13 > 5.230290 | c 14 > 6.754890 | c 11 > 8.184880 | c 12 > 5.953720 | c 21 > 5.099020 | c 20 > 96.282300 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.500000 | c 28 > 2.500000 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.506400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.275400 | c 32 > -1.000000 | c 5 > 15.527300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.46 c choco : 20.02 7.30/7.46 c mistral : 1.4 7.30/7.46 c abscon : 25.81 7.30/7.46 c 7.30/7.46 c 7.30/7.46 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-05.xml 7.30/7.46 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.30/7.46 c choco : 45.83 7.30/7.46 c mistral : 5.61 7.30/7.46 c abscon : 26.09 7.30/7.46 c 7.30/7.46 c 7.30/7.46 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-09.xml 7.30/7.46 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 19.876400 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.653680 | c 14 > 7.459430 | c 11 > 8.823370 | c 12 > 6.729450 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.47 c choco : 1801.0 7.30/7.47 c mistral : 65.6 7.30/7.47 c abscon : 129.44 7.30/7.47 c 7.30/7.47 c 7.30/7.47 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-09.xml 7.30/7.47 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 19.590800 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.589500 | c 14 > 7.011230 | c 11 > 8.823370 | c 12 > 6.679060 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.30/7.48 c choco : 1801.0 7.30/7.48 c mistral : 85.46 7.30/7.48 c abscon : 1801.0 7.30/7.48 c 7.30/7.48 c 7.30/7.48 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-05.xml 7.30/7.48 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.30/7.49 c choco : 20.18 7.30/7.49 c mistral : 2.03 7.30/7.49 c abscon : 21.47 7.30/7.49 c 7.30/7.49 c 7.30/7.49 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-05.xml 7.30/7.49 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.37/7.50 c choco : 19.76 7.37/7.50 c mistral : 2.49 7.37/7.50 c abscon : 20.72 7.37/7.50 c 7.37/7.50 c 7.37/7.50 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-09.xml 7.37/7.50 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 18.540000 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.581650 | c 14 > 7.179910 | c 11 > 8.823370 | c 12 > 6.643350 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.51 c choco : 36.39 7.37/7.51 c mistral : 6.47 7.37/7.51 c abscon : 35.18 7.37/7.51 c 7.37/7.51 c 7.37/7.51 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-09.xml 7.37/7.51 c 19 > 0.000000 | c 35 > 0.034760 | c 17 > 3.642450 | c 18 > 0.000000 | c 33 > 0.026070 | c 15 > 18.219100 | c 34 > 0.026070 | c 16 > 34.000000 | c 13 > 5.587650 | c 14 > 6.807350 | c 11 > 8.823370 | c 12 > 6.640800 | c 21 > 5.099020 | c 20 > 96.357500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 2.758620 | c 28 > 7.241380 | c 29 > -1.000000 | c 3 > 8.823370 | c 2 > -1.000000 | c 10 > 15.275700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 15.090500 | c 32 > -1.000000 | c 5 > 16.315500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.52 c choco : 63.84 7.37/7.52 c mistral : 16.07 7.37/7.52 c abscon : 33.99 7.37/7.52 c 7.37/7.52 c 7.37/7.52 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-07.xml 7.37/7.52 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 18.484500 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 6.031070 | c 14 > 8.005620 | c 11 > 8.184880 | c 12 > 5.939650 | c 21 > 5.099020 | c 20 > 95.733800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.910450 | c 28 > 2.089550 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.275500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.026700 | c 32 > -1.000000 | c 5 > 15.321400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.37/7.53 c choco : 46.54 7.37/7.53 c mistral : 2.92 7.37/7.53 c abscon : 26.63 7.37/7.53 c 7.37/7.53 c 7.37/7.53 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml 7.37/7.53 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.37/7.54 c choco : 19.91 7.37/7.54 c mistral : 1.45 7.37/7.54 c abscon : 23.48 7.37/7.54 c 7.37/7.54 c 7.37/7.54 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-07.xml 7.37/7.54 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 18.135700 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 4.975080 | c 14 > 7.266790 | c 11 > 8.184880 | c 12 > 5.748080 | c 21 > 5.099020 | c 20 > 95.733800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.910450 | c 28 > 2.089550 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.275500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.026700 | c 32 > -1.000000 | c 5 > 15.321400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.56/7.73 c choco : 20.82 7.56/7.73 c mistral : 2.15 7.56/7.73 c abscon : 27.46 7.56/7.73 c 7.56/7.73 c 7.56/7.73 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-07.xml 7.56/7.73 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 17.529400 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 5.126920 | c 14 > 7.475730 | c 11 > 8.184880 | c 12 > 5.780010 | c 21 > 5.099020 | c 20 > 95.733800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.910450 | c 28 > 2.089550 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.275500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.026700 | c 32 > -1.000000 | c 5 > 15.321400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.56/7.74 c choco : 22.13 7.56/7.74 c mistral : 4.0 7.56/7.74 c abscon : 22.81 7.56/7.74 c 7.56/7.74 c 7.56/7.74 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-09.xml 7.56/7.74 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 17.395400 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.964090 | c 14 > 7.321930 | c 11 > 8.204570 | c 12 > 5.536470 | 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.56/7.74 c choco : 23.66 7.56/7.74 c mistral : 3.57 7.56/7.74 c abscon : 22.75 7.56/7.74 c 7.56/7.74 c 7.56/7.74 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-07.xml 7.56/7.74 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 17.475400 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 5.161590 | c 14 > 7.417850 | c 11 > 8.184880 | c 12 > 5.762210 | c 21 > 5.099020 | c 20 > 95.733800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.910450 | c 28 > 2.089550 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.275500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.026700 | c 32 > -1.000000 | c 5 > 15.321400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.56/7.75 c choco : 21.93 7.56/7.75 c mistral : 2.95 7.56/7.75 c abscon : 22.23 7.56/7.75 c 7.56/7.75 c 7.56/7.75 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-09.xml 7.56/7.75 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.56/7.76 c choco : 20.46 7.56/7.76 c mistral : 2.47 7.56/7.76 c abscon : 19.78 7.56/7.76 c 7.56/7.76 c 7.56/7.76 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-09.xml 7.56/7.76 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 17.244400 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.884260 | c 14 > 7.375040 | c 11 > 8.204570 | c 12 > 5.528440 | 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.56/7.76 c choco : 20.09 7.56/7.76 c mistral : 2.12 7.56/7.76 c abscon : 22.53 7.56/7.76 c 7.56/7.76 c 7.56/7.76 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-01.xml 7.56/7.76 c 19 > 0.000000 | c 35 > 0.141343 | c 17 > 5.729510 | c 18 > 0.000000 | c 33 > 0.106007 | c 15 > 17.829400 | c 34 > 0.106007 | c 16 > 46.000000 | c 13 > 4.393390 | c 14 > 6.807350 | c 11 > 8.781360 | c 12 > 5.873160 | c 21 > 5.099020 | c 20 > 94.270500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.883720 | c 28 > 5.116280 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.380100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.161100 | c 32 > -1.000000 | c 5 > 15.553100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.56/7.77 c choco : 29.9 7.56/7.77 c mistral : 6.32 7.56/7.77 c abscon : 30.52 7.56/7.77 c 7.56/7.77 c 7.56/7.77 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-01.xml 7.56/7.77 c 19 > 0.000000 | c 35 > 0.141343 | c 17 > 5.729510 | c 18 > 0.000000 | c 33 > 0.106007 | c 15 > 17.679500 | c 34 > 0.106007 | c 16 > 46.000000 | c 13 > 4.352280 | c 14 > 6.768180 | c 11 > 8.781360 | c 12 > 5.838060 | c 21 > 5.099020 | c 20 > 94.270500 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.883720 | c 28 > 5.116280 | c 29 > -1.000000 | c 3 > 8.781360 | c 2 > -1.000000 | c 10 > 14.380100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.161100 | c 32 > -1.000000 | c 5 > 15.553100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.56/7.78 c choco : 1801.0 7.56/7.78 c mistral : 9.38 7.56/7.78 c abscon : 26.77 7.56/7.78 c 7.56/7.78 c 7.56/7.78 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml 7.56/7.78 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.56/7.78 c choco : 50.25 7.56/7.78 c mistral : 30.47 7.56/7.78 c abscon : 18.7 7.56/7.78 c 7.56/7.78 c 7.56/7.78 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-15-02.xml 7.56/7.78 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.56/7.79 c choco : 48.64 7.56/7.79 c mistral : 11.68 7.56/7.79 c abscon : 17.17 7.56/7.79 c 7.56/7.79 c 7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml 7.56/7.79 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.56/7.79 c choco : 1801.0 7.56/7.79 c mistral : 69.75 7.56/7.79 c abscon : 1801.0 7.56/7.79 c 7.56/7.79 c 7.56/7.79 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-03.xml 7.56/7.79 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.56/7.80 c choco : 1801.0 7.56/7.80 c mistral : 360.0 7.56/7.80 c abscon : 148.75 7.56/7.80 c 7.56/7.80 c 7.56/7.80 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-02.xml 7.56/7.80 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.63/7.81 c choco : 1801.0 7.63/7.81 c mistral : 45.88 7.63/7.81 c abscon : 45.36 7.63/7.81 c 7.63/7.81 c 7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-02.xml 7.63/7.81 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.63/7.81 c choco : 32.16 7.63/7.81 c mistral : 3.69 7.63/7.81 c abscon : 29.03 7.63/7.81 c 7.63/7.81 c 7.63/7.81 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-03.xml 7.63/7.81 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.943100 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.704820 | c 14 > 7.459430 | c 11 > 8.781360 | c 12 > 6.043800 | 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.63/7.82 c choco : 32.47 7.63/7.82 c mistral : 9.06 7.63/7.82 c abscon : 31.94 7.63/7.82 c 7.63/7.82 c 7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-08.xml 7.63/7.82 c 19 > 0.000000 | c 35 > 0.051397 | c 17 > 4.008630 | c 18 > 0.000000 | c 33 > 0.038548 | c 15 > 19.377800 | c 34 > 0.038548 | c 16 > 24.000000 | c 13 > 5.461510 | c 14 > 8.139550 | c 11 > 8.204570 | c 12 > 6.084440 | c 21 > 5.099020 | c 20 > 95.991400 | 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.422900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.192400 | c 32 > -1.000000 | c 5 > 15.461300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.63/7.82 c choco : 22.21 7.63/7.82 c mistral : 2.41 7.63/7.82 c abscon : 22.82 7.63/7.82 c 7.63/7.82 c 7.63/7.82 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-03.xml 7.63/7.82 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 5.201790 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.626500 | c 34 > 0.000000 | c 16 > 26.000000 | c 13 > 4.703590 | c 14 > 6.930740 | c 11 > 8.781360 | c 12 > 6.038620 | 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.63/7.83 c choco : 36.5 7.63/7.83 c mistral : 8.5 7.63/7.83 c abscon : 32.37 7.63/7.83 c 7.63/7.83 c 7.63/7.83 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-15-02.xml 7.63/7.83 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.63/7.83 c choco : 18.75 7.63/7.83 c mistral : 3.84 7.63/7.83 c abscon : 18.7 7.63/7.83 c 7.63/7.83 c 7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-04.xml 7.63/7.84 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.63/7.84 c choco : 1801.0 7.63/7.84 c mistral : 20.21 7.63/7.84 c abscon : 40.24 7.63/7.84 c 7.63/7.84 c 7.63/7.84 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-08.xml 7.63/7.84 c 19 > 0.000000 | c 35 > 0.051397 | c 17 > 4.008630 | c 18 > 0.000000 | c 33 > 0.038548 | c 15 > 19.186300 | c 34 > 0.038548 | c 16 > 24.000000 | c 13 > 5.511490 | c 14 > 7.636620 | c 11 > 8.204570 | c 12 > 5.847830 | c 21 > 5.099020 | c 20 > 95.991400 | 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.422900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.192400 | c 32 > -1.000000 | c 5 > 15.461300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.63/7.85 c choco : 63.35 7.63/7.85 c mistral : 3.82 7.63/7.85 c abscon : 24.18 7.63/7.85 c 7.63/7.85 c 7.63/7.85 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-04.xml 7.63/7.85 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.63/7.86 c choco : 93.62 7.63/7.86 c mistral : 49.24 7.63/7.86 c abscon : 29.44 7.63/7.86 c 7.63/7.86 c 7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-15-02.xml 7.63/7.86 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.63/7.86 c choco : 13.14 7.63/7.86 c mistral : 2.39 7.63/7.86 c abscon : 17.53 7.63/7.86 c 7.63/7.86 c 7.63/7.86 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-08.xml 7.63/7.86 c 19 > 0.000000 | c 35 > 0.051397 | c 17 > 4.008630 | c 18 > 0.000000 | c 33 > 0.038548 | c 15 > 17.884000 | c 34 > 0.038548 | c 16 > 24.000000 | c 13 > 5.319130 | c 14 > 7.546890 | c 11 > 8.204570 | c 12 > 5.894530 | c 21 > 5.099020 | c 20 > 95.991400 | 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.422900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.192400 | c 32 > -1.000000 | c 5 > 15.461300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.63/7.87 c choco : 22.94 7.63/7.87 c mistral : 5.66 7.63/7.87 c abscon : 26.72 7.63/7.87 c 7.63/7.87 c 7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-04.xml 7.63/7.87 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.63/7.87 c choco : 35.95 7.63/7.87 c mistral : 2.49 7.63/7.87 c abscon : 21.09 7.63/7.87 c 7.63/7.87 c 7.63/7.87 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-08.xml 7.63/7.87 c 19 > 0.000000 | c 35 > 0.051397 | c 17 > 4.008630 | c 18 > 0.000000 | c 33 > 0.038548 | c 15 > 17.564400 | c 34 > 0.038548 | c 16 > 24.000000 | c 13 > 5.363760 | c 14 > 7.539160 | c 11 > 8.204570 | c 12 > 5.930660 | c 21 > 5.099020 | c 20 > 95.991400 | 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.422900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.192400 | c 32 > -1.000000 | c 5 > 15.461300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.63/7.88 c choco : 21.58 7.63/7.88 c mistral : 2.94 7.63/7.88 c abscon : 23.61 7.63/7.88 c 7.63/7.88 c 7.63/7.88 c Length: 40 7.63/7.88 c 0.18240658677800026 11.660522977546933 24.466196049169557 26.07535412380836 26.082499430020306 26.131047523746723 26.74402395776158 26.949543310905067 27.05967554981116 27.071267466630104 27.10327409507245 27.13207260829972 27.245328804144535 27.321959341454573 27.441198637475257 27.564078648799363 27.60000188429879 27.612042364475215 27.616530913440176 27.623097764564243 27.633654819876323 27.681810143475932 27.716495327484083 28.685606762254285 28.757452655701076 29.28272115253294 29.30612574650392 29.445295784703877 29.506483579877827 29.565024828337283 29.678897509055737 29.700039436987286 29.734631228632864 29.746194261402856 29.772114944327264 29.879365932648504 29.90237503333454 29.938243229647508 29.96346055194271 29.979131401707335 7.63/7.89 c 7.63/7.89 c 1.0 0.7219101017598996 0.5509697016218065 0.535049382704454 0.5349807415892398 0.5345148320946265 0.528701229653579 0.5267802445622493 0.5257565741999234 0.5256490596280893 0.5253524276052294 0.5250858138415634 0.5240399188198445 0.5233346134808717 0.5222409059075677 0.5211185769872599 0.5207913815346626 0.5206818065373976 0.520640970068625 0.5205812369084144 0.5204852369171508 0.5200477879005261 0.5197331586096151 0.5110937075790914 0.510464636651483 0.5059120989484133 0.5057111386965525 0.504519464154365 0.5039973055792125 0.5034987425677806 0.502531772724069 0.5023526509913137 0.5020598525779509 0.5019620546600357 0.5017429608609328 0.5008384542869222 0.500644830585896 0.5003432948227491 0.5001315158947304 0.5 7.63/7.90 c 7.63/7.90 c solver 0 7.63/7.90 c before 0.0 seconds: {} 0 7.63/7.90 c before 18.0 seconds: {2, 24, 36} 1562 7.63/7.90 c before 36.0 seconds: {2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 16533 7.63/7.90 c before 54.0 seconds: {2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17540 7.63/7.90 c before 144.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18066 7.63/7.90 c before 162.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18572 7.63/7.90 c 7.63/7.90 c solver 1 7.63/7.90 c before 0.0 seconds: {} 0 7.63/7.90 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 28, 29, 30, 31, 32, 34, 36, 37, 38, 39} 16243 7.63/7.90 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39} 17256 7.63/7.90 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18262 7.63/7.90 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19294 7.63/7.90 c before 90.0 seconds: {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, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19820 7.63/7.90 c before 378.0 seconds: {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} 20326 7.63/7.90 c 7.63/7.90 c solver 2 7.63/7.90 c before 0.0 seconds: {} 0 7.63/7.90 c before 18.0 seconds: {0, 1, 2, 36} 2773 7.63/7.90 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 9, 10, 14, 15, 16, 17, 18, 19, 20, 21, 28, 29, 30, 32, 36, 37, 38, 39} 13108 7.63/7.90 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 28, 29, 30, 31, 32, 36, 37, 38, 39} 16209 7.63/7.90 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 28, 29, 30, 31, 32, 34, 36, 37, 38, 39} 17235 7.63/7.90 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 17735 7.63/7.90 c 7.63/7.90 cTotal time: 36 7.63/7.90 c 648.0 seconds unused 7.63/7.90 c 0 c 0 c 5 7.63/7.90 c 3 c 0 c 7 7.63/7.90 c 2 c 1 c 0 7.63/7.90 c is solver0 dominated by: 7.63/7.90 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 7.63/7.90 c is dominated? true 7.63/7.90 c 7.63/7.90 c is solver1 dominated by: 7.63/7.90 c solver 0 (1 solves instances that 0 can't: true) (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.63/7.90 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false) 7.63/7.90 c is dominated? false 7.63/7.90 c 7.63/7.90 c is solver2 dominated by: 7.70/7.90 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true) 7.70/7.90 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true) 7.70/7.90 c is dominated? false 7.70/7.90 c 7.70/7.90 c Number of non-dominated solvers: 2 7.70/7.90 c remove dominated solvers 7.70/7.90 c solver 1 is not dominated by another solver 7.70/7.90 c solver 2 is not dominated by another solver 7.70/7.90 c solver 0 is dominated by another solver 7.70/7.90 c 7.70/7.90 c solver 0: 0.0 7.70/7.90 c 7.70/7.90 c solver 1: 378.0 7.70/7.90 c 7.70/7.90 c+ 21/27 of 73 7.70/7.90 c 7.70/7.90 c solver 2: 108.0 7.70/7.90 c 7.70/7.90 c+ 6/27 of 73 7.70/7.90 c do not run abscon 7.70/7.90 c run mistral for 1386.0 seconds {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} 20326 7.70/7.90 c run choco for 396.0 seconds {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 17735 7.70/7.91 c Starting solver: HOME/cpHydra_k_40/solver/mistral 7.70/7.91 c On Instance: HOME/instance-1054116-1215058064.xml 7.70/7.91 c Running for: 1386 seconds 410.54/412.76 c mistral-prime version 1.313 410.54/412.76 s SATISFIABLE 410.54/412.76 v 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 410.54/412.76 d CHECKS 906612041 410.54/412.76 d ASSIGNMENTS 1523429
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-1054116-1215058064/watcher-1054116-1215058064 -o /tmp/evaluation-result-1054116-1215058064/solver-1054116-1215058064 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1054116-1215058064.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.01 2.07 2.03 4/81 16794 /proc/meminfo: memFree=1382832/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=18572 CPUtime=0 /proc/16794/stat : 16794 (runsolver) R 16792 16794 13933 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 1984778933 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 221954764071 0 0 4096 24578 0 0 0 17 1 0 0 /proc/16794/statm: 4643 292 257 25 0 2626 0 [startup+0.228628 s] /proc/loadavg: 2.01 2.07 2.03 4/81 16794 /proc/meminfo: memFree=1382832/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=0 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1984778933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30163 s] /proc/loadavg: 2.01 2.07 2.03 4/81 16794 /proc/meminfo: memFree=1382832/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=0 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1984778933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.40164 s] /proc/loadavg: 2.01 2.07 2.03 4/81 16794 /proc/meminfo: memFree=1382832/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=0 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1984778933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701667 s] /proc/loadavg: 2.01 2.07 2.03 4/81 16794 /proc/meminfo: memFree=1382832/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=0 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1984778933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50174 s] /proc/loadavg: 2.01 2.07 2.03 3/83 16798 /proc/meminfo: memFree=1381656/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=0 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1984778933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 236 195 169 0 51 0 [pid=16798] ppid=16794 vsize=5264 CPUtime=1.47 /proc/16798/stat : 16798 (xsolve) R 16794 16794 13933 0 -1 4194304 696 0 0 0 147 0 0 0 25 0 1 0 1984778935 5390336 655 996147200 134512640 135239763 4294956176 18446744073709551615 2410503 0 0 4096 0 0 0 0 17 0 0 0 /proc/16798/statm: 1316 655 436 177 0 219 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10624 [startup+3.10289 s] /proc/loadavg: 2.00 2.07 2.03 3/91 16810 /proc/meminfo: memFree=1374672/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197004 CPUtime=1.56 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 5079 0 1 0 151 5 0 0 18 0 9 0 1984779084 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49251 4261 1679 9 0 43833 0 [pid=16802/tid=16803] ppid=16794 vsize=197004 CPUtime=1.24 /proc/16802/task/16803/stat : 16803 (java) R 16794 16794 13933 0 -1 64 2744 0 1 0 121 3 0 0 25 0 9 0 1984779085 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4126495708 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197004 CPUtime=0.14 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 995 0 0 0 13 1 0 0 16 0 9 0 1984779086 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197004 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984779086 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197004 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984779086 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197004 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984779089 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197004 CPUtime=0.15 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 615 0 0 0 15 0 0 0 16 0 9 0 1984779089 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197004 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984779089 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197004 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984779089 201732096 4261 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202364 [startup+6.30117 s] /proc/loadavg: 2.00 2.07 2.03 3/91 16810 /proc/meminfo: memFree=1361808/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197112 CPUtime=4.73 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 9990 0 1 0 458 15 0 0 18 0 9 0 1984779084 201842688 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49278 8278 2541 9 0 43860 0 [pid=16802/tid=16803] ppid=16794 vsize=197112 CPUtime=3.79 /proc/16802/task/16803/stat : 16803 (java) R 16794 16794 13933 0 -1 64 3555 0 1 0 373 6 0 0 20 0 9 0 1984779085 201842688 8279 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197112 CPUtime=0.74 /proc/16802/task/16804/stat : 16804 (java) R 16794 16794 13933 0 -1 64 5084 0 0 0 66 8 0 0 15 0 9 0 1984779086 201842688 8281 996147200 134512640 134550740 4294955968 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197112 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984779086 201842688 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197112 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984779086 201842688 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197112 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984779089 201842688 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197112 CPUtime=0.18 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 630 0 0 0 18 0 0 0 16 0 9 0 1984779089 201842688 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197112 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984779089 201842688 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197112 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984779089 201842688 8282 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202472 [startup+12.7027 s] /proc/loadavg: 2.00 2.07 2.03 3/94 16813 /proc/meminfo: memFree=1353216/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197436 CPUtime=6.24 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 13877 0 1 0 602 22 0 0 18 0 10 0 1984779084 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49359 9411 2544 9 0 43941 0 [pid=16812] ppid=16802 vsize=5356 CPUtime=0 /proc/16812/stat : 16812 (mistral) S 16802 16794 13933 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1984779724 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16812/statm: 1339 238 198 169 0 50 0 [pid=16813] ppid=16812 vsize=5264 CPUtime=4.75 /proc/16813/stat : 16813 (xsolve) R 16812 16794 13933 0 -1 4194304 668 0 0 0 475 0 0 0 25 0 1 0 1984779725 5390336 632 996147200 134512640 135239763 4294955968 18446744073709551615 135071505 0 4 0 0 0 0 0 17 1 0 0 /proc/16813/statm: 1316 632 413 177 0 219 0 [pid=16802/tid=16803] ppid=16794 vsize=197436 CPUtime=4.89 /proc/16802/task/16803/stat : 16803 (java) S 16794 16794 13933 0 -1 64 3862 0 1 0 480 9 0 0 23 0 10 0 1984779085 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197436 CPUtime=1.07 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 8520 0 0 0 96 11 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197436 CPUtime=0.23 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16802/tid=16811] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16811/stat : 16811 (java) S 16794 16794 13933 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984779724 202174464 9411 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) 213416 [startup+25.5069 s] /proc/loadavg: 2.00 2.06 2.03 3/94 16813 /proc/meminfo: memFree=1353216/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197436 CPUtime=6.24 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 13877 0 1 0 602 22 0 0 18 0 10 0 1984779084 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49359 9411 2544 9 0 43941 0 [pid=16812] ppid=16802 vsize=5356 CPUtime=0 /proc/16812/stat : 16812 (mistral) S 16802 16794 13933 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1984779724 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16812/statm: 1339 238 198 169 0 50 0 [pid=16813] ppid=16812 vsize=5264 CPUtime=17.49 /proc/16813/stat : 16813 (xsolve) R 16812 16794 13933 0 -1 4194304 669 0 0 0 1749 0 0 0 25 0 1 0 1984779725 5390336 633 996147200 134512640 135239763 4294955968 18446744073709551615 135071371 0 4 0 0 0 0 0 17 1 0 0 /proc/16813/statm: 1316 633 413 177 0 219 0 [pid=16802/tid=16803] ppid=16794 vsize=197436 CPUtime=4.89 /proc/16802/task/16803/stat : 16803 (java) S 16794 16794 13933 0 -1 64 3862 0 1 0 480 9 0 0 23 0 10 0 1984779085 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197436 CPUtime=1.07 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 8520 0 0 0 96 11 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197436 CPUtime=0.23 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16802/tid=16811] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16811/stat : 16811 (java) S 16794 16794 13933 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984779724 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.21 Current children cumulated vsize (KiB) 213416 [startup+51.1022 s] /proc/loadavg: 2.06 2.07 2.03 3/94 16813 /proc/meminfo: memFree=1353024/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 ################ # More data... # ################ /proc/loadavg: 2.12 2.14 2.06 3/94 16813 /proc/meminfo: memFree=1353024/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197436 CPUtime=6.24 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 13877 0 1 0 602 22 0 0 18 0 10 0 1984779084 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49359 9411 2544 9 0 43941 0 [pid=16812] ppid=16802 vsize=5356 CPUtime=0 /proc/16812/stat : 16812 (mistral) S 16802 16794 13933 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1984779724 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16812/statm: 1339 238 198 169 0 50 0 [pid=16813] ppid=16812 vsize=5264 CPUtime=401.42 /proc/16813/stat : 16813 (xsolve) R 16812 16794 13933 0 -1 4194304 670 0 0 0 40141 1 0 0 25 0 1 0 1984779725 5390336 634 996147200 134512640 135239763 4294955968 18446744073709551615 135057233 0 4 0 0 0 0 0 17 1 0 0 /proc/16813/statm: 1316 634 413 177 0 219 0 [pid=16802/tid=16803] ppid=16794 vsize=197436 CPUtime=4.89 /proc/16802/task/16803/stat : 16803 (java) S 16794 16794 13933 0 -1 64 3862 0 1 0 480 9 0 0 23 0 10 0 1984779085 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197436 CPUtime=1.07 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 8520 0 0 0 96 11 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197436 CPUtime=0.23 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16802/tid=16811] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16811/stat : 16811 (java) S 16794 16794 13933 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984779724 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 409.14 Current children cumulated vsize (KiB) 213416 [startup+412.103 s] /proc/loadavg: 2.12 2.14 2.06 3/94 16813 /proc/meminfo: memFree=1353024/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197436 CPUtime=6.24 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 13877 0 1 0 602 22 0 0 18 0 10 0 1984779084 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49359 9411 2544 9 0 43941 0 [pid=16812] ppid=16802 vsize=5356 CPUtime=0 /proc/16812/stat : 16812 (mistral) S 16802 16794 13933 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1984779724 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16812/statm: 1339 238 198 169 0 50 0 [pid=16813] ppid=16812 vsize=5264 CPUtime=402.21 /proc/16813/stat : 16813 (xsolve) R 16812 16794 13933 0 -1 4194304 670 0 0 0 40220 1 0 0 25 0 1 0 1984779725 5390336 634 996147200 134512640 135239763 4294955968 18446744073709551615 134803398 0 4 0 0 0 0 0 17 1 0 0 /proc/16813/statm: 1316 634 413 177 0 219 0 [pid=16802/tid=16803] ppid=16794 vsize=197436 CPUtime=4.89 /proc/16802/task/16803/stat : 16803 (java) S 16794 16794 13933 0 -1 64 3862 0 1 0 480 9 0 0 23 0 10 0 1984779085 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197436 CPUtime=1.07 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 8520 0 0 0 96 11 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197436 CPUtime=0.23 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16802/tid=16811] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16811/stat : 16811 (java) S 16794 16794 13933 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984779724 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 409.93 Current children cumulated vsize (KiB) 213416 [startup+412.503 s] /proc/loadavg: 2.12 2.14 2.06 3/94 16813 /proc/meminfo: memFree=1353024/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197436 CPUtime=6.24 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 13877 0 1 0 602 22 0 0 18 0 10 0 1984779084 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49359 9411 2544 9 0 43941 0 [pid=16812] ppid=16802 vsize=5356 CPUtime=0 /proc/16812/stat : 16812 (mistral) S 16802 16794 13933 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1984779724 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16812/statm: 1339 238 198 169 0 50 0 [pid=16813] ppid=16812 vsize=5264 CPUtime=402.61 /proc/16813/stat : 16813 (xsolve) R 16812 16794 13933 0 -1 4194304 670 0 0 0 40260 1 0 0 25 0 1 0 1984779725 5390336 634 996147200 134512640 135239763 4294955968 18446744073709551615 134803452 0 4 0 0 0 0 0 17 1 0 0 /proc/16813/statm: 1316 634 413 177 0 219 0 [pid=16802/tid=16803] ppid=16794 vsize=197436 CPUtime=4.89 /proc/16802/task/16803/stat : 16803 (java) S 16794 16794 13933 0 -1 64 3862 0 1 0 480 9 0 0 23 0 10 0 1984779085 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197436 CPUtime=1.07 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 8520 0 0 0 96 11 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197436 CPUtime=0.23 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16802/tid=16811] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16811/stat : 16811 (java) S 16794 16794 13933 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984779724 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 410.33 Current children cumulated vsize (KiB) 213416 [startup+412.708 s] /proc/loadavg: 2.11 2.13 2.06 3/94 16813 /proc/meminfo: memFree=1353024/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197436 CPUtime=6.24 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 13877 0 1 0 602 22 0 0 18 0 10 0 1984779084 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49359 9411 2544 9 0 43941 0 [pid=16812] ppid=16802 vsize=5356 CPUtime=0 /proc/16812/stat : 16812 (mistral) S 16802 16794 13933 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1984779724 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16812/statm: 1339 238 198 169 0 50 0 [pid=16813] ppid=16812 vsize=5264 CPUtime=402.82 /proc/16813/stat : 16813 (xsolve) R 16812 16794 13933 0 -1 4194304 670 0 0 0 40281 1 0 0 25 0 1 0 1984779725 5390336 634 996147200 134512640 135239763 4294955968 18446744073709551615 134821512 0 4 0 0 0 0 0 17 1 0 0 /proc/16813/statm: 1316 634 413 177 0 219 0 [pid=16802/tid=16803] ppid=16794 vsize=197436 CPUtime=4.89 /proc/16802/task/16803/stat : 16803 (java) S 16794 16794 13933 0 -1 64 3862 0 1 0 480 9 0 0 23 0 10 0 1984779085 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197436 CPUtime=1.07 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 8520 0 0 0 96 11 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1984779086 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197436 CPUtime=0.23 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 31 0 0 0 0 0 0 0 15 0 10 0 1984779089 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16802/tid=16811] ppid=16794 vsize=197436 CPUtime=0 /proc/16802/task/16811/stat : 16811 (java) S 16794 16794 13933 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1984779724 202174464 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 410.54 Current children cumulated vsize (KiB) 213416 [startup+412.803 s] /proc/loadavg: 2.11 2.13 2.06 3/94 16813 /proc/meminfo: memFree=1353024/2055920 swapFree=4179456/4192956 [pid=16794] ppid=16792 vsize=5360 CPUtime=1.48 /proc/16794/stat : 16794 (hydra) S 16792 16794 13933 0 -1 4194304 375 1288 0 0 0 0 147 1 20 0 1 0 1984778933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16794/statm: 1340 238 196 169 0 51 0 [pid=16802] ppid=16794 vsize=197436 CPUtime=409.12 /proc/16802/stat : 16802 (java) S 16794 16794 13933 0 -1 0 13942 989 1 0 602 22 40286 2 18 0 9 0 1984779084 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16802/statm: 49359 9413 2545 9 0 43941 0 [pid=16802/tid=16803] ppid=16794 vsize=197436 CPUtime=407.77 /proc/16802/task/16803/stat : 16803 (java) S 16794 16794 13933 0 -1 64 3908 989 1 0 480 9 40286 2 16 0 9 0 1984779085 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16804] ppid=16794 vsize=197436 CPUtime=403.95 /proc/16802/task/16804/stat : 16804 (java) S 16794 16794 13933 0 -1 64 8531 989 0 0 96 11 40286 2 16 0 9 0 1984779086 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16805] ppid=16794 vsize=197436 CPUtime=402.88 /proc/16802/task/16805/stat : 16805 (java) S 16794 16794 13933 0 -1 64 11 989 0 0 0 0 40286 2 16 0 9 0 1984779086 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16806] ppid=16794 vsize=197436 CPUtime=402.88 /proc/16802/task/16806/stat : 16806 (java) S 16794 16794 13933 0 -1 64 5 989 0 0 0 0 40286 2 15 0 9 0 1984779086 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16807] ppid=16794 vsize=197436 CPUtime=402.88 /proc/16802/task/16807/stat : 16807 (java) S 16794 16794 13933 0 -1 64 0 989 0 0 0 0 40286 2 18 0 9 0 1984779089 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16808] ppid=16794 vsize=197436 CPUtime=403.11 /proc/16802/task/16808/stat : 16808 (java) S 16794 16794 13933 0 -1 64 669 989 0 0 23 0 40286 2 16 0 9 0 1984779089 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16809] ppid=16794 vsize=197436 CPUtime=402.88 /proc/16802/task/16809/stat : 16809 (java) S 16794 16794 13933 0 -1 64 1 989 0 0 0 0 40286 2 19 0 9 0 1984779089 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16802/tid=16810] ppid=16794 vsize=197436 CPUtime=402.88 /proc/16802/task/16810/stat : 16810 (java) S 16794 16794 13933 0 -1 64 31 989 0 0 0 0 40286 2 15 0 9 0 1984779089 202174464 9413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 410.6 Current children cumulated vsize (KiB) 202796 Child status: 0 Real time (s): 412.815 CPU time (s): 410.627 CPU user time (s): 410.362 CPU system time (s): 0.264959 CPU usage (%): 99.47 Max. virtual memory (cumulated for all children) (KiB): 213416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 410.362 system time used= 0.264959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16631 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17275 involuntary context switches= 27029 runsolver used 0.558915 second user time and 1.45378 second system time The end
Begin job on node43 at 2008-07-03 06:07:44 IDJOB=1054116 IDBENCH=56125 IDSOLVER=366 FILE ID=node43/1054116-1215058064 PBS_JOBID= 7875090 Free space on /tmp= 66528 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/mknap/normalized-mknap-1-5.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054116-1215058064/watcher-1054116-1215058064 -o /tmp/evaluation-result-1054116-1215058064/solver-1054116-1215058064 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1054116-1215058064.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= b5acb3eb596baa32b0d08b4b1c84ff93 RANDOM SEED=337016101 node43.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.230 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.230 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: 1383328 kB Buffers: 75676 kB Cached: 494080 kB SwapCached: 7360 kB Active: 215912 kB Inactive: 378068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1383328 kB SwapTotal: 4192956 kB SwapFree: 4179456 kB Dirty: 24292 kB Writeback: 0 kB Mapped: 39956 kB Slab: 63772 kB Committed_AS: 3665896 kB PageTables: 1968 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= 66504 MiB End job on node43 at 2008-07-03 06:14:38