Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 29.5855 | 29.9184 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 534 |
CHECKS | 13549300 |
Name | csp/queens/ normalized-queens-200.xml |
MD5SUM | 054f76ffe13ea2991d6de6635966b938 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 4.37933 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 19900 |
Maximum constraint arity | 2 |
Maximum domain size | 200 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 19900 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 15.83/16.01 c CASE TO CLASSIFY: 15.83/16.01 c Case: 0 15.83/16.01 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.602400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.640240 | c 21 > 14.142100 | c 20 > 100.000000 | c 22 > 14.142100 | 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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.865500 | 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 > 23.509300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.280500 | c 15.83/16.02 c choco : 1801.0 15.83/16.02 c mistral : 1801.0 15.83/16.02 c abscon : 1801.0 15.83/16.02 c 15.83/16.02 c 15.83/16.10 c List of same ones: 40 15.83/16.10 c /home/eomahony/cpZilla/CSP/queens/queens-200.xml 15.83/16.10 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.588500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.640240 | c 21 > 14.142100 | c 20 > 100.000000 | c 22 > 14.142100 | 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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.865500 | 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 > 23.509300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.280500 | c 15.92/16.11 c choco : 73.34 15.92/16.11 c mistral : 2.26565 15.92/16.11 c abscon : 16.9784 15.92/16.11 c 15.92/16.11 c 15.92/16.11 c /home/eomahony/cpZilla/CSP/queens/queens-180.xml 15.92/16.11 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.769200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.491850 | c 12 > 8.487840 | c 21 > 13.416400 | c 20 > 100.000000 | c 22 > 13.416400 | 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 > 7.491850 | c 2 > -1.000000 | c 10 > 15.560700 | 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 > 23.052500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.975700 | c 15.92/16.11 c choco : 1801.0 15.92/16.11 c mistral : 4.35734 15.92/16.11 c abscon : 6.98994 15.92/16.11 c 15.92/16.11 c 15.92/16.11 c /home/eomahony/cpZilla/CSP/queens/queens-150.xml 15.92/16.11 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.177900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 7.228820 | c 12 > 8.224000 | c 21 > 12.247400 | c 20 > 100.000000 | c 22 > 12.247400 | 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 > 7.228820 | c 2 > -1.000000 | c 10 > 15.033000 | 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 > 22.261800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.448000 | c 15.92/16.12 c choco : 415.93 15.92/16.12 c mistral : 1.06284 15.92/16.12 c abscon : 4.79627 15.92/16.13 c 15.92/16.13 c 15.92/16.13 c /home/eomahony/cpZilla/CSP/queens/queens-120.xml 15.92/16.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.123700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 6.906890 | c 12 > 7.900870 | c 21 > 10.954500 | c 20 > 100.000000 | c 22 > 10.954500 | 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.906890 | c 2 > -1.000000 | c 10 > 14.386700 | 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 > 21.293600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.801700 | c 15.92/16.13 c choco : 68.96 15.92/16.13 c mistral : 0.603907 15.92/16.13 c abscon : 2.94855 15.92/16.13 c 15.92/16.13 c 15.92/16.13 c /home/eomahony/cpZilla/CSP/queens/queens-100.xml 15.92/16.13 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.598100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.785820 | c 14 > 0.000000 | c 11 > 12.302100 | c 12 > 2.298890 | c 21 > 10.000000 | c 20 > 100.000000 | c 22 > 10.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.643860 | c 2 > -1.000000 | c 10 > 13.858300 | 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 > 20.502100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 13.273200 | c 15.92/16.14 c choco : 12.53 15.92/16.14 c mistral : 0.575912 15.92/16.15 c abscon : 2.12968 15.92/16.15 c 15.92/16.15 c 15.92/16.15 c /home/eomahony/cpZilla/CSP/queens/queens-80.xml 15.92/16.15 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.098800 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.615820 | c 14 > 2.000000 | c 11 > 11.661800 | c 12 > 2.293150 | c 21 > 8.944270 | c 20 > 100.000000 | c 22 > 8.944270 | 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.321930 | c 2 > -1.000000 | c 10 > 13.210800 | 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 > 19.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.625700 | c 15.92/16.15 c choco : 8.63 15.92/16.15 c mistral : 0.248962 15.92/16.15 c abscon : 1.83272 15.92/16.15 c 15.92/16.15 c 15.92/16.15 c /home/eomahony/cpZilla/CSP/queens/queens-50.xml 15.92/16.15 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.313500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.411010 | c 14 > 5.614710 | c 11 > 11.287700 | c 12 > 0.995086 | c 21 > 7.071070 | c 20 > 100.000000 | c 22 > 7.071070 | 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.843900 | 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.487800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.258600 | c 15.92/16.16 c choco : 5.01 15.92/16.16 c mistral : 0.107983 15.92/16.16 c abscon : 1.16682 15.92/16.16 c 15.92/16.16 c 15.92/16.16 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-4.xml 15.92/16.16 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.777200 | c 16 > 2.000000 | c 13 > 7.479780 | c 14 > -1.000000 | c 11 > 7.906890 | c 12 > 8.709080 | c 21 > 10.954500 | c 20 > 100.000000 | c 22 > 10.954500 | 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 > 7.906890 | c 2 > -1.000000 | c 10 > 15.977000 | 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 > 22.875900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 15.386700 | c 15.92/16.17 c choco : 64.11 15.92/16.17 c mistral : 2.74 15.92/16.17 c abscon : 13.53 15.92/16.17 c 15.92/16.17 c 15.92/16.17 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-2.xml 15.92/16.17 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.732400 | c 16 > 2.000000 | c 13 > 7.214320 | c 14 > -1.000000 | c 11 > 7.643860 | c 12 > 8.445010 | c 21 > 10.000000 | c 20 > 100.000000 | c 22 > 10.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 > 7.643860 | c 2 > -1.000000 | c 10 > 15.449600 | 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 > 22.083800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.858200 | c 15.92/16.18 c choco : 54.22 15.92/16.18 c mistral : 1.98 15.92/16.18 c abscon : 10.99 15.92/16.18 c 15.92/16.18 c 15.92/16.18 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-14.xml 15.92/16.18 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.665300 | c 16 > 2.000000 | c 13 > 6.888740 | c 14 > -1.000000 | c 11 > 7.321930 | c 12 > 8.121530 | c 21 > 8.944270 | c 20 > 100.000000 | c 22 > 8.944270 | 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 > 7.321930 | c 2 > -1.000000 | c 10 > 14.803700 | 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 > 21.113700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 14.210700 | c 15.92/16.19 c choco : 41.55 15.92/16.19 c mistral : 1.11 15.92/16.19 c abscon : 10.02 15.92/16.19 c 15.92/16.19 c 15.92/16.19 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-add.xml 15.92/16.19 c 19 > 2.500000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.250000 | c 15 > 13.591300 | c 34 > 53.500000 | c 16 > 2.000000 | c 13 > 3.101920 | c 14 > 5.044390 | c 11 > 8.661780 | c 12 > 1.833080 | c 21 > 9.797960 | c 20 > 97.500000 | c 22 > 20.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.321930 | c 2 > -1.000000 | c 10 > 9.182390 | 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 > 13.712100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 8.569860 | c 15.92/16.20 c choco : 1801.0 15.92/16.20 c mistral : 64.2982 15.92/16.20 c abscon : 1.19982 15.92/16.20 c 15.92/16.20 c 15.92/16.20 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-add.xml 15.98/16.20 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 15.98/16.21 c choco : 1801.0 15.98/16.21 c mistral : 247.833 15.98/16.21 c abscon : 1.76173 15.98/16.21 c 15.98/16.21 c 15.98/16.21 c /home/eomahony/cpZilla/CSP/queens/queens-30.xml 15.98/16.21 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.989300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 3.702650 | c 14 > 7.044390 | c 11 > 9.813780 | c 12 > 1.506460 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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.906890 | c 2 > -1.000000 | c 10 > 10.350900 | 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.257800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.764870 | c 15.98/16.22 c choco : 2.85 15.98/16.22 c mistral : 0.044992 15.98/16.22 c abscon : 0.928858 15.98/16.22 c 15.98/16.22 c 15.98/16.22 c /home/eomahony/cpZilla/CSP/queens/queens-20.xml 15.98/16.22 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 13.307100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.689940 | c 14 > 3.807350 | c 11 > 8.643860 | c 12 > 0.961623 | c 21 > 4.472140 | c 20 > 100.000000 | c 22 > 4.472140 | 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.321930 | c 2 > -1.000000 | c 10 > 9.157350 | 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 > 13.479300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.569860 | c 15.98/16.23 c choco : 2.05 15.98/16.23 c mistral : 0.024995 15.98/16.23 c abscon : 0.810875 15.98/16.23 c 15.98/16.23 c 15.98/16.23 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-12.xml 15.98/16.23 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.463100 | c 16 > 2.000000 | c 13 > 4.429810 | c 14 > -1.000000 | c 11 > 12.863000 | c 12 > 1.929310 | c 21 > 7.071070 | c 20 > 100.000000 | c 22 > 7.071070 | 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.643860 | c 2 > -1.000000 | c 10 > 13.441500 | 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 > 19.066200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.843500 | c 15.98/16.23 c choco : 26.91 15.98/16.23 c mistral : 0.45 15.98/16.23 c abscon : 7.74 15.98/16.23 c 15.98/16.23 c 15.98/16.23 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-add.xml 15.98/16.23 c 19 > 4.347830 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.913040 | c 15 > 12.433600 | c 34 > 56.087000 | c 16 > 2.000000 | c 13 > 2.996320 | c 14 > 6.149750 | c 11 > 7.845490 | c 12 > 1.966690 | c 21 > 8.215840 | c 20 > 95.652200 | c 22 > 15.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 > 3.906890 | c 2 > -1.000000 | c 10 > 8.348730 | 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 > 12.517900 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.714250 | c 15.98/16.24 c choco : 1801.0 15.98/16.24 c mistral : 8.38672 15.98/16.24 c abscon : 0.891864 15.98/16.24 c 15.98/16.24 c 15.98/16.24 c /home/eomahony/cpZilla/CSP/queens/queens-15.xml 15.98/16.24 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 12.255600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.467650 | c 14 > 3.459430 | c 11 > 7.813780 | c 12 > 0.957708 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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 > 3.906890 | c 2 > -1.000000 | c 10 > 8.303780 | 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 > 12.210700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.714250 | c 15.98/16.25 c choco : 1.66 15.98/16.25 c mistral : 0.016996 15.98/16.25 c abscon : 0.728888 15.98/16.25 c 15.98/16.25 c 15.98/16.25 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-10.xml 15.98/16.25 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 49.101100 | c 16 > 2.000000 | c 13 > 4.041900 | c 14 > -1.000000 | c 11 > 11.382600 | c 12 > 1.923010 | c 21 > 5.477230 | c 20 > 100.000000 | c 22 > 5.477230 | 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.906890 | c 2 > -1.000000 | c 10 > 11.956700 | 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 > 16.831700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.349800 | c 15.98/16.26 c choco : 15.67 15.98/16.26 c mistral : 0.17 15.98/16.26 c abscon : 4.68 15.98/16.26 c 15.98/16.26 c 15.98/16.26 c /home/eomahony/cpZilla/CSP/queens/queens-12.xml 15.98/16.26 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.057300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.270910 | c 14 > 2.807350 | c 11 > 7.169930 | c 12 > 0.943817 | c 21 > 3.464100 | c 20 > 100.000000 | c 22 > 3.464100 | 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 > 3.584960 | c 2 > -1.000000 | c 10 > 7.636620 | 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 > 11.221600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.044390 | c 15.98/16.27 c choco : 1.53 15.98/16.27 c mistral : 0.014997 15.98/16.27 c abscon : 0.767882 15.98/16.27 c 15.98/16.27 c 15.98/16.27 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-8.xml 15.98/16.27 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 48.644100 | c 16 > 2.000000 | c 13 > 3.724730 | c 14 > -1.000000 | c 11 > 10.204600 | c 12 > 1.915020 | c 21 > 4.472140 | c 20 > 100.000000 | c 22 > 4.472140 | 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.321930 | c 2 > -1.000000 | c 10 > 10.773100 | 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.047300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.154800 | c 15.98/16.28 c choco : 8.8 15.98/16.28 c mistral : 0.08 15.98/16.28 c abscon : 2.86 15.98/16.28 c 15.98/16.28 c 15.98/16.28 c /home/eomahony/cpZilla/CSP/queens/queens-10.xml 15.98/16.28 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 11.892900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.688250 | c 14 > 4.459430 | c 11 > 6.643860 | c 12 > 1.372950 | c 21 > 3.162280 | c 20 > 100.000000 | c 22 > 3.162280 | 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 > 3.321930 | c 2 > -1.000000 | c 10 > 7.087460 | 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 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.491850 | c 15.98/16.28 c choco : 1.43 15.98/16.28 c mistral : 0.014997 15.98/16.28 c abscon : 0.659899 15.98/16.28 c 15.98/16.28 c 15.98/16.28 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-add.xml 15.98/16.28 c 19 > 6.578950 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.921050 | c 15 > 12.132500 | c 34 > 59.210500 | c 16 > 2.000000 | c 13 > 3.839120 | c 14 > 7.383700 | c 11 > 7.219170 | c 12 > 2.446170 | c 21 > 7.129060 | c 20 > 93.421100 | c 22 > 12.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 > 3.584960 | c 2 > -1.000000 | c 10 > 7.707360 | 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 > 11.601800 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 7.044390 | c 15.98/16.29 c choco : 10.21 15.98/16.29 c mistral : 3.03454 15.98/16.29 c abscon : 0.826873 15.98/16.29 c 15.98/16.29 c 15.98/16.29 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-5.xml 15.98/16.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 48.181800 | c 16 > 2.000000 | c 13 > 3.492050 | c 14 > -1.000000 | c 11 > 9.366320 | c 12 > 1.906890 | c 21 > 3.872980 | c 20 > 100.000000 | c 22 > 3.872980 | 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.906890 | c 2 > -1.000000 | c 10 > 9.929260 | 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 > 13.772600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.299210 | c 15.98/16.29 c choco : 5.43 15.98/16.29 c mistral : 0.05 15.98/16.29 c abscon : 2.13 15.98/16.29 c 15.98/16.29 c 15.98/16.29 c /home/eomahony/cpZilla/CSP/queens/queens-8.xml 15.98/16.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 10.308300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 2.433540 | c 14 > 3.000000 | c 11 > 6.000000 | c 12 > 1.285400 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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 > 3.000000 | c 2 > -1.000000 | c 10 > 6.409390 | 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 > 9.409390 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.807350 | c 16.05/16.30 c choco : 1.32 16.05/16.30 c mistral : 0.013997 16.05/16.30 c abscon : 0.654899 16.05/16.30 c 16.05/16.30 c 16.05/16.30 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-3.xml 16.05/16.30 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 47.714300 | c 16 > 2.000000 | c 13 > 3.305440 | c 14 > -1.000000 | c 11 > 8.714250 | c 12 > 1.898620 | c 21 > 3.464100 | c 20 > 100.000000 | c 22 > 3.464100 | 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.584960 | c 2 > -1.000000 | c 10 > 9.271460 | 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 > 12.777300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.629360 | c 16.05/16.31 c choco : 4.13 16.05/16.31 c mistral : 0.03 16.05/16.31 c abscon : 1.97 16.05/16.31 c 16.05/16.31 c 16.05/16.31 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-1.xml 16.05/16.31 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 47.241400 | c 16 > 2.000000 | c 13 > 3.147790 | c 14 > -1.000000 | c 11 > 8.179910 | c 12 > 1.890210 | c 21 > 3.162280 | c 20 > 100.000000 | c 22 > 3.162280 | 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.321930 | c 2 > -1.000000 | c 10 > 8.731320 | 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 > 11.958600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.076820 | c 16.05/16.31 c choco : 3.61 16.05/16.31 c mistral : 0.02 16.05/16.31 c abscon : 1.82 16.05/16.31 c 16.05/16.31 c 16.05/16.31 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-13.xml 16.05/16.31 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 46.521700 | c 16 > 2.000000 | c 13 > 2.946650 | c 14 > -1.000000 | c 11 > 7.523560 | c 12 > 1.877320 | c 21 > 2.828430 | c 20 > 100.000000 | c 22 > 2.828430 | 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.000000 | c 2 > -1.000000 | c 10 > 8.066090 | 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 > 10.948400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.392320 | c 16.05/16.32 c choco : 3.02 16.05/16.32 c mistral : 0.02 16.05/16.32 c abscon : 1.72 16.05/16.32 c 16.05/16.32 c 16.05/16.32 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-add.xml 16.05/16.32 c 19 > 9.090910 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.181820 | c 15 > 13.555100 | c 34 > 62.727300 | c 16 > 2.000000 | c 13 > 5.784370 | c 14 > 8.339850 | c 11 > 6.714250 | c 12 > 4.175260 | c 21 > 6.324560 | c 20 > 90.909100 | c 22 > 10.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 > 3.321930 | c 2 > -1.000000 | c 10 > 7.189820 | 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 > 10.861100 | c 31 > -1.000000 | c 4 > 2.321930 | c 9 > -1.000000 | c 8 > 6.491850 | c 16.05/16.33 c choco : 4.99 16.05/16.33 c mistral : 1.3028 16.05/16.33 c abscon : 0.764883 16.05/16.33 c 16.05/16.33 c 16.05/16.33 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-11-a4.xml 16.05/16.33 c 19 > 0.000000 | c 35 > 36.800000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.807400 | c 34 > 29.200000 | c 16 > 4.000000 | c 13 > 5.183860 | c 14 > 6.044390 | c 11 > 11.372300 | c 12 > 2.212880 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.459430 | c 10 > 11.971200 | 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 > 18.163800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.366300 | c 16.05/16.33 c choco : 1801.0 16.05/16.33 c mistral : 1480.11 16.05/16.33 c abscon : 659.985 16.05/16.33 c 16.05/16.33 c 16.05/16.33 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-10-a4.xml 16.05/16.33 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.527500 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.031180 | c 14 > 6.266790 | c 11 > 10.773100 | c 12 > 2.311670 | c 21 > 7.483310 | c 20 > 100.000000 | c 22 > 7.483310 | 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 > 3.321930 | c 10 > 11.374500 | 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.563500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c 16.05/16.34 c choco : 1108.26 16.05/16.34 c mistral : 1800.02 16.05/16.34 c abscon : 11.1163 16.05/16.34 c 16.05/16.34 c 16.05/16.34 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-10-a4.xml 16.05/16.34 c 19 > 0.000000 | c 35 > 36.393400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.935800 | c 34 > 29.016400 | c 16 > 4.000000 | c 13 > 5.189370 | c 14 > 6.672430 | c 11 > 10.773100 | c 12 > 2.415450 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.321930 | c 10 > 11.374500 | 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.244800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.764900 | c 16.05/16.34 c choco : 131.18 16.05/16.34 c mistral : 110.014 16.05/16.34 c abscon : 92.8659 16.05/16.34 c 16.05/16.34 c 16.05/16.34 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-9-a4.xml 16.05/16.34 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.185700 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.914790 | c 14 > 8.118940 | c 11 > 10.104600 | c 12 > 3.174290 | c 21 > 6.708200 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 3.169930 | c 10 > 10.709100 | 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 > 16.574500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c 16.05/16.35 c choco : 102.53 16.05/16.35 c mistral : 181.37 16.05/16.35 c abscon : 3.36049 16.05/16.35 c 16.05/16.35 c 16.05/16.35 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-9-a4.xml 16.05/16.35 c 19 > 0.000000 | c 35 > 35.876300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.208400 | c 34 > 28.762900 | c 16 > 4.000000 | c 13 > 5.550970 | c 14 > 7.679480 | c 11 > 10.104600 | c 12 > 3.006210 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 3.169930 | c 10 > 10.709100 | 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 > 16.207300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.092800 | c 16.05/16.36 c choco : 85.51 16.05/16.36 c mistral : 12.2391 16.05/16.36 c abscon : 9.69353 16.05/16.36 c 16.05/16.36 c 16.05/16.36 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-8-a4.xml 16.05/16.36 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.304700 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.487570 | c 14 > 8.778080 | c 11 > 9.348730 | c 12 > 4.055880 | c 21 > 5.916080 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 3.000000 | c 10 > 9.957100 | 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.448500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c 16.05/16.37 c choco : 4.6 16.05/16.37 c mistral : 1.09783 16.05/16.37 c abscon : 1.09283 16.05/16.37 c 16.05/16.37 c 16.05/16.37 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml 16.05/16.37 c 19 > 0.000000 | c 35 > 35.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.605800 | c 34 > 28.400000 | c 16 > 4.000000 | c 13 > 6.576820 | c 14 > 8.879580 | c 11 > 9.348730 | c 12 > 4.144250 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 3.000000 | c 10 > 9.957100 | 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.012400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 9.330920 | c 16.05/16.37 c choco : 9.13 16.05/16.37 c mistral : 1.35979 16.05/16.37 c abscon : 2.70059 16.05/16.37 c 16.05/16.37 c 16.05/16.37 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml 16.05/16.37 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.726300 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 5.987050 | c 14 > 8.027910 | c 11 > 8.479780 | c 12 > 3.319910 | c 21 > 5.099020 | c 20 > 100.000000 | c 22 > 5.099020 | 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 > 2.807350 | c 10 > 9.092760 | 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.138300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 16.05/16.38 c choco : 2.14 16.05/16.38 c mistral : 1.10983 16.05/16.38 c abscon : 0.921859 16.05/16.38 c 16.05/16.38 c 16.05/16.38 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-50-9-mod.xml 16.05/16.38 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.002080 | c 14 > -1.000000 | c 11 > 5.643860 | c 12 > 8.942050 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.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 > 11.174900 | 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 > 8.813780 | c 31 > -1.000000 | c 4 > 5.643860 | c 9 > -1.000000 | c 8 > -1.000000 | c 16.05/16.38 c choco : 3.66 16.05/16.38 c mistral : 0.07 16.05/16.38 c abscon : 466.921 16.05/16.38 c 16.05/16.38 c 16.05/16.38 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-30-9-mod.xml 16.05/16.38 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 0.000000 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.675640 | c 14 > -1.000000 | c 11 > 4.906890 | c 12 > 6.101540 | c 21 > 3.000000 | c 20 > 100.000000 | c 22 > 3.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 > 9.370690 | 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 > 8.076820 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 16.05/16.39 c choco : 2.11 16.05/16.39 c mistral : 0.02 16.05/16.39 c abscon : 159.269 16.05/16.39 c 16.05/16.39 c 16.05/16.39 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-17-7-a4.xml 16.05/16.39 c 19 > 0.000000 | c 35 > 34.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.918100 | c 34 > 27.857100 | c 16 > 4.000000 | c 13 > 6.133140 | c 14 > 7.994350 | c 11 > 8.479780 | c 12 > 3.996460 | c 21 > 4.242640 | c 20 > 100.000000 | c 22 > 4.242640 | 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 > 2.807350 | c 10 > 9.092760 | 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 > 13.595300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 8.451210 | c 16.05/16.39 c choco : 2.24 16.05/16.39 c mistral : 0.108983 16.05/16.39 c abscon : 0.937856 16.05/16.39 c 16.05/16.39 c 16.05/16.40 c /home/eomahony/cpZilla/CSP/zhou/queens1.xml 16.05/16.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.671100 | c 34 > 16.666700 | c 16 > 2.000000 | c 13 > 4.844620 | c 14 > 5.672430 | c 11 > 13.169900 | c 12 > 2.306820 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | 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.569860 | c 2 > -1.000000 | c 10 > 14.476700 | 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 > 19.754900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > 13.154800 | c 16.11/16.41 c choco : 22.46 16.11/16.41 c mistral : 1.11783 16.11/16.41 c abscon : 3.40848 16.11/16.41 c 16.11/16.41 c 16.11/16.41 c Length: 40 16.11/16.41 c 3.0138999999999996 3.089371356797366 4.064248678513654 5.7813566002020655 12.23975461651499 13.524450460806161 17.55133468957036 19.19597866027674 19.491583016915275 20.01264426829448 20.013794459861927 20.68252043696077 20.71587260341693 22.276237781748268 22.588528082688345 22.685530980199694 24.017007718186377 24.278885661108916 25.425420731758383 25.84193474794409 26.5536281258381 26.760895977687294 27.048986655658652 27.92365630727645 28.04081287786251 28.89048787926573 29.98620056287225 31.273505742700163 33.30406140259172 33.37322246954435 33.88125207777894 34.42191901713645 34.70112402696921 35.2963770345428 35.85429027975035 35.9453859047653 36.261946338580614 36.273081255508195 36.47151266158151 36.47321629053983 16.11/16.41 c 16.11/16.41 c 1.0 0.9977494607214737 0.9695636373330324 0.9236074212696622 0.783862769658252 0.760960147542762 0.6971162757330249 0.6740204686772091 0.6700305736140754 0.6631114220398171 0.6630963067584925 0.6544233628841666 0.6539967427304609 0.6346408677668354 0.6309037859803291 0.629751924430052 0.6143559876288068 0.6114160454728607 0.5988690714833236 0.5944375720872624 0.5870153900496924 0.5848885370141822 0.5819578006897479 0.5732370723291502 0.5720887936577128 0.563896628166094 0.5536723661010347 0.54212411993391 0.5248563204172696 0.5242875269766362 0.520146886808438 0.5158114809531927 0.5136008163667161 0.508950465118724 0.5046676376322519 0.5039751770450204 0.5015835579734567 0.5014998466871463 0.5000127294317372 0.5 16.11/16.43 c 16.11/16.43 c solver 0 16.11/16.43 c before 0.0 seconds: {} 0 16.11/16.43 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 32, 33, 34, 35, 38, 39} 23056 16.11/16.43 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 38, 39} 23576 16.11/16.43 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 24077 16.11/16.43 c before 468.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24579 16.11/16.43 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25104 16.11/16.43 c 16.11/16.43 c solver 1 16.11/16.43 c before 0.0 seconds: {} 0 16.11/16.43 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 21701 16.11/16.43 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 22364 16.11/16.43 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 32, 33, 34, 35, 36, 37, 38, 39} 22884 16.11/16.43 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23400 16.11/16.43 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24055 16.11/16.43 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24579 16.11/16.43 c 16.11/16.43 c solver 2 16.11/16.43 c before 0.0 seconds: {} 0 16.11/16.43 c before 18.0 seconds: {4, 5, 6, 12, 13, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38} 13529 16.11/16.43 c before 36.0 seconds: {4, 5, 6, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38, 39} 14660 16.11/16.43 c before 54.0 seconds: {4, 5, 6, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38, 39} 15323 16.11/16.43 c before 72.0 seconds: {3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38, 39} 17590 16.11/16.43 c before 90.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 19104 16.11/16.43 c before 108.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19620 16.11/16.43 c before 144.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20140 16.11/16.43 c before 432.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21110 16.11/16.43 c before 1116.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21634 16.11/16.43 c 16.11/16.43 cTotal time: 182 16.11/16.43 c run abscon for 666.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25104 16.11/16.43 c run mistral for 252.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24055 16.11/16.43 c run choco for 432.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21110 16.11/16.43 c Starting solver: HOME/cpHydra_k_40/solver/abscon 16.11/16.43 c On Instance: HOME/instance-1093969-1215278715.xml 16.11/16.43 c Running for: 666 seconds 29.48/29.88 s SAT 29.48/29.88 v 121 119 108 88 123 113 13 194 8 126 102 7 112 101 193 9 192 100 191 73 10 190 11 96 69 189 12 98 188 14 85 187 15 186 16 185 17 184 18 183 19 182 20 181 21 92 180 22 179 109 178 23 177 116 110 24 176 105 25 175 83 135 140 89 125 117 107 146 26 137 68 174 27 132 173 29 172 64 28 67 171 30 122 170 49 169 70 63 127 142 167 32 168 162 136 31 166 34 165 33 164 71 76 114 35 37 200 54 36 66 56 161 163 57 41 159 151 59 42 44 148 145 147 138 43 157 155 53 158 156 149 40 45 154 144 52 47 153 48 55 152 143 46 50 150 111 51 38 104 5 196 39 160 93 197 103 94 87 91 81 99 82 77 75 72 118 139 129 131 133 65 130 61 141 134 62 128 120 3 124 115 60 2 106 58 199 79 86 4 6 90 195 84 78 97 198 74 80 95 1 29.48/29.88 d ASSIGNMENTS 534 29.48/29.88 d CHECKS 13549305
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093969-1215278715/watcher-1093969-1215278715 -o /tmp/evaluation-result-1093969-1215278715/solver-1093969-1215278715 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093969-1215278715.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.97 1.99 3/73 24830 /proc/meminfo: memFree=1547336/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=18572 CPUtime=0 /proc/24830/stat : 24830 (runsolver) R 24828 24830 23823 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2006844243 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 234208951794 0 0 4096 24578 0 0 0 17 1 0 0 /proc/24830/statm: 4643 292 257 25 0 2626 0 [startup+0.0953981 s] /proc/loadavg: 1.99 1.97 1.99 3/73 24830 /proc/meminfo: memFree=1547336/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=0 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006844243 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101395 s] /proc/loadavg: 1.99 1.97 1.99 3/73 24830 /proc/meminfo: memFree=1547336/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=0 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006844243 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30144 s] /proc/loadavg: 1.99 1.97 1.99 3/73 24830 /proc/meminfo: memFree=1547336/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=0 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006844243 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701522 s] /proc/loadavg: 1.99 1.97 1.99 3/73 24830 /proc/meminfo: memFree=1547336/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=0 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006844243 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50169 s] /proc/loadavg: 1.99 1.97 1.99 3/75 24834 /proc/meminfo: memFree=1510840/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=0 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006844243 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 236 195 169 0 51 0 [pid=24834] ppid=24830 vsize=186320 CPUtime=1.47 /proc/24834/stat : 24834 (xsolve) R 24830 24830 23823 0 -1 4194304 46150 0 0 0 128 19 0 0 25 0 1 0 2006844244 190791680 45769 996147200 134512640 135239763 4294956176 18446744073709551615 135016539 0 0 4096 0 0 0 0 17 1 0 0 /proc/24834/statm: 46580 45769 433 177 0 45483 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 191680 [startup+3.10202 s] /proc/loadavg: 1.99 1.97 1.99 3/75 24834 /proc/meminfo: memFree=1365176/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=0 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006844243 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 236 195 169 0 51 0 [pid=24834] ppid=24830 vsize=186320 CPUtime=3.06 /proc/24834/stat : 24834 (xsolve) R 24830 24830 23823 0 -1 4194304 46150 0 0 0 287 19 0 0 25 0 1 0 2006844244 190791680 45769 996147200 134512640 135239763 4294956176 18446744073709551615 135015275 0 0 4096 0 0 0 0 17 1 0 0 /proc/24834/statm: 46580 45769 433 177 0 45483 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 191680 [startup+6.30168 s] /proc/loadavg: 1.99 1.97 1.99 3/75 24834 /proc/meminfo: memFree=1365112/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=0 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006844243 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 236 195 169 0 51 0 [pid=24834] ppid=24830 vsize=186320 CPUtime=6.22 /proc/24834/stat : 24834 (xsolve) R 24830 24830 23823 0 -1 4194304 46150 0 0 0 603 19 0 0 25 0 1 0 2006844244 190791680 45769 996147200 134512640 135239763 4294956176 18446744073709551615 135016539 0 0 4096 0 0 0 0 17 1 0 0 /proc/24834/statm: 46580 45769 433 177 0 45483 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 191680 [startup+12.703 s] /proc/loadavg: 1.99 1.97 1.99 3/83 24846 /proc/meminfo: memFree=1535224/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=10.14 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 375 46905 0 0 0 0 991 23 18 0 1 0 2006844243 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 238 196 169 0 51 0 [pid=24838] ppid=24830 vsize=197004 CPUtime=2.41 /proc/24838/stat : 24838 (java) S 24830 24830 23823 0 -1 0 7283 0 1 0 233 8 0 0 18 0 9 0 2006845268 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/24838/statm: 49251 6087 2541 9 0 43833 0 [pid=24838/tid=24839] ppid=24830 vsize=197004 CPUtime=1.91 /proc/24838/task/24839/stat : 24839 (java) R 24830 24830 23823 0 -1 64 2958 0 1 0 188 3 0 0 25 0 9 0 2006845269 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4126453520 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24840] ppid=24830 vsize=197004 CPUtime=0.3 /proc/24838/task/24840/stat : 24840 (java) S 24830 24830 23823 0 -1 64 2972 0 0 0 27 3 0 0 16 0 9 0 2006845270 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24841] ppid=24830 vsize=197004 CPUtime=0 /proc/24838/task/24841/stat : 24841 (java) S 24830 24830 23823 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006845271 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24842] ppid=24830 vsize=197004 CPUtime=0 /proc/24838/task/24842/stat : 24842 (java) S 24830 24830 23823 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006845271 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24843] ppid=24830 vsize=197004 CPUtime=0 /proc/24838/task/24843/stat : 24843 (java) S 24830 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2006845273 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24844] ppid=24830 vsize=197004 CPUtime=0.17 /proc/24838/task/24844/stat : 24844 (java) S 24830 24830 23823 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 2006845273 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24845] ppid=24830 vsize=197004 CPUtime=0 /proc/24838/task/24845/stat : 24845 (java) S 24830 24830 23823 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2006845273 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24846] ppid=24830 vsize=197004 CPUtime=0 /proc/24838/task/24846/stat : 24846 (java) S 24830 24830 23823 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006845273 201732096 6087 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 202364 [startup+25.5027 s] /proc/loadavg: 1.99 1.97 1.99 3/95 24858 /proc/meminfo: memFree=1433296/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=10.14 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 375 46905 0 0 0 0 991 23 18 0 1 0 2006844243 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 238 196 169 0 51 0 [pid=24838] ppid=24830 vsize=197436 CPUtime=6.01 /proc/24838/stat : 24838 (java) S 24830 24830 23823 0 -1 0 11462 0 1 0 582 19 0 0 18 0 10 0 2006845268 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/24838/statm: 49359 9395 2544 9 0 43941 0 [pid=24848] ppid=24838 vsize=5356 CPUtime=0 /proc/24848/stat : 24848 (abscon) S 24838 24830 23823 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2006845887 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/24848/statm: 1339 237 196 169 0 50 0 [pid=24849] ppid=24848 vsize=655884 CPUtime=9.04 /proc/24849/stat : 24849 (java) S 24848 24830 23823 0 -1 0 24541 0 1 0 816 88 0 0 18 0 9 0 2006845888 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/24849/statm: 163971 23848 2616 9 0 158499 0 [pid=24849/tid=24851] ppid=24848 vsize=655884 CPUtime=8.04 /proc/24849/task/24851/stat : 24851 (java) R 24848 24830 23823 0 -1 64 12535 0 1 0 721 83 0 0 25 0 9 0 2006845888 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4127269534 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24852] ppid=24848 vsize=655884 CPUtime=0.63 /proc/24849/task/24852/stat : 24852 (java) S 24848 24830 23823 0 -1 64 10693 0 0 0 60 3 0 0 17 0 9 0 2006845890 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24853] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24853/stat : 24853 (java) S 24848 24830 23823 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24854] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24854/stat : 24854 (java) S 24848 24830 23823 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24855] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24855/stat : 24855 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006845892 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24856] ppid=24848 vsize=655884 CPUtime=0.32 /proc/24849/task/24856/stat : 24856 (java) S 24848 24830 23823 0 -1 64 767 0 0 0 32 0 0 0 16 0 9 0 2006845892 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24857] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24857/stat : 24857 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006845892 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24858] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24858/stat : 24858 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006845892 671625216 23848 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24850] ppid=24848 vsize=7044 CPUtime=0 /proc/24850/stat : 24850 (translate) S 24848 24830 23823 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006845888 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/24850/statm: 1761 213 182 1 0 41 0 [pid=24838/tid=24839] ppid=24830 vsize=197436 CPUtime=4.83 /proc/24838/task/24839/stat : 24839 (java) S 24830 24830 23823 0 -1 64 3863 0 1 0 475 8 0 0 25 0 10 0 2006845269 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=24838/tid=24840] ppid=24830 vsize=197436 CPUtime=0.9 /proc/24838/task/24840/stat : 24840 (java) S 24830 24830 23823 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2006845270 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24841] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24841/stat : 24841 (java) S 24830 24830 23823 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24842] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24842/stat : 24842 (java) S 24830 24830 23823 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24843] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24843/stat : 24843 (java) S 24830 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24844] ppid=24830 vsize=197436 CPUtime=0.24 /proc/24838/task/24844/stat : 24844 (java) S 24830 24830 23823 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24845] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24845/stat : 24845 (java) S 24830 24830 23823 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24846] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24846/stat : 24846 (java) S 24830 24830 23823 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24847] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24847/stat : 24847 (java) S 24830 24830 23823 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2006845887 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.19 Current children cumulated vsize (KiB) 871080 Solver just ended. Dumping a history of the last processes samples [startup+27.104 s] /proc/loadavg: 1.99 1.97 1.99 3/95 24858 /proc/meminfo: memFree=1433296/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=10.14 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 375 46905 0 0 0 0 991 23 18 0 1 0 2006844243 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 238 196 169 0 51 0 [pid=24838] ppid=24830 vsize=197436 CPUtime=6.01 /proc/24838/stat : 24838 (java) S 24830 24830 23823 0 -1 0 11462 0 1 0 582 19 0 0 18 0 10 0 2006845268 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/24838/statm: 49359 9395 2544 9 0 43941 0 [pid=24848] ppid=24838 vsize=5356 CPUtime=0 /proc/24848/stat : 24848 (abscon) S 24838 24830 23823 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2006845887 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/24848/statm: 1339 237 196 169 0 50 0 [pid=24849] ppid=24848 vsize=655884 CPUtime=10.64 /proc/24849/stat : 24849 (java) S 24848 24830 23823 0 -1 0 24546 0 1 0 976 88 0 0 18 0 9 0 2006845888 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/24849/statm: 163971 23852 2616 9 0 158499 0 [pid=24849/tid=24851] ppid=24848 vsize=655884 CPUtime=9.64 /proc/24849/task/24851/stat : 24851 (java) R 24848 24830 23823 0 -1 64 12537 0 1 0 881 83 0 0 25 0 9 0 2006845888 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4127240944 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24852] ppid=24848 vsize=655884 CPUtime=0.63 /proc/24849/task/24852/stat : 24852 (java) S 24848 24830 23823 0 -1 64 10693 0 0 0 60 3 0 0 17 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24853] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24853/stat : 24853 (java) S 24848 24830 23823 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24854] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24854/stat : 24854 (java) S 24848 24830 23823 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24855] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24855/stat : 24855 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24856] ppid=24848 vsize=655884 CPUtime=0.33 /proc/24849/task/24856/stat : 24856 (java) S 24848 24830 23823 0 -1 64 770 0 0 0 33 0 0 0 15 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24857] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24857/stat : 24857 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24858] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24858/stat : 24858 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24850] ppid=24848 vsize=7044 CPUtime=0 /proc/24850/stat : 24850 (translate) S 24848 24830 23823 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006845888 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/24850/statm: 1761 213 182 1 0 41 0 [pid=24838/tid=24839] ppid=24830 vsize=197436 CPUtime=4.83 /proc/24838/task/24839/stat : 24839 (java) S 24830 24830 23823 0 -1 64 3863 0 1 0 475 8 0 0 25 0 10 0 2006845269 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=24838/tid=24840] ppid=24830 vsize=197436 CPUtime=0.9 /proc/24838/task/24840/stat : 24840 (java) S 24830 24830 23823 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2006845270 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24841] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24841/stat : 24841 (java) S 24830 24830 23823 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24842] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24842/stat : 24842 (java) S 24830 24830 23823 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24843] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24843/stat : 24843 (java) S 24830 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24844] ppid=24830 vsize=197436 CPUtime=0.24 /proc/24838/task/24844/stat : 24844 (java) S 24830 24830 23823 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24845] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24845/stat : 24845 (java) S 24830 24830 23823 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24846] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24846/stat : 24846 (java) S 24830 24830 23823 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24847] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24847/stat : 24847 (java) S 24830 24830 23823 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2006845887 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 26.79 Current children cumulated vsize (KiB) 871080 [startup+28.7023 s] /proc/loadavg: 1.99 1.97 1.99 3/95 24858 /proc/meminfo: memFree=1433296/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=10.14 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 375 46905 0 0 0 0 991 23 18 0 1 0 2006844243 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 238 196 169 0 51 0 [pid=24838] ppid=24830 vsize=197436 CPUtime=6.01 /proc/24838/stat : 24838 (java) S 24830 24830 23823 0 -1 0 11462 0 1 0 582 19 0 0 18 0 10 0 2006845268 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/24838/statm: 49359 9395 2544 9 0 43941 0 [pid=24848] ppid=24838 vsize=5356 CPUtime=0 /proc/24848/stat : 24848 (abscon) S 24838 24830 23823 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2006845887 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/24848/statm: 1339 237 196 169 0 50 0 [pid=24849] ppid=24848 vsize=655884 CPUtime=12.23 /proc/24849/stat : 24849 (java) S 24848 24830 23823 0 -1 0 24547 0 1 0 1135 88 0 0 18 0 9 0 2006845888 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/24849/statm: 163971 23852 2616 9 0 158499 0 [pid=24849/tid=24851] ppid=24848 vsize=655884 CPUtime=11.23 /proc/24849/task/24851/stat : 24851 (java) R 24848 24830 23823 0 -1 64 12538 0 1 0 1040 83 0 0 25 0 9 0 2006845888 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4127240941 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24852] ppid=24848 vsize=655884 CPUtime=0.63 /proc/24849/task/24852/stat : 24852 (java) S 24848 24830 23823 0 -1 64 10693 0 0 0 60 3 0 0 17 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24853] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24853/stat : 24853 (java) S 24848 24830 23823 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24854] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24854/stat : 24854 (java) S 24848 24830 23823 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24855] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24855/stat : 24855 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24856] ppid=24848 vsize=655884 CPUtime=0.33 /proc/24849/task/24856/stat : 24856 (java) S 24848 24830 23823 0 -1 64 770 0 0 0 33 0 0 0 16 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24857] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24857/stat : 24857 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24858] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24858/stat : 24858 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24850] ppid=24848 vsize=7044 CPUtime=0 /proc/24850/stat : 24850 (translate) S 24848 24830 23823 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006845888 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/24850/statm: 1761 213 182 1 0 41 0 [pid=24838/tid=24839] ppid=24830 vsize=197436 CPUtime=4.83 /proc/24838/task/24839/stat : 24839 (java) S 24830 24830 23823 0 -1 64 3863 0 1 0 475 8 0 0 25 0 10 0 2006845269 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=24838/tid=24840] ppid=24830 vsize=197436 CPUtime=0.9 /proc/24838/task/24840/stat : 24840 (java) S 24830 24830 23823 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2006845270 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24841] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24841/stat : 24841 (java) S 24830 24830 23823 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24842] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24842/stat : 24842 (java) S 24830 24830 23823 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24843] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24843/stat : 24843 (java) S 24830 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24844] ppid=24830 vsize=197436 CPUtime=0.24 /proc/24838/task/24844/stat : 24844 (java) S 24830 24830 23823 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24845] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24845/stat : 24845 (java) S 24830 24830 23823 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24846] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24846/stat : 24846 (java) S 24830 24830 23823 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24847] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24847/stat : 24847 (java) S 24830 24830 23823 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2006845887 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 28.38 Current children cumulated vsize (KiB) 871080 [startup+29.5025 s] /proc/loadavg: 1.99 1.97 1.99 3/95 24858 /proc/meminfo: memFree=1433296/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=10.14 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 375 46905 0 0 0 0 991 23 18 0 1 0 2006844243 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 238 196 169 0 51 0 [pid=24838] ppid=24830 vsize=197436 CPUtime=6.01 /proc/24838/stat : 24838 (java) S 24830 24830 23823 0 -1 0 11462 0 1 0 582 19 0 0 18 0 10 0 2006845268 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/24838/statm: 49359 9395 2544 9 0 43941 0 [pid=24848] ppid=24838 vsize=5356 CPUtime=0 /proc/24848/stat : 24848 (abscon) S 24838 24830 23823 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2006845887 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/24848/statm: 1339 237 196 169 0 50 0 [pid=24849] ppid=24848 vsize=655884 CPUtime=13.03 /proc/24849/stat : 24849 (java) S 24848 24830 23823 0 -1 0 24547 0 1 0 1215 88 0 0 18 0 9 0 2006845888 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/24849/statm: 163971 23852 2616 9 0 158499 0 [pid=24849/tid=24851] ppid=24848 vsize=655884 CPUtime=12.03 /proc/24849/task/24851/stat : 24851 (java) R 24848 24830 23823 0 -1 64 12538 0 1 0 1120 83 0 0 25 0 9 0 2006845888 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4127245320 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24852] ppid=24848 vsize=655884 CPUtime=0.63 /proc/24849/task/24852/stat : 24852 (java) S 24848 24830 23823 0 -1 64 10693 0 0 0 60 3 0 0 17 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24853] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24853/stat : 24853 (java) S 24848 24830 23823 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24854] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24854/stat : 24854 (java) S 24848 24830 23823 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006845890 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24855] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24855/stat : 24855 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24856] ppid=24848 vsize=655884 CPUtime=0.33 /proc/24849/task/24856/stat : 24856 (java) S 24848 24830 23823 0 -1 64 770 0 0 0 33 0 0 0 16 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24857] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24857/stat : 24857 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24849/tid=24858] ppid=24848 vsize=655884 CPUtime=0 /proc/24849/task/24858/stat : 24858 (java) S 24848 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006845892 671625216 23852 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24850] ppid=24848 vsize=7044 CPUtime=0 /proc/24850/stat : 24850 (translate) S 24848 24830 23823 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006845888 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/24850/statm: 1761 213 182 1 0 41 0 [pid=24838/tid=24839] ppid=24830 vsize=197436 CPUtime=4.83 /proc/24838/task/24839/stat : 24839 (java) S 24830 24830 23823 0 -1 64 3863 0 1 0 475 8 0 0 25 0 10 0 2006845269 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=24838/tid=24840] ppid=24830 vsize=197436 CPUtime=0.9 /proc/24838/task/24840/stat : 24840 (java) S 24830 24830 23823 0 -1 64 6108 0 0 0 82 8 0 0 16 0 10 0 2006845270 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24841] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24841/stat : 24841 (java) S 24830 24830 23823 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24842] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24842/stat : 24842 (java) S 24830 24830 23823 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2006845271 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24843] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24843/stat : 24843 (java) S 24830 24830 23823 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24844] ppid=24830 vsize=197436 CPUtime=0.24 /proc/24838/task/24844/stat : 24844 (java) S 24830 24830 23823 0 -1 64 668 0 0 0 23 1 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24845] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24845/stat : 24845 (java) S 24830 24830 23823 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24846] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24846/stat : 24846 (java) S 24830 24830 23823 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 2006845273 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24847] ppid=24830 vsize=197436 CPUtime=0 /proc/24838/task/24847/stat : 24847 (java) S 24830 24830 23823 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2006845887 202174464 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 29.18 Current children cumulated vsize (KiB) 871080 [startup+29.9026 s] /proc/loadavg: 1.99 1.97 1.99 3/95 24858 /proc/meminfo: memFree=1433232/2055920 swapFree=4179680/4192956 [pid=24830] ppid=24828 vsize=5360 CPUtime=10.14 /proc/24830/stat : 24830 (hydra) S 24828 24830 23823 0 -1 4194304 375 46905 0 0 0 0 991 23 18 0 1 0 2006844243 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/24830/statm: 1340 238 196 169 0 51 0 [pid=24838] ppid=24830 vsize=197436 CPUtime=19.42 /proc/24838/stat : 24838 (java) S 24830 24830 23823 0 -1 0 11548 25169 1 1 582 19 1250 91 18 0 9 0 2006845268 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/24838/statm: 49359 9397 2545 9 0 43941 0 [pid=24838/tid=24839] ppid=24830 vsize=197436 CPUtime=18.24 /proc/24838/task/24839/stat : 24839 (java) S 24830 24830 23823 0 -1 64 3915 25169 1 1 475 8 1250 91 16 0 9 0 2006845269 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=24838/tid=24840] ppid=24830 vsize=197436 CPUtime=14.31 /proc/24838/task/24840/stat : 24840 (java) S 24830 24830 23823 0 -1 64 6130 25169 0 1 82 8 1250 91 16 0 9 0 2006845270 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=24838/tid=24841] ppid=24830 vsize=197436 CPUtime=13.41 /proc/24838/task/24841/stat : 24841 (java) S 24830 24830 23823 0 -1 64 11 25169 0 1 0 0 1250 91 16 0 9 0 2006845271 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24842] ppid=24830 vsize=197436 CPUtime=13.41 /proc/24838/task/24842/stat : 24842 (java) S 24830 24830 23823 0 -1 64 6 25169 0 1 0 0 1250 91 16 0 9 0 2006845271 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24843] ppid=24830 vsize=197436 CPUtime=13.41 /proc/24838/task/24843/stat : 24843 (java) S 24830 24830 23823 0 -1 64 1 25169 0 1 0 0 1250 91 18 0 9 0 2006845273 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24844] ppid=24830 vsize=197436 CPUtime=13.65 /proc/24838/task/24844/stat : 24844 (java) S 24830 24830 23823 0 -1 64 668 25169 0 1 23 1 1250 91 15 0 9 0 2006845273 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24845] ppid=24830 vsize=197436 CPUtime=13.41 /proc/24838/task/24845/stat : 24845 (java) S 24830 24830 23823 0 -1 64 0 25169 0 1 0 0 1250 91 19 0 9 0 2006845273 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=24838/tid=24846] ppid=24830 vsize=197436 CPUtime=13.41 /proc/24838/task/24846/stat : 24846 (java) S 24830 24830 23823 0 -1 64 28 25169 0 1 0 0 1250 91 15 0 9 0 2006845273 202174464 9397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 29.56 Current children cumulated vsize (KiB) 202796 Child status: 0 Real time (s): 29.9184 CPU time (s): 29.5855 CPU user time (s): 28.2407 CPU system time (s): 1.3448 CPU usage (%): 98.8872 Max. virtual memory (cumulated for all children) (KiB): 871084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.2407 system time used= 1.34479 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84038 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= 11411 involuntary context switches= 16416 runsolver used 0.12898 second user time and 0.254961 second system time The end
Begin job on node54 at 2008-07-05 19:25:16 IDJOB=1093969 IDBENCH=58738 IDSOLVER=366 FILE ID=node54/1093969-1215278715 PBS_JOBID= 7882186 Free space on /tmp= 66524 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/queens/normalized-queens-200.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093969-1215278715/watcher-1093969-1215278715 -o /tmp/evaluation-result-1093969-1215278715/solver-1093969-1215278715 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093969-1215278715.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 054f76ffe13ea2991d6de6635966b938 RANDOM SEED=1572164413 node54.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.279 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.279 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: 1547816 kB Buffers: 40544 kB Cached: 215752 kB SwapCached: 6932 kB Active: 328108 kB Inactive: 125908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1547816 kB SwapTotal: 4192956 kB SwapFree: 4179680 kB Dirty: 26968 kB Writeback: 0 kB Mapped: 204884 kB Slab: 39000 kB Committed_AS: 4153648 kB PageTables: 2112 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66500 MiB End job on node54 at 2008-07-05 19:25:46