Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.02 | 1806.03 |
Name | csp/ramsey4/ normalized-ramsey-45-4.xml |
MD5SUM | 3e8236e6ba39e4fd04a7c847b9b657af |
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 | 990 |
Number of constraints | 14190 |
Maximum constraint arity | 3 |
Maximum domain size | 4 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 14190 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.31/7.44 c CASE TO CLASSIFY: 7.31/7.44 c Case: 0 7.31/7.45 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.497000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.280480 | c 14 > 11.909100 | c 11 > 9.951280 | c 12 > 7.066610 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 13.792600 | 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.951300 | c 31 > -1.000000 | c 4 > 9.951280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.31/7.45 c choco : 1801.0 7.31/7.45 c mistral : 1801.0 7.31/7.45 c abscon : 1801.0 7.31/7.45 c 7.31/7.45 c 7.40/7.52 c List of same ones: 40 7.40/7.52 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml 7.40/7.52 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 12.546900 | 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.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.53 c choco : 1801.0 7.40/7.53 c mistral : 26.38 7.40/7.53 c abscon : 9.93749 7.40/7.53 c 7.40/7.53 c 7.40/7.53 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml 7.40/7.53 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 12.413600 | 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.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.54 c choco : 1801.0 7.40/7.54 c mistral : 20.05 7.40/7.54 c abscon : 4.68729 7.40/7.54 c 7.40/7.54 c 7.40/7.54 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml 7.40/7.54 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 12.276100 | 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.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.55 c choco : 1801.0 7.40/7.55 c mistral : 3.82 7.40/7.55 c abscon : 2.82057 7.40/7.55 c 7.40/7.55 c 7.40/7.55 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml 7.40/7.55 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.659700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.011290 | c 14 > 11.151700 | c 11 > 9.216750 | c 12 > 6.484070 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 12.676200 | 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.216700 | c 31 > -1.000000 | c 4 > 9.216750 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.56 c choco : 1801.0 7.40/7.56 c mistral : 1053.11 7.40/7.56 c abscon : 4.93525 7.40/7.56 c 7.40/7.56 c 7.40/7.56 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml 7.40/7.56 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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.129280 | 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.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.57 c choco : 11.33 7.40/7.57 c mistral : 0.71 7.40/7.57 c abscon : 1.44378 7.40/7.57 c 7.40/7.57 c 7.40/7.57 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml 7.40/7.57 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.187400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.029710 | c 14 > 8.285400 | c 11 > 8.764870 | c 12 > 4.249850 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 11.987300 | 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.764900 | c 31 > -1.000000 | c 4 > 8.764870 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.58 c choco : 6.47 7.40/7.58 c mistral : 0.41 7.40/7.58 c abscon : 2.32765 7.40/7.58 c 7.40/7.58 c 7.40/7.58 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml 7.40/7.58 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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.829720 | 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.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.58 c choco : 2.57 7.40/7.58 c mistral : 0.23 7.40/7.58 c abscon : 1.16082 7.40/7.58 c 7.40/7.58 c 7.40/7.58 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml 7.40/7.58 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.462300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.824500 | c 14 > 8.022370 | c 11 > 8.228820 | c 12 > 3.986710 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 11.167400 | 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.228800 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.59 c choco : 4.54 7.40/7.59 c mistral : 0.22 7.40/7.59 c abscon : 1.44478 7.40/7.59 c 7.40/7.59 c 7.40/7.59 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml 7.40/7.59 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.540600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 4.542180 | c 14 > 6.209450 | c 11 > 6.044390 | c 12 > 5.198780 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.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 > -1.000000 | c 2 > -1.000000 | c 10 > 10.044400 | 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.044390 | c 31 > -1.000000 | c 4 > 6.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.40/7.60 c choco : 2.93 7.40/7.60 c mistral : 1800.03 7.40/7.60 c abscon : 753.112 7.40/7.60 c 7.40/7.60 c 7.40/7.60 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml 7.40/7.60 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 7.044390 | 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 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.48/7.61 c choco : 7.04 7.48/7.61 c mistral : 0.39 7.48/7.61 c abscon : 1.11383 7.48/7.61 c 7.48/7.61 c 7.48/7.61 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-13-3.xml 7.48/7.61 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.997200 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.840080 | c 14 > 5.781360 | c 11 > 6.285400 | c 12 > 2.957770 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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.159870 | 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 > 7.870360 | c 31 > -1.000000 | c 4 > 6.285400 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.79 c choco : 1.92 7.58/7.79 c mistral : 0.03 7.58/7.79 c abscon : 0.867867 7.58/7.79 c 7.58/7.79 c 7.58/7.79 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-10-3.xml 7.58/7.79 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 9.375040 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 1.310420 | c 14 > 5.321930 | c 11 > 5.491850 | c 12 > 2.485430 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 6.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 > 7.076820 | c 31 > -1.000000 | c 4 > 5.491850 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.81 c choco : 1.46 7.68/7.81 c mistral : 0.02 7.68/7.81 c abscon : 0.777881 7.68/7.81 c 7.68/7.81 c 7.68/7.81 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-23-3.xml 7.68/7.81 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 10.115000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.705710 | c 14 > 3.807350 | c 11 > 4.523560 | c 12 > 3.498810 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 6.918860 | 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 > 6.108520 | c 31 > -1.000000 | c 4 > 4.523560 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.81 c choco : 1.45 7.68/7.81 c mistral : 0.08 7.68/7.81 c abscon : 0.737886 7.68/7.81 c 7.68/7.81 c 7.68/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/37s-smv.xml 7.68/7.81 c 19 > 87.995000 | c 35 > 26.587100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.549300 | c 15 > 19.437700 | c 34 > 42.721600 | c 16 > 11.000000 | c 13 > 4.848390 | c 14 > 9.807350 | c 11 > 11.935500 | c 12 > 3.277080 | c 21 > 1.393860 | c 20 > 12.005000 | 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 > 12.492900 | c 1 > 10.131900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.574100 | c 6 > 3.584960 | c 32 > -1.000000 | c 5 > 16.299000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.82 c choco : 1801.0 7.68/7.82 c mistral : 21.11 7.68/7.82 c abscon : 101.771 7.68/7.82 c 7.68/7.82 c 7.68/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf9.xml 7.68/7.82 c 19 > 96.824300 | c 35 > 26.551200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.515100 | c 15 > 19.485000 | c 34 > 42.158000 | c 16 > 13.000000 | c 13 > 6.330600 | c 14 > 8.903880 | c 11 > 14.319400 | c 12 > 3.231970 | c 21 > 1.414200 | c 20 > 3.175740 | 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.576900 | c 1 > 14.319400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.329200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.949700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.83 c choco : 1801.0 7.68/7.83 c mistral : 486.27 7.68/7.83 c abscon : 1800.1 7.68/7.83 c 7.68/7.83 c 7.68/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv8-ucl.xml 7.68/7.83 c 19 > 87.661300 | c 35 > 24.972600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.627600 | c 15 > 19.261800 | c 34 > 39.123500 | c 16 > 9.000000 | c 13 > 4.107600 | c 14 > 8.661780 | c 11 > 12.759700 | c 12 > 2.349210 | c 21 > 1.414210 | c 20 > 12.338700 | 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.356900 | c 1 > 11.201500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.161100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.786300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.83 c choco : 9.84 7.68/7.83 c mistral : 1.89971 7.68/7.83 c abscon : 16.4835 7.68/7.83 c 7.68/7.83 c 7.68/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv10-ucl.xml 7.68/7.83 c 19 > 91.196100 | c 35 > 23.971400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.415800 | c 15 > 19.128100 | c 34 > 37.234200 | c 16 > 9.000000 | c 13 > 3.298200 | c 14 > 7.257390 | c 11 > 14.211400 | c 12 > 2.114260 | c 21 > 1.412310 | c 20 > 8.803860 | 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.053800 | c 1 > 13.117800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 16.691200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.84 c choco : 1801.0 7.68/7.84 c mistral : 6.01008 7.68/7.84 c abscon : 91.5061 7.68/7.84 c 7.68/7.84 c 7.68/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml 7.68/7.84 c 19 > 84.617700 | c 35 > 27.276000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.976700 | c 15 > 17.621300 | c 34 > 43.879900 | c 16 > 11.000000 | c 13 > 4.848120 | c 14 > 8.252670 | c 11 > 12.330900 | c 12 > 2.439020 | c 21 > 1.410480 | c 20 > 15.382300 | 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 > 12.744400 | c 1 > 10.359700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.983000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.359300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.85 c choco : 7.85 7.68/7.85 c mistral : 0.439932 7.68/7.85 c abscon : 5.2372 7.68/7.85 c 7.68/7.85 c 7.68/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml 7.68/7.85 c 19 > 84.827600 | c 35 > 26.211000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.105500 | c 15 > 19.134800 | c 34 > 41.578100 | c 16 > 9.000000 | c 13 > 5.711110 | c 14 > 9.002820 | c 11 > 12.712500 | c 12 > 3.225330 | c 21 > 1.410880 | c 20 > 15.172400 | 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.149400 | c 1 > 10.803300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.264700 | c 6 > 2.000000 | c 32 > -1.000000 | c 5 > 16.034100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.86 c choco : 28.2 7.68/7.86 c mistral : 5.10822 7.68/7.86 c abscon : 56.1605 7.68/7.86 c 7.68/7.86 c 7.68/7.86 c /home/eomahony/cpZilla/CSP/zhou/schur.xml 7.68/7.86 c 19 > 100.000000 | c 35 > 29.818200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 14.850400 | c 34 > 40.000000 | c 16 > 3.000000 | c 13 > 4.983360 | c 14 > 5.906890 | c 11 > 6.781360 | c 12 > 5.768670 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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.562700 | 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.103290 | c 31 > -1.000000 | c 4 > 6.781360 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.87 c choco : 5.74 7.68/7.87 c mistral : 0.291955 7.68/7.87 c abscon : 2.07068 7.68/7.87 c 7.68/7.87 c 7.68/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-diamond.xml 7.68/7.87 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 3.459430 | c 34 > 40.000000 | c 16 > 2.000000 | c 13 > 1.321930 | c 14 > 0.000000 | c 11 > 1.000000 | c 12 > 2.169930 | c 21 > 1.414210 | c 20 > 0.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 > 2.000000 | 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 > 2.000000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.87 c choco : 1.01 7.68/7.87 c mistral : 0.01 7.68/7.87 c abscon : 0.640901 7.68/7.87 c 7.68/7.87 c 7.68/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf8.xml 7.68/7.87 c 19 > 85.716000 | c 35 > 27.034100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.511400 | c 15 > 19.405500 | c 34 > 43.254200 | c 16 > 11.000000 | c 13 > 5.621090 | c 14 > 8.294620 | c 11 > 12.559600 | c 12 > 3.361290 | c 21 > 1.412930 | c 20 > 14.284000 | 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.024200 | c 1 > 12.559600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.217800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.859300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.88 c choco : 105.94 7.68/7.88 c mistral : 13.16 7.68/7.88 c abscon : 104.611 7.68/7.88 c 7.68/7.88 c 7.68/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf7.xml 7.68/7.88 c 19 > 85.443800 | c 35 > 26.109400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.095100 | c 15 > 19.030500 | c 34 > 41.303600 | c 16 > 11.000000 | c 13 > 5.954350 | c 14 > 8.581200 | c 11 > 13.676400 | c 12 > 2.553270 | c 21 > 1.412320 | c 20 > 14.556200 | 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.214900 | c 1 > 11.859500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.302200 | c 6 > 2.321930 | c 32 > -1.000000 | c 5 > 17.739800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.88 c choco : 782.2 7.68/7.88 c mistral : 251.58 7.68/7.88 c abscon : 320.647 7.68/7.88 c 7.68/7.88 c 7.68/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml 7.68/7.88 c 19 > 96.228700 | c 35 > 31.725800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.526000 | c 15 > 18.840600 | c 34 > 53.130800 | c 16 > 29.000000 | c 13 > 3.183720 | c 14 > 10.765700 | c 11 > 12.186700 | c 12 > 4.473390 | c 21 > 1.414210 | c 20 > 3.771280 | 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.608100 | c 1 > 12.186700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.232600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.268800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.89 c choco : 1801.0 7.68/7.89 c mistral : 554.94 7.68/7.89 c abscon : 1800.07 7.68/7.89 c 7.68/7.89 c 7.68/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml 7.68/7.89 c 19 > 96.152600 | c 35 > 31.743800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.514400 | c 15 > 18.917900 | c 34 > 53.167200 | c 16 > 29.000000 | c 13 > 3.193410 | c 14 > 10.755700 | c 11 > 12.177400 | c 12 > 4.449120 | c 21 > 1.414210 | c 20 > 3.847390 | 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.580100 | c 1 > 12.177400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.217200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.241600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.89 c choco : 1801.0 7.68/7.89 c mistral : 926.13 7.68/7.89 c abscon : 1800.08 7.68/7.89 c 7.68/7.89 c 7.68/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml 7.68/7.89 c 19 > 81.899000 | c 35 > 34.137800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.248800 | c 15 > 19.683600 | c 34 > 57.433700 | c 16 > 15.000000 | c 13 > 8.543310 | c 14 > 10.347600 | c 11 > 11.964000 | c 12 > 5.683650 | c 21 > 1.337030 | c 20 > 18.101000 | 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.377800 | c 1 > 11.964000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.025600 | c 6 > 8.285400 | c 32 > -1.000000 | c 5 > 21.753700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.68/7.90 c choco : 1801.0 7.68/7.90 c mistral : 7.27 7.68/7.90 c abscon : 1800.14 7.68/7.90 c 7.68/7.90 c 7.68/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-98.xml 7.75/7.90 c 19 > 81.888200 | c 35 > 35.038500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.132900 | c 15 > 14.612200 | c 34 > 43.227400 | c 16 > 18.000000 | c 13 > 0.304654 | c 14 > 6.266790 | c 11 > 11.374000 | c 12 > 0.712184 | c 21 > 1.413820 | c 20 > 18.111800 | 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.343700 | c 1 > 9.821770 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.772300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.889000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.90 c choco : 3.35 7.75/7.90 c mistral : 0.159974 7.75/7.90 c abscon : 1.38479 7.75/7.90 c 7.75/7.90 c 7.75/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-100.xml 7.75/7.90 c 19 > 82.015100 | c 35 > 35.593200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.209000 | c 15 > 14.716000 | c 34 > 43.794700 | c 16 > 20.000000 | c 13 > 0.316783 | c 14 > 6.426260 | c 11 > 11.440900 | c 12 > 0.715530 | c 21 > 1.413830 | c 20 > 17.984900 | 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.408300 | c 1 > 9.865730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.851000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.985300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.91 c choco : 3.46 7.75/7.91 c mistral : 0.165974 7.75/7.91 c abscon : 1.48277 7.75/7.91 c 7.75/7.91 c 7.75/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-100.xml 7.75/7.91 c 19 > 80.400000 | c 35 > 33.780000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.240000 | c 15 > 13.281900 | c 34 > 41.820000 | c 16 > 16.000000 | c 13 > 0.325073 | c 14 > 5.781360 | c 11 > 10.253800 | c 12 > 0.694520 | c 21 > 1.413400 | c 20 > 19.600000 | 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.215500 | c 1 > 8.761550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.620220 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.594100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.91 c choco : 2.44 7.75/7.91 c mistral : 0.067988 7.75/7.91 c abscon : 1.14282 7.75/7.91 c 7.75/7.91 c 7.75/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-98.xml 7.75/7.91 c 19 > 83.428400 | c 35 > 36.655300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.057000 | c 15 > 17.235500 | c 34 > 44.998100 | c 16 > 22.000000 | c 13 > 0.341304 | c 14 > 8.823370 | c 11 > 13.799600 | c 12 > 0.730699 | c 21 > 1.414140 | c 20 > 16.571600 | 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.775800 | c 1 > 12.174600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.234200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.478800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.92 c choco : 9.0 7.75/7.92 c mistral : 1.57 7.75/7.92 c abscon : 4.20736 7.75/7.92 c 7.75/7.92 c 7.75/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-98.xml 7.75/7.92 c 19 > 79.831900 | c 35 > 33.655500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 47.899200 | c 15 > 13.155300 | c 34 > 41.638700 | c 16 > 16.000000 | c 13 > 0.306703 | c 14 > 5.426260 | c 11 > 10.174900 | c 12 > 0.695439 | c 21 > 1.413350 | c 20 > 20.168100 | 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.137000 | c 1 > 8.679480 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.543030 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.478800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.92 c choco : 2.37 7.75/7.92 c mistral : 0.066989 7.75/7.92 c abscon : 1.19982 7.75/7.92 c 7.75/7.92 c 7.75/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-100.xml 7.75/7.92 c 19 > 83.121800 | c 35 > 36.849800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.873100 | c 15 > 17.267300 | c 34 > 45.162000 | c 16 > 23.000000 | c 13 > 0.356037 | c 14 > 8.954200 | c 11 > 13.814000 | c 12 > 0.734359 | c 21 > 1.414140 | c 20 > 16.878200 | 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.791000 | c 1 > 12.172400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.256500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.507700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.93 c choco : 8.83 7.75/7.93 c mistral : 1.53 7.75/7.93 c abscon : 3.86341 7.75/7.93 c 7.75/7.93 c 7.75/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.5-100.xml 7.75/7.93 c 19 > 79.523800 | c 35 > 33.833300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 47.714300 | c 15 > 13.153200 | c 34 > 41.785700 | c 16 > 18.000000 | c 13 > 0.295546 | c 14 > 5.491850 | c 11 > 10.019600 | c 12 > 0.684313 | c 21 > 1.413260 | c 20 > 20.476200 | 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.967230 | c 1 > 8.535280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.381540 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.446300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.94 c choco : 2.29 7.75/7.94 c mistral : 0.064989 7.75/7.94 c abscon : 1.10083 7.75/7.94 c 7.75/7.94 c 7.75/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf6.xml 7.75/7.94 c 19 > 76.335900 | c 35 > 26.946600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 52.442700 | c 15 > 9.592460 | c 34 > 43.358800 | c 16 > 7.000000 | c 13 > 1.245600 | c 14 > 1.584960 | c 11 > 7.888740 | c 12 > 1.428670 | c 21 > 1.392950 | c 20 > 23.664100 | 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.076820 | c 1 > 5.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.442940 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.579300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.94 c choco : 1.54 7.75/7.94 c mistral : 0.02 7.75/7.94 c abscon : 0.748886 7.75/7.94 c 7.75/7.94 c 7.75/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.5-100.xml 7.75/7.94 c 19 > 84.954300 | c 35 > 37.254800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.972600 | c 15 > 17.510000 | c 34 > 45.750300 | c 16 > 27.000000 | c 13 > 0.343706 | c 14 > 8.577430 | c 11 > 13.786800 | c 12 > 0.737149 | c 21 > 1.414130 | c 20 > 15.045700 | 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.759800 | c 1 > 12.118300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.241800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.713900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.95 c choco : 8.64 7.75/7.95 c mistral : 1.51 7.75/7.95 c abscon : 4.21336 7.75/7.95 c 7.75/7.95 c 7.75/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.5-100.xml 7.75/7.95 c 19 > 80.023100 | c 35 > 35.034600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.013900 | c 15 > 14.422500 | c 34 > 43.037000 | c 16 > 20.000000 | c 13 > 0.307201 | c 14 > 6.686500 | c 11 > 11.135700 | c 12 > 0.695202 | c 21 > 1.413760 | c 20 > 19.976900 | 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.082100 | c 1 > 9.598050 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.526500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.693700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.95 c choco : 3.1 7.75/7.95 c mistral : 0.133979 7.75/7.96 c abscon : 1.3158 7.75/7.96 c 7.75/7.96 c 7.75/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-100.xml 7.75/7.96 c 19 > 83.402500 | c 35 > 37.196200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.041500 | c 15 > 18.523500 | c 34 > 45.536500 | c 16 > 24.000000 | c 13 > 0.360403 | c 14 > 9.924810 | c 11 > 13.421900 | c 12 > 1.654670 | c 21 > 1.414180 | c 20 > 16.597500 | 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.058100 | c 1 > 13.421900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.530600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.765900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.96 c choco : 21.59 7.75/7.96 c mistral : 2.67 7.75/7.96 c abscon : 27.9078 7.75/7.96 c 7.75/7.96 c 7.75/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-98.xml 7.75/7.96 c 19 > 83.754300 | c 35 > 37.136600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.252600 | c 15 > 18.553600 | c 34 > 45.512000 | c 16 > 25.000000 | c 13 > 0.359948 | c 14 > 9.911390 | c 11 > 13.423800 | c 12 > 1.642270 | c 21 > 1.414180 | c 20 > 16.245700 | 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.049700 | c 1 > 13.423800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.518600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.789700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.97 c choco : 23.15 7.75/7.97 c mistral : 2.66 7.75/7.97 c abscon : 28.4847 7.75/7.97 c 7.75/7.97 c 7.75/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml 7.75/7.97 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.97 c choco : 3.29 7.75/7.97 c mistral : 0.25796 7.75/7.97 c abscon : 1.26581 7.75/7.97 c 7.75/7.97 c 7.75/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml 7.75/7.97 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | 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.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.98 c choco : 3.26 7.75/7.98 c mistral : 0.25996 7.75/7.98 c abscon : 1.22581 7.75/7.98 c 7.75/7.98 c 7.75/7.98 c Length: 40 7.75/7.98 c 2.22132183778038 2.3672982853033124 2.4654641997806426 2.4677878595008944 8.966686936131985 9.182024110548829 9.48399830608378 10.32328407758403 12.05275548634834 12.410213039807173 16.172797567010477 18.648000782276902 18.91247729339549 30.144130484616735 31.048602726481914 31.82236615903663 32.20977959327881 33.129170435733826 33.13778571025831 33.37351007752706 33.887171333925174 34.142331076461375 34.37907045742656 36.2947647189977 36.2963915885326 40.31494402392616 40.36053871944789 40.99457686558686 41.13772436578316 41.63954941010165 41.85051895333282 42.39979000711855 42.783890494349215 42.81013962703462 42.85952741872333 43.018312277602256 43.35835047534591 43.53242376502857 44.149649876595845 44.149649876595845 7.75/7.98 c 7.75/7.98 c 1.0 0.9965305083635944 0.9942108593667888 0.9941560823897149 0.8614166161720556 0.8576224108270121 0.8523576304026816 0.8380588600489073 0.8100564351909604 0.8045004827494296 0.7503306241528331 0.7185043787383296 0.7152626659154898 0.6002526233395998 0.5925795661198734 0.5861693826663604 0.5830117068737314 0.5756525119091623 0.57558443011099 0.5737278576275598 0.5697234406743358 0.5677549668626743 0.5659407263810976 0.5516756719120589 0.5516638631723199 0.5239603373942361 0.5236619666614669 0.5195477764569028 0.5186278406130832 0.5154284373052825 0.5140951489081562 0.5106559989567802 0.5082782430362589 0.5081165570871307 0.5078126233554499 0.5068379162498222 0.5047631132454701 0.5037075344690546 0.5 0.5 7.75/7.99 c 7.75/7.99 c solver 0 7.75/7.99 c before 0.0 seconds: {} 0 7.75/7.99 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 15, 17, 19, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39} 18821 7.75/7.99 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 15, 17, 19, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19829 7.75/7.99 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 15, 17, 18, 19, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20405 7.75/7.99 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22156 7.75/7.99 c before 324.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22722 7.75/7.99 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23532 7.75/7.99 c 7.75/7.99 c solver 1 7.75/7.99 c before 0.0 seconds: {} 0 7.75/7.99 c before 18.0 seconds: {2, 4, 5, 6, 7, 9, 10, 11, 12, 15, 16, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19089 7.75/8.00 c before 36.0 seconds: {0, 1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21686 7.75/8.00 c before 252.0 seconds: {0, 1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22252 7.75/8.00 c before 504.0 seconds: {0, 1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 22844 7.75/8.00 c before 558.0 seconds: {0, 1, 2, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23396 7.75/8.00 c before 936.0 seconds: {0, 1, 2, 4, 5, 6, 7, 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} 23948 7.75/8.00 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 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} 24942 7.75/8.00 c 7.75/8.00 c solver 2 7.75/8.00 c before 0.0 seconds: {} 0 7.75/8.00 c before 18.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 19, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39} 15646 7.75/8.00 c before 36.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17230 7.75/8.00 c before 108.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17798 7.75/8.00 c before 792.0 seconds: {4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18364 7.75/8.00 c 7.75/8.00 cTotal time: 145 7.81/8.00 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23532 7.81/8.00 c run mistral for 936.0 seconds {0, 1, 2, 4, 5, 6, 7, 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} 23948 7.81/8.00 c run choco for 108.0 seconds {4, 5, 6, 7, 8, 9, 10, 11, 12, 15, 17, 18, 19, 20, 21, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17798 7.81/8.00 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.81/8.00 c On Instance: HOME/instance-1051892-1215054997.xml 7.81/8.00 c Running for: 756 seconds 764.66/770.23 c Starting solver: HOME/cpHydra_k_40/solver/mistral 764.66/770.23 c On Instance: HOME/instance-1051892-1215054997.xml 764.66/770.23 c Running for: 936 seconds 1700.47/1706.47 c Starting solver: HOME/cpHydra_k_40/solver/choco 1700.47/1706.47 c On Instance: HOME/instance-1051892-1215054997.xml 1700.47/1706.47 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-1051892-1215054997/watcher-1051892-1215054997 -o /tmp/evaluation-result-1051892-1215054997/solver-1051892-1215054997 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1051892-1215054997.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/82 26741 /proc/meminfo: memFree=1602672/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=0 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 239973587 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26741/statm: 1340 236 195 169 0 51 0 [pid=26742] ppid=26741 vsize=5360 CPUtime=0 /proc/26742/stat : 26742 (hydra) R 26741 26741 21001 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 239973587 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 224264776999 0 0 4096 0 0 0 0 17 1 0 0 /proc/26742/statm: 1340 239 198 169 0 51 0 [startup+0.010388 s] /proc/loadavg: 2.00 2.00 2.00 4/82 26741 /proc/meminfo: memFree=1602672/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=0 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 239973587 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26741/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101404 s] /proc/loadavg: 2.00 2.00 2.00 4/82 26741 /proc/meminfo: memFree=1602672/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=0 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 239973587 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26741/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30142 s] /proc/loadavg: 2.00 2.00 2.00 4/82 26741 /proc/meminfo: memFree=1602672/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=0 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 239973587 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26741/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701466 s] /proc/loadavg: 2.00 2.00 2.00 4/82 26741 /proc/meminfo: memFree=1602672/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=0 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 239973587 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26741/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50155 s] /proc/loadavg: 2.00 2.00 2.00 3/84 26745 /proc/meminfo: memFree=1584672/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=0 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 239973587 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26741/statm: 1340 236 195 169 0 51 0 [pid=26745] ppid=26741 vsize=22216 CPUtime=1.48 /proc/26745/stat : 26745 (xsolve) R 26741 26741 21001 0 -1 4194304 4883 0 0 0 146 2 0 0 25 0 1 0 239973587 22749184 4842 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/26745/statm: 5554 4842 413 177 0 4457 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27576 [startup+3.10172 s] /proc/loadavg: 2.00 2.00 2.00 3/84 26745 /proc/meminfo: memFree=1584544/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=2.22 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 375 5479 0 0 0 0 219 3 19 0 1 0 239973587 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26741/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 5360 [startup+6.30107 s] /proc/loadavg: 2.00 2.00 2.00 3/92 26757 /proc/meminfo: memFree=1583584/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=2.22 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 375 5479 0 0 0 0 219 3 19 0 1 0 239973587 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26741/statm: 1340 238 196 169 0 51 0 [pid=26749] ppid=26741 vsize=197020 CPUtime=4 /proc/26749/stat : 26749 (java) S 26741 26741 21001 0 -1 0 9740 0 1 0 387 13 0 0 20 0 9 0 239973812 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26749/statm: 49255 8073 2541 9 0 43837 0 [pid=26749/tid=26750] ppid=26741 vsize=197020 CPUtime=3.09 /proc/26749/task/26750/stat : 26750 (java) R 26741 26741 21001 0 -1 64 3507 0 1 0 305 4 0 0 25 0 9 0 239973813 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 103030873 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26751] ppid=26741 vsize=197020 CPUtime=0.71 /proc/26749/task/26751/stat : 26751 (java) S 26741 26741 21001 0 -1 64 4878 0 0 0 64 7 0 0 16 0 9 0 239973814 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26752] ppid=26741 vsize=197020 CPUtime=0 /proc/26749/task/26752/stat : 26752 (java) S 26741 26741 21001 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 239973814 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26753] ppid=26741 vsize=197020 CPUtime=0 /proc/26749/task/26753/stat : 26753 (java) S 26741 26741 21001 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 239973814 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26754] ppid=26741 vsize=197020 CPUtime=0 /proc/26749/task/26754/stat : 26754 (java) S 26741 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 239973816 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26755] ppid=26741 vsize=197020 CPUtime=0.16 /proc/26749/task/26755/stat : 26755 (java) S 26741 26741 21001 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 239973816 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26756] ppid=26741 vsize=197020 CPUtime=0 /proc/26749/task/26756/stat : 26756 (java) S 26741 26741 21001 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 239973816 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26757] ppid=26741 vsize=197020 CPUtime=0 /proc/26749/task/26757/stat : 26757 (java) S 26741 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 239973816 201748480 8073 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 202380 [startup+12.7028 s] /proc/loadavg: 2.00 2.00 2.00 3/104 26769 /proc/meminfo: memFree=1507584/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=2.22 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 375 5479 0 0 0 0 219 3 19 0 1 0 239973587 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26741/statm: 1340 238 196 169 0 51 0 [pid=26749] ppid=26741 vsize=197344 CPUtime=5.59 /proc/26749/stat : 26749 (java) S 26741 26741 21001 0 -1 0 13929 0 1 0 539 20 0 0 20 0 10 0 239973812 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26749/statm: 49336 9478 2544 9 0 43918 0 [pid=26759] ppid=26749 vsize=5356 CPUtime=0 /proc/26759/stat : 26759 (abscon) S 26749 26741 21001 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 239974387 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26759/statm: 1339 237 196 169 0 50 0 [pid=26760] ppid=26759 vsize=655944 CPUtime=4.64 /proc/26760/stat : 26760 (java) S 26759 26741 21001 0 -1 0 22659 0 1 0 402 62 0 0 18 0 9 0 239974388 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26760/statm: 163986 21937 2615 9 0 158514 0 [pid=26760/tid=26762] ppid=26759 vsize=655944 CPUtime=3.81 /proc/26760/task/26762/stat : 26762 (java) R 26759 26741 21001 0 -1 64 12527 0 1 0 324 57 0 0 25 0 9 0 239974389 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4126598384 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26763] ppid=26759 vsize=655944 CPUtime=0.55 /proc/26760/task/26763/stat : 26763 (java) S 26759 26741 21001 0 -1 64 8873 0 0 0 51 4 0 0 16 0 9 0 239974390 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26764] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26764/stat : 26764 (java) S 26759 26741 21001 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 239974390 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26765] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26765/stat : 26765 (java) S 26759 26741 21001 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 239974390 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26766] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26766/stat : 26766 (java) S 26759 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 239974392 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26767] ppid=26759 vsize=655944 CPUtime=0.25 /proc/26760/task/26767/stat : 26767 (java) S 26759 26741 21001 0 -1 64 703 0 0 0 25 0 0 0 15 0 9 0 239974392 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26768] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26768/stat : 26768 (java) S 26759 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 239974392 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26769] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26769/stat : 26769 (java) S 26759 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 239974392 671686656 21937 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26761] ppid=26759 vsize=7044 CPUtime=0 /proc/26761/stat : 26761 (translate) S 26759 26741 21001 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 239974388 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 224264945746 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 1761 213 182 1 0 41 0 [pid=26749/tid=26750] ppid=26741 vsize=197344 CPUtime=4.27 /proc/26749/task/26750/stat : 26750 (java) S 26741 26741 21001 0 -1 64 3901 0 1 0 420 7 0 0 25 0 10 0 239973813 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26749/tid=26751] ppid=26741 vsize=197344 CPUtime=1.06 /proc/26749/task/26751/stat : 26751 (java) S 26741 26741 21001 0 -1 64 8561 0 0 0 96 10 0 0 16 0 10 0 239973814 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26752] ppid=26741 vsize=197344 CPUtime=0 /proc/26749/task/26752/stat : 26752 (java) S 26741 26741 21001 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 239973814 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26753] ppid=26741 vsize=197344 CPUtime=0 /proc/26749/task/26753/stat : 26753 (java) S 26741 26741 21001 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 239973814 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26754] ppid=26741 vsize=197344 CPUtime=0 /proc/26749/task/26754/stat : 26754 (java) S 26741 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 239973816 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26755] ppid=26741 vsize=197344 CPUtime=0.23 /proc/26749/task/26755/stat : 26755 (java) S 26741 26741 21001 0 -1 64 668 0 0 0 22 1 0 0 16 0 10 0 239973816 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26756] ppid=26741 vsize=197344 CPUtime=0 /proc/26749/task/26756/stat : 26756 (java) S 26741 26741 21001 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 239973816 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26757] ppid=26741 vsize=197344 CPUtime=0 /proc/26749/task/26757/stat : 26757 (java) S 26741 26741 21001 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 239973816 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26758] ppid=26741 vsize=197344 CPUtime=0 /proc/26749/task/26758/stat : 26758 (java) S 26741 26741 21001 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 239974387 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 871048 [startup+25.5021 s] /proc/loadavg: 2.00 2.00 2.00 3/104 26769 /proc/meminfo: memFree=1492288/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=2.22 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 375 5479 0 0 0 0 219 3 19 0 1 0 239973587 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26741/statm: 1340 238 196 169 0 51 0 [pid=26749] ppid=26741 vsize=197344 CPUtime=5.59 /proc/26749/stat : 26749 (java) S 26741 26741 21001 0 -1 0 13951 0 1 0 539 20 0 0 20 0 10 0 239973812 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26749/statm: 49336 9478 2544 9 0 43918 0 [pid=26759] ppid=26749 vsize=5356 CPUtime=0 /proc/26759/stat : 26759 (abscon) S 26749 26741 21001 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 239974387 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26759/statm: 1339 237 196 169 0 50 0 [pid=26760] ppid=26759 vsize=655944 CPUtime=17.38 /proc/26760/stat : 26760 (java) S 26759 26741 21001 0 -1 0 23505 0 1 0 1674 64 0 0 18 0 9 0 239974388 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26760/statm: 163986 22771 2616 9 0 158514 0 [pid=26760/tid=26762] ppid=26759 vsize=655944 CPUtime=16.4 /proc/26760/task/26762/stat : 26762 (java) R 26759 26741 21001 0 -1 64 12561 0 1 0 1583 57 0 0 25 0 9 0 239974389 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4127218548 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26763] ppid=26759 vsize=655944 CPUtime=0.58 /proc/26760/task/26763/stat : 26763 (java) S 26759 26741 21001 0 -1 64 9611 0 0 0 54 4 0 0 16 0 9 0 239974390 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26764] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26764/stat : 26764 (java) S 26759 26741 21001 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 239974390 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26765] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26765/stat : 26765 (java) S 26759 26741 21001 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 239974390 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26766] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26766/stat : 26766 (java) S 26759 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 239974392 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26767] ppid=26759 vsize=655944 CPUtime=0.37 /proc/26760/task/26767/stat : 26767 (java) S 26759 26741 21001 0 -1 64 772 0 0 0 36 1 0 0 16 0 9 0 239974392 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26768] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26768/stat : 26768 (java) S 26759 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 239974392 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26760/tid=26769] ppid=26759 vsize=655944 CPUtime=0 /proc/26760/task/26769/stat : 26769 (java) S 26759 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 239974392 671686656 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26761] ppid=26759 vsize=7044 CPUtime=0 /proc/26761/stat : 26761 (translate) S 26759 26741 21001 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 239974388 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 224264945746 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26761/statm: 1761 213 182 1 0 41 0 [pid=26749/tid=26750] ppid=26741 vsize=197344 CPUtime=4.27 /proc/26749/task/26750/stat : 26750 (java) S 26741 26741 21001 0 -1 64 3901 0 1 0 420 7 0 0 25 0 10 0 239973813 202080256 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26749/tid=26751] ppid=26741 vsize=197344 CPUtime=1.06 ################ # More data... # ################ /proc/26749/statm: 49417 9521 2545 9 0 43999 0 [pid=26812] ppid=26749 vsize=5356 CPUtime=0 /proc/26812/stat : 26812 (choco) S 26749 26741 21001 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 240144234 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26812/statm: 1339 238 197 169 0 50 0 [pid=26813] ppid=26812 vsize=655480 CPUtime=15.79 /proc/26813/stat : 26813 (java) S 26812 26741 21001 0 -1 0 25251 0 1 0 1560 19 0 0 19 0 9 0 240144235 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26813/statm: 163870 24785 1937 9 0 158399 0 [pid=26813/tid=26814] ppid=26812 vsize=655480 CPUtime=14.68 /proc/26813/task/26814/stat : 26814 (java) R 26812 26741 21001 0 -1 64 12176 0 1 0 1457 11 0 0 25 0 9 0 240144235 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4127303324 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26815] ppid=26812 vsize=655480 CPUtime=0.7 /proc/26813/task/26815/stat : 26815 (java) S 26812 26741 21001 0 -1 64 11814 0 0 0 64 6 0 0 16 0 9 0 240144237 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26816] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26816/stat : 26816 (java) S 26812 26741 21001 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 240144237 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26817] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26817/stat : 26817 (java) S 26812 26741 21001 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 240144237 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26818] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26818/stat : 26818 (java) S 26812 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 240144239 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26819] ppid=26812 vsize=655480 CPUtime=0.39 /proc/26813/task/26819/stat : 26819 (java) S 26812 26741 21001 0 -1 64 708 0 0 0 38 1 0 0 16 0 9 0 240144239 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26820] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26820/stat : 26820 (java) S 26812 26741 21001 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 240144239 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26821] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26821/stat : 26821 (java) S 26812 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 240144239 671211520 24785 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26750] ppid=26741 vsize=197668 CPUtime=1697.01 /proc/26749/task/26750/stat : 26750 (java) S 26741 26741 21001 0 -1 64 4063 29257 1 1 420 7 169202 72 16 0 10 0 239973813 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26749/tid=26751] ppid=26741 vsize=197668 CPUtime=1693.8 /proc/26749/task/26751/stat : 26751 (java) S 26741 26741 21001 0 -1 64 8604 29257 0 1 96 10 169202 72 16 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26752] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26752/stat : 26752 (java) S 26741 26741 21001 0 -1 64 11 29257 0 1 0 0 169202 72 16 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26753] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26753/stat : 26753 (java) S 26741 26741 21001 0 -1 64 5 29257 0 1 0 0 169202 72 15 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26754] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26754/stat : 26754 (java) S 26741 26741 21001 0 -1 64 1 29257 0 1 0 0 169202 72 25 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26755] ppid=26741 vsize=197668 CPUtime=1692.97 /proc/26749/task/26755/stat : 26755 (java) S 26741 26741 21001 0 -1 64 696 29257 0 1 22 1 169202 72 16 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26749/tid=26756] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26756/stat : 26756 (java) S 26741 26741 21001 0 -1 64 0 29257 0 1 0 0 169202 72 25 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26757] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26757/stat : 26757 (java) S 26741 26741 21001 0 -1 64 38 29257 0 1 0 0 169202 72 15 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26811] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26811/stat : 26811 (java) S 26741 26741 21001 0 -1 64 54 29257 0 1 0 0 169202 72 17 0 10 0 240144234 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1716.34 Current children cumulated vsize (KiB) 863864 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/102 26821 /proc/meminfo: memFree=1580992/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=2.22 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 375 5479 0 0 0 0 219 3 19 0 1 0 239973587 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26741/statm: 1340 238 196 169 0 51 0 [pid=26749] ppid=26741 vsize=197668 CPUtime=1698.33 /proc/26749/stat : 26749 (java) S 26741 26741 21001 0 -1 0 14304 29257 1 1 539 20 169202 72 20 0 10 0 239973812 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26749/statm: 49417 9521 2545 9 0 43999 0 [pid=26812] ppid=26749 vsize=5356 CPUtime=0 /proc/26812/stat : 26812 (choco) S 26749 26741 21001 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 240144234 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26812/statm: 1339 238 197 169 0 50 0 [pid=26813] ppid=26812 vsize=655480 CPUtime=75.77 /proc/26813/stat : 26813 (java) S 26812 26741 21001 0 -1 0 25449 0 1 0 7534 43 0 0 19 0 9 0 240144235 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26813/statm: 163870 24856 1937 9 0 158399 0 [pid=26813/tid=26814] ppid=26812 vsize=655480 CPUtime=74.58 /proc/26813/task/26814/stat : 26814 (java) R 26812 26741 21001 0 -1 64 12303 0 1 0 7424 34 0 0 25 0 9 0 240144235 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4127294244 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26815] ppid=26812 vsize=655480 CPUtime=0.77 /proc/26813/task/26815/stat : 26815 (java) S 26812 26741 21001 0 -1 64 11885 0 0 0 70 7 0 0 16 0 9 0 240144237 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26816] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26816/stat : 26816 (java) S 26812 26741 21001 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 240144237 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26817] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26817/stat : 26817 (java) S 26812 26741 21001 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 240144237 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26818] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26818/stat : 26818 (java) S 26812 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 240144239 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26819] ppid=26812 vsize=655480 CPUtime=0.39 /proc/26813/task/26819/stat : 26819 (java) S 26812 26741 21001 0 -1 64 708 0 0 0 38 1 0 0 16 0 9 0 240144239 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26820] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26820/stat : 26820 (java) S 26812 26741 21001 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 240144239 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26821] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26821/stat : 26821 (java) S 26812 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 240144239 671211520 24856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26750] ppid=26741 vsize=197668 CPUtime=1697.01 /proc/26749/task/26750/stat : 26750 (java) S 26741 26741 21001 0 -1 64 4063 29257 1 1 420 7 169202 72 16 0 10 0 239973813 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26749/tid=26751] ppid=26741 vsize=197668 CPUtime=1693.8 /proc/26749/task/26751/stat : 26751 (java) S 26741 26741 21001 0 -1 64 8604 29257 0 1 96 10 169202 72 16 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26752] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26752/stat : 26752 (java) S 26741 26741 21001 0 -1 64 11 29257 0 1 0 0 169202 72 16 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26753] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26753/stat : 26753 (java) S 26741 26741 21001 0 -1 64 5 29257 0 1 0 0 169202 72 15 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26754] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26754/stat : 26754 (java) S 26741 26741 21001 0 -1 64 1 29257 0 1 0 0 169202 72 25 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26755] ppid=26741 vsize=197668 CPUtime=1692.97 /proc/26749/task/26755/stat : 26755 (java) S 26741 26741 21001 0 -1 64 696 29257 0 1 22 1 169202 72 16 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26749/tid=26756] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26756/stat : 26756 (java) S 26741 26741 21001 0 -1 64 0 29257 0 1 0 0 169202 72 25 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26757] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26757/stat : 26757 (java) S 26741 26741 21001 0 -1 64 38 29257 0 1 0 0 169202 72 15 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26811] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26811/stat : 26811 (java) S 26741 26741 21001 0 -1 64 54 29257 0 1 0 0 169202 72 17 0 10 0 240144234 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1776.32 Current children cumulated vsize (KiB) 863864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1806 s] /proc/loadavg: 2.00 2.00 2.00 3/102 26821 /proc/meminfo: memFree=1580992/2055920 swapFree=4180812/4192956 [pid=26741] ppid=26739 vsize=5360 CPUtime=2.22 /proc/26741/stat : 26741 (hydra) S 26739 26741 21001 0 -1 4194304 375 5479 0 0 0 0 219 3 19 0 1 0 239973587 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26741/statm: 1340 238 196 169 0 51 0 [pid=26749] ppid=26741 vsize=197668 CPUtime=1698.33 /proc/26749/stat : 26749 (java) S 26741 26741 21001 0 -1 0 14304 29257 1 1 539 20 169202 72 20 0 10 0 239973812 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26749/statm: 49417 9521 2545 9 0 43999 0 [pid=26812] ppid=26749 vsize=5356 CPUtime=0 /proc/26812/stat : 26812 (choco) S 26749 26741 21001 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 240144234 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 224264774468 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/26812/statm: 1339 238 197 169 0 50 0 [pid=26813] ppid=26812 vsize=655480 CPUtime=99.47 /proc/26813/stat : 26813 (java) S 26812 26741 21001 0 -1 0 25501 0 1 0 9895 52 0 0 19 0 9 0 240144235 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26813/statm: 163870 24857 1937 9 0 158399 0 [pid=26813/tid=26814] ppid=26812 vsize=655480 CPUtime=98.25 /proc/26813/task/26814/stat : 26814 (java) R 26812 26741 21001 0 -1 64 12354 0 1 0 9782 43 0 0 25 0 9 0 240144235 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26815] ppid=26812 vsize=655480 CPUtime=0.8 /proc/26813/task/26815/stat : 26815 (java) S 26812 26741 21001 0 -1 64 11886 0 0 0 73 7 0 0 16 0 9 0 240144237 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26816] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26816/stat : 26816 (java) S 26812 26741 21001 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 240144237 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26817] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26817/stat : 26817 (java) S 26812 26741 21001 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 240144237 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26818] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26818/stat : 26818 (java) S 26812 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 240144239 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26819] ppid=26812 vsize=655480 CPUtime=0.39 /proc/26813/task/26819/stat : 26819 (java) S 26812 26741 21001 0 -1 64 708 0 0 0 38 1 0 0 16 0 9 0 240144239 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26820] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26820/stat : 26820 (java) S 26812 26741 21001 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 240144239 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26813/tid=26821] ppid=26812 vsize=655480 CPUtime=0 /proc/26813/task/26821/stat : 26821 (java) S 26812 26741 21001 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 240144239 671211520 24857 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26750] ppid=26741 vsize=197668 CPUtime=1697.01 /proc/26749/task/26750/stat : 26750 (java) S 26741 26741 21001 0 -1 64 4063 29257 1 1 420 7 169202 72 16 0 10 0 239973813 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=26749/tid=26751] ppid=26741 vsize=197668 CPUtime=1693.8 /proc/26749/task/26751/stat : 26751 (java) S 26741 26741 21001 0 -1 64 8604 29257 0 1 96 10 169202 72 16 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26752] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26752/stat : 26752 (java) S 26741 26741 21001 0 -1 64 11 29257 0 1 0 0 169202 72 16 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26753] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26753/stat : 26753 (java) S 26741 26741 21001 0 -1 64 5 29257 0 1 0 0 169202 72 15 0 10 0 239973814 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26754] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26754/stat : 26754 (java) S 26741 26741 21001 0 -1 64 1 29257 0 1 0 0 169202 72 25 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26755] ppid=26741 vsize=197668 CPUtime=1692.97 /proc/26749/task/26755/stat : 26755 (java) S 26741 26741 21001 0 -1 64 696 29257 0 1 22 1 169202 72 16 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26749/tid=26756] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26756/stat : 26756 (java) S 26741 26741 21001 0 -1 64 0 29257 0 1 0 0 169202 72 25 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26757] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26757/stat : 26757 (java) S 26741 26741 21001 0 -1 64 38 29257 0 1 0 0 169202 72 15 0 10 0 239973816 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26749/tid=26811] ppid=26741 vsize=197668 CPUtime=1692.74 /proc/26749/task/26811/stat : 26811 (java) S 26741 26741 21001 0 -1 64 54 29257 0 1 0 0 169202 72 17 0 10 0 240144234 202412032 9521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 863864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26741 and gives # childrusage.ru_utime.tv_sec=2 # childrusage.ru_utime.tv_usec=198665 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=37994 # CPU time returned by wait4() is 2.23666 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1806.03 CPU time (s): 1800.02 CPU user time (s): 1798.55 CPU system time (s): 1.47 CPU usage (%): 99.6669 Max. virtual memory (cumulated for all children) (KiB): 871144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.19867 system time used= 0.037994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5854 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= 34 involuntary context switches= 36 runsolver used 4.87826 second user time and 11.3513 second system time The end
Begin job on node82 at 2008-07-03 05:16:37 IDJOB=1051892 IDBENCH=55955 IDSOLVER=366 FILE ID=node82/1051892-1215054997 PBS_JOBID= 7875014 Free space on /tmp= 66484 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/ramsey4/normalized-ramsey-45-4.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051892-1215054997/watcher-1051892-1215054997 -o /tmp/evaluation-result-1051892-1215054997/solver-1051892-1215054997 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1051892-1215054997.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 3e8236e6ba39e4fd04a7c847b9b657af RANDOM SEED=117272615 node82.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.239 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.239 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: 1603216 kB Buffers: 25716 kB Cached: 152064 kB SwapCached: 5684 kB Active: 343032 kB Inactive: 48580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1603216 kB SwapTotal: 4192956 kB SwapFree: 4180812 kB Dirty: 26336 kB Writeback: 0 kB Mapped: 229940 kB Slab: 45964 kB Committed_AS: 813776 kB PageTables: 2224 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66452 MiB End job on node82 at 2008-07-03 05:46:46