Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 668.806 | 669.478 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 6399 |
CHECKS | 821018000 |
Name | csp/queensKnights/ normalized-queensKnights-80-5-mul.xml |
MD5SUM | 2ab0ed2a36c3cca2c75b23b1150e1b9d |
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 | 13.082 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 85 |
Number of constraints | 3570 |
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 | 3570 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.47/7.67 c CASE TO CLASSIFY: 7.47/7.67 c Case: 0 7.47/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.411000 | c 34 > 49.859900 | c 16 > 2.000000 | c 13 > 4.409830 | c 14 > 1.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.47/7.68 c choco : 1801.0 7.47/7.68 c mistral : 1801.0 7.47/7.68 c abscon : 1801.0 7.47/7.68 c 7.47/7.68 c 7.57/7.76 c List of same ones: 40 7.57/7.76 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-80-5-mul.xml 7.57/7.76 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.57/7.77 c choco : 1801.0 7.57/7.77 c mistral : 1800.04 7.57/7.77 c abscon : 738.167 7.57/7.77 c 7.57/7.77 c 7.57/7.77 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-80-5-add.xml 7.57/7.77 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.57/7.77 c choco : 1801.0 7.57/7.78 c mistral : 1800.01 7.57/7.78 c abscon : 759.851 7.57/7.78 c 7.57/7.78 c 7.57/7.78 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-100-5-add.xml 7.57/7.78 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.57/7.79 c choco : 1801.0 7.57/7.79 c mistral : 1800.04 7.57/7.79 c abscon : 1706.82 7.57/7.79 c 7.57/7.79 c 7.57/7.79 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-50-5-add.xml 7.57/7.79 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.57/7.79 c choco : 1801.0 7.57/7.79 c mistral : 1800.02 7.57/7.79 c abscon : 17.3674 7.57/7.79 c 7.57/7.79 c 7.57/7.79 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-50-5-mul.xml 7.57/7.79 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.65/7.81 c choco : 1801.0 7.65/7.81 c mistral : 1800.02 7.65/7.81 c abscon : 18.8371 7.65/7.81 c 7.65/7.81 c 7.65/7.81 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20/super-js-taillard-20-28.xml 7.65/7.81 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.65/7.82 c choco : 42.0 7.65/7.82 c mistral : 1801.0 7.65/7.82 c abscon : 1801.0 7.65/7.82 c 7.65/7.82 c 7.65/7.82 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-3.xml 7.65/7.82 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.65/7.83 c choco : 106.05 7.65/7.83 c mistral : 1800.02 7.65/7.83 c abscon : 1800.14 7.65/7.83 c 7.65/7.83 c 7.65/7.83 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-5.xml 7.65/7.83 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.65/7.84 c choco : 145.34 7.65/7.84 c mistral : 1800.09 7.65/7.84 c abscon : 1800.11 7.65/7.84 c 7.65/7.84 c 7.65/7.84 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-7.xml 7.65/7.84 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.65/7.85 c choco : 234.31 7.65/7.85 c mistral : 1800.04 7.65/7.85 c abscon : 1800.11 7.65/7.85 c 7.65/7.85 c 7.65/7.85 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-1.xml 7.65/7.85 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.65/7.86 c choco : 57.77 7.65/7.86 c mistral : 1800.05 7.65/7.86 c abscon : 1800.11 7.65/7.86 c 7.65/7.86 c 7.65/7.86 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-27.xml 7.65/7.86 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.65/7.87 c choco : 33.84 7.65/7.87 c mistral : 1801.0 7.65/7.87 c abscon : 1801.0 7.65/7.87 c 7.65/7.87 c 7.65/7.87 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-105-9.xml 7.65/7.87 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.65/7.88 c choco : 624.5 7.65/7.88 c mistral : 1800.09 7.65/7.88 c abscon : 1800.19 7.65/7.88 c 7.65/7.88 c 7.65/7.88 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-7.xml 7.65/7.88 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.65/7.89 c choco : 97.75 7.65/7.89 c mistral : 1800.08 7.65/7.89 c abscon : 1800.09 7.65/7.89 c 7.65/7.89 c 7.65/7.89 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-95-3.xml 7.65/7.89 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.73/7.91 c choco : 448.15 7.73/7.91 c mistral : 1800.07 7.73/7.91 c abscon : 1800.16 7.73/7.91 c 7.73/7.91 c 7.73/7.91 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-28.xml 7.73/7.91 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.73/7.91 c choco : 34.79 7.73/7.91 c mistral : 1801.0 7.73/7.91 c abscon : 1801.0 7.73/7.91 c 7.73/7.91 c 7.73/7.91 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-9.xml 7.73/7.91 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.73/7.92 c choco : 45.33 7.73/7.92 c mistral : 1800.04 7.73/7.92 c abscon : 1800.13 7.73/7.92 c 7.73/7.92 c 7.73/7.92 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-5.xml 7.73/7.92 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.73/7.92 c choco : 917.89 7.73/7.92 c mistral : 1800.02 7.73/7.92 c abscon : 1800.13 7.73/7.92 c 7.73/7.92 c 7.73/7.92 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-1.xml 7.73/7.92 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.73/7.93 c choco : 62.82 7.73/7.93 c mistral : 1800.06 7.73/7.93 c abscon : 1800.1 7.73/7.93 c 7.73/7.93 c 7.73/7.93 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20/js-taillard-20-95-7.xml 7.73/7.93 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.73/7.94 c choco : 5.74 7.73/7.94 c mistral : 1800.09 7.73/7.94 c abscon : 1800.07 7.73/7.94 c 7.73/7.94 c 7.73/7.94 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-3.xml 7.73/7.94 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.73/7.95 c choco : 83.58 7.73/7.95 c mistral : 1800.03 7.73/7.95 c abscon : 1800.09 7.73/7.95 c 7.73/7.95 c 7.73/7.95 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-9.xml 7.73/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.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.73/7.95 c choco : 36.21 7.73/7.95 c mistral : 8.59169 7.73/7.95 c abscon : 1800.13 7.73/7.95 c 7.73/7.95 c 7.73/7.95 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-24.xml 7.73/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.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.73/7.96 c choco : 32.64 7.73/7.96 c mistral : 1801.0 7.73/7.96 c abscon : 1801.0 7.73/7.96 c 7.73/7.96 c 7.73/7.96 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-29.xml 7.73/7.96 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.73/7.96 c choco : 339.04 7.73/7.96 c mistral : 1801.0 7.73/7.96 c abscon : 1801.0 7.73/7.96 c 7.73/7.96 c 7.73/7.96 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-1.xml 7.73/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.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.73/7.97 c choco : 24.34 7.73/7.97 c mistral : 2.62 7.73/7.97 c abscon : 1800.1 7.73/7.97 c 7.73/7.97 c 7.73/7.97 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-20-15/super-js-taillard-20-15-22.xml 7.73/7.97 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.73/7.98 c choco : 34.97 7.73/7.98 c mistral : 1801.0 7.73/7.98 c abscon : 1801.0 7.73/7.98 c 7.73/7.98 c 7.73/7.98 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-5.xml 7.73/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.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.73/7.98 c choco : 60.7 7.73/7.98 c mistral : 1800.02 7.73/7.98 c abscon : 1800.08 7.73/7.98 c 7.73/7.98 c 7.73/7.98 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-22.xml 7.73/7.98 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.73/7.99 c choco : 153.97 7.73/7.99 c mistral : 1801.0 7.73/7.99 c abscon : 1801.0 7.73/7.99 c 7.73/7.99 c 7.73/7.99 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-21.xml 7.73/7.99 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.73/7.99 c choco : 26.3 7.73/7.99 c mistral : 1801.0 7.73/7.99 c abscon : 1801.0 7.73/7.99 c 7.73/7.99 c 7.73/7.99 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-7.xml 7.73/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.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.78/8.00 c choco : 93.42 7.78/8.00 c mistral : 1800.05 7.78/8.00 c abscon : 1800.14 7.78/8.00 c 7.78/8.00 c 7.78/8.00 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-9.xml 7.78/8.00 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.78/8.01 c choco : 1065.61 7.78/8.01 c mistral : 1800.03 7.78/8.01 c abscon : 1800.14 7.78/8.01 c 7.78/8.01 c 7.78/8.01 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-23.xml 7.78/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.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.78/8.01 c choco : 102.83 7.78/8.01 c mistral : 1801.0 7.78/8.01 c abscon : 1801.0 7.78/8.01 c 7.78/8.01 c 7.78/8.01 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-28.xml 7.78/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.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.78/8.02 c choco : 199.72 7.78/8.02 c mistral : 1801.0 7.78/8.02 c abscon : 1801.0 7.78/8.02 c 7.78/8.02 c 7.78/8.02 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-1.xml 7.78/8.02 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.78/8.02 c choco : 860.71 7.78/8.02 c mistral : 1800.03 7.78/8.02 c abscon : 1800.1 7.78/8.02 c 7.78/8.02 c 7.78/8.02 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-3.xml 7.78/8.02 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.78/8.03 c choco : 39.45 7.78/8.03 c mistral : 1146.73 7.78/8.03 c abscon : 1800.07 7.78/8.03 c 7.78/8.03 c 7.78/8.03 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-8.xml 7.78/8.03 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.78/8.04 c choco : 42.84 7.78/8.04 c mistral : 20.7328 7.78/8.04 c abscon : 1800.11 7.78/8.04 c 7.78/8.04 c 7.78/8.04 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-25.xml 7.78/8.04 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.78/8.04 c choco : 933.36 7.78/8.04 c mistral : 1801.0 7.78/8.04 c abscon : 1801.0 7.78/8.04 c 7.78/8.04 c 7.78/8.04 c /home/ehebrard/new_instances/competition_4c/data/super-js/super-js-taillard-15/super-js-taillard-15-24.xml 7.78/8.04 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.78/8.05 c choco : 128.09 7.78/8.05 c mistral : 1801.0 7.78/8.05 c abscon : 1801.0 7.78/8.05 c 7.78/8.05 c 7.78/8.05 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-9.xml 7.78/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.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.78/8.06 c choco : 31.0 7.78/8.06 c mistral : 1800.05 7.78/8.06 c abscon : 1800.13 7.78/8.06 c 7.78/8.06 c 7.78/8.06 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-1.xml 7.78/8.06 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.78/8.06 c choco : 20.19 7.78/8.06 c mistral : 73.1569 7.78/8.06 c abscon : 1800.11 7.78/8.06 c 7.78/8.06 c 7.78/8.06 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-5.xml 7.78/8.06 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.78/8.07 c choco : 777.76 7.78/8.07 c mistral : 1800.11 7.78/8.07 c abscon : 1800.12 7.78/8.07 c 7.78/8.07 c 7.78/8.07 c Length: 40 7.78/8.07 c 1.0380301344373388 14.343199968992275 24.7614198994262 38.361520603134956 42.26994449417695 50.7107185110643 50.86764932074608 50.9986198185892 51.15351776327411 51.18224357583774 51.340735701772914 51.38934810781024 51.59837413170012 51.65350463708383 51.767741789636716 51.900544838551546 51.930855429052976 51.95240505656788 52.02290318704349 52.06342566352314 52.309348605154696 52.35008757081883 52.36697771588408 52.47201330832657 52.48798804941184 52.50281458033654 52.611747893595975 52.68047955193746 52.739487481871684 52.833803909042935 52.83577802041719 52.88542676943906 52.89603689947669 53.14801019262527 53.19172488909153 53.22906904212773 53.31375425232593 53.37999942863713 53.47692815931091 53.505295198486664 7.78/8.07 c 7.78/8.08 c 1.0 0.7977090272685453 0.6886312393794091 0.5843281388239836 0.5599543708568339 0.5136801349192188 0.5128921124874405 0.5122362973727197 0.511462830609807 0.5113196479403888 0.5105310894000232 0.5102897113934467 0.5092544177437512 0.508982059310738 0.50841862554548 0.507765188136158 0.5076162847960479 0.5075104735334358 0.507164627229703 0.5069660472863482 0.5057642323260138 0.5055656926632135 0.50548342494196 0.5049724228904057 0.5048947956840618 0.5048227694098063 0.5042942083044768 0.503961280898025 0.5036758044971978 0.5032201789671737 0.5032106512008508 0.502971147195185 0.5029199938247374 0.5017082349293279 0.501498601761724 0.5013196571407919 0.5009143377884129 0.500597732492832 0.500135201966884 0.5 7.78/8.09 c 7.78/8.09 c solver 0 7.78/8.09 c before 0.0 seconds: {} 0 7.78/8.09 c before 18.0 seconds: {3} 584 7.78/8.09 c before 36.0 seconds: {3, 4} 1144 7.78/8.09 c before 756.0 seconds: {0, 3, 4} 2144 7.78/8.09 c before 774.0 seconds: {0, 1, 3, 4} 2941 7.78/8.09 c before 1710.0 seconds: {0, 1, 2, 3, 4} 3630 7.78/8.09 c 7.78/8.09 c solver 1 7.78/8.09 c before 0.0 seconds: {} 0 7.78/8.09 c before 18.0 seconds: {20, 23} 1010 7.78/8.09 c before 36.0 seconds: {20, 23, 34} 1512 7.78/8.09 c before 90.0 seconds: {20, 23, 34, 38} 2012 7.78/8.09 c before 1152.0 seconds: {20, 23, 33, 34, 38} 2514 7.78/8.09 c 7.78/8.09 c solver 2 7.78/8.09 c before 0.0 seconds: {} 0 7.78/8.09 c before 18.0 seconds: {18} 507 7.78/8.09 c before 36.0 seconds: {10, 14, 18, 21, 23, 24, 27, 37, 38} 4546 7.78/8.09 c before 54.0 seconds: {5, 10, 14, 15, 18, 20, 21, 23, 24, 27, 33, 34, 37, 38} 7076 7.78/8.09 c before 72.0 seconds: {5, 9, 10, 14, 15, 17, 18, 20, 21, 23, 24, 25, 27, 33, 34, 37, 38} 8600 7.78/8.09 c before 90.0 seconds: {5, 9, 10, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 27, 33, 34, 37, 38} 9107 7.78/8.09 c before 108.0 seconds: {5, 6, 9, 10, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 30, 33, 34, 37, 38} 11136 7.78/8.09 c before 144.0 seconds: {5, 6, 9, 10, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 27, 28, 30, 33, 34, 36, 37, 38} 11637 7.78/8.09 c before 162.0 seconds: {5, 6, 7, 9, 10, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 33, 34, 36, 37, 38} 12653 7.78/8.09 c before 216.0 seconds: {5, 6, 7, 9, 10, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 37, 38} 13156 7.78/8.09 c before 252.0 seconds: {5, 6, 7, 8, 9, 10, 12, 14, 15, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 37, 38} 13668 7.78/8.09 c before 342.0 seconds: {5, 6, 7, 8, 9, 10, 12, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 37, 38} 14173 7.78/8.09 c before 450.0 seconds: {5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 37, 38} 14682 7.78/8.09 c before 630.0 seconds: {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 37, 38} 15192 7.78/8.09 c before 792.0 seconds: {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 37, 38, 39} 15692 7.78/8.09 c before 864.0 seconds: {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16195 7.78/8.09 c before 918.0 seconds: {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 36, 37, 38, 39} 16703 7.78/8.09 c before 936.0 seconds: {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17204 7.78/8.09 c before 1080.0 seconds: {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} 17708 7.78/8.09 c 7.78/8.09 cTotal time: 219 7.78/8.09 c run abscon for 774.0 seconds {0, 1, 3, 4} 2941 7.78/8.09 c run mistral for 90.0 seconds {20, 23, 34, 38} 2012 7.78/8.09 c run choco for 936.0 seconds {5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17204 7.78/8.09 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.78/8.09 c On Instance: HOME/instance-1081310-1215216365.xml 7.78/8.09 c Running for: 774 seconds 668.74/669.43 s UNSATISFIABLE 668.74/669.43 d ASSIGNMENTS 6399 668.74/669.43 d CHECKS 821018082
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-1081310-1215216365/watcher-1081310-1215216365 -o /tmp/evaluation-result-1081310-1215216365/solver-1081310-1215216365 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081310-1215216365.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.99 1.99 4/81 31962 /proc/meminfo: memFree=1543760/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=0 /proc/31962/stat : 31962 (hydra) R 31960 31962 29433 0 -1 4194304 312 247 0 0 0 0 0 0 22 0 1 0 644559672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271894243999 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/31962/statm: 1340 236 195 169 0 51 0 [pid=31965] ppid=31962 vsize=5360 CPUtime=0 /proc/31965/stat : 31965 (hydra) R 31962 31962 29433 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 644559673 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271894243999 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/31965/statm: 1340 236 195 169 0 51 0 [startup+0.216656 s] /proc/loadavg: 1.99 1.99 1.99 4/81 31962 /proc/meminfo: memFree=1543760/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=0 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 644559672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 236 195 169 0 51 0 [pid=31965] ppid=31962 vsize=19460 CPUtime=0.19 /proc/31965/stat : 31965 (xsolve) R 31962 31962 29433 0 -1 4194304 4175 0 0 0 17 2 0 0 19 0 1 0 644559673 19927040 4134 996147200 134512640 135239763 4294956176 18446744073709551615 5969531 0 0 4096 0 0 0 0 17 1 0 0 /proc/31965/statm: 4865 4134 405 177 0 3768 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 24820 [startup+0.301653 s] /proc/loadavg: 1.99 1.99 1.99 4/81 31962 /proc/meminfo: memFree=1543760/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=0 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 644559672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 236 195 169 0 51 0 [pid=31965] ppid=31962 vsize=25456 CPUtime=0.27 /proc/31965/stat : 31965 (xsolve) R 31962 31962 29433 0 -1 4194304 5697 0 0 0 25 2 0 0 19 0 1 0 644559673 26066944 5656 996147200 134512640 135239763 4294956176 18446744073709551615 135016044 0 0 4096 0 0 0 0 17 1 0 0 /proc/31965/statm: 6364 5656 439 177 0 5267 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 30816 [startup+0.40166 s] /proc/loadavg: 1.99 1.99 1.99 4/81 31962 /proc/meminfo: memFree=1543760/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=0 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 644559672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 236 195 169 0 51 0 [pid=31965] ppid=31962 vsize=25456 CPUtime=0.37 /proc/31965/stat : 31965 (xsolve) R 31962 31962 29433 0 -1 4194304 5697 0 0 0 35 2 0 0 20 0 1 0 644559673 26066944 5656 996147200 134512640 135239763 4294956176 18446744073709551615 134810786 0 0 4096 0 0 0 0 17 1 0 0 /proc/31965/statm: 6364 5656 439 177 0 5267 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 30816 [startup+0.701691 s] /proc/loadavg: 1.99 1.99 1.99 4/81 31962 /proc/meminfo: memFree=1543760/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=0 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 644559672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 236 195 169 0 51 0 [pid=31965] ppid=31962 vsize=25456 CPUtime=0.67 /proc/31965/stat : 31965 (xsolve) R 31962 31962 29433 0 -1 4194304 5697 0 0 0 65 2 0 0 23 0 1 0 644559673 26066944 5656 996147200 134512640 135239763 4294956176 18446744073709551615 135020197 0 0 4096 0 0 0 0 17 1 0 0 /proc/31965/statm: 6364 5656 439 177 0 5267 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 30816 [startup+1.50177 s] /proc/loadavg: 1.99 1.99 1.99 3/83 31966 /proc/meminfo: memFree=1522368/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=0 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 644559672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 236 195 169 0 51 0 [pid=31965] ppid=31962 vsize=25752 CPUtime=1.46 /proc/31965/stat : 31965 (xsolve) R 31962 31962 29433 0 -1 4194304 5779 0 0 0 144 2 0 0 25 0 1 0 644559673 26370048 5738 996147200 134512640 135239763 4294956176 18446744073709551615 134805277 0 0 4096 0 0 0 0 17 1 0 0 /proc/31965/statm: 6438 5738 440 177 0 5341 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 31112 [startup+3.10293 s] /proc/loadavg: 1.99 1.99 1.99 3/91 31978 /proc/meminfo: memFree=1536768/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=1.76 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 375 6382 0 0 0 0 173 3 18 0 1 0 644559672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 238 196 169 0 51 0 [pid=31970] ppid=31962 vsize=197108 CPUtime=1.26 /proc/31970/stat : 31970 (java) S 31962 31962 29433 0 -1 0 4724 0 1 0 122 4 0 0 18 0 9 0 644559852 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31970/statm: 49277 3975 1678 9 0 43859 0 [pid=31970/tid=31971] ppid=31962 vsize=197108 CPUtime=1.01 /proc/31970/task/31971/stat : 31971 (java) R 31962 31962 29433 0 -1 64 2674 0 1 0 99 2 0 0 25 0 9 0 644559853 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4126439925 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31972] ppid=31962 vsize=197108 CPUtime=0.08 /proc/31970/task/31972/stat : 31972 (java) S 31962 31962 29433 0 -1 64 721 0 0 0 8 0 0 0 16 0 9 0 644559854 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31973] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31973/stat : 31973 (java) S 31962 31962 29433 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 644559855 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31974] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31974/stat : 31974 (java) S 31962 31962 29433 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 644559855 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31975] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31975/stat : 31975 (java) S 31962 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 644559857 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31976] ppid=31962 vsize=197108 CPUtime=0.14 /proc/31970/task/31976/stat : 31976 (java) S 31962 31962 29433 0 -1 64 603 0 0 0 14 0 0 0 16 0 9 0 644559857 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31977] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31977/stat : 31977 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 644559857 201838592 3975 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31978] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31978/stat : 31978 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 644559857 201838592 3975 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) 202468 [startup+6.30225 s] /proc/loadavg: 1.99 1.99 1.99 4/91 31978 /proc/meminfo: memFree=1524224/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=1.76 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 375 6382 0 0 0 0 173 3 18 0 1 0 644559672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 238 196 169 0 51 0 [pid=31970] ppid=31962 vsize=197108 CPUtime=4.42 /proc/31970/stat : 31970 (java) S 31962 31962 29433 0 -1 0 9641 0 1 0 428 14 0 0 18 0 9 0 644559852 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31970/statm: 49277 7997 2541 9 0 43859 0 [pid=31970/tid=31971] ppid=31962 vsize=197108 CPUtime=3.53 /proc/31970/task/31971/stat : 31971 (java) R 31962 31962 29433 0 -1 64 3501 0 1 0 348 5 0 0 18 0 9 0 644559853 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4126627502 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31972] ppid=31962 vsize=197108 CPUtime=0.68 /proc/31970/task/31972/stat : 31972 (java) S 31962 31962 29433 0 -1 64 4787 0 0 0 61 7 0 0 16 0 9 0 644559854 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31973] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31973/stat : 31973 (java) S 31962 31962 29433 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 644559855 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31974] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31974/stat : 31974 (java) S 31962 31962 29433 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 644559855 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31975] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31975/stat : 31975 (java) S 31962 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 644559857 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31976] ppid=31962 vsize=197108 CPUtime=0.18 /proc/31970/task/31976/stat : 31976 (java) S 31962 31962 29433 0 -1 64 627 0 0 0 18 0 0 0 16 0 9 0 644559857 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31977] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31977/stat : 31977 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 644559857 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31978] ppid=31962 vsize=197108 CPUtime=0 /proc/31970/task/31978/stat : 31978 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 644559857 201838592 7997 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 202468 [startup+12.7029 s] /proc/loadavg: 1.99 1.99 1.99 3/103 31990 /proc/meminfo: memFree=1463840/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=1.76 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 375 6382 0 0 0 0 173 3 18 0 1 0 644559672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 238 196 169 0 51 0 [pid=31970] ppid=31962 vsize=197432 CPUtime=6.08 /proc/31970/stat : 31970 (java) S 31962 31962 29433 0 -1 0 11474 0 1 0 587 21 0 0 18 0 10 0 644559852 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31970/statm: 49358 9428 2544 9 0 43940 0 [pid=31980] ppid=31970 vsize=5356 CPUtime=0 /proc/31980/stat : 31980 (abscon) S 31970 31962 29433 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 644560482 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 271894242116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/31980/statm: 1339 237 196 169 0 50 0 [pid=31981] ppid=31980 vsize=655800 CPUtime=4.58 /proc/31981/stat : 31981 (java) S 31980 31962 29433 0 -1 0 15203 0 1 0 443 15 0 0 18 0 9 0 644560482 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31981/statm: 163950 14707 2007 9 0 158478 0 [pid=31981/tid=31983] ppid=31980 vsize=655800 CPUtime=4.3 /proc/31981/task/31983/stat : 31983 (java) R 31980 31962 29433 0 -1 64 12441 0 1 0 417 13 0 0 25 0 9 0 644560483 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 104096213 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31984] ppid=31980 vsize=655800 CPUtime=0.04 /proc/31981/task/31984/stat : 31984 (java) S 31980 31962 29433 0 -1 64 1521 0 0 0 4 0 0 0 17 0 9 0 644560484 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31985] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31985/stat : 31985 (java) S 31980 31962 29433 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31986] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31986/stat : 31986 (java) S 31980 31962 29433 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31987] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31987/stat : 31987 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 644560486 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31988] ppid=31980 vsize=655800 CPUtime=0.21 /proc/31981/task/31988/stat : 31988 (java) S 31980 31962 29433 0 -1 64 695 0 0 0 21 0 0 0 15 0 9 0 644560486 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31989] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31989/stat : 31989 (java) S 31980 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 644560487 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31990] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31990/stat : 31990 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 644560487 671539200 14707 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31982] ppid=31980 vsize=7044 CPUtime=0 /proc/31982/stat : 31982 (translate) S 31980 31962 29433 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 644560483 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271894413394 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/31982/statm: 1761 213 182 1 0 41 0 [pid=31970/tid=31971] ppid=31962 vsize=197432 CPUtime=4.94 /proc/31970/task/31971/stat : 31971 (java) S 31962 31962 29433 0 -1 64 3859 0 1 0 485 9 0 0 25 0 10 0 644559853 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31970/tid=31972] ppid=31962 vsize=197432 CPUtime=0.88 /proc/31970/task/31972/stat : 31972 (java) S 31962 31962 29433 0 -1 64 6124 0 0 0 78 10 0 0 16 0 10 0 644559854 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31973] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31973/stat : 31973 (java) S 31962 31962 29433 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31974] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31974/stat : 31974 (java) S 31962 31962 29433 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31975] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31975/stat : 31975 (java) S 31962 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31976] ppid=31962 vsize=197432 CPUtime=0.24 /proc/31970/task/31976/stat : 31976 (java) S 31962 31962 29433 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31977] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31977/stat : 31977 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31978] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31978/stat : 31978 (java) S 31962 31962 29433 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31970/tid=31979] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31979/stat : 31979 (java) S 31962 31962 29433 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 644560482 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 870992 [startup+25.5071 s] /proc/loadavg: 1.99 1.99 1.99 3/103 31990 /proc/meminfo: memFree=1448288/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=1.76 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 375 6382 0 0 0 0 173 3 18 0 1 0 644559672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 238 196 169 0 51 0 ################ # More data... # ################ [pid=31970/tid=31977] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31977/stat : 31977 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31978] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31978/stat : 31978 (java) S 31962 31962 29433 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31970/tid=31979] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31979/stat : 31979 (java) S 31962 31962 29433 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 644560482 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 667.47 Current children cumulated vsize (KiB) 870992 [startup+668.902 s] /proc/loadavg: 2.00 2.00 2.00 3/103 31990 /proc/meminfo: memFree=1447584/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=1.76 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 375 6382 0 0 0 0 173 3 18 0 1 0 644559672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 238 196 169 0 51 0 [pid=31970] ppid=31962 vsize=197432 CPUtime=6.08 /proc/31970/stat : 31970 (java) S 31962 31962 29433 0 -1 0 11474 0 1 0 587 21 0 0 18 0 10 0 644559852 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31970/statm: 49358 9428 2544 9 0 43940 0 [pid=31980] ppid=31970 vsize=5356 CPUtime=0 /proc/31980/stat : 31980 (abscon) S 31970 31962 29433 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 644560482 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 271894242116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/31980/statm: 1339 237 196 169 0 50 0 [pid=31981] ppid=31980 vsize=655800 CPUtime=660.43 /proc/31981/stat : 31981 (java) S 31980 31962 29433 0 -1 0 19926 0 1 0 66016 27 0 0 18 0 9 0 644560482 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31981/statm: 163950 19219 2616 9 0 158478 0 [pid=31981/tid=31983] ppid=31980 vsize=655800 CPUtime=659.92 /proc/31981/task/31983/stat : 31983 (java) R 31980 31962 29433 0 -1 64 12545 0 1 0 65969 23 0 0 25 0 9 0 644560483 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4127091804 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31984] ppid=31980 vsize=655800 CPUtime=0.16 /proc/31981/task/31984/stat : 31984 (java) S 31980 31962 29433 0 -1 64 6069 0 0 0 14 2 0 0 16 0 9 0 644560484 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31985] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31985/stat : 31985 (java) S 31980 31962 29433 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31986] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31986/stat : 31986 (java) S 31980 31962 29433 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31987] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31987/stat : 31987 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 644560486 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31988] ppid=31980 vsize=655800 CPUtime=0.33 /proc/31981/task/31988/stat : 31988 (java) S 31980 31962 29433 0 -1 64 766 0 0 0 32 1 0 0 16 0 9 0 644560486 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31989] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31989/stat : 31989 (java) S 31980 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 644560487 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31990] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31990/stat : 31990 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 644560487 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31982] ppid=31980 vsize=7044 CPUtime=0 /proc/31982/stat : 31982 (translate) S 31980 31962 29433 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 644560483 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271894413394 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/31982/statm: 1761 213 182 1 0 41 0 [pid=31970/tid=31971] ppid=31962 vsize=197432 CPUtime=4.94 /proc/31970/task/31971/stat : 31971 (java) S 31962 31962 29433 0 -1 64 3859 0 1 0 485 9 0 0 25 0 10 0 644559853 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31970/tid=31972] ppid=31962 vsize=197432 CPUtime=0.88 /proc/31970/task/31972/stat : 31972 (java) S 31962 31962 29433 0 -1 64 6124 0 0 0 78 10 0 0 16 0 10 0 644559854 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31973] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31973/stat : 31973 (java) S 31962 31962 29433 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31974] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31974/stat : 31974 (java) S 31962 31962 29433 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31975] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31975/stat : 31975 (java) S 31962 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31976] ppid=31962 vsize=197432 CPUtime=0.24 /proc/31970/task/31976/stat : 31976 (java) S 31962 31962 29433 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31977] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31977/stat : 31977 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31978] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31978/stat : 31978 (java) S 31962 31962 29433 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31970/tid=31979] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31979/stat : 31979 (java) S 31962 31962 29433 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 644560482 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 668.27 Current children cumulated vsize (KiB) 870992 [startup+669.302 s] /proc/loadavg: 2.00 2.00 2.00 3/103 31990 /proc/meminfo: memFree=1447584/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=1.76 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 375 6382 0 0 0 0 173 3 18 0 1 0 644559672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 238 196 169 0 51 0 [pid=31970] ppid=31962 vsize=197432 CPUtime=6.08 /proc/31970/stat : 31970 (java) S 31962 31962 29433 0 -1 0 11474 0 1 0 587 21 0 0 18 0 10 0 644559852 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31970/statm: 49358 9428 2544 9 0 43940 0 [pid=31980] ppid=31970 vsize=5356 CPUtime=0 /proc/31980/stat : 31980 (abscon) S 31970 31962 29433 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 644560482 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 271894242116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/31980/statm: 1339 237 196 169 0 50 0 [pid=31981] ppid=31980 vsize=655800 CPUtime=660.83 /proc/31981/stat : 31981 (java) S 31980 31962 29433 0 -1 0 19926 0 1 0 66056 27 0 0 18 0 9 0 644560482 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31981/statm: 163950 19219 2616 9 0 158478 0 [pid=31981/tid=31983] ppid=31980 vsize=655800 CPUtime=660.31 /proc/31981/task/31983/stat : 31983 (java) R 31980 31962 29433 0 -1 64 12545 0 1 0 66008 23 0 0 25 0 9 0 644560483 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4127157438 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31984] ppid=31980 vsize=655800 CPUtime=0.16 /proc/31981/task/31984/stat : 31984 (java) S 31980 31962 29433 0 -1 64 6069 0 0 0 14 2 0 0 16 0 9 0 644560484 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31985] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31985/stat : 31985 (java) S 31980 31962 29433 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31986] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31986/stat : 31986 (java) S 31980 31962 29433 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31987] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31987/stat : 31987 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 644560486 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31988] ppid=31980 vsize=655800 CPUtime=0.33 /proc/31981/task/31988/stat : 31988 (java) S 31980 31962 29433 0 -1 64 766 0 0 0 32 1 0 0 16 0 9 0 644560486 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31989] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31989/stat : 31989 (java) S 31980 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 644560487 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31990] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31990/stat : 31990 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 644560487 671539200 19219 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31982] ppid=31980 vsize=7044 CPUtime=0 /proc/31982/stat : 31982 (translate) S 31980 31962 29433 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 644560483 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271894413394 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/31982/statm: 1761 213 182 1 0 41 0 [pid=31970/tid=31971] ppid=31962 vsize=197432 CPUtime=4.94 /proc/31970/task/31971/stat : 31971 (java) S 31962 31962 29433 0 -1 64 3859 0 1 0 485 9 0 0 25 0 10 0 644559853 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31970/tid=31972] ppid=31962 vsize=197432 CPUtime=0.88 /proc/31970/task/31972/stat : 31972 (java) S 31962 31962 29433 0 -1 64 6124 0 0 0 78 10 0 0 16 0 10 0 644559854 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31973] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31973/stat : 31973 (java) S 31962 31962 29433 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31974] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31974/stat : 31974 (java) S 31962 31962 29433 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31975] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31975/stat : 31975 (java) S 31962 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31976] ppid=31962 vsize=197432 CPUtime=0.24 /proc/31970/task/31976/stat : 31976 (java) S 31962 31962 29433 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31977] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31977/stat : 31977 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31978] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31978/stat : 31978 (java) S 31962 31962 29433 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31970/tid=31979] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31979/stat : 31979 (java) S 31962 31962 29433 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 644560482 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 668.67 Current children cumulated vsize (KiB) 870992 [startup+669.402 s] /proc/loadavg: 2.00 2.00 2.00 3/103 31990 /proc/meminfo: memFree=1447584/2055920 swapFree=4157868/4192956 [pid=31962] ppid=31960 vsize=5360 CPUtime=1.76 /proc/31962/stat : 31962 (hydra) S 31960 31962 29433 0 -1 4194304 375 6382 0 0 0 0 173 3 18 0 1 0 644559672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31962/statm: 1340 238 196 169 0 51 0 [pid=31970] ppid=31962 vsize=197432 CPUtime=6.08 /proc/31970/stat : 31970 (java) S 31962 31962 29433 0 -1 0 11476 0 1 0 587 21 0 0 18 0 10 0 644559852 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/31970/statm: 49358 9428 2544 9 0 43940 0 [pid=31980] ppid=31970 vsize=5356 CPUtime=0 /proc/31980/stat : 31980 (abscon) S 31970 31962 29433 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 644560482 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 271894242116 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/31980/statm: 1339 237 196 169 0 50 0 [pid=31981] ppid=31980 vsize=655800 CPUtime=660.9 /proc/31981/stat : 31981 (java) S 31980 31962 29433 0 -1 0 19928 0 1 0 66063 27 0 0 18 0 9 0 644560482 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31981/statm: 163950 19220 2616 9 0 158478 0 [pid=31981/tid=31983] ppid=31980 vsize=655800 CPUtime=660.38 /proc/31981/task/31983/stat : 31983 (java) S 31980 31962 29433 0 -1 64 12547 0 1 0 66015 23 0 0 25 0 9 0 644560483 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31984] ppid=31980 vsize=655800 CPUtime=0.16 /proc/31981/task/31984/stat : 31984 (java) S 31980 31962 29433 0 -1 64 6069 0 0 0 14 2 0 0 16 0 9 0 644560484 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31985] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31985/stat : 31985 (java) S 31980 31962 29433 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31986] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31986/stat : 31986 (java) S 31980 31962 29433 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 644560485 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31987] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31987/stat : 31987 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 644560486 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31988] ppid=31980 vsize=655800 CPUtime=0.34 /proc/31981/task/31988/stat : 31988 (java) S 31980 31962 29433 0 -1 64 766 0 0 0 33 1 0 0 16 0 9 0 644560486 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31989] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31989/stat : 31989 (java) S 31980 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 644560487 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31981/tid=31990] ppid=31980 vsize=655800 CPUtime=0 /proc/31981/task/31990/stat : 31990 (java) S 31980 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 644560487 671539200 19220 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31970/tid=31971] ppid=31962 vsize=197432 CPUtime=4.94 /proc/31970/task/31971/stat : 31971 (java) S 31962 31962 29433 0 -1 64 3861 0 1 0 485 9 0 0 16 0 10 0 644559853 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=31970/tid=31972] ppid=31962 vsize=197432 CPUtime=0.88 /proc/31970/task/31972/stat : 31972 (java) S 31962 31962 29433 0 -1 64 6124 0 0 0 78 10 0 0 16 0 10 0 644559854 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31973] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31973/stat : 31973 (java) S 31962 31962 29433 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31974] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31974/stat : 31974 (java) S 31962 31962 29433 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 644559855 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31975] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31975/stat : 31975 (java) S 31962 31962 29433 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31976] ppid=31962 vsize=197432 CPUtime=0.24 /proc/31970/task/31976/stat : 31976 (java) S 31962 31962 29433 0 -1 64 666 0 0 0 24 0 0 0 16 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31977] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31977/stat : 31977 (java) S 31962 31962 29433 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31970/tid=31978] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31978/stat : 31978 (java) S 31962 31962 29433 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 644559857 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31970/tid=31979] ppid=31962 vsize=197432 CPUtime=0 /proc/31970/task/31979/stat : 31979 (java) S 31962 31962 29433 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 644560482 202170368 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 668.74 Current children cumulated vsize (KiB) 863948 Child status: 0 Real time (s): 669.478 CPU time (s): 668.806 CPU user time (s): 668.254 CPU system time (s): 0.551916 CPU usage (%): 99.8997 Max. virtual memory (cumulated for all children) (KiB): 870996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 668.254 system time used= 0.551916 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38898 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= 37801 involuntary context switches= 39127 runsolver used 3.67744 second user time and 6.10707 second system time The end
Begin job on node60 at 2008-07-05 02:06:05 IDJOB=1081310 IDBENCH=57090 IDSOLVER=366 FILE ID=node60/1081310-1215216365 PBS_JOBID= 7881661 Free space on /tmp= 66484 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-80-5-mul.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1081310-1215216365/watcher-1081310-1215216365 -o /tmp/evaluation-result-1081310-1215216365/solver-1081310-1215216365 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1081310-1215216365.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 2ab0ed2a36c3cca2c75b23b1150e1b9d RANDOM SEED=7547744 node60.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.216 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.216 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: 1544176 kB Buffers: 63160 kB Cached: 251712 kB SwapCached: 29276 kB Active: 316684 kB Inactive: 138360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1544176 kB SwapTotal: 4192956 kB SwapFree: 4157868 kB Dirty: 24768 kB Writeback: 0 kB Mapped: 155944 kB Slab: 41408 kB Committed_AS: 1313216 kB PageTables: 2180 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= 66460 MiB End job on node60 at 2008-07-05 02:17:15