Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 662.202 | 665.74 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 6399 |
CHECKS | 788057000 |
Name | csp/queensKnights/ normalized-queensKnights-80-5-add.xml |
MD5SUM | 4a9833fa42d0a0932d635fb3733fa969 |
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 | 11.3133 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 85 |
Number of constraints | 3170 |
Maximum constraint arity | 2 |
Maximum domain size | 6400 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3170 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.36/7.57 c CASE TO CLASSIFY: 7.36/7.57 c Case: 0 7.36/7.57 c 19 > 0.000000 | c 35 > 19.936900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.389500 | c 34 > 49.842300 | c 16 > 2.000000 | c 13 > 4.599580 | c 14 > 2.321930 | c 11 > 11.694800 | c 12 > 2.277290 | c 21 > 21.254800 | c 20 > 100.000000 | c 22 > 80.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 > 6.409390 | c 2 > -1.000000 | c 10 > 13.229000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.321930 | c 6 > 4.906890 | c 32 > -1.000000 | c 5 > 19.607100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.639300 | c 7.36/7.58 c choco : 1801.0 7.36/7.58 c mistral : 1801.0 7.36/7.58 c abscon : 1801.0 7.36/7.58 c 7.36/7.58 c 7.45/7.66 c List of same ones: 40 7.45/7.66 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-80-5-add.xml 7.45/7.66 c 19 > 0.000000 | c 35 > 19.936900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.103700 | c 34 > 49.842300 | c 16 > 2.000000 | c 13 > 4.599580 | c 14 > 2.000000 | c 11 > 11.694800 | c 12 > 2.277290 | c 21 > 21.254800 | c 20 > 100.000000 | c 22 > 80.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 > 6.409390 | c 2 > -1.000000 | c 10 > 13.229000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.321930 | c 6 > 4.906890 | c 32 > -1.000000 | c 5 > 19.607100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.639300 | c 7.45/7.67 c choco : 1801.0 7.45/7.67 c mistral : 1800.01 7.45/7.67 c abscon : 759.851 7.45/7.67 c 7.45/7.67 c 7.45/7.67 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-80-5-mul.xml 7.45/7.67 c 19 > 0.000000 | c 35 > 19.944000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.445400 | c 15 > 15.132600 | c 34 > 49.859900 | c 16 > 2.000000 | c 13 > 4.409830 | c 14 > 0.000000 | c 11 > 12.263000 | c 12 > 2.058250 | c 21 > 21.254800 | c 20 > 100.000000 | c 22 > 80.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 > 6.409390 | c 2 > -1.000000 | c 10 > 13.502000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.321930 | c 6 > 9.696970 | c 32 > -1.000000 | c 5 > 19.721600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.809800 | c 7.45/7.68 c choco : 1801.0 7.45/7.68 c mistral : 1800.04 7.45/7.68 c abscon : 738.167 7.45/7.68 c 7.45/7.68 c 7.45/7.68 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-100-5-add.xml 7.45/7.68 c 19 > 0.000000 | c 35 > 19.959700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.605100 | c 34 > 49.899200 | c 16 > 2.000000 | c 13 > 4.775320 | c 14 > 0.000000 | c 11 > 12.323300 | c 12 > 2.288610 | c 21 > 23.904600 | c 20 > 100.000000 | c 22 > 100.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 > 6.714250 | c 2 > -1.000000 | c 10 > 13.869900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 4.321930 | c 6 > 4.906890 | c 32 > -1.000000 | c 5 > 20.559400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.281900 | c 7.45/7.69 c choco : 1801.0 7.45/7.69 c mistral : 1800.04 7.45/7.69 c abscon : 1706.82 7.45/7.69 c 7.45/7.69 c 7.45/7.69 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-50-5-add.xml 7.45/7.69 c 19 > 0.404858 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.364372 | c 15 > 1.000000 | c 34 > 50.566800 | c 16 > 2.000000 | c 13 > 3.770340 | c 14 > -1.000000 | c 11 > 11.290600 | c 12 > 1.787060 | c 21 > 16.514500 | c 20 > 99.595100 | c 22 > 50.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 > 5.643860 | c 2 > -1.000000 | c 10 > 11.847800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.582700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 11.258600 | c 7.45/7.70 c choco : 1801.0 7.45/7.70 c mistral : 1800.02 7.45/7.70 c abscon : 17.3674 7.45/7.70 c 7.45/7.70 c 7.45/7.70 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-50-5-mul.xml 7.45/7.70 c 19 > 17.171700 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.505100 | c 15 > 7.977280 | c 34 > 50.471400 | c 16 > 2.000000 | c 13 > 3.859950 | c 14 > -1.000000 | c 11 > 11.290600 | c 12 > 1.868170 | c 21 > 16.514500 | c 20 > 82.828300 | c 22 > 50.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 > 5.643860 | c 2 > -1.000000 | c 10 > 11.942500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.582700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 11.258600 | c 7.54/7.71 c choco : 1801.0 7.54/7.71 c mistral : 1800.02 7.54/7.71 c abscon : 18.8371 7.54/7.71 c 7.54/7.71 c 7.54/7.71 c /home/eomahony/cpZilla/CSP/knights/knights-50-25.xml 7.54/7.71 c 19 > 8.333330 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.500000 | c 15 > 0.000000 | c 34 > 28.333300 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 4.643860 | c 12 > 4.584960 | c 21 > 50.000000 | c 20 > 91.666700 | c 22 > 50.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.931600 | c 31 > -1.000000 | c 4 > 4.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.72 c choco : 1801.0 7.54/7.72 c mistral : 1800.07 7.54/7.72 c abscon : 84.8321 7.54/7.72 c 7.54/7.72 c 7.54/7.72 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20/super-js-taillard-20-28.xml 7.54/7.72 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.429700 | c 15 > 20.715300 | c 34 > 46.120600 | c 16 > 2.000000 | c 13 > 4.320260 | c 14 > 5.426260 | c 11 > 9.643860 | c 12 > 5.928810 | c 21 > 38.749100 | c 20 > 100.000000 | c 22 > 39.382700 | 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 > 9.643860 | c 2 > -1.000000 | c 10 > 15.865000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.547100 | c 6 > 14.476700 | c 32 > -1.000000 | c 5 > 25.148500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.73 c choco : 42.0 7.54/7.73 c mistral : 1801.0 7.54/7.73 c abscon : 1801.0 7.54/7.73 c 7.54/7.73 c 7.54/7.73 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-3.xml 7.54/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.272700 | c 15 > 20.601800 | c 34 > 47.272700 | c 16 > 2.000000 | c 13 > 1.164390 | c 14 > 6.599910 | c 11 > 8.643860 | c 12 > 5.323190 | c 21 > 41.206800 | c 20 > 100.000000 | c 22 > 41.809100 | 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.643860 | c 10 > 14.270300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.962200 | c 6 > 12.891800 | c 32 > -1.000000 | c 5 > 23.763900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.73 c choco : 106.05 7.54/7.73 c mistral : 1800.02 7.54/7.73 c abscon : 1800.14 7.54/7.73 c 7.54/7.73 c 7.54/7.73 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-5.xml 7.54/7.73 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.272700 | c 15 > 20.193700 | c 34 > 47.272700 | c 16 > 2.000000 | c 13 > -1.461240 | c 14 > 6.599910 | c 11 > 8.643860 | c 12 > 5.318680 | c 21 > 41.382600 | c 20 > 100.000000 | c 22 > 41.988100 | 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.643860 | c 10 > 14.270300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.962200 | c 6 > 12.891800 | c 32 > -1.000000 | c 5 > 23.776100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.74 c choco : 145.34 7.54/7.74 c mistral : 1800.09 7.54/7.74 c abscon : 1800.11 7.54/7.74 c 7.54/7.74 c 7.54/7.74 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-1.xml 7.54/7.74 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.272700 | c 15 > 20.637400 | c 34 > 47.272700 | c 16 > 2.000000 | c 13 > 0.553308 | c 14 > 7.366320 | c 11 > 8.643860 | c 12 > 5.323370 | c 21 > 40.714200 | c 20 > 100.000000 | c 22 > 41.315900 | 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.643860 | c 10 > 14.270300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.962200 | c 6 > 12.891800 | c 32 > -1.000000 | c 5 > 23.729200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.54/7.75 c choco : 57.77 7.54/7.75 c mistral : 1800.05 7.54/7.75 c abscon : 1800.11 7.54/7.75 c 7.54/7.75 c 7.54/7.75 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-7.xml 7.54/7.75 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.272700 | c 15 > 20.188700 | c 34 > 47.272700 | c 16 > 2.000000 | c 13 > -1.736970 | c 14 > 5.781360 | c 11 > 8.643860 | c 12 > 5.318320 | c 21 > 40.810500 | c 20 > 100.000000 | c 22 > 41.412600 | 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.643860 | c 10 > 14.270300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.962200 | c 6 > 12.891800 | c 32 > -1.000000 | c 5 > 23.736100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.95 c choco : 234.31 7.72/7.95 c mistral : 1800.04 7.72/7.95 c abscon : 1800.11 7.72/7.95 c 7.72/7.95 c 7.72/7.95 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-27.xml 7.72/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.641100 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 4.317320 | c 14 > 5.554590 | c 11 > 9.228820 | c 12 > 5.928650 | c 21 > 37.002500 | c 20 > 100.000000 | c 22 > 37.682900 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.599400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.97 c choco : 33.84 7.72/7.97 c mistral : 1801.0 7.72/7.97 c abscon : 1801.0 7.72/7.97 c 7.72/7.97 c 7.72/7.97 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-9.xml 7.72/7.97 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.272700 | c 15 > 20.703300 | c 34 > 47.272700 | c 16 > 2.000000 | c 13 > 5.926110 | c 14 > 9.226410 | c 11 > 8.643860 | c 12 > 5.519560 | c 21 > 40.594000 | c 20 > 100.000000 | c 22 > 41.194700 | 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.643860 | c 10 > 14.270300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.962200 | c 6 > 12.891800 | c 32 > -1.000000 | c 5 > 23.720700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.97 c choco : 624.5 7.72/7.97 c mistral : 1800.09 7.72/7.97 c abscon : 1800.19 7.72/7.97 c 7.72/7.97 c 7.72/7.97 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-7.xml 7.72/7.97 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.316300 | c 15 > 20.567400 | c 34 > 47.316300 | c 16 > 2.000000 | c 13 > 3.115990 | c 14 > 6.741470 | c 11 > 12.550700 | c 12 > 2.002760 | c 21 > 38.148000 | c 20 > 100.000000 | c 22 > 38.781400 | 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.125400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.98 c choco : 97.75 7.72/7.98 c mistral : 1800.08 7.72/7.98 c abscon : 1800.09 7.72/7.98 c 7.72/7.98 c 7.72/7.98 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-95-3.xml 7.72/7.98 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.272700 | c 15 > 20.755200 | c 34 > 47.272700 | c 16 > 2.000000 | c 13 > 0.679451 | c 14 > 6.169930 | c 11 > 8.643860 | c 12 > 5.322290 | c 21 > 39.140800 | c 20 > 100.000000 | c 22 > 39.774400 | 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.643860 | c 10 > 14.270300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.962200 | c 6 > 12.891800 | c 32 > -1.000000 | c 5 > 23.615700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.72/7.99 c choco : 448.15 7.72/7.99 c mistral : 1800.07 7.72/7.99 c abscon : 1800.16 7.72/7.99 c 7.72/7.99 c 7.72/7.99 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-28.xml 7.72/7.99 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.738100 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 4.318660 | c 14 > 5.459430 | c 11 > 9.228820 | c 12 > 5.928690 | c 21 > 36.211500 | c 20 > 100.000000 | c 22 > 36.878200 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.537100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.00 c choco : 34.79 7.81/8.00 c mistral : 1801.0 7.81/8.00 c abscon : 1801.0 7.81/8.00 c 7.81/8.00 c 7.81/8.00 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-9.xml 7.81/8.00 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.316300 | c 15 > 20.525300 | c 34 > 47.316300 | c 16 > 2.000000 | c 13 > 3.101080 | c 14 > 6.643860 | c 11 > 12.550700 | c 12 > 1.992160 | c 21 > 37.450700 | c 20 > 100.000000 | c 22 > 38.105100 | 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.072300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.01 c choco : 45.33 7.81/8.01 c mistral : 1800.04 7.81/8.01 c abscon : 1800.13 7.81/8.01 c 7.81/8.01 c 7.81/8.01 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-29.xml 7.81/8.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.686100 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.937190 | c 14 > 5.930740 | c 11 > 8.813780 | c 12 > 5.529470 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.560900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.01 c choco : 339.04 7.81/8.01 c mistral : 1801.0 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/taillard/js-taillard-20-15/js-taillard-20-15-105-5.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.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.02 c choco : 917.89 7.81/8.02 c mistral : 1800.02 7.81/8.02 c abscon : 1800.13 7.81/8.02 c 7.81/8.02 c 7.81/8.02 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-95-7.xml 7.81/8.02 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.272700 | c 15 > 20.747700 | c 34 > 47.272700 | c 16 > 2.000000 | c 13 > 5.488440 | c 14 > 8.717680 | c 11 > 8.643860 | c 12 > 5.429780 | c 21 > 38.749100 | c 20 > 100.000000 | c 22 > 39.382700 | 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.643860 | c 10 > 14.270300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.962200 | c 6 > 12.891800 | c 32 > -1.000000 | c 5 > 23.586700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.03 c choco : 5.74 7.81/8.03 c mistral : 1800.09 7.81/8.03 c abscon : 1800.07 7.81/8.03 c 7.81/8.03 c 7.81/8.03 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-1.xml 7.81/8.03 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.04 c choco : 62.82 7.81/8.04 c mistral : 1800.06 7.81/8.04 c abscon : 1800.1 7.81/8.04 c 7.81/8.04 c 7.81/8.04 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-9.xml 7.81/8.04 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.81/8.04 c choco : 36.21 7.81/8.04 c mistral : 8.59169 7.81/8.04 c abscon : 1800.13 7.81/8.04 c 7.81/8.04 c 7.81/8.04 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-add.xml 7.81/8.04 c 19 > 1.612900 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 1.451610 | c 15 > 15.710600 | c 34 > 52.258100 | c 16 > 2.000000 | c 13 > 3.661280 | c 14 > 5.954200 | c 11 > 9.299210 | c 12 > 2.048410 | c 21 > 11.180300 | c 20 > 98.387100 | c 22 > 25.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 > 4.643860 | c 2 > -1.000000 | c 10 > 9.831310 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.646700 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 9.228820 | c 7.81/8.05 c choco : 1801.0 7.81/8.05 c mistral : 247.833 7.81/8.05 c abscon : 1.76173 7.81/8.05 c 7.81/8.05 c 7.81/8.05 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-3.xml 7.81/8.05 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.05 c choco : 83.58 7.81/8.05 c mistral : 1800.03 7.81/8.05 c abscon : 1800.09 7.81/8.05 c 7.81/8.05 c 7.81/8.05 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-1.xml 7.81/8.05 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.81/8.06 c choco : 24.34 7.81/8.06 c mistral : 2.62 7.81/8.06 c abscon : 1800.1 7.81/8.06 c 7.81/8.06 c 7.81/8.06 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-22.xml 7.81/8.06 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.698900 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.938780 | c 14 > 6.129280 | c 11 > 8.813780 | c 12 > 5.522660 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.532600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.06 c choco : 153.97 7.81/8.06 c mistral : 1801.0 7.81/8.06 c abscon : 1801.0 7.81/8.06 c 7.81/8.06 c 7.81/8.07 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-5.xml 7.81/8.07 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.81/8.07 c choco : 60.7 7.81/8.07 c mistral : 1800.02 7.81/8.07 c abscon : 1800.08 7.81/8.07 c 7.81/8.07 c 7.81/8.07 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-21.xml 7.81/8.07 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.626600 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.906370 | c 14 > 5.554590 | c 11 > 8.813780 | c 12 > 5.525860 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.511900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.08 c choco : 26.3 7.81/8.08 c mistral : 1801.0 7.81/8.08 c abscon : 1801.0 7.81/8.08 c 7.81/8.08 c 7.81/8.08 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-24.xml 7.81/8.08 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.642200 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 4.318020 | c 14 > 5.930740 | c 11 > 9.228820 | c 12 > 5.928010 | c 21 > 35.232100 | c 20 > 100.000000 | c 22 > 35.888700 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.458100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.08 c choco : 32.64 7.81/8.08 c mistral : 1801.0 7.81/8.08 c abscon : 1801.0 7.81/8.08 c 7.81/8.08 c 7.81/8.08 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-22.xml 7.81/8.08 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.637600 | c 34 > 46.161000 | c 16 > 2.000000 | c 13 > 5.384260 | c 14 > 8.654640 | c 11 > 9.228820 | c 12 > 5.979110 | c 21 > 35.512500 | c 20 > 100.000000 | c 22 > 36.221500 | 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 > 9.228820 | c 2 > -1.000000 | c 10 > 15.449000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.130900 | c 6 > 14.061700 | c 32 > -1.000000 | c 5 > 24.481000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.09 c choco : 34.97 7.81/8.09 c mistral : 1801.0 7.81/8.09 c abscon : 1801.0 7.81/8.09 c 7.81/8.09 c 7.81/8.09 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-23.xml 7.81/8.09 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.734800 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.933570 | c 14 > 5.672430 | c 11 > 8.813780 | c 12 > 5.527950 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.496700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.81/8.09 c choco : 102.83 7.81/8.09 c mistral : 1801.0 7.81/8.09 c abscon : 1801.0 7.81/8.09 c 7.81/8.09 c 7.81/8.09 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-7.xml 7.81/8.09 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.87/8.10 c choco : 93.42 7.87/8.10 c mistral : 1800.05 7.87/8.10 c abscon : 1800.14 7.87/8.10 c 7.87/8.10 c 7.87/8.10 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-28.xml 7.87/8.10 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.679300 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.908040 | c 14 > 5.169930 | c 11 > 8.813780 | c 12 > 5.521330 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.481300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.87/8.11 c choco : 199.72 7.87/8.11 c mistral : 1801.0 7.87/8.11 c abscon : 1801.0 7.87/8.11 c 7.87/8.11 c 7.87/8.11 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-9.xml 7.87/8.11 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.87/8.12 c choco : 1065.61 7.87/8.12 c mistral : 1800.03 7.87/8.12 c abscon : 1800.14 7.87/8.12 c 7.87/8.12 c 7.87/8.12 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-1.xml 7.87/8.12 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.87/8.12 c choco : 860.71 7.87/8.12 c mistral : 1800.03 7.87/8.12 c abscon : 1800.1 7.87/8.12 c 7.87/8.12 c 7.87/8.12 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-25.xml 7.87/8.12 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.687000 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.902660 | c 14 > 9.189820 | c 11 > 8.813780 | c 12 > 5.520350 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.500200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.87/8.13 c choco : 933.36 7.87/8.13 c mistral : 1801.0 7.87/8.13 c abscon : 1801.0 7.87/8.13 c 7.87/8.13 c 7.87/8.13 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-3.xml 7.87/8.13 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.87/8.13 c choco : 39.45 7.87/8.13 c mistral : 1146.73 7.87/8.13 c abscon : 1800.07 7.87/8.13 c 7.87/8.13 c 7.87/8.13 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-24.xml 7.87/8.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.403200 | c 15 > 20.676300 | c 34 > 45.000000 | c 16 > 2.000000 | c 13 > 3.914280 | c 14 > 5.906890 | c 11 > 8.813780 | c 12 > 5.526000 | 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 > 8.813780 | c 2 > -1.000000 | c 10 > 14.616000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 13.206100 | c 32 > -1.000000 | c 5 > 23.433900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.87/8.14 c choco : 128.09 7.87/8.14 c mistral : 1801.0 7.87/8.14 c abscon : 1801.0 7.87/8.14 c 7.87/8.14 c 7.87/8.14 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-8.xml 7.87/8.14 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.87/8.14 c choco : 42.84 7.87/8.14 c mistral : 20.7328 7.87/8.14 c abscon : 1800.11 7.87/8.14 c 7.87/8.14 c 7.87/8.15 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-9.xml 7.87/8.15 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.87/8.15 c choco : 31.0 7.87/8.15 c mistral : 1800.05 7.87/8.15 c abscon : 1800.13 7.87/8.15 c 7.87/8.15 c 7.87/8.15 c Length: 40 7.87/8.16 c 0.43048875118869373 14.533365356840102 20.378453503504627 35.428392610345 45.806522543273246 55.898312081258766 56.07539857380596 56.25099945550123 56.385425985366105 56.519086867206056 56.54563620258065 56.611417244360695 56.64341591191778 56.927322726192735 56.9712982787205 56.99936383836841 57.20430939398971 57.20501006301896 57.22161817596913 57.23134441823379 57.24109717360859 57.282892524333995 57.31596168343335 57.3568752841488 57.4079331663839 57.42433957207432 57.46038250486503 57.501815042084544 57.51942371990874 57.57887579617372 57.639458946846474 57.671115490442006 57.697507472357074 57.756257556448375 57.81408852508358 57.920907269151094 58.02812224943351 58.07351013874742 58.08387471273245 58.2469811290465 7.87/8.16 c 7.87/8.16 c 1.0 0.8039071142450495 0.7434822348348159 0.6229259115171699 0.5602779050359021 0.5103662587054113 0.509569697329333 0.5087822699446852 0.5081811187133201 0.507584798248913 0.5074665164523905 0.5071736881071028 0.5070313662194259 0.5057721109382306 0.5055776186962745 0.5054535703225302 0.5045495631680001 0.5045464780896747 0.5044733628398778 0.5044305540484798 0.5043876358575557 0.5042037929947584 0.5040584284806982 0.5038786975424834 0.5036545830995204 0.5035826108260479 0.5034245684634803 0.5032430160812367 0.5031658966244619 0.5029056931831133 0.5026408160793605 0.5025025206741808 0.5023872822937102 0.5021309446573127 0.501878872646181 0.5014139389276937 0.5009481459827887 0.500751219993233 0.5007062725736777 0.5 7.87/8.17 c 7.87/8.17 c solver 0 7.87/8.17 c before 0.0 seconds: {} 0 7.87/8.17 c before 18.0 seconds: {3, 22} 1126 7.87/8.17 c before 36.0 seconds: {3, 4, 22} 1687 7.87/8.17 c before 90.0 seconds: {3, 4, 5, 22} 2197 7.87/8.17 c before 756.0 seconds: {1, 3, 4, 5, 22} 3001 7.87/8.17 c before 774.0 seconds: {0, 1, 3, 4, 5, 22} 4001 7.87/8.17 c before 1710.0 seconds: {0, 1, 2, 3, 4, 5, 22} 4745 7.87/8.17 c 7.87/8.17 c solver 1 7.87/8.17 c before 0.0 seconds: {} 0 7.87/8.17 c before 18.0 seconds: {21, 24} 1007 7.87/8.17 c before 36.0 seconds: {21, 24, 38} 1508 7.87/8.17 c before 252.0 seconds: {21, 22, 24, 38} 2012 7.87/8.17 c before 1152.0 seconds: {21, 22, 24, 36, 38} 2513 7.87/8.17 c 7.87/8.17 c solver 2 7.87/8.17 c before 0.0 seconds: {} 0 7.87/8.17 c before 18.0 seconds: {19} 504 7.87/8.17 c before 36.0 seconds: {11, 15, 19, 24, 27, 28, 29, 39} 4030 7.87/8.17 c before 54.0 seconds: {6, 11, 15, 16, 19, 21, 24, 27, 28, 29, 36, 38, 39} 6550 7.87/8.17 c before 72.0 seconds: {6, 9, 11, 15, 16, 19, 20, 21, 24, 26, 27, 28, 29, 36, 38, 39} 8065 7.87/8.17 c before 90.0 seconds: {6, 9, 11, 15, 16, 19, 20, 21, 23, 24, 26, 27, 28, 29, 36, 38, 39} 8569 7.87/8.17 c before 108.0 seconds: {6, 7, 9, 11, 13, 15, 16, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 36, 38, 39} 10588 7.87/8.17 c before 144.0 seconds: {6, 7, 9, 11, 13, 15, 16, 19, 20, 21, 23, 24, 26, 27, 28, 29, 30, 31, 36, 37, 38, 39} 11089 7.87/8.17 c before 162.0 seconds: {6, 7, 8, 9, 11, 13, 15, 16, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 36, 37, 38, 39} 12101 7.87/8.17 c before 216.0 seconds: {6, 7, 8, 9, 11, 13, 15, 16, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 36, 37, 38, 39} 12603 7.87/8.17 c before 252.0 seconds: {6, 7, 8, 9, 10, 11, 13, 15, 16, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 36, 37, 38, 39} 13111 7.87/8.17 c before 342.0 seconds: {6, 7, 8, 9, 10, 11, 13, 15, 16, 17, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 36, 37, 38, 39} 13615 7.87/8.17 c before 450.0 seconds: {6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 36, 37, 38, 39} 14121 7.87/8.17 c before 630.0 seconds: {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 36, 37, 38, 39} 14628 7.87/8.17 c before 864.0 seconds: {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 36, 37, 38, 39} 15130 7.87/8.17 c before 918.0 seconds: {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 36, 37, 38, 39} 15634 7.87/8.17 c before 936.0 seconds: {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 16136 7.87/8.17 c before 1080.0 seconds: {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 16638 7.87/8.17 c 7.87/8.17 cTotal time: 219 7.87/8.18 c run abscon for 774.0 seconds {0, 1, 3, 4, 5, 22} 4001 7.87/8.18 c run mistral for 36.0 seconds {21, 24, 38} 1508 7.87/8.18 c run choco for 936.0 seconds {6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 37, 38, 39} 16136 7.87/8.18 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.87/8.18 c On Instance: HOME/instance-1081457-1215217051.xml 7.87/8.18 c Running for: 774 seconds 662.07/665.69 s UNSATISFIABLE 662.07/665.69 d ASSIGNMENTS 6399 662.07/665.69 d CHECKS 788057162
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-1081457-1215217051/watcher-1081457-1215217051 -o /tmp/evaluation-result-1081457-1215217051/solver-1081457-1215217051 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081457-1215217051.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/81 26217 /proc/meminfo: memFree=1688424/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=18572 CPUtime=0 /proc/26217/stat : 26217 (runsolver) R 26215 26217 23855 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2000677972 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 264840473895 0 0 4096 24578 0 0 0 17 1 0 0 /proc/26217/statm: 4643 292 257 25 0 2626 0 [startup+0.0585049 s] /proc/loadavg: 2.00 2.00 2.00 4/81 26217 /proc/meminfo: memFree=1688424/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=0 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000677972 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101509 s] /proc/loadavg: 2.00 2.00 2.00 4/81 26217 /proc/meminfo: memFree=1688424/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=0 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000677972 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301528 s] /proc/loadavg: 2.00 2.00 2.00 4/81 26217 /proc/meminfo: memFree=1688424/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=0 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000677972 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701574 s] /proc/loadavg: 2.00 2.00 2.00 4/81 26217 /proc/meminfo: memFree=1688424/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=0 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000677972 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/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.00 2.00 2.00 3/83 26221 /proc/meminfo: memFree=1669208/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=0 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2000677972 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 236 195 169 0 51 0 [pid=26221] ppid=26217 vsize=23804 CPUtime=1.47 /proc/26221/stat : 26221 (xsolve) R 26217 26217 23855 0 -1 4194304 5344 0 0 0 145 2 0 0 25 0 1 0 2000677974 24375296 5205 996147200 134512640 135239763 4294956176 18446744073709551615 135095920 0 0 4096 0 0 0 0 17 1 0 0 /proc/26221/statm: 5951 5205 440 177 0 4854 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 29164 [startup+3.10282 s] /proc/loadavg: 2.00 2.00 2.00 4/91 26233 /proc/meminfo: memFree=1681880/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=1.78 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 375 5960 0 0 0 0 175 3 18 0 1 0 2000677972 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 238 196 169 0 51 0 [pid=26225] ppid=26217 vsize=197004 CPUtime=1.24 /proc/26225/stat : 26225 (java) S 26217 26217 23855 0 -1 0 4741 0 1 0 118 6 0 0 18 0 9 0 2000678154 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26225/statm: 49251 3994 1678 9 0 43833 0 [pid=26225/tid=26226] ppid=26217 vsize=197004 CPUtime=0.98 /proc/26225/task/26226/stat : 26226 (java) R 26217 26217 23855 0 -1 64 2674 0 1 0 95 3 0 0 25 0 9 0 2000678155 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4126487287 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26227] ppid=26217 vsize=197004 CPUtime=0.09 /proc/26225/task/26227/stat : 26227 (java) S 26217 26217 23855 0 -1 64 738 0 0 0 8 1 0 0 16 0 9 0 2000678156 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26228] ppid=26217 vsize=197004 CPUtime=0 /proc/26225/task/26228/stat : 26228 (java) S 26217 26217 23855 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000678156 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26229] ppid=26217 vsize=197004 CPUtime=0 /proc/26225/task/26229/stat : 26229 (java) S 26217 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000678156 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26230] ppid=26217 vsize=197004 CPUtime=0 /proc/26225/task/26230/stat : 26230 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000678159 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26231] ppid=26217 vsize=197004 CPUtime=0.13 /proc/26225/task/26231/stat : 26231 (java) S 26217 26217 23855 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 2000678159 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26232] ppid=26217 vsize=197004 CPUtime=0 /proc/26225/task/26232/stat : 26232 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000678159 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26233] ppid=26217 vsize=197004 CPUtime=0 /proc/26225/task/26233/stat : 26233 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000678159 201732096 3994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 202364 [startup+6.30115 s] /proc/loadavg: 2.00 2.00 2.00 3/91 26233 /proc/meminfo: memFree=1669400/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=1.78 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 375 5960 0 0 0 0 175 3 18 0 1 0 2000677972 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 238 196 169 0 51 0 [pid=26225] ppid=26217 vsize=197112 CPUtime=4.39 /proc/26225/stat : 26225 (java) S 26217 26217 23855 0 -1 0 9709 0 1 0 425 14 0 0 18 0 9 0 2000678154 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26225/statm: 49278 8047 2541 9 0 43860 0 [pid=26225/tid=26226] ppid=26217 vsize=197112 CPUtime=3.48 /proc/26225/task/26226/stat : 26226 (java) R 26217 26217 23855 0 -1 64 3505 0 1 0 344 4 0 0 25 0 9 0 2000678155 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4126439919 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26227] ppid=26217 vsize=197112 CPUtime=0.72 /proc/26225/task/26227/stat : 26227 (java) S 26217 26217 23855 0 -1 64 4850 0 0 0 64 8 0 0 16 0 9 0 2000678156 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26228] ppid=26217 vsize=197112 CPUtime=0 /proc/26225/task/26228/stat : 26228 (java) S 26217 26217 23855 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000678156 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26229] ppid=26217 vsize=197112 CPUtime=0 /proc/26225/task/26229/stat : 26229 (java) S 26217 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000678156 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26230] ppid=26217 vsize=197112 CPUtime=0 /proc/26225/task/26230/stat : 26230 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000678159 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26231] ppid=26217 vsize=197112 CPUtime=0.16 /proc/26225/task/26231/stat : 26231 (java) S 26217 26217 23855 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 2000678159 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26232] ppid=26217 vsize=197112 CPUtime=0 /proc/26225/task/26232/stat : 26232 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000678159 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26233] ppid=26217 vsize=197112 CPUtime=0 /proc/26225/task/26233/stat : 26233 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000678159 201842688 8047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 202472 [startup+12.7038 s] /proc/loadavg: 2.00 2.00 2.00 4/103 26245 /proc/meminfo: memFree=1602800/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=1.78 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 375 5960 0 0 0 0 175 3 18 0 1 0 2000677972 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 238 196 169 0 51 0 [pid=26225] ppid=26217 vsize=197436 CPUtime=6.14 /proc/26225/stat : 26225 (java) S 26217 26217 23855 0 -1 0 13973 0 1 0 594 20 0 0 18 0 10 0 2000678154 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26225/statm: 49359 9485 2544 9 0 43941 0 [pid=26235] ppid=26225 vsize=5356 CPUtime=0 /proc/26235/stat : 26235 (abscon) S 26225 26217 23855 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2000678791 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26235/statm: 1339 237 196 169 0 50 0 [pid=26236] ppid=26235 vsize=655944 CPUtime=4.48 /proc/26236/stat : 26236 (java) S 26235 26217 23855 0 -1 0 17316 0 1 0 425 23 0 0 18 0 9 0 2000678792 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26236/statm: 163986 16630 2616 9 0 158514 0 [pid=26236/tid=26238] ppid=26235 vsize=655944 CPUtime=4.08 /proc/26236/task/26238/stat : 26238 (java) R 26235 26217 23855 0 -1 64 12562 0 1 0 387 21 0 0 25 0 9 0 2000678792 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4126869974 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26239] ppid=26235 vsize=655944 CPUtime=0.11 /proc/26236/task/26239/stat : 26239 (java) S 26235 26217 23855 0 -1 64 3486 0 0 0 11 0 0 0 16 0 9 0 2000678793 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26240] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26240/stat : 26240 (java) S 26235 26217 23855 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2000678794 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26241] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26241/stat : 26241 (java) S 26235 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000678794 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26242] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26242/stat : 26242 (java) S 26235 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000678796 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26243] ppid=26235 vsize=655944 CPUtime=0.26 /proc/26236/task/26243/stat : 26243 (java) S 26235 26217 23855 0 -1 64 723 0 0 0 26 0 0 0 15 0 9 0 2000678796 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26244] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26244/stat : 26244 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2000678796 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26245] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26245/stat : 26245 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000678796 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26237] ppid=26235 vsize=7044 CPUtime=0 /proc/26237/stat : 26237 (translate) S 26235 26217 23855 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2000678792 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26237/statm: 1761 213 182 1 0 41 0 [pid=26225/tid=26226] ppid=26217 vsize=197436 CPUtime=4.77 /proc/26225/task/26226/stat : 26226 (java) S 26217 26217 23855 0 -1 64 3906 0 1 0 470 7 0 0 25 0 10 0 2000678155 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26225/tid=26227] ppid=26217 vsize=197436 CPUtime=1.1 /proc/26225/task/26227/stat : 26227 (java) S 26217 26217 23855 0 -1 64 8571 0 0 0 99 11 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26228] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26228/stat : 26228 (java) S 26217 26217 23855 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26229] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26229/stat : 26229 (java) S 26217 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26230] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26230/stat : 26230 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26231] ppid=26217 vsize=197436 CPUtime=0.23 /proc/26225/task/26231/stat : 26231 (java) S 26217 26217 23855 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26232] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26232/stat : 26232 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26233] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26233/stat : 26233 (java) S 26217 26217 23855 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26225/tid=26234] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26234/stat : 26234 (java) S 26217 26217 23855 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000678791 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.4 Current children cumulated vsize (KiB) 871140 [startup+25.5021 s] /proc/loadavg: 2.00 2.00 2.00 4/103 26245 /proc/meminfo: memFree=1602608/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=1.78 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 375 5960 0 0 0 0 175 3 18 0 1 0 2000677972 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 238 196 169 0 51 0 [pid=26225] ppid=26217 vsize=197436 CPUtime=6.14 /proc/26225/stat : 26225 (java) S 26217 26217 23855 0 -1 0 13973 0 1 0 594 20 0 0 18 0 10 0 2000678154 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26225/statm: 49359 9485 2544 9 0 43941 0 [pid=26235] ppid=26225 vsize=5356 CPUtime=0 /proc/26235/stat : 26235 (abscon) S 26225 26217 23855 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2000678791 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26235/statm: 1339 237 196 169 0 50 0 [pid=26236] ppid=26235 vsize=655944 CPUtime=17.21 /proc/26236/stat : 26236 (java) S 26235 26217 23855 0 -1 0 17316 0 1 0 1698 23 0 0 18 0 9 0 2000678792 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26236/statm: 163986 16630 2616 9 0 158514 0 [pid=26236/tid=26238] ppid=26235 vsize=655944 CPUtime=16.81 /proc/26236/task/26238/stat : 26238 (java) R 26235 26217 23855 0 -1 64 12562 0 1 0 1660 21 0 0 25 0 9 0 2000678792 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4127067294 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26239] ppid=26235 vsize=655944 CPUtime=0.11 /proc/26236/task/26239/stat : 26239 (java) S 26235 26217 23855 0 -1 64 3486 0 0 0 11 0 0 0 16 0 9 0 2000678793 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26240] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26240/stat : 26240 (java) S 26235 26217 23855 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2000678794 671686656 16630 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/26236/task/26241/stat : 26241 (java) S 26235 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000678794 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26242] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26242/stat : 26242 (java) S 26235 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26243] ppid=26235 vsize=655944 CPUtime=0.33 /proc/26236/task/26243/stat : 26243 (java) S 26235 26217 23855 0 -1 64 765 0 0 0 32 1 0 0 16 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26244] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26244/stat : 26244 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26245] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26245/stat : 26245 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26237] ppid=26235 vsize=7044 CPUtime=0 /proc/26237/stat : 26237 (translate) S 26235 26217 23855 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2000678792 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26237/statm: 1761 213 182 1 0 41 0 [pid=26225/tid=26226] ppid=26217 vsize=197436 CPUtime=4.77 /proc/26225/task/26226/stat : 26226 (java) S 26217 26217 23855 0 -1 64 3906 0 1 0 470 7 0 0 25 0 10 0 2000678155 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26225/tid=26227] ppid=26217 vsize=197436 CPUtime=1.1 /proc/26225/task/26227/stat : 26227 (java) S 26217 26217 23855 0 -1 64 8571 0 0 0 99 11 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26228] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26228/stat : 26228 (java) S 26217 26217 23855 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26229] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26229/stat : 26229 (java) S 26217 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26230] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26230/stat : 26230 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26231] ppid=26217 vsize=197436 CPUtime=0.23 /proc/26225/task/26231/stat : 26231 (java) S 26217 26217 23855 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26232] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26232/stat : 26232 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26233] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26233/stat : 26233 (java) S 26217 26217 23855 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26225/tid=26234] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26234/stat : 26234 (java) S 26217 26217 23855 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000678791 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 660.38 Current children cumulated vsize (KiB) 871140 [startup+664.703 s] /proc/loadavg: 2.00 2.00 2.00 4/103 26245 /proc/meminfo: memFree=1601904/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=1.78 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 375 5960 0 0 0 0 175 3 18 0 1 0 2000677972 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 238 196 169 0 51 0 [pid=26225] ppid=26217 vsize=197436 CPUtime=6.14 /proc/26225/stat : 26225 (java) S 26217 26217 23855 0 -1 0 13973 0 1 0 594 20 0 0 18 0 10 0 2000678154 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26225/statm: 49359 9485 2544 9 0 43941 0 [pid=26235] ppid=26225 vsize=5356 CPUtime=0 /proc/26235/stat : 26235 (abscon) S 26225 26217 23855 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2000678791 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26235/statm: 1339 237 196 169 0 50 0 [pid=26236] ppid=26235 vsize=655944 CPUtime=653.25 /proc/26236/stat : 26236 (java) S 26235 26217 23855 0 -1 0 17372 0 1 0 65300 25 0 0 18 0 9 0 2000678792 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26236/statm: 163986 16662 2616 9 0 158514 0 [pid=26236/tid=26238] ppid=26235 vsize=655944 CPUtime=652.78 /proc/26236/task/26238/stat : 26238 (java) R 26235 26217 23855 0 -1 64 12576 0 1 0 65256 22 0 0 25 0 9 0 2000678792 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4127147432 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26239] ppid=26235 vsize=655944 CPUtime=0.11 /proc/26236/task/26239/stat : 26239 (java) S 26235 26217 23855 0 -1 64 3486 0 0 0 11 0 0 0 16 0 9 0 2000678793 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26240] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26240/stat : 26240 (java) S 26235 26217 23855 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2000678794 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26241] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26241/stat : 26241 (java) S 26235 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000678794 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26242] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26242/stat : 26242 (java) S 26235 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26243] ppid=26235 vsize=655944 CPUtime=0.33 /proc/26236/task/26243/stat : 26243 (java) S 26235 26217 23855 0 -1 64 765 0 0 0 32 1 0 0 16 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26244] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26244/stat : 26244 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26245] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26245/stat : 26245 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26237] ppid=26235 vsize=7044 CPUtime=0 /proc/26237/stat : 26237 (translate) S 26235 26217 23855 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2000678792 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26237/statm: 1761 213 182 1 0 41 0 [pid=26225/tid=26226] ppid=26217 vsize=197436 CPUtime=4.77 /proc/26225/task/26226/stat : 26226 (java) S 26217 26217 23855 0 -1 64 3906 0 1 0 470 7 0 0 25 0 10 0 2000678155 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26225/tid=26227] ppid=26217 vsize=197436 CPUtime=1.1 /proc/26225/task/26227/stat : 26227 (java) S 26217 26217 23855 0 -1 64 8571 0 0 0 99 11 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26228] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26228/stat : 26228 (java) S 26217 26217 23855 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26229] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26229/stat : 26229 (java) S 26217 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26230] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26230/stat : 26230 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26231] ppid=26217 vsize=197436 CPUtime=0.23 /proc/26225/task/26231/stat : 26231 (java) S 26217 26217 23855 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26232] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26232/stat : 26232 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26233] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26233/stat : 26233 (java) S 26217 26217 23855 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26225/tid=26234] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26234/stat : 26234 (java) S 26217 26217 23855 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000678791 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 661.17 Current children cumulated vsize (KiB) 871140 [startup+665.507 s] /proc/loadavg: 2.00 2.00 2.00 4/103 26245 /proc/meminfo: memFree=1601840/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=1.78 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 375 5960 0 0 0 0 175 3 18 0 1 0 2000677972 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 238 196 169 0 51 0 [pid=26225] ppid=26217 vsize=197436 CPUtime=6.14 /proc/26225/stat : 26225 (java) S 26217 26217 23855 0 -1 0 13973 0 1 0 594 20 0 0 18 0 10 0 2000678154 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26225/statm: 49359 9485 2544 9 0 43941 0 [pid=26235] ppid=26225 vsize=5356 CPUtime=0 /proc/26235/stat : 26235 (abscon) S 26225 26217 23855 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2000678791 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26235/statm: 1339 237 196 169 0 50 0 [pid=26236] ppid=26235 vsize=655944 CPUtime=654.05 /proc/26236/stat : 26236 (java) S 26235 26217 23855 0 -1 0 17372 0 1 0 65380 25 0 0 18 0 9 0 2000678792 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26236/statm: 163986 16662 2616 9 0 158514 0 [pid=26236/tid=26238] ppid=26235 vsize=655944 CPUtime=653.58 /proc/26236/task/26238/stat : 26238 (java) R 26235 26217 23855 0 -1 64 12576 0 1 0 65336 22 0 0 25 0 9 0 2000678792 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4127167253 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26239] ppid=26235 vsize=655944 CPUtime=0.11 /proc/26236/task/26239/stat : 26239 (java) S 26235 26217 23855 0 -1 64 3486 0 0 0 11 0 0 0 16 0 9 0 2000678793 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26240] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26240/stat : 26240 (java) S 26235 26217 23855 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2000678794 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26241] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26241/stat : 26241 (java) S 26235 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2000678794 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26242] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26242/stat : 26242 (java) S 26235 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26243] ppid=26235 vsize=655944 CPUtime=0.33 /proc/26236/task/26243/stat : 26243 (java) S 26235 26217 23855 0 -1 64 765 0 0 0 32 1 0 0 16 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26244] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26244/stat : 26244 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26236/tid=26245] ppid=26235 vsize=655944 CPUtime=0 /proc/26236/task/26245/stat : 26245 (java) S 26235 26217 23855 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000678796 671686656 16662 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26237] ppid=26235 vsize=7044 CPUtime=0 /proc/26237/stat : 26237 (translate) S 26235 26217 23855 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2000678792 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26237/statm: 1761 213 182 1 0 41 0 [pid=26225/tid=26226] ppid=26217 vsize=197436 CPUtime=4.77 /proc/26225/task/26226/stat : 26226 (java) S 26217 26217 23855 0 -1 64 3906 0 1 0 470 7 0 0 25 0 10 0 2000678155 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26225/tid=26227] ppid=26217 vsize=197436 CPUtime=1.1 /proc/26225/task/26227/stat : 26227 (java) S 26217 26217 23855 0 -1 64 8571 0 0 0 99 11 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26228] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26228/stat : 26228 (java) S 26217 26217 23855 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26229] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26229/stat : 26229 (java) S 26217 26217 23855 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000678156 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26230] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26230/stat : 26230 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26231] ppid=26217 vsize=197436 CPUtime=0.23 /proc/26225/task/26231/stat : 26231 (java) S 26217 26217 23855 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26232] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26232/stat : 26232 (java) S 26217 26217 23855 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26233] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26233/stat : 26233 (java) S 26217 26217 23855 0 -1 64 32 0 0 0 0 0 0 0 15 0 10 0 2000678159 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26225/tid=26234] ppid=26217 vsize=197436 CPUtime=0 /proc/26225/task/26234/stat : 26234 (java) S 26217 26217 23855 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2000678791 202174464 9485 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 661.97 Current children cumulated vsize (KiB) 871140 [startup+665.702 s] /proc/loadavg: 2.00 2.00 2.00 4/103 26245 /proc/meminfo: memFree=1601840/2055920 swapFree=4180396/4192956 [pid=26217] ppid=26215 vsize=5360 CPUtime=1.78 /proc/26217/stat : 26217 (hydra) S 26215 26217 23855 0 -1 4194304 375 5960 0 0 0 0 175 3 18 0 1 0 2000677972 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26217/statm: 1340 238 196 169 0 51 0 [pid=26225] ppid=26217 vsize=197436 CPUtime=660.38 /proc/26225/stat : 26225 (java) S 26217 26217 23855 0 -1 0 14041 17986 1 1 594 20 65397 27 18 0 9 0 2000678154 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26225/statm: 49359 9488 2545 9 0 43941 0 [pid=26225/tid=26226] ppid=26217 vsize=197436 CPUtime=659.01 /proc/26225/task/26226/stat : 26226 (java) S 26217 26217 23855 0 -1 64 3955 17986 1 1 470 7 65397 27 16 0 9 0 2000678155 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26225/tid=26227] ppid=26217 vsize=197436 CPUtime=655.34 /proc/26225/task/26227/stat : 26227 (java) S 26217 26217 23855 0 -1 64 8581 17986 0 1 99 11 65397 27 16 0 9 0 2000678156 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26225/tid=26228] ppid=26217 vsize=197436 CPUtime=654.24 /proc/26225/task/26228/stat : 26228 (java) S 26217 26217 23855 0 -1 64 10 17986 0 1 0 0 65397 27 16 0 9 0 2000678156 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26229] ppid=26217 vsize=197436 CPUtime=654.24 /proc/26225/task/26229/stat : 26229 (java) S 26217 26217 23855 0 -1 64 5 17986 0 1 0 0 65397 27 15 0 9 0 2000678156 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26230] ppid=26217 vsize=197436 CPUtime=654.24 /proc/26225/task/26230/stat : 26230 (java) S 26217 26217 23855 0 -1 64 1 17986 0 1 0 0 65397 27 18 0 9 0 2000678159 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26231] ppid=26217 vsize=197436 CPUtime=654.47 /proc/26225/task/26231/stat : 26231 (java) S 26217 26217 23855 0 -1 64 669 17986 0 1 23 0 65397 27 16 0 9 0 2000678159 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26232] ppid=26217 vsize=197436 CPUtime=654.24 /proc/26225/task/26232/stat : 26232 (java) S 26217 26217 23855 0 -1 64 1 17986 0 1 0 0 65397 27 19 0 9 0 2000678159 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26225/tid=26233] ppid=26217 vsize=197436 CPUtime=654.24 /proc/26225/task/26233/stat : 26233 (java) S 26217 26217 23855 0 -1 64 32 17986 0 1 0 0 65397 27 15 0 9 0 2000678159 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 662.16 Current children cumulated vsize (KiB) 202796 Child status: 0 Real time (s): 665.74 CPU time (s): 662.202 CPU user time (s): 661.676 CPU system time (s): 0.52592 CPU usage (%): 99.4687 Max. virtual memory (cumulated for all children) (KiB): 871140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 661.676 system time used= 0.52592 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38403 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= 37737 involuntary context switches= 46617 runsolver used 2.57761 second user time and 7.15291 second system time The end
Begin job on node44 at 2008-07-05 02:17:31 IDJOB=1081457 IDBENCH=57104 IDSOLVER=366 FILE ID=node44/1081457-1215217051 PBS_JOBID= 7881708 Free space on /tmp= 66552 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-80-5-add.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081457-1215217051/watcher-1081457-1215217051 -o /tmp/evaluation-result-1081457-1215217051/solver-1081457-1215217051 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081457-1215217051.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 4a9833fa42d0a0932d635fb3733fa969 RANDOM SEED=406087269 node44.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.213 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.213 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: 1688904 kB Buffers: 34156 kB Cached: 160196 kB SwapCached: 6316 kB Active: 259448 kB Inactive: 46492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1688904 kB SwapTotal: 4192956 kB SwapFree: 4180396 kB Dirty: 24676 kB Writeback: 0 kB Mapped: 126252 kB Slab: 46096 kB Committed_AS: 3708256 kB PageTables: 2060 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 node44 at 2008-07-05 02:28:37