Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 1016.42 | 1017.15 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
Name | csp/allsquaresUnsat/ normalized-squaresUnsat-20-20.xml |
MD5SUM | cc9a2c718875c07f7259307b3c001f7c |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.106983 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 953 |
Maximum constraint arity | 20 |
Maximum domain size | 53 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 761 |
Global constraints used (with number of constraints) | cumulative(2),weightedsum(190) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.70/6.86 c CASE TO CLASSIFY: 6.70/6.86 c Case: 0 6.70/6.87 c 19 > 0.000000 | c 35 > 29.986900 | c 17 > 0.000000 | c 18 > 20.146900 | c 33 > 0.000000 | c 15 > 21.506800 | c 34 > 39.960600 | c 16 > 20.000000 | c 13 > 7.771320 | c 14 > 10.553600 | c 11 > 12.774400 | c 12 > 5.346100 | c 21 > 2.008110 | c 20 > 79.853100 | c 22 > 7.280110 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.247930 | c 10 > 12.766300 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > 98.958300 | c 7 > 10.044400 | c 6 > 12.330400 | c 32 > 1.041670 | c 5 > 15.677900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.70/6.88 c choco : 1801.0 6.70/6.88 c mistral : 1801.0 6.70/6.88 c abscon : 1801.0 6.70/6.88 c 6.70/6.88 c 6.80/6.95 c List of same ones: 40 6.80/6.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml 6.80/6.95 c 19 > 0.000000 | c 35 > 29.983700 | c 17 > 0.000000 | c 18 > 20.182300 | c 33 > 0.000000 | c 15 > 19.855200 | c 34 > 39.951100 | c 16 > 18.000000 | c 13 > 6.389030 | c 14 > 8.936640 | c 11 > 12.418100 | c 12 > 4.388670 | c 21 > 1.982170 | c 20 > 79.817700 | c 22 > 6.782330 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.087460 | c 10 > 12.408900 | c 1 > 9.257390 | c 0 > -1.000000 | c 30 > 98.709700 | c 7 > 9.743150 | c 6 > 11.954200 | c 32 > 1.290320 | c 5 > 15.209600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.80/6.95 c choco : 1801.0 6.80/6.95 c mistral : 916.51 6.80/6.95 c abscon : 1801.0 6.80/6.96 c 6.80/6.96 c 6.80/6.96 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml 6.80/6.96 c 19 > 0.000000 | c 35 > 29.983700 | c 17 > 0.000000 | c 18 > 20.182300 | c 33 > 0.000000 | c 15 > 19.730400 | c 34 > 39.951100 | c 16 > 18.000000 | c 13 > 5.904500 | c 14 > 9.501840 | c 11 > 12.444200 | c 12 > 3.936270 | c 21 > 1.995360 | c 20 > 79.817700 | c 22 > 6.855650 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.087460 | c 10 > 12.435100 | c 1 > 9.257390 | c 0 > -1.000000 | c 30 > 98.709700 | c 7 > 9.746510 | c 6 > 11.989400 | c 32 > 1.290320 | c 5 > 15.247000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.80/6.96 c choco : 26.66 6.80/6.96 c mistral : 13.36 6.80/6.96 c abscon : 1801.0 6.80/6.96 c 6.80/6.96 c 6.80/6.96 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml 6.80/6.96 c 19 > 0.000000 | c 35 > 29.981700 | c 17 > 0.000000 | c 18 > 20.205000 | c 33 > 0.000000 | c 15 > 19.797000 | c 34 > 39.945000 | c 16 > 17.000000 | c 13 > 6.849390 | c 14 > 9.392320 | c 11 > 12.207000 | c 12 > 4.819460 | c 21 > 1.958920 | c 20 > 79.795000 | c 22 > 6.480740 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.000000 | c 10 > 12.196900 | c 1 > 9.087460 | c 0 > -1.000000 | c 30 > 98.550700 | c 7 > 9.577430 | c 6 > 11.725400 | c 32 > 1.449280 | c 5 > 14.930500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.80/6.97 c choco : 6.14 6.80/6.97 c mistral : 1801.0 6.80/6.97 c abscon : 1801.0 6.80/6.97 c 6.80/6.97 c 6.80/6.97 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml 6.80/6.97 c 19 > 0.000000 | c 35 > 29.988100 | c 17 > 0.000000 | c 18 > 20.133000 | c 33 > 0.000000 | c 15 > 19.476200 | c 34 > 39.964300 | c 16 > 21.000000 | c 13 > 5.786630 | c 14 > 8.405140 | c 11 > 12.969700 | c 12 > 3.353290 | c 21 > 2.036510 | c 20 > 79.867000 | c 22 > 7.615770 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.321930 | c 10 > 12.962400 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 99.056600 | c 7 > 10.187400 | c 6 > 12.544500 | c 32 > 0.943396 | c 5 > 15.939600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.80/6.98 c choco : 1801.0 6.80/6.98 c mistral : 687.44 6.80/6.98 c abscon : 1801.0 6.80/6.98 c 6.80/6.98 c 6.80/6.98 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml 6.80/6.98 c 19 > 0.000000 | c 35 > 29.989200 | c 17 > 0.000000 | c 18 > 20.120900 | c 33 > 0.000000 | c 15 > 19.476700 | c 34 > 39.967600 | c 16 > 22.000000 | c 13 > 5.811350 | c 14 > 8.511750 | c 11 > 13.112000 | c 12 > 3.384030 | c 21 > 2.040400 | c 20 > 79.879100 | c 22 > 7.810250 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.392320 | c 10 > 13.104900 | c 1 > 9.851750 | c 0 > -1.000000 | c 30 > 99.141600 | c 7 > 10.318500 | c 6 > 12.690000 | c 32 > 0.858369 | c 5 > 16.126800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.80/6.99 c choco : 12.45 6.80/6.99 c mistral : 1801.0 6.80/6.99 c abscon : 1801.0 6.80/6.99 c 6.80/6.99 c 6.80/6.99 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml 6.80/6.99 c 19 > 0.000000 | c 35 > 29.988100 | c 17 > 0.000000 | c 18 > 20.133000 | c 33 > 0.000000 | c 15 > 19.571000 | c 34 > 39.964300 | c 16 > 21.000000 | c 13 > 5.254530 | c 14 > 8.581200 | c 11 > 12.948400 | c 12 > 2.794150 | c 21 > 2.025350 | c 20 > 79.867000 | c 22 > 7.549830 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.321930 | c 10 > 12.940900 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 99.056600 | c 7 > 10.184900 | c 6 > 12.516200 | c 32 > 0.943396 | c 5 > 15.909400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.00 c choco : 11.12 6.89/7.00 c mistral : 1801.0 6.89/7.00 c abscon : 1801.0 6.89/7.00 c 6.89/7.00 c 6.89/7.00 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml 6.89/7.00 c 19 > 0.000000 | c 35 > 29.981700 | c 17 > 0.000000 | c 18 > 20.205000 | c 33 > 0.000000 | c 15 > 19.969600 | c 34 > 39.945000 | c 16 > 17.000000 | c 13 > 5.744290 | c 14 > 9.306060 | c 11 > 12.236000 | c 12 > 3.850580 | c 21 > 1.973880 | c 20 > 79.795000 | c 22 > 6.557440 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.000000 | c 10 > 12.226100 | c 1 > 9.087460 | c 0 > -1.000000 | c 30 > 98.550700 | c 7 > 9.581200 | c 6 > 11.764900 | c 32 > 1.449280 | c 5 > 14.973200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.01 c choco : 17.66 6.89/7.01 c mistral : 11.81 6.89/7.01 c abscon : 1801.0 6.89/7.01 c 6.89/7.01 c 6.89/7.01 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml 6.89/7.01 c 19 > 0.000000 | c 35 > 29.986900 | c 17 > 0.000000 | c 18 > 20.146900 | c 33 > 0.000000 | c 15 > 19.287500 | c 34 > 39.960600 | c 16 > 20.000000 | c 13 > 4.979830 | c 14 > 9.330920 | c 11 > 12.774400 | c 12 > 2.421650 | c 21 > 2.008110 | c 20 > 79.853100 | c 22 > 7.280110 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.247930 | c 10 > 12.766300 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > 98.958300 | c 7 > 10.044400 | c 6 > 12.330400 | c 32 > 1.041670 | c 5 > 15.677900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.02 c choco : 9.7 6.89/7.02 c mistral : 1801.0 6.89/7.02 c abscon : 1801.0 6.89/7.02 c 6.89/7.02 c 6.89/7.02 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml 6.89/7.02 c 19 > 0.000000 | c 35 > 29.985400 | c 17 > 0.000000 | c 18 > 20.163200 | c 33 > 0.000000 | c 15 > 19.533100 | c 34 > 39.956200 | c 16 > 19.000000 | c 13 > 4.399460 | c 14 > 9.252670 | c 11 > 12.614000 | c 12 > 2.695070 | c 21 > 2.002080 | c 20 > 79.836800 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.169930 | c 10 > 12.605500 | c 1 > 9.417850 | c 0 > -1.000000 | c 30 > 98.843900 | c 7 > 9.899360 | c 6 > 12.164900 | c 32 > 1.156070 | c 5 > 15.468200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.02 c choco : 54.4 6.89/7.02 c mistral : 98.37 6.89/7.02 c abscon : 1801.0 6.89/7.02 c 6.89/7.02 c 6.89/7.02 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml 6.89/7.02 c 19 > 0.000000 | c 35 > 29.985400 | c 17 > 0.000000 | c 18 > 20.163200 | c 33 > 0.000000 | c 15 > 19.691900 | c 34 > 39.956200 | c 16 > 19.000000 | c 13 > 4.496160 | c 14 > 8.848620 | c 11 > 12.589400 | c 12 > 2.581290 | c 21 > 1.989590 | c 20 > 79.836800 | c 22 > 7.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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.169930 | c 10 > 12.580700 | c 1 > 9.417850 | c 0 > -1.000000 | c 30 > 98.843900 | c 7 > 9.896330 | c 6 > 12.131900 | c 32 > 1.156070 | c 5 > 15.433000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.03 c choco : 8.21 6.89/7.03 c mistral : 1801.0 6.89/7.03 c abscon : 1801.0 6.89/7.03 c 6.89/7.03 c 6.89/7.03 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml 6.89/7.03 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 20.121300 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 6.625550 | c 14 > 9.539160 | c 11 > 12.010500 | c 12 > 4.633540 | c 21 > 1.948560 | c 20 > 79.767800 | c 22 > 6.245000 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.999600 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.405140 | c 6 > 11.519600 | c 32 > 1.639340 | c 5 > 14.676000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.04 c choco : 21.34 6.89/7.04 c mistral : 77.84 6.89/7.04 c abscon : 1801.0 6.89/7.04 c 6.89/7.04 c 6.89/7.04 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml 6.89/7.04 c 19 > 0.000000 | c 35 > 29.986900 | c 17 > 0.000000 | c 18 > 20.146900 | c 33 > 0.000000 | c 15 > 19.523500 | c 34 > 39.960600 | c 16 > 20.000000 | c 13 > 4.691230 | c 14 > 8.826550 | c 11 > 12.797700 | c 12 > 2.007930 | c 21 > 2.020520 | c 20 > 79.853100 | c 22 > 7.348470 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.247930 | c 10 > 12.789700 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > 98.958300 | c 7 > 10.047100 | c 6 > 12.361400 | c 32 > 1.041670 | c 5 > 15.711700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.06 c choco : 1801.0 6.89/7.06 c mistral : 394.02 6.89/7.06 c abscon : 1801.0 6.89/7.06 c 6.89/7.06 c 6.89/7.06 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml 6.89/7.06 c 19 > 0.000000 | c 35 > 29.990100 | c 17 > 0.000000 | c 18 > 20.110400 | c 33 > 0.000000 | c 15 > 19.185200 | c 34 > 39.970400 | c 16 > 23.000000 | c 13 > 4.933950 | c 14 > 8.636620 | c 11 > 13.241200 | c 12 > 2.739170 | c 21 > 2.054550 | c 20 > 79.889600 | c 22 > 8.062260 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.459430 | c 10 > 13.260300 | c 1 > 9.982990 | c 0 > -1.000000 | c 30 > 99.215700 | c 7 > 10.446000 | c 6 > 12.854100 | c 32 > 0.784314 | c 5 > 16.333700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.07 c choco : 13.48 6.89/7.07 c mistral : 1801.0 6.89/7.07 c abscon : 1801.0 6.89/7.07 c 6.89/7.07 c 6.89/7.07 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml 6.89/7.07 c 19 > 0.000000 | c 35 > 29.991000 | c 17 > 0.000000 | c 18 > 20.101200 | c 33 > 0.000000 | c 15 > 19.360800 | c 34 > 39.972900 | c 16 > 24.000000 | c 13 > 5.161530 | c 14 > 8.511750 | c 11 > 13.388300 | c 12 > 2.842520 | c 21 > 2.086660 | c 20 > 79.898800 | c 22 > 8.426150 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.523560 | c 10 > 13.443300 | c 1 > 10.108500 | c 0 > -1.000000 | c 30 > 99.280600 | c 7 > 10.571800 | c 6 > 13.055300 | c 32 > 0.719424 | c 5 > 16.579800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.07 c choco : 719.66 6.89/7.07 c mistral : 1801.0 6.89/7.07 c abscon : 1801.0 6.89/7.07 c 6.89/7.07 c 6.89/7.07 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml 6.89/7.07 c 19 > 0.000000 | c 35 > 29.991700 | c 17 > 0.000000 | c 18 > 20.093100 | c 33 > 0.000000 | c 15 > 19.338800 | c 34 > 39.975000 | c 16 > 25.000000 | c 13 > 4.622900 | c 14 > 8.252670 | c 11 > 13.493900 | c 12 > 2.315110 | c 21 > 2.088060 | c 20 > 79.906900 | c 22 > 8.602330 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.584960 | c 10 > 13.564500 | c 1 > 10.228800 | c 0 > -1.000000 | c 30 > 99.337700 | c 7 > 10.686500 | c 6 > 13.177700 | c 32 > 0.662252 | c 5 > 16.740300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.08 c choco : 14.93 6.89/7.08 c mistral : 1801.0 6.89/7.08 c abscon : 1801.0 6.89/7.08 c 6.89/7.08 c 6.89/7.08 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml 6.89/7.08 c 19 > 0.000000 | c 35 > 29.992300 | c 17 > 0.000000 | c 18 > 20.086000 | c 33 > 0.000000 | c 15 > 20.159900 | c 34 > 39.976900 | c 16 > 26.000000 | c 13 > 5.236150 | c 14 > 9.131860 | c 11 > 10.400900 | c 12 > 3.235520 | c 21 > 2.116430 | c 20 > 79.914000 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.643860 | c 10 > 13.729600 | c 1 > 10.344300 | c 0 > -1.000000 | c 30 > 99.388400 | c 7 > 10.801700 | c 6 > 13.357800 | c 32 > 0.611621 | c 5 > 16.962500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.08 c choco : 47.2 6.89/7.08 c mistral : 1801.0 6.89/7.08 c abscon : 1801.0 6.89/7.08 c 6.89/7.08 c 6.89/7.08 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml 6.89/7.08 c 19 > 0.000000 | c 35 > 29.992900 | c 17 > 0.000000 | c 18 > 20.079600 | c 33 > 0.000000 | c 15 > 20.004500 | c 34 > 39.978600 | c 16 > 27.000000 | c 13 > 5.238830 | c 14 > 8.527480 | c 11 > 10.509800 | c 12 > 3.205540 | c 21 > 2.116630 | c 20 > 79.920400 | c 22 > 9.110430 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.700440 | c 10 > 13.839600 | c 1 > 10.455300 | c 0 > -1.000000 | c 30 > 99.433400 | c 7 > 10.907600 | c 6 > 13.468400 | c 32 > 0.566572 | c 5 > 17.109100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.09 c choco : 17.5 6.89/7.09 c mistral : 1801.0 6.89/7.09 c abscon : 1801.0 6.89/7.09 c 6.89/7.09 c 6.89/7.09 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml 6.89/7.09 c 19 > 0.000000 | c 35 > 29.993800 | c 17 > 0.000000 | c 18 > 20.068900 | c 33 > 0.000000 | c 15 > 20.252600 | c 34 > 39.981500 | c 16 > 29.000000 | c 13 > 5.222930 | c 14 > 7.994350 | c 11 > 10.716000 | c 12 > 3.171920 | c 21 > 2.140710 | c 20 > 79.931100 | c 22 > 9.591660 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.807350 | c 10 > 14.090000 | c 1 > 10.665300 | c 0 > -1.000000 | c 30 > 99.509800 | c 7 > 11.112400 | c 6 > 13.731300 | c 32 > 0.490196 | c 5 > 17.445800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.89/7.10 c choco : 20.93 6.89/7.10 c mistral : 1801.0 6.89/7.10 c abscon : 1801.0 6.89/7.10 c 6.89/7.10 c 6.89/7.10 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml 6.89/7.10 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 15.501700 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 1.974310 | c 14 > 6.189820 | c 11 > 11.799700 | c 12 > 0.919702 | c 21 > 1.936780 | c 20 > 79.734800 | c 22 > 6.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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.787900 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.221590 | c 6 > 11.298100 | c 32 > 1.869160 | c 5 > 14.404100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.10 c choco : 6.04 6.97/7.10 c mistral : 0.11 6.97/7.10 c abscon : 1801.0 6.97/7.10 c 6.97/7.10 c 6.97/7.10 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml 6.97/7.10 c 19 > 0.000000 | c 35 > 29.994300 | c 17 > 0.000000 | c 18 > 20.064300 | c 33 > 0.000000 | c 15 > 20.179900 | c 34 > 39.982800 | c 16 > 30.000000 | c 13 > 5.275120 | c 14 > 7.727920 | c 11 > 10.813800 | c 12 > 3.193420 | c 21 > 2.155360 | c 20 > 79.935700 | c 22 > 9.848860 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.857980 | c 10 > 14.214200 | c 1 > 10.764900 | c 0 > -1.000000 | c 30 > 99.542300 | c 7 > 11.210100 | c 6 > 13.862600 | c 32 > 0.457666 | c 5 > 17.613100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.11 c choco : 19.73 6.97/7.11 c mistral : 1801.0 6.97/7.11 c abscon : 1801.0 6.97/7.11 c 6.97/7.11 c 6.97/7.11 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml 6.97/7.11 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 14.376000 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 2.950690 | c 14 > 4.247930 | c 11 > 11.979400 | c 12 > 1.554760 | c 21 > 1.933460 | c 20 > 79.767800 | c 22 > 6.164410 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.968300 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.400880 | c 6 > 11.476700 | c 32 > 1.639340 | c 5 > 14.630700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.12 c choco : 5.97 6.97/7.12 c mistral : 0.11 6.97/7.12 c abscon : 1801.0 6.97/7.12 c 6.97/7.12 c 6.97/7.12 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml 6.97/7.12 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 14.252400 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 2.898240 | c 14 > 4.247930 | c 11 > 11.766100 | c 12 > 1.568720 | c 21 > 1.920650 | c 20 > 79.734800 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.754100 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.216750 | c 6 > 11.251500 | c 32 > 1.869160 | c 5 > 14.355100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.12 c choco : 5.68 6.97/7.12 c mistral : 0.09 6.97/7.12 c abscon : 1801.0 6.97/7.12 c 6.97/7.12 c 6.97/7.13 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml 6.97/7.13 c 19 > 0.000000 | c 35 > 29.994600 | c 17 > 0.000000 | c 18 > 20.060100 | c 33 > 0.000000 | c 15 > 20.155900 | c 34 > 39.983900 | c 16 > 31.000000 | c 13 > 5.323160 | c 14 > 7.607330 | c 11 > 10.908400 | c 12 > 3.212410 | c 21 > 2.168980 | c 20 > 79.939900 | c 22 > 10.099500 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 5.906890 | c 10 > 14.333000 | c 1 > 10.861100 | c 0 > -1.000000 | c 30 > 99.571700 | c 7 > 11.304400 | c 6 > 13.988000 | c 32 > 0.428266 | c 5 > 17.773600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.13 c choco : 19.61 6.97/7.13 c mistral : 1801.0 6.97/7.13 c abscon : 1801.0 6.97/7.13 c 6.97/7.13 c 6.97/7.13 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml 6.97/7.13 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.186800 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 2.863940 | c 14 > 4.392320 | c 11 > 11.535800 | c 12 > 1.610970 | c 21 > 1.905950 | c 20 > 79.694300 | c 22 > 5.656850 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.522600 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.019590 | c 6 > 11.007000 | c 32 > 2.150540 | c 5 > 14.058700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.14 c choco : 20.83 6.97/7.14 c mistral : 0.08 6.97/7.14 c abscon : 1801.0 6.97/7.14 c 6.97/7.14 c 6.97/7.14 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml 6.97/7.14 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.208500 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 1.732440 | c 14 > 5.044390 | c 11 > 11.572200 | c 12 > 0.752235 | c 21 > 1.923270 | c 20 > 79.694300 | c 22 > 5.744560 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.559400 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.025140 | c 6 > 11.058000 | c 32 > 2.150540 | c 5 > 14.112100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.14 c choco : 5.56 6.97/7.14 c mistral : 0.08 6.97/7.14 c abscon : 1801.0 6.97/7.14 c 6.97/7.14 c 6.97/7.14 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml 6.97/7.14 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.979200 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 2.786860 | c 14 > 4.247930 | c 11 > 11.285400 | c 12 > 1.605810 | c 21 > 1.888930 | c 20 > 79.643800 | c 22 > 5.385160 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.270900 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.807350 | c 6 > 10.739800 | c 32 > 2.500000 | c 5 > 13.737900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.15 c choco : 9.2 6.97/7.15 c mistral : 0.07 6.97/7.15 c abscon : 1801.0 6.97/7.15 c 6.97/7.15 c 6.97/7.15 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml 6.97/7.15 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.910000 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 1.714400 | c 14 > 4.906890 | c 11 > 11.325300 | c 12 > 0.755179 | c 21 > 1.907630 | c 20 > 79.643800 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.311200 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.813780 | c 6 > 10.796000 | c 32 > 2.500000 | c 5 > 13.796600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.15 c choco : 5.63 6.97/7.15 c mistral : 0.13 6.97/7.15 c abscon : 19.35 6.97/7.15 c 6.97/7.15 c 6.97/7.15 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml 6.97/7.15 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.837800 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 2.729300 | c 14 > 4.247930 | c 11 > 11.011200 | c 12 > 1.631050 | c 21 > 1.868970 | c 20 > 79.579600 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 10.995100 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.577430 | c 6 > 10.445000 | c 32 > 2.941180 | c 5 > 13.388000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.16 c choco : 11.72 6.97/7.16 c mistral : 0.06 6.97/7.16 c abscon : 1801.0 6.97/7.16 c 6.97/7.16 c 6.97/7.16 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-12-12.xml 6.97/7.16 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.585100 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 1.786450 | c 14 > 4.754890 | c 11 > 11.055300 | c 12 > 0.758899 | c 21 > 1.889300 | c 20 > 79.579600 | c 22 > 5.196150 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 11.039600 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.584960 | c 6 > 10.507800 | c 32 > 2.941180 | c 5 > 13.453300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.16 c choco : 5.24 6.97/7.16 c mistral : 0.1 6.97/7.16 c abscon : 1801.0 6.97/7.16 c 6.97/7.16 c 6.97/7.16 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-11-11.xml 6.97/7.16 c 19 > 0.000000 | c 35 > 29.954800 | c 17 > 0.000000 | c 18 > 20.503600 | c 33 > 0.000000 | c 15 > 13.517800 | c 34 > 39.864300 | c 16 > 11.000000 | c 13 > 2.617180 | c 14 > 3.459430 | c 11 > 10.708200 | c 12 > 1.531380 | c 21 > 1.845250 | c 20 > 79.496400 | c 22 > 4.795830 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.321930 | c 10 > 10.690000 | c 1 > 7.781360 | c 0 > -1.000000 | c 30 > 96.491200 | c 7 > 8.326430 | c 6 > 10.116300 | c 32 > 3.508770 | c 5 > 13.002800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.17 c choco : 13.01 6.97/7.17 c mistral : 0.04 6.97/7.17 c abscon : 1801.0 6.97/7.17 c 6.97/7.17 c 6.97/7.17 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-11-11.xml 6.97/7.17 c 19 > 0.000000 | c 35 > 29.954800 | c 17 > 0.000000 | c 18 > 20.503600 | c 33 > 0.000000 | c 15 > 13.339400 | c 34 > 39.864300 | c 16 > 11.000000 | c 13 > 1.705230 | c 14 > 4.700440 | c 11 > 10.757400 | c 12 > 0.796719 | c 21 > 1.867510 | c 20 > 79.496400 | c 22 > 4.898980 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.321930 | c 10 > 10.739800 | c 1 > 7.781360 | c 0 > -1.000000 | c 30 > 96.491200 | c 7 > 8.335390 | c 6 > 10.187400 | c 32 > 3.508770 | c 5 > 13.076100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.17 c choco : 4.39 6.97/7.17 c mistral : 0.08 6.97/7.17 c abscon : 1801.0 6.97/7.17 c 6.97/7.17 c 6.97/7.17 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 6.97/7.17 c 19 > 0.000000 | c 35 > 29.995800 | c 17 > 0.000000 | c 18 > 20.047000 | c 33 > 0.000000 | c 15 > 19.771700 | c 34 > 39.987400 | c 16 > 35.000000 | c 13 > 5.498790 | c 14 > 7.643860 | c 11 > 11.258600 | c 12 > 3.280590 | c 21 > 2.215160 | c 20 > 79.953000 | c 22 > 11.045400 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 6.087460 | c 10 > 14.763600 | c 1 > 11.216700 | c 0 > -1.000000 | c 30 > 99.665000 | c 7 > 11.652400 | c 6 > 14.439300 | c 32 > 0.335008 | c 5 > 18.357000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.18 c choco : 20.27 6.97/7.18 c mistral : 1801.0 6.97/7.18 c abscon : 1801.0 6.97/7.18 c 6.97/7.18 c 6.97/7.18 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 6.97/7.18 c 19 > 0.000000 | c 35 > 29.996000 | c 17 > 0.000000 | c 18 > 20.044400 | c 33 > 0.000000 | c 15 > 19.716100 | c 34 > 39.988100 | c 16 > 36.000000 | c 13 > 5.535640 | c 14 > 7.876520 | c 11 > 11.339900 | c 12 > 3.293490 | c 21 > 2.225000 | c 20 > 79.955600 | c 22 > 11.269400 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 6.129280 | c 10 > 14.861700 | c 1 > 11.299200 | c 0 > -1.000000 | c 30 > 99.683500 | c 7 > 11.733000 | c 6 > 14.541600 | c 32 > 0.316456 | c 5 > 18.490400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.18 c choco : 21.51 6.97/7.18 c mistral : 1801.0 6.97/7.18 c abscon : 1801.0 6.97/7.18 c 6.97/7.18 c 6.97/7.18 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-10-10.xml 6.97/7.18 c 19 > 0.000000 | c 35 > 29.944800 | c 17 > 0.000000 | c 18 > 20.614000 | c 33 > 0.000000 | c 15 > 13.476400 | c 34 > 39.834300 | c 16 > 10.000000 | c 13 > 2.393710 | c 14 > 3.700440 | c 11 > 10.369600 | c 12 > 1.451780 | c 21 > 1.816590 | c 20 > 79.386000 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.169930 | c 10 > 10.348700 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > 95.744700 | c 7 > 8.049850 | c 6 > 9.744830 | c 32 > 4.255320 | c 5 > 12.573600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.19 c choco : 7.82 6.97/7.19 c mistral : 0.04 6.97/7.19 c abscon : 1801.0 6.97/7.19 c 6.97/7.19 c 6.97/7.19 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-10-10.xml 6.97/7.19 c 19 > 0.000000 | c 35 > 29.944800 | c 17 > 0.000000 | c 18 > 20.614000 | c 33 > 0.000000 | c 15 > 13.027000 | c 34 > 39.834300 | c 16 > 10.000000 | c 13 > 1.596380 | c 14 > 4.643860 | c 11 > 10.425200 | c 12 > 0.775070 | c 21 > 1.841200 | c 20 > 79.386000 | c 22 > 4.582580 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.169930 | c 10 > 10.405100 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > 95.744700 | c 7 > 8.060700 | c 6 > 9.826550 | c 32 > 4.255320 | c 5 > 12.657300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.97/7.20 c choco : 4.04 6.97/7.20 c mistral : 0.08 6.97/7.20 c abscon : 1801.0 6.97/7.20 c 6.97/7.20 c 6.97/7.20 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 6.97/7.20 c 19 > 0.000000 | c 35 > 29.996200 | c 17 > 0.000000 | c 18 > 20.042000 | c 33 > 0.000000 | c 15 > 19.566800 | c 34 > 39.988700 | c 16 > 37.000000 | c 13 > 5.571470 | c 14 > 7.768180 | c 11 > 11.418900 | c 12 > 3.305980 | c 21 > 2.234270 | c 20 > 79.958000 | c 22 > 11.489100 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 6.169930 | c 10 > 14.956500 | c 1 > 11.379400 | c 0 > -1.000000 | c 30 > 99.700600 | c 7 > 11.811400 | c 6 > 14.640200 | c 32 > 0.299401 | c 5 > 18.619500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.02/7.20 c choco : 21.79 7.02/7.20 c mistral : 1801.0 7.02/7.20 c abscon : 1801.0 7.02/7.20 c 7.02/7.20 c 7.02/7.20 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-9-9.xml 7.02/7.20 c 19 > 0.000000 | c 35 > 29.931000 | c 17 > 0.000000 | c 18 > 20.765000 | c 33 > 0.000000 | c 15 > 13.356500 | c 34 > 39.793100 | c 16 > 9.000000 | c 13 > 2.358590 | c 14 > 3.584960 | c 11 > 9.985840 | c 12 > 1.451390 | c 21 > 1.781250 | c 20 > 79.235000 | c 22 > 4.123110 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.000000 | c 10 > 9.961450 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > 7.741470 | c 6 > 9.317410 | c 32 > 5.263160 | c 5 > 12.088100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.02/7.21 c choco : 3.32 7.02/7.21 c mistral : 0.03 7.02/7.21 c abscon : 1801.0 7.02/7.21 c 7.02/7.21 c 7.02/7.21 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-9-9.xml 7.02/7.21 c 19 > 0.000000 | c 35 > 29.931000 | c 17 > 0.000000 | c 18 > 20.765000 | c 33 > 0.000000 | c 15 > 12.354000 | c 34 > 39.793100 | c 16 > 9.000000 | c 13 > 1.556650 | c 14 > 4.169930 | c 11 > 10.049800 | c 12 > 0.733968 | c 21 > 1.808760 | c 20 > 79.235000 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 4.000000 | c 10 > 10.026500 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > 7.754890 | c 6 > 9.413630 | c 32 > 5.263160 | c 5 > 12.185500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.02/7.22 c choco : 3.17 7.02/7.22 c mistral : 0.03 7.02/7.22 c abscon : 1801.0 7.02/7.22 c 7.02/7.22 c 7.02/7.22 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-8-8.xml 7.02/7.22 c 19 > 0.000000 | c 35 > 29.911500 | c 17 > 0.000000 | c 18 > 20.979000 | c 33 > 0.000000 | c 15 > 11.760300 | c 34 > 39.734500 | c 16 > 8.000000 | c 13 > 1.491120 | c 14 > 3.321930 | c 11 > 9.618390 | c 12 > 0.686536 | c 21 > 1.767770 | c 20 > 79.021000 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 3.807350 | c 10 > 9.590590 | c 1 > 6.807350 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > 7.409390 | c 6 > 8.930740 | c 32 > 6.666670 | c 5 > 11.643900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.02/7.22 c choco : 3.01 7.02/7.22 c mistral : 0.02 7.02/7.22 c abscon : 1801.0 7.02/7.22 c 7.02/7.22 c 7.02/7.22 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-7-7.xml 7.02/7.22 c 19 > 0.000000 | c 35 > 29.882400 | c 17 > 0.000000 | c 18 > 21.296300 | c 33 > 0.000000 | c 15 > 11.212500 | c 34 > 39.647100 | c 16 > 7.000000 | c 13 > 1.274000 | c 14 > 3.321930 | c 11 > 9.202120 | c 12 > 0.648063 | c 21 > 1.755460 | c 20 > 78.703700 | c 22 > 3.605550 | 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 > 0.000000 | c 3 > 1.000000 | c 2 > 3.584960 | c 10 > 9.169930 | c 1 > 6.392320 | c 0 > -1.000000 | c 30 > 91.304300 | c 7 > 7.033420 | c 6 > 8.491850 | c 32 > 8.695650 | c 5 > 11.151000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.02/7.23 c choco : 2.78 7.02/7.23 c mistral : 0.02 7.02/7.23 c abscon : 1801.0 7.02/7.23 c 7.02/7.23 c 7.02/7.23 c Length: 40 7.02/7.23 c 3.6570601470853594 3.8436708898395544 4.178880249995204 4.245043664154234 4.58990657451772 4.666055314050187 4.694072402690437 4.7712747872031 5.022842725947129 5.088847106133175 5.135247528960994 5.249242062164785 5.9332562009352 6.496413491928912 7.752678841892266 8.02951677760256 9.029835096733718 10.957036546081975 11.939146761331143 11.96322641915282 12.2583264019074 12.85443010379301 12.944490028580349 13.441218181805546 13.838501029530798 14.372787087179715 14.753955297795265 15.300071772753222 15.756097863294102 16.80925215843346 16.855308783106317 16.883784073007565 17.846199380568287 17.94368752880522 18.170640933555426 18.875501237290653 19.420084434347856 19.982876659768582 22.211692516958177 24.655460979504497 7.02/7.23 c 7.02/7.23 c 1.0 0.9911913787683325 0.9757521028953197 0.9727613708924432 0.9574649623717444 0.9541519965836451 0.9529388329838631 0.9496118113435493 0.9389299151350706 0.9361669651471886 0.9342343523055011 0.9295201043339297 0.9022025573644757 0.8808883872310492 0.8367890528512852 0.8276583029602048 0.7962633523036972 0.7420355118139966 0.7171465594849882 0.7165572778314215 0.709413412337682 0.6954086709381322 0.6933407582831104 0.6821525436871699 0.6734607899695791 0.6621150353886878 0.6542516648999589 0.643305520537201 0.6344418708283899 0.6148766122006435 0.6140484860014853 0.6135375979104769 0.5967567153910628 0.5951079507428283 0.5913046773275491 0.579796573022055 0.5712074753374249 0.562594538507437 0.5308923016099396 0.5 7.02/7.24 c 7.02/7.24 c solver 0 7.02/7.24 c before 0.0 seconds: {} 0 7.02/7.24 c before 36.0 seconds: {26} 654 7.02/7.24 c 7.02/7.24 c solver 1 7.02/7.24 c before 0.0 seconds: {} 0 7.02/7.24 c before 18.0 seconds: {1, 6, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 12595 7.02/7.24 c before 90.0 seconds: {1, 6, 10, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 13530 7.02/7.24 c before 108.0 seconds: {1, 6, 8, 10, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 14469 7.02/7.24 c before 396.0 seconds: {1, 6, 8, 10, 11, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 15398 7.02/7.24 c before 702.0 seconds: {1, 3, 6, 8, 10, 11, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 16371 7.02/7.24 c before 918.0 seconds: {0, 1, 3, 6, 8, 10, 11, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 17371 7.02/7.24 c 7.02/7.24 c solver 2 7.02/7.24 c before 0.0 seconds: {} 0 7.02/7.24 c before 18.0 seconds: {2, 4, 5, 6, 7, 9, 12, 14, 16, 18, 20, 21, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 18230 7.02/7.25 c before 36.0 seconds: {1, 2, 4, 5, 6, 7, 9, 10, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24780 7.02/7.25 c before 54.0 seconds: {1, 2, 4, 5, 6, 7, 9, 10, 12, 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} 25608 7.02/7.25 c before 72.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 12, 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} 26547 7.02/7.25 c before 720.0 seconds: {1, 2, 4, 5, 6, 7, 8, 9, 10, 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} 27427 7.02/7.25 c 7.02/7.25 cTotal time: 93 7.02/7.25 c 1674.0 seconds unused 7.02/7.25 c 0 c 0 c 0 7.02/7.25 c 23 c 0 c 3 7.02/7.25 c 36 c 16 c 0 7.02/7.25 c is solver0 dominated by: 7.02/7.25 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 7.02/7.25 c is dominated? true 7.02/7.25 c 7.02/7.25 c is solver1 dominated by: 7.02/7.25 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 7.02/7.25 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false) 7.02/7.25 c is dominated? false 7.02/7.25 c 7.02/7.25 c is solver2 dominated by: 7.02/7.25 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true) 7.02/7.25 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true) 7.02/7.25 c is dominated? false 7.02/7.25 c 7.02/7.25 c Number of non-dominated solvers: 2 7.02/7.25 c remove dominated solvers 7.02/7.25 c solver 1 is not dominated by another solver 7.02/7.25 c solver 2 is not dominated by another solver 7.02/7.25 c solver 0 is dominated by another solver 7.02/7.25 c 7.02/7.25 c solver 0: 0.0 7.02/7.25 c 7.02/7.25 c solver 1: 918.0 7.02/7.25 c 7.02/7.25 c+ 51/91 of 9 7.02/7.25 c 7.02/7.25 c solver 2: 720.0 7.02/7.25 c 7.02/7.25 c+ 40/91 of 9 7.02/7.25 c do not run abscon 7.02/7.25 c run mistral for 1008.0 seconds {0, 1, 3, 6, 8, 10, 11, 18, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 33, 34, 36, 37, 38, 39} 17371 7.02/7.25 c run choco for 774.0 seconds {1, 2, 4, 5, 6, 7, 8, 9, 10, 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} 27427 7.02/7.25 c Starting solver: HOME/cpHydra_k_40/solver/mistral 7.02/7.25 c On Instance: HOME/instance-1046370-1215026397.xml 7.02/7.25 c Running for: 1008 seconds 1014.84/1015.57 c Starting solver: HOME/cpHydra_k_40/solver/choco 1014.84/1015.57 c On Instance: HOME/instance-1046370-1215026397.xml 1014.84/1015.57 c Running for: 774 seconds 1016.30/1017.10 s UNSATISFIABLE 1016.30/1017.10 d ASSIGNMENTS 0 1016.30/1017.10 c UNSAT 1386 TIME 0 NDS 479 PARSTIME 892 BUILDPB 15 RES null RESTART 1 HEURISTIC
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046370-1215026397/watcher-1046370-1215026397 -o /tmp/evaluation-result-1046370-1215026397/solver-1046370-1215026397 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046370-1215026397.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.98 1.91 4/81 14046 /proc/meminfo: memFree=1749488/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=0 /proc/14046/stat : 14046 (hydra) R 14044 14046 13136 0 -1 4194304 184 0 0 0 0 0 0 0 20 0 1 0 658368673 5488640 154 996147200 4194304 4889804 548682068816 18446744073709551615 240154017874 0 0 4096 0 0 0 0 17 1 0 0 /proc/14046/statm: 1340 154 126 169 0 51 0 [startup+0.0686571 s] /proc/loadavg: 1.99 1.98 1.91 4/81 14046 /proc/meminfo: memFree=1749488/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=0 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658368673 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14046/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102659 s] /proc/loadavg: 1.99 1.98 1.91 4/81 14046 /proc/meminfo: memFree=1749488/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=0 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658368673 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14046/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302692 s] /proc/loadavg: 1.99 1.98 1.91 4/81 14046 /proc/meminfo: memFree=1749488/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=0 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658368673 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14046/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701725 s] /proc/loadavg: 1.99 1.98 1.91 4/81 14046 /proc/meminfo: memFree=1749488/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=0 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658368673 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14046/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50181 s] /proc/loadavg: 1.99 1.98 1.91 3/83 14050 /proc/meminfo: memFree=1742304/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=0 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658368673 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14046/statm: 1340 236 195 169 0 51 0 [pid=14050] ppid=14046 vsize=10608 CPUtime=1.48 /proc/14050/stat : 14050 (xsolve) R 14046 14046 13136 0 -1 4194304 1992 0 0 0 147 1 0 0 25 0 1 0 658368674 10862592 1951 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14050/statm: 2652 1951 437 177 0 1555 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 15968 [startup+3.10213 s] /proc/loadavg: 1.99 1.98 1.91 3/91 14062 /proc/meminfo: memFree=1740896/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=196992 CPUtime=1.52 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 6510 0 1 0 146 6 0 0 18 0 9 0 658368829 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49248 5475 2541 9 0 43830 0 [pid=14054/tid=14055] ppid=14046 vsize=196992 CPUtime=1.14 /proc/14054/task/14055/stat : 14055 (java) R 14046 14046 13136 0 -1 64 2795 0 1 0 112 2 0 0 25 0 9 0 658368830 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14056] ppid=14046 vsize=196992 CPUtime=0.21 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 2377 0 0 0 18 3 0 0 15 0 9 0 658368831 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14057] ppid=14046 vsize=196992 CPUtime=0 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 658368831 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=196992 CPUtime=0 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658368831 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=196992 CPUtime=0 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 658368833 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=196992 CPUtime=0.14 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 658368833 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14061] ppid=14046 vsize=196992 CPUtime=0 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658368833 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=196992 CPUtime=0 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 658368833 201719808 5475 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 202352 [startup+6.30235 s] /proc/loadavg: 1.99 1.98 1.91 3/91 14062 /proc/meminfo: memFree=1727840/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=197100 CPUtime=4.68 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 10459 0 1 0 454 14 0 0 18 0 9 0 658368829 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49275 8668 2541 9 0 43857 0 [pid=14054/tid=14055] ppid=14046 vsize=197100 CPUtime=3.71 /proc/14054/task/14055/stat : 14055 (java) R 14046 14046 13136 0 -1 64 3631 0 1 0 368 3 0 0 25 0 9 0 658368830 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4126439428 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197100 CPUtime=0.78 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 5474 0 0 0 69 9 0 0 16 0 9 0 658368831 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197100 CPUtime=0 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 658368831 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197100 CPUtime=0 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658368831 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197100 CPUtime=0 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 658368833 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197100 CPUtime=0.16 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 658368833 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197100 CPUtime=0 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658368833 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197100 CPUtime=0 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 658368833 201830400 8668 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202460 [startup+12.7021 s] /proc/loadavg: 1.99 1.98 1.91 3/94 14065 /proc/meminfo: memFree=1715040/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=197424 CPUtime=5.52 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 11438 0 1 0 535 17 0 0 18 0 10 0 658368829 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49356 9375 2544 9 0 43938 0 [pid=14064] ppid=14054 vsize=5356 CPUtime=0 /proc/14064/stat : 14064 (mistral) S 14054 14046 13136 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 658369398 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14064/statm: 1339 238 198 169 0 50 0 [pid=14065] ppid=14064 vsize=10608 CPUtime=5.42 /proc/14065/stat : 14065 (xsolve) R 14064 14046 13136 0 -1 4194304 1969 0 0 0 542 0 0 0 25 0 1 0 658369399 10862592 1933 996147200 134512640 135239763 4294955968 18446744073709551615 135035085 0 4 0 0 0 0 0 17 1 0 0 /proc/14065/statm: 2652 1933 419 177 0 1555 0 [pid=14054/tid=14055] ppid=14046 vsize=197424 CPUtime=4.38 /proc/14054/task/14055/stat : 14055 (java) S 14046 14046 13136 0 -1 64 3857 0 1 0 432 6 0 0 24 0 10 0 658368830 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197424 CPUtime=0.89 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 6090 0 0 0 79 10 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197424 CPUtime=0.23 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14063] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14063/stat : 14063 (java) S 14046 14046 13136 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658369398 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 218748 [startup+25.5025 s] /proc/loadavg: 1.99 1.98 1.91 3/94 14065 /proc/meminfo: memFree=1715040/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=197424 CPUtime=5.52 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 11438 0 1 0 535 17 0 0 18 0 10 0 658368829 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49356 9375 2544 9 0 43938 0 [pid=14064] ppid=14054 vsize=5356 CPUtime=0 /proc/14064/stat : 14064 (mistral) S 14054 14046 13136 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 658369398 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14064/statm: 1339 238 198 169 0 50 0 [pid=14065] ppid=14064 vsize=10608 CPUtime=18.22 /proc/14065/stat : 14065 (xsolve) R 14064 14046 13136 0 -1 4194304 1969 0 0 0 1822 0 0 0 25 0 1 0 658369399 10862592 1933 996147200 134512640 135239763 4294955968 18446744073709551615 134796833 0 4 0 0 0 0 0 17 1 0 0 /proc/14065/statm: 2652 1933 419 177 0 1555 0 [pid=14054/tid=14055] ppid=14046 vsize=197424 CPUtime=4.38 /proc/14054/task/14055/stat : 14055 (java) S 14046 14046 13136 0 -1 64 3857 0 1 0 432 6 0 0 24 0 10 0 658368830 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197424 CPUtime=0.89 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 6090 0 0 0 79 10 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197424 CPUtime=0.23 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14063] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14063/stat : 14063 (java) S 14046 14046 13136 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658369398 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 218748 [startup+51.1023 s] /proc/loadavg: 1.99 1.98 1.91 3/94 14065 /proc/meminfo: memFree=1714912/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 ################ # More data... # ################ [pid=14064] ppid=14054 vsize=5356 CPUtime=0 /proc/14064/stat : 14064 (mistral) S 14054 14046 13136 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 658369398 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14064/statm: 1339 238 198 169 0 50 0 [pid=14065] ppid=14064 vsize=10608 CPUtime=1003.4 /proc/14065/stat : 14065 (xsolve) R 14064 14046 13136 0 -1 4194304 1969 0 0 0 100338 2 0 0 25 0 1 0 658369399 10862592 1933 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0 /proc/14065/statm: 2652 1933 419 177 0 1555 0 [pid=14054/tid=14055] ppid=14046 vsize=197424 CPUtime=4.38 /proc/14054/task/14055/stat : 14055 (java) S 14046 14046 13136 0 -1 64 3857 0 1 0 432 6 0 0 24 0 10 0 658368830 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197424 CPUtime=0.89 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 6090 0 0 0 79 10 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197424 CPUtime=0.23 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14063] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14063/stat : 14063 (java) S 14046 14046 13136 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658369398 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1010.46 Current children cumulated vsize (KiB) 218748 [startup+1014.3 s] /proc/loadavg: 2.05 2.06 1.97 3/98 14151 /proc/meminfo: memFree=1711408/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=197424 CPUtime=5.53 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 11438 0 1 0 535 18 0 0 18 0 10 0 658368829 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49356 9375 2544 9 0 43938 0 [pid=14064] ppid=14054 vsize=5356 CPUtime=0 /proc/14064/stat : 14064 (mistral) S 14054 14046 13136 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 658369398 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/14064/statm: 1339 238 198 169 0 50 0 [pid=14065] ppid=14064 vsize=10608 CPUtime=1006.58 /proc/14065/stat : 14065 (xsolve) R 14064 14046 13136 0 -1 4194304 1969 0 0 0 100656 2 0 0 25 0 1 0 658369399 10862592 1933 996147200 134512640 135239763 4294955968 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0 /proc/14065/statm: 2652 1933 419 177 0 1555 0 [pid=14054/tid=14055] ppid=14046 vsize=197424 CPUtime=4.38 /proc/14054/task/14055/stat : 14055 (java) S 14046 14046 13136 0 -1 64 3857 0 1 0 432 6 0 0 24 0 10 0 658368830 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197424 CPUtime=0.89 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 6090 0 0 0 79 10 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 658368831 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 24 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197424 CPUtime=0.23 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 669 0 0 0 23 0 0 0 16 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 28 0 0 0 0 0 0 0 15 0 10 0 658368833 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14063] ppid=14046 vsize=197424 CPUtime=0 /proc/14054/task/14063/stat : 14063 (java) S 14046 14046 13136 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 658369398 202162176 9375 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1013.64 Current children cumulated vsize (KiB) 218748 [startup+1015.9 s] /proc/loadavg: 2.05 2.06 1.97 3/98 14151 /proc/meminfo: memFree=1711408/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=197748 CPUtime=1013.37 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 11615 2275 1 0 535 18 100782 2 18 0 10 0 658368829 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49437 9382 2545 9 0 44019 0 [pid=14054/tid=14055] ppid=14046 vsize=197748 CPUtime=1012.22 /proc/14054/task/14055/stat : 14055 (java) S 14046 14046 13136 0 -1 64 3931 2275 1 0 432 6 100782 2 16 0 10 0 658368830 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197748 CPUtime=1008.73 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 6103 2275 0 0 79 10 100782 2 16 0 10 0 658368831 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 2275 0 0 0 0 100782 2 16 0 10 0 658368831 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 2275 0 0 0 0 100782 2 16 0 10 0 658368831 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 2275 0 0 0 0 100782 2 24 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197748 CPUtime=1008.07 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 701 2275 0 0 23 0 100782 2 16 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 2275 0 0 0 0 100782 2 25 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 33 2275 0 0 0 0 100782 2 15 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1014.9 Current children cumulated vsize (KiB) 203108 [startup+1016.7 s] /proc/loadavg: 2.05 2.06 1.97 4/106 14162 /proc/meminfo: memFree=1698088/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=197748 CPUtime=1013.37 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 11619 2275 1 0 535 18 100782 2 18 0 10 0 658368829 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49437 9382 2545 9 0 44019 0 [pid=14153] ppid=14054 vsize=5356 CPUtime=0 /proc/14153/stat : 14153 (choco) S 14054 14046 13136 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 658470230 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240153846596 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/14153/statm: 1339 238 197 169 0 50 0 [pid=14154] ppid=14153 vsize=655480 CPUtime=1.1 /proc/14154/stat : 14154 (java) S 14153 14046 13136 0 -1 0 13898 0 1 0 103 7 0 0 20 0 9 0 658470231 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14154/statm: 163870 13484 1923 9 0 158399 0 [pid=14154/tid=14155] ppid=14153 vsize=655480 CPUtime=0.82 /proc/14154/task/14155/stat : 14155 (java) R 14153 14046 13136 0 -1 64 12053 0 1 0 76 6 0 0 25 0 9 0 658470231 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4126840823 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14154/tid=14156] ppid=14153 vsize=655480 CPUtime=0.01 /proc/14154/task/14156/stat : 14156 (java) S 14153 14046 13136 0 -1 64 706 0 0 0 1 0 0 0 17 0 9 0 658470232 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14154/tid=14157] ppid=14153 vsize=655480 CPUtime=0 /proc/14154/task/14157/stat : 14157 (java) S 14153 14046 13136 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 658470232 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14154/tid=14158] ppid=14153 vsize=655480 CPUtime=0 /proc/14154/task/14158/stat : 14158 (java) S 14153 14046 13136 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658470232 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14154/tid=14159] ppid=14153 vsize=655480 CPUtime=0 /proc/14154/task/14159/stat : 14159 (java) S 14153 14046 13136 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 658470235 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14154/tid=14160] ppid=14153 vsize=655480 CPUtime=0.24 /proc/14154/task/14160/stat : 14160 (java) S 14153 14046 13136 0 -1 64 593 0 0 0 24 0 0 0 16 0 9 0 658470235 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14154/tid=14161] ppid=14153 vsize=655480 CPUtime=0 /proc/14154/task/14161/stat : 14161 (java) S 14153 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658470235 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14154/tid=14162] ppid=14153 vsize=655480 CPUtime=0 /proc/14154/task/14162/stat : 14162 (java) S 14153 14046 13136 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658470235 671211520 13484 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14055] ppid=14046 vsize=197748 CPUtime=1012.22 /proc/14054/task/14055/stat : 14055 (java) S 14046 14046 13136 0 -1 64 3931 2275 1 0 432 6 100782 2 16 0 10 0 658368830 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197748 CPUtime=1008.73 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 6106 2275 0 0 79 10 100782 2 16 0 10 0 658368831 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 2275 0 0 0 0 100782 2 16 0 10 0 658368831 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 2275 0 0 0 0 100782 2 16 0 10 0 658368831 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 2275 0 0 0 0 100782 2 24 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197748 CPUtime=1008.07 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 701 2275 0 0 23 0 100782 2 16 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 2275 0 0 0 0 100782 2 25 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 34 2275 0 0 0 0 100782 2 15 0 10 0 658368833 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14152] ppid=14046 vsize=197748 CPUtime=1007.84 /proc/14054/task/14152/stat : 14152 (java) S 14046 14046 13136 0 -1 64 49 2275 0 0 0 0 100782 2 16 0 10 0 658470230 202493952 9382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1016 Current children cumulated vsize (KiB) 863944 [startup+1017.1 s] /proc/loadavg: 2.05 2.06 1.97 4/106 14162 /proc/meminfo: memFree=1698088/2055920 swapFree=4181044/4192956 [pid=14046] ppid=14044 vsize=5360 CPUtime=1.53 /proc/14046/stat : 14046 (hydra) S 14044 14046 13136 0 -1 4194304 375 2588 0 0 0 0 152 1 19 0 1 0 658368673 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14046/statm: 1340 238 196 169 0 51 0 [pid=14054] ppid=14046 vsize=197748 CPUtime=1014.84 /proc/14054/stat : 14054 (java) S 14046 14046 13136 0 -1 0 11721 17465 1 1 535 18 100919 12 18 0 9 0 658368829 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/14054/statm: 49437 9383 2545 9 0 44019 0 [pid=14054/tid=14055] ppid=14046 vsize=197748 CPUtime=1013.7 /proc/14054/task/14055/stat : 14055 (java) S 14046 14046 13136 0 -1 64 3999 17465 1 1 433 6 100919 12 16 0 9 0 658368830 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14056] ppid=14046 vsize=197748 CPUtime=1010.2 /proc/14054/task/14056/stat : 14056 (java) S 14046 14046 13136 0 -1 64 6129 17465 0 1 79 10 100919 12 16 0 9 0 658368831 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14057] ppid=14046 vsize=197748 CPUtime=1009.31 /proc/14054/task/14057/stat : 14057 (java) S 14046 14046 13136 0 -1 64 11 17465 0 1 0 0 100919 12 16 0 9 0 658368831 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14058] ppid=14046 vsize=197748 CPUtime=1009.31 /proc/14054/task/14058/stat : 14058 (java) S 14046 14046 13136 0 -1 64 5 17465 0 1 0 0 100919 12 16 0 9 0 658368831 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14059] ppid=14046 vsize=197748 CPUtime=1009.31 /proc/14054/task/14059/stat : 14059 (java) S 14046 14046 13136 0 -1 64 1 17465 0 1 0 0 100919 12 24 0 9 0 658368833 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14060] ppid=14046 vsize=197748 CPUtime=1009.54 /proc/14054/task/14060/stat : 14060 (java) S 14046 14046 13136 0 -1 64 701 17465 0 1 23 0 100919 12 16 0 9 0 658368833 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=14054/tid=14061] ppid=14046 vsize=197748 CPUtime=1009.31 /proc/14054/task/14061/stat : 14061 (java) S 14046 14046 13136 0 -1 64 0 17465 0 1 0 0 100919 12 25 0 9 0 658368833 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=14054/tid=14062] ppid=14046 vsize=197748 CPUtime=1009.31 /proc/14054/task/14062/stat : 14062 (java) S 14046 14046 13136 0 -1 64 34 17465 0 1 0 0 100919 12 15 0 9 0 658368833 202493952 9383 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1016.37 Current children cumulated vsize (KiB) 203108 Child status: 0 Real time (s): 1017.15 CPU time (s): 1016.42 CPU user time (s): 1016.08 CPU system time (s): 0.336948 CPU usage (%): 99.9276 Max. virtual memory (cumulated for all children) (KiB): 864060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1016.08 system time used= 0.336948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32190 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= 31260 involuntary context switches= 28055 runsolver used 1.17082 second user time and 3.59745 second system time The end
Begin job on node86 at 2008-07-02 21:19:57 IDJOB=1046370 IDBENCH=53751 IDSOLVER=366 FILE ID=node86/1046370-1215026397 PBS_JOBID= 7874300 Free space on /tmp= 66528 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-20-20.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046370-1215026397/watcher-1046370-1215026397 -o /tmp/evaluation-result-1046370-1215026397/solver-1046370-1215026397 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046370-1215026397.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= cc9a2c718875c07f7259307b3c001f7c RANDOM SEED=2086867963 node86.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.220 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.220 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1750032 kB Buffers: 19868 kB Cached: 150360 kB SwapCached: 6096 kB Active: 199696 kB Inactive: 39500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1750032 kB SwapTotal: 4192956 kB SwapFree: 4181044 kB Dirty: 24744 kB Writeback: 0 kB Mapped: 85172 kB Slab: 51884 kB Committed_AS: 1834348 kB PageTables: 1996 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= 66484 MiB End job on node86 at 2008-07-02 21:36:54