Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 702.789 | 704.191 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 29 |
Name | csp/js-taillard-15/ normalized-js-taillard-15-95-2.xml |
MD5SUM | 82e30b1cc0425fc71c427eb8ae1415f1 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 9.06762 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 1785 |
Maximum constraint arity | 2 |
Maximum domain size | 1171 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1785 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.29/7.45 c CASE TO CLASSIFY: 7.29/7.45 c Case: 0 7.29/7.46 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 22.195600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 4.534860 | c 14 > 8.717680 | c 11 > 11.720700 | c 12 > 2.898120 | c 21 > 33.500800 | c 20 > 100.000000 | c 22 > 34.219900 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.942200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.29/7.47 c choco : 1801.0 7.29/7.47 c mistral : 1801.0 7.29/7.47 c abscon : 1801.0 7.29/7.47 c 7.29/7.47 c 7.58/7.73 c List of same ones: 40 7.58/7.73 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-1.xml 7.58/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.646800 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 4.145940 | c 14 > 7.774790 | c 11 > 11.720700 | c 12 > 2.462110 | c 21 > 33.919400 | c 20 > 100.000000 | c 22 > 34.641000 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.978100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.74 c choco : 20.19 7.58/7.74 c mistral : 73.1569 7.58/7.74 c abscon : 1800.11 7.58/7.74 c 7.58/7.74 c 7.58/7.74 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-9.xml 7.58/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.644600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.711880 | c 14 > 7.459430 | c 11 > 11.720700 | c 12 > 2.316190 | c 21 > 34.022500 | c 20 > 100.000000 | c 22 > 34.741900 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.986800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.74 c choco : 31.0 7.58/7.74 c mistral : 1800.05 7.58/7.75 c abscon : 1800.13 7.58/7.75 c 7.58/7.75 c 7.58/7.75 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-7.xml 7.58/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.707900 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.387950 | c 14 > 7.199670 | c 11 > 11.720700 | c 12 > 2.192220 | c 21 > 33.321500 | c 20 > 100.000000 | c 22 > 34.058800 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.926800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.76 c choco : 20.45 7.58/7.76 c mistral : 7.82681 7.58/7.76 c abscon : 1800.09 7.58/7.76 c 7.58/7.76 c 7.58/7.76 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-3.xml 7.58/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.744100 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.564180 | c 14 > 7.693490 | c 11 > 11.720700 | c 12 > 2.286000 | c 21 > 34.530200 | c 20 > 100.000000 | c 22 > 35.213600 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.029500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.76 c choco : 39.45 7.58/7.76 c mistral : 1146.73 7.58/7.76 c abscon : 1800.07 7.58/7.76 c 7.58/7.76 c 7.58/7.76 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-6.xml 7.58/7.76 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.622900 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.126110 | c 14 > 7.475730 | c 11 > 11.720700 | c 12 > 2.090500 | c 21 > 33.506000 | c 20 > 100.000000 | c 22 > 34.249100 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.942700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.78 c choco : 47.22 7.58/7.78 c mistral : 31.1053 7.58/7.78 c abscon : 1800.07 7.58/7.78 c 7.58/7.78 c 7.58/7.78 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-0.xml 7.58/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.837000 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.090200 | c 14 > 7.257390 | c 11 > 11.720700 | c 12 > 2.063860 | c 21 > 33.676800 | c 20 > 100.000000 | c 22 > 34.423800 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.957400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.79 c choco : 3.74 7.58/7.79 c mistral : 12.841 7.58/7.79 c abscon : 1800.12 7.58/7.79 c 7.58/7.79 c 7.58/7.79 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-2.xml 7.58/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.593600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.074840 | c 14 > 7.294620 | c 11 > 11.720700 | c 12 > 2.078510 | c 21 > 33.500800 | c 20 > 100.000000 | c 22 > 34.219900 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.942200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.58/7.79 c choco : 19.83 7.58/7.79 c mistral : 7.62184 7.58/7.79 c abscon : 1800.11 7.58/7.79 c 7.58/7.79 c 7.58/7.79 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-4.xml 7.58/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.605300 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.153650 | c 14 > 7.118940 | c 11 > 11.720700 | c 12 > 2.095410 | c 21 > 33.540900 | c 20 > 100.000000 | c 22 > 34.263700 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.945700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.80 c choco : 81.65 7.67/7.80 c mistral : 1800.02 7.67/7.80 c abscon : 1800.1 7.67/7.80 c 7.67/7.80 c 7.67/7.80 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-5.xml 7.67/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.535400 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.329200 | c 14 > 6.918860 | c 11 > 11.720700 | c 12 > 2.176230 | c 21 > 33.697900 | c 20 > 100.000000 | c 22 > 34.423800 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.959200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.81 c choco : 777.76 7.67/7.81 c mistral : 1800.11 7.67/7.81 c abscon : 1800.12 7.67/7.81 c 7.67/7.81 c 7.67/7.81 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-8.xml 7.67/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.683900 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.206080 | c 14 > 7.129280 | c 11 > 11.720700 | c 12 > 2.092410 | c 21 > 34.254900 | c 20 > 100.000000 | c 22 > 35.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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.006400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.82 c choco : 42.84 7.67/7.82 c mistral : 20.7328 7.67/7.82 c abscon : 1800.11 7.67/7.82 c 7.67/7.82 c 7.67/7.82 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-3.xml 7.67/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.553800 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.096810 | c 14 > 7.199670 | c 11 > 11.720700 | c 12 > 2.078200 | c 21 > 32.777100 | c 20 > 100.000000 | c 22 > 33.496300 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.879400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.83 c choco : 7.89 7.67/7.83 c mistral : 4.93025 7.67/7.83 c abscon : 1800.1 7.67/7.83 c 7.67/7.83 c 7.67/7.83 c /home/eomahony/cpZilla/CSP/os-gp/gp10-10-1092.xml 7.67/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.254700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.037670 | c 14 > 9.278450 | c 11 > 10.891800 | c 12 > 3.430640 | c 21 > 32.896600 | c 20 > 100.000000 | c 22 > 33.060600 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.055600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.84 c choco : 5.92 7.67/7.84 c mistral : 0.305952 7.67/7.84 c abscon : 1800.09 7.67/7.84 c 7.67/7.84 c 7.67/7.84 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-10-1092.xml 7.67/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.301700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.062940 | c 14 > 9.317410 | c 11 > 10.891800 | c 12 > 3.460120 | c 21 > 32.896600 | c 20 > 100.000000 | c 22 > 33.060600 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.055600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.85 c choco : 13.97 7.67/7.85 c mistral : 0.8 7.67/7.85 c abscon : 1801.0 7.67/7.85 c 7.67/7.85 c 7.67/7.85 c /home/eomahony/cpZilla/CSP/os-gp/gp10-03-1081.xml 7.67/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.203300 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.549570 | c 14 > 9.179910 | c 11 > 10.891800 | c 12 > 3.063870 | c 21 > 32.730700 | c 20 > 100.000000 | c 22 > 32.893800 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.041000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.86 c choco : 6.31 7.67/7.86 c mistral : 1.17882 7.67/7.86 c abscon : 1800.05 7.67/7.86 c 7.67/7.86 c 7.67/7.86 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-08-1093.xml 7.67/7.86 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.175600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.081010 | c 14 > 9.364130 | c 11 > 10.891800 | c 12 > 3.440180 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.87 c choco : 14.17 7.67/7.87 c mistral : 1.52 7.67/7.87 c abscon : 1801.0 7.67/7.87 c 7.67/7.87 c 7.67/7.87 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-03-1081.xml 7.67/7.87 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.042600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.411440 | c 14 > 9.033420 | c 11 > 10.891800 | c 12 > 2.945550 | c 21 > 32.730700 | c 20 > 100.000000 | c 22 > 32.893800 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.041000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.88 c choco : 16.32 7.67/7.88 c mistral : 1801.0 7.67/7.88 c abscon : 1801.0 7.67/7.88 c 7.67/7.88 c 7.67/7.88 c /home/eomahony/cpZilla/CSP/os-gp/gp10-08-1093.xml 7.67/7.88 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.284400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.189530 | c 14 > 9.459430 | c 11 > 10.891800 | c 12 > 3.523690 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.88 c choco : 5.52 7.67/7.88 c mistral : 0.348946 7.67/7.88 c abscon : 1800.07 7.67/7.88 c 7.67/7.88 c 7.67/7.88 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-01-1093.xml 7.67/7.88 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.048400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.855760 | c 14 > 9.658210 | c 11 > 10.891800 | c 12 > 3.148330 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.89 c choco : 14.92 7.67/7.89 c mistral : 3.68 7.67/7.89 c abscon : 1801.0 7.67/7.89 c 7.67/7.89 c 7.67/7.89 c /home/eomahony/cpZilla/CSP/os-gp/gp10-01-1093.xml 7.67/7.89 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.165500 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.971420 | c 14 > 9.746510 | c 11 > 10.891800 | c 12 > 3.239110 | c 21 > 32.911700 | c 20 > 100.000000 | c 22 > 33.075700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.057000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.67/7.89 c choco : 6.81 7.67/7.89 c mistral : 0.327949 7.67/7.89 c abscon : 1800.07 7.67/7.89 c 7.67/7.89 c 7.67/7.90 c /home/eomahony/cpZilla/CSP/os-gp/gp10-07-1079.xml 7.67/7.90 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.301100 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.249350 | c 14 > 9.079480 | c 11 > 10.891800 | c 12 > 3.361690 | c 21 > 32.700400 | c 20 > 100.000000 | c 22 > 32.863400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.038300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.91 c choco : 7.45 7.75/7.91 c mistral : 0.532918 7.75/7.91 c abscon : 1800.11 7.75/7.91 c 7.75/7.91 c 7.75/7.91 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-07-1079.xml 7.75/7.91 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.253700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.214810 | c 14 > 9.057990 | c 11 > 10.891800 | c 12 > 3.343030 | c 21 > 32.700400 | c 20 > 100.000000 | c 22 > 32.863400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.038300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.91 c choco : 16.56 7.75/7.91 c mistral : 5.33 7.75/7.91 c abscon : 1801.0 7.75/7.91 c 7.75/7.91 c 7.75/7.91 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-06-1071.xml 7.75/7.91 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.147200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.013100 | c 14 > 9.113740 | c 11 > 10.891800 | c 12 > 3.388620 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.92 c choco : 15.66 7.75/7.92 c mistral : 0.64 7.75/7.92 c abscon : 1801.0 7.75/7.92 c 7.75/7.92 c 7.75/7.92 c /home/eomahony/cpZilla/CSP/os-gp/gp10-06-1071.xml 7.75/7.92 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.147400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.013100 | c 14 > 9.121530 | c 11 > 10.891800 | c 12 > 3.388620 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.92 c choco : 6.95 7.75/7.92 c mistral : 0.271957 7.75/7.92 c abscon : 1800.1 7.75/7.92 c 7.75/7.92 c 7.75/7.92 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-05-1071.xml 7.75/7.92 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.131600 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.133260 | c 14 > 9.087460 | c 11 > 10.891800 | c 12 > 3.593980 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.93 c choco : 20.25 7.75/7.93 c mistral : 14.08 7.75/7.93 c abscon : 1801.0 7.75/7.93 c 7.75/7.93 c 7.75/7.93 c /home/eomahony/cpZilla/CSP/os-gp/gp10-05-1071.xml 7.75/7.93 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.218700 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 5.220520 | c 14 > 9.159870 | c 11 > 10.891800 | c 12 > 3.664120 | c 21 > 32.579100 | c 20 > 100.000000 | c 22 > 32.741400 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.027600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.94 c choco : 11.7 7.75/7.94 c mistral : 1.40479 7.75/7.94 c abscon : 1800.1 7.75/7.94 c 7.75/7.94 c 7.75/7.94 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-9.xml 7.75/7.94 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.827700 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.136540 | c 14 > 7.033420 | c 11 > 11.720700 | c 12 > 2.124030 | c 21 > 34.936100 | c 20 > 100.000000 | c 22 > 35.637100 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.063100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.94 c choco : 1065.61 7.75/7.94 c mistral : 1800.03 7.75/7.94 c abscon : 1800.14 7.75/7.94 c 7.75/7.94 c 7.75/7.94 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-1.xml 7.75/7.94 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.809400 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 2.936190 | c 14 > 7.055280 | c 11 > 11.720700 | c 12 > 2.006500 | c 21 > 34.835700 | c 20 > 100.000000 | c 22 > 35.538700 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.054900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.95 c choco : 860.71 7.75/7.95 c mistral : 1800.03 7.75/7.95 c abscon : 1800.1 7.75/7.95 c 7.75/7.95 c 7.75/7.95 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-7.xml 7.75/7.95 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.686400 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 2.979520 | c 14 > 7.139550 | c 11 > 11.720700 | c 12 > 1.962210 | c 21 > 35.104500 | c 20 > 100.000000 | c 22 > 35.805000 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.076900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.95 c choco : 93.42 7.75/7.95 c mistral : 1800.05 7.75/7.95 c abscon : 1800.14 7.75/7.95 c 7.75/7.95 c 7.75/7.95 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-1.xml 7.75/7.95 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.916100 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.634900 | c 14 > 7.636620 | c 11 > 11.720700 | c 12 > 2.292390 | c 21 > 35.728500 | c 20 > 100.000000 | c 22 > 36.414300 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.127800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.96 c choco : 24.34 7.75/7.96 c mistral : 2.62 7.75/7.96 c abscon : 1800.1 7.75/7.96 c 7.75/7.96 c 7.75/7.96 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-04-1077.xml 7.75/7.96 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.050400 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 6.465870 | c 14 > 9.337620 | c 11 > 10.891800 | c 12 > 4.378510 | c 21 > 32.670100 | c 20 > 100.000000 | c 22 > 32.832900 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.035600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.96 c choco : 15.35 7.75/7.96 c mistral : 0.9 7.75/7.96 c abscon : 1801.0 7.75/7.96 c 7.75/7.96 c 7.75/7.96 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-5.xml 7.75/7.96 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.684300 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 2.945250 | c 14 > 6.894820 | c 11 > 11.720700 | c 12 > 2.020160 | c 21 > 35.490200 | c 20 > 100.000000 | c 22 > 36.180100 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.108500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.97 c choco : 60.7 7.75/7.97 c mistral : 1800.02 7.75/7.97 c abscon : 1800.08 7.75/7.97 c 7.75/7.97 c 7.75/7.97 c /home/eomahony/cpZilla/CSP/os-gp/gp10-04-1077.xml 7.75/7.97 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.210500 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 6.747930 | c 14 > 9.509780 | c 11 > 10.891800 | c 12 > 4.617740 | c 21 > 32.670100 | c 20 > 100.000000 | c 22 > 32.832900 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.035600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.98 c choco : 6.77 7.75/7.98 c mistral : 0.297953 7.75/7.98 c abscon : 1800.11 7.75/7.98 c 7.75/7.98 c 7.75/7.98 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-9.xml 7.75/7.98 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.713600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.128840 | c 14 > 6.870360 | c 11 > 11.720700 | c 12 > 2.093910 | c 21 > 35.840300 | c 20 > 100.000000 | c 22 > 36.524000 | 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.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.136700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.98 c choco : 36.21 7.75/7.98 c mistral : 8.59169 7.75/7.98 c abscon : 1800.13 7.75/7.98 c 7.75/7.98 c 7.75/7.98 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-02-1097.xml 7.75/7.98 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.734200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.452120 | c 14 > 8.558420 | c 11 > 10.891800 | c 12 > 2.222120 | c 21 > 32.971800 | c 20 > 100.000000 | c 22 > 33.136100 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.062200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.75/7.99 c choco : 13.88 7.75/7.99 c mistral : 0.69 7.75/7.99 c abscon : 71.81 7.75/7.99 c 7.75/7.99 c 7.75/7.99 c /home/eomahony/cpZilla/CSP/os-gp/gp10-02-1097.xml 7.75/7.99 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 18.734200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 4.452120 | c 14 > 8.558420 | c 11 > 10.891800 | c 12 > 2.222120 | c 21 > 32.971800 | c 20 > 100.000000 | c 22 > 33.136100 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.062200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.00 c choco : 5.52 7.81/8.00 c mistral : 0.18597 7.81/8.00 c abscon : 638.337 7.81/8.00 c 7.81/8.00 c 7.81/8.00 c /home/ehebrard/new_instances/competition_4c/data/os-gp/gp10-09-1112.xml 7.81/8.00 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.065800 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 7.186340 | c 14 > 9.491850 | c 11 > 10.891800 | c 12 > 5.001420 | c 21 > 33.196200 | c 20 > 100.000000 | c 22 > 33.361700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.081900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.01 c choco : 14.03 7.81/8.01 c mistral : 1.14 7.81/8.01 c abscon : 1801.0 7.81/8.01 c 7.81/8.01 c 7.81/8.01 c /home/eomahony/cpZilla/CSP/os-gp/gp10-09-1112.xml 7.81/8.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.000000 | c 15 > 21.244200 | c 34 > 47.000000 | c 16 > 2.000000 | c 13 > 7.444610 | c 14 > 9.667110 | c 11 > 10.891800 | c 12 > 5.181960 | c 21 > 33.196200 | c 20 > 100.000000 | c 22 > 33.361700 | 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 > 6.643860 | c 10 > 12.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.891800 | c 6 > 10.813800 | c 32 > -1.000000 | c 5 > 21.081900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.01 c choco : 5.26 7.81/8.01 c mistral : 0.369943 7.81/8.01 c abscon : 1800.07 7.81/8.01 c 7.81/8.01 c 7.81/8.01 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-3.xml 7.81/8.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.316300 | c 15 > 20.560200 | c 34 > 47.316300 | c 16 > 2.000000 | c 13 > 3.308310 | c 14 > 6.375040 | c 11 > 12.550700 | c 12 > 2.022720 | c 21 > 37.112000 | c 20 > 100.000000 | c 22 > 37.735900 | 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 > 8.228820 | c 10 > 13.854300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.545900 | c 6 > 12.476700 | c 32 > -1.000000 | c 5 > 23.046100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.02 c choco : 83.58 7.81/8.02 c mistral : 1800.03 7.81/8.02 c abscon : 1800.09 7.81/8.02 c 7.81/8.02 c 7.81/8.02 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-1.xml 7.81/8.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.316300 | c 15 > 20.539400 | c 34 > 47.316300 | c 16 > 2.000000 | c 13 > 3.205420 | c 14 > 7.055280 | c 11 > 12.550700 | c 12 > 2.037620 | c 21 > 37.405000 | c 20 > 100.000000 | c 22 > 38.078900 | 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 > 8.228820 | c 10 > 13.854300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.545900 | c 6 > 12.476700 | c 32 > -1.000000 | c 5 > 23.068800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.02 c choco : 62.82 7.81/8.02 c mistral : 1800.06 7.81/8.02 c abscon : 1800.1 7.81/8.02 c 7.81/8.02 c 7.81/8.02 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-5.xml 7.81/8.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.316300 | c 15 > 20.570700 | c 34 > 47.316300 | c 16 > 2.000000 | c 13 > 3.131410 | c 14 > 7.044390 | c 11 > 12.550700 | c 12 > 2.009170 | c 21 > 37.459300 | c 20 > 100.000000 | c 22 > 38.131400 | 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 > 8.228820 | c 10 > 13.854300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.545900 | c 6 > 12.476700 | c 32 > -1.000000 | c 5 > 23.072900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.03 c choco : 917.89 7.81/8.03 c mistral : 1800.02 7.81/8.03 c abscon : 1800.13 7.81/8.03 c 7.81/8.03 c 7.81/8.03 c Length: 40 7.81/8.03 c 1.995752103493818 2.356135971840334 2.527774093585105 2.5548881194486768 2.5794440582032383 2.6142026236120253 2.719360718275529 2.764171989185911 2.83680652496782 2.899037909807319 2.965029628688389 2.983145501949244 2.9860428003797947 3.009597002241332 3.026240258968215 3.0460222676960207 3.0509232656197707 3.0779814832776378 3.0877466911973217 3.101951379599623 3.1030538479214327 3.203936372277079 3.204843249910986 3.2635924062909596 3.2782083045621153 3.368316352140932 3.4014333645244323 3.628460936898729 3.7141801003855437 3.964824083386299 4.090510001613492 4.190021883677937 4.364920211974097 4.400823923039865 4.400823923039865 4.423496461590085 4.661165747900412 6.439690300293951 6.620655442265513 6.697976526586218 7.81/8.04 c 7.81/8.04 c 1.0 0.9288145857628486 0.8983574810786011 0.8937278632717836 0.889576014262989 0.8837646488990321 0.8666364022389403 0.8595375896659554 0.8482749208442915 0.8388575224472945 0.8290968540551533 0.826456990711054 0.8260363519438946 0.8226325046699796 0.8202442314433941 0.817423528477209 0.8167276945786008 0.8129072481751518 0.8115372260404935 0.8095525854530025 0.8093989574195682 0.7955836335913609 0.7954615800493492 0.7876337425121913 0.7857101687446937 0.7740556383413942 0.7698587152901584 0.7422689762784237 0.7323592861773424 0.7048441770610767 0.69181060077465 0.6818282281537157 0.6649644185494854 0.6616052381329738 0.6616052381329738 0.6595014041994827 0.6382268482806469 0.5141199231320523 0.5041449568556812 0.5 7.81/8.05 c 7.81/8.05 c solver 0 7.81/8.05 c before 0.0 seconds: {} 0 7.81/8.05 c before 72.0 seconds: {33} 661 7.81/8.05 c before 648.0 seconds: {33, 34} 1323 7.81/8.05 c 7.81/8.05 c solver 1 7.81/8.05 c before 0.0 seconds: {} 0 7.81/8.05 c before 18.0 seconds: {2, 5, 6, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 31, 32, 33, 34, 35, 36} 19402 7.81/8.05 c before 36.0 seconds: {2, 4, 5, 6, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 31, 32, 33, 34, 35, 36} 21131 7.81/8.05 c before 90.0 seconds: {0, 2, 4, 5, 6, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 31, 32, 33, 34, 35, 36} 22131 7.81/8.05 c before 1152.0 seconds: {0, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 31, 32, 33, 34, 35, 36} 23024 7.81/8.05 c 7.81/8.05 c solver 2 7.81/8.05 c before 0.0 seconds: {} 0 7.81/8.05 c before 18.0 seconds: {5, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 29, 31, 33, 34, 35, 36} 16270 7.81/8.05 c before 36.0 seconds: {0, 1, 2, 5, 6, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 31, 33, 34, 35, 36} 21483 7.81/8.05 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 31, 32, 33, 34, 35, 36} 24771 7.81/8.05 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38} 25967 7.81/8.05 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 27340 7.81/8.05 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 28082 7.81/8.05 c before 792.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 28931 7.81/8.05 c before 864.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38} 29701 7.81/8.05 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 30201 7.81/8.05 c before 1080.0 seconds: {0, 1, 2, 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} 30975 7.81/8.05 c 7.81/8.05 cTotal time: 160 7.81/8.05 c run abscon for 648.0 seconds {33, 34} 1323 7.81/8.05 c run mistral for 36.0 seconds {2, 4, 5, 6, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 28, 29, 31, 32, 33, 34, 35, 36} 21131 7.81/8.05 c run choco for 1080.0 seconds {0, 1, 2, 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} 30975 7.81/8.05 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.81/8.05 c On Instance: HOME/instance-1081075-1215215296.xml 7.81/8.05 c Running for: 648 seconds 657.18/658.07 c Starting solver: HOME/cpHydra_k_40/solver/mistral 657.18/658.07 c On Instance: HOME/instance-1081075-1215215296.xml 657.18/658.07 c Running for: 36 seconds 693.24/694.43 c Starting solver: HOME/cpHydra_k_40/solver/choco 693.24/694.43 c On Instance: HOME/instance-1081075-1215215296.xml 693.24/694.43 c Running for: 1080 seconds 702.72/704.13 s UNSATISFIABLE 702.72/704.13 d ASSIGNMENTS 29 702.72/704.13 c UNSAT 9550 TIME 29 NDS 816 PARSTIME 1166 BUILDPB 7568 RES true RESTART 1 HEURISTIC
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-1081075-1215215296/watcher-1081075-1215215296 -o /tmp/evaluation-result-1081075-1215215296/solver-1081075-1215215296 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081075-1215215296.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 4/80 27271 /proc/meminfo: memFree=1400088/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5260 CPUtime=0 /proc/27271/stat : 27271 (hydra) R 27269 27271 26736 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 2000498460 5386240 51 996147200 4194304 4889804 548682068816 18446744073709551615 233399449737 0 0 4096 0 0 0 0 17 1 0 0 /proc/27271/statm: 1315 51 37 169 0 14 0 [startup+0.0599441 s] /proc/loadavg: 2.00 2.01 2.00 4/80 27271 /proc/meminfo: memFree=1400088/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=0 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000498460 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102957 s] /proc/loadavg: 2.00 2.01 2.00 4/80 27271 /proc/meminfo: memFree=1400088/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=0 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000498460 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302994 s] /proc/loadavg: 2.00 2.01 2.00 4/80 27271 /proc/meminfo: memFree=1400088/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=0 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000498460 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701066 s] /proc/loadavg: 2.00 2.01 2.00 4/80 27271 /proc/meminfo: memFree=1400088/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=0 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000498460 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50121 s] /proc/loadavg: 2.00 2.01 2.00 3/82 27275 /proc/meminfo: memFree=1392584/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=0 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000498460 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 236 195 169 0 51 0 [pid=27275] ppid=27271 vsize=11700 CPUtime=1.47 /proc/27275/stat : 27275 (xsolve) R 27271 27271 26736 0 -1 4194304 2256 0 0 0 146 1 0 0 25 0 1 0 2000498461 11980800 2215 996147200 134512640 135239763 4294956176 18446744073709551615 134801961 0 0 4096 0 0 0 0 17 1 0 0 /proc/27275/statm: 2925 2215 422 177 0 1828 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 17060 [startup+3.10249 s] /proc/loadavg: 2.00 2.01 2.00 4/90 27287 /proc/meminfo: memFree=1392840/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=1.58 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 375 2853 0 0 0 0 157 1 18 0 1 0 2000498460 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 238 196 169 0 51 0 [pid=27279] ppid=27271 vsize=197004 CPUtime=1.45 /proc/27279/stat : 27279 (java) S 27271 27271 26736 0 -1 0 4944 0 1 0 141 4 0 0 18 0 9 0 2000498622 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27279/statm: 49251 4154 1678 9 0 43833 0 [pid=27279/tid=27280] ppid=27271 vsize=197004 CPUtime=1.16 /proc/27279/task/27280/stat : 27280 (java) R 27271 27271 26736 0 -1 64 2717 0 1 0 114 2 0 0 25 0 9 0 2000498623 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4126487288 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27281] ppid=27271 vsize=197004 CPUtime=0.12 /proc/27279/task/27281/stat : 27281 (java) S 27271 27271 26736 0 -1 64 898 0 0 0 11 1 0 0 16 0 9 0 2000498624 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27282] ppid=27271 vsize=197004 CPUtime=0 /proc/27279/task/27282/stat : 27282 (java) S 27271 27271 26736 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000498624 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27283] ppid=27271 vsize=197004 CPUtime=0 /proc/27279/task/27283/stat : 27283 (java) S 27271 27271 26736 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000498624 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27284] ppid=27271 vsize=197004 CPUtime=0 /proc/27279/task/27284/stat : 27284 (java) S 27271 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000498626 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27285] ppid=27271 vsize=197004 CPUtime=0.14 /proc/27279/task/27285/stat : 27285 (java) S 27271 27271 26736 0 -1 64 605 0 0 0 14 0 0 0 16 0 9 0 2000498626 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27286] ppid=27271 vsize=197004 CPUtime=0 /proc/27279/task/27286/stat : 27286 (java) S 27271 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000498626 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27287] ppid=27271 vsize=197004 CPUtime=0 /proc/27279/task/27287/stat : 27287 (java) S 27271 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000498626 201732096 4154 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202364 [startup+6.30107 s] /proc/loadavg: 2.00 2.01 2.00 4/90 27287 /proc/meminfo: memFree=1380744/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=1.58 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 375 2853 0 0 0 0 157 1 18 0 1 0 2000498460 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 238 196 169 0 51 0 [pid=27279] ppid=27271 vsize=197112 CPUtime=4.61 /proc/27279/stat : 27279 (java) S 27271 27271 26736 0 -1 0 9837 0 1 0 449 12 0 0 18 0 9 0 2000498622 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27279/statm: 49278 8155 2541 9 0 43860 0 [pid=27279/tid=27280] ppid=27271 vsize=197112 CPUtime=3.68 /proc/27279/task/27280/stat : 27280 (java) R 27271 27271 26736 0 -1 64 3525 0 1 0 364 4 0 0 25 0 9 0 2000498623 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4126439916 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27281] ppid=27271 vsize=197112 CPUtime=0.74 /proc/27279/task/27281/stat : 27281 (java) S 27271 27271 26736 0 -1 64 4959 0 0 0 67 7 0 0 16 0 9 0 2000498624 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27282] ppid=27271 vsize=197112 CPUtime=0 /proc/27279/task/27282/stat : 27282 (java) S 27271 27271 26736 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000498624 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27283] ppid=27271 vsize=197112 CPUtime=0 /proc/27279/task/27283/stat : 27283 (java) S 27271 27271 26736 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000498624 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27284] ppid=27271 vsize=197112 CPUtime=0 /proc/27279/task/27284/stat : 27284 (java) S 27271 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000498626 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27285] ppid=27271 vsize=197112 CPUtime=0.17 /proc/27279/task/27285/stat : 27285 (java) S 27271 27271 26736 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 2000498626 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27286] ppid=27271 vsize=197112 CPUtime=0 /proc/27279/task/27286/stat : 27286 (java) S 27271 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000498626 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27287] ppid=27271 vsize=197112 CPUtime=0 /proc/27279/task/27287/stat : 27287 (java) S 27271 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000498626 201842688 8155 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202472 [startup+12.7022 s] /proc/loadavg: 2.07 2.02 2.00 3/102 27299 /proc/meminfo: memFree=1299176/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=1.58 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 375 2853 0 0 0 0 157 1 18 0 1 0 2000498460 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 238 196 169 0 51 0 [pid=27279] ppid=27271 vsize=197436 CPUtime=6.26 /proc/27279/stat : 27279 (java) S 27271 27271 26736 0 -1 0 14035 0 1 0 607 19 0 0 18 0 10 0 2000498622 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27279/statm: 49359 9562 2544 9 0 43941 0 [pid=27289] ppid=27279 vsize=5356 CPUtime=0 /proc/27289/stat : 27289 (abscon) S 27279 27271 26736 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2000499266 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27289/statm: 1339 237 196 169 0 50 0 [pid=27290] ppid=27289 vsize=655936 CPUtime=4.61 /proc/27290/stat : 27290 (java) S 27289 27271 26736 0 -1 0 21254 0 1 0 444 17 0 0 18 0 9 0 2000499267 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/27290/statm: 163984 20564 2616 9 0 158512 0 [pid=27290/tid=27292] ppid=27289 vsize=655936 CPUtime=4.13 /proc/27290/task/27292/stat : 27292 (java) R 27289 27271 26736 0 -1 64 12575 0 1 0 401 12 0 0 25 0 9 0 2000499268 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4127069380 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27293] ppid=27289 vsize=655936 CPUtime=0.13 /proc/27290/task/27293/stat : 27293 (java) S 27289 27271 26736 0 -1 64 7394 0 0 0 10 3 0 0 16 0 9 0 2000499269 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27294] ppid=27289 vsize=655936 CPUtime=0 /proc/27290/task/27294/stat : 27294 (java) S 27289 27271 26736 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000499269 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27295] ppid=27289 vsize=655936 CPUtime=0 /proc/27290/task/27295/stat : 27295 (java) S 27289 27271 26736 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000499269 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27296] ppid=27289 vsize=655936 CPUtime=0 /proc/27290/task/27296/stat : 27296 (java) S 27289 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2000499271 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27297] ppid=27289 vsize=655936 CPUtime=0.33 /proc/27290/task/27297/stat : 27297 (java) S 27289 27271 26736 0 -1 64 740 0 0 0 32 1 0 0 15 0 9 0 2000499271 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27298] ppid=27289 vsize=655936 CPUtime=0 /proc/27290/task/27298/stat : 27298 (java) S 27289 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2000499271 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27299] ppid=27289 vsize=655936 CPUtime=0 /proc/27290/task/27299/stat : 27299 (java) S 27289 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000499271 671678464 20564 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27291] ppid=27289 vsize=7044 CPUtime=0 /proc/27291/stat : 27291 (translate) S 27289 27271 26736 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2000499267 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 233402237010 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/27291/statm: 1761 213 182 1 0 41 0 [pid=27279/tid=27280] ppid=27271 vsize=197436 CPUtime=4.92 /proc/27279/task/27280/stat : 27280 (java) S 27271 27271 26736 0 -1 64 3989 0 1 0 484 8 0 0 25 0 10 0 2000498623 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27279/tid=27281] ppid=27271 vsize=197436 CPUtime=1.08 /proc/27279/task/27281/stat : 27281 (java) S 27271 27271 26736 0 -1 64 8554 0 0 0 98 10 0 0 16 0 10 0 2000498624 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27282] ppid=27271 vsize=197436 CPUtime=0 /proc/27279/task/27282/stat : 27282 (java) S 27271 27271 26736 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000498624 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27283] ppid=27271 vsize=197436 CPUtime=0 /proc/27279/task/27283/stat : 27283 (java) S 27271 27271 26736 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000498624 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27284] ppid=27271 vsize=197436 CPUtime=0 /proc/27279/task/27284/stat : 27284 (java) S 27271 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000498626 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27285] ppid=27271 vsize=197436 CPUtime=0.24 /proc/27279/task/27285/stat : 27285 (java) S 27271 27271 26736 0 -1 64 667 0 0 0 24 0 0 0 16 0 10 0 2000498626 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27286] ppid=27271 vsize=197436 CPUtime=0 /proc/27279/task/27286/stat : 27286 (java) S 27271 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2000498626 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27287] ppid=27271 vsize=197436 CPUtime=0 /proc/27279/task/27287/stat : 27287 (java) S 27271 27271 26736 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 2000498626 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27288] ppid=27271 vsize=197436 CPUtime=0 /proc/27279/task/27288/stat : 27288 (java) S 27271 27271 26736 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000499266 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 871132 [startup+25.5035 s] /proc/loadavg: 2.06 2.02 2.00 3/102 27299 /proc/meminfo: memFree=1296296/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=1.58 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 375 2853 0 0 0 0 157 1 18 0 1 0 2000498460 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 238 196 169 0 51 0 [pid=27279] ppid=27271 vsize=197436 CPUtime=6.26 /proc/27279/stat : 27279 (java) S 27271 27271 26736 0 -1 0 14035 0 1 0 607 19 0 0 18 0 10 0 2000498622 202174464 9562 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27279/statm: 49359 9562 2544 9 0 43941 0 [pid=27289] ppid=27279 vsize=5356 CPUtime=0 /proc/27289/stat : 27289 (abscon) S 27279 27271 26736 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2000499266 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27289/statm: 1339 237 196 169 0 50 0 [pid=27290] ppid=27289 vsize=655936 CPUtime=17.41 /proc/27290/stat : 27290 (java) S 27289 27271 26736 0 -1 0 21892 0 1 0 1723 18 0 0 18 0 9 0 2000499267 671678464 21185 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/27290/statm: 163984 21185 2616 9 0 158512 0 [pid=27290/tid=27292] ppid=27289 vsize=655936 CPUtime=16.84 /proc/27290/task/27292/stat : 27292 (java) R 27289 27271 26736 0 -1 64 12592 0 1 0 1671 13 0 0 25 0 9 0 2000499268 671678464 21185 996147200 134512640 134550740 4294955808 18446744073709551615 4127138066 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27293] ppid=27289 vsize=655936 CPUtime=0.19 /proc/27290/task/27293/stat : 27293 (java) S 27289 27271 26736 0 -1 64 8002 0 0 0 16 3 0 0 16 0 9 0 2000499269 671678464 21185 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=27290/tid=27294] ppid=27289 vsize=655936 CPUtime=0 /proc/27290/task/27294/stat : 27294 (java) S 27289 27271 26736 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2000499269 671678464 21185 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=27279/tid=27284] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27284/stat : 27284 (java) S 27271 27271 26736 0 -1 64 1 25944 0 1 0 0 68511 31 18 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27285] ppid=27271 vsize=197760 CPUtime=685.66 /proc/27279/task/27285/stat : 27285 (java) S 27271 27271 26736 0 -1 64 699 25944 0 1 24 0 68511 31 16 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27279/tid=27286] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27286/stat : 27286 (java) S 27271 27271 26736 0 -1 64 0 25944 0 1 0 0 68511 31 19 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27287] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27287/stat : 27287 (java) S 27271 27271 26736 0 -1 64 38 25944 0 1 0 0 68511 31 15 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27344] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27344/stat : 27344 (java) S 27271 27271 26736 0 -1 64 45 25944 0 1 0 0 68511 31 17 0 10 0 2000567903 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 700.98 Current children cumulated vsize (KiB) 864228 Solver just ended. Dumping a history of the last processes samples [startup+703.102 s] /proc/loadavg: 2.00 2.01 2.00 3/102 27354 /proc/meminfo: memFree=1310232/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=1.58 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 375 2853 0 0 0 0 157 1 18 0 1 0 2000498460 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 238 196 169 0 51 0 [pid=27279] ppid=27271 vsize=197760 CPUtime=691.7 /proc/27279/stat : 27279 (java) S 27271 27271 26736 0 -1 0 14407 25944 1 1 608 20 68511 31 18 0 10 0 2000498622 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27279/statm: 49440 9568 2545 9 0 44022 0 [pid=27345] ppid=27279 vsize=5356 CPUtime=0 /proc/27345/stat : 27345 (choco) S 27279 27271 26736 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 2000567903 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27345/statm: 1339 238 197 169 0 50 0 [pid=27346] ppid=27345 vsize=655752 CPUtime=8.48 /proc/27346/stat : 27346 (java) S 27345 27271 26736 0 -1 0 17452 0 1 0 838 10 0 0 18 0 9 0 2000567904 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27346/statm: 163938 17018 1941 9 0 158467 0 [pid=27346/tid=27347] ppid=27345 vsize=655752 CPUtime=7.9 /proc/27346/task/27347/stat : 27347 (java) R 27345 27271 26736 0 -1 64 12229 0 1 0 783 7 0 0 25 0 9 0 2000567905 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4127264864 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27348] ppid=27345 vsize=655752 CPUtime=0.1 /proc/27346/task/27348/stat : 27348 (java) S 27345 27271 26736 0 -1 64 3936 0 0 0 9 1 0 0 16 0 9 0 2000567906 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27349] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27349/stat : 27349 (java) S 27345 27271 26736 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000567907 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27350] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27350/stat : 27350 (java) S 27345 27271 26736 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000567907 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27351] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27351/stat : 27351 (java) S 27345 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000567909 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27352] ppid=27345 vsize=655752 CPUtime=0.45 /proc/27346/task/27352/stat : 27352 (java) S 27345 27271 26736 0 -1 64 741 0 0 0 45 0 0 0 15 0 9 0 2000567909 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27353] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27353/stat : 27353 (java) S 27345 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000567909 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27354] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27354/stat : 27354 (java) S 27345 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000567909 671490048 17018 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27280] ppid=27271 vsize=197760 CPUtime=690.34 /proc/27279/task/27280/stat : 27280 (java) S 27271 27271 26736 0 -1 64 4150 25944 1 1 484 8 68511 31 16 0 10 0 2000498623 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27279/tid=27281] ppid=27271 vsize=197760 CPUtime=686.5 /proc/27279/task/27281/stat : 27281 (java) S 27271 27271 26736 0 -1 64 8605 25944 0 1 98 10 68511 31 16 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27282] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27282/stat : 27282 (java) S 27271 27271 26736 0 -1 64 11 25944 0 1 0 0 68511 31 16 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27283] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27283/stat : 27283 (java) S 27271 27271 26736 0 -1 64 6 25944 0 1 0 0 68511 31 15 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27284] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27284/stat : 27284 (java) S 27271 27271 26736 0 -1 64 1 25944 0 1 0 0 68511 31 18 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27285] ppid=27271 vsize=197760 CPUtime=685.66 /proc/27279/task/27285/stat : 27285 (java) S 27271 27271 26736 0 -1 64 699 25944 0 1 24 0 68511 31 16 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27279/tid=27286] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27286/stat : 27286 (java) S 27271 27271 26736 0 -1 64 0 25944 0 1 0 0 68511 31 19 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27287] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27287/stat : 27287 (java) S 27271 27271 26736 0 -1 64 38 25944 0 1 0 0 68511 31 15 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27344] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27344/stat : 27344 (java) S 27271 27271 26736 0 -1 64 45 25944 0 1 0 0 68511 31 17 0 10 0 2000567903 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 701.76 Current children cumulated vsize (KiB) 864228 [startup+703.902 s] /proc/loadavg: 2.00 2.01 2.00 3/102 27354 /proc/meminfo: memFree=1310232/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=1.58 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 375 2853 0 0 0 0 157 1 18 0 1 0 2000498460 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 238 196 169 0 51 0 [pid=27279] ppid=27271 vsize=197760 CPUtime=691.7 /proc/27279/stat : 27279 (java) S 27271 27271 26736 0 -1 0 14407 25944 1 1 608 20 68511 31 18 0 10 0 2000498622 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27279/statm: 49440 9568 2545 9 0 44022 0 [pid=27345] ppid=27279 vsize=5356 CPUtime=0 /proc/27345/stat : 27345 (choco) S 27279 27271 26736 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 2000567903 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27345/statm: 1339 238 197 169 0 50 0 [pid=27346] ppid=27345 vsize=655752 CPUtime=9.27 /proc/27346/stat : 27346 (java) S 27345 27271 26736 0 -1 0 17458 0 1 0 917 10 0 0 18 0 9 0 2000567904 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27346/statm: 163938 17022 1941 9 0 158467 0 [pid=27346/tid=27347] ppid=27345 vsize=655752 CPUtime=8.68 /proc/27346/task/27347/stat : 27347 (java) R 27345 27271 26736 0 -1 64 12232 0 1 0 861 7 0 0 25 0 9 0 2000567905 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4127321511 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27348] ppid=27345 vsize=655752 CPUtime=0.11 /proc/27346/task/27348/stat : 27348 (java) S 27345 27271 26736 0 -1 64 3936 0 0 0 10 1 0 0 16 0 9 0 2000567906 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27349] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27349/stat : 27349 (java) S 27345 27271 26736 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000567907 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27350] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27350/stat : 27350 (java) S 27345 27271 26736 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000567907 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27351] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27351/stat : 27351 (java) S 27345 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000567909 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27352] ppid=27345 vsize=655752 CPUtime=0.45 /proc/27346/task/27352/stat : 27352 (java) S 27345 27271 26736 0 -1 64 744 0 0 0 45 0 0 0 15 0 9 0 2000567909 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27353] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27353/stat : 27353 (java) S 27345 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000567909 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27354] ppid=27345 vsize=655752 CPUtime=0 /proc/27346/task/27354/stat : 27354 (java) S 27345 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000567909 671490048 17022 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27280] ppid=27271 vsize=197760 CPUtime=690.34 /proc/27279/task/27280/stat : 27280 (java) S 27271 27271 26736 0 -1 64 4150 25944 1 1 484 8 68511 31 16 0 10 0 2000498623 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27279/tid=27281] ppid=27271 vsize=197760 CPUtime=686.5 /proc/27279/task/27281/stat : 27281 (java) S 27271 27271 26736 0 -1 64 8605 25944 0 1 98 10 68511 31 16 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27282] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27282/stat : 27282 (java) S 27271 27271 26736 0 -1 64 11 25944 0 1 0 0 68511 31 16 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27283] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27283/stat : 27283 (java) S 27271 27271 26736 0 -1 64 6 25944 0 1 0 0 68511 31 15 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27284] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27284/stat : 27284 (java) S 27271 27271 26736 0 -1 64 1 25944 0 1 0 0 68511 31 18 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27285] ppid=27271 vsize=197760 CPUtime=685.66 /proc/27279/task/27285/stat : 27285 (java) S 27271 27271 26736 0 -1 64 699 25944 0 1 24 0 68511 31 16 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27279/tid=27286] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27286/stat : 27286 (java) S 27271 27271 26736 0 -1 64 0 25944 0 1 0 0 68511 31 19 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27287] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27287/stat : 27287 (java) S 27271 27271 26736 0 -1 64 38 25944 0 1 0 0 68511 31 15 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27344] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27344/stat : 27344 (java) S 27271 27271 26736 0 -1 64 45 25944 0 1 0 0 68511 31 17 0 10 0 2000567903 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 702.55 Current children cumulated vsize (KiB) 864228 [startup+704.103 s] /proc/loadavg: 2.00 2.01 2.00 3/102 27354 /proc/meminfo: memFree=1310232/2055920 swapFree=4111004/4192956 [pid=27271] ppid=27269 vsize=5360 CPUtime=1.58 /proc/27271/stat : 27271 (hydra) S 27269 27271 26736 0 -1 4194304 375 2853 0 0 0 0 157 1 18 0 1 0 2000498460 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27271/statm: 1340 238 196 169 0 51 0 [pid=27279] ppid=27271 vsize=197760 CPUtime=691.7 /proc/27279/stat : 27279 (java) S 27271 27271 26736 0 -1 0 14414 25944 1 1 608 20 68511 31 18 0 10 0 2000498622 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27279/statm: 49440 9568 2545 9 0 44022 0 [pid=27345] ppid=27279 vsize=5356 CPUtime=0 /proc/27345/stat : 27345 (choco) S 27279 27271 26736 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 2000567903 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 233402065732 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/27345/statm: 1339 238 197 169 0 50 0 [pid=27346] ppid=27345 vsize=656076 CPUtime=9.44 /proc/27346/stat : 27346 (java) S 27345 27271 26736 0 -1 0 17468 0 1 0 934 10 0 0 18 0 9 0 2000567904 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/27346/statm: 164019 17031 1942 9 0 158548 0 [pid=27346/tid=27347] ppid=27345 vsize=656076 CPUtime=8.85 /proc/27346/task/27347/stat : 27347 (java) S 27345 27271 26736 0 -1 64 12236 0 1 0 878 7 0 0 25 0 9 0 2000567905 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27348] ppid=27345 vsize=656076 CPUtime=0.11 /proc/27346/task/27348/stat : 27348 (java) S 27345 27271 26736 0 -1 64 3936 0 0 0 10 1 0 0 16 0 9 0 2000567906 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27349] ppid=27345 vsize=656076 CPUtime=0 /proc/27346/task/27349/stat : 27349 (java) S 27345 27271 26736 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000567907 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27350] ppid=27345 vsize=656076 CPUtime=0 /proc/27346/task/27350/stat : 27350 (java) S 27345 27271 26736 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000567907 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27351] ppid=27345 vsize=656076 CPUtime=0 /proc/27346/task/27351/stat : 27351 (java) S 27345 27271 26736 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000567909 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27352] ppid=27345 vsize=656076 CPUtime=0.45 /proc/27346/task/27352/stat : 27352 (java) S 27345 27271 26736 0 -1 64 744 0 0 0 45 0 0 0 15 0 9 0 2000567909 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27353] ppid=27345 vsize=656076 CPUtime=0 /proc/27346/task/27353/stat : 27353 (java) S 27345 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000567909 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27346/tid=27354] ppid=27345 vsize=656076 CPUtime=0 /proc/27346/task/27354/stat : 27354 (java) S 27345 27271 26736 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000567909 671821824 17031 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27280] ppid=27271 vsize=197760 CPUtime=690.34 /proc/27279/task/27280/stat : 27280 (java) S 27271 27271 26736 0 -1 64 4157 25944 1 1 484 8 68511 31 16 0 10 0 2000498623 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=27279/tid=27281] ppid=27271 vsize=197760 CPUtime=686.5 /proc/27279/task/27281/stat : 27281 (java) S 27271 27271 26736 0 -1 64 8605 25944 0 1 98 10 68511 31 16 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27282] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27282/stat : 27282 (java) S 27271 27271 26736 0 -1 64 11 25944 0 1 0 0 68511 31 16 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27283] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27283/stat : 27283 (java) S 27271 27271 26736 0 -1 64 6 25944 0 1 0 0 68511 31 15 0 10 0 2000498624 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27284] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27284/stat : 27284 (java) S 27271 27271 26736 0 -1 64 1 25944 0 1 0 0 68511 31 18 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27285] ppid=27271 vsize=197760 CPUtime=685.66 /proc/27279/task/27285/stat : 27285 (java) S 27271 27271 26736 0 -1 64 699 25944 0 1 24 0 68511 31 16 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=27279/tid=27286] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27286/stat : 27286 (java) S 27271 27271 26736 0 -1 64 0 25944 0 1 0 0 68511 31 19 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27287] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27287/stat : 27287 (java) S 27271 27271 26736 0 -1 64 38 25944 0 1 0 0 68511 31 15 0 10 0 2000498626 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=27279/tid=27344] ppid=27271 vsize=197760 CPUtime=685.42 /proc/27279/task/27344/stat : 27344 (java) S 27271 27271 26736 0 -1 64 45 25944 0 1 0 0 68511 31 17 0 10 0 2000567903 202506240 9568 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 702.72 Current children cumulated vsize (KiB) 864552 Child status: 0 Real time (s): 704.191 CPU time (s): 702.789 CPU user time (s): 702.121 CPU system time (s): 0.667898 CPU usage (%): 99.8009 Max. virtual memory (cumulated for all children) (KiB): 871132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 702.121 system time used= 0.667898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61495 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45630 involuntary context switches= 40660 runsolver used 2.16867 second user time and 7.72882 second system time The end
Begin job on node70 at 2008-07-05 01:48:16 IDJOB=1081075 IDBENCH=57062 IDSOLVER=366 FILE ID=node70/1081075-1215215296 PBS_JOBID= 7881772 Free space on /tmp= 66340 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-2.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081075-1215215296/watcher-1081075-1215215296 -o /tmp/evaluation-result-1081075-1215215296/solver-1081075-1215215296 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081075-1215215296.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 82e30b1cc0425fc71c427eb8ae1415f1 RANDOM SEED=1762520816 node70.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.256 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.256 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: 1400568 kB Buffers: 63764 kB Cached: 323208 kB SwapCached: 76584 kB Active: 405524 kB Inactive: 189052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1400568 kB SwapTotal: 4192956 kB SwapFree: 4111004 kB Dirty: 24556 kB Writeback: 0 kB Mapped: 223272 kB Slab: 45612 kB Committed_AS: 4983880 kB PageTables: 2136 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= 66316 MiB End job on node70 at 2008-07-05 02:00:00