Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.02 | 1816.74 |
Name | csp/pseudo/chnl/ normalized-chnl-20-30.xml |
MD5SUM | de1a4b88e074f5e2a8f7cfa8a5e48f0f |
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 | 1.88871 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 100 |
Maximum constraint arity | 30 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 100 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.19/7.40 c CASE TO CLASSIFY: 7.19/7.40 c Case: 0 7.29/7.40 c 19 > 0.000000 | c 35 > 120.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.464700 | c 34 > 120.000000 | c 16 > 30.000000 | c 13 > 9.514470 | c 14 > 12.401400 | c 11 > 12.198400 | c 12 > 6.966180 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.773100 | c 1 > 10.228800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.773100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.174500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.29/7.41 c choco : 1801.0 7.29/7.41 c mistral : 1801.0 7.29/7.41 c abscon : 1801.0 7.29/7.41 c 7.29/7.41 c 7.49/7.66 c List of same ones: 40 7.49/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-25-25.xml 7.49/7.66 c 19 > 0.000000 | c 35 > 125.186000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.928600 | c 15 > 18.596400 | c 34 > 138.586000 | c 16 > 25.000000 | c 13 > 2.280380 | c 14 > 9.008430 | c 11 > 13.528200 | c 12 > 1.536570 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.408900 | c 1 > 9.873440 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.408900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.487300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.67 c choco : 1801.0 7.49/7.67 c mistral : 396.43 7.49/7.67 c abscon : 1800.1 7.49/7.67 c 7.49/7.67 c 7.49/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-19.xml 7.49/7.67 c 19 > 0.000000 | c 35 > 112.785000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.369900 | c 15 > 19.187000 | c 34 > 134.475000 | c 16 > 20.000000 | c 13 > 5.501180 | c 14 > 10.448100 | c 11 > 12.556000 | c 12 > 3.023020 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.412600 | c 1 > 9.154820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.412600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.213700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.68 c choco : 1801.0 7.49/7.68 c mistral : 1800.01 7.49/7.68 c abscon : 2.09268 7.49/7.68 c 7.49/7.68 c 7.49/7.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-20.xml 7.49/7.68 c 19 > 0.000000 | c 35 > 117.391000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.304300 | c 15 > 19.080400 | c 34 > 139.130000 | c 16 > 20.000000 | c 13 > 6.820790 | c 14 > 10.461500 | c 11 > 12.675100 | c 12 > 3.980620 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.536200 | c 1 > 9.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.536200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.378600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.69 c choco : 1801.0 7.49/7.69 c mistral : 37.64 7.49/7.69 c abscon : 3.2905 7.49/7.69 c 7.49/7.69 c 7.49/7.69 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-15-15.xml 7.49/7.69 c 19 > 0.000000 | c 35 > 91.963000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.666700 | c 15 > 19.308400 | c 34 > 112.815000 | c 16 > 15.000000 | c 13 > 7.288500 | c 14 > 11.102000 | c 11 > 11.604600 | c 12 > 5.019110 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.438800 | c 1 > 8.400880 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.438800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.006800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.70 c choco : 1801.0 7.49/7.70 c mistral : 2.03 7.49/7.70 c abscon : 1.09183 7.49/7.70 c 7.49/7.70 c 7.49/7.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-14.xml 7.49/7.70 c 19 > 0.000000 | c 35 > 86.470600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.764700 | c 15 > 19.399800 | c 34 > 107.059000 | c 16 > 14.000000 | c 13 > 6.837210 | c 14 > 11.345400 | c 11 > 11.346500 | c 12 > 4.792060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.173700 | c 1 > 8.199670 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.173700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.673100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.71 c choco : 1801.0 7.58/7.71 c mistral : 1.47 7.58/7.71 c abscon : 1.06484 7.58/7.71 c 7.58/7.71 c 7.58/7.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-13.xml 7.58/7.71 c 19 > 0.000000 | c 35 > 81.982000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.891900 | c 15 > 19.459200 | c 34 > 102.477000 | c 16 > 14.000000 | c 13 > 7.837230 | c 14 > 11.458900 | c 11 > 11.183600 | c 12 > 5.828740 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.003500 | c 1 > 8.092760 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.003500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.453500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.72 c choco : 1801.0 7.58/7.72 c mistral : 1800.04 7.58/7.72 c abscon : 1.01884 7.58/7.72 c 7.58/7.72 c 7.58/7.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-13.xml 7.58/7.72 c 19 > 0.000000 | c 35 > 81.586500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.875000 | c 15 > 19.495300 | c 34 > 101.923000 | c 16 > 13.000000 | c 13 > 6.722870 | c 14 > 11.442400 | c 11 > 11.080800 | c 12 > 4.829150 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.900900 | c 1 > 7.988680 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.900900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.340500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.73 c choco : 1801.0 7.58/7.73 c mistral : 1.0 7.58/7.73 c abscon : 0.926858 7.58/7.73 c 7.58/7.73 c 7.58/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/e64-b.xml 7.58/7.73 c 19 > 0.000000 | c 35 > 79.305300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.332700 | c 15 > 16.325200 | c 34 > 87.749500 | c 16 > 32.000000 | c 13 > 2.222290 | c 14 > 8.839200 | c 11 > 13.078200 | c 12 > 0.816762 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.973200 | c 1 > 9.245550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.973200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.598000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.73 c choco : 3.46 7.58/7.73 c mistral : 0.301953 7.58/7.73 c abscon : 2.43263 7.58/7.73 c 7.58/7.73 c 7.58/7.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-bm23.xml 7.58/7.73 c 19 > 0.000000 | c 35 > 65.500000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 16.325800 | c 34 > 126.000000 | c 16 > 26.000000 | c 13 > 1.848410 | c 14 > 5.727920 | c 11 > 9.513730 | c 12 > 0.893540 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.821770 | c 1 > 4.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.821770 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.909200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.74 c choco : 1.42 7.58/7.74 c mistral : 0.071988 7.58/7.74 c abscon : 4.93025 7.58/7.74 c 7.58/7.74 c 7.58/7.74 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-12.xml 7.58/7.74 c 19 > 0.000000 | c 35 > 77.475700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.038800 | c 15 > 19.598400 | c 34 > 97.864100 | c 16 > 14.000000 | c 13 > 7.677140 | c 14 > 11.494400 | c 11 > 11.009800 | c 12 > 5.898800 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.821800 | c 1 > 7.977280 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.821800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.215800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.75 c choco : 1801.0 7.58/7.75 c mistral : 1800.0 7.58/7.75 c abscon : 1628.67 7.58/7.75 c 7.58/7.75 c 7.58/7.75 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/prom2-pi.xml 7.58/7.75 c 19 > 0.000000 | c 35 > 77.468400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.346200 | c 34 > 77.468400 | c 16 > 30.000000 | c 13 > 1.680560 | c 14 > 10.958600 | c 11 > 11.348700 | c 12 > 2.513720 | c 21 > 1.413000 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.726800 | c 1 > 11.348700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.726800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.628800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.76 c choco : 6.44 7.58/7.76 c mistral : 0.99 7.58/7.76 c abscon : 7.10492 7.58/7.76 c 7.58/7.76 c 7.58/7.76 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-12.xml 7.58/7.76 c 19 > 0.000000 | c 35 > 76.787600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.020700 | c 15 > 19.615500 | c 34 > 96.994800 | c 16 > 13.000000 | c 13 > 7.252100 | c 14 > 11.556000 | c 11 > 10.901600 | c 12 > 5.569820 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.713400 | c 1 > 7.870360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.713400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.092600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.78 c choco : 1801.0 7.58/7.78 c mistral : 1800.03 7.58/7.78 c abscon : 128.541 7.58/7.78 c 7.58/7.78 c 7.58/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-12.xml 7.58/7.78 c 19 > 0.000000 | c 35 > 76.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.000000 | c 15 > 19.693300 | c 34 > 96.000000 | c 16 > 12.000000 | c 13 > 6.896820 | c 14 > 11.592900 | c 11 > 10.784600 | c 12 > 5.352680 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.596200 | c 1 > 7.754890 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.596200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.960000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.78 c choco : 1801.0 7.58/7.78 c mistral : 0.67 7.58/7.78 c abscon : 0.920859 7.58/7.78 c 7.58/7.78 c 7.58/7.78 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-11.xml 7.58/7.78 c 19 > 0.000000 | c 35 > 72.640400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.191000 | c 15 > 19.848800 | c 34 > 92.752800 | c 16 > 13.000000 | c 13 > 8.574980 | c 14 > 11.794000 | c 11 > 10.721100 | c 12 > 6.814870 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.524500 | c 1 > 7.748190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.524500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.855600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.79 c choco : 1801.0 7.58/7.79 c mistral : 1800.08 7.58/7.79 c abscon : 124.961 7.58/7.79 c 7.58/7.79 c 7.58/7.79 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-11.xml 7.58/7.79 c 19 > 0.000000 | c 35 > 71.566300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.168700 | c 15 > 19.692700 | c 34 > 91.445800 | c 16 > 12.000000 | c 13 > 8.120820 | c 14 > 12.035800 | c 11 > 10.598100 | c 12 > 6.422620 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.400900 | c 1 > 7.629360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.400900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.711900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.81 c choco : 1801.0 7.66/7.81 c mistral : 1800.01 7.66/7.81 c abscon : 0.904862 7.66/7.81 c 7.66/7.81 c 7.66/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-11.xml 7.66/7.81 c 19 > 0.000000 | c 35 > 71.103900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.142900 | c 15 > 19.609700 | c 34 > 90.779200 | c 16 > 11.000000 | c 13 > 7.094720 | c 14 > 11.513700 | c 11 > 10.477800 | c 12 > 5.528550 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.280800 | c 1 > 7.507790 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.280800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.579600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.81 c choco : 1801.0 7.66/7.81 c mistral : 0.225965 7.66/7.81 c abscon : 0.843871 7.66/7.81 c 7.66/7.81 c 7.66/7.81 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/rot-b.xml 7.66/7.81 c 19 > 7.039340 | c 35 > 87.481000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.082800 | c 15 > 19.778000 | c 34 > 95.138000 | c 16 > 81.000000 | c 13 > 4.883410 | c 14 > 9.923330 | c 11 > 10.479800 | c 12 > 4.801460 | c 21 > 1.408600 | c 20 > 92.960700 | 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.295000 | c 1 > 10.479800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.287900 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 18.944400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.82 c choco : 9.03 7.66/7.82 c mistral : 2.49 7.66/7.82 c abscon : 6.06508 7.66/7.82 c 7.66/7.82 c 7.66/7.82 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/bench1-pi.xml 7.66/7.82 c 19 > 0.000000 | c 35 > 84.949700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.348100 | c 34 > 84.949700 | c 16 > 80.000000 | c 13 > -0.514601 | c 14 > 9.264440 | c 11 > 13.754900 | c 12 > 0.990262 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.161900 | c 1 > 12.191100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.161900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.342100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.83 c choco : 10.13 7.66/7.83 c mistral : 1.24681 7.66/7.83 c abscon : 5.08023 7.66/7.83 c 7.66/7.83 c 7.66/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-12-10.xml 7.66/7.83 c 19 > 0.000000 | c 35 > 67.105300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.368400 | c 15 > 19.856600 | c 34 > 86.842100 | c 16 > 12.000000 | c 13 > 7.680060 | c 14 > 12.109200 | c 11 > 10.396600 | c 12 > 6.192780 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.189800 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.189800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.440400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.83 c choco : 1801.0 7.66/7.83 c mistral : 1800.03 7.66/7.83 c abscon : 64.0893 7.66/7.83 c 7.66/7.83 c 7.66/7.83 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/seymour.xml 7.66/7.83 c 19 > 0.000000 | c 35 > 69.260400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.164300 | c 34 > 69.260400 | c 16 > 19.000000 | c 13 > 4.961440 | c 14 > 9.642050 | c 11 > 10.293500 | c 12 > 4.714390 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.804000 | c 1 > 10.293500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.804000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.435400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.84 c choco : 7.93 7.66/7.84 c mistral : 1.3058 7.66/7.84 c abscon : 2.56561 7.66/7.84 c 7.66/7.84 c 7.66/7.84 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-seymour.xml 7.66/7.84 c 19 > 0.000000 | c 35 > 69.260400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.161900 | c 34 > 69.260400 | c 16 > 19.000000 | c 13 > 4.961380 | c 14 > 9.643860 | c 11 > 10.293500 | c 12 > 4.714300 | c 21 > 1.383740 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.804000 | c 1 > 10.293500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.804000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.435400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.85 c choco : 8.03 7.66/7.85 c mistral : 1.2898 7.66/7.85 c abscon : 4.09638 7.66/7.85 c 7.66/7.85 c 7.66/7.85 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-10.xml 7.66/7.85 c 19 > 0.000000 | c 35 > 66.312100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.340400 | c 15 > 19.979300 | c 34 > 85.815600 | c 16 > 11.000000 | c 13 > 7.992250 | c 14 > 12.286600 | c 11 > 10.269100 | c 12 > 6.576440 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.062000 | c 1 > 7.366320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.062000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.294600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.86 c choco : 1801.0 7.66/7.86 c mistral : 146.81 7.66/7.86 c abscon : 2.55861 7.66/7.86 c 7.66/7.86 c 7.66/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-flugpl.xml 7.66/7.86 c 19 > 0.000000 | c 35 > 67.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.000000 | c 15 > 20.735000 | c 34 > 130.571000 | c 16 > 65.000000 | c 13 > 5.926460 | c 14 > 12.123200 | c 11 > 9.379380 | c 12 > 3.744580 | c 21 > 1.320380 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.951280 | c 1 > 7.622050 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.951280 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.247200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.86 c choco : 3.16 7.66/7.86 c mistral : 3.08 7.66/7.86 c abscon : 4.10837 7.66/7.86 c 7.66/7.86 c 7.66/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-enigma.xml 7.66/7.86 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.571400 | c 15 > 20.129800 | c 34 > 142.143000 | c 16 > 90.000000 | c 13 > 6.570010 | c 14 > 9.894820 | c 11 > 9.515700 | c 12 > 5.423830 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.823370 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.823370 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.520800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.87 c choco : 1.86 7.66/7.87 c mistral : 0.86 7.66/7.87 c abscon : 1800.07 7.66/7.87 c 7.66/7.87 c 7.66/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-10-10.xml 7.66/7.87 c 19 > 0.000000 | c 35 > 65.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.307700 | c 15 > 19.792200 | c 34 > 84.615400 | c 16 > 10.000000 | c 13 > 7.580690 | c 14 > 11.636200 | c 11 > 10.129300 | c 12 > 6.558790 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.921840 | c 1 > 7.228820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.921840 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.135700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.87 c choco : 1801.0 7.66/7.87 c mistral : 0.25 7.66/7.87 c abscon : 0.823873 7.66/7.87 c 7.66/7.87 c 7.66/7.87 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-nazareth.xml 7.66/7.87 c 19 > 0.000000 | c 35 > 56.666700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.000000 | c 15 > 12.682800 | c 34 > 113.333000 | c 16 > 61.000000 | c 13 > -0.697651 | c 14 > 6.285400 | c 11 > 7.459430 | c 12 > 0.347923 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.607330 | c 1 > 6.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 7.607330 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.321300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.88 c choco : 1.18 7.66/7.88 c mistral : 0.02 7.66/7.88 c abscon : 0.702892 7.66/7.88 c 7.66/7.88 c 7.66/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-enigma.xml 7.66/7.88 c 19 > 0.000000 | c 35 > 94.761900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.571400 | c 15 > 20.829000 | c 34 > 142.143000 | c 16 > 90.000000 | c 13 > 6.767430 | c 14 > 10.433600 | c 11 > 9.396600 | c 12 > 5.943450 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.836050 | c 1 > 6.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.836050 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.701500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.89 c choco : 2.76 7.66/7.89 c mistral : 18.74 7.66/7.89 c abscon : 1800.07 7.66/7.89 c 7.66/7.89 c 7.66/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0201.xml 7.66/7.89 c 19 > 4.511280 | c 35 > 67.218000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.503800 | c 15 > 15.978800 | c 34 > 108.045000 | c 16 > 67.000000 | c 13 > 1.210120 | c 14 > 6.022370 | c 11 > 11.244400 | c 12 > 0.715638 | c 21 > 1.403620 | c 20 > 95.488700 | 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.637100 | c 1 > 7.607330 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.634400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.905800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.89 c choco : 2.01 7.66/7.89 c mistral : 0.19 7.66/7.89 c abscon : 1.05784 7.66/7.89 c 7.66/7.89 c 7.66/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-11-9.xml 7.66/7.89 c 19 > 0.000000 | c 35 > 62.265600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 32.578100 | c 15 > 20.176200 | c 34 > 81.640600 | c 16 > 11.000000 | c 13 > 8.877500 | c 14 > 12.540400 | c 11 > 10.058000 | c 12 > 7.343540 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.840780 | c 1 > 7.219170 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.840780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.022700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.90 c choco : 588.27 7.66/7.90 c mistral : 1800.02 7.66/7.90 c abscon : 1.86871 7.66/7.90 c 7.66/7.90 c 7.66/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/alu4-b.xml 7.66/7.90 c 19 > 5.990020 | c 35 > 94.642300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 22.412600 | c 15 > 19.780300 | c 34 > 101.514000 | c 16 > 98.000000 | c 13 > 5.384320 | c 14 > 8.791160 | c 11 > 9.627530 | c 12 > 5.492460 | c 21 > 1.407190 | c 20 > 94.010000 | 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.135300 | c 1 > 9.627530 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.131300 | c 6 > 1.584960 | c 32 > -1.000000 | c 5 > 19.161100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.66/7.90 c choco : 7.44 7.66/7.90 c mistral : 2.31 7.66/7.90 c abscon : 6.18006 7.66/7.90 c 7.66/7.90 c 7.72/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-misc02.xml 7.72/7.90 c 19 > 3.773580 | c 35 > 89.434000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.415100 | c 15 > 14.210600 | c 34 > 142.264000 | c 16 > 79.000000 | c 13 > 1.217250 | c 14 > 5.169930 | c 11 > 9.784630 | c 12 > 0.653117 | c 21 > 1.414210 | c 20 > 96.226400 | 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.952740 | c 1 > 6.475730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.949830 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.749000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.91 c choco : 1.68 7.72/7.91 c mistral : 0.07 7.72/7.91 c abscon : 21.5577 7.72/7.91 c 7.72/7.91 c 7.72/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/max1024-pi.xml 7.72/7.91 c 19 > 0.000000 | c 35 > 64.967300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.906300 | c 34 > 64.967300 | c 16 > 18.000000 | c 13 > 1.317860 | c 14 > 9.840780 | c 11 > 12.803700 | c 12 > 0.719344 | c 21 > 1.410340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.523100 | c 1 > 10.303800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.523100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.242300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.91 c choco : 3.87 7.72/7.91 c mistral : 0.249961 7.72/7.91 c abscon : 3.85641 7.72/7.91 c 7.72/7.91 c 7.72/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mzzv11.xml 7.72/7.92 c 19 > 3.888380 | c 35 > 80.594700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.323400 | c 15 > 19.455300 | c 34 > 146.118000 | c 16 > 68.000000 | c 13 > 3.973000 | c 14 > 7.748190 | c 11 > 13.457300 | c 12 > 3.829950 | c 21 > 1.414210 | c 20 > 96.111600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.120700 | c 1 > 13.457300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.114100 | c 6 > 9.609180 | c 32 > -1.000000 | c 5 > 22.291800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.92 c choco : 53.92 7.72/7.92 c mistral : 14.2 7.72/7.92 c abscon : 307.272 7.72/7.92 c 7.72/7.92 c 7.72/7.92 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-46.xml 7.72/7.92 c 19 > 0.000000 | c 35 > 47.656200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.909700 | c 34 > 142.969000 | c 16 > 22.000000 | c 13 > 0.197684 | c 14 > 7.276120 | c 11 > 10.627500 | c 12 > 0.417543 | c 21 > 2.000000 | c 20 > 100.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 > 7.491850 | c 10 > 10.517700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.315150 | c 6 > 9.579320 | c 32 > -1.000000 | c 5 > 12.890300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.93 c choco : 13.96 7.72/7.93 c mistral : 0.17 7.72/7.93 c abscon : 11.05 7.72/7.93 c 7.72/7.93 c 7.72/7.93 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-14.xml 7.72/7.93 c 19 > 0.000000 | c 35 > 46.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.793700 | c 34 > 140.625000 | c 16 > 18.000000 | c 13 > 3.378020 | c 14 > 7.820180 | c 11 > 10.455300 | c 12 > 1.469490 | c 21 > 2.000000 | c 20 > 100.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 > 7.491850 | c 10 > 10.330900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.098030 | c 6 > 9.400880 | c 32 > -1.000000 | c 5 > 12.612200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.94 c choco : 12.74 7.72/7.94 c mistral : 0.11 7.72/7.94 c abscon : 6.62 7.72/7.94 c 7.72/7.94 c 7.72/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9sym-b.xml 7.72/7.94 c 19 > 0.000000 | c 35 > 80.373800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.813100 | c 15 > 19.394400 | c 34 > 86.978200 | c 16 > 87.000000 | c 13 > 5.633970 | c 14 > 7.139550 | c 11 > 8.271460 | c 12 > 6.182960 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.463800 | c 1 > 8.271460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.463800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.764700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.94 c choco : 5.13 7.72/7.94 c mistral : 1.67 7.72/7.94 c abscon : 2.76658 7.72/7.94 c 7.72/7.94 c 7.72/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0201.xml 7.72/7.94 c 19 > 4.511280 | c 35 > 65.413500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 41.503800 | c 15 > 15.970600 | c 34 > 104.436000 | c 16 > 65.000000 | c 13 > 1.208230 | c 14 > 5.832890 | c 11 > 11.244400 | c 12 > 0.715638 | c 21 > 1.414210 | c 20 > 95.488700 | 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.637100 | c 1 > 7.607330 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.634400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.905800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.95 c choco : 2.02 7.72/7.95 c mistral : 0.18 7.72/7.95 c abscon : 1.04484 7.72/7.95 c 7.72/7.95 c 7.72/7.95 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-23.xml 7.72/7.95 c 19 > 0.000000 | c 35 > 46.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.628100 | c 34 > 140.625000 | c 16 > 16.000000 | c 13 > 4.236290 | c 14 > 8.011230 | c 11 > 10.473700 | c 12 > 1.921830 | c 21 > 2.000000 | c 20 > 100.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 > 7.491850 | c 10 > 10.350900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.121530 | c 6 > 9.419960 | c 32 > -1.000000 | c 5 > 12.605700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.96 c choco : 15.4 7.72/7.96 c mistral : 0.12 7.72/7.96 c abscon : 5.35 7.72/7.96 c 7.72/7.96 c 7.72/7.96 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-12.xml 7.72/7.96 c 19 > 0.000000 | c 35 > 48.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.841200 | c 34 > 145.312000 | c 16 > 19.000000 | c 13 > 0.264337 | c 14 > 7.228820 | c 11 > 10.541100 | c 12 > 0.439043 | c 21 > 2.000000 | c 20 > 100.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 > 7.491850 | c 10 > 10.424200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.207010 | c 6 > 9.489850 | c 32 > -1.000000 | c 5 > 12.727700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.96 c choco : 21.57 7.72/7.96 c mistral : 0.14 7.72/7.96 c abscon : 9.23 7.72/7.96 c 7.72/7.96 c 7.72/7.96 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-6.xml 7.72/7.96 c 19 > 0.000000 | c 35 > 47.968800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.644300 | c 34 > 143.906000 | c 16 > 19.000000 | c 13 > 0.199844 | c 14 > 7.159870 | c 11 > 10.548800 | c 12 > 0.401005 | c 21 > 2.000000 | c 20 > 100.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 > 7.491850 | c 10 > 10.432500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.216750 | c 6 > 9.497850 | c 32 > -1.000000 | c 5 > 12.742300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.97 c choco : 12.23 7.72/7.97 c mistral : 0.16 7.72/7.97 c abscon : 6.69 7.72/7.97 c 7.72/7.97 c 7.72/7.97 c Length: 40 7.72/7.97 c 36.60578067792983 37.21365541760309 38.43182875386494 45.634744473944416 50.78036867913525 55.14764069407502 55.971082448397404 58.88561512359044 59.5686005067972 59.99179637553538 61.0131158078638 61.09995184629936 62.34177943065628 65.79579809637012 67.39515242967924 68.33624630457471 71.27823506004201 71.65861545569635 72.77811259060377 73.04681867006599 73.04683880938997 74.0719154997115 74.0810219014742 75.47012866041703 75.58447102431887 75.98096217068715 76.12776187280892 79.02694054323857 79.11212641076082 79.16874566911301 79.5747131106231 79.60050831705975 79.76999323714837 79.77683027440715 79.84934237034767 79.95848648692709 79.98048561130874 80.00866531302093 80.13731406562212 80.1594923490481 7.72/7.97 c 7.72/7.97 c 1.0 0.9862352150572942 0.959760737251288 0.8282901408914006 0.7544603239370818 0.7013980302890367 0.6922186043421299 0.6615732288499313 0.654780258214872 0.6506407089352417 0.6408628725013095 0.6400450661169474 0.6285740177683019 0.5987280582976031 0.5858475283219325 0.5785241100378251 0.5567665382128192 0.5540723214375 0.5462921488803497 0.5444571281798093 0.5444569911083667 0.5375684299147004 0.5375080155328916 0.528448641646867 0.527716516258419 0.5251934519981097 0.5242654038573138 0.5065865280492433 0.5060850873789866 0.5057523508705533 0.5033793421622863 0.5032293131825553 0.5022457820303975 0.5022061869588791 0.5017866343416193 0.501156450052535 0.5010296215249945 0.5008672547134667 0.5001273366309701 0.5 7.72/7.99 c 7.72/7.99 c solver 0 7.72/7.99 c before 0.0 seconds: {} 0 7.72/7.99 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 27, 28, 29, 31, 33, 34, 35, 36, 37, 38, 39} 18529 7.72/7.99 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 15, 16, 17, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19032 7.72/7.99 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 19578 7.72/7.99 c before 126.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20177 7.72/7.99 c before 144.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 20817 7.72/7.99 c before 324.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21319 7.72/7.99 c before 1638.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21970 7.72/7.99 c 7.72/7.99 c solver 1 7.72/7.99 c before 0.0 seconds: {} 0 7.72/7.99 c before 18.0 seconds: {3, 4, 6, 7, 8, 10, 12, 15, 16, 17, 19, 20, 22, 23, 24, 25, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15786 7.72/7.99 c before 36.0 seconds: {3, 4, 6, 7, 8, 10, 12, 15, 16, 17, 19, 20, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16310 7.72/7.99 c before 54.0 seconds: {2, 3, 4, 6, 7, 8, 10, 12, 15, 16, 17, 19, 20, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17270 7.72/7.99 c before 162.0 seconds: {2, 3, 4, 6, 7, 8, 10, 12, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17807 7.72/7.99 c before 414.0 seconds: {0, 2, 3, 4, 6, 7, 8, 10, 12, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18807 7.72/7.99 c 7.72/7.99 c solver 2 7.72/7.99 c before 0.0 seconds: {} 0 7.72/7.99 c before 18.0 seconds: {7, 8, 10, 16, 17, 19, 20, 22, 23, 25, 26, 27, 29, 30, 31, 33, 34, 35, 36, 37, 39} 11298 7.72/7.99 c before 36.0 seconds: {7, 8, 10, 16, 17, 19, 20, 22, 23, 25, 26, 27, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 11798 7.72/7.99 c before 54.0 seconds: {7, 8, 10, 16, 17, 19, 20, 22, 23, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12300 7.72/7.99 c before 594.0 seconds: {7, 8, 10, 16, 17, 19, 20, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12806 7.72/7.99 c 7.72/7.99 cTotal time: 147 7.72/7.99 c run abscon for 324.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21319 7.72/7.99 c run mistral for 414.0 seconds {0, 2, 3, 4, 6, 7, 8, 10, 12, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18807 7.72/7.99 c run choco for 594.0 seconds {7, 8, 10, 16, 17, 19, 20, 22, 23, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12806 7.72/7.99 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.72/7.99 c On Instance: HOME/instance-1060990-1215129647.xml 7.72/7.99 c Running for: 324 seconds 332.04/332.42 c Starting solver: HOME/cpHydra_k_40/solver/mistral 332.04/332.42 c On Instance: HOME/instance-1060990-1215129647.xml 332.04/332.42 c Running for: 414 seconds 745.92/750.28 c Starting solver: HOME/cpHydra_k_40/solver/choco 745.92/750.28 c On Instance: HOME/instance-1060990-1215129647.xml 745.92/750.28 c Running for: 594 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-1060990-1215129647/watcher-1060990-1215129647 -o /tmp/evaluation-result-1060990-1215129647/solver-1060990-1215129647 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1060990-1215129647.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.97 2.01 2.00 4/80 29065 /proc/meminfo: memFree=1542568/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=18572 CPUtime=0 /proc/29065/stat : 29065 (runsolver) R 29063 29065 29028 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 1991938554 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 221780700455 0 0 4096 24578 0 0 0 17 1 0 0 /proc/29065/statm: 4643 292 257 25 0 2626 0 [startup+0.214924 s] /proc/loadavg: 1.97 2.01 2.00 4/80 29065 /proc/meminfo: memFree=1542568/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=0 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1991938554 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30293 s] /proc/loadavg: 1.97 2.01 2.00 4/80 29065 /proc/meminfo: memFree=1542568/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=0 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1991938554 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.402938 s] /proc/loadavg: 1.97 2.01 2.00 4/80 29065 /proc/meminfo: memFree=1542568/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=0 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1991938554 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702955 s] /proc/loadavg: 1.97 2.01 2.00 4/80 29065 /proc/meminfo: memFree=1542568/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=0 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1991938554 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50301 s] /proc/loadavg: 1.97 2.01 2.00 3/82 29069 /proc/meminfo: memFree=1535896/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=0 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1991938554 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 236 195 169 0 51 0 [pid=29069] ppid=29065 vsize=10732 CPUtime=1.46 /proc/29069/stat : 29069 (xsolve) R 29065 29065 29028 0 -1 4194304 2069 0 0 0 145 1 0 0 25 0 1 0 1991938555 10989568 1995 996147200 134512640 135239763 4294956176 18446744073709551615 135042190 0 0 4096 0 0 0 0 17 1 0 0 /proc/29069/statm: 2683 1995 431 177 0 1586 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 16092 [startup+3.1011 s] /proc/loadavg: 1.97 2.01 2.00 3/90 29081 /proc/meminfo: memFree=1534552/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=1.53 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 375 2665 0 0 0 0 151 2 18 0 1 0 1991938554 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 238 196 169 0 51 0 [pid=29073] ppid=29065 vsize=197004 CPUtime=1.51 /proc/29073/stat : 29073 (java) S 29065 29065 29028 0 -1 0 5037 0 1 0 146 5 0 0 18 0 9 0 1991938711 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29073/statm: 49251 4230 1679 9 0 43833 0 [pid=29073/tid=29074] ppid=29065 vsize=197004 CPUtime=1.2 /proc/29073/task/29074/stat : 29074 (java) R 29065 29065 29028 0 -1 64 2734 0 1 0 118 2 0 0 25 0 9 0 1991938712 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4126439946 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29075] ppid=29065 vsize=197004 CPUtime=0.14 /proc/29073/task/29075/stat : 29075 (java) S 29065 29065 29028 0 -1 64 963 0 0 0 13 1 0 0 16 0 9 0 1991938713 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29076] ppid=29065 vsize=197004 CPUtime=0 /proc/29073/task/29076/stat : 29076 (java) S 29065 29065 29028 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1991938713 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29077] ppid=29065 vsize=197004 CPUtime=0 /proc/29073/task/29077/stat : 29077 (java) S 29065 29065 29028 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991938713 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29078] ppid=29065 vsize=197004 CPUtime=0 /proc/29073/task/29078/stat : 29078 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991938715 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29079] ppid=29065 vsize=197004 CPUtime=0.14 /proc/29073/task/29079/stat : 29079 (java) S 29065 29065 29028 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 1991938715 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29080] ppid=29065 vsize=197004 CPUtime=0 /proc/29073/task/29080/stat : 29080 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991938715 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29081] ppid=29065 vsize=197004 CPUtime=0 /proc/29073/task/29081/stat : 29081 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991938716 201732096 4230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 202364 [startup+6.30231 s] /proc/loadavg: 2.13 2.04 2.01 4/90 29081 /proc/meminfo: memFree=1521824/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=1.53 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 375 2665 0 0 0 0 151 2 18 0 1 0 1991938554 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 238 196 169 0 51 0 [pid=29073] ppid=29065 vsize=197112 CPUtime=4.67 /proc/29073/stat : 29073 (java) S 29065 29065 29028 0 -1 0 9925 0 1 0 453 14 0 0 18 0 9 0 1991938711 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29073/statm: 49278 8230 2541 9 0 43860 0 [pid=29073/tid=29074] ppid=29065 vsize=197112 CPUtime=3.71 /proc/29073/task/29074/stat : 29074 (java) R 29065 29065 29028 0 -1 64 3538 0 1 0 366 5 0 0 25 0 9 0 1991938712 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4126506039 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29075] ppid=29065 vsize=197112 CPUtime=0.76 /proc/29073/task/29075/stat : 29075 (java) S 29065 29065 29028 0 -1 64 5032 0 0 0 69 7 0 0 16 0 9 0 1991938713 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29076] ppid=29065 vsize=197112 CPUtime=0 /proc/29073/task/29076/stat : 29076 (java) S 29065 29065 29028 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1991938713 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29077] ppid=29065 vsize=197112 CPUtime=0 /proc/29073/task/29077/stat : 29077 (java) S 29065 29065 29028 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991938713 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29078] ppid=29065 vsize=197112 CPUtime=0 /proc/29073/task/29078/stat : 29078 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991938715 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29079] ppid=29065 vsize=197112 CPUtime=0.17 /proc/29073/task/29079/stat : 29079 (java) S 29065 29065 29028 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1991938715 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29080] ppid=29065 vsize=197112 CPUtime=0 /proc/29073/task/29080/stat : 29080 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991938715 201842688 8230 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29081] ppid=29065 vsize=197112 CPUtime=0 /proc/29073/task/29081/stat : 29081 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991938716 201842688 8230 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) 202472 [startup+12.7027 s] /proc/loadavg: 2.12 2.04 2.01 3/102 29093 /proc/meminfo: memFree=1468736/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=1.53 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 375 2665 0 0 0 0 151 2 18 0 1 0 1991938554 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 238 196 169 0 51 0 [pid=29073] ppid=29065 vsize=197436 CPUtime=6.26 /proc/29073/stat : 29073 (java) S 29065 29065 29028 0 -1 0 14035 0 1 0 605 21 0 0 18 0 10 0 1991938711 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29073/statm: 49359 9563 2544 9 0 43941 0 [pid=29083] ppid=29073 vsize=5356 CPUtime=0 /proc/29083/stat : 29083 (abscon) S 29073 29065 29028 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1991939354 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29083/statm: 1339 237 196 169 0 50 0 [pid=29084] ppid=29083 vsize=655416 CPUtime=4.67 /proc/29084/stat : 29084 (java) S 29083 29065 29028 0 -1 0 14260 0 1 0 458 9 0 0 18 0 9 0 1991939355 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/29084/statm: 163854 13578 2611 9 0 158382 0 [pid=29084/tid=29086] ppid=29083 vsize=655416 CPUtime=4.38 /proc/29084/task/29086/stat : 29086 (java) R 29083 29065 29028 0 -1 64 11608 0 1 0 430 8 0 0 25 0 9 0 1991939356 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4126964644 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29087] ppid=29083 vsize=655416 CPUtime=0.05 /proc/29084/task/29087/stat : 29087 (java) S 29083 29065 29028 0 -1 64 1562 0 0 0 5 0 0 0 16 0 9 0 1991939357 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29088] ppid=29083 vsize=655416 CPUtime=0 /proc/29084/task/29088/stat : 29088 (java) S 29083 29065 29028 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991939357 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29089] ppid=29083 vsize=655416 CPUtime=0 /proc/29084/task/29089/stat : 29089 (java) S 29083 29065 29028 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991939357 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29090] ppid=29083 vsize=655416 CPUtime=0 /proc/29084/task/29090/stat : 29090 (java) S 29083 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1991939359 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29091] ppid=29083 vsize=655416 CPUtime=0.23 /proc/29084/task/29091/stat : 29091 (java) S 29083 29065 29028 0 -1 64 546 0 0 0 23 0 0 0 16 0 9 0 1991939359 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29092] ppid=29083 vsize=655416 CPUtime=0 /proc/29084/task/29092/stat : 29092 (java) S 29083 29065 29028 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1991939359 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29093] ppid=29083 vsize=655416 CPUtime=0 /proc/29084/task/29093/stat : 29093 (java) S 29083 29065 29028 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1991939359 671145984 13578 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29085] ppid=29083 vsize=7044 CPUtime=0 /proc/29085/stat : 29085 (translate) S 29083 29065 29028 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1991939355 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/29085/statm: 1761 213 182 1 0 41 0 [pid=29073/tid=29074] ppid=29065 vsize=197436 CPUtime=4.9 /proc/29073/task/29074/stat : 29074 (java) S 29065 29065 29028 0 -1 64 3987 0 1 0 481 9 0 0 25 0 10 0 1991938712 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29073/tid=29075] ppid=29065 vsize=197436 CPUtime=1.09 /proc/29073/task/29075/stat : 29075 (java) S 29065 29065 29028 0 -1 64 8551 0 0 0 100 9 0 0 16 0 10 0 1991938713 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29076] ppid=29065 vsize=197436 CPUtime=0 /proc/29073/task/29076/stat : 29076 (java) S 29065 29065 29028 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1991938713 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29077] ppid=29065 vsize=197436 CPUtime=0 /proc/29073/task/29077/stat : 29077 (java) S 29065 29065 29028 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1991938713 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29078] ppid=29065 vsize=197436 CPUtime=0 /proc/29073/task/29078/stat : 29078 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991938715 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29079] ppid=29065 vsize=197436 CPUtime=0.23 /proc/29073/task/29079/stat : 29079 (java) S 29065 29065 29028 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1991938715 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29080] ppid=29065 vsize=197436 CPUtime=0 /proc/29073/task/29080/stat : 29080 (java) S 29065 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991938715 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29081] ppid=29065 vsize=197436 CPUtime=0 /proc/29073/task/29081/stat : 29081 (java) S 29065 29065 29028 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1991938716 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29082] ppid=29065 vsize=197436 CPUtime=0 /proc/29073/task/29082/stat : 29082 (java) S 29065 29065 29028 0 -1 64 75 0 0 0 0 0 0 0 25 0 10 0 1991939354 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.46 Current children cumulated vsize (KiB) 870612 [startup+25.5075 s] /proc/loadavg: 2.09 2.04 2.01 3/102 29099 /proc/meminfo: memFree=1468472/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=1.53 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 375 2665 0 0 0 0 151 2 18 0 1 0 1991938554 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 238 196 169 0 51 0 [pid=29073] ppid=29065 vsize=197436 CPUtime=6.26 /proc/29073/stat : 29073 (java) S 29065 29065 29028 0 -1 0 14035 0 1 0 605 21 0 0 18 0 10 0 1991938711 202174464 9563 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29073/statm: 49359 9563 2544 9 0 43941 0 [pid=29083] ppid=29073 vsize=5356 CPUtime=0 /proc/29083/stat : 29083 (abscon) S 29073 29065 29028 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1991939354 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29083/statm: 1339 237 196 169 0 50 0 [pid=29084] ppid=29083 vsize=655416 CPUtime=17.48 /proc/29084/stat : 29084 (java) S 29083 29065 29028 0 -1 0 14269 0 1 0 1738 10 0 0 18 0 9 0 1991939355 671145984 13585 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/29084/statm: 163854 13585 2611 9 0 158382 0 [pid=29084/tid=29086] ppid=29083 vsize=655416 CPUtime=17.17 /proc/29084/task/29086/stat : 29086 (java) R 29083 29065 29028 0 -1 64 11617 0 1 0 1709 8 0 0 25 0 9 0 1991939356 671145984 13585 996147200 134512640 134550740 4294955808 18446744073709551615 4127040668 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29087] ppid=29083 vsize=655416 CPUtime=0.05 /proc/29084/task/29087/stat : 29087 (java) S 29083 29065 29028 0 -1 64 1562 0 0 0 5 0 0 0 16 0 9 0 1991939357 671145984 13585 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=29084/tid=29088] ppid=29083 vsize=655416 CPUtime=0 /proc/29084/task/29088/stat : 29088 (java) S 29083 29065 29028 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991939357 671145984 13585 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/29073/statm: 49440 9569 2545 9 0 44022 0 [pid=29104] ppid=29073 vsize=5356 CPUtime=0 /proc/29104/stat : 29104 (choco) S 29073 29065 29028 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992013583 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29104/statm: 1339 238 197 169 0 50 0 [pid=29105] ppid=29104 vsize=655600 CPUtime=1019.77 /proc/29105/stat : 29105 (java) S 29104 29065 29028 0 -1 0 15360 0 1 0 99393 2584 0 0 18 0 9 0 1992013584 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29105/statm: 163900 14533 1932 9 0 158429 0 [pid=29105/tid=29106] ppid=29104 vsize=655600 CPUtime=1019.11 /proc/29105/task/29106/stat : 29106 (java) R 29104 29065 29028 0 -1 64 12560 0 1 0 99333 2578 0 0 25 0 9 0 1992013585 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29105/tid=29107] ppid=29104 vsize=655600 CPUtime=0.31 /proc/29105/task/29107/stat : 29107 (java) S 29104 29065 29028 0 -1 64 1617 0 0 0 27 4 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=29105/tid=29108] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29108/stat : 29108 (java) S 29104 29065 29028 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29109] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29109/stat : 29109 (java) S 29104 29065 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29110] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29110/stat : 29110 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29111] ppid=29104 vsize=655600 CPUtime=0.32 /proc/29105/task/29111/stat : 29111 (java) S 29104 29065 29028 0 -1 64 636 0 0 0 32 0 0 0 16 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29112] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29112/stat : 29112 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29113] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29113/stat : 29113 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29074] ppid=29065 vsize=197760 CPUtime=743.12 /proc/29073/task/29074/stat : 29074 (java) S 29065 29065 29028 0 -1 64 4147 17472 1 1 481 9 73808 14 16 0 10 0 1991938712 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29073/tid=29075] ppid=29065 vsize=197760 CPUtime=739.31 /proc/29073/task/29075/stat : 29075 (java) S 29065 29065 29028 0 -1 64 8602 17472 0 1 100 9 73808 14 16 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29076] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29076/stat : 29076 (java) S 29065 29065 29028 0 -1 64 10 17472 0 1 0 0 73808 14 16 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29077] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29077/stat : 29077 (java) S 29065 29065 29028 0 -1 64 6 17472 0 1 0 0 73808 14 15 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29078] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29078/stat : 29078 (java) S 29065 29065 29028 0 -1 64 1 17472 0 1 0 0 73808 14 18 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29079] ppid=29065 vsize=197760 CPUtime=738.45 /proc/29073/task/29079/stat : 29079 (java) S 29065 29065 29028 0 -1 64 702 17472 0 1 23 0 73808 14 16 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29080] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29080/stat : 29080 (java) S 29065 29065 29028 0 -1 64 1 17472 0 1 0 0 73808 14 19 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29081] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29081/stat : 29081 (java) S 29065 29065 29028 0 -1 64 41 17472 0 1 0 0 73808 14 15 0 10 0 1991938716 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29103] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29103/stat : 29103 (java) S 29065 29065 29028 0 -1 64 42 17472 0 1 0 0 73808 14 17 0 10 0 1992013583 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1765.78 Current children cumulated vsize (KiB) 864076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1816.7 s] /proc/loadavg: 2.13 2.10 2.03 3/102 29157 /proc/meminfo: memFree=1472104/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=1.53 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 375 2665 0 0 0 0 151 2 18 0 1 0 1991938554 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 238 196 169 0 51 0 [pid=29073] ppid=29065 vsize=197760 CPUtime=744.48 /proc/29073/stat : 29073 (java) S 29065 29065 29028 0 -1 0 14411 17472 1 1 605 21 73808 14 18 0 10 0 1991938711 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29073/statm: 49440 9569 2545 9 0 44022 0 [pid=29104] ppid=29073 vsize=5356 CPUtime=0 /proc/29104/stat : 29104 (choco) S 29073 29065 29028 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992013583 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29104/statm: 1339 238 197 169 0 50 0 [pid=29105] ppid=29104 vsize=655600 CPUtime=1054.01 /proc/29105/stat : 29105 (java) S 29104 29065 29028 0 -1 0 15375 0 1 0 102729 2672 0 0 18 0 9 0 1992013584 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29105/statm: 163900 14533 1932 9 0 158429 0 [pid=29105/tid=29106] ppid=29104 vsize=655600 CPUtime=1053.35 /proc/29105/task/29106/stat : 29106 (java) R 29104 29065 29028 0 -1 64 12575 0 1 0 102669 2666 0 0 25 0 9 0 1992013585 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29105/tid=29107] ppid=29104 vsize=655600 CPUtime=0.32 /proc/29105/task/29107/stat : 29107 (java) S 29104 29065 29028 0 -1 64 1617 0 0 0 28 4 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=29105/tid=29108] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29108/stat : 29108 (java) S 29104 29065 29028 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29109] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29109/stat : 29109 (java) S 29104 29065 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29110] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29110/stat : 29110 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29111] ppid=29104 vsize=655600 CPUtime=0.32 /proc/29105/task/29111/stat : 29111 (java) S 29104 29065 29028 0 -1 64 636 0 0 0 32 0 0 0 16 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29112] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29112/stat : 29112 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29113] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29113/stat : 29113 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29074] ppid=29065 vsize=197760 CPUtime=743.12 /proc/29073/task/29074/stat : 29074 (java) S 29065 29065 29028 0 -1 64 4147 17472 1 1 481 9 73808 14 16 0 10 0 1991938712 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29073/tid=29075] ppid=29065 vsize=197760 CPUtime=739.31 /proc/29073/task/29075/stat : 29075 (java) S 29065 29065 29028 0 -1 64 8602 17472 0 1 100 9 73808 14 16 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29076] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29076/stat : 29076 (java) S 29065 29065 29028 0 -1 64 10 17472 0 1 0 0 73808 14 16 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29077] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29077/stat : 29077 (java) S 29065 29065 29028 0 -1 64 6 17472 0 1 0 0 73808 14 15 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29078] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29078/stat : 29078 (java) S 29065 29065 29028 0 -1 64 1 17472 0 1 0 0 73808 14 18 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29079] ppid=29065 vsize=197760 CPUtime=738.45 /proc/29073/task/29079/stat : 29079 (java) S 29065 29065 29028 0 -1 64 702 17472 0 1 23 0 73808 14 16 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29080] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29080/stat : 29080 (java) S 29065 29065 29028 0 -1 64 1 17472 0 1 0 0 73808 14 19 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29081] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29081/stat : 29081 (java) S 29065 29065 29028 0 -1 64 41 17472 0 1 0 0 73808 14 15 0 10 0 1991938716 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29103] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29103/stat : 29103 (java) S 29065 29065 29028 0 -1 64 42 17472 0 1 0 0 73808 14 17 0 10 0 1992013583 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 864076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1816.7 s] /proc/loadavg: 2.13 2.10 2.03 3/102 29157 /proc/meminfo: memFree=1472104/2055920 swapFree=4180452/4192956 [pid=29065] ppid=29063 vsize=5360 CPUtime=1.53 /proc/29065/stat : 29065 (hydra) S 29063 29065 29028 0 -1 4194304 375 2665 0 0 0 0 151 2 18 0 1 0 1991938554 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29065/statm: 1340 238 196 169 0 51 0 [pid=29073] ppid=29065 vsize=197760 CPUtime=744.48 /proc/29073/stat : 29073 (java) S 29065 29065 29028 0 -1 0 14411 17472 1 1 605 21 73808 14 18 0 10 0 1991938711 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29073/statm: 49440 9569 2545 9 0 44022 0 [pid=29104] ppid=29073 vsize=5356 CPUtime=0 /proc/29104/stat : 29104 (choco) S 29073 29065 29028 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1992013583 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/29104/statm: 1339 238 197 169 0 50 0 [pid=29105] ppid=29104 vsize=655600 CPUtime=1054.01 /proc/29105/stat : 29105 (java) S 29104 29065 29028 0 -1 0 15375 0 1 0 102729 2672 0 0 18 0 9 0 1992013584 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/29105/statm: 163900 14533 1932 9 0 158429 0 [pid=29105/tid=29106] ppid=29104 vsize=655600 CPUtime=1053.35 /proc/29105/task/29106/stat : 29106 (java) R 29104 29065 29028 0 -1 64 12575 0 1 0 102669 2666 0 0 25 0 9 0 1992013585 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29105/tid=29107] ppid=29104 vsize=655600 CPUtime=0.32 /proc/29105/task/29107/stat : 29107 (java) S 29104 29065 29028 0 -1 64 1617 0 0 0 28 4 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=29105/tid=29108] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29108/stat : 29108 (java) S 29104 29065 29028 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29109] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29109/stat : 29109 (java) S 29104 29065 29028 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1992013587 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29110] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29110/stat : 29110 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29111] ppid=29104 vsize=655600 CPUtime=0.32 /proc/29105/task/29111/stat : 29111 (java) S 29104 29065 29028 0 -1 64 636 0 0 0 32 0 0 0 16 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29112] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29112/stat : 29112 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29105/tid=29113] ppid=29104 vsize=655600 CPUtime=0 /proc/29105/task/29113/stat : 29113 (java) S 29104 29065 29028 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992013589 671334400 14533 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29074] ppid=29065 vsize=197760 CPUtime=743.12 /proc/29073/task/29074/stat : 29074 (java) S 29065 29065 29028 0 -1 64 4147 17472 1 1 481 9 73808 14 16 0 10 0 1991938712 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=29073/tid=29075] ppid=29065 vsize=197760 CPUtime=739.31 /proc/29073/task/29075/stat : 29075 (java) S 29065 29065 29028 0 -1 64 8602 17472 0 1 100 9 73808 14 16 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29076] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29076/stat : 29076 (java) S 29065 29065 29028 0 -1 64 10 17472 0 1 0 0 73808 14 16 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29077] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29077/stat : 29077 (java) S 29065 29065 29028 0 -1 64 6 17472 0 1 0 0 73808 14 15 0 10 0 1991938713 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29078] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29078/stat : 29078 (java) S 29065 29065 29028 0 -1 64 1 17472 0 1 0 0 73808 14 18 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29079] ppid=29065 vsize=197760 CPUtime=738.45 /proc/29073/task/29079/stat : 29079 (java) S 29065 29065 29028 0 -1 64 702 17472 0 1 23 0 73808 14 16 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29080] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29080/stat : 29080 (java) S 29065 29065 29028 0 -1 64 1 17472 0 1 0 0 73808 14 19 0 10 0 1991938715 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=29073/tid=29081] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29081/stat : 29081 (java) S 29065 29065 29028 0 -1 64 41 17472 0 1 0 0 73808 14 15 0 10 0 1991938716 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=29073/tid=29103] ppid=29065 vsize=197760 CPUtime=738.22 /proc/29073/task/29103/stat : 29103 (java) S 29065 29065 29028 0 -1 64 42 17472 0 1 0 0 73808 14 17 0 10 0 1992013583 202506240 9569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 864076 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29065 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=512770 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=30995 # CPU time returned by wait4() is 1.54377 # 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): 1816.74 CPU time (s): 1800.02 CPU user time (s): 1772.93 CPU system time (s): 27.09 CPU usage (%): 99.0799 Max. virtual memory (cumulated for all children) (KiB): 870612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.51277 system time used= 0.030995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3040 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= 33 involuntary context switches= 66 runsolver used 6.31204 second user time and 15.9696 second system time The end
Begin job on node29 at 2008-07-04 02:00:47 IDJOB=1060990 IDBENCH=54499 IDSOLVER=366 FILE ID=node29/1060990-1215129647 PBS_JOBID= 7877320 Free space on /tmp= 66536 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/chnl/normalized-chnl-20-30.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060990-1215129647/watcher-1060990-1215129647 -o /tmp/evaluation-result-1060990-1215129647/solver-1060990-1215129647 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1060990-1215129647.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= de1a4b88e074f5e2a8f7cfa8a5e48f0f RANDOM SEED=48821727 node29.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.220 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.220 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: 1543048 kB Buffers: 51040 kB Cached: 333224 kB SwapCached: 6872 kB Active: 240660 kB Inactive: 214780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1543048 kB SwapTotal: 4192956 kB SwapFree: 4180452 kB Dirty: 24636 kB Writeback: 0 kB Mapped: 84408 kB Slab: 42552 kB Committed_AS: 4142208 kB PageTables: 2104 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= 66516 MiB End job on node29 at 2008-07-04 02:31:06