Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 17.0334 | 17.3292 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 416 |
CHECKS | 5075110 |
Name | csp/queens/ normalized-queens-150.xml |
MD5SUM | 3e1168ad51844cea85c2810ca2ef4fbf |
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 | 2.32165 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 150 |
Number of constraints | 11175 |
Maximum constraint arity | 2 |
Maximum domain size | 150 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 11175 |
Global constraints used (with number of constraints) |
0.00/0.00 c cpHydra_k_40 version 0.0 9.26/9.44 c CASE TO CLASSIFY: 9.26/9.44 c Case: 0 9.26/9.44 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 15.769900 | 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 9.26/9.45 c choco : 1801.0 9.26/9.45 c mistral : 1801.0 9.26/9.45 c abscon : 1801.0 9.26/9.45 c 9.26/9.45 c 9.36/9.52 c List of same ones: 40 9.36/9.52 c /home/eomahony/cpZilla/CSP/queens/queens-150.xml 9.36/9.52 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 9.36/9.53 c choco : 415.93 9.36/9.53 c mistral : 1.06284 9.36/9.53 c abscon : 4.79627 9.36/9.53 c 9.36/9.53 c 9.36/9.53 c /home/eomahony/cpZilla/CSP/queens/queens-120.xml 9.36/9.53 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 9.36/9.54 c choco : 68.96 9.36/9.54 c mistral : 0.603907 9.36/9.54 c abscon : 2.94855 9.36/9.54 c 9.36/9.54 c 9.36/9.54 c /home/eomahony/cpZilla/CSP/queens/queens-180.xml 9.36/9.54 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 9.36/9.55 c choco : 1801.0 9.36/9.55 c mistral : 4.35734 9.36/9.55 c abscon : 6.98994 9.36/9.55 c 9.36/9.55 c 9.36/9.55 c /home/eomahony/cpZilla/CSP/queens/queens-200.xml 9.36/9.55 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 9.36/9.56 c choco : 73.34 9.36/9.56 c mistral : 2.26565 9.36/9.56 c abscon : 16.9784 9.36/9.56 c 9.36/9.56 c 9.36/9.56 c /home/eomahony/cpZilla/CSP/queens/queens-100.xml 9.36/9.56 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 9.36/9.57 c choco : 12.53 9.36/9.57 c mistral : 0.575912 9.36/9.57 c abscon : 2.12968 9.36/9.57 c 9.36/9.57 c 9.36/9.57 c /home/eomahony/cpZilla/CSP/queens/queens-80.xml 9.36/9.57 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 9.36/9.58 c choco : 8.63 9.36/9.58 c mistral : 0.248962 9.36/9.58 c abscon : 1.83272 9.36/9.58 c 9.36/9.58 c 9.36/9.58 c /home/eomahony/cpZilla/CSP/queens/queens-50.xml 9.36/9.58 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 9.36/9.59 c choco : 5.01 9.36/9.59 c mistral : 0.107983 9.36/9.59 c abscon : 1.16682 9.36/9.59 c 9.36/9.59 c 9.36/9.59 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-2.xml 9.36/9.59 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 9.36/9.59 c choco : 54.22 9.36/9.59 c mistral : 1.98 9.36/9.59 c abscon : 10.99 9.36/9.60 c 9.36/9.60 c 9.36/9.60 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-4.xml 9.36/9.60 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 9.44/9.60 c choco : 64.11 9.44/9.60 c mistral : 2.74 9.44/9.60 c abscon : 13.53 9.44/9.60 c 9.44/9.60 c 9.44/9.60 c /home/eomahony/cpZilla/CSP/queens/queens-30.xml 9.44/9.60 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 9.44/9.61 c choco : 2.85 9.44/9.61 c mistral : 0.044992 9.44/9.61 c abscon : 0.928858 9.44/9.61 c 9.44/9.61 c 9.44/9.61 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-14.xml 9.44/9.61 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 9.62/9.82 c choco : 41.55 9.62/9.82 c mistral : 1.11 9.62/9.82 c abscon : 10.02 9.62/9.82 c 9.62/9.82 c 9.62/9.82 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-20-5-add.xml 9.62/9.82 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 9.62/9.83 c choco : 1801.0 9.62/9.83 c mistral : 64.2982 9.62/9.83 c abscon : 1.19982 9.62/9.83 c 9.62/9.83 c 9.62/9.83 c /home/eomahony/cpZilla/CSP/queens/queens-20.xml 9.62/9.83 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 9.62/9.84 c choco : 2.05 9.62/9.84 c mistral : 0.024995 9.62/9.84 c abscon : 0.810875 9.62/9.84 c 9.62/9.84 c 9.62/9.84 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-25-5-add.xml 9.62/9.84 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 9.62/9.85 c choco : 1801.0 9.62/9.85 c mistral : 247.833 9.62/9.85 c abscon : 1.76173 9.62/9.85 c 9.62/9.85 c 9.62/9.85 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-12.xml 9.62/9.85 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 9.62/9.85 c choco : 26.91 9.62/9.85 c mistral : 0.45 9.62/9.85 c abscon : 7.74 9.62/9.85 c 9.62/9.85 c 9.62/9.85 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-15-5-add.xml 9.62/9.85 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 9.62/9.86 c choco : 1801.0 9.62/9.86 c mistral : 8.38672 9.62/9.86 c abscon : 0.891864 9.62/9.86 c 9.62/9.86 c 9.62/9.86 c /home/eomahony/cpZilla/CSP/queens/queens-15.xml 9.62/9.86 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 9.62/9.86 c choco : 1.66 9.62/9.86 c mistral : 0.016996 9.62/9.86 c abscon : 0.728888 9.62/9.86 c 9.62/9.86 c 9.62/9.86 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-10.xml 9.62/9.86 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 9.62/9.88 c choco : 15.67 9.62/9.88 c mistral : 0.17 9.62/9.88 c abscon : 4.68 9.62/9.88 c 9.62/9.88 c 9.62/9.88 c /home/eomahony/cpZilla/CSP/queens/queens-12.xml 9.62/9.88 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 9.62/9.88 c choco : 1.53 9.62/9.88 c mistral : 0.014997 9.62/9.88 c abscon : 0.767882 9.62/9.88 c 9.62/9.88 c 9.62/9.88 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-8.xml 9.62/9.88 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 9.62/9.89 c choco : 8.8 9.62/9.89 c mistral : 0.08 9.62/9.89 c abscon : 2.86 9.62/9.89 c 9.62/9.89 c 9.62/9.89 c /home/eomahony/cpZilla/CSP/queens/queens-10.xml 9.62/9.89 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 9.62/9.90 c choco : 1.43 9.62/9.90 c mistral : 0.014997 9.62/9.90 c abscon : 0.659899 9.62/9.90 c 9.62/9.90 c 9.62/9.90 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-5.xml 9.62/9.90 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 9.70/9.91 c choco : 5.43 9.70/9.91 c mistral : 0.05 9.70/9.91 c abscon : 2.13 9.70/9.91 c 9.70/9.91 c 9.70/9.91 c /home/eomahony/cpZilla/CSP/queens/queens-8.xml 9.70/9.91 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 9.70/9.91 c choco : 1.32 9.70/9.91 c mistral : 0.013997 9.70/9.91 c abscon : 0.654899 9.70/9.91 c 9.70/9.91 c 9.70/9.91 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-12-5-add.xml 9.70/9.91 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 9.70/9.92 c choco : 10.21 9.70/9.92 c mistral : 3.03454 9.70/9.92 c abscon : 0.826873 9.70/9.92 c 9.70/9.92 c 9.70/9.92 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-3.xml 9.70/9.92 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 9.70/9.92 c choco : 4.13 9.70/9.92 c mistral : 0.03 9.70/9.92 c abscon : 1.97 9.70/9.92 c 9.70/9.92 c 9.70/9.92 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-1.xml 9.70/9.92 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 9.70/9.93 c choco : 3.61 9.70/9.93 c mistral : 0.02 9.70/9.93 c abscon : 1.82 9.70/9.93 c 9.70/9.93 c 9.70/9.93 c /home/ehebrard/new_instances/competition_4c/data/super-queens/super-queens-13.xml 9.70/9.93 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 9.70/9.94 c choco : 3.02 9.70/9.94 c mistral : 0.02 9.70/9.94 c abscon : 1.72 9.70/9.94 c 9.70/9.94 c 9.70/9.94 c /home/eomahony/cpZilla/CSP/queensKnights/queensKnights-10-5-add.xml 9.70/9.94 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 9.70/9.94 c choco : 4.99 9.70/9.94 c mistral : 1.3028 9.70/9.94 c abscon : 0.764883 9.70/9.94 c 9.70/9.94 c 9.70/9.94 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-11-a4.xml 9.70/9.94 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 9.70/9.95 c choco : 1801.0 9.70/9.95 c mistral : 1480.11 9.70/9.95 c abscon : 659.985 9.70/9.95 c 9.70/9.95 c 9.70/9.95 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-55-10-a4.xml 9.70/9.95 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 9.70/9.95 c choco : 1108.26 9.70/9.95 c mistral : 1800.02 9.70/9.95 c abscon : 11.1163 9.70/9.95 c 9.70/9.95 c 9.70/9.95 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-10-a4.xml 9.70/9.95 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 9.70/9.96 c choco : 131.18 9.70/9.96 c mistral : 110.014 9.70/9.96 c abscon : 92.8659 9.70/9.96 c 9.70/9.96 c 9.70/9.96 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-44-9-a4.xml 9.70/9.96 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 9.70/9.96 c choco : 102.53 9.70/9.96 c mistral : 181.37 9.70/9.96 c abscon : 3.36049 9.70/9.96 c 9.70/9.96 c 9.70/9.96 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-9-a4.xml 9.70/9.96 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 9.70/9.97 c choco : 85.51 9.70/9.97 c mistral : 12.2391 9.70/9.97 c abscon : 9.69353 9.70/9.97 c 9.70/9.97 c 9.70/9.97 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-30-9-mod.xml 9.70/9.97 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 9.70/9.98 c choco : 2.11 9.70/9.98 c mistral : 0.02 9.70/9.98 c abscon : 159.269 9.70/9.98 c 9.70/9.98 c 9.70/9.98 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-50-9-mod.xml 9.70/9.98 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 9.70/9.99 c choco : 3.66 9.70/9.99 c mistral : 0.07 9.70/9.99 c abscon : 466.921 9.70/9.99 c 9.70/9.99 c 9.70/9.99 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-34-8-a4.xml 9.70/9.99 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 9.70/9.99 c choco : 4.6 9.70/9.99 c mistral : 1.09783 9.70/9.99 c abscon : 1.09283 9.70/9.99 c 9.70/9.99 c 9.70/9.99 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-20-9-mod.xml 9.70/9.99 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 > 2.908300 | c 14 > -1.000000 | c 11 > 4.321930 | c 12 > 5.314700 | 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 > 8.159870 | 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 > 7.491850 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 9.75/10.00 c choco : 1.63 9.75/10.00 c mistral : 0.02 9.75/10.00 c abscon : 53.3149 9.75/10.00 c 9.75/10.00 c 9.75/10.00 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-15-9-mod.xml 9.75/10.00 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 > 1.972220 | c 14 > -1.000000 | c 11 > 3.906890 | c 12 > 4.527740 | 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 > 7.238400 | 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 > 7.076820 | c 31 > -1.000000 | c 4 > 3.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 9.75/10.00 c choco : 1.42 9.75/10.00 c mistral : 0.01 9.75/10.00 c abscon : 30.7603 9.75/10.00 c 9.75/10.00 c 9.75/10.00 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-7-a4.xml 9.75/10.00 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 9.75/10.01 c choco : 2.14 9.75/10.01 c mistral : 1.10983 9.75/10.01 c abscon : 0.921859 9.75/10.01 c 9.75/10.01 c 9.75/10.01 c /home/eomahony/cpZilla/CSP/golombRuler/golombRulerArity4/ruler-25-8-a4.xml 9.75/10.01 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 9.75/10.02 c choco : 9.13 9.75/10.02 c mistral : 1.35979 9.75/10.02 c abscon : 2.70059 9.75/10.02 c 9.75/10.02 c 9.75/10.02 c Length: 40 9.75/10.02 c 1.5920000000000005 2.4176982290393494 2.8506218036421447 3.9240824444448137 10.566491268368134 11.498013701557326 15.28268277978039 18.08604124112571 18.09125502762592 18.16846089511712 18.284151249552163 18.928384973863988 19.3158887343355 20.46209581215228 20.471396271969336 20.947367628396655 20.984518966296655 21.767894698872468 22.346906390198377 23.123206303387082 23.515370974460513 24.226572026269007 24.835484191392364 24.888950144644514 25.158662263198732 25.9713901391897 27.03524231252977 29.50016859477078 32.216923364747295 32.22061236921638 32.65626708474194 33.16556353384486 33.350149829287126 33.57078057652369 33.675046751012836 33.91005214796049 33.95549830143566 34.293167934674685 34.34823185923404 34.39305206443593 9.75/10.02 c 9.75/10.02 c 1.0 0.9754451969984277 0.9630465691328368 0.93362156616412 0.785173559638159 0.7680474290639449 0.7055243727588378 0.6654019673137571 0.6653315972897343 0.6642912957423449 0.6627385149501019 0.6542227525387717 0.6492051558273875 0.6348040136979003 0.6346897737984576 0.6288976938526993 0.6284500450279985 0.6191570875344178 0.6124631695690919 0.6037122889753018 0.5993859823998866 0.5916962711697114 0.5852676149323088 0.5847098073507956 0.5819120476267917 0.5736411052511259 0.5631633521412872 0.5402976962686733 0.5171548697908347 0.5171247925920522 0.5135972465403107 0.5095339484296963 0.5080770998134829 0.506346662644759 0.5055329836318242 0.5037085884573907 0.5033572990264154 0.5007624484312333 0.5003418400101358 0.5 9.75/10.03 c 9.75/10.03 c solver 0 9.75/10.03 c before 0.0 seconds: {} 0 9.75/10.03 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, 35, 38, 39} 22113 9.75/10.04 c before 36.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, 35, 37, 38, 39} 22613 9.75/10.04 c before 54.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, 35, 36, 37, 38, 39} 23117 9.75/10.04 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, 35, 36, 37, 38, 39} 23630 9.75/10.04 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, 35, 36, 37, 38, 39} 24137 9.75/10.04 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} 24642 9.75/10.04 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} 25159 9.75/10.04 c 9.75/10.04 c solver 1 9.75/10.04 c before 0.0 seconds: {} 0 9.75/10.04 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 21813 9.75/10.04 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 22467 9.75/10.04 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 32, 33, 34, 35, 36, 37, 38, 39} 22981 9.75/10.04 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23490 9.75/10.04 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} 24125 9.75/10.04 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} 24642 9.75/10.04 c 9.75/10.04 c solver 2 9.75/10.04 c before 0.0 seconds: {} 0 9.75/10.04 c before 18.0 seconds: {4, 5, 6, 9, 12, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38, 39} 14176 9.75/10.04 c before 36.0 seconds: {4, 5, 6, 9, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38, 39} 14810 9.75/10.04 c before 54.0 seconds: {4, 5, 6, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38, 39} 15473 9.75/10.04 c before 72.0 seconds: {1, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 33, 34, 35, 36, 37, 38, 39} 17779 9.75/10.04 c before 90.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39} 19221 9.75/10.04 c before 108.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19730 9.75/10.04 c before 144.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20244 9.75/10.04 c before 432.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21244 9.75/10.04 c before 1116.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21761 9.75/10.04 c 9.75/10.04 cTotal time: 182 9.75/10.04 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} 25159 9.75/10.04 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} 24125 9.75/10.04 c run choco for 432.0 seconds {0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 21244 9.75/10.04 c Starting solver: HOME/cpHydra_k_40/solver/abscon 9.75/10.04 c On Instance: HOME/instance-1093885-1215278472.xml 9.75/10.04 c Running for: 666 seconds 16.91/17.29 s SAT 16.91/17.29 v 100 96 66 68 90 67 6 144 57 7 143 8 142 9 141 10 140 11 139 12 138 13 137 14 136 15 59 135 16 134 17 133 18 132 19 64 88 131 20 130 21 61 92 103 78 99 93 71 60 128 23 25 62 129 24 22 127 26 65 58 126 112 123 43 47 27 29 125 121 124 106 119 32 30 101 50 120 35 42 34 4 149 113 104 52 46 108 39 116 114 40 117 115 36 38 111 37 45 102 75 49 109 107 118 110 33 41 28 97 122 81 148 31 85 146 69 5 94 63 48 98 105 56 74 55 91 73 86 44 51 95 84 70 89 54 77 150 3 147 2 79 87 82 145 76 72 83 80 53 1 16.91/17.29 d ASSIGNMENTS 416 16.91/17.29 d CHECKS 5075108
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-1093885-1215278472/watcher-1093885-1215278472 -o /tmp/evaluation-result-1093885-1215278472/solver-1093885-1215278472 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093885-1215278472.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/80 26675 /proc/meminfo: memFree=1298712/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=880 CPUtime=0 /proc/26675/stat : 26675 (hydra) R 26673 26675 23995 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 2006821490 901120 25 996147200 4194304 4889804 548682068816 18446744073709551615 221233870217 0 0 4096 0 0 0 0 17 1 0 0 /proc/26675/statm: 220 25 18 169 0 8 0 [startup+0.036305 s] /proc/loadavg: 2.00 2.00 2.00 4/80 26675 /proc/meminfo: memFree=1298712/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=0 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006821490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101316 s] /proc/loadavg: 2.00 2.00 2.00 4/80 26675 /proc/meminfo: memFree=1298712/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=0 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006821490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301355 s] /proc/loadavg: 2.00 2.00 2.00 4/80 26675 /proc/meminfo: memFree=1298712/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=0 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006821490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701434 s] /proc/loadavg: 2.00 2.00 2.00 4/80 26675 /proc/meminfo: memFree=1298712/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=0 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006821490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50258 s] /proc/loadavg: 2.00 2.00 2.00 3/82 26679 /proc/meminfo: memFree=1213448/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=0 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006821490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 236 195 169 0 51 0 [pid=26679] ppid=26675 vsize=90024 CPUtime=1.47 /proc/26679/stat : 26679 (xsolve) R 26675 26675 23995 0 -1 4194304 21916 0 0 0 139 8 0 0 25 0 1 0 2006821491 92184576 21605 996147200 134512640 135239763 4294956176 18446744073709551615 135016540 0 0 4096 0 0 0 0 17 1 0 0 /proc/26679/statm: 22506 21605 433 177 0 21409 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 95384 [startup+3.10188 s] /proc/loadavg: 2.00 2.00 2.00 3/82 26679 /proc/meminfo: memFree=1213320/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=0 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2006821490 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 236 195 169 0 51 0 [pid=26679] ppid=26675 vsize=90288 CPUtime=3.05 /proc/26679/stat : 26679 (xsolve) R 26675 26675 23995 0 -1 4194304 22006 0 0 0 296 9 0 0 25 0 1 0 2006821491 92454912 21695 996147200 134512640 135239763 4294956176 18446744073709551615 134805270 0 0 4096 0 0 0 0 17 1 0 0 /proc/26679/statm: 22572 21695 435 177 0 21475 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 95648 [startup+6.30249 s] /proc/loadavg: 2.00 2.00 2.00 3/90 26691 /proc/meminfo: memFree=1286664/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=3.82 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 375 22603 0 0 0 0 370 12 18 0 1 0 2006821490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 238 196 169 0 51 0 [pid=26683] ppid=26675 vsize=197020 CPUtime=2.37 /proc/26683/stat : 26683 (java) S 26675 26675 23995 0 -1 0 7447 0 1 0 230 7 0 0 18 0 9 0 2006821879 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26683/statm: 49255 6216 2541 9 0 43837 0 [pid=26683/tid=26684] ppid=26675 vsize=197020 CPUtime=1.8 /proc/26683/task/26684/stat : 26684 (java) R 26675 26675 23995 0 -1 64 2991 0 1 0 178 2 0 0 25 0 9 0 2006821880 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4126613729 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26685] ppid=26675 vsize=197020 CPUtime=0.37 /proc/26683/task/26685/stat : 26685 (java) S 26675 26675 23995 0 -1 64 3103 0 0 0 34 3 0 0 16 0 9 0 2006821881 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26686] ppid=26675 vsize=197020 CPUtime=0 /proc/26683/task/26686/stat : 26686 (java) S 26675 26675 23995 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006821881 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26687] ppid=26675 vsize=197020 CPUtime=0 /proc/26683/task/26687/stat : 26687 (java) S 26675 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2006821881 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26688] ppid=26675 vsize=197020 CPUtime=0 /proc/26683/task/26688/stat : 26688 (java) S 26675 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2006821883 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26689] ppid=26675 vsize=197020 CPUtime=0.17 /proc/26683/task/26689/stat : 26689 (java) S 26675 26675 23995 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 2006821883 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26690] ppid=26675 vsize=197020 CPUtime=0 /proc/26683/task/26690/stat : 26690 (java) S 26675 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2006821883 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26691] ppid=26675 vsize=197020 CPUtime=0 /proc/26683/task/26691/stat : 26691 (java) S 26675 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006821883 201748480 6216 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 202380 [startup+12.7027 s] /proc/loadavg: 2.00 2.00 2.00 3/102 26703 /proc/meminfo: memFree=1220520/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=3.82 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 375 22603 0 0 0 0 370 12 18 0 1 0 2006821490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 238 196 169 0 51 0 [pid=26683] ppid=26675 vsize=197344 CPUtime=5.96 /proc/26683/stat : 26683 (java) S 26675 26675 23995 0 -1 0 13942 0 1 0 579 17 0 0 18 0 10 0 2006821879 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26683/statm: 49336 9481 2544 9 0 43918 0 [pid=26693] ppid=26683 vsize=5356 CPUtime=0 /proc/26693/stat : 26693 (abscon) S 26683 26675 23995 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2006822495 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26693/statm: 1339 237 196 169 0 50 0 [pid=26694] ppid=26693 vsize=655884 CPUtime=2.63 /proc/26694/stat : 26694 (java) S 26693 26675 23995 0 -1 0 15934 0 1 0 242 21 0 0 18 0 9 0 2006822496 671625216 15439 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26694/statm: 163971 15440 2007 9 0 158499 0 [pid=26694/tid=26696] ppid=26693 vsize=655884 CPUtime=2.3 /proc/26694/task/26696/stat : 26696 (java) R 26693 26675 23995 0 -1 64 12442 0 1 0 212 18 0 0 25 0 9 0 2006822496 671625216 15441 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26697] ppid=26693 vsize=655884 CPUtime=0.06 /proc/26694/task/26697/stat : 26697 (java) R 26693 26675 23995 0 -1 64 2249 0 0 0 6 0 0 0 16 0 9 0 2006822498 671625216 15442 996147200 134512640 134550740 4294955808 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26698] ppid=26693 vsize=655884 CPUtime=0 /proc/26694/task/26698/stat : 26698 (java) S 26693 26675 23995 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2006822498 671625216 15443 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26699] ppid=26693 vsize=655884 CPUtime=0 /proc/26694/task/26699/stat : 26699 (java) S 26693 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006822498 671625216 15444 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26700] ppid=26693 vsize=655884 CPUtime=0 /proc/26694/task/26700/stat : 26700 (java) S 26693 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006822500 671625216 15445 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26701] ppid=26693 vsize=655884 CPUtime=0.23 /proc/26694/task/26701/stat : 26701 (java) S 26693 26675 23995 0 -1 64 701 0 0 0 23 0 0 0 16 0 9 0 2006822500 671625216 15446 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26702] ppid=26693 vsize=655884 CPUtime=0 /proc/26694/task/26702/stat : 26702 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2006822500 671625216 15448 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26703] ppid=26693 vsize=655884 CPUtime=0 /proc/26694/task/26703/stat : 26703 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006822500 671625216 15449 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26695] ppid=26693 vsize=7044 CPUtime=0 /proc/26695/stat : 26695 (translate) S 26693 26675 23995 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006822496 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221236658258 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26695/statm: 1761 213 182 1 0 41 0 [pid=26683/tid=26684] ppid=26675 vsize=197344 CPUtime=4.62 /proc/26683/task/26684/stat : 26684 (java) S 26675 26675 23995 0 -1 64 3901 0 1 0 455 7 0 0 25 0 10 0 2006821880 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26683/tid=26685] ppid=26675 vsize=197344 CPUtime=1.08 /proc/26683/task/26685/stat : 26685 (java) S 26675 26675 23995 0 -1 64 8570 0 0 0 100 8 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26686] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26686/stat : 26686 (java) S 26675 26675 23995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26687] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26687/stat : 26687 (java) S 26675 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26688] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26688/stat : 26688 (java) S 26675 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26689] ppid=26675 vsize=197344 CPUtime=0.23 /proc/26683/task/26689/stat : 26689 (java) S 26675 26675 23995 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26690] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26690/stat : 26690 (java) S 26675 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26691] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26691/stat : 26691 (java) S 26675 26675 23995 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26692] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26692/stat : 26692 (java) S 26675 26675 23995 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822495 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.41 Current children cumulated vsize (KiB) 870988 Solver just ended. Dumping a history of the last processes samples [startup+15.9033 s] /proc/loadavg: 2.00 2.00 2.00 3/102 26703 /proc/meminfo: memFree=1198312/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=3.82 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 375 22603 0 0 0 0 370 12 18 0 1 0 2006821490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 238 196 169 0 51 0 [pid=26683] ppid=26675 vsize=197344 CPUtime=5.96 /proc/26683/stat : 26683 (java) S 26675 26675 23995 0 -1 0 13965 0 1 0 579 17 0 0 18 0 10 0 2006821879 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26683/statm: 49336 9481 2544 9 0 43918 0 [pid=26693] ppid=26683 vsize=5356 CPUtime=0 /proc/26693/stat : 26693 (abscon) S 26683 26675 23995 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2006822495 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26693/statm: 1339 237 196 169 0 50 0 [pid=26694] ppid=26693 vsize=655988 CPUtime=5.83 /proc/26694/stat : 26694 (java) S 26693 26675 23995 0 -1 0 21129 0 1 0 529 54 0 0 18 0 9 0 2006822496 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26694/statm: 163997 20417 2615 9 0 158525 0 [pid=26694/tid=26696] ppid=26693 vsize=655988 CPUtime=5.18 /proc/26694/task/26696/stat : 26696 (java) R 26693 26675 23995 0 -1 64 12548 0 1 0 469 49 0 0 25 0 9 0 2006822496 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4127169709 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26697] ppid=26693 vsize=655988 CPUtime=0.3 /proc/26694/task/26697/stat : 26697 (java) S 26693 26675 23995 0 -1 64 7288 0 0 0 28 2 0 0 17 0 9 0 2006822498 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26698] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26698/stat : 26698 (java) S 26693 26675 23995 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2006822498 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26699] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26699/stat : 26699 (java) S 26693 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006822498 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26700] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26700/stat : 26700 (java) S 26693 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006822500 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26701] ppid=26693 vsize=655988 CPUtime=0.31 /proc/26694/task/26701/stat : 26701 (java) S 26693 26675 23995 0 -1 64 748 0 0 0 31 0 0 0 15 0 9 0 2006822500 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26702] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26702/stat : 26702 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2006822500 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26703] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26703/stat : 26703 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006822500 671731712 20417 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26695] ppid=26693 vsize=7044 CPUtime=0 /proc/26695/stat : 26695 (translate) S 26693 26675 23995 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006822496 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221236658258 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26695/statm: 1761 213 182 1 0 41 0 [pid=26683/tid=26684] ppid=26675 vsize=197344 CPUtime=4.62 /proc/26683/task/26684/stat : 26684 (java) S 26675 26675 23995 0 -1 64 3901 0 1 0 455 7 0 0 25 0 10 0 2006821880 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26683/tid=26685] ppid=26675 vsize=197344 CPUtime=1.08 /proc/26683/task/26685/stat : 26685 (java) S 26675 26675 23995 0 -1 64 8570 0 0 0 100 8 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26686] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26686/stat : 26686 (java) S 26675 26675 23995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26687] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26687/stat : 26687 (java) S 26675 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26688] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26688/stat : 26688 (java) S 26675 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26689] ppid=26675 vsize=197344 CPUtime=0.23 /proc/26683/task/26689/stat : 26689 (java) S 26675 26675 23995 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26690] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26690/stat : 26690 (java) S 26675 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26691] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26691/stat : 26691 (java) S 26675 26675 23995 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26692] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26692/stat : 26692 (java) S 26675 26675 23995 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822495 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15.61 Current children cumulated vsize (KiB) 871092 [startup+16.7034 s] /proc/loadavg: 2.00 2.00 2.00 3/102 26703 /proc/meminfo: memFree=1198248/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=3.82 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 375 22603 0 0 0 0 370 12 18 0 1 0 2006821490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 238 196 169 0 51 0 [pid=26683] ppid=26675 vsize=197344 CPUtime=5.96 /proc/26683/stat : 26683 (java) S 26675 26675 23995 0 -1 0 13965 0 1 0 579 17 0 0 18 0 10 0 2006821879 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26683/statm: 49336 9481 2544 9 0 43918 0 [pid=26693] ppid=26683 vsize=5356 CPUtime=0 /proc/26693/stat : 26693 (abscon) S 26683 26675 23995 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2006822495 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26693/statm: 1339 237 196 169 0 50 0 [pid=26694] ppid=26693 vsize=655988 CPUtime=6.63 /proc/26694/stat : 26694 (java) S 26693 26675 23995 0 -1 0 21131 0 1 0 609 54 0 0 18 0 9 0 2006822496 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26694/statm: 163997 20418 2615 9 0 158525 0 [pid=26694/tid=26696] ppid=26693 vsize=655988 CPUtime=5.98 /proc/26694/task/26696/stat : 26696 (java) R 26693 26675 23995 0 -1 64 12549 0 1 0 549 49 0 0 25 0 9 0 2006822496 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4125960279 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26697] ppid=26693 vsize=655988 CPUtime=0.3 /proc/26694/task/26697/stat : 26697 (java) S 26693 26675 23995 0 -1 64 7288 0 0 0 28 2 0 0 17 0 9 0 2006822498 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26698] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26698/stat : 26698 (java) S 26693 26675 23995 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2006822498 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26699] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26699/stat : 26699 (java) S 26693 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006822498 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26700] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26700/stat : 26700 (java) S 26693 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26701] ppid=26693 vsize=655988 CPUtime=0.31 /proc/26694/task/26701/stat : 26701 (java) S 26693 26675 23995 0 -1 64 749 0 0 0 31 0 0 0 16 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26702] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26702/stat : 26702 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26703] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26703/stat : 26703 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26695] ppid=26693 vsize=7044 CPUtime=0 /proc/26695/stat : 26695 (translate) S 26693 26675 23995 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006822496 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221236658258 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26695/statm: 1761 213 182 1 0 41 0 [pid=26683/tid=26684] ppid=26675 vsize=197344 CPUtime=4.62 /proc/26683/task/26684/stat : 26684 (java) S 26675 26675 23995 0 -1 64 3901 0 1 0 455 7 0 0 25 0 10 0 2006821880 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26683/tid=26685] ppid=26675 vsize=197344 CPUtime=1.08 /proc/26683/task/26685/stat : 26685 (java) S 26675 26675 23995 0 -1 64 8570 0 0 0 100 8 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26686] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26686/stat : 26686 (java) S 26675 26675 23995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26687] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26687/stat : 26687 (java) S 26675 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26688] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26688/stat : 26688 (java) S 26675 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26689] ppid=26675 vsize=197344 CPUtime=0.23 /proc/26683/task/26689/stat : 26689 (java) S 26675 26675 23995 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26690] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26690/stat : 26690 (java) S 26675 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26691] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26691/stat : 26691 (java) S 26675 26675 23995 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26692] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26692/stat : 26692 (java) S 26675 26675 23995 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822495 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 16.41 Current children cumulated vsize (KiB) 871092 [startup+17.1025 s] /proc/loadavg: 2.00 2.00 2.00 3/102 26703 /proc/meminfo: memFree=1198248/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=3.82 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 375 22603 0 0 0 0 370 12 18 0 1 0 2006821490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 238 196 169 0 51 0 [pid=26683] ppid=26675 vsize=197344 CPUtime=5.96 /proc/26683/stat : 26683 (java) S 26675 26675 23995 0 -1 0 13965 0 1 0 579 17 0 0 18 0 10 0 2006821879 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26683/statm: 49336 9481 2544 9 0 43918 0 [pid=26693] ppid=26683 vsize=5356 CPUtime=0 /proc/26693/stat : 26693 (abscon) S 26683 26675 23995 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2006822495 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 221236486980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/26693/statm: 1339 237 196 169 0 50 0 [pid=26694] ppid=26693 vsize=655988 CPUtime=7.03 /proc/26694/stat : 26694 (java) S 26693 26675 23995 0 -1 0 21131 0 1 0 649 54 0 0 18 0 9 0 2006822496 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/26694/statm: 163997 20418 2615 9 0 158525 0 [pid=26694/tid=26696] ppid=26693 vsize=655988 CPUtime=6.38 /proc/26694/task/26696/stat : 26696 (java) R 26693 26675 23995 0 -1 64 12549 0 1 0 589 49 0 0 25 0 9 0 2006822496 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4127167700 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26697] ppid=26693 vsize=655988 CPUtime=0.3 /proc/26694/task/26697/stat : 26697 (java) S 26693 26675 23995 0 -1 64 7288 0 0 0 28 2 0 0 17 0 9 0 2006822498 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26698] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26698/stat : 26698 (java) S 26693 26675 23995 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2006822498 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26699] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26699/stat : 26699 (java) S 26693 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2006822498 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26700] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26700/stat : 26700 (java) S 26693 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26701] ppid=26693 vsize=655988 CPUtime=0.31 /proc/26694/task/26701/stat : 26701 (java) S 26693 26675 23995 0 -1 64 749 0 0 0 31 0 0 0 16 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26702] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26702/stat : 26702 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26694/tid=26703] ppid=26693 vsize=655988 CPUtime=0 /proc/26694/task/26703/stat : 26703 (java) S 26693 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2006822500 671731712 20418 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26695] ppid=26693 vsize=7044 CPUtime=0 /proc/26695/stat : 26695 (translate) S 26693 26675 23995 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2006822496 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 221236658258 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/26695/statm: 1761 213 182 1 0 41 0 [pid=26683/tid=26684] ppid=26675 vsize=197344 CPUtime=4.62 /proc/26683/task/26684/stat : 26684 (java) S 26675 26675 23995 0 -1 64 3901 0 1 0 455 7 0 0 25 0 10 0 2006821880 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=26683/tid=26685] ppid=26675 vsize=197344 CPUtime=1.08 /proc/26683/task/26685/stat : 26685 (java) S 26675 26675 23995 0 -1 64 8570 0 0 0 100 8 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26686] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26686/stat : 26686 (java) S 26675 26675 23995 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26687] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26687/stat : 26687 (java) S 26675 26675 23995 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2006821881 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26688] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26688/stat : 26688 (java) S 26675 26675 23995 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26689] ppid=26675 vsize=197344 CPUtime=0.23 /proc/26683/task/26689/stat : 26689 (java) S 26675 26675 23995 0 -1 64 668 0 0 0 23 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26690] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26690/stat : 26690 (java) S 26675 26675 23995 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26691] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26691/stat : 26691 (java) S 26675 26675 23995 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 2006821883 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26692] ppid=26675 vsize=197344 CPUtime=0 /proc/26683/task/26692/stat : 26692 (java) S 26675 26675 23995 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 2006822495 202080256 9481 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 16.81 Current children cumulated vsize (KiB) 871092 [startup+17.3026 s] /proc/loadavg: 2.00 2.00 2.00 3/102 26703 /proc/meminfo: memFree=1198248/2055920 swapFree=4180412/4192956 [pid=26675] ppid=26673 vsize=5360 CPUtime=3.82 /proc/26675/stat : 26675 (hydra) S 26673 26675 23995 0 -1 4194304 375 22603 0 0 0 0 370 12 18 0 1 0 2006821490 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26675/statm: 1340 238 196 169 0 51 0 [pid=26683] ppid=26675 vsize=197344 CPUtime=13.17 /proc/26683/stat : 26683 (java) S 26675 26675 23995 0 -1 0 14032 21748 1 1 580 17 664 56 18 0 9 0 2006821879 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/26683/statm: 49336 9483 2545 9 0 43918 0 [pid=26683/tid=26684] ppid=26675 vsize=197344 CPUtime=11.82 /proc/26683/task/26684/stat : 26684 (java) S 26675 26675 23995 0 -1 64 3949 21748 1 1 455 7 664 56 16 0 9 0 2006821880 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=26683/tid=26685] ppid=26675 vsize=197344 CPUtime=8.28 /proc/26683/task/26685/stat : 26685 (java) S 26675 26675 23995 0 -1 64 8580 21748 0 1 100 8 664 56 16 0 9 0 2006821881 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=26683/tid=26686] ppid=26675 vsize=197344 CPUtime=7.2 /proc/26683/task/26686/stat : 26686 (java) S 26675 26675 23995 0 -1 64 11 21748 0 1 0 0 664 56 16 0 9 0 2006821881 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26687] ppid=26675 vsize=197344 CPUtime=7.2 /proc/26683/task/26687/stat : 26687 (java) S 26675 26675 23995 0 -1 64 5 21748 0 1 0 0 664 56 15 0 9 0 2006821881 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26688] ppid=26675 vsize=197344 CPUtime=7.2 /proc/26683/task/26688/stat : 26688 (java) S 26675 26675 23995 0 -1 64 0 21748 0 1 0 0 664 56 18 0 9 0 2006821883 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26689] ppid=26675 vsize=197344 CPUtime=7.43 /proc/26683/task/26689/stat : 26689 (java) S 26675 26675 23995 0 -1 64 668 21748 0 1 23 0 664 56 15 0 9 0 2006821883 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26690] ppid=26675 vsize=197344 CPUtime=7.2 /proc/26683/task/26690/stat : 26690 (java) S 26675 26675 23995 0 -1 64 1 21748 0 1 0 0 664 56 19 0 9 0 2006821883 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=26683/tid=26691] ppid=26675 vsize=197344 CPUtime=7.2 /proc/26683/task/26691/stat : 26691 (java) S 26675 26675 23995 0 -1 64 30 21748 0 1 0 0 664 56 15 0 9 0 2006821883 202080256 9483 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 16.99 Current children cumulated vsize (KiB) 202704 Child status: 0 Real time (s): 17.3292 CPU time (s): 17.0334 CPU user time (s): 16.1585 CPU system time (s): 0.874867 CPU usage (%): 98.2929 Max. virtual memory (cumulated for all children) (KiB): 871312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.1585 system time used= 0.874867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58798 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= 11570 involuntary context switches= 16634 runsolver used 0.104984 second user time and 0.156976 second system time The end
Begin job on node21 at 2008-07-05 19:21:12 IDJOB=1093885 IDBENCH=58732 IDSOLVER=366 FILE ID=node21/1093885-1215278472 PBS_JOBID= 7882151 Free space on /tmp= 66476 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/queens/normalized-queens-150.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093885-1215278472/watcher-1093885-1215278472 -o /tmp/evaluation-result-1093885-1215278472/solver-1093885-1215278472 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1093885-1215278472.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 3e1168ad51844cea85c2810ca2ef4fbf RANDOM SEED=446922994 node21.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1299192 kB Buffers: 112148 kB Cached: 495420 kB SwapCached: 6472 kB Active: 336948 kB Inactive: 347732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1299192 kB SwapTotal: 4192956 kB SwapFree: 4180412 kB Dirty: 25732 kB Writeback: 0 kB Mapped: 89464 kB Slab: 57076 kB Committed_AS: 4383576 kB PageTables: 1968 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= 66452 MiB End job on node21 at 2008-07-05 19:21:30