Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.02 | 1815.93 |
Name | csp/pseudoGLB/ normalized-t3002-11tsp11-1900557362.xml |
MD5SUM | 5b64392b48a4c6bb0198564f616fd00a |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 24.3353 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 231 |
Number of constraints | 2707 |
Maximum constraint arity | 110 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | weightedsum(2707) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.07/7.11 c CASE TO CLASSIFY: 7.07/7.11 c Case: 0 7.07/7.12 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.960700 | c 34 > -1.000000 | c 16 > 110.000000 | c 13 > 9.203650 | c 14 > 9.967230 | c 11 > 11.520600 | c 12 > 7.413200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 11.402500 | c 1 > 7.851750 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 11.402500 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.056300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.07/7.13 c choco : 1801.0 7.07/7.13 c mistral : 1801.0 7.07/7.13 c abscon : 1801.0 7.07/7.13 c 7.07/7.13 c 7.17/7.20 c List of same ones: 40 7.17/7.20 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 7.17/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.696000 | c 34 > -1.000000 | c 16 > 100.000000 | c 13 > 12.108300 | c 14 > 14.463800 | c 11 > 6.643860 | c 12 > 14.945800 | c 21 > 10.000000 | c 20 > 0.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.347830 | c 3 > 6.643860 | c 2 > -1.000000 | c 10 > 12.279900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.652200 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.287700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.21 c choco : 1801.0 7.17/7.21 c mistral : 197.92 7.17/7.21 c abscon : 1801.0 7.17/7.21 c 7.17/7.21 c 7.17/7.21 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 7.17/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 16.832600 | c 34 > -1.000000 | c 16 > 81.000000 | c 13 > 7.189530 | c 14 > 10.327600 | c 11 > 6.339850 | c 12 > 9.808860 | c 21 > 9.000000 | c 20 > 0.000000 | c 22 > 9.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 4.761900 | c 3 > 6.339850 | c 2 > -1.000000 | c 10 > 11.671100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 95.238100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.679700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.22 c choco : 12.89 7.17/7.22 c mistral : 7.43 7.17/7.22 c abscon : 1801.0 7.17/7.22 c 7.17/7.22 c 7.17/7.22 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 7.17/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.914200 | c 34 > -1.000000 | c 16 > 64.000000 | c 13 > 12.258500 | c 14 > 14.563600 | c 11 > 6.000000 | c 12 > 14.663600 | c 21 > 8.000000 | c 20 > 0.000000 | c 22 > 8.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.263160 | c 3 > 6.000000 | c 2 > -1.000000 | c 10 > 10.990800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.23 c choco : 30.19 7.17/7.23 c mistral : 1.82 7.17/7.23 c abscon : 1801.0 7.17/7.23 c 7.17/7.23 c 7.17/7.23 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml 7.17/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.029600 | c 34 > -1.000000 | c 16 > 49.000000 | c 13 > 13.116600 | c 14 > 14.704700 | c 11 > 5.614710 | c 12 > 14.754600 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 5.882350 | c 3 > 5.614710 | c 2 > -1.000000 | c 10 > 10.220400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 94.117600 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.229400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.24 c choco : 8.91 7.17/7.24 c mistral : 0.14 7.17/7.24 c abscon : 62.66 7.17/7.24 c 7.17/7.24 c 7.17/7.24 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml 7.17/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 21.180100 | c 34 > -1.000000 | c 16 > 36.000000 | c 13 > 13.913900 | c 14 > 15.471700 | c 11 > 5.169930 | c 12 > 15.410800 | c 21 > 6.000000 | c 20 > 0.000000 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 6.666670 | c 3 > 5.169930 | c 2 > -1.000000 | c 10 > 9.333160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.339900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.25 c choco : 3.57 7.17/7.25 c mistral : 0.47 7.17/7.25 c abscon : 35.91 7.17/7.25 c 7.17/7.25 c 7.17/7.25 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml 7.17/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 17.453500 | c 34 > -1.000000 | c 16 > 25.000000 | c 13 > 8.763490 | c 14 > 11.124100 | c 11 > 4.643860 | c 12 > 10.603400 | c 21 > 5.000000 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 7.692310 | c 3 > 4.643860 | c 2 > -1.000000 | c 10 > 8.290020 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 92.307700 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.287710 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.26 c choco : 8.05 7.17/7.26 c mistral : 0.17 7.17/7.26 c abscon : 3.99 7.17/7.26 c 7.17/7.26 c 7.17/7.26 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml 7.17/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.576500 | c 34 > -1.000000 | c 16 > 16.000000 | c 13 > 3.038030 | c 14 > 4.459430 | c 11 > 4.000000 | c 12 > 3.774790 | c 21 > 4.000000 | c 20 > 0.000000 | c 22 > 4.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 9.090910 | c 3 > 4.000000 | c 2 > -1.000000 | c 10 > 7.033420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 90.909100 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.000000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.26 c choco : 1.16 7.17/7.26 c mistral : 0.02 7.17/7.26 c abscon : 1.71 7.17/7.26 c 7.17/7.26 c 7.17/7.26 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml 7.17/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 8.005620 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 2.660960 | c 14 > 3.000000 | c 11 > 3.169930 | c 12 > 3.502500 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.111100 | c 3 > 3.169930 | c 2 > -1.000000 | c 10 > 5.491850 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 88.888900 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.339850 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.17/7.27 c choco : 1.13 7.17/7.27 c mistral : 0.02 7.17/7.27 c abscon : 1.49 7.17/7.27 c 7.17/7.27 c 7.17/7.27 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.17/7.27 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.17/7.28 c choco : 21.79 7.17/7.28 c mistral : 1801.0 7.17/7.28 c abscon : 1801.0 7.17/7.28 c 7.17/7.28 c 7.17/7.28 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.17/7.28 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.17/7.29 c choco : 21.51 7.17/7.29 c mistral : 1801.0 7.17/7.29 c abscon : 1801.0 7.17/7.29 c 7.17/7.29 c 7.17/7.29 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 7.17/7.29 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.17/7.30 c choco : 20.27 7.17/7.30 c mistral : 1801.0 7.17/7.30 c abscon : 1801.0 7.25/7.30 c 7.25/7.30 c 7.25/7.30 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml 7.25/7.30 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.25/7.31 c choco : 19.61 7.25/7.31 c mistral : 1801.0 7.25/7.31 c abscon : 1801.0 7.25/7.31 c 7.25/7.31 c 7.25/7.31 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml 7.25/7.31 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.25/7.32 c choco : 19.73 7.25/7.32 c mistral : 1801.0 7.25/7.32 c abscon : 1801.0 7.25/7.32 c 7.25/7.32 c 7.25/7.32 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml 7.25/7.32 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.25/7.32 c choco : 20.93 7.25/7.32 c mistral : 1801.0 7.25/7.32 c abscon : 1801.0 7.25/7.32 c 7.25/7.32 c 7.25/7.32 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml 7.25/7.32 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.464530 | c 33 > 60.000000 | c 15 > 20.218500 | c 34 > 20.000000 | c 16 > 100.000000 | c 13 > 13.204400 | c 14 > 12.708000 | c 11 > 11.036200 | c 12 > 11.253500 | c 21 > 1.414210 | c 20 > 92.535500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.662700 | c 1 > 11.036200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.036200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.25/7.34 c choco : 1801.0 7.25/7.34 c mistral : 0.25 7.25/7.34 c abscon : 1801.0 7.25/7.34 c 7.25/7.34 c 7.25/7.34 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml 7.25/7.34 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.25/7.34 c choco : 17.5 7.25/7.34 c mistral : 1801.0 7.25/7.34 c abscon : 1801.0 7.25/7.34 c 7.25/7.34 c 7.25/7.34 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml 7.25/7.34 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.597540 | c 33 > 60.000000 | c 15 > 21.043400 | c 34 > 20.000000 | c 16 > 90.000000 | c 13 > 13.730600 | c 14 > 13.581800 | c 11 > 10.884200 | c 12 > 12.360000 | c 21 > 1.414210 | c 20 > 92.402500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.512700 | c 1 > 10.884200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.884200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.25/7.35 c choco : 1801.0 7.25/7.35 c mistral : 64.09 7.25/7.35 c abscon : 1801.0 7.25/7.35 c 7.25/7.35 c 7.25/7.35 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml 7.25/7.35 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.25/7.36 c choco : 47.2 7.25/7.36 c mistral : 1801.0 7.25/7.36 c abscon : 1801.0 7.25/7.36 c 7.25/7.36 c 7.25/7.36 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml 7.25/7.36 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.25/7.36 c choco : 14.93 7.25/7.36 c mistral : 1801.0 7.25/7.36 c abscon : 1801.0 7.25/7.36 c 7.25/7.36 c 7.25/7.36 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml 7.25/7.36 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.25/7.37 c choco : 719.66 7.25/7.37 c mistral : 1801.0 7.25/7.37 c abscon : 1801.0 7.25/7.37 c 7.25/7.37 c 7.25/7.37 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml 7.25/7.37 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.769230 | c 33 > 60.000000 | c 15 > 20.189000 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 11.267000 | c 14 > 13.952600 | c 11 > 11.422100 | c 12 > 9.350030 | c 21 > 1.414210 | c 20 > 94.230800 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 11.092800 | c 1 > 11.422100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.422100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.25/7.38 c choco : 1801.0 7.25/7.38 c mistral : 11.66 7.25/7.38 c abscon : 16.56 7.25/7.38 c 7.25/7.38 c 7.25/7.38 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml 7.25/7.38 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.763260 | c 33 > 60.000000 | c 15 > 20.669300 | c 34 > 20.000000 | c 16 > 80.000000 | c 13 > 14.163300 | c 14 > 13.801900 | c 11 > 10.714200 | c 12 > 12.382000 | c 21 > 1.414210 | c 20 > 92.236700 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.345400 | c 1 > 10.714200 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.714200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.25/7.38 c choco : 1801.0 7.25/7.38 c mistral : 0.2 7.25/7.38 c abscon : 1801.0 7.25/7.38 c 7.25/7.38 c 7.25/7.38 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml 7.25/7.38 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.25/7.39 c choco : 13.48 7.25/7.39 c mistral : 1801.0 7.25/7.39 c abscon : 1801.0 7.25/7.39 c 7.25/7.39 c 7.25/7.39 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml 7.25/7.39 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.862070 | c 33 > 60.000000 | c 15 > 20.445600 | c 34 > 20.000000 | c 16 > 91.000000 | c 13 > 11.211100 | c 14 > 14.129000 | c 11 > 11.315100 | c 12 > 9.331050 | c 21 > 1.414210 | c 20 > 94.137900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.987300 | c 1 > 11.315100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.315100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.25/7.40 c choco : 1801.0 7.25/7.40 c mistral : 0.54 7.25/7.40 c abscon : 14.27 7.25/7.40 c 7.25/7.40 c 7.25/7.40 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml 7.25/7.40 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.31/7.40 c choco : 12.45 7.31/7.40 c mistral : 1801.0 7.31/7.40 c abscon : 1801.0 7.31/7.40 c 7.31/7.40 c 7.31/7.40 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml 7.31/7.40 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.31/7.41 c choco : 1801.0 7.31/7.41 c mistral : 687.44 7.31/7.41 c abscon : 1801.0 7.31/7.41 c 7.31/7.41 c 7.31/7.41 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml 7.31/7.41 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.31/7.41 c choco : 11.12 7.31/7.41 c mistral : 1801.0 7.31/7.41 c abscon : 1801.0 7.31/7.41 c 7.31/7.41 c 7.31/7.41 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml 7.31/7.41 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 5.970150 | c 33 > 60.000000 | c 15 > 20.445100 | c 34 > 20.000000 | c 16 > 84.000000 | c 13 > 10.967300 | c 14 > 13.729000 | c 11 > 11.199700 | c 12 > 9.361060 | c 21 > 1.414210 | c 20 > 94.029900 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.873400 | c 1 > 11.199700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.199700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.31/7.42 c choco : 1801.0 7.31/7.42 c mistral : 1801.0 7.31/7.42 c abscon : 13.53 7.31/7.42 c 7.31/7.42 c 7.31/7.42 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml 7.31/7.42 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 4.656010 | c 33 > 60.000000 | c 15 > 19.889800 | c 34 > 20.000000 | c 16 > 98.000000 | c 13 > 14.236200 | c 14 > 13.363900 | c 11 > 11.784600 | c 12 > 12.139700 | c 21 > 1.414210 | c 20 > 95.344000 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 11.490900 | c 1 > 11.784600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.784600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.31/7.42 c choco : 1801.0 7.31/7.42 c mistral : 16.49 7.31/7.42 c abscon : 1801.0 7.31/7.42 c 7.31/7.42 c 7.31/7.42 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml 7.31/7.42 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.31/7.43 c choco : 9.7 7.31/7.43 c mistral : 1801.0 7.31/7.43 c abscon : 1801.0 7.31/7.43 c 7.31/7.43 c 7.31/7.43 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml 7.31/7.43 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.31/7.43 c choco : 1801.0 7.31/7.43 c mistral : 394.02 7.31/7.43 c abscon : 1801.0 7.31/7.43 c 7.31/7.43 c 7.31/7.43 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml 7.31/7.43 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 7.975460 | c 33 > 60.000000 | c 15 > 21.159200 | c 34 > 20.000000 | c 16 > 70.000000 | c 13 > 14.354800 | c 14 > 14.459000 | c 11 > 10.521600 | c 12 > 13.063400 | c 21 > 1.414210 | c 20 > 92.024500 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.156100 | c 1 > 10.521600 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.521600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.31/7.44 c choco : 1801.0 7.31/7.44 c mistral : 1.73 7.31/7.44 c abscon : 1801.0 7.31/7.44 c 7.31/7.44 c 7.31/7.44 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml 7.31/7.44 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.31/7.44 c choco : 8.21 7.31/7.44 c mistral : 1801.0 7.31/7.44 c abscon : 1801.0 7.31/7.44 c 7.31/7.44 c 7.31/7.44 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml 7.31/7.44 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.31/7.45 c choco : 54.4 7.31/7.45 c mistral : 98.37 7.31/7.45 c abscon : 1801.0 7.31/7.45 c 7.31/7.45 c 7.31/7.45 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml 7.31/7.45 c 19 > 0.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 6.097560 | c 33 > 60.000000 | c 15 > 20.860800 | c 34 > 20.000000 | c 16 > 77.000000 | c 13 > 11.902600 | c 14 > 14.472400 | c 11 > 11.074100 | c 12 > 10.069800 | c 21 > 1.414210 | c 20 > 93.902400 | c 22 > 1.414210 | 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 > -1.000000 | c 10 > 10.749900 | c 1 > 11.074100 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.074100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.31/7.46 c choco : 1801.0 7.31/7.46 c mistral : 1.6 7.31/7.46 c abscon : 11.26 7.31/7.46 c 7.31/7.46 c 7.31/7.46 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml 7.31/7.46 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.31/7.46 c choco : 1801.0 7.31/7.46 c mistral : 916.51 7.31/7.46 c abscon : 1801.0 7.31/7.46 c 7.31/7.46 c 7.31/7.46 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml 7.31/7.46 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.31/7.47 c choco : 26.66 7.31/7.47 c mistral : 13.36 7.31/7.47 c abscon : 1801.0 7.31/7.47 c 7.31/7.47 c 7.31/7.47 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml 7.31/7.47 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.31/7.48 c choco : 6.14 7.31/7.48 c mistral : 1801.0 7.31/7.48 c abscon : 1801.0 7.31/7.48 c 7.31/7.48 c 7.31/7.48 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml 7.31/7.48 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.31/7.48 c choco : 17.66 7.31/7.48 c mistral : 11.81 7.31/7.48 c abscon : 1801.0 7.31/7.48 c 7.31/7.48 c 7.31/7.48 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml 7.31/7.48 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 10.259700 | c 34 > -1.000000 | c 16 > 50.000000 | c 13 > -1.000000 | c 14 > -1.000000 | c 11 > 5.643860 | c 12 > 5.643860 | c 21 > 7.000000 | c 20 > 0.000000 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 1.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 5.643860 | c 2 > -1.000000 | c 10 > 10.259700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.258600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.31/7.49 c choco : 0.8 7.31/7.49 c mistral : 0.01 7.31/7.49 c abscon : 0.621905 7.31/7.49 c 7.31/7.49 c 7.31/7.49 c Length: 40 7.31/7.49 c 26.218037348249393 36.54112165550751 51.53660204782325 65.28357071586082 77.76964723947512 87.88209376519771 97.69188110323039 105.37007696146426 145.77734852598053 146.24056290311296 146.71396485550162 148.64195234987514 149.1331777182088 149.6270055366581 150.17572851003186 150.62819347417195 151.07688906342196 151.1416124367179 151.7090437975492 152.19782963400357 152.37093861161225 152.53951469137922 152.71611795152535 152.9697301460825 153.19986057003953 153.73511052732204 153.75554110297787 153.84951226591522 153.87203829024298 154.29963446621284 154.33009244004 154.61550049115223 154.84116499816028 154.84489811676877 155.07602350698028 155.28804754022605 155.3108201680401 155.80451207036882 155.85107571244802 155.885941708189 7.31/7.49 c 7.31/7.49 c 1.0 0.9262589370534462 0.8366401605687801 0.768477819845706 0.7155294775827696 0.6777116788718079 0.6446593289318285 0.6209555557423647 0.5202798742512944 0.519314674591988 0.5183319402813527 0.5143677596850615 0.5133674134722727 0.5123656818351412 0.5112571706069549 0.5103467182958712 0.5094470473731804 0.5093175334888467 0.5081848952431108 0.507213270689657 0.5068700493066084 0.5065362613764414 0.5061870504726044 0.505686405396527 0.505232970951224 0.5041814868065937 0.5041414382007499 0.5039573151089428 0.5039131985587916 0.503077226595746 0.5030177855397645 0.5024614717374325 0.5020224796461166 0.5020152239456004 0.5015664160359022 0.5011554050147586 0.5011113000711531 0.5001570458290975 0.500067230753916 0.5 7.37/7.51 c 7.37/7.51 c solver 0 7.37/7.51 c before 0.0 seconds: {} 0 7.37/7.51 c before 18.0 seconds: {5, 6, 7, 20, 23, 27, 34, 39} 4461 7.37/7.51 c before 36.0 seconds: {4, 5, 6, 7, 20, 23, 27, 34, 39} 5176 7.37/7.51 c before 72.0 seconds: {3, 4, 5, 6, 7, 20, 23, 27, 34, 39} 5945 7.37/7.51 c 7.37/7.51 c solver 1 7.37/7.51 c before 0.0 seconds: {} 0 7.37/7.51 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 14, 20, 21, 23, 28, 31, 34, 36, 38, 39} 10229 7.37/7.51 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 28, 31, 34, 36, 38, 39} 10739 7.37/7.51 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 28, 31, 33, 34, 36, 38, 39} 11241 7.37/7.51 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 28, 31, 33, 34, 36, 38, 39} 12241 7.37/7.51 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 28, 30, 31, 33, 34, 36, 38, 39} 12744 7.37/7.51 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 25, 28, 30, 31, 33, 34, 36, 38, 39} 13248 7.37/7.51 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 25, 28, 30, 31, 33, 34, 35, 36, 38, 39} 13749 7.37/7.51 c 7.37/7.51 c solver 2 7.37/7.51 c before 0.0 seconds: {} 0 7.37/7.51 c before 18.0 seconds: {1, 3, 4, 5, 6, 7, 15, 18, 22, 24, 26, 29, 32, 37, 38, 39} 9393 7.37/7.51 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 18, 22, 24, 26, 29, 32, 36, 37, 38, 39} 13828 7.37/7.51 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 22, 24, 26, 29, 32, 36, 37, 38, 39} 14338 7.37/7.51 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 22, 24, 26, 29, 32, 33, 36, 37, 38, 39} 14840 7.37/7.51 c before 720.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 22, 24, 26, 29, 32, 33, 36, 37, 38, 39} 15347 7.37/7.51 c 7.37/7.51 cTotal time: 95 7.37/7.51 c 1710.0 seconds unused 7.37/7.51 c 0 c 1 c 4 7.37/7.51 c 14 c 0 c 12 7.37/7.51 c 21 c 16 c 0 7.37/7.51 c is solver0 dominated by: 7.37/7.51 c solver 1 (0 solves instances that 1 can't: true) (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.37/7.51 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false) 7.37/7.51 c is dominated? false 7.37/7.51 c 7.37/7.51 c is solver1 dominated by: 7.37/7.51 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 7.37/7.51 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.37/7.51 c is dominated? false 7.37/7.51 c 7.37/7.51 c is solver2 dominated by: 7.37/7.51 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true) 7.37/7.51 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.37/7.51 c is dominated? false 7.37/7.51 c 7.37/7.51 c Number of non-dominated solvers: 3 7.37/7.51 c remove dominated solvers 7.37/7.51 c solver 0 is not dominated by another solver 7.37/7.51 c solver 1 is not dominated by another solver 7.37/7.51 c solver 2 is not dominated by another solver 7.37/7.51 c 7.37/7.51 c solver 0: 72.0 7.37/7.51 c 7.37/7.51 c+ 4/95 of 5 7.37/7.51 c 7.37/7.51 c solver 1: 918.0 7.37/7.51 c 7.37/7.51 c+ 51/95 of 5 7.37/7.51 c 7.37/7.51 c solver 2: 720.0 7.37/7.51 c 7.37/7.51 c+ 40/95 of 5 7.37/7.51 c run abscon for 72.0 seconds {3, 4, 5, 6, 7, 20, 23, 27, 34, 39} 5945 7.37/7.51 c run mistral for 954.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 25, 28, 30, 31, 33, 34, 35, 36, 38, 39} 13749 7.37/7.51 c run choco for 756.0 seconds {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 18, 19, 22, 24, 26, 29, 32, 33, 36, 37, 38, 39} 15347 7.37/7.51 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.37/7.51 c On Instance: HOME/instance-1069221-1215159043.xml 7.37/7.51 c Running for: 72 seconds 79.73/79.93 c Starting solver: HOME/cpHydra_k_40/solver/mistral 79.73/79.93 c On Instance: HOME/instance-1069221-1215159043.xml 79.73/79.93 c Running for: 954 seconds 1033.53/1042.98 c Starting solver: HOME/cpHydra_k_40/solver/choco 1033.53/1042.98 c On Instance: HOME/instance-1069221-1215159043.xml 1033.53/1042.98 c Running for: 756 seconds
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer:
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069221-1215159043/watcher-1069221-1215159043 -o /tmp/evaluation-result-1069221-1215159043/solver-1069221-1215159043 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069221-1215159043.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.00 2.00 4/82 12913 /proc/meminfo: memFree=1804280/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=0 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 306 124 0 0 0 0 0 0 19 0 1 0 671631932 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12913/statm: 1340 236 195 169 0 51 0 [pid=12915] ppid=12913 vsize=44 CPUtime=0 /proc/12915/stat : 12915 (rm) R 12913 12913 7458 0 -1 4194304 22 0 0 0 0 0 0 0 21 0 1 0 671631933 45056 2 996147200 0 0 548682069758 18446744073709551615 249069890855 0 0 4096 0 0 0 0 17 0 0 0 /proc/12915/statm: 11 2 0 0 0 1 0 [startup+0.0255161 s] /proc/loadavg: 2.07 2.00 2.00 4/82 12913 /proc/meminfo: memFree=1804280/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=0 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 671631932 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12913/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101524 s] /proc/loadavg: 2.07 2.00 2.00 4/82 12913 /proc/meminfo: memFree=1804280/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=0 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 671631932 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12913/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301544 s] /proc/loadavg: 2.07 2.00 2.00 4/82 12913 /proc/meminfo: memFree=1804280/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=0 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 671631932 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12913/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701584 s] /proc/loadavg: 2.07 2.00 2.00 4/82 12913 /proc/meminfo: memFree=1804280/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=0 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 671631932 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12913/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50266 s] /proc/loadavg: 2.07 2.00 2.00 3/84 12917 /proc/meminfo: memFree=1798888/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=0 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 671631932 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12913/statm: 1340 236 195 169 0 51 0 [pid=12917] ppid=12913 vsize=9500 CPUtime=1.48 /proc/12917/stat : 12917 (xsolve) R 12913 12913 7458 0 -1 4194304 1759 0 0 0 147 1 0 0 25 0 1 0 671631933 9728000 1718 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/12917/statm: 2375 1718 425 177 0 1278 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14860 [startup+3.1031 s] /proc/loadavg: 2.30 2.05 2.02 4/92 12929 /proc/meminfo: memFree=1795560/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=1.64 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 375 2356 0 0 0 0 162 2 19 0 1 0 671631932 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12913/statm: 1340 238 196 169 0 51 0 [pid=12921] ppid=12913 vsize=197020 CPUtime=1.49 /proc/12921/stat : 12921 (java) S 12913 12913 7458 0 -1 0 6405 0 1 0 143 6 0 0 18 0 9 0 671632099 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12921/statm: 49255 5396 2541 9 0 43837 0 [pid=12921/tid=12922] ppid=12913 vsize=197020 CPUtime=1.11 /proc/12921/task/12922/stat : 12922 (java) R 12913 12913 7458 0 -1 64 2766 0 1 0 109 2 0 0 25 0 9 0 671632100 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12923] ppid=12913 vsize=197020 CPUtime=0.21 /proc/12921/task/12923/stat : 12923 (java) S 12913 12913 7458 0 -1 64 2297 0 0 0 18 3 0 0 15 0 9 0 671632101 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12924] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12924/stat : 12924 (java) S 12913 12913 7458 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 671632101 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12925] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12925/stat : 12925 (java) S 12913 12913 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 671632101 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12926] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12926/stat : 12926 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 671632103 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12927] ppid=12913 vsize=197020 CPUtime=0.14 /proc/12921/task/12927/stat : 12927 (java) S 12913 12913 7458 0 -1 64 617 0 0 0 14 0 0 0 16 0 9 0 671632103 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12928] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12928/stat : 12928 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 671632103 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12929] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12929/stat : 12929 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 671632103 201748480 5396 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.13 Current children cumulated vsize (KiB) 202380 [startup+6.30214 s] /proc/loadavg: 2.30 2.05 2.02 3/92 12929 /proc/meminfo: memFree=1782248/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=1.64 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 375 2356 0 0 0 0 162 2 19 0 1 0 671631932 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12913/statm: 1340 238 196 169 0 51 0 [pid=12921] ppid=12913 vsize=197020 CPUtime=4.64 /proc/12921/stat : 12921 (java) S 12913 12913 7458 0 -1 0 10220 0 1 0 451 13 0 0 18 0 9 0 671632099 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12921/statm: 49255 8467 2541 9 0 43837 0 [pid=12921/tid=12922] ppid=12913 vsize=197020 CPUtime=3.68 /proc/12921/task/12922/stat : 12922 (java) R 12913 12913 7458 0 -1 64 3590 0 1 0 364 4 0 0 25 0 9 0 671632100 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4126483921 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12923] ppid=12913 vsize=197020 CPUtime=0.77 /proc/12921/task/12923/stat : 12923 (java) S 12913 12913 7458 0 -1 64 5272 0 0 0 69 8 0 0 16 0 9 0 671632101 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12924] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12924/stat : 12924 (java) S 12913 12913 7458 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 671632101 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12925] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12925/stat : 12925 (java) S 12913 12913 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 671632101 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12926] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12926/stat : 12926 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 671632103 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12927] ppid=12913 vsize=197020 CPUtime=0.17 /proc/12921/task/12927/stat : 12927 (java) S 12913 12913 7458 0 -1 64 633 0 0 0 17 0 0 0 16 0 9 0 671632103 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12928] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12928/stat : 12928 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 671632103 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12929] ppid=12913 vsize=197020 CPUtime=0 /proc/12921/task/12929/stat : 12929 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 671632103 201748480 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 202380 [startup+12.7028 s] /proc/loadavg: 2.40 2.08 2.03 3/104 12941 /proc/meminfo: memFree=1741064/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=1.64 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 375 2356 0 0 0 0 162 2 19 0 1 0 671631932 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12913/statm: 1340 238 196 169 0 51 0 [pid=12921] ppid=12913 vsize=197344 CPUtime=5.76 /proc/12921/stat : 12921 (java) S 12913 12913 7458 0 -1 0 11454 0 1 0 558 18 0 0 18 0 10 0 671632099 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12921/statm: 49336 9388 2544 9 0 43918 0 [pid=12931] ppid=12921 vsize=5356 CPUtime=0 /proc/12931/stat : 12931 (abscon) S 12921 12913 7458 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 671632685 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12931/statm: 1339 237 196 169 0 50 0 [pid=12932] ppid=12931 vsize=655940 CPUtime=5.15 /proc/12932/stat : 12932 (java) S 12931 12913 7458 0 -1 0 11765 0 1 0 505 10 0 0 20 0 9 0 671632685 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12932/statm: 163985 11081 2612 9 0 158513 0 [pid=12932/tid=12934] ppid=12931 vsize=655940 CPUtime=4.78 /proc/12932/task/12934/stat : 12934 (java) R 12931 12913 7458 0 -1 64 8960 0 1 0 470 8 0 0 25 0 9 0 671632686 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4127033104 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12935] ppid=12931 vsize=655940 CPUtime=0.06 /proc/12932/task/12935/stat : 12935 (java) S 12931 12913 7458 0 -1 64 1555 0 0 0 6 0 0 0 16 0 9 0 671632687 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12936] ppid=12931 vsize=655940 CPUtime=0 /proc/12932/task/12936/stat : 12936 (java) S 12931 12913 7458 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 671632688 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12937] ppid=12931 vsize=655940 CPUtime=0 /proc/12932/task/12937/stat : 12937 (java) S 12931 12913 7458 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 671632688 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12938] ppid=12931 vsize=655940 CPUtime=0 /proc/12932/task/12938/stat : 12938 (java) S 12931 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 671632690 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12939] ppid=12931 vsize=655940 CPUtime=0.29 /proc/12932/task/12939/stat : 12939 (java) S 12931 12913 7458 0 -1 64 706 0 0 0 28 1 0 0 17 0 9 0 671632690 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12940] ppid=12931 vsize=655940 CPUtime=0 /proc/12932/task/12940/stat : 12940 (java) S 12931 12913 7458 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 671632690 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12941] ppid=12931 vsize=655940 CPUtime=0 /proc/12932/task/12941/stat : 12941 (java) S 12931 12913 7458 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 671632690 671682560 11081 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12933] ppid=12931 vsize=7044 CPUtime=0 /proc/12933/stat : 12933 (translate) S 12931 12913 7458 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 671632685 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 249070059602 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12933/statm: 1761 213 182 1 0 41 0 [pid=12921/tid=12922] ppid=12913 vsize=197344 CPUtime=4.6 /proc/12921/task/12922/stat : 12922 (java) S 12913 12913 7458 0 -1 64 3857 0 1 0 453 7 0 0 24 0 10 0 671632100 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12921/tid=12923] ppid=12913 vsize=197344 CPUtime=0.89 /proc/12921/task/12923/stat : 12923 (java) S 12913 12913 7458 0 -1 64 6102 0 0 0 80 9 0 0 16 0 10 0 671632101 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12924] ppid=12913 vsize=197344 CPUtime=0 /proc/12921/task/12924/stat : 12924 (java) S 12913 12913 7458 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 671632101 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12925] ppid=12913 vsize=197344 CPUtime=0 /proc/12921/task/12925/stat : 12925 (java) S 12913 12913 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 671632101 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12926] ppid=12913 vsize=197344 CPUtime=0 /proc/12921/task/12926/stat : 12926 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 671632103 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12927] ppid=12913 vsize=197344 CPUtime=0.23 /proc/12921/task/12927/stat : 12927 (java) S 12913 12913 7458 0 -1 64 670 0 0 0 23 0 0 0 16 0 10 0 671632103 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12928] ppid=12913 vsize=197344 CPUtime=0 /proc/12921/task/12928/stat : 12928 (java) S 12913 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 671632103 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12929] ppid=12913 vsize=197344 CPUtime=0 /proc/12921/task/12929/stat : 12929 (java) S 12913 12913 7458 0 -1 64 33 0 0 0 0 0 0 0 15 0 10 0 671632103 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12930] ppid=12913 vsize=197344 CPUtime=0 /proc/12921/task/12930/stat : 12930 (java) S 12913 12913 7458 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 671632684 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 871044 [startup+25.502 s] /proc/loadavg: 2.34 2.08 2.02 3/104 12941 /proc/meminfo: memFree=1741000/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=1.64 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 375 2356 0 0 0 0 162 2 19 0 1 0 671631932 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12913/statm: 1340 238 196 169 0 51 0 [pid=12921] ppid=12913 vsize=197344 CPUtime=5.76 /proc/12921/stat : 12921 (java) S 12913 12913 7458 0 -1 0 11454 0 1 0 558 18 0 0 18 0 10 0 671632099 202080256 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12921/statm: 49336 9388 2544 9 0 43918 0 [pid=12931] ppid=12921 vsize=5356 CPUtime=0 /proc/12931/stat : 12931 (abscon) S 12921 12913 7458 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 671632685 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12931/statm: 1339 237 196 169 0 50 0 [pid=12932] ppid=12931 vsize=655940 CPUtime=17.95 /proc/12932/stat : 12932 (java) S 12931 12913 7458 0 -1 0 11769 0 1 0 1785 10 0 0 20 0 9 0 671632685 671682560 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12932/statm: 163985 11085 2612 9 0 158513 0 [pid=12932/tid=12934] ppid=12931 vsize=655940 CPUtime=17.58 /proc/12932/task/12934/stat : 12934 (java) R 12931 12913 7458 0 -1 64 8964 0 1 0 1750 8 0 0 25 0 9 0 671632686 671682560 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4126968679 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12932/tid=12935] ppid=12931 vsize=655940 CPUtime=0.06 ################ # More data... # ################ /proc/12921/statm: 49417 9394 2545 9 0 43999 0 [pid=12976] ppid=12921 vsize=5356 CPUtime=0 /proc/12976/stat : 12976 (choco) S 12921 12913 7458 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 671736231 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12976/statm: 1339 238 197 169 0 50 0 [pid=12977] ppid=12976 vsize=655608 CPUtime=733.3 /proc/12977/stat : 12977 (java) S 12976 12913 7458 0 -1 0 17032 0 1 0 72870 460 0 0 19 0 9 0 671736232 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12977/statm: 163902 16557 1908 9 0 158431 0 [pid=12977/tid=12978] ppid=12976 vsize=655608 CPUtime=732.78 /proc/12977/task/12978/stat : 12978 (java) R 12976 12913 7458 0 -1 64 12128 0 1 0 72821 457 0 0 25 0 9 0 671736233 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4127204384 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12977/tid=12979] ppid=12976 vsize=655608 CPUtime=0.2 /proc/12977/task/12979/stat : 12979 (java) S 12976 12913 7458 0 -1 64 3697 0 0 0 18 2 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12977/tid=12980] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12980/stat : 12980 (java) S 12976 12913 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12981] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12981/stat : 12981 (java) S 12976 12913 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12982] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12982/stat : 12982 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12983] ppid=12976 vsize=655608 CPUtime=0.29 /proc/12977/task/12983/stat : 12983 (java) S 12976 12913 7458 0 -1 64 659 0 0 0 29 0 0 0 16 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12984] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12984/stat : 12984 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12985] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12985/stat : 12985 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12921/tid=12922] ppid=12913 vsize=197668 CPUtime=1030.83 /proc/12921/task/12922/stat : 12922 (java) S 12913 12913 7458 0 -1 64 4012 14394 1 1 453 7 102606 17 16 0 10 0 671632100 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=12921/tid=12923] ppid=12913 vsize=197668 CPUtime=1027.12 /proc/12921/task/12923/stat : 12923 (java) S 12913 12913 7458 0 -1 64 6160 14394 0 1 80 9 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12924] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12924/stat : 12924 (java) S 12913 12913 7458 0 -1 64 10 14394 0 1 0 0 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12925] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12925/stat : 12925 (java) S 12913 12913 7458 0 -1 64 5 14394 0 1 0 0 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12926] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12926/stat : 12926 (java) S 12913 12913 7458 0 -1 64 1 14394 0 1 0 0 102606 17 18 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12927] ppid=12913 vsize=197668 CPUtime=1026.46 /proc/12921/task/12927/stat : 12927 (java) S 12913 12913 7458 0 -1 64 700 14394 0 1 23 0 102606 17 16 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12921/tid=12928] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12928/stat : 12928 (java) S 12913 12913 7458 0 -1 64 1 14394 0 1 0 0 102606 17 19 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12929] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12929/stat : 12929 (java) S 12913 12913 7458 0 -1 64 47 14394 0 1 0 0 102606 17 15 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12975] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12975/stat : 12975 (java) S 12913 12913 7458 0 -1 64 50 14394 0 1 0 0 102606 17 16 0 10 0 671736231 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1766.93 Current children cumulated vsize (KiB) 863992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1815.9 s] /proc/loadavg: 2.00 2.00 2.00 3/115 13066 /proc/meminfo: memFree=1665720/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=1.64 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 375 2356 0 0 0 0 162 2 19 0 1 0 671631932 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12913/statm: 1340 238 196 169 0 51 0 [pid=12921] ppid=12913 vsize=197668 CPUtime=1031.99 /proc/12921/stat : 12921 (java) S 12913 12913 7458 0 -1 0 11815 14394 1 1 558 18 102606 17 18 0 10 0 671632099 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12921/statm: 49417 9394 2545 9 0 43999 0 [pid=12976] ppid=12921 vsize=5356 CPUtime=0 /proc/12976/stat : 12976 (choco) S 12921 12913 7458 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 671736231 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12976/statm: 1339 238 197 169 0 50 0 [pid=12977] ppid=12976 vsize=655608 CPUtime=766.39 /proc/12977/stat : 12977 (java) S 12976 12913 7458 0 -1 0 17034 0 1 0 76161 478 0 0 19 0 9 0 671736232 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12977/statm: 163902 16557 1908 9 0 158431 0 [pid=12977/tid=12978] ppid=12976 vsize=655608 CPUtime=765.87 /proc/12977/task/12978/stat : 12978 (java) R 12976 12913 7458 0 -1 64 12130 0 1 0 76112 475 0 0 25 0 9 0 671736233 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4127129480 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12977/tid=12979] ppid=12976 vsize=655608 CPUtime=0.2 /proc/12977/task/12979/stat : 12979 (java) S 12976 12913 7458 0 -1 64 3697 0 0 0 18 2 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12977/tid=12980] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12980/stat : 12980 (java) S 12976 12913 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12981] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12981/stat : 12981 (java) S 12976 12913 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12982] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12982/stat : 12982 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12983] ppid=12976 vsize=655608 CPUtime=0.29 /proc/12977/task/12983/stat : 12983 (java) S 12976 12913 7458 0 -1 64 659 0 0 0 29 0 0 0 16 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12984] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12984/stat : 12984 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12985] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12985/stat : 12985 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12921/tid=12922] ppid=12913 vsize=197668 CPUtime=1030.83 /proc/12921/task/12922/stat : 12922 (java) S 12913 12913 7458 0 -1 64 4012 14394 1 1 453 7 102606 17 16 0 10 0 671632100 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=12921/tid=12923] ppid=12913 vsize=197668 CPUtime=1027.12 /proc/12921/task/12923/stat : 12923 (java) S 12913 12913 7458 0 -1 64 6160 14394 0 1 80 9 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12924] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12924/stat : 12924 (java) S 12913 12913 7458 0 -1 64 10 14394 0 1 0 0 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12925] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12925/stat : 12925 (java) S 12913 12913 7458 0 -1 64 5 14394 0 1 0 0 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12926] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12926/stat : 12926 (java) S 12913 12913 7458 0 -1 64 1 14394 0 1 0 0 102606 17 18 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12927] ppid=12913 vsize=197668 CPUtime=1026.46 /proc/12921/task/12927/stat : 12927 (java) S 12913 12913 7458 0 -1 64 700 14394 0 1 23 0 102606 17 16 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12921/tid=12928] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12928/stat : 12928 (java) S 12913 12913 7458 0 -1 64 1 14394 0 1 0 0 102606 17 19 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12929] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12929/stat : 12929 (java) S 12913 12913 7458 0 -1 64 47 14394 0 1 0 0 102606 17 15 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12975] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12975/stat : 12975 (java) S 12913 12913 7458 0 -1 64 50 14394 0 1 0 0 102606 17 16 0 10 0 671736231 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 863992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1815.9 s] /proc/loadavg: 2.00 2.00 2.00 3/115 13066 /proc/meminfo: memFree=1665720/2055920 swapFree=4179808/4192956 [pid=12913] ppid=12911 vsize=5360 CPUtime=1.64 /proc/12913/stat : 12913 (hydra) S 12911 12913 7458 0 -1 4194304 375 2356 0 0 0 0 162 2 19 0 1 0 671631932 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12913/statm: 1340 238 196 169 0 51 0 [pid=12921] ppid=12913 vsize=197668 CPUtime=1031.99 /proc/12921/stat : 12921 (java) S 12913 12913 7458 0 -1 0 11815 14394 1 1 558 18 102606 17 18 0 10 0 671632099 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12921/statm: 49417 9394 2545 9 0 43999 0 [pid=12976] ppid=12921 vsize=5356 CPUtime=0 /proc/12976/stat : 12976 (choco) S 12921 12913 7458 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 671736231 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12976/statm: 1339 238 197 169 0 50 0 [pid=12977] ppid=12976 vsize=655608 CPUtime=766.39 /proc/12977/stat : 12977 (java) S 12976 12913 7458 0 -1 0 17034 0 1 0 76161 478 0 0 19 0 9 0 671736232 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12977/statm: 163902 16557 1908 9 0 158431 0 [pid=12977/tid=12978] ppid=12976 vsize=655608 CPUtime=765.87 /proc/12977/task/12978/stat : 12978 (java) R 12976 12913 7458 0 -1 64 12130 0 1 0 76112 475 0 0 25 0 9 0 671736233 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4127129480 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12977/tid=12979] ppid=12976 vsize=655608 CPUtime=0.2 /proc/12977/task/12979/stat : 12979 (java) S 12976 12913 7458 0 -1 64 3697 0 0 0 18 2 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12977/tid=12980] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12980/stat : 12980 (java) S 12976 12913 7458 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12981] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12981/stat : 12981 (java) S 12976 12913 7458 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 671736234 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12982] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12982/stat : 12982 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12983] ppid=12976 vsize=655608 CPUtime=0.29 /proc/12977/task/12983/stat : 12983 (java) S 12976 12913 7458 0 -1 64 659 0 0 0 29 0 0 0 16 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12984] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12984/stat : 12984 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12977/tid=12985] ppid=12976 vsize=655608 CPUtime=0 /proc/12977/task/12985/stat : 12985 (java) S 12976 12913 7458 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 671736236 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12921/tid=12922] ppid=12913 vsize=197668 CPUtime=1030.83 /proc/12921/task/12922/stat : 12922 (java) S 12913 12913 7458 0 -1 64 4012 14394 1 1 453 7 102606 17 16 0 10 0 671632100 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=12921/tid=12923] ppid=12913 vsize=197668 CPUtime=1027.12 /proc/12921/task/12923/stat : 12923 (java) S 12913 12913 7458 0 -1 64 6160 14394 0 1 80 9 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12924] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12924/stat : 12924 (java) S 12913 12913 7458 0 -1 64 10 14394 0 1 0 0 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12925] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12925/stat : 12925 (java) S 12913 12913 7458 0 -1 64 5 14394 0 1 0 0 102606 17 16 0 10 0 671632101 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12926] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12926/stat : 12926 (java) S 12913 12913 7458 0 -1 64 1 14394 0 1 0 0 102606 17 18 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12927] ppid=12913 vsize=197668 CPUtime=1026.46 /proc/12921/task/12927/stat : 12927 (java) S 12913 12913 7458 0 -1 64 700 14394 0 1 23 0 102606 17 16 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12921/tid=12928] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12928/stat : 12928 (java) S 12913 12913 7458 0 -1 64 1 14394 0 1 0 0 102606 17 19 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12929] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12929/stat : 12929 (java) S 12913 12913 7458 0 -1 64 47 14394 0 1 0 0 102606 17 15 0 10 0 671632103 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12921/tid=12975] ppid=12913 vsize=197668 CPUtime=1026.23 /proc/12921/task/12975/stat : 12975 (java) S 12913 12913 7458 0 -1 64 50 14394 0 1 0 0 102606 17 16 0 10 0 671736231 202412032 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 863992 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 12913 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=630752 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=27995 # CPU time returned by wait4() is 1.65875 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1815.93 CPU time (s): 1800.02 CPU user time (s): 1794.87 CPU system time (s): 5.15 CPU usage (%): 99.1236 Max. virtual memory (cumulated for all children) (KiB): 871044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.63075 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2731 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24 involuntary context switches= 14 runsolver used 5.9091 second user time and 10.6524 second system time The end
Begin job on node89 at 2008-07-04 10:10:43 IDJOB=1069221 IDBENCH=55568 IDSOLVER=366 FILE ID=node89/1069221-1215159043 PBS_JOBID= 7877328 Free space on /tmp= 66560 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t3002-11tsp11-1900557362.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069221-1215159043/watcher-1069221-1215159043 -o /tmp/evaluation-result-1069221-1215159043/solver-1069221-1215159043 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069221-1215159043.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 5b64392b48a4c6bb0198564f616fd00a RANDOM SEED=920007954 node89.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.213 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.213 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: 1804824 kB Buffers: 21220 kB Cached: 132168 kB SwapCached: 7092 kB Active: 166504 kB Inactive: 33972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804824 kB SwapTotal: 4192956 kB SwapFree: 4179808 kB Dirty: 24780 kB Writeback: 0 kB Mapped: 63248 kB Slab: 35796 kB Committed_AS: 1926364 kB PageTables: 1884 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= 66512 MiB End job on node89 at 2008-07-04 10:41:01