Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 869.723 | 875.384 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 6161630 |
CHECKS | 725834000 |
Name | csp/pseudo/chnl/ normalized-chnl-10-11.xml |
MD5SUM | b0b8fe758d924c34eff50a2a4a46bd03 |
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 | 0.05799 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 220 |
Number of constraints | 42 |
Maximum constraint arity | 11 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 42 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.08/7.29 c CASE TO CLASSIFY: 7.08/7.29 c Case: 0 7.08/7.29 c 19 > 0.000000 | c 35 > 104.762000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.571400 | c 15 > 21.066800 | c 34 > 157.143000 | c 16 > 11.000000 | c 13 > 11.698600 | c 14 > 13.532500 | c 11 > 9.710810 | c 12 > 10.440000 | 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.271460 | c 1 > 7.781360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.271460 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.791200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.19/7.30 c choco : 1801.0 7.19/7.30 c mistral : 1801.0 7.19/7.30 c abscon : 1801.0 7.19/7.30 c 7.19/7.30 c 7.19/7.38 c List of same ones: 40 7.19/7.38 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-20.xml 7.19/7.38 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.19/7.39 c choco : 1801.0 7.19/7.39 c mistral : 37.64 7.19/7.39 c abscon : 3.2905 7.19/7.39 c 7.19/7.39 c 7.19/7.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-20-19.xml 7.19/7.39 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.19/7.39 c choco : 1801.0 7.19/7.39 c mistral : 1800.01 7.19/7.39 c abscon : 2.09268 7.19/7.39 c 7.19/7.39 c 7.19/7.39 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-25-25.xml 7.19/7.39 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.28/7.41 c choco : 1801.0 7.28/7.41 c mistral : 396.43 7.28/7.41 c abscon : 1800.1 7.28/7.41 c 7.28/7.41 c 7.28/7.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-15-15.xml 7.28/7.41 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.28/7.41 c choco : 1801.0 7.28/7.41 c mistral : 2.03 7.28/7.41 c abscon : 1.09183 7.28/7.41 c 7.28/7.41 c 7.28/7.41 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-14.xml 7.28/7.41 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.28/7.42 c choco : 1801.0 7.28/7.42 c mistral : 1.47 7.28/7.42 c abscon : 1.06484 7.28/7.42 c 7.28/7.42 c 7.28/7.42 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-bm23.xml 7.28/7.42 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.28/7.43 c choco : 1.42 7.28/7.43 c mistral : 0.071988 7.28/7.43 c abscon : 4.93025 7.28/7.43 c 7.28/7.43 c 7.28/7.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-14-13.xml 7.28/7.43 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.28/7.44 c choco : 1801.0 7.28/7.44 c mistral : 1800.04 7.28/7.44 c abscon : 1.01884 7.28/7.44 c 7.28/7.44 c 7.28/7.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/fpga/fpga-13-13.xml 7.28/7.44 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.28/7.45 c choco : 1801.0 7.28/7.45 c mistral : 1.0 7.28/7.45 c abscon : 0.926858 7.28/7.45 c 7.28/7.45 c 7.28/7.45 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-30.xml 7.28/7.45 c 19 > 0.000000 | c 35 > 57.031200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.342900 | c 34 > 171.094000 | c 16 > 14.000000 | c 13 > 0.068618 | c 14 > 6.727920 | c 11 > 10.209500 | c 12 > 0.407095 | 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.169930 | c 10 > 10.108500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.189820 | c 32 > -1.000000 | c 5 > 12.220100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.46 c choco : 51.8 7.28/7.46 c mistral : 0.09 7.28/7.46 c abscon : 4.82 7.28/7.46 c 7.28/7.46 c 7.28/7.46 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-42.xml 7.28/7.46 c 19 > 0.000000 | c 35 > 55.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.781200 | c 34 > 167.344000 | c 16 > 15.000000 | c 13 > 0.268520 | c 14 > 6.906890 | c 11 > 10.124100 | c 12 > 0.492428 | 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.169930 | c 10 > 10.016800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.721100 | c 6 > 9.103290 | c 32 > -1.000000 | c 5 > 12.115700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.28/7.47 c choco : 12.29 7.28/7.47 c mistral : 0.08 7.28/7.47 c abscon : 41.84 7.28/7.47 c 7.28/7.47 c 7.28/7.47 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-29.xml 7.28/7.47 c 19 > 0.000000 | c 35 > 57.343800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.086100 | c 34 > 172.031000 | c 16 > 16.000000 | c 13 > -0.057458 | c 14 > 6.409390 | c 11 > 10.129300 | c 12 > 0.391336 | 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.169930 | c 10 > 10.022400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.727920 | c 6 > 9.108520 | c 32 > -1.000000 | c 5 > 12.133500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.45/7.68 c choco : 1801.0 7.45/7.68 c mistral : 0.08 7.45/7.68 c abscon : 32.27 7.45/7.68 c 7.45/7.68 c 7.45/7.69 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-10.xml 7.45/7.69 c 19 > 0.000000 | c 35 > 60.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.260900 | c 34 > 182.812000 | c 16 > 17.000000 | c 13 > 3.616220 | c 14 > 7.247930 | c 11 > 10.202100 | c 12 > 1.253200 | 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.169930 | c 10 > 10.100700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.823370 | c 6 > 9.182390 | c 32 > -1.000000 | c 5 > 12.221600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.71 c choco : 1801.0 7.55/7.71 c mistral : 0.09 7.55/7.71 c abscon : 8.47 7.55/7.71 c 7.55/7.71 c 7.55/7.71 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-35.xml 7.55/7.71 c 19 > 0.000000 | c 35 > 56.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.536700 | c 34 > 170.156000 | c 16 > 17.000000 | c 13 > 0.146494 | c 14 > 7.066090 | c 11 > 10.434600 | c 12 > 0.388739 | 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.308300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.071460 | c 6 > 9.379380 | c 32 > -1.000000 | c 5 > 12.535800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.72 c choco : 10.61 7.55/7.72 c mistral : 0.11 7.55/7.72 c abscon : 5.1 7.55/7.72 c 7.55/7.72 c 7.55/7.72 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-4.xml 7.55/7.72 c 19 > 1.562500 | c 35 > 59.843800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.775800 | c 34 > 179.531000 | c 16 > 16.000000 | c 13 > 0.758195 | c 14 > 6.794420 | c 11 > 10.184900 | c 12 > 0.534513 | c 21 > 2.000000 | c 20 > 98.437500 | 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 > 0.000000 | c 2 > 7.149750 | c 10 > 10.082100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.804130 | c 6 > 9.162390 | c 32 > -1.000000 | c 5 > 12.206400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.72 c choco : 17.14 7.55/7.72 c mistral : 0.1 7.55/7.72 c abscon : 7.25 7.55/7.72 c 7.55/7.72 c 7.55/7.72 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-31.xml 7.55/7.72 c 19 > 0.000000 | c 35 > 55.937500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.514200 | c 34 > 167.812000 | c 16 > 17.000000 | c 13 > 0.274392 | c 14 > 6.741470 | c 11 > 10.238400 | c 12 > 0.459432 | 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.159870 | c 10 > 10.139600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.876520 | c 6 > 9.216750 | c 32 > -1.000000 | c 5 > 12.308100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.74 c choco : 13.02 7.55/7.74 c mistral : 0.1 7.55/7.74 c abscon : 6.04 7.55/7.74 c 7.55/7.74 c 7.55/7.74 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-15.xml 7.55/7.74 c 19 > 0.000000 | c 35 > 56.093800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.860100 | c 34 > 168.281000 | c 16 > 18.000000 | c 13 > 0.204628 | c 14 > 7.199670 | c 11 > 10.430500 | c 12 > 0.419734 | 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.303800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.066090 | c 6 > 9.375040 | c 32 > -1.000000 | c 5 > 12.537700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.74 c choco : 10.9 7.55/7.74 c mistral : 0.11 7.55/7.74 c abscon : 6.3 7.55/7.74 c 7.55/7.74 c 7.55/7.74 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-24.xml 7.55/7.74 c 19 > 0.000000 | c 35 > 55.468800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.111500 | c 34 > 166.406000 | c 16 > 14.000000 | c 13 > -0.023684 | c 14 > 6.392320 | c 11 > 10.116300 | c 12 > 0.391451 | 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.169930 | c 10 > 10.007000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.714250 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.101300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.75 c choco : 34.67 7.55/7.75 c mistral : 0.07 7.55/7.75 c abscon : 28.95 7.55/7.75 c 7.55/7.75 c 7.55/7.75 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-6.xml 7.55/7.75 c 19 > 1.562500 | c 35 > 60.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.694100 | c 34 > 180.000000 | c 16 > 14.000000 | c 13 > 0.084552 | c 14 > 6.727920 | c 11 > 10.189800 | c 12 > 0.444079 | c 21 > 2.000000 | c 20 > 98.437500 | 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 > 0.000000 | c 2 > 7.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.192900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.76 c choco : 20.41 7.55/7.76 c mistral : 0.09 7.55/7.76 c abscon : 35.64 7.55/7.76 c 7.55/7.76 c 7.55/7.76 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-27.xml 7.55/7.76 c 19 > 0.000000 | c 35 > 60.625000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.466100 | c 34 > 181.875000 | c 16 > 16.000000 | c 13 > 0.068218 | c 14 > 6.781360 | c 11 > 10.231200 | c 12 > 0.415338 | 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.169930 | c 10 > 10.131900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.861090 | c 6 > 9.211890 | c 32 > -1.000000 | c 5 > 12.260900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.76 c choco : 14.05 7.55/7.76 c mistral : 0.09 7.55/7.76 c abscon : 6.38 7.55/7.76 c 7.55/7.76 c 7.55/7.76 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-21.xml 7.55/7.76 c 19 > 1.562500 | c 35 > 54.375000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.713400 | c 34 > 163.125000 | c 16 > 16.000000 | c 13 > 0.609884 | c 14 > 6.820180 | c 11 > 10.189800 | c 12 > 0.494924 | c 21 > 2.000000 | c 20 > 98.437500 | 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.149750 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.810570 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.225200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.77 c choco : 32.65 7.55/7.77 c mistral : 0.11 7.55/7.77 c abscon : 8.27 7.55/7.77 c 7.55/7.77 c 7.55/7.77 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-26.xml 7.55/7.77 c 19 > 1.562500 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.539600 | c 34 > 163.594000 | c 16 > 17.000000 | c 13 > 0.654081 | c 14 > 6.768180 | c 11 > 10.209500 | c 12 > 0.503074 | c 21 > 2.000000 | c 20 > 98.437500 | 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.149750 | c 10 > 10.107200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.839200 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.274100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.78 c choco : 14.45 7.55/7.78 c mistral : 0.08 7.55/7.78 c abscon : 74.2 7.55/7.78 c 7.55/7.78 c 7.55/7.78 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-40.xml 7.55/7.78 c 19 > 3.125000 | c 35 > 53.750000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.167300 | c 34 > 161.250000 | c 16 > 16.000000 | c 13 > 1.878620 | c 14 > 7.098030 | c 11 > 10.182400 | c 12 > 0.749082 | c 21 > 2.000000 | c 20 > 96.875000 | 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 > 0.000000 | c 2 > 7.139550 | c 10 > 10.078200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.154820 | c 32 > -1.000000 | c 5 > 12.221900 | c 31 > -1.000000 | c 4 > 1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.78 c choco : 17.85 7.55/7.78 c mistral : 0.12 7.55/7.78 c abscon : 6.92 7.55/7.78 c 7.55/7.78 c 7.55/7.78 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-28.xml 7.55/7.78 c 19 > 1.562500 | c 35 > 61.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.930600 | c 34 > 184.219000 | c 16 > 16.000000 | c 13 > 0.302261 | c 14 > 6.845490 | c 11 > 10.207000 | c 12 > 0.475102 | c 21 > 2.000000 | c 20 > 98.437500 | 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.149750 | c 10 > 10.105900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.832890 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.241100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.79 c choco : 10.45 7.55/7.79 c mistral : 0.13 7.55/7.79 c abscon : 7.19 7.55/7.79 c 7.55/7.79 c 7.55/7.79 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-37.xml 7.55/7.79 c 19 > 0.000000 | c 35 > 61.406200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.196000 | c 34 > 184.219000 | c 16 > 17.000000 | c 13 > 0.030748 | c 14 > 6.507790 | c 11 > 10.199700 | c 12 > 0.403954 | 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.169930 | c 10 > 10.098000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.820180 | c 6 > 9.179910 | c 32 > -1.000000 | c 5 > 12.211900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.80 c choco : 1801.0 7.55/7.80 c mistral : 0.08 7.55/7.80 c abscon : 73.51 7.55/7.80 c 7.55/7.80 c 7.55/7.80 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-25.xml 7.55/7.80 c 19 > 0.000000 | c 35 > 56.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.224600 | c 34 > 170.625000 | c 16 > 15.000000 | c 13 > 0.139135 | c 14 > -1.000000 | c 11 > 10.189800 | c 12 > 1.069920 | 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.169930 | c 10 > 10.087500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.807350 | c 6 > 9.169930 | c 32 > -1.000000 | c 5 > 12.213700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.55/7.80 c choco : 1801.0 7.55/7.80 c mistral : 0.07 7.55/7.80 c abscon : 58.09 7.55/7.80 c 7.55/7.80 c 7.55/7.80 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-34.xml 7.55/7.80 c 19 > 0.000000 | c 35 > 58.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.868100 | c 34 > 174.844000 | c 16 > 15.000000 | c 13 > 0.191895 | c 14 > -1.000000 | c 11 > 10.202100 | c 12 > 1.163650 | 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.169930 | c 10 > 10.100700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.823370 | c 6 > 9.182390 | c 32 > -1.000000 | c 5 > 12.218300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.81 c choco : 3.83 7.61/7.81 c mistral : 0.08 7.61/7.81 c abscon : 3.21 7.61/7.81 c 7.61/7.81 c 7.61/7.81 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-17.xml 7.61/7.81 c 19 > 0.000000 | c 35 > 53.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.803700 | c 34 > 160.312000 | c 16 > 18.000000 | c 13 > 0.149812 | c 14 > 7.228820 | c 11 > 10.503800 | c 12 > 0.403065 | 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.383700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.159870 | c 6 > 9.451210 | c 32 > -1.000000 | c 5 > 12.656400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.81 c choco : 36.18 7.61/7.81 c mistral : 0.13 7.61/7.81 c abscon : 5.94 7.61/7.81 c 7.61/7.81 c 7.61/7.81 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-44.xml 7.61/7.81 c 19 > 3.125000 | c 35 > 58.906200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.886500 | c 34 > 176.719000 | c 16 > 15.000000 | c 13 > 0.153429 | c 14 > -1.000000 | c 11 > 10.144700 | c 12 > 1.129140 | c 21 > 2.000000 | c 20 > 96.875000 | 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.139550 | c 10 > 10.038900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.754890 | c 6 > 9.118940 | c 32 > -1.000000 | c 5 > 12.156400 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.82 c choco : 1801.0 7.61/7.82 c mistral : 0.06 7.61/7.82 c abscon : 5.75 7.61/7.82 c 7.61/7.82 c 7.61/7.82 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-12.xml 7.61/7.82 c 19 > 1.562500 | c 35 > 58.437500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 9.890260 | c 34 > 175.312000 | c 16 > 16.000000 | c 13 > 0.054065 | c 14 > -1.000000 | c 11 > 10.197200 | c 12 > 1.169110 | c 21 > 2.000000 | c 20 > 98.437500 | 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.149750 | c 10 > 10.095400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.820180 | c 6 > 9.174930 | c 32 > -1.000000 | c 5 > 12.236900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.83 c choco : 10.99 7.61/7.83 c mistral : 0.06 7.61/7.83 c abscon : 3.5 7.61/7.83 c 7.61/7.83 c 7.61/7.83 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-32.xml 7.61/7.83 c 19 > 3.125000 | c 35 > 56.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.940300 | c 34 > 168.750000 | c 16 > 16.000000 | c 13 > 0.229432 | c 14 > -1.000000 | c 11 > 10.214300 | c 12 > 1.132750 | c 21 > 2.000000 | c 20 > 96.875000 | 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.584960 | c 2 > 7.118940 | c 10 > 10.113700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.854870 | c 6 > 9.184880 | c 32 > -1.000000 | c 5 > 12.279000 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.83 c choco : 1801.0 7.61/7.83 c mistral : 0.08 7.61/7.83 c abscon : 3.32 7.61/7.83 c 7.61/7.83 c 7.61/7.83 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-14.xml 7.61/7.83 c 19 > 1.562500 | c 35 > 60.781200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.232400 | c 34 > 182.344000 | c 16 > 14.000000 | c 13 > 0.220540 | c 14 > -1.000000 | c 11 > 10.066100 | c 12 > 1.154290 | c 21 > 2.000000 | c 20 > 98.437500 | 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 > 0.000000 | c 2 > 7.149750 | c 10 > 9.954200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.647460 | c 6 > 9.041660 | c 32 > -1.000000 | c 5 > 12.026900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.84 c choco : 3.78 7.61/7.84 c mistral : 0.06 7.61/7.84 c abscon : 3.56 7.61/7.84 c 7.61/7.84 c 7.61/7.84 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-45.xml 7.61/7.84 c 19 > 0.000000 | c 35 > 63.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.417300 | c 34 > 189.375000 | c 16 > 15.000000 | c 13 > 0.465477 | c 14 > 6.857980 | c 11 > 10.113700 | c 12 > 0.470281 | 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.169930 | c 10 > 10.005600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.707360 | c 6 > 9.092760 | c 32 > -1.000000 | c 5 > 12.084800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.84 c choco : 34.18 7.61/7.84 c mistral : 0.08 7.61/7.84 c abscon : 5.48 7.61/7.84 c 7.61/7.84 c 7.61/7.84 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-16.xml 7.61/7.84 c 19 > 0.000000 | c 35 > 54.062500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.998600 | c 34 > 162.188000 | c 16 > 15.000000 | c 13 > 0.216449 | c 14 > -1.000000 | c 11 > 10.207000 | c 12 > 1.141710 | 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.169930 | c 10 > 10.105900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.829720 | c 6 > 9.187350 | c 32 > -1.000000 | c 5 > 12.241700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.85 c choco : 3.65 7.61/7.85 c mistral : 0.06 7.61/7.85 c abscon : 3.12 7.61/7.85 c 7.61/7.85 c 7.61/7.85 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-20.xml 7.61/7.85 c 19 > 0.000000 | c 35 > 54.531200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.074100 | c 34 > 163.594000 | c 16 > 18.000000 | c 13 > 0.153624 | c 14 > -1.000000 | c 11 > 10.290000 | c 12 > 1.150850 | 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.169930 | c 10 > 10.194800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.936640 | c 6 > 9.271460 | c 32 > -1.000000 | c 5 > 12.375600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.85 c choco : 14.84 7.61/7.85 c mistral : 0.07 7.61/7.85 c abscon : 3.77 7.61/7.86 c 7.61/7.86 c 7.61/7.86 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-5.xml 7.61/7.86 c 19 > 0.000000 | c 35 > 54.218800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.888000 | c 34 > 162.656000 | c 16 > 17.000000 | c 13 > 0.218287 | c 14 > -1.000000 | c 11 > 10.278400 | c 12 > 1.178420 | 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.169930 | c 10 > 10.182400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.921840 | c 6 > 9.259740 | c 32 > -1.000000 | c 5 > 12.361400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.86 c choco : 13.29 7.61/7.86 c mistral : 0.08 7.61/7.86 c abscon : 3.99 7.61/7.86 c 7.61/7.86 c 7.61/7.86 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-9.xml 7.61/7.86 c 19 > 0.000000 | c 35 > 53.906200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.997900 | c 34 > 161.719000 | c 16 > 16.000000 | c 13 > 0.168345 | c 14 > -1.000000 | c 11 > 10.187400 | c 12 > 1.130060 | 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.169930 | c 10 > 10.084800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.804130 | c 6 > 9.167420 | c 32 > -1.000000 | c 5 > 12.196300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.87 c choco : 10.7 7.61/7.87 c mistral : 0.07 7.61/7.87 c abscon : 3.28 7.61/7.87 c 7.61/7.87 c 7.61/7.87 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-39.xml 7.61/7.87 c 19 > 0.000000 | c 35 > 61.875000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.030000 | c 34 > 185.625000 | c 16 > 14.000000 | c 13 > 0.170768 | c 14 > -1.000000 | c 11 > 10.194800 | c 12 > 1.107310 | 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.169930 | c 10 > 10.092800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.813780 | c 6 > 9.174930 | c 32 > -1.000000 | c 5 > 12.198400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.88 c choco : 37.36 7.61/7.88 c mistral : 0.07 7.61/7.88 c abscon : 4.18 7.61/7.88 c 7.61/7.88 c 7.61/7.88 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-18.xml 7.61/7.88 c 19 > 0.000000 | c 35 > 58.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 4.643860 | c 34 > 174.844000 | c 16 > 16.000000 | c 13 > 0.068442 | c 14 > -1.000000 | c 11 > 10.118900 | c 12 > 1.158930 | 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.169930 | c 10 > 10.009800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.717680 | c 6 > 9.095400 | c 32 > -1.000000 | c 5 > 12.122500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.88 c choco : 3.49 7.61/7.88 c mistral : 0.07 7.61/7.88 c abscon : 4.13 7.61/7.88 c 7.61/7.88 c 7.61/7.88 c /home/ehebrard/new_instances/competition_4c/data/radar-8-24-3-2/radar-8-24-3-2-0.xml 7.61/7.88 c 19 > 1.562500 | c 35 > 64.218800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.478900 | c 34 > 192.656000 | c 16 > 15.000000 | c 13 > 2.023230 | c 14 > 7.179910 | c 11 > 10.129300 | c 12 > 0.770829 | c 21 > 2.000000 | c 20 > 98.437500 | 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.149750 | c 10 > 10.022400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.731320 | c 6 > 9.105910 | c 32 > -1.000000 | c 5 > 12.103000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.89 c choco : 11.45 7.61/7.89 c mistral : 0.09 7.61/7.89 c abscon : 6.37 7.61/7.89 c 7.61/7.89 c 7.61/7.89 c /home/ehebrard/new_instances/competition_4c/data/radar-8-30-3-0/radar-8-30-3-0-10.xml 7.61/7.89 c 19 > 0.000000 | c 35 > 51.718800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.155800 | c 34 > 155.156000 | c 16 > 19.000000 | c 13 > 0.310330 | c 14 > 7.199670 | c 11 > 10.529400 | c 12 > 0.465630 | 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.411500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.192290 | c 6 > 9.477760 | c 32 > -1.000000 | c 5 > 12.711200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.61/7.89 c choco : 12.17 7.61/7.89 c mistral : 0.12 7.61/7.89 c abscon : 6.6 7.61/7.89 c 7.61/7.89 c 7.68/7.90 c Length: 40 7.68/7.90 c 26.389214609408146 28.547042918377734 35.03445555383871 47.22790544379244 54.211652030842046 56.0287537777131 59.84490801055508 60.61331507453705 62.49970693681253 62.653110101413034 62.68903814678211 62.70168860624011 62.75908830948596 62.831459865552986 62.84578589069667 62.910095297391976 62.912913632041636 62.91548566123157 63.297790446042356 63.32795638647541 63.35980923605466 63.46293010998251 63.658609043025166 63.871264593785064 63.92182061779862 63.94776496746485 64.13631073998386 64.22823922398419 64.2883872078108 64.32264727091014 64.76300001216204 64.7867559250692 64.87484441479147 64.90290310410988 64.97012425885276 65.03821235635498 65.24664422981478 65.30705908713215 65.41134201951479 65.51518559475505 7.68/7.90 c 7.68/7.90 c 1.0 0.9477318380126255 0.8190282265156082 0.6524838095972154 0.584419733290987 0.5689766701057345 0.5390613637213252 0.5334142177593353 0.5200400080304642 0.5189818315582362 0.5187346216626303 0.5186476337706828 0.5182533045146602 0.5177569741796322 0.5176588377686573 0.517218762180697 0.5171994931533667 0.5171819093758395 0.514581497762486 0.5143774237017853 0.5141621132397116 0.5134662987435764 0.5121511072140839 0.5107294313321297 0.5103926073209434 0.5102199283494976 0.5089685172356392 0.5083605953637718 0.5079636228500526 0.5077377858340958 0.5048528254645488 0.504698120918835 0.5041252929551742 0.5039431039158698 0.5035071626312216 0.5030663672784097 0.5017217854239128 0.5013333952625714 0.5006644024446685 0.5 7.68/7.91 c 7.68/7.91 c solver 0 7.68/7.91 c before 0.0 seconds: {} 0 7.68/7.91 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15, 18, 19, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17561 7.68/7.91 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19114 7.68/7.91 c before 54.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19633 7.68/7.91 c before 72.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20143 7.68/7.91 c before 90.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21168 7.68/7.91 c 7.68/7.91 c solver 1 7.68/7.92 c before 0.0 seconds: {} 0 7.68/7.92 c before 18.0 seconds: {3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18681 7.68/7.92 c before 54.0 seconds: {0, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19681 7.68/7.92 c before 414.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20501 7.68/7.92 c 7.68/7.92 c solver 2 7.68/7.92 c before 0.0 seconds: {} 0 7.68/7.92 c before 18.0 seconds: {5, 9, 12, 13, 14, 15, 18, 20, 21, 22, 25, 28, 30, 32, 33, 34, 35, 37, 38, 39} 10252 7.68/7.92 c before 36.0 seconds: {5, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 28, 30, 31, 32, 33, 34, 35, 37, 38, 39} 12306 7.68/7.92 c before 54.0 seconds: {5, 8, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 25, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13837 7.68/7.92 c 7.68/7.92 cTotal time: 31 7.68/7.92 c 558.0 seconds unused 7.68/7.92 c 0 c 2 c 12 7.68/7.92 c 1 c 0 c 11 7.68/7.92 c 0 c 0 c 0 7.68/7.92 c is solver0 dominated by: 7.68/7.92 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 7.68/7.92 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false) 7.68/7.92 c is dominated? false 7.68/7.92 c 7.68/7.92 c is solver1 dominated by: 7.68/7.92 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 7.68/7.92 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false) 7.68/7.92 c is dominated? false 7.68/7.92 c 7.68/7.92 c is solver2 dominated by: 7.68/7.92 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true) 7.68/7.92 c is dominated? true 7.68/7.92 c 7.68/7.92 c Number of non-dominated solvers: 2 7.68/7.92 c remove dominated solvers 7.68/7.92 c solver 0 is not dominated by another solver 7.68/7.92 c solver 1 is not dominated by another solver 7.68/7.92 c solver 2 is dominated by another solver 7.68/7.92 c 7.68/7.92 c solver 0: 90.0 7.68/7.92 c 7.68/7.92 c+ 5/28 of 72 7.68/7.92 c 7.68/7.92 c solver 1: 414.0 7.68/7.92 c 7.68/7.92 c+ 23/28 of 72 7.68/7.92 c 7.68/7.92 c solver 2: 0.0 7.68/7.92 c run abscon for 306.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21168 7.68/7.92 c run mistral for 1476.0 seconds {0, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20501 7.68/7.92 c do not run choco 7.68/7.92 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.68/7.92 c On Instance: HOME/instance-1060906-1215129104.xml 7.68/7.92 c Running for: 306 seconds 313.90/314.33 c Starting solver: HOME/cpHydra_k_40/solver/mistral 313.90/314.33 c On Instance: HOME/instance-1060906-1215129104.xml 313.90/314.33 c Running for: 1476 seconds 869.64/875.34 c mistral-prime version 1.313 869.64/875.34 s UNSATISFIABLE 869.64/875.34 d CHECKS 725833737 869.64/875.34 d ASSIGNMENTS 6161630
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060906-1215129104/watcher-1060906-1215129104 -o /tmp/evaluation-result-1060906-1215129104/solver-1060906-1215129104 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1060906-1215129104.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.09 2.04 2.01 4/72 25728 /proc/meminfo: memFree=1643648/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=0 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 1991884806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 236 195 169 0 51 0 [pid=25729] ppid=25728 vsize=144 CPUtime=0 /proc/25729/stat : 25729 (rm) R 25728 25728 23730 0 -1 4194304 44 0 0 0 0 0 0 0 22 0 1 0 1991884807 147456 22 996147200 4194304 4227748 548682069024 18446744073709551615 255233947017 0 0 4096 0 0 0 0 17 1 0 0 /proc/25729/statm: 36 22 16 8 0 3 0 [startup+0.10641 s] /proc/loadavg: 2.09 2.04 2.01 4/72 25728 /proc/meminfo: memFree=1643648/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=0 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991884806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201419 s] /proc/loadavg: 2.09 2.04 2.01 4/72 25728 /proc/meminfo: memFree=1643648/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=0 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991884806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301439 s] /proc/loadavg: 2.09 2.04 2.01 4/72 25728 /proc/meminfo: memFree=1643648/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=0 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991884806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701513 s] /proc/loadavg: 2.09 2.04 2.01 4/72 25728 /proc/meminfo: memFree=1643648/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=0 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991884806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50166 s] /proc/loadavg: 2.09 2.04 2.01 3/74 25732 /proc/meminfo: memFree=1642024/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=0 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991884806 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 236 195 169 0 51 0 [pid=25732] ppid=25728 vsize=5656 CPUtime=1.46 /proc/25732/stat : 25732 (xsolve) R 25728 25728 23730 0 -1 4194304 794 0 0 0 145 1 0 0 25 0 1 0 1991884808 5791744 753 996147200 134512640 135239763 4294956176 18446744073709551615 135019574 0 0 4096 0 0 0 0 17 1 0 0 /proc/25732/statm: 1414 753 431 177 0 317 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 11016 [startup+3.10297 s] /proc/loadavg: 2.09 2.04 2.01 3/82 25744 /proc/meminfo: memFree=1635112/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=196988 CPUtime=1.57 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 6440 0 1 0 149 8 0 0 21 0 9 0 1991884957 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49247 5416 2541 9 0 43829 0 [pid=25736/tid=25737] ppid=25728 vsize=196988 CPUtime=1.17 /proc/25736/task/25737/stat : 25737 (java) R 25728 25728 23730 0 -1 64 2784 0 1 0 115 2 0 0 25 0 9 0 1991884958 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4126444420 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=196988 CPUtime=0.21 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 2319 0 0 0 18 3 0 0 16 0 9 0 1991884959 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25739] ppid=25728 vsize=196988 CPUtime=0 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991884960 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=196988 CPUtime=0 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991884960 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=196988 CPUtime=0 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991884962 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=196988 CPUtime=0.16 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 611 0 0 0 15 1 0 0 16 0 9 0 1991884962 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25743] ppid=25728 vsize=196988 CPUtime=0 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991884962 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=196988 CPUtime=0 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991884962 201715712 5416 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 202348 [startup+6.30258 s] /proc/loadavg: 2.16 2.05 2.01 3/82 25744 /proc/meminfo: memFree=1622568/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=197096 CPUtime=4.72 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 10066 0 1 0 453 19 0 0 21 0 9 0 1991884957 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49274 8345 2541 9 0 43856 0 [pid=25736/tid=25737] ppid=25728 vsize=197096 CPUtime=3.69 /proc/25736/task/25737/stat : 25737 (java) R 25728 25728 23730 0 -1 64 3561 0 1 0 362 7 0 0 25 0 9 0 1991884958 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4126435957 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=197096 CPUtime=0.81 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 5152 0 0 0 71 10 0 0 16 0 9 0 1991884959 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25739] ppid=25728 vsize=197096 CPUtime=0 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991884960 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=197096 CPUtime=0 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991884960 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=197096 CPUtime=0 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991884962 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=197096 CPUtime=0.19 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 627 0 0 0 18 1 0 0 16 0 9 0 1991884962 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25743] ppid=25728 vsize=197096 CPUtime=0 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991884962 201826304 8345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=197096 CPUtime=0 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991884962 201826304 8345 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.7028 s] /proc/loadavg: 2.15 2.05 2.01 3/94 25756 /proc/meminfo: memFree=1579904/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=197420 CPUtime=6.21 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 13960 0 1 0 595 26 0 0 21 0 10 0 1991884957 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49355 9477 2544 9 0 43937 0 [pid=25746] ppid=25736 vsize=5356 CPUtime=0 /proc/25746/stat : 25746 (abscon) S 25736 25728 23730 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1991885599 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/25746/statm: 1339 237 196 169 0 50 0 [pid=25747] ppid=25746 vsize=655088 CPUtime=4.75 /proc/25747/stat : 25747 (java) S 25746 25728 23730 0 -1 0 11864 0 1 0 467 8 0 0 18 0 9 0 1991885600 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/25747/statm: 163772 11179 2611 9 0 158300 0 [pid=25747/tid=25749] ppid=25746 vsize=655088 CPUtime=4.47 /proc/25747/task/25749/stat : 25749 (java) R 25746 25728 23730 0 -1 64 9689 0 1 0 441 6 0 0 25 0 9 0 1991885601 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4126679068 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25750] ppid=25746 vsize=655088 CPUtime=0.04 /proc/25747/task/25750/stat : 25750 (java) S 25746 25728 23730 0 -1 64 1162 0 0 0 4 0 0 0 16 0 9 0 1991885602 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25751] ppid=25746 vsize=655088 CPUtime=0 /proc/25747/task/25751/stat : 25751 (java) S 25746 25728 23730 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991885602 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25752] ppid=25746 vsize=655088 CPUtime=0 /proc/25747/task/25752/stat : 25752 (java) S 25746 25728 23730 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1991885602 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25753] ppid=25746 vsize=655088 CPUtime=0 /proc/25747/task/25753/stat : 25753 (java) S 25746 25728 23730 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1991885604 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25754] ppid=25746 vsize=655088 CPUtime=0.21 /proc/25747/task/25754/stat : 25754 (java) S 25746 25728 23730 0 -1 64 468 0 0 0 21 0 0 0 17 0 9 0 1991885604 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25755] ppid=25746 vsize=655088 CPUtime=0 /proc/25747/task/25755/stat : 25755 (java) S 25746 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1991885604 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25756] ppid=25746 vsize=655088 CPUtime=0 /proc/25747/task/25756/stat : 25756 (java) S 25746 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991885604 670810112 11179 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25748] ppid=25746 vsize=7044 CPUtime=0 /proc/25748/stat : 25748 (translate) S 25746 25728 23730 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1991885600 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/25748/statm: 1761 213 182 1 0 41 0 [pid=25736/tid=25737] ppid=25728 vsize=197420 CPUtime=4.77 /proc/25736/task/25737/stat : 25737 (java) S 25728 25728 23730 0 -1 64 3898 0 1 0 467 10 0 0 25 0 10 0 1991884958 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=197420 CPUtime=1.16 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 8569 0 0 0 103 13 0 0 16 0 10 0 1991884959 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25739] ppid=25728 vsize=197420 CPUtime=0 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991884960 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=197420 CPUtime=0 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991884960 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=197420 CPUtime=0 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991884962 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=197420 CPUtime=0.25 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 667 0 0 0 24 1 0 0 16 0 10 0 1991884962 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25743] ppid=25728 vsize=197420 CPUtime=0 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991884962 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=197420 CPUtime=0 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1991884962 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25745] ppid=25728 vsize=197420 CPUtime=0 /proc/25736/task/25745/stat : 25745 (java) S 25728 25728 23730 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1991885599 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (KiB) 870268 [startup+25.5022 s] /proc/loadavg: 2.11 2.05 2.01 3/94 25756 /proc/meminfo: memFree=1579712/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=197420 CPUtime=6.21 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 13960 0 1 0 595 26 0 0 21 0 10 0 1991884957 202158080 9477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49355 9477 2544 9 0 43937 0 [pid=25746] ppid=25736 vsize=5356 CPUtime=0 /proc/25746/stat : 25746 (abscon) S 25736 25728 23730 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1991885599 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/25746/statm: 1339 237 196 169 0 50 0 [pid=25747] ppid=25746 vsize=655088 CPUtime=17.55 /proc/25747/stat : 25747 (java) S 25746 25728 23730 0 -1 0 11869 0 1 0 1747 8 0 0 18 0 9 0 1991885600 670810112 11183 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/25747/statm: 163772 11183 2611 9 0 158300 0 [pid=25747/tid=25749] ppid=25746 vsize=655088 CPUtime=17.26 /proc/25747/task/25749/stat : 25749 (java) R 25746 25728 23730 0 -1 64 9694 0 1 0 1720 6 0 0 25 0 9 0 1991885601 670810112 11183 996147200 134512640 134550740 4294955808 18446744073709551615 4126679472 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25747/tid=25750] ppid=25746 vsize=655088 CPUtime=0.04 ################ # More data... # ################ [pid=25758] ppid=25736 vsize=5356 CPUtime=0 /proc/25758/stat : 25758 (mistral) S 25736 25728 23730 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1991916240 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/25758/statm: 1339 236 196 169 0 50 0 [pid=25759] ppid=25758 vsize=5648 CPUtime=554 /proc/25759/stat : 25759 (xsolve) R 25758 25728 23730 0 -1 4194304 769 0 0 0 55399 1 0 0 25 0 1 0 1991916241 5783552 733 996147200 134512640 135239763 4294955968 18446744073709551615 135042161 0 4 0 0 0 0 0 17 1 0 0 /proc/25759/statm: 1412 733 413 177 0 315 0 [pid=25736/tid=25737] ppid=25728 vsize=197744 CPUtime=311.01 /proc/25736/task/25737/stat : 25737 (java) S 25728 25728 23730 0 -1 64 3977 12450 1 1 467 10 30614 10 16 0 10 0 1991884958 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=197744 CPUtime=307.4 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 8583 12450 0 1 103 13 30614 10 16 0 10 0 1991884959 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25739] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 12450 0 1 0 0 30614 10 16 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 12450 0 1 0 0 30614 10 15 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 18 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=197744 CPUtime=306.49 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 697 12450 0 1 24 1 30614 10 16 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25743] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 19 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 36 12450 0 1 0 0 30614 10 15 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25757] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25757/stat : 25757 (java) S 25728 25728 23730 0 -1 64 48 12450 0 1 0 0 30614 10 17 0 10 0 1991916239 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 867.95 Current children cumulated vsize (KiB) 214108 [startup+874.402 s] /proc/loadavg: 2.00 2.00 2.00 3/85 25765 /proc/meminfo: memFree=1612424/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=197744 CPUtime=312.47 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 14141 12450 1 1 596 27 30614 10 21 0 10 0 1991884957 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49436 9502 2545 9 0 44018 0 [pid=25758] ppid=25736 vsize=5356 CPUtime=0 /proc/25758/stat : 25758 (mistral) S 25736 25728 23730 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1991916240 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/25758/statm: 1339 236 196 169 0 50 0 [pid=25759] ppid=25758 vsize=5648 CPUtime=554.8 /proc/25759/stat : 25759 (xsolve) R 25758 25728 23730 0 -1 4194304 769 0 0 0 55479 1 0 0 25 0 1 0 1991916241 5783552 733 996147200 134512640 135239763 4294955968 18446744073709551615 134821502 0 4 0 0 0 0 0 17 1 0 0 /proc/25759/statm: 1412 733 413 177 0 315 0 [pid=25736/tid=25737] ppid=25728 vsize=197744 CPUtime=311.01 /proc/25736/task/25737/stat : 25737 (java) S 25728 25728 23730 0 -1 64 3977 12450 1 1 467 10 30614 10 16 0 10 0 1991884958 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=197744 CPUtime=307.4 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 8583 12450 0 1 103 13 30614 10 16 0 10 0 1991884959 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25739] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 12450 0 1 0 0 30614 10 16 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 12450 0 1 0 0 30614 10 15 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 18 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=197744 CPUtime=306.49 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 697 12450 0 1 24 1 30614 10 16 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25743] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 19 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 36 12450 0 1 0 0 30614 10 15 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25757] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25757/stat : 25757 (java) S 25728 25728 23730 0 -1 64 48 12450 0 1 0 0 30614 10 17 0 10 0 1991916239 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 868.75 Current children cumulated vsize (KiB) 214108 [startup+874.803 s] /proc/loadavg: 2.00 2.00 2.00 3/85 25765 /proc/meminfo: memFree=1612424/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=197744 CPUtime=312.47 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 14141 12450 1 1 596 27 30614 10 21 0 10 0 1991884957 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49436 9502 2545 9 0 44018 0 [pid=25758] ppid=25736 vsize=5356 CPUtime=0 /proc/25758/stat : 25758 (mistral) S 25736 25728 23730 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1991916240 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/25758/statm: 1339 236 196 169 0 50 0 [pid=25759] ppid=25758 vsize=5648 CPUtime=555.19 /proc/25759/stat : 25759 (xsolve) R 25758 25728 23730 0 -1 4194304 769 0 0 0 55518 1 0 0 25 0 1 0 1991916241 5783552 733 996147200 134512640 135239763 4294955968 18446744073709551615 135067172 0 4 0 0 0 0 0 17 1 0 0 /proc/25759/statm: 1412 733 413 177 0 315 0 [pid=25736/tid=25737] ppid=25728 vsize=197744 CPUtime=311.01 /proc/25736/task/25737/stat : 25737 (java) S 25728 25728 23730 0 -1 64 3977 12450 1 1 467 10 30614 10 16 0 10 0 1991884958 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=197744 CPUtime=307.4 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 8583 12450 0 1 103 13 30614 10 16 0 10 0 1991884959 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25739] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 12450 0 1 0 0 30614 10 16 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 12450 0 1 0 0 30614 10 15 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 18 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=197744 CPUtime=306.49 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 697 12450 0 1 24 1 30614 10 16 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25743] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 19 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 36 12450 0 1 0 0 30614 10 15 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25757] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25757/stat : 25757 (java) S 25728 25728 23730 0 -1 64 48 12450 0 1 0 0 30614 10 17 0 10 0 1991916239 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 869.14 Current children cumulated vsize (KiB) 214108 [startup+875.203 s] /proc/loadavg: 2.00 2.00 2.00 3/85 25765 /proc/meminfo: memFree=1612424/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=197744 CPUtime=312.47 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 14141 12450 1 1 596 27 30614 10 21 0 10 0 1991884957 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49436 9502 2545 9 0 44018 0 [pid=25758] ppid=25736 vsize=5356 CPUtime=0 /proc/25758/stat : 25758 (mistral) S 25736 25728 23730 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1991916240 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/25758/statm: 1339 236 196 169 0 50 0 [pid=25759] ppid=25758 vsize=5648 CPUtime=555.59 /proc/25759/stat : 25759 (xsolve) R 25758 25728 23730 0 -1 4194304 769 0 0 0 55558 1 0 0 25 0 1 0 1991916241 5783552 733 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0 /proc/25759/statm: 1412 733 413 177 0 315 0 [pid=25736/tid=25737] ppid=25728 vsize=197744 CPUtime=311.01 /proc/25736/task/25737/stat : 25737 (java) S 25728 25728 23730 0 -1 64 3977 12450 1 1 467 10 30614 10 16 0 10 0 1991884958 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=197744 CPUtime=307.4 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 8583 12450 0 1 103 13 30614 10 16 0 10 0 1991884959 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25739] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 12450 0 1 0 0 30614 10 16 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 12450 0 1 0 0 30614 10 15 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 18 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=197744 CPUtime=306.49 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 697 12450 0 1 24 1 30614 10 16 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25743] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 19 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 36 12450 0 1 0 0 30614 10 15 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25757] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25757/stat : 25757 (java) S 25728 25728 23730 0 -1 64 48 12450 0 1 0 0 30614 10 17 0 10 0 1991916239 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 869.54 Current children cumulated vsize (KiB) 214108 [startup+875.303 s] /proc/loadavg: 2.00 2.00 2.00 3/85 25765 /proc/meminfo: memFree=1612424/2055920 swapFree=4180456/4192956 [pid=25728] ppid=25726 vsize=5360 CPUtime=1.48 /proc/25728/stat : 25728 (hydra) S 25726 25728 23730 0 -1 4194304 375 1390 0 0 0 0 146 2 19 0 1 0 1991884806 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25728/statm: 1340 238 196 169 0 51 0 [pid=25736] ppid=25728 vsize=197744 CPUtime=312.47 /proc/25736/stat : 25736 (java) S 25728 25728 23730 0 -1 0 14141 12450 1 1 596 27 30614 10 21 0 10 0 1991884957 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/25736/statm: 49436 9502 2545 9 0 44018 0 [pid=25758] ppid=25736 vsize=5356 CPUtime=0 /proc/25758/stat : 25758 (mistral) S 25736 25728 23730 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1991916240 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/25758/statm: 1339 236 196 169 0 50 0 [pid=25759] ppid=25758 vsize=5648 CPUtime=555.69 /proc/25759/stat : 25759 (xsolve) R 25758 25728 23730 0 -1 4194304 769 0 0 0 55568 1 0 0 25 0 1 0 1991916241 5783552 733 996147200 134512640 135239763 4294955968 18446744073709551615 134820584 0 4 0 0 0 0 0 17 1 0 0 /proc/25759/statm: 1412 733 413 177 0 315 0 [pid=25736/tid=25737] ppid=25728 vsize=197744 CPUtime=311.01 /proc/25736/task/25737/stat : 25737 (java) S 25728 25728 23730 0 -1 64 3977 12450 1 1 467 10 30614 10 16 0 10 0 1991884958 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=25736/tid=25738] ppid=25728 vsize=197744 CPUtime=307.4 /proc/25736/task/25738/stat : 25738 (java) S 25728 25728 23730 0 -1 64 8583 12450 0 1 103 13 30614 10 16 0 10 0 1991884959 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25739] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25739/stat : 25739 (java) S 25728 25728 23730 0 -1 64 11 12450 0 1 0 0 30614 10 16 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25740] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25740/stat : 25740 (java) S 25728 25728 23730 0 -1 64 5 12450 0 1 0 0 30614 10 15 0 10 0 1991884960 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25741] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25741/stat : 25741 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 18 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25742] ppid=25728 vsize=197744 CPUtime=306.49 /proc/25736/task/25742/stat : 25742 (java) S 25728 25728 23730 0 -1 64 697 12450 0 1 24 1 30614 10 16 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=25736/tid=25743] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25743/stat : 25743 (java) S 25728 25728 23730 0 -1 64 1 12450 0 1 0 0 30614 10 19 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25744] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25744/stat : 25744 (java) S 25728 25728 23730 0 -1 64 36 12450 0 1 0 0 30614 10 15 0 10 0 1991884962 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=25736/tid=25757] ppid=25728 vsize=197744 CPUtime=306.24 /proc/25736/task/25757/stat : 25757 (java) S 25728 25728 23730 0 -1 64 48 12450 0 1 0 0 30614 10 17 0 10 0 1991916239 202489856 9502 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 869.64 Current children cumulated vsize (KiB) 214108 Child status: 0 Real time (s): 875.384 CPU time (s): 869.723 CPU user time (s): 869.298 CPU system time (s): 0.424935 CPU usage (%): 99.3533 Max. virtual memory (cumulated for all children) (KiB): 870268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 869.298 system time used= 0.424935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29586 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 34698 involuntary context switches= 45617 runsolver used 1.84872 second user time and 5.33619 second system time The end
Begin job on node19 at 2008-07-04 01:51:44 IDJOB=1060906 IDBENCH=54494 IDSOLVER=366 FILE ID=node19/1060906-1215129104 PBS_JOBID= 7877165 Free space on /tmp= 66552 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudo/chnl/normalized-chnl-10-11.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060906-1215129104/watcher-1060906-1215129104 -o /tmp/evaluation-result-1060906-1215129104/solver-1060906-1215129104 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1060906-1215129104.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= b0b8fe758d924c34eff50a2a4a46bd03 RANDOM SEED=1418351925 node19.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.263 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 : 5931.00 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.263 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: 1644064 kB Buffers: 65180 kB Cached: 247880 kB SwapCached: 6540 kB Active: 199960 kB Inactive: 143820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644064 kB SwapTotal: 4192956 kB SwapFree: 4180456 kB Dirty: 24656 kB Writeback: 0 kB Mapped: 38244 kB Slab: 53376 kB Committed_AS: 3362832 kB PageTables: 1836 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= 66528 MiB End job on node19 at 2008-07-04 02:06:20