Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 146.874 | 148.427 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 101469 |
CHECKS | 217456000 |
Name | csp/allsquaresUnsat/ normalized-squaresUnsat-19-19.xml |
MD5SUM | c86e424cb5b882a12fe7c2f7a0eff367 |
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.101984 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 722 |
Number of constraints | 858 |
Maximum constraint arity | 19 |
Maximum domain size | 49 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 685 |
Global constraints used (with number of constraints) | cumulative(2),weightedsum(171) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.99/7.10 c CASE TO CLASSIFY: 6.99/7.10 c Case: 0 6.99/7.11 c 19 > 0.000000 | c 35 > 29.985400 | c 17 > 0.000000 | c 18 > 20.163200 | c 33 > 0.000000 | c 15 > 21.372700 | c 34 > 39.956200 | c 16 > 19.000000 | c 13 > 6.921480 | c 14 > 10.465600 | c 11 > 12.589400 | c 12 > 4.979370 | 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.99/7.12 c choco : 1801.0 6.99/7.12 c mistral : 1801.0 6.99/7.12 c abscon : 1801.0 6.99/7.12 c 6.99/7.12 c 6.99/7.19 c List of same ones: 40 6.99/7.19 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml 6.99/7.19 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 7.08/7.20 c choco : 1801.0 7.08/7.20 c mistral : 916.51 7.08/7.20 c abscon : 1801.0 7.08/7.20 c 7.08/7.20 c 7.08/7.20 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml 7.08/7.20 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 7.08/7.21 c choco : 26.66 7.08/7.21 c mistral : 13.36 7.08/7.21 c abscon : 1801.0 7.08/7.21 c 7.08/7.21 c 7.08/7.21 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml 7.08/7.21 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 7.08/7.22 c choco : 6.14 7.08/7.22 c mistral : 1801.0 7.08/7.22 c abscon : 1801.0 7.08/7.22 c 7.08/7.22 c 7.08/7.22 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml 7.08/7.22 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 7.08/7.23 c choco : 17.66 7.08/7.23 c mistral : 11.81 7.08/7.23 c abscon : 1801.0 7.08/7.23 c 7.08/7.23 c 7.08/7.23 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml 7.08/7.23 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 7.08/7.24 c choco : 21.34 7.08/7.24 c mistral : 77.84 7.08/7.24 c abscon : 1801.0 7.08/7.24 c 7.08/7.24 c 7.08/7.24 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml 7.08/7.24 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 7.08/7.25 c choco : 54.4 7.08/7.25 c mistral : 98.37 7.08/7.25 c abscon : 1801.0 7.08/7.25 c 7.08/7.25 c 7.08/7.25 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml 7.08/7.25 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 7.08/7.26 c choco : 8.21 7.08/7.26 c mistral : 1801.0 7.08/7.26 c abscon : 1801.0 7.08/7.26 c 7.08/7.26 c 7.08/7.26 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml 7.08/7.26 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 7.08/7.27 c choco : 1801.0 7.08/7.27 c mistral : 687.44 7.08/7.27 c abscon : 1801.0 7.08/7.27 c 7.08/7.27 c 7.08/7.27 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml 7.08/7.27 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 7.08/7.28 c choco : 9.7 7.08/7.28 c mistral : 1801.0 7.08/7.28 c abscon : 1801.0 7.08/7.28 c 7.08/7.28 c 7.08/7.28 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml 7.08/7.28 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 7.08/7.29 c choco : 11.12 7.08/7.29 c mistral : 1801.0 7.08/7.29 c abscon : 1801.0 7.08/7.29 c 7.08/7.29 c 7.08/7.29 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml 7.08/7.29 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 7.26/7.48 c choco : 1801.0 7.26/7.48 c mistral : 394.02 7.26/7.48 c abscon : 1801.0 7.26/7.48 c 7.26/7.48 c 7.26/7.48 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml 7.26/7.48 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 7.35/7.50 c choco : 12.45 7.35/7.50 c mistral : 1801.0 7.35/7.50 c abscon : 1801.0 7.35/7.50 c 7.35/7.50 c 7.35/7.50 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml 7.35/7.50 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 7.35/7.51 c choco : 13.48 7.35/7.51 c mistral : 1801.0 7.35/7.51 c abscon : 1801.0 7.35/7.51 c 7.35/7.51 c 7.35/7.51 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml 7.35/7.51 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 7.35/7.52 c choco : 719.66 7.35/7.52 c mistral : 1801.0 7.35/7.52 c abscon : 1801.0 7.35/7.52 c 7.35/7.52 c 7.35/7.52 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml 7.35/7.52 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 7.35/7.52 c choco : 14.93 7.35/7.52 c mistral : 1801.0 7.35/7.52 c abscon : 1801.0 7.35/7.52 c 7.35/7.52 c 7.35/7.52 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml 7.35/7.52 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 7.35/7.53 c choco : 47.2 7.35/7.53 c mistral : 1801.0 7.35/7.53 c abscon : 1801.0 7.35/7.53 c 7.35/7.53 c 7.35/7.53 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml 7.35/7.53 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 7.35/7.54 c choco : 17.5 7.35/7.54 c mistral : 1801.0 7.35/7.54 c abscon : 1801.0 7.35/7.54 c 7.35/7.54 c 7.35/7.54 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml 7.35/7.54 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 7.35/7.54 c choco : 6.04 7.35/7.54 c mistral : 0.11 7.35/7.54 c abscon : 1801.0 7.35/7.54 c 7.35/7.54 c 7.35/7.54 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml 7.35/7.54 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 7.35/7.55 c choco : 5.97 7.35/7.55 c mistral : 0.11 7.35/7.55 c abscon : 1801.0 7.35/7.55 c 7.35/7.55 c 7.35/7.55 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml 7.35/7.55 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 7.35/7.56 c choco : 20.93 7.35/7.56 c mistral : 1801.0 7.35/7.56 c abscon : 1801.0 7.35/7.56 c 7.35/7.56 c 7.35/7.56 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml 7.35/7.56 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 7.35/7.56 c choco : 5.68 7.35/7.56 c mistral : 0.09 7.35/7.56 c abscon : 1801.0 7.35/7.56 c 7.35/7.56 c 7.35/7.56 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml 7.35/7.56 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 7.35/7.57 c choco : 20.83 7.35/7.57 c mistral : 0.08 7.35/7.57 c abscon : 1801.0 7.35/7.57 c 7.35/7.57 c 7.35/7.57 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml 7.35/7.57 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 7.35/7.57 c choco : 5.56 7.35/7.58 c mistral : 0.08 7.35/7.58 c abscon : 1801.0 7.35/7.58 c 7.35/7.58 c 7.35/7.58 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml 7.35/7.58 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 7.35/7.58 c choco : 19.73 7.35/7.58 c mistral : 1801.0 7.35/7.58 c abscon : 1801.0 7.35/7.58 c 7.35/7.58 c 7.35/7.58 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml 7.35/7.58 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 7.35/7.59 c choco : 9.2 7.35/7.59 c mistral : 0.07 7.35/7.59 c abscon : 1801.0 7.35/7.59 c 7.35/7.59 c 7.35/7.59 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml 7.35/7.59 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 7.35/7.59 c choco : 5.63 7.35/7.59 c mistral : 0.13 7.35/7.59 c abscon : 19.35 7.35/7.59 c 7.35/7.59 c 7.35/7.59 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml 7.35/7.59 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 7.41/7.60 c choco : 19.61 7.41/7.60 c mistral : 1801.0 7.41/7.60 c abscon : 1801.0 7.41/7.60 c 7.41/7.60 c 7.41/7.60 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml 7.41/7.60 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 7.41/7.60 c choco : 11.72 7.41/7.60 c mistral : 0.06 7.41/7.60 c abscon : 1801.0 7.41/7.60 c 7.41/7.60 c 7.41/7.61 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-12-12.xml 7.41/7.61 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 7.41/7.61 c choco : 5.24 7.41/7.61 c mistral : 0.1 7.41/7.61 c abscon : 1801.0 7.41/7.61 c 7.41/7.61 c 7.41/7.61 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-11-11.xml 7.41/7.61 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 7.41/7.62 c choco : 4.39 7.41/7.62 c mistral : 0.08 7.41/7.62 c abscon : 1801.0 7.41/7.62 c 7.41/7.62 c 7.41/7.62 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-11-11.xml 7.41/7.62 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 7.41/7.62 c choco : 13.01 7.41/7.62 c mistral : 0.04 7.41/7.62 c abscon : 1801.0 7.41/7.62 c 7.41/7.62 c 7.41/7.62 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-10-10.xml 7.41/7.62 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 7.41/7.63 c choco : 7.82 7.41/7.63 c mistral : 0.04 7.41/7.63 c abscon : 1801.0 7.41/7.63 c 7.41/7.63 c 7.41/7.63 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-10-10.xml 7.41/7.63 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 7.41/7.63 c choco : 4.04 7.41/7.63 c mistral : 0.08 7.41/7.63 c abscon : 1801.0 7.41/7.63 c 7.41/7.63 c 7.41/7.63 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 7.41/7.63 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 7.41/7.64 c choco : 20.27 7.41/7.64 c mistral : 1801.0 7.41/7.64 c abscon : 1801.0 7.41/7.64 c 7.41/7.64 c 7.41/7.64 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-9-9.xml 7.41/7.64 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.41/7.65 c choco : 3.32 7.41/7.65 c mistral : 0.03 7.41/7.65 c abscon : 1801.0 7.41/7.65 c 7.41/7.65 c 7.41/7.65 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-9-9.xml 7.41/7.65 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.41/7.65 c choco : 3.17 7.41/7.65 c mistral : 0.03 7.41/7.65 c abscon : 1801.0 7.41/7.65 c 7.41/7.65 c 7.41/7.65 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.41/7.65 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 7.41/7.66 c choco : 21.51 7.41/7.66 c mistral : 1801.0 7.41/7.66 c abscon : 1801.0 7.41/7.66 c 7.41/7.66 c 7.41/7.66 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.41/7.66 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.41/7.67 c choco : 21.79 7.41/7.67 c mistral : 1801.0 7.41/7.67 c abscon : 1801.0 7.41/7.67 c 7.41/7.67 c 7.41/7.67 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-8-8.xml 7.41/7.67 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.41/7.67 c choco : 3.01 7.41/7.67 c mistral : 0.02 7.41/7.67 c abscon : 1801.0 7.41/7.67 c 7.41/7.67 c 7.41/7.67 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-7-7.xml 7.41/7.67 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.41/7.68 c choco : 2.78 7.41/7.68 c mistral : 0.02 7.41/7.68 c abscon : 1801.0 7.41/7.68 c 7.41/7.68 c 7.41/7.68 c Length: 40 7.41/7.68 c 2.559987800127179 2.637826641536551 3.0104291790706506 3.3434895435009206 3.8564768209468085 4.054960305748995 4.131909697609569 4.142566237850158 4.15598276714425 4.424302589400501 4.618219186807833 4.773530088938477 6.118726356239181 6.897098210444447 8.156813433450836 8.62478926266613 9.67838785592952 10.76269410954915 11.299668345075444 11.704563804994017 11.822934838266683 12.34357285206759 12.684402088416507 12.749130534750831 13.234221469614297 13.565855755546018 13.765036918236579 14.125228662651802 14.546851072450043 15.624674507854586 15.631256851693019 16.73378180519873 16.92898794163432 17.79885815756573 18.206963843403436 18.75685818424301 18.77989831248817 19.820327561469842 21.01243941242083 23.482175843755385 7.41/7.69 c 7.41/7.69 c 1.0 0.9962933932496614 0.9789243817390219 0.963903393485199 0.9416486851553307 0.9333112459832996 0.9301185109525263 0.9296780777959016 0.9291241675110918 0.9181833735986276 0.9104354299136049 0.9043236475786717 0.8546321953291683 0.8282964818589483 0.7889504601678321 0.7752694326592818 0.7461394165286105 0.7183609935202074 0.7053563729860858 0.6958576589712999 0.6931288525611247 0.6813763645849271 0.6738962228442983 0.6724941531030136 0.6621695403863925 0.6552916358030902 0.6512289848734888 0.6440087365505779 0.6357578601327589 0.6155961145793112 0.6154769132494665 0.5961419747307893 0.5928445348417211 0.5785833979630143 0.5721265051043513 0.5636508287071812 0.5633011826752176 0.5479518839217452 0.5313620194739117 0.5 7.46/7.70 c 7.46/7.70 c solver 0 7.46/7.70 c before 0.0 seconds: {} 0 7.46/7.70 c before 36.0 seconds: {25} 655 7.46/7.70 c 7.46/7.70 c solver 1 7.46/7.70 c before 0.0 seconds: {} 0 7.46/7.70 c before 18.0 seconds: {1, 3, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 12616 7.46/7.70 c before 90.0 seconds: {1, 3, 4, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 13558 7.46/7.70 c before 108.0 seconds: {1, 3, 4, 5, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 14491 7.46/7.70 c before 396.0 seconds: {1, 3, 4, 5, 10, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 15402 7.46/7.70 c before 702.0 seconds: {1, 3, 4, 5, 7, 10, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 16331 7.46/7.70 c before 918.0 seconds: {0, 1, 3, 4, 5, 7, 10, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 17331 7.46/7.70 c 7.46/7.70 c solver 2 7.46/7.70 c before 0.0 seconds: {} 0 7.46/7.70 c before 18.0 seconds: {2, 3, 6, 8, 9, 11, 12, 14, 16, 17, 18, 20, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 17989 7.46/7.70 c before 36.0 seconds: {1, 2, 3, 4, 6, 8, 9, 11, 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} 24318 7.46/7.70 c before 54.0 seconds: {1, 2, 3, 4, 6, 8, 9, 11, 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} 25093 7.46/7.70 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 11, 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} 26026 7.46/7.70 c before 720.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9, 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} 26855 7.46/7.70 c 7.46/7.70 cTotal time: 93 7.46/7.70 c 1674.0 seconds unused 7.46/7.70 c 0 c 0 c 0 7.46/7.70 c 23 c 0 c 3 7.46/7.70 c 36 c 16 c 0 7.46/7.70 c is solver0 dominated by: 7.46/7.71 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.46/7.71 c is dominated? true 7.46/7.71 c 7.46/7.71 c is solver1 dominated by: 7.46/7.71 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.46/7.71 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.46/7.71 c is dominated? false 7.46/7.71 c 7.46/7.71 c is solver2 dominated by: 7.46/7.71 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.46/7.71 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.46/7.71 c is dominated? false 7.46/7.71 c 7.46/7.71 c Number of non-dominated solvers: 2 7.46/7.71 c remove dominated solvers 7.46/7.71 c solver 1 is not dominated by another solver 7.46/7.71 c solver 2 is not dominated by another solver 7.46/7.71 c solver 0 is dominated by another solver 7.46/7.71 c 7.46/7.71 c solver 0: 0.0 7.46/7.71 c 7.46/7.71 c solver 1: 918.0 7.46/7.71 c 7.46/7.71 c+ 51/91 of 9 7.46/7.71 c 7.46/7.71 c solver 2: 720.0 7.46/7.71 c 7.46/7.71 c+ 40/91 of 9 7.46/7.71 c do not run abscon 7.46/7.71 c run mistral for 1008.0 seconds {0, 1, 3, 4, 5, 7, 10, 17, 18, 20, 21, 22, 24, 25, 27, 28, 29, 30, 31, 32, 34, 35, 38, 39} 17331 7.46/7.71 c run choco for 774.0 seconds {1, 2, 3, 4, 5, 6, 8, 9, 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} 26855 7.46/7.71 c Starting solver: HOME/cpHydra_k_40/solver/mistral 7.46/7.71 c On Instance: HOME/instance-1046366-1215026382.xml 7.46/7.71 c Running for: 1008 seconds 146.81/148.41 c mistral-prime version 1.313 146.81/148.41 s UNSATISFIABLE 146.81/148.41 d CHECKS 217455930 146.81/148.41 d ASSIGNMENTS 101469
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-1046366-1215026382/watcher-1046366-1215026382 -o /tmp/evaluation-result-1046366-1215026382/solver-1046366-1215026382 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046366-1215026382.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.92 1.98 1.98 4/80 32455 /proc/meminfo: memFree=1315320/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=18572 CPUtime=0 /proc/32455/stat : 32455 (runsolver) R 32453 32455 31417 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 1532313292 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0 /proc/32455/statm: 4643 292 257 25 0 2626 0 [startup+0.158308 s] /proc/loadavg: 1.92 1.98 1.98 4/80 32455 /proc/meminfo: memFree=1315320/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=0 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532313292 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.201314 s] /proc/loadavg: 1.92 1.98 1.98 4/80 32455 /proc/meminfo: memFree=1315320/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=0 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532313292 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301324 s] /proc/loadavg: 1.92 1.98 1.98 4/80 32455 /proc/meminfo: memFree=1315320/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=0 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532313292 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701365 s] /proc/loadavg: 1.92 1.98 1.98 4/80 32455 /proc/meminfo: memFree=1315320/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=0 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532313292 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50144 s] /proc/loadavg: 1.92 1.98 1.98 3/82 32459 /proc/meminfo: memFree=1309608/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=0 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532313292 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 236 195 169 0 51 0 [pid=32459] ppid=32455 vsize=9944 CPUtime=1.47 /proc/32459/stat : 32459 (xsolve) R 32455 32455 31417 0 -1 4194304 1824 0 0 0 146 1 0 0 25 0 1 0 1532313294 10182656 1783 996147200 134512640 135239763 4294956176 18446744073709551615 135097601 0 0 4096 0 0 0 0 17 1 0 0 /proc/32459/statm: 2486 1783 438 177 0 1389 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 15304 [startup+3.1026 s] /proc/loadavg: 1.92 1.98 1.98 3/90 32471 /proc/meminfo: memFree=1307112/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197020 CPUtime=1.5 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 6412 0 1 0 144 6 0 0 18 0 9 0 1532313449 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49255 5394 2541 9 0 43837 0 [pid=32463/tid=32464] ppid=32455 vsize=197020 CPUtime=1.12 /proc/32463/task/32464/stat : 32464 (java) R 32455 32455 31417 0 -1 64 2778 0 1 0 110 2 0 0 25 0 9 0 1532313450 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4126444420 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197020 CPUtime=0.2 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 2298 0 0 0 18 2 0 0 16 0 9 0 1532313451 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1532313451 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532313451 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1532313453 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197020 CPUtime=0.15 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 612 0 0 0 15 0 0 0 16 0 9 0 1532313453 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1532313453 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532313453 201748480 5394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202380 [startup+6.30192 s] /proc/loadavg: 1.93 1.98 1.98 3/90 32471 /proc/meminfo: memFree=1293992/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197020 CPUtime=4.66 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 10221 0 1 0 452 14 0 0 18 0 9 0 1532313449 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49255 8474 2541 9 0 43837 0 [pid=32463/tid=32464] ppid=32455 vsize=197020 CPUtime=3.66 /proc/32463/task/32464/stat : 32464 (java) R 32455 32455 31417 0 -1 64 3587 0 1 0 362 4 0 0 25 0 9 0 1532313450 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4126444423 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197020 CPUtime=0.8 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 5282 0 0 0 72 8 0 0 16 0 9 0 1532313451 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1532313451 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532313451 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1532313453 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197020 CPUtime=0.18 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 628 0 0 0 18 0 0 0 16 0 9 0 1532313453 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1532313453 201748480 8474 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197020 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532313453 201748480 8474 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.7026 s] /proc/loadavg: 1.93 1.98 1.98 3/93 32474 /proc/meminfo: memFree=1281104/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197344 CPUtime=5.95 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 13965 0 1 0 574 21 0 0 18 0 10 0 1532313449 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49336 9479 2544 9 0 43918 0 [pid=32473] ppid=32463 vsize=5356 CPUtime=0 /proc/32473/stat : 32473 (mistral) S 32463 32455 31417 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1532314064 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32473/statm: 1339 238 198 169 0 50 0 [pid=32474] ppid=32473 vsize=9944 CPUtime=4.92 /proc/32474/stat : 32474 (xsolve) R 32473 32455 31417 0 -1 4194304 1800 0 0 0 492 0 0 0 25 0 1 0 1532314065 10182656 1764 996147200 134512640 135239763 4294955968 18446744073709551615 134802542 0 4 0 0 0 0 0 17 1 0 0 /proc/32474/statm: 2486 1764 419 177 0 1389 0 [pid=32463/tid=32464] ppid=32455 vsize=197344 CPUtime=4.57 /proc/32463/task/32464/stat : 32464 (java) S 32455 32455 31417 0 -1 64 3903 0 1 0 449 8 0 0 23 0 10 0 1532313450 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197344 CPUtime=1.11 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197344 CPUtime=0.23 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32472] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32472/stat : 32472 (java) S 32455 32455 31417 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532314064 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.4 Current children cumulated vsize (KiB) 218004 [startup+25.5028 s] /proc/loadavg: 1.95 1.98 1.98 3/93 32474 /proc/meminfo: memFree=1281232/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197344 CPUtime=5.95 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 13965 0 1 0 574 21 0 0 18 0 10 0 1532313449 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49336 9479 2544 9 0 43918 0 [pid=32473] ppid=32463 vsize=5356 CPUtime=0 /proc/32473/stat : 32473 (mistral) S 32463 32455 31417 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1532314064 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32473/statm: 1339 238 198 169 0 50 0 [pid=32474] ppid=32473 vsize=9944 CPUtime=17.6 /proc/32474/stat : 32474 (xsolve) R 32473 32455 31417 0 -1 4194304 1800 0 0 0 1760 0 0 0 25 0 1 0 1532314065 10182656 1764 996147200 134512640 135239763 4294955968 18446744073709551615 134796833 0 4 0 0 0 0 0 17 1 0 0 /proc/32474/statm: 2486 1764 419 177 0 1389 0 [pid=32463/tid=32464] ppid=32455 vsize=197344 CPUtime=4.57 /proc/32463/task/32464/stat : 32464 (java) S 32455 32455 31417 0 -1 64 3903 0 1 0 449 8 0 0 23 0 10 0 1532313450 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197344 CPUtime=1.11 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197344 CPUtime=0.23 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32472] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32472/stat : 32472 (java) S 32455 32455 31417 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532314064 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.08 Current children cumulated vsize (KiB) 218004 [startup+51.1024 s] /proc/loadavg: 1.96 1.98 1.98 3/93 32474 /proc/meminfo: memFree=1281168/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 ################ # More data... # ################ [pid=32473] ppid=32463 vsize=5356 CPUtime=0 /proc/32473/stat : 32473 (mistral) S 32463 32455 31417 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1532314064 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32473/statm: 1339 238 198 169 0 50 0 [pid=32474] ppid=32473 vsize=9944 CPUtime=134.97 /proc/32474/stat : 32474 (xsolve) R 32473 32455 31417 0 -1 4194304 1801 0 0 0 13497 0 0 0 25 0 1 0 1532314065 10182656 1765 996147200 134512640 135239763 4294955968 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0 /proc/32474/statm: 2486 1765 419 177 0 1389 0 [pid=32463/tid=32464] ppid=32455 vsize=197344 CPUtime=4.57 /proc/32463/task/32464/stat : 32464 (java) S 32455 32455 31417 0 -1 64 3903 0 1 0 449 8 0 0 23 0 10 0 1532313450 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197344 CPUtime=1.11 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197344 CPUtime=0.23 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32472] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32472/stat : 32472 (java) S 32455 32455 31417 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532314064 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 142.45 Current children cumulated vsize (KiB) 218004 [startup+145.603 s] /proc/loadavg: 1.99 1.98 1.98 3/93 32474 /proc/meminfo: memFree=1281232/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197344 CPUtime=5.95 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 13965 0 1 0 574 21 0 0 18 0 10 0 1532313449 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49336 9479 2544 9 0 43918 0 [pid=32473] ppid=32463 vsize=5356 CPUtime=0 /proc/32473/stat : 32473 (mistral) S 32463 32455 31417 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1532314064 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32473/statm: 1339 238 198 169 0 50 0 [pid=32474] ppid=32473 vsize=9944 CPUtime=136.55 /proc/32474/stat : 32474 (xsolve) R 32473 32455 31417 0 -1 4194304 1801 0 0 0 13655 0 0 0 25 0 1 0 1532314065 10182656 1765 996147200 134512640 135239763 4294955968 18446744073709551615 134820991 0 4 0 0 0 0 0 17 1 0 0 /proc/32474/statm: 2486 1765 419 177 0 1389 0 [pid=32463/tid=32464] ppid=32455 vsize=197344 CPUtime=4.57 /proc/32463/task/32464/stat : 32464 (java) S 32455 32455 31417 0 -1 64 3903 0 1 0 449 8 0 0 23 0 10 0 1532313450 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197344 CPUtime=1.11 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197344 CPUtime=0.23 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32472] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32472/stat : 32472 (java) S 32455 32455 31417 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532314064 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 144.03 Current children cumulated vsize (KiB) 218004 [startup+147.203 s] /proc/loadavg: 1.99 1.98 1.98 3/93 32474 /proc/meminfo: memFree=1281232/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197344 CPUtime=5.95 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 13965 0 1 0 574 21 0 0 18 0 10 0 1532313449 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49336 9479 2544 9 0 43918 0 [pid=32473] ppid=32463 vsize=5356 CPUtime=0 /proc/32473/stat : 32473 (mistral) S 32463 32455 31417 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1532314064 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32473/statm: 1339 238 198 169 0 50 0 [pid=32474] ppid=32473 vsize=9944 CPUtime=138.14 /proc/32474/stat : 32474 (xsolve) R 32473 32455 31417 0 -1 4194304 1801 0 0 0 13813 1 0 0 25 0 1 0 1532314065 10182656 1765 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0 /proc/32474/statm: 2486 1765 419 177 0 1389 0 [pid=32463/tid=32464] ppid=32455 vsize=197344 CPUtime=4.57 /proc/32463/task/32464/stat : 32464 (java) S 32455 32455 31417 0 -1 64 3903 0 1 0 449 8 0 0 23 0 10 0 1532313450 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197344 CPUtime=1.11 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197344 CPUtime=0.23 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32472] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32472/stat : 32472 (java) S 32455 32455 31417 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532314064 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 145.62 Current children cumulated vsize (KiB) 218004 [startup+148.002 s] /proc/loadavg: 1.99 1.98 1.98 3/93 32474 /proc/meminfo: memFree=1281232/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197344 CPUtime=5.95 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 13965 0 1 0 574 21 0 0 18 0 10 0 1532313449 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49336 9479 2544 9 0 43918 0 [pid=32473] ppid=32463 vsize=5356 CPUtime=0 /proc/32473/stat : 32473 (mistral) S 32463 32455 31417 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1532314064 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32473/statm: 1339 238 198 169 0 50 0 [pid=32474] ppid=32473 vsize=9944 CPUtime=138.94 /proc/32474/stat : 32474 (xsolve) R 32473 32455 31417 0 -1 4194304 1801 0 0 0 13893 1 0 0 25 0 1 0 1532314065 10182656 1765 996147200 134512640 135239763 4294955968 18446744073709551615 135031015 0 4 0 0 0 0 0 17 1 0 0 /proc/32474/statm: 2486 1765 419 177 0 1389 0 [pid=32463/tid=32464] ppid=32455 vsize=197344 CPUtime=4.57 /proc/32463/task/32464/stat : 32464 (java) S 32455 32455 31417 0 -1 64 3903 0 1 0 449 8 0 0 23 0 10 0 1532313450 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197344 CPUtime=1.11 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197344 CPUtime=0.23 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32472] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32472/stat : 32472 (java) S 32455 32455 31417 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532314064 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 146.42 Current children cumulated vsize (KiB) 218004 [startup+148.402 s] /proc/loadavg: 1.99 1.98 1.98 3/93 32474 /proc/meminfo: memFree=1281232/2055920 swapFree=4122568/4192956 [pid=32455] ppid=32453 vsize=5360 CPUtime=1.53 /proc/32455/stat : 32455 (hydra) S 32453 32455 31417 0 -1 4194304 375 2420 0 0 0 0 152 1 18 0 1 0 1532313292 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/32455/statm: 1340 238 196 169 0 51 0 [pid=32463] ppid=32455 vsize=197344 CPUtime=5.95 /proc/32463/stat : 32463 (java) S 32455 32455 31417 0 -1 0 13966 0 1 0 574 21 0 0 18 0 10 0 1532313449 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/32463/statm: 49336 9479 2544 9 0 43918 0 [pid=32473] ppid=32463 vsize=5356 CPUtime=0 /proc/32473/stat : 32473 (mistral) S 32463 32455 31417 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1532314064 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 252429525828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/32473/statm: 1339 238 198 169 0 50 0 [pid=32474] ppid=32473 vsize=9944 CPUtime=139.33 /proc/32474/stat : 32474 (xsolve) R 32473 32455 31417 0 -1 4194304 1807 0 0 0 13932 1 0 0 25 0 1 0 1532314065 10182656 1771 996147200 134512640 135239763 4294955968 18446744073709551615 10127263 0 4 0 0 0 0 0 17 1 0 0 /proc/32474/statm: 2486 1771 425 177 0 1389 0 [pid=32463/tid=32464] ppid=32455 vsize=197344 CPUtime=4.57 /proc/32463/task/32464/stat : 32464 (java) S 32455 32455 31417 0 -1 64 3904 0 1 0 449 8 0 0 17 0 10 0 1532313450 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=32463/tid=32465] ppid=32455 vsize=197344 CPUtime=1.11 /proc/32463/task/32465/stat : 32465 (java) S 32455 32455 31417 0 -1 64 8571 0 0 0 101 10 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32466] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32466/stat : 32466 (java) S 32455 32455 31417 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32467] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32467/stat : 32467 (java) S 32455 32455 31417 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532313451 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32468] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32468/stat : 32468 (java) S 32455 32455 31417 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32469] ppid=32455 vsize=197344 CPUtime=0.23 /proc/32463/task/32469/stat : 32469 (java) S 32455 32455 31417 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32470] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32470/stat : 32470 (java) S 32455 32455 31417 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32471] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32471/stat : 32471 (java) S 32455 32455 31417 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532313453 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=32463/tid=32472] ppid=32455 vsize=197344 CPUtime=0 /proc/32463/task/32472/stat : 32472 (java) S 32455 32455 31417 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532314064 202080256 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 146.81 Current children cumulated vsize (KiB) 218004 Child status: 0 Real time (s): 148.427 CPU time (s): 146.874 CPU user time (s): 146.617 CPU system time (s): 0.25696 CPU usage (%): 98.9538 Max. virtual memory (cumulated for all children) (KiB): 218004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 146.617 system time used= 0.25696 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18981 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12424 involuntary context switches= 20496 runsolver used 0.233964 second user time and 0.573912 second system time The end
Begin job on node12 at 2008-07-02 21:19:42 IDJOB=1046366 IDBENCH=53747 IDSOLVER=366 FILE ID=node12/1046366-1215026382 PBS_JOBID= 7874445 Free space on /tmp= 66540 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-19-19.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046366-1215026382/watcher-1046366-1215026382 -o /tmp/evaluation-result-1046366-1215026382/solver-1046366-1215026382 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046366-1215026382.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= c86e424cb5b882a12fe7c2f7a0eff367 RANDOM SEED=886482068 node12.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.236 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.236 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: 1315800 kB Buffers: 68572 kB Cached: 432616 kB SwapCached: 64436 kB Active: 339724 kB Inactive: 316460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1315800 kB SwapTotal: 4192956 kB SwapFree: 4122568 kB Dirty: 24460 kB Writeback: 0 kB Mapped: 171412 kB Slab: 68788 kB Committed_AS: 3603736 kB PageTables: 2084 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= 66516 MiB End job on node12 at 2008-07-02 21:22:11