Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.04 | 1815.13 |
Name | csp/golombRulerArity3/ normalized-ruler-67-11-a3.xml |
MD5SUM | 485c8fe818a9857f587d4656422ed032 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 481.664 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 66 |
Number of constraints | 1595 |
Maximum constraint arity | 3 |
Maximum domain size | 68 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1595 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.72/6.81 c CASE TO CLASSIFY: 6.72/6.81 c Case: 0 6.72/6.81 c 19 > 0.000000 | c 35 > 20.344800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.577200 | c 34 > 10.344800 | c 16 > 3.000000 | c 13 > 10.481000 | c 14 > 12.643900 | c 11 > 6.044390 | c 12 > 10.259400 | c 21 > 8.195530 | c 20 > 100.000000 | c 22 > 8.246210 | 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 > 5.781360 | c 2 > 3.459430 | c 10 > 10.639300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.110800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.82 c choco : 1801.0 6.72/6.82 c mistral : 1801.0 6.72/6.82 c abscon : 1801.0 6.72/6.82 c 6.72/6.82 c 6.72/6.89 c List of same ones: 40 6.72/6.89 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-67-11-a3.xml 6.72/6.89 c 19 > 0.000000 | c 35 > 20.344800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.105200 | c 34 > 10.344800 | c 16 > 3.000000 | c 13 > 9.954950 | c 14 > 12.186700 | c 11 > 6.044390 | c 12 > 9.765150 | c 21 > 8.195530 | c 20 > 100.000000 | c 22 > 8.246210 | 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 > 5.781360 | c 2 > 3.459430 | c 10 > 10.639300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.110800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.72/6.90 c choco : 1801.0 6.72/6.90 c mistral : 822.148 6.72/6.90 c abscon : 1800.08 6.72/6.90 c 6.72/6.90 c 6.72/6.90 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-70-12-a3.xml 6.72/6.90 c 19 > 0.000000 | c 35 > 20.289900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.749400 | c 34 > 10.289900 | c 16 > 3.000000 | c 13 > 9.961920 | c 14 > 12.747800 | c 11 > 6.285400 | c 12 > 9.443420 | c 21 > 8.375790 | c 20 > 100.000000 | c 22 > 8.426150 | 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 > 6.044390 | c 2 > 3.584960 | c 10 > 11.152900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.414900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.90 c choco : 1801.0 6.82/6.90 c mistral : 757.64 6.82/6.90 c abscon : 1800.07 6.82/6.90 c 6.82/6.90 c 6.82/6.90 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-55-10-a3.xml 6.82/6.90 c 19 > 0.000000 | c 35 > 20.416700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.990200 | c 34 > 10.416700 | c 16 > 3.000000 | c 13 > 10.402300 | c 14 > 12.573200 | c 11 > 5.781360 | c 12 > 10.441500 | c 21 > 7.428450 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 5.491850 | c 2 > 3.321930 | c 10 > 10.076800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.563200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.91 c choco : 1801.0 6.82/6.91 c mistral : 6.87196 6.82/6.91 c abscon : 130.402 6.82/6.91 c 6.82/6.91 c 6.82/6.91 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-44-9-a3.xml 6.82/6.91 c 19 > 0.000000 | c 35 > 20.512800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.005900 | c 34 > 10.512800 | c 16 > 3.000000 | c 13 > 11.342000 | c 14 > 12.987100 | c 11 > 5.491850 | c 12 > 11.397100 | c 21 > 6.648310 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 5.169930 | c 2 > 3.169930 | c 10 > 9.455330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.952000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.92 c choco : 23.9 6.82/6.92 c mistral : 1.00185 6.82/6.92 c abscon : 20.9298 6.82/6.92 c 6.82/6.92 c 6.82/6.92 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-19.xml 6.82/6.92 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.143400 | c 34 > 10.232600 | c 16 > 2.000000 | c 13 > 9.548880 | c 14 > 12.907100 | c 11 > 5.832890 | c 12 > 11.519700 | c 21 > 7.549830 | c 20 > 100.000000 | c 22 > 7.549830 | 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 > 5.832890 | c 2 > -1.000000 | c 10 > 10.675100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.665800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.93 c choco : 21.27 6.82/6.93 c mistral : 1.4 6.82/6.93 c abscon : 6.47 6.82/6.93 c 6.82/6.93 c 6.82/6.93 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-18.xml 6.82/6.93 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.014100 | c 34 > 10.245400 | c 16 > 2.000000 | c 13 > 9.548540 | c 14 > 12.859000 | c 11 > 5.754890 | c 12 > 11.441200 | c 21 > 7.348470 | c 20 > 100.000000 | c 22 > 7.348470 | 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 > 5.754890 | c 2 > -1.000000 | c 10 > 10.519600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.509800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.94 c choco : 30.04 6.82/6.94 c mistral : 4.21 6.82/6.94 c abscon : 12.74 6.82/6.94 c 6.82/6.94 c 6.82/6.94 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-17.xml 6.82/6.94 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.085500 | c 34 > 10.259700 | c 16 > 2.000000 | c 13 > 9.696600 | c 14 > 13.000500 | c 11 > 5.672430 | c 12 > 11.945500 | c 21 > 7.141430 | c 20 > 100.000000 | c 22 > 7.141430 | 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 > 5.672430 | c 2 > -1.000000 | c 10 > 10.355400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.344900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.95 c choco : 15.28 6.82/6.95 c mistral : 0.33 6.82/6.95 c abscon : 5.81 6.82/6.95 c 6.82/6.95 c 6.82/6.95 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-15.xml 6.82/6.95 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.787100 | c 34 > 10.247900 | c 16 > 2.000000 | c 13 > 7.794820 | c 14 > 11.915100 | c 11 > 5.906890 | c 12 > 11.486200 | c 21 > 7.745970 | c 20 > 100.000000 | c 22 > 7.745970 | 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 > 5.906890 | c 2 > -1.000000 | c 10 > 10.826500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.813800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.96 c choco : 1801.0 6.82/6.96 c mistral : 94.47 6.82/6.96 c abscon : 472.58 6.82/6.96 c 6.82/6.96 c 6.82/6.96 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-16.xml 6.82/6.96 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.745100 | c 34 > 10.232600 | c 16 > 2.000000 | c 13 > 7.677900 | c 14 > 11.746100 | c 11 > 6.000000 | c 12 > 11.281300 | c 21 > 8.000000 | c 20 > 100.000000 | c 22 > 8.000000 | 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 > 6.000000 | c 2 > -1.000000 | c 10 > 11.011900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.000000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.96 c choco : 343.29 6.82/6.96 c mistral : 721.33 6.82/6.96 c abscon : 1801.0 6.82/6.96 c 6.82/6.96 c 6.82/6.96 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-14.xml 6.82/6.96 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.774300 | c 34 > 10.265500 | c 16 > 2.000000 | c 13 > 7.788580 | c 14 > 11.945100 | c 11 > 5.807350 | c 12 > 11.446700 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 5.807350 | c 2 > -1.000000 | c 10 > 10.628400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.614700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.82/6.97 c choco : 88.87 6.82/6.97 c mistral : 36.56 6.82/6.97 c abscon : 109.59 6.82/6.97 c 6.82/6.97 c 6.82/6.97 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-13.xml 6.82/6.97 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.744400 | c 34 > 10.285700 | c 16 > 2.000000 | c 13 > 8.075190 | c 14 > 12.003500 | c 11 > 5.700440 | c 12 > 11.571200 | c 21 > 7.211100 | c 20 > 100.000000 | c 22 > 7.211100 | 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 > 5.700440 | c 2 > -1.000000 | c 10 > 10.415700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.400900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.16 c choco : 45.51 7.00/7.16 c mistral : 8.69 7.00/7.16 c abscon : 19.72 7.00/7.16 c 7.00/7.16 c 7.00/7.16 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-15.xml 7.00/7.16 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.149400 | c 34 > 10.294100 | c 16 > 2.000000 | c 13 > 9.840330 | c 14 > 13.227000 | c 11 > 5.491850 | c 12 > 12.714000 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 5.491850 | c 2 > -1.000000 | c 10 > 9.995770 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.983700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.18 c choco : 1801.0 7.00/7.18 c mistral : 1050.88 7.00/7.18 c abscon : 1801.0 7.00/7.18 c 7.00/7.18 c 7.00/7.18 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-12.xml 7.00/7.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.353000 | c 34 > 10.309300 | c 16 > 2.000000 | c 13 > 7.733090 | c 14 > 11.657800 | c 11 > 5.584960 | c 12 > 11.189800 | c 21 > 6.928200 | c 20 > 100.000000 | c 22 > 6.928200 | 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 > 5.584960 | c 2 > -1.000000 | c 10 > 10.186100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.169900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.18 c choco : 28.22 7.00/7.18 c mistral : 2.52 7.00/7.18 c abscon : 8.4 7.00/7.18 c 7.00/7.18 c 7.00/7.18 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-14.xml 7.00/7.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.045200 | c 34 > 10.315000 | c 16 > 2.000000 | c 13 > 9.917730 | c 14 > 13.187700 | c 11 > 5.392320 | c 12 > 12.858100 | c 21 > 6.480740 | c 20 > 100.000000 | c 22 > 6.480740 | 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 > 5.392320 | c 2 > -1.000000 | c 10 > 9.797660 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.784600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.19 c choco : 654.36 7.00/7.19 c mistral : 204.98 7.00/7.19 c abscon : 487.31 7.00/7.19 c 7.00/7.19 c 7.00/7.19 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-13.xml 7.00/7.19 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.104700 | c 34 > 10.339000 | c 16 > 2.000000 | c 13 > 9.940580 | c 14 > 13.334000 | c 11 > 5.285400 | c 12 > 12.892600 | c 21 > 6.245000 | c 20 > 100.000000 | c 22 > 6.245000 | 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 > 5.285400 | c 2 > -1.000000 | c 10 > 9.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.570800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.19 c choco : 1801.0 7.00/7.19 c mistral : 37.95 7.00/7.19 c abscon : 106.83 7.00/7.19 c 7.00/7.19 c 7.00/7.19 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-12.xml 7.00/7.19 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.248300 | c 34 > 10.367000 | c 16 > 2.000000 | c 13 > 10.294200 | c 14 > 13.558300 | c 11 > 5.169930 | c 12 > 13.250000 | c 21 > 6.000000 | c 20 > 100.000000 | c 22 > 6.000000 | 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 > 5.169930 | c 2 > -1.000000 | c 10 > 9.355350 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.339900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.20 c choco : 33.61 7.08/7.20 c mistral : 11.14 7.08/7.20 c abscon : 19.66 7.08/7.20 c 7.08/7.20 c 7.08/7.20 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-11.xml 7.08/7.20 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.589500 | c 34 > 10.400000 | c 16 > 2.000000 | c 13 > 9.594680 | c 14 > 12.998900 | c 11 > 5.044390 | c 12 > 12.500300 | c 21 > 5.744560 | c 20 > 100.000000 | c 22 > 5.744560 | 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 > 5.044390 | c 2 > -1.000000 | c 10 > 9.105910 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.088800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.21 c choco : 24.23 7.08/7.21 c mistral : 2.68 7.08/7.21 c abscon : 9.59 7.08/7.21 c 7.08/7.21 c 7.08/7.21 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-67-12-a3.xml 7.08/7.21 c 19 > 0.000000 | c 35 > 20.289900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.336400 | c 34 > 10.289900 | c 16 > 3.000000 | c 13 > 7.361790 | c 14 > 7.303780 | c 11 > 6.285400 | c 12 > 8.788280 | c 21 > 8.194750 | c 20 > 100.000000 | c 22 > 8.246210 | 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 > 6.044390 | c 2 > 3.584960 | c 10 > 11.153600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.351800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.22 c choco : 1801.0 7.08/7.22 c mistral : 0.33 7.08/7.22 c abscon : 1437.46 7.08/7.22 c 7.08/7.22 c 7.08/7.22 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-11.xml 7.08/7.22 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.683900 | c 34 > 10.337100 | c 16 > 2.000000 | c 13 > 5.789400 | c 14 > 10.083500 | c 11 > 5.459430 | c 12 > 9.416130 | c 21 > 6.633250 | c 20 > 100.000000 | c 22 > 6.633250 | 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 > 5.459430 | c 2 > -1.000000 | c 10 > 9.936640 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.918900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.22 c choco : 24.39 7.08/7.22 c mistral : 0.88 7.08/7.22 c abscon : 5.48 7.08/7.22 c 7.08/7.22 c 7.08/7.22 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-13.xml 7.08/7.22 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.174600 | c 34 > 10.384600 | c 16 > 2.000000 | c 13 > 12.630100 | c 14 > 14.984700 | c 11 > 4.700440 | c 12 > 14.280300 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 4.700440 | c 2 > -1.000000 | c 10 > 8.405140 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.400880 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.23 c choco : 1801.0 7.08/7.23 c mistral : 808.2 7.08/7.23 c abscon : 1801.0 7.08/7.23 c 7.08/7.23 c 7.08/7.23 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml 7.08/7.23 c 19 > 0.000000 | c 35 > 20.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.178300 | c 34 > 11.000000 | c 16 > 3.000000 | c 13 > 10.203700 | c 14 > 12.354500 | c 11 > 6.870360 | c 12 > 10.327600 | c 21 > 5.432170 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > 5.882640 | c 2 > -1.000000 | c 10 > 9.861090 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.067800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.857980 | c 7.08/7.24 c choco : 2.42 7.08/7.24 c mistral : 1.26 7.08/7.24 c abscon : 1.59976 7.08/7.24 c 7.08/7.24 c 7.08/7.24 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml 7.08/7.24 c 19 > 0.000000 | c 35 > 20.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.970600 | c 34 > 10.857100 | c 16 > 3.000000 | c 13 > 9.583130 | c 14 > 11.806500 | c 11 > 7.098030 | c 12 > 9.672770 | c 21 > 5.874290 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 6.108520 | c 2 > -1.000000 | c 10 > 10.299200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.522300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.087460 | c 7.08/7.25 c choco : 2.63 7.08/7.25 c mistral : 1800.03 7.08/7.25 c abscon : 2.32365 7.08/7.25 c 7.08/7.25 c 7.08/7.25 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-25.xml 7.08/7.25 c 19 > 0.000000 | c 35 > 20.400000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.516200 | c 34 > 11.200000 | c 16 > 3.000000 | c 13 > 10.776900 | c 14 > 12.690700 | c 11 > 6.599910 | c 12 > 10.916300 | c 21 > 4.950780 | c 20 > 100.000000 | c 22 > 5.000000 | 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 > 5.614710 | c 2 > -1.000000 | c 10 > 9.344300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.528000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.584960 | c 7.08/7.25 c choco : 2.2 7.08/7.25 c mistral : 4.04 7.08/7.25 c abscon : 1.11883 7.08/7.25 c 7.08/7.25 c 7.08/7.25 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-34-8-a3.xml 7.08/7.25 c 19 > 0.000000 | c 35 > 20.645200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.619100 | c 34 > 10.645200 | c 16 > 3.000000 | c 13 > 6.547850 | c 14 > 8.761550 | c 11 > 5.169930 | c 12 > 6.356090 | c 21 > 5.849980 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 4.807350 | c 2 > 3.000000 | c 10 > 8.761550 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.258600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.26 c choco : 2.1 7.08/7.26 c mistral : 0.082986 7.08/7.26 c abscon : 3.39848 7.08/7.26 c 7.08/7.26 c 7.08/7.26 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml 7.08/7.26 c 19 > 0.000000 | c 35 > 20.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.533600 | c 34 > 10.750000 | c 16 > 3.000000 | c 13 > 9.269850 | c 14 > 11.296900 | c 11 > 7.294620 | c 12 > 9.328520 | c 21 > 6.285410 | c 20 > 100.000000 | c 22 > 6.324560 | 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 > 6.303780 | c 2 > -1.000000 | c 10 > 10.679500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.914900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.285400 | c 7.08/7.26 c choco : 2.94 7.08/7.26 c mistral : 1800.01 7.08/7.26 c abscon : 3.38349 7.08/7.26 c 7.08/7.26 c 7.08/7.26 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml 7.08/7.26 c 19 > 0.000000 | c 35 > 20.222200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.700700 | c 34 > 10.666700 | c 16 > 3.000000 | c 13 > 9.470560 | c 14 > 11.063400 | c 11 > 7.467610 | c 12 > 9.504530 | c 21 > 6.671250 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 6.475730 | c 2 > -1.000000 | c 10 > 11.015400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.260500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.459430 | c 7.08/7.27 c choco : 3.28 7.08/7.27 c mistral : 1800.02 7.08/7.27 c abscon : 5.34119 7.08/7.27 c 7.08/7.27 c 7.08/7.27 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-9.xml 7.08/7.27 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.675300 | c 34 > 10.555600 | c 16 > 2.000000 | c 13 > 9.920620 | c 14 > 12.759900 | c 11 > 4.169930 | c 12 > 11.245600 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 4.169930 | c 2 > -1.000000 | c 10 > 7.348730 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.339850 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.27 c choco : 11.78 7.08/7.27 c mistral : 0.53 7.08/7.27 c abscon : 7.45 7.08/7.27 c 7.08/7.27 c 7.08/7.27 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml 7.08/7.27 c 19 > 0.000000 | c 35 > 20.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.610900 | c 34 > 10.600000 | c 16 > 3.000000 | c 13 > 9.356060 | c 14 > 11.174900 | c 11 > 7.622050 | c 12 > 9.409190 | c 21 > 7.035980 | c 20 > 100.000000 | c 22 > 7.071070 | 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 > 6.629360 | c 2 > -1.000000 | c 10 > 11.316300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.569000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.614710 | c 7.08/7.28 c choco : 3.47 7.08/7.28 c mistral : 25.06 7.08/7.28 c abscon : 7.93379 7.08/7.28 c 7.08/7.28 c 7.08/7.28 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-20.xml 7.08/7.28 c 19 > 0.000000 | c 35 > 20.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.589400 | c 34 > 11.500000 | c 16 > 3.000000 | c 13 > 11.125000 | c 14 > 13.128300 | c 11 > 6.266790 | c 12 > 11.344100 | c 21 > 4.417330 | c 20 > 100.000000 | c 22 > 4.472140 | 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 > 5.285400 | c 2 > -1.000000 | c 10 > 8.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.863400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.247930 | c 7.08/7.28 c choco : 1.97 7.08/7.28 c mistral : 1.67 7.08/7.28 c abscon : 0.926858 7.08/7.28 c 7.08/7.28 c 7.08/7.28 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-10.xml 7.08/7.28 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.132900 | c 34 > 10.500000 | c 16 > 2.000000 | c 13 > 12.002500 | c 14 > 15.168200 | c 11 > 4.321930 | c 12 > 14.098400 | c 21 > 4.472140 | c 20 > 100.000000 | c 22 > 4.472140 | 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 > 4.321930 | c 2 > -1.000000 | c 10 > 7.651050 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.643860 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.08/7.29 c choco : 25.65 7.08/7.29 c mistral : 3.45 7.08/7.29 c abscon : 9.27 7.08/7.29 c 7.08/7.29 c 7.08/7.29 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-18.xml 7.08/7.29 c 19 > 0.000000 | c 35 > 20.555600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.651400 | c 34 > 11.666700 | c 16 > 3.000000 | c 13 > 11.358300 | c 14 > 13.383800 | c 11 > 6.108520 | c 12 > 11.529200 | c 21 > 4.185010 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 5.129280 | c 2 > -1.000000 | c 10 > 8.417850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.547900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.087460 | c 7.08/7.29 c choco : 1.78 7.08/7.29 c mistral : 0.66 7.08/7.29 c abscon : 0.834872 7.08/7.29 c 7.08/7.29 c 7.08/7.29 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity3/ruler-25-7-a3.xml 7.08/7.30 c 19 > 0.000000 | c 35 > 20.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.088700 | c 34 > 10.833300 | c 16 > 3.000000 | c 13 > 6.624280 | c 14 > 8.912890 | c 11 > 4.807350 | c 12 > 6.608910 | c 21 > 5.024940 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 4.392320 | c 2 > 2.807350 | c 10 > 7.977280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.453270 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.14/7.30 c choco : 1.81 7.14/7.30 c mistral : 0.02 7.14/7.30 c abscon : 1.43678 7.14/7.30 c 7.14/7.30 c 7.14/7.30 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml 7.14/7.30 c 19 > 0.000000 | c 35 > 20.166700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.987900 | c 34 > 10.500000 | c 16 > 3.000000 | c 13 > 8.556550 | c 14 > 10.303800 | c 11 > 7.888740 | c 12 > 8.578890 | c 21 > 7.713900 | c 20 > 100.000000 | c 22 > 7.745970 | 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 > 6.894820 | c 2 > -1.000000 | c 10 > 11.837600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.101900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.882640 | c 7.14/7.31 c choco : 4.06 7.14/7.31 c mistral : 1800.09 7.14/7.31 c abscon : 19.4 7.14/7.31 c 7.14/7.31 c 7.14/7.31 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-16.xml 7.14/7.31 c 19 > 0.000000 | c 35 > 20.625000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.580100 | c 34 > 11.875000 | c 16 > 3.000000 | c 13 > 12.194200 | c 14 > 13.336900 | c 11 > 5.930740 | c 12 > 12.201500 | c 21 > 3.939050 | c 20 > 100.000000 | c 22 > 4.000000 | 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 > 4.954200 | c 2 > -1.000000 | c 10 > 8.087460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.193500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.906890 | c 7.14/7.31 c choco : 1.68 7.14/7.31 c mistral : 0.21 7.14/7.31 c abscon : 0.808876 7.14/7.31 c 7.14/7.31 c 7.14/7.31 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-15.xml 7.14/7.31 c 19 > 0.000000 | c 35 > 20.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.640100 | c 34 > 12.000000 | c 16 > 3.000000 | c 13 > 12.122100 | c 14 > 13.485100 | c 11 > 5.832890 | c 12 > 12.348600 | c 21 > 3.810150 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > 4.857980 | c 2 > -1.000000 | c 10 > 7.906890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.998590 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.807350 | c 7.14/7.32 c choco : 1.62 7.14/7.32 c mistral : 0.150976 7.14/7.32 c abscon : 0.78188 7.14/7.32 c 7.14/7.32 c 7.14/7.32 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-14.xml 7.14/7.32 c 19 > 0.000000 | c 35 > 20.714300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.718800 | c 34 > 12.142900 | c 16 > 3.000000 | c 13 > 11.908500 | c 14 > 13.678700 | c 11 > 5.727920 | c 12 > 12.135200 | c 21 > 3.676750 | c 20 > 100.000000 | c 22 > 3.741660 | 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 > 4.754890 | c 2 > -1.000000 | c 10 > 7.714250 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.789530 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.700440 | c 7.14/7.33 c choco : 1.58 7.14/7.33 c mistral : 0.04 7.14/7.33 c abscon : 0.793879 7.14/7.33 c 7.14/7.33 c 7.14/7.33 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-13.xml 7.14/7.33 c 19 > 0.000000 | c 35 > 20.769200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.673100 | c 34 > 12.307700 | c 16 > 3.000000 | c 13 > 11.884400 | c 14 > 13.793500 | c 11 > 5.614710 | c 12 > 11.868100 | c 21 > 3.538360 | c 20 > 100.000000 | c 22 > 3.605550 | 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 > 4.643860 | c 2 > -1.000000 | c 10 > 7.507790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.564150 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.584960 | c 7.14/7.33 c choco : 1.52 7.14/7.33 c mistral : 0.03 7.14/7.33 c abscon : 0.804877 7.14/7.33 c 7.14/7.33 c 7.14/7.33 c /home/ehebrard/new_instances/competition_4c/data/langford4/langford-4-10.xml 7.14/7.33 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.632900 | c 34 > 10.370400 | c 16 > 2.000000 | c 13 > 4.343000 | c 14 > 8.066090 | c 11 > 5.321930 | c 12 > 7.391240 | c 21 > 6.324560 | c 20 > 100.000000 | c 22 > 6.324560 | 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 > 5.321930 | c 2 > -1.000000 | c 10 > 9.663560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.643900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.14/7.34 c choco : 10.17 7.14/7.34 c mistral : 0.25 7.14/7.34 c abscon : 4.52 7.14/7.34 c 7.14/7.34 c 7.14/7.34 c /home/ehebrard/new_instances/competition_4c/data/langford3/langford-3-10.xml 7.14/7.34 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.960700 | c 34 > 10.439600 | c 16 > 2.000000 | c 13 > 5.703610 | c 14 > 8.392320 | c 11 > 4.906890 | c 12 > 7.780050 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > 4.906890 | c 2 > -1.000000 | c 10 > 8.832890 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.813780 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.14/7.34 c choco : 8.11 7.14/7.34 c mistral : 0.28 7.14/7.34 c abscon : 6.15 7.14/7.34 c 7.14/7.34 c 7.14/7.34 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-12.xml 7.14/7.34 c 19 > 0.000000 | c 35 > 20.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.618500 | c 34 > 12.500000 | c 16 > 3.000000 | c 13 > 12.222100 | c 14 > 13.773400 | c 11 > 5.491850 | c 12 > 12.438100 | c 21 > 3.394370 | c 20 > 100.000000 | c 22 > 3.464100 | 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 > 4.523560 | c 2 > -1.000000 | c 10 > 7.285400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.319670 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 4.459430 | c 7.14/7.35 c choco : 1.44 7.14/7.35 c mistral : 0.03 7.14/7.35 c abscon : 0.726888 7.14/7.35 c 7.14/7.35 c 7.14/7.35 c Length: 40 7.14/7.35 c 0.9761288362711146 1.243344562018108 1.5355350948122277 3.2868258937613355 4.988107867177693 5.062435539204425 5.290451933417408 5.6125807236422 5.631856615859462 5.674137754002806 5.686885309807118 5.883684064036749 6.04797348017499 6.144643930196444 6.4066692285149225 6.835037210498564 6.94014571775694 7.67245552826473 8.127548383731712 9.068494476041765 9.277574985345039 9.334725974553297 9.436575190502113 9.505447256683928 9.554389709343031 9.587397085450252 9.67383425846236 9.720461082911653 9.856930735720931 9.94008144305166 10.121354025899894 10.522018304664748 10.550380553122244 10.602457807282233 10.783340532566891 10.905210621377286 11.081655111760156 11.105856427763687 11.191981661694234 11.462747338923595 7.14/7.35 c 7.14/7.35 c 1.0 0.9751515859300386 0.9493567803227823 0.819438924778342 0.723285026595139 0.7195959874022387 0.7085102276732888 0.6934186135621193 0.692535906073641 0.6906075606817338 0.6900282791655203 0.6812069739041238 0.6740137765453745 0.6698517414725124 0.6588247671520658 0.6415589158820795 0.6374597854599386 0.6102922626977781 0.5945456332987812 0.5644344395938959 0.5581532050821894 0.5564605204025342 0.5534692883495718 0.5514647290364528 0.5500490349813203 0.5490983708784817 0.5466243451546549 0.5452990150805724 0.5414566465193361 0.5391419328333624 0.5341637121314058 0.5234800613986658 0.5227399603262058 0.5213864609542646 0.5167392453690658 0.5136546067410828 0.5092533398358768 0.5086555325936555 0.506539453018398 0.5 7.14/7.36 c 7.14/7.36 c solver 0 7.14/7.37 c before 0.0 seconds: {} 0 7.14/7.37 c before 18.0 seconds: {4, 5, 6, 12, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 14182 7.14/7.37 c before 36.0 seconds: {3, 4, 5, 6, 10, 12, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16856 7.14/7.37 c before 108.0 seconds: {3, 4, 5, 6, 10, 12, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17515 7.14/7.37 c before 126.0 seconds: {3, 4, 5, 6, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18205 7.14/7.37 c before 144.0 seconds: {2, 3, 4, 5, 6, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19155 7.14/7.37 c before 486.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19848 7.14/7.37 c before 504.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20518 7.14/7.37 c before 1440.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21128 7.14/7.37 c 7.14/7.37 c solver 1 7.14/7.37 c before 0.0 seconds: {} 0 7.14/7.37 c before 18.0 seconds: {2, 3, 4, 5, 6, 10, 12, 15, 16, 17, 18, 20, 22, 23, 26, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 15692 7.14/7.37 c before 36.0 seconds: {2, 3, 4, 5, 6, 10, 12, 15, 16, 17, 18, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 16237 7.14/7.37 c before 54.0 seconds: {2, 3, 4, 5, 6, 9, 10, 12, 14, 15, 16, 17, 18, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 17586 7.14/7.37 c before 108.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 12, 14, 15, 16, 17, 18, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18280 7.14/7.37 c before 216.0 seconds: {2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 18950 7.14/7.37 c before 738.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19642 7.14/7.37 c before 774.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20617 7.14/7.37 c before 810.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21182 7.14/7.37 c before 828.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 22182 7.14/7.37 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 22863 7.14/7.37 c 7.14/7.37 c solver 2 7.14/7.37 c before 0.0 seconds: {} 0 7.14/7.37 c before 18.0 seconds: {6, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 10817 7.14/7.37 c before 36.0 seconds: {3, 4, 5, 6, 12, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16166 7.14/7.37 c before 54.0 seconds: {3, 4, 5, 6, 10, 12, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16856 7.14/7.37 c before 90.0 seconds: {3, 4, 5, 6, 9, 10, 12, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17546 7.14/7.37 c before 360.0 seconds: {3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18239 7.14/7.37 c before 666.0 seconds: {3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18909 7.14/7.37 c 7.14/7.37 cTotal time: 176 7.14/7.37 c run abscon for 504.0 seconds {2, 3, 4, 5, 6, 7, 9, 10, 12, 13, 14, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20518 7.14/7.37 c run mistral for 1062.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 22863 7.14/7.37 c run choco for 90.0 seconds {3, 4, 5, 6, 9, 10, 12, 15, 16, 18, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17546 7.14/7.37 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.14/7.37 c On Instance: HOME/instance-1050618-1215050474.xml 7.14/7.37 c Running for: 504 seconds 511.47/521.47 c Starting solver: HOME/cpHydra_k_40/solver/mistral 511.47/521.47 c On Instance: HOME/instance-1050618-1215050474.xml 511.47/521.47 c Running for: 1062 seconds 1573.31/1584.35 c Starting solver: HOME/cpHydra_k_40/solver/choco 1573.31/1584.35 c On Instance: HOME/instance-1050618-1215050474.xml 1573.31/1584.35 c Running for: 90 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-1050618-1215050474/watcher-1050618-1215050474 -o /tmp/evaluation-result-1050618-1215050474/solver-1050618-1215050474 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1050618-1215050474.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.97 1.96 4/81 2655 /proc/meminfo: memFree=1698640/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=3004 CPUtime=0 /proc/2655/stat : 2655 (hydra) R 2653 2655 32315 0 -1 4194304 52 0 0 0 0 0 0 0 20 0 1 0 245990133 3076096 37 996147200 4194304 4889804 548682068816 18446744073709551615 214942414892 0 0 4096 0 0 0 0 17 1 0 0 /proc/2655/statm: 751 37 28 169 0 9 0 [startup+0.08919 s] /proc/loadavg: 1.91 1.97 1.96 4/81 2655 /proc/meminfo: memFree=1698640/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=0 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 245990133 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/2655/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102189 s] /proc/loadavg: 1.91 1.97 1.96 4/81 2655 /proc/meminfo: memFree=1698640/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=0 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 245990133 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/2655/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301229 s] /proc/loadavg: 1.91 1.97 1.96 4/81 2655 /proc/meminfo: memFree=1698640/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=0 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 245990133 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/2655/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701308 s] /proc/loadavg: 1.91 1.97 1.96 4/81 2655 /proc/meminfo: memFree=1698640/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=0 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 245990133 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/2655/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50247 s] /proc/loadavg: 1.91 1.97 1.96 3/83 2659 /proc/meminfo: memFree=1697216/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=0 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 245990133 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/2655/statm: 1340 236 195 169 0 51 0 [pid=2659] ppid=2655 vsize=5516 CPUtime=1.48 /proc/2659/stat : 2659 (xsolve) R 2655 2655 32315 0 -1 4194304 747 0 0 0 147 1 0 0 25 0 1 0 245990134 5648384 706 996147200 134512640 135239763 4294956176 18446744073709551615 135096225 0 0 4096 0 0 0 0 17 1 0 0 /proc/2659/statm: 1379 706 430 177 0 282 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10876 [startup+3.10177 s] /proc/loadavg: 1.91 1.97 1.96 3/91 2671 /proc/meminfo: memFree=1690432/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=1.51 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 375 1343 0 0 0 0 150 1 18 0 1 0 245990133 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2655/statm: 1340 238 196 169 0 51 0 [pid=2663] ppid=2655 vsize=197028 CPUtime=1.54 /proc/2663/stat : 2663 (java) S 2655 2655 32315 0 -1 0 6543 0 1 0 148 6 0 0 19 0 9 0 245990287 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2663/statm: 49257 5497 2541 9 0 43839 0 [pid=2663/tid=2664] ppid=2655 vsize=197028 CPUtime=1.17 /proc/2663/task/2664/stat : 2664 (java) R 2655 2655 32315 0 -1 64 2808 0 1 0 115 2 0 0 25 0 9 0 245990288 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4126435395 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2665] ppid=2655 vsize=197028 CPUtime=0.21 /proc/2663/task/2665/stat : 2665 (java) S 2655 2655 32315 0 -1 64 2397 0 0 0 18 3 0 0 16 0 9 0 245990289 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2666] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2666/stat : 2666 (java) S 2655 2655 32315 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 245990289 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2667] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2667/stat : 2667 (java) S 2655 2655 32315 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 245990289 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2668] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2668/stat : 2668 (java) S 2655 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 245990291 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2669] ppid=2655 vsize=197028 CPUtime=0.14 /proc/2663/task/2669/stat : 2669 (java) S 2655 2655 32315 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 245990291 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2670] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2670/stat : 2670 (java) S 2655 2655 32315 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 245990291 201756672 5497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2671] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2671/stat : 2671 (java) S 2655 2655 32315 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 245990291 201756672 5497 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) 202388 [startup+6.30239 s] /proc/loadavg: 2.00 1.99 1.97 3/91 2671 /proc/meminfo: memFree=1676672/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=1.51 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 375 1343 0 0 0 0 150 1 18 0 1 0 245990133 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2655/statm: 1340 238 196 169 0 51 0 [pid=2663] ppid=2655 vsize=197028 CPUtime=4.72 /proc/2663/stat : 2663 (java) S 2655 2655 32315 0 -1 0 10532 0 1 0 457 15 0 0 19 0 9 0 245990287 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2663/statm: 49257 8734 2541 9 0 43839 0 [pid=2663/tid=2664] ppid=2655 vsize=197028 CPUtime=3.75 /proc/2663/task/2664/stat : 2664 (java) R 2655 2655 32315 0 -1 64 3640 0 1 0 370 5 0 0 25 0 9 0 245990288 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2665] ppid=2655 vsize=197028 CPUtime=0.78 /proc/2663/task/2665/stat : 2665 (java) S 2655 2655 32315 0 -1 64 5538 0 0 0 70 8 0 0 16 0 9 0 245990289 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2666] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2666/stat : 2666 (java) S 2655 2655 32315 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 245990289 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2667] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2667/stat : 2667 (java) S 2655 2655 32315 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 245990289 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2668] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2668/stat : 2668 (java) S 2655 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 245990291 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2669] ppid=2655 vsize=197028 CPUtime=0.17 /proc/2663/task/2669/stat : 2669 (java) R 2655 2655 32315 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 245990291 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 101568192 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2670] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2670/stat : 2670 (java) S 2655 2655 32315 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 245990291 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2671] ppid=2655 vsize=197028 CPUtime=0 /proc/2663/task/2671/stat : 2671 (java) S 2655 2655 32315 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 245990291 201756672 8734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 202388 [startup+12.7026 s] /proc/loadavg: 2.00 1.99 1.97 3/103 2683 /proc/meminfo: memFree=1635296/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=1.51 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 375 1343 0 0 0 0 150 1 18 0 1 0 245990133 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2655/statm: 1340 238 196 169 0 51 0 [pid=2663] ppid=2655 vsize=197352 CPUtime=5.7 /proc/2663/stat : 2663 (java) S 2655 2655 32315 0 -1 0 13955 0 1 0 550 20 0 0 19 0 10 0 245990287 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2663/statm: 49338 9484 2544 9 0 43920 0 [pid=2673] ppid=2663 vsize=5356 CPUtime=0 /proc/2673/stat : 2673 (abscon) S 2663 2655 32315 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 245990871 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2673/statm: 1339 237 196 169 0 50 0 [pid=2674] ppid=2673 vsize=655948 CPUtime=5.22 /proc/2674/stat : 2674 (java) S 2673 2655 32315 0 -1 0 11760 0 1 0 508 14 0 0 18 0 9 0 245990872 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2674/statm: 163987 11072 2611 9 0 158515 0 [pid=2674/tid=2676] ppid=2673 vsize=655948 CPUtime=4.88 /proc/2674/task/2676/stat : 2676 (java) R 2673 2655 32315 0 -1 64 8974 0 1 0 476 12 0 0 25 0 9 0 245990872 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4126866512 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2677] ppid=2673 vsize=655948 CPUtime=0.05 /proc/2674/task/2677/stat : 2677 (java) S 2673 2655 32315 0 -1 64 1505 0 0 0 5 0 0 0 17 0 9 0 245990874 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2678] ppid=2673 vsize=655948 CPUtime=0 /proc/2674/task/2678/stat : 2678 (java) S 2673 2655 32315 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 245990874 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2679] ppid=2673 vsize=655948 CPUtime=0 /proc/2674/task/2679/stat : 2679 (java) S 2673 2655 32315 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 245990874 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2680] ppid=2673 vsize=655948 CPUtime=0 /proc/2674/task/2680/stat : 2680 (java) S 2673 2655 32315 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 245990876 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2681] ppid=2673 vsize=655948 CPUtime=0.27 /proc/2674/task/2681/stat : 2681 (java) S 2673 2655 32315 0 -1 64 736 0 0 0 27 0 0 0 15 0 9 0 245990876 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2682] ppid=2673 vsize=655948 CPUtime=0 /proc/2674/task/2682/stat : 2682 (java) S 2673 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 245990876 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2683] ppid=2673 vsize=655948 CPUtime=0 /proc/2674/task/2683/stat : 2683 (java) S 2673 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 245990876 671690752 11072 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2675] ppid=2673 vsize=7044 CPUtime=0 /proc/2675/stat : 2675 (translate) S 2673 2655 32315 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 245990872 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 214945202258 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2675/statm: 1761 213 182 1 0 41 0 [pid=2663/tid=2664] ppid=2655 vsize=197352 CPUtime=4.41 /proc/2663/task/2664/stat : 2664 (java) S 2655 2655 32315 0 -1 64 3905 0 1 0 433 8 0 0 24 0 10 0 245990288 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2663/tid=2665] ppid=2655 vsize=197352 CPUtime=1.02 /proc/2663/task/2665/stat : 2665 (java) S 2655 2655 32315 0 -1 64 8561 0 0 0 92 10 0 0 16 0 10 0 245990289 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2666] ppid=2655 vsize=197352 CPUtime=0 /proc/2663/task/2666/stat : 2666 (java) S 2655 2655 32315 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 245990289 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2667] ppid=2655 vsize=197352 CPUtime=0 /proc/2663/task/2667/stat : 2667 (java) S 2655 2655 32315 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 245990289 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2668] ppid=2655 vsize=197352 CPUtime=0 /proc/2663/task/2668/stat : 2668 (java) S 2655 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 245990291 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2669] ppid=2655 vsize=197352 CPUtime=0.22 /proc/2663/task/2669/stat : 2669 (java) S 2655 2655 32315 0 -1 64 670 0 0 0 22 0 0 0 15 0 10 0 245990291 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2670] ppid=2655 vsize=197352 CPUtime=0 /proc/2663/task/2670/stat : 2670 (java) S 2655 2655 32315 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 245990291 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2671] ppid=2655 vsize=197352 CPUtime=0 /proc/2663/task/2671/stat : 2671 (java) S 2655 2655 32315 0 -1 64 27 0 0 0 0 0 0 0 15 0 10 0 245990291 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2672] ppid=2655 vsize=197352 CPUtime=0 /proc/2663/task/2672/stat : 2672 (java) S 2655 2655 32315 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 245990871 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 871060 [startup+25.5021 s] /proc/loadavg: 2.00 1.99 1.97 3/103 2683 /proc/meminfo: memFree=1635104/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=1.51 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 375 1343 0 0 0 0 150 1 18 0 1 0 245990133 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2655/statm: 1340 238 196 169 0 51 0 [pid=2663] ppid=2655 vsize=197352 CPUtime=5.7 /proc/2663/stat : 2663 (java) S 2655 2655 32315 0 -1 0 13955 0 1 0 550 20 0 0 19 0 10 0 245990287 202088448 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2663/statm: 49338 9484 2544 9 0 43920 0 [pid=2673] ppid=2663 vsize=5356 CPUtime=0 /proc/2673/stat : 2673 (abscon) S 2663 2655 32315 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 245990871 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2673/statm: 1339 237 196 169 0 50 0 [pid=2674] ppid=2673 vsize=655948 CPUtime=17.84 /proc/2674/stat : 2674 (java) S 2673 2655 32315 0 -1 0 11792 0 1 0 1769 15 0 0 18 0 9 0 245990872 671690752 11097 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2674/statm: 163987 11097 2611 9 0 158515 0 [pid=2674/tid=2676] ppid=2673 vsize=655948 CPUtime=17.46 /proc/2674/task/2676/stat : 2676 (java) R 2673 2655 32315 0 -1 64 8990 0 1 0 1734 12 0 0 25 0 9 0 245990872 671690752 11097 996147200 134512640 134550740 4294955808 18446744073709551615 4126869153 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2677] ppid=2673 vsize=655948 CPUtime=0.05 /proc/2674/task/2677/stat : 2677 (java) S 2673 2655 32315 0 -1 64 1505 0 0 0 5 0 0 0 17 0 9 0 245990874 671690752 11097 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2674/tid=2678] ppid=2673 vsize=655948 CPUtime=0 /proc/2674/task/2678/stat : 2678 (java) S 2673 2655 32315 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 245990874 671690752 11097 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/2663/statm: 49419 9526 2545 9 0 44001 0 [pid=4855] ppid=2663 vsize=5356 CPUtime=0 /proc/4855/stat : 4855 (choco) S 2663 2655 32315 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 246148569 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4855/statm: 1339 238 197 169 0 50 0 [pid=4856] ppid=4855 vsize=655624 CPUtime=194.41 /proc/4856/stat : 4856 (java) S 4855 2655 32315 0 -1 0 14901 0 1 0 19343 98 0 0 19 0 9 0 246148570 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4856/statm: 163906 14421 1939 9 0 158435 0 [pid=4856/tid=4857] ppid=4855 vsize=655624 CPUtime=193.92 /proc/4856/task/4857/stat : 4857 (java) R 4855 2655 32315 0 -1 64 12238 0 1 0 19297 95 0 0 25 0 9 0 246148571 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4127253067 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4858] ppid=4855 vsize=655624 CPUtime=0.08 /proc/4856/task/4858/stat : 4858 (java) S 4855 2655 32315 0 -1 64 1402 0 0 0 7 1 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4859] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4859/stat : 4859 (java) S 4855 2655 32315 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4860] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4860/stat : 4860 (java) S 4855 2655 32315 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4861] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4861/stat : 4861 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4862] ppid=4855 vsize=655624 CPUtime=0.38 /proc/4856/task/4862/stat : 4862 (java) S 4855 2655 32315 0 -1 64 714 0 0 0 38 0 0 0 16 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4863] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4863/stat : 4863 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4864] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4864/stat : 4864 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2664] ppid=2655 vsize=197676 CPUtime=1570.61 /proc/2663/task/2664/stat : 2664 (java) S 2655 2655 32315 0 -1 64 4069 13452 1 1 434 8 156583 36 16 0 10 0 245990288 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2663/tid=2665] ppid=2655 vsize=197676 CPUtime=1567.21 /proc/2663/task/2665/stat : 2665 (java) S 2655 2655 32315 0 -1 64 8604 13452 0 1 92 10 156583 36 16 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2663/tid=2666] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2666/stat : 2666 (java) S 2655 2655 32315 0 -1 64 11 13452 0 1 0 0 156583 36 16 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2667] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2667/stat : 2667 (java) S 2655 2655 32315 0 -1 64 5 13452 0 1 0 0 156583 36 15 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2668] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2668/stat : 2668 (java) S 2655 2655 32315 0 -1 64 1 13452 0 1 0 0 156583 36 24 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2669] ppid=2655 vsize=197676 CPUtime=1566.41 /proc/2663/task/2669/stat : 2669 (java) S 2655 2655 32315 0 -1 64 698 13452 0 1 22 0 156583 36 16 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2670] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2670/stat : 2670 (java) S 2655 2655 32315 0 -1 64 0 13452 0 1 0 0 156583 36 25 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2671] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2671/stat : 2671 (java) S 2655 2655 32315 0 -1 64 36 13452 0 1 0 0 156583 36 15 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=4854] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/4854/stat : 4854 (java) S 2655 2655 32315 0 -1 64 44 13452 0 1 0 0 156583 36 16 0 10 0 246148569 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1767.82 Current children cumulated vsize (KiB) 864016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1815.1 s] /proc/loadavg: 2.00 2.01 2.12 3/94 4864 /proc/meminfo: memFree=1520736/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=1.51 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 375 1343 0 0 0 0 150 1 18 0 1 0 245990133 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2655/statm: 1340 238 196 169 0 51 0 [pid=2663] ppid=2655 vsize=197676 CPUtime=1571.9 /proc/2663/stat : 2663 (java) S 2655 2655 32315 0 -1 0 14315 13452 1 1 550 21 156583 36 19 0 10 0 245990287 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2663/statm: 49419 9526 2545 9 0 44001 0 [pid=4855] ppid=2663 vsize=5356 CPUtime=0 /proc/4855/stat : 4855 (choco) S 2663 2655 32315 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 246148569 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4855/statm: 1339 238 197 169 0 50 0 [pid=4856] ppid=4855 vsize=655624 CPUtime=226.63 /proc/4856/stat : 4856 (java) S 4855 2655 32315 0 -1 0 14909 0 1 0 22550 113 0 0 19 0 9 0 246148570 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4856/statm: 163906 14421 1939 9 0 158435 0 [pid=4856/tid=4857] ppid=4855 vsize=655624 CPUtime=226.13 /proc/4856/task/4857/stat : 4857 (java) R 4855 2655 32315 0 -1 64 12246 0 1 0 22503 110 0 0 25 0 9 0 246148571 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4127255669 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4858] ppid=4855 vsize=655624 CPUtime=0.08 /proc/4856/task/4858/stat : 4858 (java) S 4855 2655 32315 0 -1 64 1402 0 0 0 7 1 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4859] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4859/stat : 4859 (java) S 4855 2655 32315 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4860] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4860/stat : 4860 (java) S 4855 2655 32315 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4861] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4861/stat : 4861 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4862] ppid=4855 vsize=655624 CPUtime=0.38 /proc/4856/task/4862/stat : 4862 (java) S 4855 2655 32315 0 -1 64 714 0 0 0 38 0 0 0 16 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4863] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4863/stat : 4863 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4864] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4864/stat : 4864 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2664] ppid=2655 vsize=197676 CPUtime=1570.61 /proc/2663/task/2664/stat : 2664 (java) S 2655 2655 32315 0 -1 64 4069 13452 1 1 434 8 156583 36 16 0 10 0 245990288 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2663/tid=2665] ppid=2655 vsize=197676 CPUtime=1567.21 /proc/2663/task/2665/stat : 2665 (java) S 2655 2655 32315 0 -1 64 8604 13452 0 1 92 10 156583 36 16 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2663/tid=2666] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2666/stat : 2666 (java) S 2655 2655 32315 0 -1 64 11 13452 0 1 0 0 156583 36 16 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2667] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2667/stat : 2667 (java) S 2655 2655 32315 0 -1 64 5 13452 0 1 0 0 156583 36 15 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2668] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2668/stat : 2668 (java) S 2655 2655 32315 0 -1 64 1 13452 0 1 0 0 156583 36 24 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2669] ppid=2655 vsize=197676 CPUtime=1566.41 /proc/2663/task/2669/stat : 2669 (java) S 2655 2655 32315 0 -1 64 698 13452 0 1 22 0 156583 36 16 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2670] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2670/stat : 2670 (java) S 2655 2655 32315 0 -1 64 0 13452 0 1 0 0 156583 36 25 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2671] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2671/stat : 2671 (java) S 2655 2655 32315 0 -1 64 36 13452 0 1 0 0 156583 36 15 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=4854] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/4854/stat : 4854 (java) S 2655 2655 32315 0 -1 64 44 13452 0 1 0 0 156583 36 16 0 10 0 246148569 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 864016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1815.1 s] /proc/loadavg: 2.00 2.01 2.12 3/94 4864 /proc/meminfo: memFree=1520736/2055920 swapFree=4181172/4192956 [pid=2655] ppid=2653 vsize=5360 CPUtime=1.51 /proc/2655/stat : 2655 (hydra) S 2653 2655 32315 0 -1 4194304 375 1343 0 0 0 0 150 1 18 0 1 0 245990133 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2655/statm: 1340 238 196 169 0 51 0 [pid=2663] ppid=2655 vsize=197676 CPUtime=1571.9 /proc/2663/stat : 2663 (java) S 2655 2655 32315 0 -1 0 14315 13452 1 1 550 21 156583 36 19 0 10 0 245990287 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2663/statm: 49419 9526 2545 9 0 44001 0 [pid=4855] ppid=2663 vsize=5356 CPUtime=0 /proc/4855/stat : 4855 (choco) S 2663 2655 32315 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 246148569 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/4855/statm: 1339 238 197 169 0 50 0 [pid=4856] ppid=4855 vsize=655624 CPUtime=226.63 /proc/4856/stat : 4856 (java) S 4855 2655 32315 0 -1 0 14909 0 1 0 22550 113 0 0 19 0 9 0 246148570 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/4856/statm: 163906 14421 1939 9 0 158435 0 [pid=4856/tid=4857] ppid=4855 vsize=655624 CPUtime=226.13 /proc/4856/task/4857/stat : 4857 (java) R 4855 2655 32315 0 -1 64 12246 0 1 0 22503 110 0 0 25 0 9 0 246148571 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4127255669 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4858] ppid=4855 vsize=655624 CPUtime=0.08 /proc/4856/task/4858/stat : 4858 (java) S 4855 2655 32315 0 -1 64 1402 0 0 0 7 1 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4859] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4859/stat : 4859 (java) S 4855 2655 32315 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4860] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4860/stat : 4860 (java) S 4855 2655 32315 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 246148572 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4861] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4861/stat : 4861 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4862] ppid=4855 vsize=655624 CPUtime=0.38 /proc/4856/task/4862/stat : 4862 (java) S 4855 2655 32315 0 -1 64 714 0 0 0 38 0 0 0 16 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4863] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4863/stat : 4863 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=4856/tid=4864] ppid=4855 vsize=655624 CPUtime=0 /proc/4856/task/4864/stat : 4864 (java) S 4855 2655 32315 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 246148574 671358976 14421 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2664] ppid=2655 vsize=197676 CPUtime=1570.61 /proc/2663/task/2664/stat : 2664 (java) S 2655 2655 32315 0 -1 64 4069 13452 1 1 434 8 156583 36 16 0 10 0 245990288 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2663/tid=2665] ppid=2655 vsize=197676 CPUtime=1567.21 /proc/2663/task/2665/stat : 2665 (java) S 2655 2655 32315 0 -1 64 8604 13452 0 1 92 10 156583 36 16 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2663/tid=2666] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2666/stat : 2666 (java) S 2655 2655 32315 0 -1 64 11 13452 0 1 0 0 156583 36 16 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2667] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2667/stat : 2667 (java) S 2655 2655 32315 0 -1 64 5 13452 0 1 0 0 156583 36 15 0 10 0 245990289 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2668] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2668/stat : 2668 (java) S 2655 2655 32315 0 -1 64 1 13452 0 1 0 0 156583 36 24 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2669] ppid=2655 vsize=197676 CPUtime=1566.41 /proc/2663/task/2669/stat : 2669 (java) S 2655 2655 32315 0 -1 64 698 13452 0 1 22 0 156583 36 16 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2670] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2670/stat : 2670 (java) S 2655 2655 32315 0 -1 64 0 13452 0 1 0 0 156583 36 25 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=2671] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/2671/stat : 2671 (java) S 2655 2655 32315 0 -1 64 36 13452 0 1 0 0 156583 36 15 0 10 0 245990291 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2663/tid=4854] ppid=2655 vsize=197676 CPUtime=1566.19 /proc/2663/task/4854/stat : 4854 (java) S 2655 2655 32315 0 -1 64 44 13452 0 1 0 0 156583 36 16 0 10 0 246148569 202420224 9526 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 864016 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2655 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=504771 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=19996 # CPU time returned by wait4() is 1.52477 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1815.13 CPU time (s): 1800.04 CPU user time (s): 1798.33 CPU system time (s): 1.71 CPU usage (%): 99.1684 Max. virtual memory (cumulated for all children) (KiB): 871060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.50477 system time used= 0.019996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1718 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= 29 involuntary context switches= 55 runsolver used 3.88841 second user time and 11.6872 second system time The end
Begin job on node85 at 2008-07-03 04:01:14 IDJOB=1050618 IDBENCH=55369 IDSOLVER=366 FILE ID=node85/1050618-1215050474 PBS_JOBID= 7875008 Free space on /tmp= 126848 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/golombRulerArity3/normalized-ruler-67-11-a3.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1050618-1215050474/watcher-1050618-1215050474 -o /tmp/evaluation-result-1050618-1215050474/solver-1050618-1215050474 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1050618-1215050474.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 485c8fe818a9857f587d4656422ed032 RANDOM SEED=1098397358 node85.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.272 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.272 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: 1699056 kB Buffers: 34544 kB Cached: 176708 kB SwapCached: 5532 kB Active: 200688 kB Inactive: 95160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1699056 kB SwapTotal: 4192956 kB SwapFree: 4181172 kB Dirty: 24572 kB Writeback: 0 kB Mapped: 100748 kB Slab: 46396 kB Committed_AS: 1314460 kB PageTables: 1704 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= 126828 MiB End job on node85 at 2008-07-03 04:31:31