Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.01 | 1824.24 |
Name | csp/ramsey3/ normalized-ramsey-25-3.xml |
MD5SUM | 3922accf6b7ba2097692072ea1b74ee3 |
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 | 60.4238 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 2300 |
Maximum constraint arity | 3 |
Maximum domain size | 3 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2300 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.18/7.38 c CASE TO CLASSIFY: 7.18/7.38 c Case: 0 7.18/7.38 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.347800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.457900 | c 14 > 13.018000 | c 11 > 8.228820 | c 12 > 9.446880 | 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 > 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 > 9.813780 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.18/7.39 c choco : 1801.0 7.18/7.39 c mistral : 1801.0 7.18/7.39 c abscon : 1801.0 7.18/7.39 c 7.18/7.39 c 7.28/7.47 c List of same ones: 40 7.28/7.47 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml 7.28/7.47 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.28/7.48 c choco : 11.33 7.28/7.48 c mistral : 0.71 7.28/7.48 c abscon : 1.44378 7.28/7.48 c 7.28/7.48 c 7.28/7.48 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml 7.28/7.48 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.28/7.49 c choco : 1801.0 7.28/7.49 c mistral : 3.82 7.28/7.49 c abscon : 2.82057 7.28/7.49 c 7.28/7.49 c 7.28/7.49 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml 7.28/7.49 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.28/7.50 c choco : 2.57 7.28/7.50 c mistral : 0.23 7.28/7.50 c abscon : 1.16082 7.28/7.50 c 7.28/7.50 c 7.28/7.50 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml 7.28/7.50 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.37/7.51 c choco : 1801.0 7.37/7.51 c mistral : 20.05 7.37/7.51 c abscon : 4.68729 7.37/7.51 c 7.37/7.51 c 7.37/7.51 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml 7.37/7.51 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.37/7.52 c choco : 1801.0 7.37/7.52 c mistral : 26.38 7.37/7.52 c abscon : 9.93749 7.37/7.52 c 7.37/7.52 c 7.37/7.52 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml 7.37/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.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.37/7.53 c choco : 1801.0 7.37/7.53 c mistral : 1053.11 7.37/7.53 c abscon : 4.93525 7.37/7.53 c 7.37/7.53 c 7.37/7.53 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml 7.37/7.53 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.37/7.54 c choco : 7.04 7.37/7.54 c mistral : 0.39 7.37/7.54 c abscon : 1.11383 7.37/7.54 c 7.37/7.54 c 7.37/7.54 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml 7.37/7.54 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.37/7.54 c choco : 6.47 7.37/7.54 c mistral : 0.41 7.37/7.54 c abscon : 2.32765 7.37/7.54 c 7.37/7.54 c 7.37/7.54 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml 7.37/7.54 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.37/7.55 c choco : 2.93 7.37/7.55 c mistral : 1800.03 7.37/7.55 c abscon : 753.112 7.37/7.55 c 7.37/7.55 c 7.37/7.55 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml 7.37/7.55 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.37/7.56 c choco : 4.54 7.37/7.56 c mistral : 0.22 7.37/7.56 c abscon : 1.44478 7.37/7.56 c 7.37/7.56 c 7.37/7.56 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-13-3.xml 7.37/7.56 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.55/7.78 c choco : 1.92 7.55/7.78 c mistral : 0.03 7.55/7.78 c abscon : 0.867867 7.55/7.78 c 7.55/7.78 c 7.55/7.78 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-23-3.xml 7.55/7.78 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.55/7.79 c choco : 1.45 7.55/7.79 c mistral : 0.08 7.55/7.79 c abscon : 0.737886 7.55/7.79 c 7.55/7.79 c 7.55/7.79 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-10-3.xml 7.55/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.64/7.80 c choco : 1.46 7.64/7.80 c mistral : 0.02 7.64/7.80 c abscon : 0.777881 7.64/7.80 c 7.64/7.80 c 7.64/7.80 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/37s-smv.xml 7.64/7.80 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.64/7.81 c choco : 1801.0 7.64/7.81 c mistral : 21.11 7.64/7.81 c abscon : 101.771 7.64/7.81 c 7.64/7.81 c 7.64/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf9.xml 7.64/7.81 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.64/7.81 c choco : 1801.0 7.64/7.81 c mistral : 486.27 7.64/7.81 c abscon : 1800.1 7.64/7.81 c 7.64/7.81 c 7.64/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv8-ucl.xml 7.64/7.82 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.64/7.82 c choco : 9.84 7.64/7.82 c mistral : 1.89971 7.64/7.82 c abscon : 16.4835 7.64/7.82 c 7.64/7.82 c 7.64/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-diamond.xml 7.64/7.82 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.64/7.83 c choco : 1.01 7.64/7.83 c mistral : 0.01 7.64/7.83 c abscon : 0.640901 7.64/7.83 c 7.64/7.83 c 7.64/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv10-ucl.xml 7.64/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.64/7.84 c choco : 1801.0 7.64/7.84 c mistral : 6.01008 7.64/7.84 c abscon : 91.5061 7.64/7.84 c 7.64/7.84 c 7.64/7.84 c /home/eomahony/cpZilla/CSP/zhou/schur.xml 7.64/7.84 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.64/7.85 c choco : 5.74 7.64/7.85 c mistral : 0.291955 7.64/7.85 c abscon : 2.07068 7.64/7.85 c 7.64/7.85 c 7.64/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml 7.64/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.64/7.86 c choco : 28.2 7.64/7.86 c mistral : 5.10822 7.64/7.86 c abscon : 56.1605 7.64/7.86 c 7.64/7.86 c 7.64/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml 7.64/7.86 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.64/7.86 c choco : 7.85 7.64/7.86 c mistral : 0.439932 7.64/7.86 c abscon : 5.2372 7.64/7.86 c 7.64/7.86 c 7.64/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf8.xml 7.64/7.86 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.64/7.87 c choco : 105.94 7.64/7.87 c mistral : 13.16 7.64/7.87 c abscon : 104.611 7.64/7.87 c 7.64/7.87 c 7.64/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf7.xml 7.64/7.87 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.64/7.88 c choco : 782.2 7.64/7.88 c mistral : 251.58 7.64/7.88 c abscon : 320.647 7.64/7.88 c 7.64/7.88 c 7.64/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml 7.64/7.88 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.64/7.88 c choco : 1801.0 7.64/7.88 c mistral : 926.13 7.64/7.88 c abscon : 1800.08 7.64/7.88 c 7.64/7.88 c 7.64/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml 7.64/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.64/7.89 c choco : 1801.0 7.64/7.89 c mistral : 554.94 7.64/7.89 c abscon : 1800.07 7.64/7.89 c 7.64/7.89 c 7.64/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml 7.64/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.64/7.89 c choco : 1801.0 7.64/7.89 c mistral : 7.27 7.64/7.89 c abscon : 1800.14 7.64/7.89 c 7.64/7.89 c 7.64/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-98.xml 7.64/7.89 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.70/7.90 c choco : 3.35 7.70/7.90 c mistral : 0.159974 7.70/7.90 c abscon : 1.38479 7.70/7.90 c 7.70/7.90 c 7.70/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-100.xml 7.70/7.90 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.70/7.91 c choco : 2.44 7.70/7.91 c mistral : 0.067988 7.70/7.91 c abscon : 1.14282 7.70/7.91 c 7.70/7.91 c 7.70/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.95-100.xml 7.70/7.91 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.70/7.91 c choco : 3.46 7.70/7.91 c mistral : 0.165974 7.70/7.91 c abscon : 1.48277 7.70/7.91 c 7.70/7.91 c 7.70/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.95-98.xml 7.70/7.91 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.70/7.92 c choco : 2.37 7.70/7.92 c mistral : 0.066989 7.70/7.92 c abscon : 1.19982 7.70/7.92 c 7.70/7.92 c 7.70/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-98.xml 7.70/7.92 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.70/7.92 c choco : 9.0 7.70/7.92 c mistral : 1.57 7.70/7.92 c abscon : 4.20736 7.70/7.92 c 7.70/7.92 c 7.70/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf6.xml 7.70/7.92 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.70/7.93 c choco : 1.54 7.70/7.93 c mistral : 0.02 7.70/7.93 c abscon : 0.748886 7.70/7.93 c 7.70/7.93 c 7.70/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-10-4.5-0.5-100.xml 7.70/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.70/7.94 c choco : 2.29 7.70/7.94 c mistral : 0.064989 7.70/7.94 c abscon : 1.10083 7.70/7.94 c 7.70/7.94 c 7.70/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-100.xml 7.70/7.94 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.70/7.94 c choco : 8.83 7.70/7.94 c mistral : 1.53 7.70/7.94 c abscon : 3.86341 7.70/7.94 c 7.70/7.94 c 7.70/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-10-20-4.5-0.5-100.xml 7.70/7.94 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.70/7.95 c choco : 3.1 7.70/7.95 c mistral : 0.133979 7.70/7.95 c abscon : 1.3158 7.70/7.95 c 7.70/7.95 c 7.70/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.5-100.xml 7.70/7.95 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.70/7.96 c choco : 8.64 7.70/7.96 c mistral : 1.51 7.70/7.96 c abscon : 4.21336 7.70/7.96 c 7.70/7.96 c 7.70/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-100.xml 7.70/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.70/7.96 c choco : 21.59 7.70/7.96 c mistral : 2.67 7.70/7.96 c abscon : 27.9078 7.70/7.96 c 7.70/7.96 c 7.70/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-98.xml 7.70/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.70/7.97 c choco : 23.15 7.70/7.97 c mistral : 2.66 7.70/7.97 c abscon : 28.4847 7.70/7.97 c 7.70/7.97 c 7.70/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml 7.70/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.70/7.97 c choco : 3.29 7.70/7.97 c mistral : 0.25796 7.70/7.97 c abscon : 1.26581 7.70/7.97 c 7.70/7.97 c 7.70/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml 7.70/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.70/7.98 c choco : 3.26 7.70/7.98 c mistral : 0.25996 7.70/7.98 c abscon : 1.22581 7.70/7.98 c 7.70/7.98 c 7.70/7.98 c Length: 40 7.70/7.98 c 3.6668798637942865 3.949261566356424 4.22537849801648 4.579360530914769 4.800154156680804 5.563648859282908 8.734153504850944 11.554631854429633 12.132640062978872 12.165258622043348 16.629910690806494 18.554223317560346 18.772161222909315 30.910031197802113 32.497734613560375 32.783387499093195 32.84555825016071 33.541814581869296 33.610735960432336 33.883001236175936 33.97277436089964 35.19141327227141 35.371132671533154 37.210773419430566 37.211561482277254 41.011189378609835 41.18111384673358 41.768166547327986 41.80976285216037 42.466243002095084 42.75307423091089 43.10077605663847 43.3678136518675 43.49259921252247 43.74401877971073 43.95879340434741 44.47823620256213 44.649779432940136 44.687892963717815 44.687892963717815 7.70/7.99 c 7.70/7.99 c 1.0 0.9931632326129004 0.9865679366849432 0.9782398129717106 0.9731160372294703 0.9558045895458475 0.8900528963132187 0.8387251860473172 0.8289288301741595 0.8283828124830555 0.7598729201436463 0.7337188146557387 0.7308697909829235 0.6009157724273505 0.5872572110483056 0.5848654567472206 0.5843474840332449 0.5786087126619868 0.5780467654537873 0.575837495483079 0.5751127377017009 0.5654518447272757 0.5640544945137357 0.5501383283347122 0.5501325140848922 0.5234587408207547 0.5223261481133702 0.5184507175877128 0.5181783000444264 0.5139165590687784 0.5120764335319203 0.5098633938005198 0.5081767063527466 0.5073923442234014 0.5058193322569343 0.5044832942896896 0.5012810136294096 0.5002323884893852 0.5 0.5 7.78/8.00 c 7.78/8.00 c solver 0 7.78/8.00 c before 0.0 seconds: {} 0 7.78/8.00 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 15, 16, 18, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39} 19111 7.78/8.00 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 15, 16, 18, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20113 7.78/8.00 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 15, 16, 18, 19, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20688 7.78/8.00 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} 22433 7.78/8.00 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} 22997 7.78/8.00 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} 23826 7.78/8.00 c 7.78/8.00 c solver 1 7.78/8.00 c before 0.0 seconds: {} 0 7.78/8.00 c before 18.0 seconds: {0, 1, 2, 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} 19449 7.78/8.00 c before 36.0 seconds: {0, 1, 2, 3, 4, 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} 22001 7.78/8.00 c before 252.0 seconds: {0, 1, 2, 3, 4, 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} 22565 7.78/8.00 c before 504.0 seconds: {0, 1, 2, 3, 4, 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} 23152 7.78/8.00 c before 558.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23702 7.78/8.00 c before 936.0 seconds: {0, 1, 2, 3, 4, 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} 24253 7.78/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} 25208 7.78/8.00 c 7.78/8.00 c solver 2 7.78/8.00 c before 0.0 seconds: {} 0 7.78/8.00 c before 18.0 seconds: {0, 2, 6, 7, 8, 9, 10, 11, 12, 15, 16, 18, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39} 16040 7.78/8.00 c before 36.0 seconds: {0, 2, 6, 7, 8, 9, 10, 11, 12, 15, 16, 18, 19, 20, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17617 7.78/8.00 c before 108.0 seconds: {0, 2, 6, 7, 8, 9, 10, 11, 12, 15, 16, 18, 19, 20, 21, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18182 7.78/8.00 c before 792.0 seconds: {0, 2, 6, 7, 8, 9, 10, 11, 12, 15, 16, 18, 19, 20, 21, 22, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18747 7.78/8.00 c 7.78/8.00 cTotal time: 145 7.78/8.01 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} 23826 7.78/8.01 c run mistral for 936.0 seconds {0, 1, 2, 3, 4, 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} 24253 7.78/8.01 c run choco for 108.0 seconds {0, 2, 6, 7, 8, 9, 10, 11, 12, 15, 16, 18, 19, 20, 21, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18182 7.78/8.01 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.78/8.01 c On Instance: HOME/instance-1048649-1215043506.xml 7.78/8.01 c Running for: 756 seconds 764.20/779.41 c Starting solver: HOME/cpHydra_k_40/solver/mistral 764.20/779.41 c On Instance: HOME/instance-1048649-1215043506.xml 764.20/779.41 c Running for: 936 seconds 1700.00/1724.16 c Starting solver: HOME/cpHydra_k_40/solver/choco 1700.00/1724.16 c On Instance: HOME/instance-1048649-1215043506.xml 1700.00/1724.16 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-1048649-1215043506/watcher-1048649-1215043506 -o /tmp/evaluation-result-1048649-1215043506/solver-1048649-1215043506 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1048649-1215043506.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.92 1.99 1.92 4/81 3660 /proc/meminfo: memFree=1446144/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=18572 CPUtime=0 /proc/3660/stat : 3660 (runsolver) R 3658 3660 2990 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1534021051 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0 /proc/3660/statm: 4643 292 257 25 0 2626 0 [startup+0.0759529 s] /proc/loadavg: 1.92 1.99 1.92 4/81 3660 /proc/meminfo: memFree=1446144/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=0 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1534021051 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102952 s] /proc/loadavg: 1.92 1.99 1.92 4/81 3660 /proc/meminfo: memFree=1446144/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=0 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1534021051 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302974 s] /proc/loadavg: 1.92 1.99 1.92 4/81 3660 /proc/meminfo: memFree=1446144/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=0 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1534021051 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.70302 s] /proc/loadavg: 1.92 1.99 1.92 4/81 3660 /proc/meminfo: memFree=1446144/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=0 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1534021051 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50111 s] /proc/loadavg: 1.92 1.99 1.92 3/83 3664 /proc/meminfo: memFree=1442736/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=0 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1534021051 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 236 195 169 0 51 0 [pid=3664] ppid=3660 vsize=7480 CPUtime=1.47 /proc/3664/stat : 3664 (xsolve) R 3660 3660 2990 0 -1 4194304 1215 0 0 0 146 1 0 0 25 0 1 0 1534021052 7659520 1174 996147200 134512640 135239763 4294956176 18446744073709551615 135095150 0 0 4096 0 0 0 0 17 1 0 0 /proc/3664/statm: 1870 1174 413 177 0 773 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 12840 [startup+3.10129 s] /proc/loadavg: 1.92 1.99 1.92 4/91 3676 /proc/meminfo: memFree=1438376/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=1.58 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 375 1811 0 0 0 0 156 2 19 0 1 0 1534021051 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 238 196 169 0 51 0 [pid=3668] ppid=3660 vsize=196988 CPUtime=1.45 /proc/3668/stat : 3668 (java) S 3660 3660 2990 0 -1 0 5140 0 1 0 140 5 0 0 18 0 9 0 1534021213 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3668/statm: 49247 4303 1679 9 0 43829 0 [pid=3668/tid=3669] ppid=3660 vsize=196988 CPUtime=1.1 /proc/3668/task/3669/stat : 3669 (java) R 3660 3660 2990 0 -1 64 2761 0 1 0 108 2 0 0 25 0 9 0 1534021214 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4126526090 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3670] ppid=3660 vsize=196988 CPUtime=0.16 /proc/3668/task/3670/stat : 3670 (java) S 3660 3660 2990 0 -1 64 1044 0 0 0 15 1 0 0 16 0 9 0 1534021216 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3671] ppid=3660 vsize=196988 CPUtime=0 /proc/3668/task/3671/stat : 3671 (java) S 3660 3660 2990 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1534021216 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3672] ppid=3660 vsize=196988 CPUtime=0 /proc/3668/task/3672/stat : 3672 (java) S 3660 3660 2990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534021216 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3673] ppid=3660 vsize=196988 CPUtime=0 /proc/3668/task/3673/stat : 3673 (java) S 3660 3660 2990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534021218 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3674] ppid=3660 vsize=196988 CPUtime=0.15 /proc/3668/task/3674/stat : 3674 (java) S 3660 3660 2990 0 -1 64 611 0 0 0 15 0 0 0 16 0 9 0 1534021218 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3675] ppid=3660 vsize=196988 CPUtime=0 /proc/3668/task/3675/stat : 3675 (java) S 3660 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1534021218 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3676] ppid=3660 vsize=196988 CPUtime=0 /proc/3668/task/3676/stat : 3676 (java) S 3660 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534021218 201715712 4303 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202348 [startup+6.30265 s] /proc/loadavg: 2.01 2.01 1.93 3/91 3676 /proc/meminfo: memFree=1425192/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=1.58 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 375 1811 0 0 0 0 156 2 19 0 1 0 1534021051 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 238 196 169 0 51 0 [pid=3668] ppid=3660 vsize=197096 CPUtime=4.62 /proc/3668/stat : 3668 (java) S 3660 3660 2990 0 -1 0 9967 0 1 0 449 13 0 0 18 0 9 0 1534021213 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3668/statm: 49274 8262 2541 9 0 43856 0 [pid=3668/tid=3669] ppid=3660 vsize=197096 CPUtime=3.6 /proc/3668/task/3669/stat : 3669 (java) R 3660 3660 2990 0 -1 64 3545 0 1 0 356 4 0 0 25 0 9 0 1534021214 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3670] ppid=3660 vsize=197096 CPUtime=0.8 /proc/3668/task/3670/stat : 3670 (java) R 3660 3660 2990 0 -1 64 5071 0 0 0 74 6 0 0 16 0 9 0 1534021216 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3671] ppid=3660 vsize=197096 CPUtime=0 /proc/3668/task/3671/stat : 3671 (java) S 3660 3660 2990 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1534021216 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3672] ppid=3660 vsize=197096 CPUtime=0 /proc/3668/task/3672/stat : 3672 (java) S 3660 3660 2990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534021216 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3673] ppid=3660 vsize=197096 CPUtime=0 /proc/3668/task/3673/stat : 3673 (java) S 3660 3660 2990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534021218 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3674] ppid=3660 vsize=197096 CPUtime=0.18 /proc/3668/task/3674/stat : 3674 (java) S 3660 3660 2990 0 -1 64 627 0 0 0 18 0 0 0 16 0 9 0 1534021218 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3675] ppid=3660 vsize=197096 CPUtime=0 /proc/3668/task/3675/stat : 3675 (java) S 3660 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1534021218 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3676] ppid=3660 vsize=197096 CPUtime=0 /proc/3668/task/3676/stat : 3676 (java) S 3660 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534021218 201826304 8262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 202456 [startup+12.7024 s] /proc/loadavg: 2.01 2.01 1.93 3/103 3688 /proc/meminfo: memFree=1357768/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=1.58 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 375 1811 0 0 0 0 156 2 19 0 1 0 1534021051 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 238 196 169 0 51 0 [pid=3668] ppid=3660 vsize=197420 CPUtime=6.21 /proc/3668/stat : 3668 (java) S 3660 3660 2990 0 -1 0 13960 0 1 0 603 18 0 0 18 0 10 0 1534021213 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3668/statm: 49355 9478 2544 9 0 43937 0 [pid=3678] ppid=3668 vsize=5356 CPUtime=0 /proc/3678/stat : 3678 (abscon) S 3668 3660 2990 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 1534021852 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3678/statm: 1339 237 196 169 0 50 0 [pid=3679] ppid=3678 vsize=655952 CPUtime=4.57 /proc/3679/stat : 3679 (java) S 3678 3660 2990 0 -1 0 17915 0 1 0 436 21 0 0 18 0 9 0 1534021853 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3679/statm: 163988 17229 2616 9 0 158516 0 [pid=3679/tid=3681] ppid=3678 vsize=655952 CPUtime=4.04 /proc/3679/task/3681/stat : 3681 (java) R 3678 3660 2990 0 -1 64 12563 0 1 0 387 17 0 0 20 0 9 0 1534021854 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4127123971 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3679/tid=3682] ppid=3678 vsize=655952 CPUtime=0.13 /proc/3679/task/3682/stat : 3682 (java) S 3678 3660 2990 0 -1 64 4049 0 0 0 12 1 0 0 16 0 9 0 1534021856 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3679/tid=3683] ppid=3678 vsize=655952 CPUtime=0 /proc/3679/task/3683/stat : 3683 (java) S 3678 3660 2990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1534021856 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3679/tid=3684] ppid=3678 vsize=655952 CPUtime=0 /proc/3679/task/3684/stat : 3684 (java) S 3678 3660 2990 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1534021856 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3679/tid=3685] ppid=3678 vsize=655952 CPUtime=0 /proc/3679/task/3685/stat : 3685 (java) S 3678 3660 2990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534021858 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3679/tid=3686] ppid=3678 vsize=655952 CPUtime=0.37 /proc/3679/task/3686/stat : 3686 (java) S 3678 3660 2990 0 -1 64 758 0 0 0 36 1 0 0 16 0 9 0 1534021858 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3679/tid=3687] ppid=3678 vsize=655952 CPUtime=0 /proc/3679/task/3687/stat : 3687 (java) S 3678 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1534021858 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3679/tid=3688] ppid=3678 vsize=655952 CPUtime=0 /proc/3679/task/3688/stat : 3688 (java) S 3678 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534021858 671694848 17229 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3680] ppid=3678 vsize=7044 CPUtime=0 /proc/3680/stat : 3680 (translate) S 3678 3660 2990 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1534021853 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 1 0 0 /proc/3680/statm: 1761 213 182 1 0 41 0 [pid=3668/tid=3669] ppid=3660 vsize=197420 CPUtime=4.76 /proc/3668/task/3669/stat : 3669 (java) S 3660 3660 2990 0 -1 64 3901 0 1 0 469 7 0 0 25 0 10 0 1534021214 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3668/tid=3670] ppid=3660 vsize=197420 CPUtime=1.17 /proc/3668/task/3670/stat : 3670 (java) S 3660 3660 2990 0 -1 64 8571 0 0 0 108 9 0 0 16 0 10 0 1534021216 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3671] ppid=3660 vsize=197420 CPUtime=0 /proc/3668/task/3671/stat : 3671 (java) S 3660 3660 2990 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1534021216 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3672] ppid=3660 vsize=197420 CPUtime=0 /proc/3668/task/3672/stat : 3672 (java) S 3660 3660 2990 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1534021216 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3673] ppid=3660 vsize=197420 CPUtime=0 /proc/3668/task/3673/stat : 3673 (java) S 3660 3660 2990 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1534021218 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3674] ppid=3660 vsize=197420 CPUtime=0.25 /proc/3668/task/3674/stat : 3674 (java) S 3660 3660 2990 0 -1 64 666 0 0 0 25 0 0 0 16 0 10 0 1534021218 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3675] ppid=3660 vsize=197420 CPUtime=0 /proc/3668/task/3675/stat : 3675 (java) S 3660 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1534021218 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3676] ppid=3660 vsize=197420 CPUtime=0 /proc/3668/task/3676/stat : 3676 (java) S 3660 3660 2990 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 1534021218 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3677] ppid=3660 vsize=197420 CPUtime=0 /proc/3668/task/3677/stat : 3677 (java) S 3660 3660 2990 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1534021852 202158080 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.36 Current children cumulated vsize (KiB) 871132 [startup+25.5038 s] /proc/loadavg: 2.01 2.01 1.93 3/103 3688 /proc/meminfo: memFree=1357576/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=1.58 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 375 1811 0 0 0 0 156 2 19 0 1 0 1534021051 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 238 196 169 0 51 0 [pid=3668] ppid=3660 vsize=197420 CPUtime=6.21 /proc/3668/stat : 3668 (java) S 3660 3660 2990 0 -1 0 13960 0 1 0 603 18 0 0 18 0 10 0 1534021213 202158080 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3668/statm: 49355 9478 2544 9 0 43937 0 [pid=3678] ppid=3668 vsize=5356 CPUtime=0 /proc/3678/stat : 3678 (abscon) S 3668 3660 2990 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 1534021852 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3678/statm: 1339 237 196 169 0 50 0 [pid=3679] ppid=3678 vsize=655952 CPUtime=17.12 /proc/3679/stat : 3679 (java) S 3678 3660 2990 0 -1 0 17917 0 1 0 1691 21 0 0 18 0 9 0 1534021853 671694848 17230 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3679/statm: 163988 17230 2616 9 0 158516 0 [pid=3679/tid=3681] ppid=3678 vsize=655952 CPUtime=16.59 /proc/3679/task/3681/stat : 3681 (java) R 3678 3660 2990 0 -1 64 12564 0 1 0 1642 17 0 0 25 0 9 0 1534021854 671694848 17230 996147200 134512640 134550740 4294955808 18446744073709551615 4127228836 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3679/tid=3682] ppid=3678 vsize=655952 CPUtime=0.13 /proc/3679/task/3682/stat : 3682 (java) S 3678 3660 2990 0 -1 64 4049 0 0 0 12 1 0 0 16 0 9 0 1534021856 671694848 17230 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3679/tid=3683] ppid=3678 vsize=655952 CPUtime=0 /proc/3679/task/3683/stat : 3683 (java) S 3678 3660 2990 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1534021856 671694848 17230 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 ################ # More data... # ################ /proc/3668/task/3675/stat : 3675 (java) S 3660 3660 2990 0 -1 64 0 18492 0 1 0 0 75619 24 19 0 10 0 1534021218 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3676] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3676/stat : 3676 (java) S 3660 3660 2990 0 -1 64 34 18492 0 1 0 0 75619 24 15 0 10 0 1534021218 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3689] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3689/stat : 3689 (java) S 3660 3660 2990 0 -1 64 48 18492 0 1 0 0 75619 24 17 0 10 0 1534098992 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1638.79 Current children cumulated vsize (KiB) 215936 [startup+1722.3 s] /proc/loadavg: 2.12 2.08 2.00 3/94 3691 /proc/meminfo: memFree=1412424/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=1.58 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 375 1811 0 0 0 0 156 2 19 0 1 0 1534021051 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 238 196 169 0 51 0 [pid=3668] ppid=3660 vsize=197744 CPUtime=762.64 /proc/3668/stat : 3668 (java) S 3660 3660 2990 0 -1 0 14136 18492 1 1 603 18 75619 24 18 0 10 0 1534021213 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3668/statm: 49436 9502 2545 9 0 44018 0 [pid=3690] ppid=3668 vsize=5356 CPUtime=0 /proc/3690/stat : 3690 (mistral) S 3668 3660 2990 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1534098992 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3690/statm: 1339 238 198 169 0 50 0 [pid=3691] ppid=3690 vsize=7476 CPUtime=934 /proc/3691/stat : 3691 (xsolve) R 3690 3660 2990 0 -1 4194304 1191 0 0 0 93399 1 0 0 25 0 1 0 1534098993 7655424 1155 996147200 134512640 135239763 4294955968 18446744073709551615 134532191 0 4 0 0 0 0 0 17 1 0 0 /proc/3691/statm: 1869 1155 395 177 0 772 0 [pid=3668/tid=3669] ppid=3660 vsize=197744 CPUtime=761.19 /proc/3668/task/3669/stat : 3669 (java) S 3660 3660 2990 0 -1 64 3978 18492 1 1 469 7 75619 24 16 0 10 0 1534021214 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3668/tid=3670] ppid=3660 vsize=197744 CPUtime=757.6 /proc/3668/task/3670/stat : 3670 (java) S 3660 3660 2990 0 -1 64 8585 18492 0 1 108 9 75619 24 16 0 10 0 1534021216 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3671] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3671/stat : 3671 (java) S 3660 3660 2990 0 -1 64 11 18492 0 1 0 0 75619 24 16 0 10 0 1534021216 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3672] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3672/stat : 3672 (java) S 3660 3660 2990 0 -1 64 5 18492 0 1 0 0 75619 24 15 0 10 0 1534021216 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3673] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3673/stat : 3673 (java) S 3660 3660 2990 0 -1 64 1 18492 0 1 0 0 75619 24 18 0 10 0 1534021218 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3674] ppid=3660 vsize=197744 CPUtime=756.68 /proc/3668/task/3674/stat : 3674 (java) S 3660 3660 2990 0 -1 64 694 18492 0 1 25 0 75619 24 16 0 10 0 1534021218 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3675] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3675/stat : 3675 (java) S 3660 3660 2990 0 -1 64 0 18492 0 1 0 0 75619 24 19 0 10 0 1534021218 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3676] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3676/stat : 3676 (java) S 3660 3660 2990 0 -1 64 34 18492 0 1 0 0 75619 24 15 0 10 0 1534021218 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3689] ppid=3660 vsize=197744 CPUtime=756.43 /proc/3668/task/3689/stat : 3689 (java) S 3660 3660 2990 0 -1 64 48 18492 0 1 0 0 75619 24 17 0 10 0 1534098992 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1698.22 Current children cumulated vsize (KiB) 215936 [startup+1782.3 s] /proc/loadavg: 2.25 2.11 2.02 3/101 3742 /proc/meminfo: memFree=1199696/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=1.58 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 375 1811 0 0 0 0 156 2 19 0 1 0 1534021051 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 238 196 169 0 51 0 [pid=3668] ppid=3660 vsize=197744 CPUtime=1698.5 /proc/3668/stat : 3668 (java) S 3660 3660 2990 0 -1 0 14305 19993 1 1 603 18 169203 26 18 0 10 0 1534021213 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3668/statm: 49436 9519 2545 9 0 44018 0 [pid=3693] ppid=3668 vsize=5356 CPUtime=0 /proc/3693/stat : 3693 (choco) S 3668 3660 2990 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1534193467 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3693/statm: 1339 238 197 169 0 50 0 [pid=3694] ppid=3693 vsize=655592 CPUtime=58.05 /proc/3694/stat : 3694 (java) S 3693 3660 2990 0 -1 0 16316 0 1 0 5749 56 0 0 18 0 9 0 1534193468 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3694/statm: 163898 15766 1937 9 0 158427 0 [pid=3694/tid=3695] ppid=3693 vsize=655592 CPUtime=57.46 /proc/3694/task/3695/stat : 3695 (java) R 3693 3660 2990 0 -1 64 12285 0 1 0 5694 52 0 0 25 0 9 0 1534193469 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3696] ppid=3693 vsize=655592 CPUtime=0.17 /proc/3694/task/3696/stat : 3696 (java) S 3693 3660 2990 0 -1 64 2776 0 0 0 16 1 0 0 16 0 9 0 1534193471 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3697] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3697/stat : 3697 (java) S 3693 3660 2990 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1534193471 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3698] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3698/stat : 3698 (java) S 3693 3660 2990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534193471 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3699] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3699/stat : 3699 (java) S 3693 3660 2990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534193473 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3694/tid=3700] ppid=3693 vsize=655592 CPUtime=0.39 /proc/3694/task/3700/stat : 3700 (java) S 3693 3660 2990 0 -1 64 710 0 0 0 38 1 0 0 15 0 9 0 1534193473 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3701] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3701/stat : 3701 (java) S 3693 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1534193473 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3694/tid=3702] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3702/stat : 3702 (java) S 3693 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534193473 671326208 15766 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3669] ppid=3660 vsize=197744 CPUtime=1697.05 /proc/3668/task/3669/stat : 3669 (java) S 3660 3660 2990 0 -1 64 4060 19993 1 1 469 7 169203 26 17 0 10 0 1534021214 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3668/tid=3670] ppid=3660 vsize=197744 CPUtime=1693.46 /proc/3668/task/3670/stat : 3670 (java) S 3660 3660 2990 0 -1 64 8612 19993 0 1 108 9 169203 26 16 0 10 0 1534021216 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3671] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3671/stat : 3671 (java) S 3660 3660 2990 0 -1 64 11 19993 0 1 0 0 169203 26 16 0 10 0 1534021216 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3672] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3672/stat : 3672 (java) S 3660 3660 2990 0 -1 64 5 19993 0 1 0 0 169203 26 15 0 10 0 1534021216 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3673] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3673/stat : 3673 (java) S 3660 3660 2990 0 -1 64 1 19993 0 1 0 0 169203 26 18 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3674] ppid=3660 vsize=197744 CPUtime=1692.54 /proc/3668/task/3674/stat : 3674 (java) S 3660 3660 2990 0 -1 64 694 19993 0 1 25 0 169203 26 16 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3675] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3675/stat : 3675 (java) S 3660 3660 2990 0 -1 64 0 19993 0 1 0 0 169203 26 19 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3676] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3676/stat : 3676 (java) S 3660 3660 2990 0 -1 64 40 19993 0 1 0 0 169203 26 15 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3692] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3692/stat : 3692 (java) S 3660 3660 2990 0 -1 64 51 19993 0 1 0 0 169203 26 18 0 10 0 1534193467 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1758.13 Current children cumulated vsize (KiB) 864052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1824.2 s] /proc/loadavg: 2.11 2.10 2.01 3/101 3742 /proc/meminfo: memFree=1196112/2055920 swapFree=4110796/4192956 [pid=3660] ppid=3658 vsize=5360 CPUtime=1.58 /proc/3660/stat : 3660 (hydra) S 3658 3660 2990 0 -1 4194304 375 1811 0 0 0 0 156 2 19 0 1 0 1534021051 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3660/statm: 1340 238 196 169 0 51 0 [pid=3668] ppid=3660 vsize=197744 CPUtime=1698.5 /proc/3668/stat : 3668 (java) S 3660 3660 2990 0 -1 0 14305 19993 1 1 603 18 169203 26 18 0 10 0 1534021213 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3668/statm: 49436 9519 2545 9 0 44018 0 [pid=3693] ppid=3668 vsize=5356 CPUtime=0 /proc/3693/stat : 3693 (choco) S 3668 3660 2990 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1534193467 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/3693/statm: 1339 238 197 169 0 50 0 [pid=3694] ppid=3693 vsize=655592 CPUtime=99.93 /proc/3694/stat : 3694 (java) S 3693 3660 2990 0 -1 0 16412 0 1 0 9910 83 0 0 18 0 9 0 1534193468 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/3694/statm: 163898 15767 1937 9 0 158427 0 [pid=3694/tid=3695] ppid=3693 vsize=655592 CPUtime=99.3 /proc/3694/task/3695/stat : 3695 (java) R 3693 3660 2990 0 -1 64 12380 0 1 0 9851 79 0 0 25 0 9 0 1534193469 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4127300154 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3696] ppid=3693 vsize=655592 CPUtime=0.21 /proc/3694/task/3696/stat : 3696 (java) S 3693 3660 2990 0 -1 64 2777 0 0 0 19 2 0 0 16 0 9 0 1534193471 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3697] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3697/stat : 3697 (java) S 3693 3660 2990 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1534193471 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3698] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3698/stat : 3698 (java) S 3693 3660 2990 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1534193471 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3699] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3699/stat : 3699 (java) S 3693 3660 2990 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1534193473 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3694/tid=3700] ppid=3693 vsize=655592 CPUtime=0.39 /proc/3694/task/3700/stat : 3700 (java) S 3693 3660 2990 0 -1 64 710 0 0 0 38 1 0 0 15 0 9 0 1534193473 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=3694/tid=3701] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3701/stat : 3701 (java) S 3693 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1534193473 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3694/tid=3702] ppid=3693 vsize=655592 CPUtime=0 /proc/3694/task/3702/stat : 3702 (java) S 3693 3660 2990 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1534193473 671326208 15767 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3669] ppid=3660 vsize=197744 CPUtime=1697.05 /proc/3668/task/3669/stat : 3669 (java) S 3660 3660 2990 0 -1 64 4060 19993 1 1 469 7 169203 26 17 0 10 0 1534021214 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=3668/tid=3670] ppid=3660 vsize=197744 CPUtime=1693.46 /proc/3668/task/3670/stat : 3670 (java) S 3660 3660 2990 0 -1 64 8612 19993 0 1 108 9 169203 26 16 0 10 0 1534021216 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3671] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3671/stat : 3671 (java) S 3660 3660 2990 0 -1 64 11 19993 0 1 0 0 169203 26 16 0 10 0 1534021216 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3672] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3672/stat : 3672 (java) S 3660 3660 2990 0 -1 64 5 19993 0 1 0 0 169203 26 15 0 10 0 1534021216 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3673] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3673/stat : 3673 (java) S 3660 3660 2990 0 -1 64 1 19993 0 1 0 0 169203 26 18 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3674] ppid=3660 vsize=197744 CPUtime=1692.54 /proc/3668/task/3674/stat : 3674 (java) S 3660 3660 2990 0 -1 64 694 19993 0 1 25 0 169203 26 16 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3675] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3675/stat : 3675 (java) S 3660 3660 2990 0 -1 64 0 19993 0 1 0 0 169203 26 19 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3676] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3676/stat : 3676 (java) S 3660 3660 2990 0 -1 64 40 19993 0 1 0 0 169203 26 15 0 10 0 1534021218 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=3668/tid=3692] ppid=3660 vsize=197744 CPUtime=1692.29 /proc/3668/task/3692/stat : 3692 (java) S 3660 3660 2990 0 -1 64 51 19993 0 1 0 0 169203 26 18 0 10 0 1534193467 202489856 9519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 864052 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 3660 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=568761 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=23996 # CPU time returned by wait4() is 1.59276 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1824.24 CPU time (s): 1800.01 CPU user time (s): 1798.72 CPU system time (s): 1.29 CPU usage (%): 98.672 Max. virtual memory (cumulated for all children) (KiB): 871132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.56876 system time used= 0.023996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2186 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= 35 involuntary context switches= 74 runsolver used 5.06923 second user time and 12.0592 second system time The end
Begin job on node38 at 2008-07-03 02:05:06 IDJOB=1048649 IDBENCH=54433 IDSOLVER=366 FILE ID=node38/1048649-1215043506 PBS_JOBID= 7875097 Free space on /tmp= 66552 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-25-3.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1048649-1215043506/watcher-1048649-1215043506 -o /tmp/evaluation-result-1048649-1215043506/solver-1048649-1215043506 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1048649-1215043506.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 3922accf6b7ba2097692072ea1b74ee3 RANDOM SEED=848593956 node38.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.223 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.223 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1446560 kB Buffers: 49824 kB Cached: 362100 kB SwapCached: 76452 kB Active: 199564 kB Inactive: 333052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1446560 kB SwapTotal: 4192956 kB SwapFree: 4110796 kB Dirty: 24676 kB Writeback: 0 kB Mapped: 136604 kB Slab: 61576 kB Committed_AS: 2827164 kB PageTables: 2192 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= 66520 MiB End job on node38 at 2008-07-03 02:35:33