Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 61.4737 | 61.9574 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 138723 |
CHECKS | 137352000 |
Name | csp/mknap/ normalized-mknap-1-4.xml |
MD5SUM | f488696ddeffcd52a92225fbde5c0e2a |
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.064989 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 28 |
Number of constraints | 11 |
Maximum constraint arity | 28 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 11 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.63/6.77 c CASE TO CLASSIFY: 6.63/6.77 c Case: 0 6.63/6.77 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.793200 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 5.764220 | c 14 > 12.075500 | c 11 > 8.149750 | c 12 > 3.924730 | 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 6.63/6.78 c choco : 1801.0 6.63/6.78 c mistral : 1801.0 6.63/6.78 c abscon : 1801.0 6.63/6.78 c 6.63/6.78 c 6.73/6.85 c List of same ones: 40 6.73/6.85 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml 6.73/6.85 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 6.73/6.86 c choco : 3.4 6.73/6.86 c mistral : 0.6499 6.73/6.86 c abscon : 1800.09 6.73/6.86 c 6.73/6.86 c 6.73/6.86 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml 6.73/6.86 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 6.73/6.86 c choco : 13.25 6.73/6.86 c mistral : 1800.06 6.73/6.86 c abscon : 1800.12 6.73/6.86 c 6.73/6.86 c 6.73/6.86 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-3-7.xml 6.73/6.86 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.870400 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 3.723660 | c 14 > 8.962900 | c 11 > 6.643860 | c 12 > 2.620590 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.385400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.73/6.87 c choco : 1.77 6.73/6.87 c mistral : 0.022995 6.73/6.87 c abscon : 61.2477 6.73/6.87 c 6.73/6.87 c 6.73/6.87 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-20-3-7.xml 6.73/6.87 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 15.737600 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 8.055940 | c 14 > 9.823370 | c 11 > 6.643860 | c 12 > 5.108940 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.425300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.73/6.88 c choco : 1.79 6.73/6.88 c mistral : 0.023995 6.73/6.88 c abscon : 1800.04 6.73/6.88 c 6.73/6.88 c 6.73/6.88 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-5.xml 6.73/6.88 c 19 > 0.000000 | c 35 > 2.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.500000 | c 15 > 21.335300 | c 34 > 4.500000 | c 16 > 8.000000 | c 13 > 5.816180 | c 14 > 9.499850 | c 11 > 6.643860 | c 12 > 4.890450 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.704700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.73/6.89 c choco : 48.39 6.73/6.89 c mistral : 0.036993 6.73/6.89 c abscon : 1800.07 6.73/6.89 c 6.73/6.89 c 6.73/6.89 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-80-3-7.xml 6.73/6.89 c 19 > 0.000000 | c 35 > 3.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.500000 | c 15 > 21.390300 | c 34 > 7.500000 | c 16 > 10.000000 | c 13 > 7.141140 | c 14 > 10.596200 | c 11 > 6.643860 | c 12 > 5.817370 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 6.643860 | c 10 > 9.948370 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.826550 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.253600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.90 c choco : 3.68 6.82/6.90 c mistral : 0.043992 6.82/6.90 c abscon : 18.5052 6.82/6.90 c 6.82/6.90 c 6.82/6.90 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-07.xml 6.82/6.90 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 6.82/6.91 c choco : 46.54 6.82/6.91 c mistral : 2.92 6.82/6.91 c abscon : 26.63 6.82/6.91 c 6.82/6.91 c 6.82/6.91 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml 6.82/6.91 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 6.82/6.92 c choco : 19.91 6.82/6.92 c mistral : 1.45 6.82/6.92 c abscon : 23.48 6.82/6.92 c 6.82/6.92 c 6.82/6.92 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-08.xml 6.82/6.92 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 6.82/6.92 c choco : 22.21 6.82/6.92 c mistral : 2.41 6.82/6.92 c abscon : 22.82 6.82/6.92 c 6.82/6.92 c 6.82/6.92 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-08.xml 6.82/6.92 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 6.82/6.93 c choco : 63.35 6.82/6.93 c mistral : 3.82 6.82/6.93 c abscon : 24.18 6.82/6.93 c 6.82/6.93 c 6.82/6.93 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-07.xml 6.82/6.93 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 6.82/6.94 c choco : 20.82 6.82/6.94 c mistral : 2.15 6.82/6.94 c abscon : 27.46 6.82/6.94 c 6.82/6.94 c 6.82/6.94 c /home/eomahony/cpZilla/CSP/primes/primes-30/primes-30-20-3-7.xml 6.82/6.94 c 19 > 0.000000 | c 35 > 1.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.000000 | c 15 > 14.773800 | c 34 > 3.000000 | c 16 > 10.000000 | c 13 > 4.415290 | c 14 > 9.052570 | c 11 > 6.643860 | c 12 > 2.604070 | c 21 > 10.583000 | c 20 > 100.000000 | c 22 > 10.583000 | 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 > 6.643860 | c 10 > 8.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.930740 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.839900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.96 c choco : 1.52 6.82/6.96 c mistral : 0.022995 6.82/6.96 c abscon : 1800.08 6.82/6.96 c 6.82/6.96 c 6.82/6.96 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-09.xml 6.82/6.96 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 6.82/6.97 c choco : 20.46 6.82/6.97 c mistral : 2.47 6.82/6.97 c abscon : 19.78 6.82/6.97 c 6.82/6.97 c 6.82/6.97 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-09.xml 6.82/6.97 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 6.82/6.98 c choco : 23.66 6.82/6.98 c mistral : 3.57 6.82/6.98 c abscon : 22.75 6.82/6.98 c 6.82/6.98 c 6.82/6.98 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-07.xml 6.82/6.98 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 6.82/6.98 c choco : 22.13 6.82/6.98 c mistral : 4.0 6.82/6.98 c abscon : 22.81 6.82/6.98 c 6.82/6.98 c 6.82/6.98 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-09.xml 6.82/6.98 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 6.82/6.99 c choco : 20.09 6.82/6.99 c mistral : 2.12 6.82/6.99 c abscon : 22.53 6.82/6.99 c 6.82/6.99 c 6.82/6.99 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-07.xml 6.82/6.99 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 6.82/7.00 c choco : 21.93 6.82/7.00 c mistral : 2.95 6.82/7.00 c abscon : 22.23 6.82/7.00 c 6.82/7.00 c 6.82/7.00 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-05.xml 6.82/7.00 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 6.89/7.00 c choco : 45.83 6.89/7.00 c mistral : 5.61 6.89/7.00 c abscon : 26.09 6.89/7.00 c 6.89/7.00 c 6.89/7.00 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-08.xml 6.89/7.00 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 6.89/7.01 c choco : 22.94 6.89/7.01 c mistral : 5.66 6.89/7.01 c abscon : 26.72 6.89/7.01 c 6.89/7.01 c 6.89/7.01 c /home/eomahony/cpZilla/CSP/primes/primes-20/primes-20-20-2-7.xml 6.89/7.01 c 19 > 0.000000 | c 35 > 3.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.000000 | c 15 > 16.091000 | c 34 > 6.000000 | c 16 > 9.000000 | c 13 > 3.616460 | c 14 > 8.614710 | c 11 > 6.643860 | c 12 > 2.392320 | c 21 > 8.366600 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 6.643860 | c 10 > 7.930740 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.807350 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.137900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.02 c choco : 1.66 6.89/7.02 c mistral : 0.021995 6.89/7.02 c abscon : 1800.1 6.89/7.02 c 6.89/7.02 c 6.89/7.02 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-08.xml 6.89/7.02 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 6.89/7.02 c choco : 21.58 6.89/7.02 c mistral : 2.94 6.89/7.02 c abscon : 23.61 6.89/7.02 c 6.89/7.02 c 6.89/7.02 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-21-02.xml 6.89/7.02 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.636400 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.887980 | c 14 > 8.118940 | c 11 > 8.527480 | c 12 > 6.295890 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.03 c choco : 65.38 6.89/7.03 c mistral : 22.35 6.89/7.03 c abscon : 32.86 6.89/7.03 c 6.89/7.03 c 6.89/7.03 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-21-02.xml 6.89/7.03 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.350800 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.999560 | c 14 > 8.247930 | c 11 > 8.527480 | c 12 > 6.335500 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.03 c choco : 31.77 6.89/7.03 c mistral : 5.03 6.89/7.03 c abscon : 25.52 6.89/7.03 c 6.89/7.03 c 6.89/7.03 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-03.xml 6.89/7.03 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 6.89/7.04 c choco : 1801.0 6.89/7.04 c mistral : 360.0 6.89/7.04 c abscon : 148.75 6.89/7.04 c 6.89/7.04 c 6.89/7.04 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-02.xml 6.89/7.04 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.658100 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.345730 | c 14 > 8.562240 | c 11 > 8.764870 | c 12 > 6.533190 | c 21 > 5.099020 | c 20 > 95.889800 | 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 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.04 c choco : 78.46 6.89/7.04 c mistral : 13.32 6.89/7.04 c abscon : 48.64 6.89/7.04 c 6.89/7.04 c 6.89/7.04 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-04.xml 6.89/7.04 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 6.89/7.05 c choco : 1801.0 6.89/7.05 c mistral : 20.21 6.89/7.05 c abscon : 40.24 6.89/7.05 c 6.89/7.05 c 6.89/7.05 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-03.xml 6.89/7.05 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 6.89/7.05 c choco : 1801.0 6.89/7.05 c mistral : 69.75 6.89/7.05 c abscon : 1801.0 6.89/7.05 c 6.89/7.05 c 6.89/7.05 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-05.xml 6.89/7.05 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 6.89/7.06 c choco : 20.18 6.89/7.06 c mistral : 2.03 6.89/7.06 c abscon : 21.47 6.89/7.06 c 6.89/7.06 c 6.89/7.06 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-05.xml 6.89/7.06 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 6.89/7.07 c choco : 19.76 6.89/7.07 c mistral : 2.49 6.89/7.07 c abscon : 20.72 6.89/7.07 c 6.89/7.07 c 6.89/7.07 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-02.xml 6.89/7.07 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 19.040800 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.227280 | c 14 > 7.936640 | c 11 > 8.764870 | c 12 > 5.896410 | c 21 > 5.099020 | c 20 > 95.889800 | 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 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.07 c choco : 31.25 6.89/7.07 c mistral : 23.83 6.89/7.07 c abscon : 27.37 6.89/7.07 c 6.89/7.07 c 6.89/7.07 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-07.xml 6.89/7.07 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.647200 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.127730 | c 14 > 7.977280 | c 11 > 8.800900 | c 12 > 6.349320 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.08 c choco : 76.58 6.89/7.08 c mistral : 30.9 6.89/7.08 c abscon : 157.92 6.89/7.08 c 6.89/7.08 c 6.89/7.08 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-07.xml 6.89/7.08 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.276700 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 5.078940 | c 14 > 8.134430 | c 11 > 8.800900 | c 12 > 6.348290 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.08 c choco : 80.07 6.89/7.08 c mistral : 19.3 6.89/7.08 c abscon : 48.37 6.89/7.08 c 6.89/7.08 c 6.89/7.08 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-04.xml 6.89/7.08 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 6.89/7.09 c choco : 93.62 6.89/7.09 c mistral : 49.24 6.89/7.09 c abscon : 29.44 6.89/7.09 c 6.89/7.09 c 6.89/7.09 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-21-02.xml 6.89/7.09 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.974000 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.849560 | c 14 > 7.774790 | c 11 > 8.527480 | c 12 > 6.200340 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.09 c choco : 28.41 6.89/7.09 c mistral : 8.26 6.89/7.09 c abscon : 25.34 6.89/7.09 c 6.89/7.09 c 6.89/7.09 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-21-02.xml 6.89/7.09 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.945600 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.929200 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.823350 | c 14 > 7.748190 | c 11 > 8.527480 | c 12 > 6.195700 | c 21 > 5.099020 | c 20 > 95.054400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.400000 | c 28 > 5.600000 | c 29 > -1.000000 | c 3 > 8.527480 | c 2 > -1.000000 | c 10 > 14.509200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.308200 | c 32 > -1.000000 | c 5 > 15.614400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.10 c choco : 24.28 6.89/7.10 c mistral : 7.44 6.89/7.10 c abscon : 24.56 6.89/7.10 c 6.89/7.10 c 6.89/7.10 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-03.xml 6.89/7.10 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 6.95/7.11 c choco : 32.47 6.95/7.11 c mistral : 9.06 6.95/7.11 c abscon : 31.94 6.95/7.11 c 6.95/7.11 c 6.95/7.11 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-06.xml 6.95/7.11 c 19 > 0.000000 | c 35 > 0.166667 | c 17 > 5.063290 | c 18 > 0.000000 | c 33 > 0.125000 | c 15 > 18.230300 | c 34 > 0.125000 | c 16 > 22.000000 | c 13 > 4.762700 | c 14 > 7.357550 | c 11 > 8.164910 | c 12 > 5.472960 | c 21 > 5.099020 | c 20 > 94.936700 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.031250 | c 28 > 2.968750 | c 29 > -1.000000 | c 3 > 8.164910 | c 2 > -1.000000 | c 10 > 14.003500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.762400 | c 32 > -1.000000 | c 5 > 15.105500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.11 c choco : 73.48 6.95/7.11 c mistral : 1.99 6.95/7.11 c abscon : 24.36 6.95/7.11 c 6.95/7.11 c 6.95/7.11 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-02.xml 6.95/7.11 c 19 > 0.000000 | c 35 > 0.037683 | c 17 > 4.110210 | c 18 > 0.000000 | c 33 > 0.028262 | c 15 > 18.198700 | c 34 > 0.028262 | c 16 > 24.000000 | c 13 > 5.144910 | c 14 > 7.707360 | c 11 > 8.764870 | c 12 > 6.397990 | c 21 > 5.099020 | c 20 > 95.889800 | 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 > 8.764870 | c 2 > -1.000000 | c 10 > 14.938800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.719600 | c 32 > -1.000000 | c 5 > 15.994100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.12 c choco : 31.54 6.95/7.12 c mistral : 6.14 6.95/7.12 c abscon : 29.06 6.95/7.12 c 6.95/7.12 c 6.95/7.12 c /home/eomahony/cpZilla/CSP/primes/primes-25/primes-25-80-3-5.xml 6.95/7.12 c 19 > 0.000000 | c 35 > 2.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.500000 | c 15 > 20.970000 | c 34 > 4.500000 | c 16 > 8.000000 | c 13 > 4.691640 | c 14 > 8.894820 | c 11 > 6.643860 | c 12 > 3.825790 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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 > 6.643860 | c 10 > 9.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.569860 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 22.624300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.12 c choco : 23.56 6.95/7.12 c mistral : 0.037993 6.95/7.12 c abscon : 1800.09 6.95/7.12 c 6.95/7.12 c 6.95/7.12 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-07.xml 6.95/7.12 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 4.474160 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.081600 | c 34 > 0.000000 | c 16 > 24.000000 | c 13 > 4.954940 | c 14 > 7.569860 | c 11 > 8.800900 | c 12 > 5.669700 | c 21 > 5.099020 | c 20 > 95.525800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 4.597700 | c 28 > 5.402300 | c 29 > -1.000000 | c 3 > 8.800900 | c 2 > -1.000000 | c 10 > 14.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.643700 | c 32 > -1.000000 | c 5 > 15.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.13 c choco : 63.95 6.95/7.13 c mistral : 14.25 6.95/7.13 c abscon : 28.1 6.95/7.13 c 6.95/7.13 c 6.95/7.13 c Length: 40 6.95/7.13 c 0.900906671525968 11.41679922970532 24.329471420129536 25.265988137808897 25.582901638512393 25.764720542420015 25.93551100816402 25.952899013518202 25.95748729724691 26.037877715423253 26.10472267804232 26.115413697835614 26.141151139320048 26.141603633822353 26.157107838646784 26.159903958840786 26.17412456704325 26.175019746950056 26.221702403090358 26.272858552138935 26.27459914076968 26.299021960042545 26.30502486734046 26.344186917686415 26.34773024331298 26.383703707319334 26.39721780149757 26.413298457571052 26.43849774850541 26.44246089399944 26.479852435491402 26.48973692575485 26.503443832083708 26.533744655246082 26.545072149683453 26.596686232771557 26.6099798481733 26.62374280409104 26.629047247254267 26.669734277598266 6.95/7.14 c 6.95/7.14 c 1.0 0.710183997270019 0.5237844197167729 0.5139999669461585 0.5107712083139181 0.5089370582768229 0.5072261188010114 0.5070525747598389 0.5070068003891194 0.5062061354396941 0.5055423022969953 0.5054362919153839 0.5051812659668928 0.5051767846127251 0.5050232841732448 0.5049956109223024 0.5048549162331237 0.5048460621982498 0.5043847639230671 0.5038802275741873 0.5038630784741022 0.5036225763802172 0.5035634982952687 0.5031784217987199 0.5031436096864906 0.5027904536907625 0.5026579122072004 0.5025002898046008 0.5022534853828069 0.5022146919931162 0.5018489783455504 0.5017523905814887 0.5016185130205318 0.5013228133834946 0.5012123601490248 0.5007096920470919 0.5005803891428788 0.5004465914496439 0.5003950429683585 0.5 6.95/7.15 c 6.95/7.15 c solver 0 6.95/7.15 c before 0.0 seconds: {} 0 6.95/7.15 c before 36.0 seconds: {5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 27, 28, 29, 32, 33, 34, 35, 36, 37, 39} 13100 6.95/7.15 c before 54.0 seconds: {5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 39} 14608 6.95/7.15 c before 72.0 seconds: {2, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 31, 32, 33, 34, 35, 36, 37, 39} 15131 6.95/7.15 c before 162.0 seconds: {2, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 39} 16136 6.95/7.15 c 6.95/7.15 c solver 1 6.95/7.15 c before 0.0 seconds: {} 0 6.95/7.15 c before 18.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 24, 27, 28, 33, 34, 35, 36, 37, 38, 39} 16154 6.95/7.15 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18666 6.95/7.15 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19168 6.95/7.15 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19670 6.95/7.15 c before 378.0 seconds: {0, 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} 20173 6.95/7.15 c 6.95/7.15 c solver 2 6.95/7.15 c before 0.0 seconds: {} 0 6.95/7.15 c before 18.0 seconds: {0, 1, 2, 3, 5, 11, 19} 4266 6.95/7.15 c before 36.0 seconds: {0, 1, 2, 3, 5, 7, 8, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 22, 27, 28, 29, 33, 34, 35, 37, 38} 13833 6.95/7.15 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 27, 28, 29, 33, 34, 35, 37, 38} 15356 6.95/7.15 c before 72.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, 27, 28, 29, 33, 34, 35, 37, 38, 39} 16866 6.95/7.15 c before 90.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, 24, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18873 6.95/7.15 c before 108.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, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19375 6.95/7.15 c 6.95/7.15 cTotal time: 36 6.95/7.15 c 648.0 seconds unused 6.95/7.15 c 0 c 0 c 2 6.95/7.15 c 7 c 0 c 3 6.95/7.15 c 7 c 1 c 0 6.95/7.15 c is solver0 dominated by: 6.95/7.15 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) 6.95/7.15 c is dominated? true 6.95/7.15 c 6.95/7.15 c is solver1 dominated by: 6.95/7.15 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) 6.95/7.15 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) 6.95/7.15 c is dominated? false 6.95/7.15 c 6.95/7.15 c is solver2 dominated by: 6.95/7.15 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) 6.95/7.15 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) 6.95/7.15 c is dominated? false 6.95/7.15 c 6.95/7.15 c Number of non-dominated solvers: 2 6.95/7.15 c remove dominated solvers 6.95/7.15 c solver 1 is not dominated by another solver 6.95/7.15 c solver 2 is not dominated by another solver 6.95/7.15 c solver 0 is dominated by another solver 6.95/7.15 c 6.95/7.15 c solver 0: 0.0 6.95/7.15 c 6.95/7.15 c solver 1: 378.0 6.95/7.15 c 6.95/7.15 c+ 21/27 of 73 6.95/7.15 c 6.95/7.15 c solver 2: 108.0 6.95/7.15 c 6.95/7.15 c+ 6/27 of 73 6.95/7.15 c do not run abscon 6.95/7.15 c run mistral for 1386.0 seconds {0, 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} 20173 6.95/7.15 c run choco for 396.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, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19375 6.95/7.15 c Starting solver: HOME/cpHydra_k_40/solver/mistral 6.95/7.15 c On Instance: HOME/instance-1054221-1215058358.xml 6.95/7.15 c Running for: 1386 seconds 61.32/61.90 c mistral-prime version 1.313 61.32/61.90 s SATISFIABLE 61.32/61.90 v 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 61.32/61.90 d CHECKS 137352010 61.32/61.90 d ASSIGNMENTS 138723
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-1054221-1215058358/watcher-1054221-1215058358 -o /tmp/evaluation-result-1054221-1215058358/solver-1054221-1215058358 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1054221-1215058358.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.98 1.99 4/81 26554 /proc/meminfo: memFree=1772416/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=0 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1984810903 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 236 195 169 0 51 0 [pid=26557] ppid=26554 vsize=2292 CPUtime=0 /proc/26557/stat : 26557 (xsolve) R 26554 26554 23778 0 -1 4194304 66 0 0 0 0 0 0 0 19 0 1 0 1984810903 2347008 43 996147200 134512640 135239763 4294956176 18446744073709551615 3308173 0 0 4096 0 0 0 0 17 0 0 0 /proc/26557/statm: 573 47 35 177 0 6 0 [startup+0.0408971 s] /proc/loadavg: 1.99 1.98 1.99 4/81 26554 /proc/meminfo: memFree=1772416/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=0 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1984810903 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 236 195 169 0 51 0 [pid=26557] ppid=26554 vsize=5392 CPUtime=0.02 /proc/26557/stat : 26557 (xsolve) R 26554 26554 23778 0 -1 4194304 736 0 0 0 2 0 0 0 19 0 1 0 1984810903 5521408 695 996147200 134512640 135239763 4294956176 18446744073709551615 134803398 0 0 4096 0 0 0 0 17 0 0 0 /proc/26557/statm: 1348 695 431 177 0 251 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10752 [startup+0.102903 s] /proc/loadavg: 1.99 1.98 1.99 4/81 26554 /proc/meminfo: memFree=1772416/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=0 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1984810903 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 236 195 169 0 51 0 [pid=26557] ppid=26554 vsize=5392 CPUtime=0.09 /proc/26557/stat : 26557 (xsolve) R 26554 26554 23778 0 -1 4194304 736 0 0 0 9 0 0 0 20 0 1 0 1984810903 5521408 695 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/26557/statm: 1348 695 431 177 0 251 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10752 [startup+0.302922 s] /proc/loadavg: 1.99 1.98 1.99 4/81 26554 /proc/meminfo: memFree=1772416/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=0 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1984810903 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 236 195 169 0 51 0 [pid=26557] ppid=26554 vsize=5392 CPUtime=0.29 /proc/26557/stat : 26557 (xsolve) R 26554 26554 23778 0 -1 4194304 736 0 0 0 29 0 0 0 22 0 1 0 1984810903 5521408 695 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/26557/statm: 1348 695 431 177 0 251 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10752 [startup+0.70296 s] /proc/loadavg: 1.99 1.98 1.99 4/81 26554 /proc/meminfo: memFree=1772416/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=0 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1984810903 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 236 195 169 0 51 0 [pid=26557] ppid=26554 vsize=5392 CPUtime=0.69 /proc/26557/stat : 26557 (xsolve) R 26554 26554 23778 0 -1 4194304 736 0 0 0 69 0 0 0 25 0 1 0 1984810903 5521408 695 996147200 134512640 135239763 4294956176 18446744073709551615 135030867 0 0 4096 0 0 0 0 17 0 0 0 /proc/26557/statm: 1348 695 431 177 0 251 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10752 [startup+1.50104 s] /proc/loadavg: 1.99 1.98 1.99 3/83 26558 /proc/meminfo: memFree=1771056/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 5360 [startup+3.10119 s] /proc/loadavg: 1.99 1.98 1.99 3/91 26570 /proc/meminfo: memFree=1764016/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197024 CPUtime=1.59 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 6588 0 1 0 155 4 0 0 21 0 9 0 1984811051 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49256 5533 2541 9 0 43838 0 [pid=26562/tid=26563] ppid=26554 vsize=197024 CPUtime=1.23 /proc/26562/task/26563/stat : 26563 (java) R 26554 26554 23778 0 -1 64 2816 0 1 0 122 1 0 0 25 0 9 0 1984811052 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4126473510 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197024 CPUtime=0.2 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 2433 0 0 0 19 1 0 0 16 0 9 0 1984811053 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984811053 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984811053 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1984811055 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197024 CPUtime=0.13 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 614 0 0 0 13 0 0 0 16 0 9 0 1984811055 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1984811055 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984811055 201752576 5533 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 202384 [startup+6.30249 s] /proc/loadavg: 1.99 1.98 1.99 3/91 26570 /proc/meminfo: memFree=1750192/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197024 CPUtime=4.78 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 10599 0 1 0 465 13 0 0 21 0 9 0 1984811051 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49256 8803 2541 9 0 43838 0 [pid=26562/tid=26563] ppid=26554 vsize=197024 CPUtime=3.84 /proc/26562/task/26563/stat : 26563 (java) R 26554 26554 23778 0 -1 64 3653 0 1 0 381 3 0 0 25 0 9 0 1984811052 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4126453172 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197024 CPUtime=0.75 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 5590 0 0 0 67 8 0 0 16 0 9 0 1984811053 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984811053 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984811053 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1984811055 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197024 CPUtime=0.15 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 631 0 0 0 15 0 0 0 16 0 9 0 1984811055 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1984811055 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197024 CPUtime=0 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984811055 201752576 8803 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 202384 [startup+12.7011 s] /proc/loadavg: 1.99 1.98 1.99 3/94 26573 /proc/meminfo: memFree=1742552/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197348 CPUtime=5.53 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 11472 0 1 0 536 17 0 0 21 0 10 0 1984811051 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49337 9425 2544 9 0 43919 0 [pid=26572] ppid=26562 vsize=5356 CPUtime=0 /proc/26572/stat : 26572 (mistral) S 26562 26554 23778 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1984811619 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26572/statm: 1339 238 198 169 0 50 0 [pid=26573] ppid=26572 vsize=5392 CPUtime=5.5 /proc/26573/stat : 26573 (xsolve) R 26572 26554 23778 0 -1 4194304 713 0 0 0 550 0 0 0 25 0 1 0 1984811620 5521408 677 996147200 134512640 135239763 4294955968 18446744073709551615 134803579 0 4 0 0 0 0 0 17 0 0 0 /proc/26573/statm: 1348 677 413 177 0 251 0 [pid=26562/tid=26563] ppid=26554 vsize=197348 CPUtime=4.47 /proc/26562/task/26563/stat : 26563 (java) S 26554 26554 23778 0 -1 64 3857 0 1 0 441 6 0 0 24 0 10 0 1984811052 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197348 CPUtime=0.82 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 6121 0 0 0 73 9 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197348 CPUtime=0.21 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26571] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26571/stat : 26571 (java) S 26554 26554 23778 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1984811619 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.49 Current children cumulated vsize (KiB) 213456 [startup+25.5023 s] /proc/loadavg: 1.99 1.98 1.99 3/94 26573 /proc/meminfo: memFree=1742552/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197348 CPUtime=5.53 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 11472 0 1 0 536 17 0 0 21 0 10 0 1984811051 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49337 9425 2544 9 0 43919 0 [pid=26572] ppid=26562 vsize=5356 CPUtime=0 /proc/26572/stat : 26572 (mistral) S 26562 26554 23778 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1984811619 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26572/statm: 1339 238 198 169 0 50 0 [pid=26573] ppid=26572 vsize=5392 CPUtime=18.23 /proc/26573/stat : 26573 (xsolve) R 26572 26554 23778 0 -1 4194304 713 0 0 0 1823 0 0 0 25 0 1 0 1984811620 5521408 677 996147200 134512640 135239763 4294955968 18446744073709551615 135030641 0 4 0 0 0 0 0 17 0 0 0 /proc/26573/statm: 1348 677 413 177 0 251 0 [pid=26562/tid=26563] ppid=26554 vsize=197348 CPUtime=4.47 /proc/26562/task/26563/stat : 26563 (java) S 26554 26554 23778 0 -1 64 3857 0 1 0 441 6 0 0 24 0 10 0 1984811052 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197348 CPUtime=0.82 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 6121 0 0 0 73 9 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197348 CPUtime=0.21 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197348 CPUtime=0 ################ # More data... # ################ /proc/loadavg: 1.99 1.98 1.99 3/94 26573 /proc/meminfo: memFree=1742744/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197348 CPUtime=5.53 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 11472 0 1 0 536 17 0 0 21 0 10 0 1984811051 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49337 9425 2544 9 0 43919 0 [pid=26572] ppid=26562 vsize=5356 CPUtime=0 /proc/26572/stat : 26572 (mistral) S 26562 26554 23778 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1984811619 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26572/statm: 1339 238 198 169 0 50 0 [pid=26573] ppid=26572 vsize=5392 CPUtime=50.06 /proc/26573/stat : 26573 (xsolve) R 26572 26554 23778 0 -1 4194304 713 0 0 0 5006 0 0 0 25 0 1 0 1984811620 5521408 677 996147200 134512640 135239763 4294955968 18446744073709551615 134802987 0 4 0 0 0 0 0 17 0 0 0 /proc/26573/statm: 1348 677 413 177 0 251 0 [pid=26562/tid=26563] ppid=26554 vsize=197348 CPUtime=4.47 /proc/26562/task/26563/stat : 26563 (java) S 26554 26554 23778 0 -1 64 3857 0 1 0 441 6 0 0 24 0 10 0 1984811052 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197348 CPUtime=0.82 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 6121 0 0 0 73 9 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197348 CPUtime=0.21 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26571] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26571/stat : 26571 (java) S 26554 26554 23778 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1984811619 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 57.05 Current children cumulated vsize (KiB) 213456 [startup+59.1025 s] /proc/loadavg: 1.99 1.98 1.99 3/94 26573 /proc/meminfo: memFree=1742744/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197348 CPUtime=5.53 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 11472 0 1 0 536 17 0 0 21 0 10 0 1984811051 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49337 9425 2544 9 0 43919 0 [pid=26572] ppid=26562 vsize=5356 CPUtime=0 /proc/26572/stat : 26572 (mistral) S 26562 26554 23778 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1984811619 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26572/statm: 1339 238 198 169 0 50 0 [pid=26573] ppid=26572 vsize=5392 CPUtime=51.65 /proc/26573/stat : 26573 (xsolve) R 26572 26554 23778 0 -1 4194304 713 0 0 0 5165 0 0 0 25 0 1 0 1984811620 5521408 677 996147200 134512640 135239763 4294955968 18446744073709551615 135096169 0 4 0 0 0 0 0 17 0 0 0 /proc/26573/statm: 1348 677 413 177 0 251 0 [pid=26562/tid=26563] ppid=26554 vsize=197348 CPUtime=4.47 /proc/26562/task/26563/stat : 26563 (java) S 26554 26554 23778 0 -1 64 3857 0 1 0 441 6 0 0 24 0 10 0 1984811052 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197348 CPUtime=0.82 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 6121 0 0 0 73 9 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197348 CPUtime=0.21 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26571] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26571/stat : 26571 (java) S 26554 26554 23778 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1984811619 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 58.64 Current children cumulated vsize (KiB) 213456 [startup+60.7027 s] /proc/loadavg: 1.99 1.98 1.99 3/94 26573 /proc/meminfo: memFree=1742744/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197348 CPUtime=5.53 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 11472 0 1 0 536 17 0 0 21 0 10 0 1984811051 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49337 9425 2544 9 0 43919 0 [pid=26572] ppid=26562 vsize=5356 CPUtime=0 /proc/26572/stat : 26572 (mistral) S 26562 26554 23778 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1984811619 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26572/statm: 1339 238 198 169 0 50 0 [pid=26573] ppid=26572 vsize=5392 CPUtime=53.24 /proc/26573/stat : 26573 (xsolve) R 26572 26554 23778 0 -1 4194304 713 0 0 0 5324 0 0 0 25 0 1 0 1984811620 5521408 677 996147200 134512640 135239763 4294955968 18446744073709551615 135071344 0 4 0 0 0 0 0 17 0 0 0 /proc/26573/statm: 1348 677 413 177 0 251 0 [pid=26562/tid=26563] ppid=26554 vsize=197348 CPUtime=4.47 /proc/26562/task/26563/stat : 26563 (java) S 26554 26554 23778 0 -1 64 3857 0 1 0 441 6 0 0 24 0 10 0 1984811052 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197348 CPUtime=0.82 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 6121 0 0 0 73 9 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197348 CPUtime=0.21 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26571] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26571/stat : 26571 (java) S 26554 26554 23778 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1984811619 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 60.23 Current children cumulated vsize (KiB) 213456 [startup+61.5017 s] /proc/loadavg: 1.99 1.98 1.99 3/94 26573 /proc/meminfo: memFree=1742744/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197348 CPUtime=5.53 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 11472 0 1 0 536 17 0 0 21 0 10 0 1984811051 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49337 9425 2544 9 0 43919 0 [pid=26572] ppid=26562 vsize=5356 CPUtime=0 /proc/26572/stat : 26572 (mistral) S 26562 26554 23778 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1984811619 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26572/statm: 1339 238 198 169 0 50 0 [pid=26573] ppid=26572 vsize=5392 CPUtime=54.04 /proc/26573/stat : 26573 (xsolve) R 26572 26554 23778 0 -1 4194304 713 0 0 0 5404 0 0 0 25 0 1 0 1984811620 5521408 677 996147200 134512640 135239763 4294955968 18446744073709551615 134803445 0 4 0 0 0 0 0 17 0 0 0 /proc/26573/statm: 1348 677 413 177 0 251 0 [pid=26562/tid=26563] ppid=26554 vsize=197348 CPUtime=4.47 /proc/26562/task/26563/stat : 26563 (java) S 26554 26554 23778 0 -1 64 3857 0 1 0 441 6 0 0 24 0 10 0 1984811052 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197348 CPUtime=0.82 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 6121 0 0 0 73 9 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1984811053 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197348 CPUtime=0.21 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 1984811055 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26571] ppid=26554 vsize=197348 CPUtime=0 /proc/26562/task/26571/stat : 26571 (java) S 26554 26554 23778 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1984811619 202084352 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 61.03 Current children cumulated vsize (KiB) 213456 [startup+61.9018 s] /proc/loadavg: 1.99 1.98 1.99 3/94 26573 /proc/meminfo: memFree=1742744/2055920 swapFree=4179560/4192956 [pid=26554] ppid=26552 vsize=5360 CPUtime=1.46 /proc/26554/stat : 26554 (hydra) S 26552 26554 23778 0 -1 4194304 375 1332 0 0 0 0 146 0 20 0 1 0 1984810903 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26554/statm: 1340 238 196 169 0 51 0 [pid=26562] ppid=26554 vsize=197348 CPUtime=59.96 /proc/26562/stat : 26562 (java) S 26554 26554 23778 0 -1 0 11520 1030 1 0 536 17 5443 0 21 0 10 0 1984811051 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26562/statm: 49337 9426 2544 9 0 43919 0 [pid=26562/tid=26563] ppid=26554 vsize=197348 CPUtime=58.9 /proc/26562/task/26563/stat : 26563 (java) S 26554 26554 23778 0 -1 64 3905 1030 1 0 441 6 5443 0 16 0 10 0 1984811052 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26564] ppid=26554 vsize=197348 CPUtime=55.25 /proc/26562/task/26564/stat : 26564 (java) S 26554 26554 23778 0 -1 64 6121 1030 0 0 73 9 5443 0 15 0 10 0 1984811053 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26565] ppid=26554 vsize=197348 CPUtime=54.43 /proc/26562/task/26565/stat : 26565 (java) S 26554 26554 23778 0 -1 64 11 1030 0 0 0 0 5443 0 16 0 10 0 1984811053 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26566] ppid=26554 vsize=197348 CPUtime=54.43 /proc/26562/task/26566/stat : 26566 (java) S 26554 26554 23778 0 -1 64 5 1030 0 0 0 0 5443 0 16 0 10 0 1984811053 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26567] ppid=26554 vsize=197348 CPUtime=54.43 /proc/26562/task/26567/stat : 26567 (java) S 26554 26554 23778 0 -1 64 0 1030 0 0 0 0 5443 0 25 0 10 0 1984811055 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26568] ppid=26554 vsize=197348 CPUtime=54.64 /proc/26562/task/26568/stat : 26568 (java) S 26554 26554 23778 0 -1 64 669 1030 0 0 21 0 5443 0 16 0 10 0 1984811055 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26569] ppid=26554 vsize=197348 CPUtime=54.43 /proc/26562/task/26569/stat : 26569 (java) S 26554 26554 23778 0 -1 64 1 1030 0 0 0 0 5443 0 25 0 10 0 1984811055 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26562/tid=26570] ppid=26554 vsize=197348 CPUtime=54.43 /proc/26562/task/26570/stat : 26570 (java) S 26554 26554 23778 0 -1 64 32 1030 0 0 0 0 5443 0 15 0 10 0 1984811055 202084352 9426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 61.42 Current children cumulated vsize (KiB) 202708 Child status: 0 Real time (s): 61.9574 CPU time (s): 61.4737 CPU user time (s): 61.2717 CPU system time (s): 0.201969 CPU usage (%): 99.2193 Max. virtual memory (cumulated for all children) (KiB): 213456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 61.2717 system time used= 0.201969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14323 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= 10463 involuntary context switches= 17368 runsolver used 0.124981 second user time and 0.265959 second system time The end
Begin job on node8 at 2008-07-03 06:12:38 IDJOB=1054221 IDBENCH=56130 IDSOLVER=366 FILE ID=node8/1054221-1215058358 PBS_JOBID= 7875158 Free space on /tmp= 66552 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/mknap/normalized-mknap-1-4.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054221-1215058358/watcher-1054221-1215058358 -o /tmp/evaluation-result-1054221-1215058358/solver-1054221-1215058358 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1054221-1215058358.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= f488696ddeffcd52a92225fbde5c0e2a RANDOM SEED=870166392 node8.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.222 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.222 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1772896 kB Buffers: 22260 kB Cached: 159004 kB SwapCached: 6756 kB Active: 163296 kB Inactive: 59980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772896 kB SwapTotal: 4192956 kB SwapFree: 4179560 kB Dirty: 24288 kB Writeback: 0 kB Mapped: 58328 kB Slab: 44840 kB Committed_AS: 4028060 kB PageTables: 1812 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66528 MiB End job on node8 at 2008-07-03 06:13:41