Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.01 | 1806.74 |
Name | csp/pseudo/chnl/ normalized-chnl-50-55.xml |
MD5SUM | 8ee2641ad289b185e0bf8bb3e7ef9972 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 5500 |
Number of constraints | 210 |
Maximum constraint arity | 55 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 210 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.38/7.58 c CASE TO CLASSIFY: 7.38/7.58 c Case: 0 7.38/7.58 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.640200 | c 34 > 0.000000 | c 16 > 55.000000 | c 13 > 2.962010 | c 14 > 11.821400 | c 11 > 12.425200 | c 12 > 1.082950 | 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 > 13.991700 | c 1 > 12.425200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.991700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.293700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.38/7.59 c choco : 1801.0 7.38/7.59 c mistral : 1801.0 7.38/7.59 c abscon : 1801.0 7.38/7.59 c 7.38/7.59 c 7.48/7.67 c List of same ones: 40 7.48/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-sentoy.xml 7.48/7.67 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.48/7.68 c choco : 1.87 7.48/7.68 c mistral : 0.18 7.48/7.68 c abscon : 4.96824 7.48/7.68 c 7.48/7.68 c 7.48/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-railway-8-1-0.xml 7.48/7.68 c 19 > 0.000000 | c 35 > 5.794660 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.142400 | c 15 > 20.075600 | c 34 > 8.175460 | c 16 > 61.000000 | c 13 > 1.308440 | c 14 > 6.672430 | c 11 > 14.269300 | c 12 > 2.900980 | 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 > 17.795800 | c 1 > 14.269300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.795800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.081300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.69 c choco : 102.98 7.48/7.69 c mistral : 4.17336 7.48/7.69 c abscon : 1800.15 7.48/7.69 c 7.48/7.69 c 7.48/7.69 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml 7.48/7.69 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.48/7.70 c choco : 13.25 7.48/7.70 c mistral : 1800.06 7.48/7.70 c abscon : 1800.12 7.48/7.70 c 7.48/7.70 c 7.48/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-usAbbrv-8-25-70.xml 7.48/7.70 c 19 > 0.000000 | c 35 > 7.157060 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.408470 | c 15 > 20.387000 | c 34 > 10.295800 | c 16 > 61.000000 | c 13 > 2.162170 | c 14 > 6.108520 | c 11 > 14.331100 | c 12 > 3.131810 | 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 > 18.086600 | c 1 > 14.331100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.086600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.901800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.71 c choco : 87.71 7.57/7.71 c mistral : 5.19221 7.57/7.71 c abscon : 1800.21 7.57/7.71 c 7.57/7.71 c 7.57/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-berlin-5-8_0.xml 7.57/7.71 c 19 > 0.000000 | c 35 > 7.226800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 9.258650 | c 15 > 20.406900 | c 34 > 10.356900 | c 16 > 61.000000 | c 13 > 1.893710 | c 14 > 7.800900 | c 11 > 13.208200 | c 12 > 3.151280 | 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 > 16.983300 | c 1 > 13.208200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.983300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 31.463400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.72 c choco : 39.61 7.57/7.72 c mistral : 3.73243 7.57/7.72 c abscon : 1800.12 7.57/7.72 c 7.57/7.72 c 7.57/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-harp2.xml 7.57/7.72 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.980900 | c 34 > 0.000000 | c 16 > 73.000000 | c 13 > -2.214850 | c 14 > -1.000000 | c 11 > 11.547400 | c 12 > 1.561310 | 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 > 13.822400 | c 1 > 11.547400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.821300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.484100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.73 c choco : 3.8 7.57/7.73 c mistral : 0.37 7.57/7.73 c abscon : 1800.04 7.57/7.73 c 7.57/7.73 c 7.57/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1.xml 7.57/7.73 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.024000 | c 34 > 0.000000 | c 16 > 80.000000 | c 13 > 1.235800 | c 14 > 6.807350 | c 11 > 10.015400 | c 12 > 0.706539 | c 21 > 1.328610 | 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 > 10.639300 | c 1 > 7.459430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.639300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.877900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.73 c choco : 1.74 7.57/7.73 c mistral : 0.13 7.57/7.73 c abscon : 130.51 7.57/7.73 c 7.57/7.73 c 7.57/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-10teams.xml 7.57/7.73 c 19 > 0.000000 | c 35 > 11.764700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.882353 | c 15 > 19.441200 | c 34 > 17.647100 | c 16 > 72.000000 | c 13 > 3.111990 | c 14 > 9.355350 | c 11 > 10.643900 | c 12 > 3.355970 | c 21 > 1.374370 | 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 > 14.530800 | c 1 > 10.643900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.530800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.458700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.57/7.74 c choco : 6.01 7.57/7.74 c mistral : 1800.04 7.57/7.74 c abscon : 1800.12 7.57/7.74 c 7.57/7.74 c 7.57/7.74 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml 7.57/7.74 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.57/7.75 c choco : 3.4 7.57/7.75 c mistral : 0.6499 7.57/7.75 c abscon : 1800.09 7.57/7.75 c 7.57/7.75 c 7.57/7.75 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-01.xml 7.57/7.75 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.57/7.76 c choco : 29.9 7.57/7.76 c mistral : 6.32 7.57/7.76 c abscon : 30.52 7.57/7.76 c 7.57/7.76 c 7.57/7.76 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-01.xml 7.57/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.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.76/7.96 c choco : 1801.0 7.76/7.96 c mistral : 9.38 7.76/7.96 c abscon : 26.77 7.76/7.96 c 7.76/7.96 c 7.76/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/count-b.xml 7.76/7.96 c 19 > 0.000000 | c 35 > 14.481300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.711820 | c 15 > 18.958200 | c 34 > 16.051900 | c 16 > 78.000000 | c 13 > 4.946530 | c 14 > 8.290020 | c 11 > 8.864190 | c 12 > 5.204420 | 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 > 14.076100 | c 1 > 8.864190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.076100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.134900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.76/7.97 c choco : 4.36 7.76/7.97 c mistral : 0.934857 7.76/7.97 c abscon : 1.9607 7.76/7.97 c 7.76/7.97 c 7.76/7.97 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-10.xml 7.76/7.97 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.76/7.98 c choco : 21.82 7.76/7.98 c mistral : 2.18 7.76/7.98 c abscon : 24.45 7.76/7.98 c 7.76/7.98 c 7.76/7.98 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-10.xml 7.76/7.98 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.76/7.99 c choco : 21.77 7.76/7.99 c mistral : 2.2 7.76/7.99 c abscon : 23.37 7.76/7.99 c 7.76/7.99 c 7.76/7.99 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-10.xml 7.76/7.99 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.84/8.00 c choco : 20.02 7.84/8.00 c mistral : 1.4 7.84/8.00 c abscon : 25.81 7.84/8.00 c 7.84/8.00 c 7.84/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2.xml 7.84/8.00 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.640600 | c 34 > 0.000000 | c 16 > 90.000000 | c 13 > 1.414640 | c 14 > 7.118940 | c 11 > 10.409400 | c 12 > 0.737814 | c 21 > 1.329160 | 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.064700 | c 1 > 7.693490 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.064700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.458100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.01 c choco : 1.89 7.84/8.01 c mistral : 0.2 7.84/8.01 c abscon : 137.014 7.84/8.01 c 7.84/8.01 c 7.84/8.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml 7.84/8.01 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | 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 > 16.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.02 c choco : 1801.0 7.84/8.02 c mistral : 158.081 7.84/8.02 c abscon : 1800.11 7.84/8.02 c 7.84/8.02 c 7.84/8.02 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml 7.84/8.02 c 19 > 5.219890 | c 35 > 18.138100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.131940 | c 15 > 19.632900 | c 34 > 19.182100 | c 16 > 32.000000 | c 13 > 5.469140 | c 14 > 7.312880 | c 11 > 9.573650 | c 12 > 5.562700 | c 21 > 1.414210 | c 20 > 94.780100 | 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 > 14.808400 | c 1 > 9.573650 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.646000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.03 c choco : 1801.0 7.84/8.03 c mistral : 68.1926 7.84/8.03 c abscon : 1398.64 7.84/8.03 c 7.84/8.03 c 7.84/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml 7.84/8.03 c 19 > 5.164820 | c 35 > 18.205000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.098890 | c 15 > 19.645000 | c 34 > 19.238000 | c 16 > 32.000000 | c 13 > 5.455050 | c 14 > 7.266790 | c 11 > 9.596190 | c 12 > 5.548950 | c 21 > 1.414210 | c 20 > 94.835200 | 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 > 14.809200 | c 1 > 9.596190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.635700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.03 c choco : 1801.0 7.84/8.03 c mistral : 38.2112 7.84/8.03 c abscon : 762.347 7.84/8.03 c 7.84/8.03 c 7.84/8.03 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml 7.84/8.03 c 19 > 4.293470 | c 35 > 18.659300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.576080 | c 15 > 19.700800 | c 34 > 19.518000 | c 16 > 32.000000 | c 13 > 5.665320 | c 14 > 7.247930 | c 11 > 10.027900 | c 12 > 5.597150 | c 21 > 1.414210 | c 20 > 95.706500 | 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 > 15.227600 | c 1 > 10.027900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.207900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.956300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.04 c choco : 1801.0 7.84/8.04 c mistral : 28.4527 7.84/8.04 c abscon : 1800.08 7.84/8.04 c 7.84/8.04 c 7.84/8.04 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml 7.84/8.04 c 19 > 5.721800 | c 35 > 18.132200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.433080 | c 15 > 19.664900 | c 34 > 19.276600 | c 16 > 32.000000 | c 13 > 5.224600 | c 14 > 7.276120 | c 11 > 9.442940 | c 12 > 5.434720 | c 21 > 1.414210 | c 20 > 94.278200 | 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 > 14.548000 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.526900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.386700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.05 c choco : 1801.0 7.84/8.05 c mistral : 34.6827 7.84/8.05 c abscon : 227.057 7.84/8.05 c 7.84/8.05 c 7.84/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml 7.84/8.05 c 19 > 6.168220 | c 35 > 18.358900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.700930 | c 15 > 19.678100 | c 34 > 19.592500 | c 16 > 32.000000 | c 13 > 4.952670 | c 14 > 7.531380 | c 11 > 9.366320 | c 12 > 5.241470 | c 21 > 1.414210 | c 20 > 93.831800 | 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 > 14.233000 | c 1 > 9.366320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.208100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.031600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.05 c choco : 1801.0 7.84/8.05 c mistral : 38.3842 7.84/8.05 c abscon : 864.371 7.84/8.05 c 7.84/8.05 c 7.84/8.05 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml 7.84/8.05 c 19 > 4.746150 | c 35 > 19.093200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.847690 | c 15 > 19.726400 | c 34 > 20.042400 | c 16 > 32.000000 | c 13 > 4.856550 | c 14 > 7.276120 | c 11 > 9.842350 | c 12 > 5.211620 | c 21 > 1.414210 | c 20 > 95.253900 | 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 > 14.565700 | c 1 > 9.842350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.538100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.139100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.06 c choco : 1801.0 7.84/8.06 c mistral : 171.472 7.84/8.06 c abscon : 613.015 7.84/8.06 c 7.84/8.06 c 7.84/8.06 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-23-09.xml 7.84/8.06 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.84/8.07 c choco : 1801.0 7.84/8.07 c mistral : 65.6 7.84/8.07 c abscon : 129.44 7.84/8.07 c 7.84/8.07 c 7.84/8.07 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-23-09.xml 7.84/8.07 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.84/8.07 c choco : 1801.0 7.84/8.07 c mistral : 85.46 7.84/8.07 c abscon : 1801.0 7.84/8.07 c 7.84/8.07 c 7.84/8.07 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-23-09.xml 7.84/8.07 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.84/8.08 c choco : 36.39 7.84/8.08 c mistral : 6.47 7.84/8.08 c abscon : 35.18 7.84/8.08 c 7.84/8.08 c 7.84/8.08 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-23-09.xml 7.84/8.08 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.84/8.08 c choco : 63.84 7.84/8.08 c mistral : 16.07 7.84/8.08 c abscon : 33.99 7.84/8.08 c 7.84/8.08 c 7.84/8.08 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml 7.84/8.08 c 19 > 7.856940 | c 35 > 18.037200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.714170 | c 15 > 19.685700 | c 34 > 19.608600 | c 16 > 32.000000 | c 13 > 4.633610 | c 14 > 7.483820 | c 11 > 9.124120 | c 12 > 5.041490 | c 21 > 1.414210 | c 20 > 92.143100 | 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 > 13.820800 | c 1 > 9.124120 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.792700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.674800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.84/8.09 c choco : 23.56 7.84/8.09 c mistral : 26.173 7.84/8.09 c abscon : 26.201 7.84/8.09 c 7.84/8.09 c 7.84/8.09 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-05.xml 7.84/8.09 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.84/8.09 c choco : 45.83 7.84/8.09 c mistral : 5.61 7.84/8.09 c abscon : 26.09 7.84/8.09 c 7.84/8.09 c 7.84/8.09 c /home/ehebrard/new_instances/competition_4c/data/ukHerald/crossword-m1-uk-19-05.xml 7.84/8.09 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.90/8.10 c choco : 20.18 7.90/8.10 c mistral : 2.03 7.90/8.10 c abscon : 21.47 7.90/8.10 c 7.90/8.10 c 7.90/8.10 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-05.xml 7.90/8.10 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.90/8.11 c choco : 19.76 7.90/8.11 c mistral : 2.49 7.90/8.11 c abscon : 20.72 7.90/8.11 c 7.90/8.11 c 7.90/8.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d2.xml 7.90/8.11 c 19 > 7.270110 | c 35 > 19.226200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.362070 | c 15 > 19.723200 | c 34 > 20.680200 | c 16 > 32.000000 | c 13 > 3.628800 | c 14 > 8.113740 | c 11 > 9.658210 | c 12 > 4.554740 | c 21 > 1.414210 | c 20 > 92.729900 | 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 > 13.687300 | c 1 > 9.658210 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.642400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.214800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.90/8.11 c choco : 1801.0 7.90/8.11 c mistral : 65.521 7.90/8.11 c abscon : 1800.05 7.90/8.11 c 7.90/8.11 c 7.90/8.11 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e2.xml 7.90/8.11 c 19 > 8.861600 | c 35 > 18.589400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.316960 | c 15 > 19.203800 | c 34 > 20.361800 | c 16 > 32.000000 | c 13 > 3.100940 | c 14 > 7.800900 | c 11 > 13.295600 | c 12 > 1.642620 | c 21 > 1.414210 | c 20 > 91.138400 | 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 > 13.256800 | c 1 > 9.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.216900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.005100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.90/8.12 c choco : 1801.0 7.90/8.12 c mistral : 1.61175 7.90/8.12 c abscon : 1784.44 7.90/8.12 c 7.90/8.12 c 7.90/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b2.xml 7.90/8.12 c 19 > 9.258600 | c 35 > 18.442700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.555160 | c 15 > 19.224400 | c 34 > 20.294400 | c 16 > 32.000000 | c 13 > 2.783920 | c 14 > 7.700440 | c 11 > 13.292500 | c 12 > 1.612590 | c 21 > 1.414210 | c 20 > 90.741400 | 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 > 13.254400 | c 1 > 9.027910 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.215400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.036800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.90/8.12 c choco : 37.65 7.90/8.12 c mistral : 4.67629 7.90/8.12 c abscon : 13.5079 7.90/8.12 c 7.90/8.12 c 7.90/8.12 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c2.xml 7.90/8.12 c 19 > 10.242700 | c 35 > 18.079000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 6.145620 | c 15 > 19.372300 | c 34 > 20.127500 | c 16 > 32.000000 | c 13 > 2.722930 | c 14 > 7.531380 | c 11 > 13.286100 | c 12 > 1.582940 | c 21 > 1.414210 | c 20 > 89.757300 | 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 > 13.249700 | c 1 > 8.960000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.212300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.098200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.90/8.13 c choco : 1801.0 7.90/8.13 c mistral : 2.04969 7.90/8.13 c abscon : 35.6686 7.90/8.13 c 7.90/8.13 c 7.90/8.13 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml 7.90/8.13 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.90/8.14 c choco : 19.91 7.90/8.14 c mistral : 1.45 7.90/8.14 c abscon : 23.48 7.90/8.14 c 7.90/8.14 c 7.90/8.14 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-07.xml 7.90/8.14 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.90/8.15 c choco : 46.54 7.90/8.15 c mistral : 2.92 7.90/8.15 c abscon : 26.63 7.90/8.15 c 7.90/8.15 c 7.90/8.15 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-07.xml 7.90/8.15 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.90/8.15 c choco : 20.82 7.90/8.15 c mistral : 2.15 7.90/8.15 c abscon : 27.46 7.90/8.15 c 7.90/8.15 c 7.90/8.15 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-15-02.xml 7.90/8.15 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.90/8.16 c choco : 50.25 7.90/8.16 c mistral : 30.47 7.90/8.16 c abscon : 18.7 7.90/8.16 c 7.90/8.16 c 7.90/8.16 c /home/ehebrard/new_instances/competition_4c/data/ogdHerald/crossword-m1-ogd-19-09.xml 7.90/8.16 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.90/8.16 c choco : 23.66 7.90/8.16 c mistral : 3.57 7.90/8.16 c abscon : 22.75 7.90/8.16 c 7.90/8.16 c 7.90/8.17 c Length: 40 7.90/8.17 c 12.427890482451154 18.757429928801546 20.782504343194546 21.2697414167192 22.258015093475876 26.378845666351662 27.019098473124913 27.554874306835607 29.385344429785064 32.50194128812996 32.51437576748856 32.86637252433405 35.20480073655026 35.210094201339615 35.22573088095561 36.247792360550676 36.40306978240571 36.81891077056056 36.861906115370644 36.96012347022531 37.022808055589195 37.4056004648836 37.477096795676424 37.62185826297723 37.67127716737048 37.68820542489982 37.755159931383524 38.01262447810332 38.45907450785218 38.4660634728513 38.48241412938416 38.66304017212045 38.83211558807219 38.95661535553364 39.296513187957274 39.56309771145295 39.65858386904778 39.666387181973064 39.672525691865 39.672774925232716 7.90/8.17 c 7.90/8.17 c 1.0 0.8114773475413449 0.7653165280726402 0.7549833521407626 0.7348584703847694 0.6613503860990703 0.65122918652399 0.6429946461410492 0.6163674917450536 0.5757712911274357 0.5756200295798414 0.571370824909014 0.5446602747438115 0.5446026431667508 0.5444324730356033 0.5335356594186071 0.5319182064986273 0.5276344935713391 0.5271955169880224 0.5261954661597921 0.5255591916499771 0.5217068348030454 0.5209935587158486 0.5195553160996144 0.519066142919746 0.5188987902490583 0.5182379344566994 0.5157123077565295 0.511390671761988 0.5113235943141463 0.5111667356028131 0.5094402964535467 0.5078347930118213 0.5066590245550785 0.5034765972222459 0.5010084316742397 0.5001302515434475 0.5000586210246659 0.5000022869844449 0.5 7.90/8.18 c 7.90/8.18 c solver 0 7.90/8.18 c before 0.0 seconds: {} 0 7.90/8.18 c before 18.0 seconds: {0, 11, 33} 2078 7.90/8.18 c before 36.0 seconds: {0, 9, 10, 11, 12, 13, 14, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 10954 7.90/8.18 c before 144.0 seconds: {0, 6, 9, 10, 11, 12, 13, 14, 15, 23, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 12658 7.90/8.18 c before 234.0 seconds: {0, 6, 9, 10, 11, 12, 13, 14, 15, 20, 23, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 13184 7.90/8.18 c before 630.0 seconds: {0, 6, 9, 10, 11, 12, 13, 14, 15, 20, 22, 23, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 13705 7.90/8.18 c before 774.0 seconds: {0, 6, 9, 10, 11, 12, 13, 14, 15, 18, 20, 22, 23, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 14232 7.90/8.18 c before 882.0 seconds: {0, 6, 9, 10, 11, 12, 13, 14, 15, 18, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 14754 7.90/8.18 c before 1404.0 seconds: {0, 6, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 15281 7.90/8.18 c before 1800.0 seconds: {0, 6, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 15789 7.90/8.18 c 7.90/8.18 c solver 1 7.90/8.18 c before 0.0 seconds: {} 0 7.90/8.18 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 25, 26, 28, 29, 30, 32, 33, 34, 35, 36, 37, 39} 15210 7.90/8.18 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 19, 20, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 17277 7.90/8.18 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39} 18326 7.90/8.18 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19883 7.90/8.18 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20402 7.90/8.18 c before 162.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20934 7.90/8.18 c before 180.0 seconds: {0, 1, 3, 4, 5, 6, 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} 21455 7.90/8.18 c 7.90/8.18 c solver 2 7.90/8.18 c before 0.0 seconds: {} 0 7.90/8.18 c before 18.0 seconds: {0, 2, 5, 6, 7, 8, 11, 15} 5442 7.90/8.18 c before 36.0 seconds: {0, 2, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 27, 29, 30, 35, 37, 39} 10690 7.90/8.18 c before 54.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 25, 27, 28, 29, 30, 33, 35, 36, 37, 38, 39} 13962 7.90/8.18 c before 72.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 25, 26, 27, 28, 29, 30, 33, 35, 36, 37, 38, 39} 14481 7.90/8.18 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 25, 26, 27, 28, 29, 30, 33, 35, 36, 37, 38, 39} 15236 7.90/8.18 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 25, 26, 27, 28, 29, 30, 33, 35, 36, 37, 38, 39} 16047 7.90/8.18 c 7.90/8.18 cTotal time: 116 7.90/8.19 c run abscon for 1404.0 seconds {0, 6, 9, 10, 11, 12, 13, 14, 15, 17, 18, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 33, 34, 35, 36, 37, 38, 39} 15281 7.90/8.19 c run mistral for 180.0 seconds {0, 1, 3, 4, 5, 6, 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} 21455 7.90/8.19 c run choco for 108.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 25, 26, 27, 28, 29, 30, 33, 35, 36, 37, 38, 39} 16047 7.90/8.19 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.90/8.19 c On Instance: HOME/instance-1061011-1215129898.xml 7.90/8.19 c Running for: 1404 seconds 1412.25/1413.11 c Starting solver: HOME/cpHydra_k_40/solver/mistral 1412.25/1413.11 c On Instance: HOME/instance-1061011-1215129898.xml 1412.25/1413.11 c Running for: 180 seconds 1592.23/1594.81 c Starting solver: HOME/cpHydra_k_40/solver/choco 1592.23/1594.81 c On Instance: HOME/instance-1061011-1215129898.xml 1592.23/1594.81 c Running for: 108 seconds
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer:
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1061011-1215129898/watcher-1061011-1215129898 -o /tmp/evaluation-result-1061011-1215129898/solver-1061011-1215129898 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1061011-1215129898.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.91 1.95 1.98 4/74 28438 /proc/meminfo: memFree=1370528/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=18572 CPUtime=0 /proc/28438/stat : 28438 (runsolver) R 28436 28438 28309 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1991959526 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0 /proc/28438/statm: 4643 292 257 25 0 2626 0 [startup+0.0650479 s] /proc/loadavg: 1.91 1.95 1.98 4/74 28438 /proc/meminfo: memFree=1370528/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=0 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991959526 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101052 s] /proc/loadavg: 1.91 1.95 1.98 4/74 28438 /proc/meminfo: memFree=1370528/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=0 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991959526 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301075 s] /proc/loadavg: 1.91 1.95 1.98 4/74 28438 /proc/meminfo: memFree=1370528/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=0 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991959526 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701121 s] /proc/loadavg: 1.91 1.95 1.98 4/74 28438 /proc/meminfo: memFree=1370528/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=0 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991959526 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50121 s] /proc/loadavg: 1.91 1.95 1.98 3/76 28442 /proc/meminfo: memFree=1340240/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=0 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991959526 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 236 195 169 0 51 0 [pid=28442] ppid=28438 vsize=34640 CPUtime=1.46 /proc/28442/stat : 28442 (xsolve) R 28438 28438 28309 0 -1 4194304 8141 0 0 0 142 4 0 0 25 0 1 0 1991959527 35471360 7896 996147200 134512640 135239763 4294956176 18446744073709551615 135035087 0 0 4096 0 0 0 0 17 1 0 0 /proc/28442/statm: 8660 7896 431 177 0 7563 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 40000 [startup+3.1024 s] /proc/loadavg: 1.91 1.95 1.98 5/84 28454 /proc/meminfo: memFree=1364816/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=1.79 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 375 8737 0 0 0 0 174 5 18 0 1 0 1991959526 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 238 196 169 0 51 0 [pid=28446] ppid=28438 vsize=197004 CPUtime=1.24 /proc/28446/stat : 28446 (java) S 28438 28438 28309 0 -1 0 4782 0 1 0 120 4 0 0 18 0 9 0 1991959710 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28446/statm: 49251 4026 1678 9 0 43833 0 [pid=28446/tid=28447] ppid=28438 vsize=197004 CPUtime=0.98 /proc/28446/task/28447/stat : 28447 (java) R 28438 28438 28309 0 -1 64 2681 0 1 0 96 2 0 0 25 0 9 0 1991959711 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4126484805 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28448] ppid=28438 vsize=197004 CPUtime=0.1 /proc/28446/task/28448/stat : 28448 (java) S 28438 28438 28309 0 -1 64 773 0 0 0 10 0 0 0 16 0 9 0 1991959712 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28449] ppid=28438 vsize=197004 CPUtime=0 /proc/28446/task/28449/stat : 28449 (java) S 28438 28438 28309 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991959712 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28450] ppid=28438 vsize=197004 CPUtime=0 /proc/28446/task/28450/stat : 28450 (java) S 28438 28438 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991959712 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28451] ppid=28438 vsize=197004 CPUtime=0 /proc/28446/task/28451/stat : 28451 (java) S 28438 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991959714 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28452] ppid=28438 vsize=197004 CPUtime=0.13 /proc/28446/task/28452/stat : 28452 (java) S 28438 28438 28309 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1991959714 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28453] ppid=28438 vsize=197004 CPUtime=0 /proc/28446/task/28453/stat : 28453 (java) S 28438 28438 28309 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1991959714 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28454] ppid=28438 vsize=197004 CPUtime=0 /proc/28446/task/28454/stat : 28454 (java) S 28438 28438 28309 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1991959714 201732096 4026 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202364 [startup+6.30178 s] /proc/loadavg: 1.92 1.95 1.98 3/84 28454 /proc/meminfo: memFree=1351376/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=1.79 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 375 8737 0 0 0 0 174 5 18 0 1 0 1991959526 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 238 196 169 0 51 0 [pid=28446] ppid=28438 vsize=197112 CPUtime=4.4 /proc/28446/stat : 28446 (java) S 28438 28438 28309 0 -1 0 9702 0 1 0 427 13 0 0 18 0 9 0 1991959710 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28446/statm: 49278 8041 2541 9 0 43860 0 [pid=28446/tid=28447] ppid=28438 vsize=197112 CPUtime=3.48 /proc/28446/task/28447/stat : 28447 (java) R 28438 28438 28309 0 -1 64 3502 0 1 0 344 4 0 0 25 0 9 0 1991959711 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4126549962 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28448] ppid=28438 vsize=197112 CPUtime=0.72 /proc/28446/task/28448/stat : 28448 (java) S 28438 28438 28309 0 -1 64 4847 0 0 0 65 7 0 0 16 0 9 0 1991959712 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28449] ppid=28438 vsize=197112 CPUtime=0 /proc/28446/task/28449/stat : 28449 (java) S 28438 28438 28309 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991959712 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28450] ppid=28438 vsize=197112 CPUtime=0 /proc/28446/task/28450/stat : 28450 (java) S 28438 28438 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991959712 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28451] ppid=28438 vsize=197112 CPUtime=0 /proc/28446/task/28451/stat : 28451 (java) S 28438 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991959714 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28452] ppid=28438 vsize=197112 CPUtime=0.17 /proc/28446/task/28452/stat : 28452 (java) S 28438 28438 28309 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1991959714 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28453] ppid=28438 vsize=197112 CPUtime=0 /proc/28446/task/28453/stat : 28453 (java) S 28438 28438 28309 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1991959714 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28454] ppid=28438 vsize=197112 CPUtime=0 /proc/28446/task/28454/stat : 28454 (java) S 28438 28438 28309 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1991959714 201842688 8041 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202472 [startup+12.7025 s] /proc/loadavg: 2.01 1.97 1.98 3/96 28466 /proc/meminfo: memFree=1266928/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=1.79 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 375 8737 0 0 0 0 174 5 18 0 1 0 1991959526 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 238 196 169 0 51 0 [pid=28446] ppid=28438 vsize=197436 CPUtime=6.17 /proc/28446/stat : 28446 (java) S 28438 28438 28309 0 -1 0 13972 0 1 0 598 19 0 0 18 0 10 0 1991959710 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28446/statm: 49359 9486 2544 9 0 43941 0 [pid=28456] ppid=28446 vsize=5356 CPUtime=0 /proc/28456/stat : 28456 (abscon) S 28446 28438 28309 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1991960346 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28456/statm: 1339 237 196 169 0 50 0 [pid=28457] ppid=28456 vsize=655760 CPUtime=4.48 /proc/28457/stat : 28457 (java) S 28456 28438 28309 0 -1 0 21806 0 1 0 436 12 0 0 18 0 9 0 1991960346 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28457/statm: 163940 21121 2616 9 0 158468 0 [pid=28457/tid=28459] ppid=28456 vsize=655760 CPUtime=3.99 /proc/28457/task/28459/stat : 28459 (java) R 28456 28438 28309 0 -1 64 12555 0 1 0 392 7 0 0 25 0 9 0 1991960347 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4127133733 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28460] ppid=28456 vsize=655760 CPUtime=0.18 /proc/28457/task/28460/stat : 28460 (java) S 28456 28438 28309 0 -1 64 8030 0 0 0 15 3 0 0 16 0 9 0 1991960348 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28461] ppid=28456 vsize=655760 CPUtime=0 /proc/28457/task/28461/stat : 28461 (java) S 28456 28438 28309 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991960349 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28462] ppid=28456 vsize=655760 CPUtime=0 /proc/28457/task/28462/stat : 28462 (java) S 28456 28438 28309 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1991960349 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28463] ppid=28456 vsize=655760 CPUtime=0 /proc/28457/task/28463/stat : 28463 (java) S 28456 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1991960350 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28464] ppid=28456 vsize=655760 CPUtime=0.28 /proc/28457/task/28464/stat : 28464 (java) S 28456 28438 28309 0 -1 64 675 0 0 0 28 0 0 0 15 0 9 0 1991960350 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28465] ppid=28456 vsize=655760 CPUtime=0 /proc/28457/task/28465/stat : 28465 (java) S 28456 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1991960351 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28466] ppid=28456 vsize=655760 CPUtime=0 /proc/28457/task/28466/stat : 28466 (java) S 28456 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991960351 671498240 21121 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28458] ppid=28456 vsize=7044 CPUtime=0 /proc/28458/stat : 28458 (translate) S 28456 28438 28309 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1991960347 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 227607806034 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/28458/statm: 1761 213 182 1 0 41 0 [pid=28446/tid=28447] ppid=28438 vsize=197436 CPUtime=4.81 /proc/28446/task/28447/stat : 28447 (java) S 28438 28438 28309 0 -1 64 3904 0 1 0 474 7 0 0 25 0 10 0 1991959711 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28446/tid=28448] ppid=28438 vsize=197436 CPUtime=1.1 /proc/28446/task/28448/stat : 28448 (java) S 28438 28438 28309 0 -1 64 8575 0 0 0 100 10 0 0 16 0 10 0 1991959712 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28449] ppid=28438 vsize=197436 CPUtime=0 /proc/28446/task/28449/stat : 28449 (java) S 28438 28438 28309 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991959712 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28450] ppid=28438 vsize=197436 CPUtime=0 /proc/28446/task/28450/stat : 28450 (java) S 28438 28438 28309 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991959712 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28451] ppid=28438 vsize=197436 CPUtime=0 /proc/28446/task/28451/stat : 28451 (java) S 28438 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991959714 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28452] ppid=28438 vsize=197436 CPUtime=0.23 /proc/28446/task/28452/stat : 28452 (java) S 28438 28438 28309 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 1991959714 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28453] ppid=28438 vsize=197436 CPUtime=0 /proc/28446/task/28453/stat : 28453 (java) S 28438 28438 28309 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1991959714 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28454] ppid=28438 vsize=197436 CPUtime=0 /proc/28446/task/28454/stat : 28454 (java) S 28438 28438 28309 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1991959714 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28455] ppid=28438 vsize=197436 CPUtime=0 /proc/28446/task/28455/stat : 28455 (java) S 28438 28438 28309 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1991960346 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (KiB) 870956 [startup+25.5021 s] /proc/loadavg: 2.00 1.97 1.98 3/96 28466 /proc/meminfo: memFree=1258544/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=1.79 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 375 8737 0 0 0 0 174 5 18 0 1 0 1991959526 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 238 196 169 0 51 0 [pid=28446] ppid=28438 vsize=197436 CPUtime=6.17 /proc/28446/stat : 28446 (java) S 28438 28438 28309 0 -1 0 13972 0 1 0 598 19 0 0 18 0 10 0 1991959710 202174464 9486 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28446/statm: 49359 9486 2544 9 0 43941 0 [pid=28456] ppid=28446 vsize=5356 CPUtime=0 /proc/28456/stat : 28456 (abscon) S 28446 28438 28309 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1991960346 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28456/statm: 1339 237 196 169 0 50 0 [pid=28457] ppid=28456 vsize=655760 CPUtime=17.28 /proc/28457/stat : 28457 (java) S 28456 28438 28309 0 -1 0 21808 0 1 0 1716 12 0 0 18 0 9 0 1991960346 671498240 21122 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/28457/statm: 163940 21122 2616 9 0 158468 0 [pid=28457/tid=28459] ppid=28456 vsize=655760 CPUtime=16.79 /proc/28457/task/28459/stat : 28459 (java) R 28456 28438 28309 0 -1 64 12557 0 1 0 1671 8 0 0 25 0 9 0 1991960347 671498240 21122 996147200 134512640 134550740 4294955808 18446744073709551615 4127106992 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28460] ppid=28456 vsize=655760 CPUtime=0.18 /proc/28457/task/28460/stat : 28460 (java) S 28456 28438 28309 0 -1 64 8030 0 0 0 15 3 0 0 16 0 9 0 1991960348 671498240 21122 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=28457/tid=28461] ppid=28456 vsize=655760 CPUtime=0 /proc/28457/task/28461/stat : 28461 (java) S 28456 28438 28309 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991960349 671498240 21122 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/28446/statm: 49440 9529 2545 9 0 44022 0 [pid=28520] ppid=28446 vsize=5356 CPUtime=0 /proc/28520/stat : 28520 (choco) S 28446 28438 28309 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992119007 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28520/statm: 1339 238 197 169 0 50 0 [pid=28521] ppid=28520 vsize=655596 CPUtime=183.84 /proc/28521/stat : 28521 (java) S 28520 28438 28309 0 -1 0 18740 0 1 0 18303 81 0 0 18 0 9 0 1992119008 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28521/statm: 163899 18298 1933 9 0 158428 0 [pid=28521/tid=28522] ppid=28520 vsize=655596 CPUtime=183.26 /proc/28521/task/28522/stat : 28522 (java) R 28520 28438 28309 0 -1 64 12179 0 1 0 18249 77 0 0 25 0 9 0 1992119009 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4127140211 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28523] ppid=28520 vsize=655596 CPUtime=0.18 /proc/28521/task/28523/stat : 28523 (java) S 28520 28438 28309 0 -1 64 5349 0 0 0 16 2 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28524] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28524/stat : 28524 (java) S 28520 28438 28309 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28525] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28525/stat : 28525 (java) S 28520 28438 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28526] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28526/stat : 28526 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28527] ppid=28520 vsize=655596 CPUtime=0.37 /proc/28521/task/28527/stat : 28527 (java) S 28520 28438 28309 0 -1 64 666 0 0 0 37 0 0 0 16 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28528] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28528/stat : 28528 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28529] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28529/stat : 28529 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28447] ppid=28438 vsize=197760 CPUtime=1589.09 /proc/28446/task/28447/stat : 28447 (java) S 28438 28438 28309 0 -1 64 4058 31678 1 1 474 7 158405 23 16 0 10 0 1991959711 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28446/tid=28448] ppid=28438 vsize=197760 CPUtime=1585.38 /proc/28446/task/28448/stat : 28448 (java) S 28438 28438 28309 0 -1 64 8616 31678 0 1 100 10 158405 23 16 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28449] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28449/stat : 28449 (java) S 28438 28438 28309 0 -1 64 11 31678 0 1 0 0 158405 23 16 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28450] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28450/stat : 28450 (java) S 28438 28438 28309 0 -1 64 5 31678 0 1 0 0 158405 23 15 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28451] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28451/stat : 28451 (java) S 28438 28438 28309 0 -1 64 1 31678 0 1 0 0 158405 23 18 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28452] ppid=28438 vsize=197760 CPUtime=1584.51 /proc/28446/task/28452/stat : 28452 (java) S 28438 28438 28309 0 -1 64 697 31678 0 1 23 0 158405 23 16 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28446/tid=28453] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28453/stat : 28453 (java) S 28438 28438 28309 0 -1 64 0 31678 0 1 0 0 158405 23 19 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28454] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28454/stat : 28454 (java) S 28438 28438 28309 0 -1 64 41 31678 0 1 0 0 158405 23 15 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28519] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28519/stat : 28519 (java) S 28438 28438 28309 0 -1 64 52 31678 0 1 0 0 158405 23 17 0 10 0 1992119007 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1776.09 Current children cumulated vsize (KiB) 864072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1806.7 s] /proc/loadavg: 2.03 1.99 1.99 3/102 28529 /proc/meminfo: memFree=1309808/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=1.79 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 375 8737 0 0 0 0 174 5 18 0 1 0 1991959526 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 238 196 169 0 51 0 [pid=28446] ppid=28438 vsize=197760 CPUtime=1590.46 /proc/28446/stat : 28446 (java) S 28438 28438 28309 0 -1 0 14313 31678 1 1 598 20 158405 23 18 0 10 0 1991959710 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28446/statm: 49440 9529 2545 9 0 44022 0 [pid=28520] ppid=28446 vsize=5356 CPUtime=0 /proc/28520/stat : 28520 (choco) S 28446 28438 28309 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992119007 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28520/statm: 1339 238 197 169 0 50 0 [pid=28521] ppid=28520 vsize=655596 CPUtime=207.76 /proc/28521/stat : 28521 (java) S 28520 28438 28309 0 -1 0 18742 0 1 0 20685 91 0 0 18 0 9 0 1992119008 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28521/statm: 163899 18298 1933 9 0 158428 0 [pid=28521/tid=28522] ppid=28520 vsize=655596 CPUtime=207.18 /proc/28521/task/28522/stat : 28522 (java) R 28520 28438 28309 0 -1 64 12181 0 1 0 20631 87 0 0 25 0 9 0 1992119009 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4126095741 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28523] ppid=28520 vsize=655596 CPUtime=0.19 /proc/28521/task/28523/stat : 28523 (java) S 28520 28438 28309 0 -1 64 5349 0 0 0 17 2 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28524] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28524/stat : 28524 (java) S 28520 28438 28309 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28525] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28525/stat : 28525 (java) S 28520 28438 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28526] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28526/stat : 28526 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28527] ppid=28520 vsize=655596 CPUtime=0.37 /proc/28521/task/28527/stat : 28527 (java) S 28520 28438 28309 0 -1 64 666 0 0 0 37 0 0 0 16 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28528] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28528/stat : 28528 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28529] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28529/stat : 28529 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28447] ppid=28438 vsize=197760 CPUtime=1589.09 /proc/28446/task/28447/stat : 28447 (java) S 28438 28438 28309 0 -1 64 4058 31678 1 1 474 7 158405 23 16 0 10 0 1991959711 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28446/tid=28448] ppid=28438 vsize=197760 CPUtime=1585.38 /proc/28446/task/28448/stat : 28448 (java) S 28438 28438 28309 0 -1 64 8616 31678 0 1 100 10 158405 23 16 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28449] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28449/stat : 28449 (java) S 28438 28438 28309 0 -1 64 11 31678 0 1 0 0 158405 23 16 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28450] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28450/stat : 28450 (java) S 28438 28438 28309 0 -1 64 5 31678 0 1 0 0 158405 23 15 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28451] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28451/stat : 28451 (java) S 28438 28438 28309 0 -1 64 1 31678 0 1 0 0 158405 23 18 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28452] ppid=28438 vsize=197760 CPUtime=1584.51 /proc/28446/task/28452/stat : 28452 (java) S 28438 28438 28309 0 -1 64 697 31678 0 1 23 0 158405 23 16 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28446/tid=28453] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28453/stat : 28453 (java) S 28438 28438 28309 0 -1 64 0 31678 0 1 0 0 158405 23 19 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28454] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28454/stat : 28454 (java) R 28438 28438 28309 0 -1 64 41 31678 0 1 0 0 158405 23 15 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28519] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28519/stat : 28519 (java) S 28438 28438 28309 0 -1 64 52 31678 0 1 0 0 158405 23 17 0 10 0 1992119007 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 864072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1806.7 s] /proc/loadavg: 2.03 1.99 1.99 3/102 28529 /proc/meminfo: memFree=1309808/2055920 swapFree=4179828/4192956 [pid=28438] ppid=28436 vsize=5360 CPUtime=1.79 /proc/28438/stat : 28438 (hydra) S 28436 28438 28309 0 -1 4194304 375 8737 0 0 0 0 174 5 18 0 1 0 1991959526 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28438/statm: 1340 238 196 169 0 51 0 [pid=28446] ppid=28438 vsize=197760 CPUtime=1590.46 /proc/28446/stat : 28446 (java) S 28438 28438 28309 0 -1 0 14313 31678 1 1 598 20 158405 23 18 0 10 0 1991959710 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28446/statm: 49440 9529 2545 9 0 44022 0 [pid=28520] ppid=28446 vsize=5356 CPUtime=0 /proc/28520/stat : 28520 (choco) S 28446 28438 28309 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992119007 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 227607634756 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/28520/statm: 1339 238 197 169 0 50 0 [pid=28521] ppid=28520 vsize=655596 CPUtime=207.76 /proc/28521/stat : 28521 (java) S 28520 28438 28309 0 -1 0 18742 0 1 0 20685 91 0 0 18 0 9 0 1992119008 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/28521/statm: 163899 18298 1933 9 0 158428 0 [pid=28521/tid=28522] ppid=28520 vsize=655596 CPUtime=207.18 /proc/28521/task/28522/stat : 28522 (java) R 28520 28438 28309 0 -1 64 12181 0 1 0 20631 87 0 0 25 0 9 0 1992119009 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4126095741 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28523] ppid=28520 vsize=655596 CPUtime=0.19 /proc/28521/task/28523/stat : 28523 (java) S 28520 28438 28309 0 -1 64 5349 0 0 0 17 2 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28524] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28524/stat : 28524 (java) S 28520 28438 28309 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28525] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28525/stat : 28525 (java) S 28520 28438 28309 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992119010 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28526] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28526/stat : 28526 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28527] ppid=28520 vsize=655596 CPUtime=0.37 /proc/28521/task/28527/stat : 28527 (java) S 28520 28438 28309 0 -1 64 666 0 0 0 37 0 0 0 16 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28528] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28528/stat : 28528 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28521/tid=28529] ppid=28520 vsize=655596 CPUtime=0 /proc/28521/task/28529/stat : 28529 (java) S 28520 28438 28309 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992119013 671330304 18298 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28447] ppid=28438 vsize=197760 CPUtime=1589.09 /proc/28446/task/28447/stat : 28447 (java) S 28438 28438 28309 0 -1 64 4058 31678 1 1 474 7 158405 23 16 0 10 0 1991959711 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=28446/tid=28448] ppid=28438 vsize=197760 CPUtime=1585.38 /proc/28446/task/28448/stat : 28448 (java) S 28438 28438 28309 0 -1 64 8616 31678 0 1 100 10 158405 23 16 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28449] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28449/stat : 28449 (java) S 28438 28438 28309 0 -1 64 11 31678 0 1 0 0 158405 23 16 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28450] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28450/stat : 28450 (java) S 28438 28438 28309 0 -1 64 5 31678 0 1 0 0 158405 23 15 0 10 0 1991959712 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28451] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28451/stat : 28451 (java) S 28438 28438 28309 0 -1 64 1 31678 0 1 0 0 158405 23 18 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28452] ppid=28438 vsize=197760 CPUtime=1584.51 /proc/28446/task/28452/stat : 28452 (java) S 28438 28438 28309 0 -1 64 697 31678 0 1 23 0 158405 23 16 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=28446/tid=28453] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28453/stat : 28453 (java) S 28438 28438 28309 0 -1 64 0 31678 0 1 0 0 158405 23 19 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28454] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28454/stat : 28454 (java) R 28438 28438 28309 0 -1 64 41 31678 0 1 0 0 158405 23 15 0 10 0 1991959714 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=28446/tid=28519] ppid=28438 vsize=197760 CPUtime=1584.28 /proc/28446/task/28519/stat : 28519 (java) S 28438 28438 28309 0 -1 64 52 31678 0 1 0 0 158405 23 17 0 10 0 1992119007 202506240 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 864072 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28438 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=745734 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=60990 # CPU time returned by wait4() is 1.80672 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1806.74 CPU time (s): 1800.01 CPU user time (s): 1798.62 CPU system time (s): 1.39 CPU usage (%): 99.6277 Max. virtual memory (cumulated for all children) (KiB): 870956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.74573 system time used= 0.06099 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9112 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32 involuntary context switches= 50 runsolver used 7.73382 second user time and 16.5685 second system time The end
Begin job on node66 at 2008-07-04 02:04:58 IDJOB=1061011 IDBENCH=54500 IDSOLVER=366 FILE ID=node66/1061011-1215129898 PBS_JOBID= 7877300 Free space on /tmp= 66528 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/chnl/normalized-chnl-50-55.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1061011-1215129898/watcher-1061011-1215129898 -o /tmp/evaluation-result-1061011-1215129898/solver-1061011-1215129898 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1061011-1215129898.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 8ee2641ad289b185e0bf8bb3e7ef9972 RANDOM SEED=534462864 node66.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.213 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.213 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: 1370944 kB Buffers: 50684 kB Cached: 502068 kB SwapCached: 6956 kB Active: 256380 kB Inactive: 371468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1370944 kB SwapTotal: 4192956 kB SwapFree: 4179828 kB Dirty: 24672 kB Writeback: 0 kB Mapped: 82032 kB Slab: 42104 kB Committed_AS: 4043424 kB PageTables: 2000 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 node66 at 2008-07-04 02:35:07