Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.07 | 1810.13 |
Name | csp/pseudoGLB/ normalized-t3002-11tsp11-1900582300.xml |
MD5SUM | 9e32fb04d188de799731e8726fca4e6e |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 36.1785 |
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.38/7.51 c CASE TO CLASSIFY: 7.38/7.51 c Case: 0 7.38/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.030400 | c 34 > -1.000000 | c 16 > 110.000000 | c 13 > 9.733880 | c 14 > 10.196000 | c 11 > 11.520600 | c 12 > 7.959720 | 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.38/7.52 c choco : 1801.0 7.38/7.52 c mistral : 1801.0 7.38/7.52 c abscon : 1801.0 7.38/7.52 c 7.38/7.52 c 7.47/7.60 c List of same ones: 40 7.47/7.60 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 7.47/7.60 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.47/7.61 c choco : 1801.0 7.47/7.61 c mistral : 197.92 7.47/7.61 c abscon : 1801.0 7.47/7.61 c 7.47/7.61 c 7.47/7.61 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 7.47/7.61 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.47/7.62 c choco : 12.89 7.47/7.62 c mistral : 7.43 7.47/7.62 c abscon : 1801.0 7.47/7.62 c 7.47/7.62 c 7.47/7.62 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 7.47/7.62 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.47/7.63 c choco : 30.19 7.47/7.63 c mistral : 1.82 7.47/7.63 c abscon : 1801.0 7.47/7.63 c 7.47/7.63 c 7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml 7.47/7.63 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.47/7.64 c choco : 8.91 7.47/7.64 c mistral : 0.14 7.47/7.64 c abscon : 62.66 7.47/7.64 c 7.47/7.64 c 7.47/7.64 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml 7.47/7.64 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.47/7.65 c choco : 3.57 7.47/7.65 c mistral : 0.47 7.47/7.65 c abscon : 35.91 7.47/7.65 c 7.47/7.65 c 7.47/7.65 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml 7.47/7.65 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.47/7.66 c choco : 8.05 7.47/7.66 c mistral : 0.17 7.47/7.66 c abscon : 3.99 7.47/7.66 c 7.47/7.66 c 7.47/7.66 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml 7.47/7.66 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.47/7.67 c choco : 1.16 7.47/7.67 c mistral : 0.02 7.47/7.67 c abscon : 1.71 7.47/7.67 c 7.47/7.67 c 7.47/7.67 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml 7.47/7.67 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.47/7.67 c choco : 1.13 7.47/7.67 c mistral : 0.02 7.47/7.67 c abscon : 1.49 7.47/7.67 c 7.47/7.67 c 7.47/7.67 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.47/7.67 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.47/7.68 c choco : 21.79 7.47/7.68 c mistral : 1801.0 7.47/7.68 c abscon : 1801.0 7.47/7.68 c 7.47/7.68 c 7.47/7.68 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.47/7.68 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.47/7.69 c choco : 21.51 7.47/7.69 c mistral : 1801.0 7.47/7.69 c abscon : 1801.0 7.47/7.69 c 7.47/7.69 c 7.47/7.69 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 7.47/7.69 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.63/7.89 c choco : 20.27 7.63/7.89 c mistral : 1801.0 7.63/7.89 c abscon : 1801.0 7.63/7.89 c 7.63/7.89 c 7.63/7.89 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml 7.63/7.89 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.74/7.90 c choco : 19.61 7.74/7.90 c mistral : 1801.0 7.74/7.90 c abscon : 1801.0 7.74/7.90 c 7.74/7.90 c 7.74/7.90 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml 7.74/7.90 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.74/7.91 c choco : 19.73 7.74/7.91 c mistral : 1801.0 7.74/7.91 c abscon : 1801.0 7.74/7.91 c 7.74/7.91 c 7.74/7.91 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml 7.74/7.91 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.74/7.92 c choco : 20.93 7.74/7.92 c mistral : 1801.0 7.74/7.92 c abscon : 1801.0 7.74/7.92 c 7.74/7.92 c 7.74/7.92 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-100-50-3-20_glb.xml 7.74/7.92 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.74/7.93 c choco : 1801.0 7.74/7.93 c mistral : 0.25 7.74/7.93 c abscon : 1801.0 7.74/7.93 c 7.74/7.93 c 7.74/7.93 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml 7.74/7.93 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.74/7.93 c choco : 17.5 7.74/7.93 c mistral : 1801.0 7.74/7.93 c abscon : 1801.0 7.74/7.93 c 7.74/7.93 c 7.74/7.94 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-90-45-3-18_glb.xml 7.74/7.94 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.74/7.94 c choco : 1801.0 7.74/7.94 c mistral : 64.09 7.74/7.94 c abscon : 1801.0 7.74/7.94 c 7.74/7.94 c 7.74/7.94 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml 7.74/7.94 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.74/7.95 c choco : 47.2 7.74/7.95 c mistral : 1801.0 7.74/7.95 c abscon : 1801.0 7.74/7.95 c 7.74/7.95 c 7.74/7.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml 7.74/7.95 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.74/7.95 c choco : 14.93 7.74/7.95 c mistral : 1801.0 7.74/7.95 c abscon : 1801.0 7.74/7.95 c 7.74/7.95 c 7.74/7.95 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml 7.74/7.95 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.74/7.96 c choco : 719.66 7.74/7.97 c mistral : 1801.0 7.74/7.97 c abscon : 1801.0 7.74/7.97 c 7.74/7.97 c 7.74/7.97 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-98-42-3-14_glb.xml 7.74/7.97 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.74/7.97 c choco : 1801.0 7.74/7.97 c mistral : 11.66 7.74/7.97 c abscon : 16.56 7.74/7.97 c 7.74/7.97 c 7.74/7.97 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-80-40-3-16_glb.xml 7.74/7.97 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.74/7.98 c choco : 1801.0 7.74/7.98 c mistral : 0.2 7.74/7.98 c abscon : 1801.0 7.74/7.98 c 7.74/7.98 c 7.74/7.98 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml 7.74/7.98 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.74/7.98 c choco : 13.48 7.74/7.98 c mistral : 1801.0 7.74/7.98 c abscon : 1801.0 7.74/7.98 c 7.74/7.98 c 7.74/7.98 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-91-39-3-13_glb.xml 7.74/7.98 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.74/7.99 c choco : 1801.0 7.74/7.99 c mistral : 0.54 7.74/7.99 c abscon : 14.27 7.74/7.99 c 7.74/7.99 c 7.74/7.99 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml 7.74/7.99 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.74/7.99 c choco : 12.45 7.74/7.99 c mistral : 1801.0 7.74/7.99 c abscon : 1801.0 7.74/7.99 c 7.74/7.99 c 7.74/7.99 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml 7.74/7.99 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.80/8.00 c choco : 1801.0 7.80/8.00 c mistral : 687.44 7.80/8.00 c abscon : 1801.0 7.80/8.00 c 7.80/8.00 c 7.80/8.00 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml 7.80/8.00 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.80/8.01 c choco : 11.12 7.80/8.01 c mistral : 1801.0 7.80/8.01 c abscon : 1801.0 7.80/8.01 c 7.80/8.01 c 7.80/8.01 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-84-36-3-12_glb.xml 7.80/8.01 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.80/8.01 c choco : 1801.0 7.80/8.01 c mistral : 1801.0 7.80/8.01 c abscon : 13.53 7.80/8.01 c 7.80/8.01 c 7.80/8.01 c /home/ehebrard/new_instances/competition_5c/data5/bibd8/bibd-8-98-49-4-21_glb.xml 7.80/8.01 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.80/8.02 c choco : 1801.0 7.80/8.02 c mistral : 16.49 7.80/8.02 c abscon : 1801.0 7.80/8.02 c 7.80/8.02 c 7.80/8.02 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml 7.80/8.02 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.80/8.02 c choco : 9.7 7.80/8.02 c mistral : 1801.0 7.80/8.02 c abscon : 1801.0 7.80/8.02 c 7.80/8.02 c 7.80/8.02 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml 7.80/8.02 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.80/8.03 c choco : 1801.0 7.80/8.03 c mistral : 394.02 7.80/8.03 c abscon : 1801.0 7.80/8.03 c 7.80/8.03 c 7.80/8.03 c /home/ehebrard/new_instances/competition_5c/data5/bibd6/bibd-6-70-35-3-14_glb.xml 7.80/8.03 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.80/8.03 c choco : 1801.0 7.80/8.04 c mistral : 1.73 7.80/8.04 c abscon : 1801.0 7.80/8.04 c 7.80/8.04 c 7.80/8.04 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml 7.80/8.04 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.80/8.04 c choco : 8.21 7.80/8.04 c mistral : 1801.0 7.80/8.04 c abscon : 1801.0 7.80/8.04 c 7.80/8.04 c 7.80/8.04 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml 7.80/8.04 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.80/8.05 c choco : 54.4 7.80/8.05 c mistral : 98.37 7.80/8.05 c abscon : 1801.0 7.80/8.05 c 7.80/8.05 c 7.80/8.05 c /home/ehebrard/new_instances/competition_5c/data5/bibd7/bibd-7-77-33-3-11_glb.xml 7.80/8.05 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.80/8.06 c choco : 1801.0 7.80/8.06 c mistral : 1.6 7.80/8.06 c abscon : 11.26 7.80/8.06 c 7.80/8.06 c 7.80/8.06 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml 7.80/8.06 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.80/8.06 c choco : 1801.0 7.80/8.06 c mistral : 916.51 7.80/8.06 c abscon : 1801.0 7.80/8.06 c 7.80/8.06 c 7.80/8.06 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml 7.80/8.06 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.80/8.07 c choco : 26.66 7.80/8.07 c mistral : 13.36 7.80/8.07 c abscon : 1801.0 7.80/8.07 c 7.80/8.07 c 7.80/8.07 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml 7.80/8.07 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.80/8.07 c choco : 6.14 7.80/8.07 c mistral : 1801.0 7.80/8.07 c abscon : 1801.0 7.80/8.07 c 7.80/8.07 c 7.80/8.07 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml 7.80/8.07 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.80/8.08 c choco : 17.66 7.80/8.08 c mistral : 11.81 7.80/8.08 c abscon : 1801.0 7.80/8.08 c 7.80/8.08 c 7.80/8.08 c /home/eomahony/cpZilla/CSP/xml/pigeons_glb/pigeons-50_ext.xml 7.80/8.08 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.80/8.09 c choco : 0.8 7.80/8.09 c mistral : 0.01 7.80/8.09 c abscon : 0.621905 7.80/8.09 c 7.80/8.09 c 7.80/8.09 c Length: 40 7.80/8.09 c 25.972080094971215 36.54694390161508 51.412624013223635 65.17738158043939 77.66807468668063 87.86751032985401 97.7685234244514 105.44931141436012 145.81177786921054 146.2748191808212 146.74862810454945 148.67691916986223 149.1680735706185 149.66160854177303 150.14545037796583 150.66169387822964 151.0392365991066 151.17391383715724 151.74838477827006 152.23287547730607 152.35281267878156 152.5004808605694 152.75209773932073 152.95155600462095 153.23044460158613 153.76594143576895 153.78988464846807 153.83277086319092 153.83495665451142 154.33513649036536 154.36868440185236 154.57273140956298 154.8781658434942 154.88130228637573 155.05243442300707 155.3119174360638 155.3371557663275 155.8245825519276 155.87834581052493 155.94931430404526 7.80/8.09 c 7.80/8.09 c 1.0 0.9247619640265969 0.8363086628518768 0.7682662614996324 0.715445170799505 0.6774140265667623 0.6441733916667026 0.6205512681772418 0.5202899306190981 0.5193273456838352 0.5183460566737793 0.5143904057768481 0.5133924917643178 0.5123936334749581 0.5114181588072134 0.5103814463238946 0.5096259276497085 0.5093569596151204 0.508212847305982 0.5072519267195923 0.5070146086549543 0.5067227245199046 0.5062261465677117 0.5058331971522347 0.5052847850686953 0.504235100261375 0.504188268451446 0.5041044067528869 0.5041001333020511 0.5031241309861172 0.5030588040787559 0.5026618341543293 0.5020687861634472 0.5020627035352081 0.5017310434450171 0.5012289913351465 0.5011802133982689 0.5002400259372122 0.5001365390521925 0.5 7.86/8.10 c 7.86/8.10 c solver 0 7.86/8.10 c before 0.0 seconds: {} 0 7.86/8.10 c before 18.0 seconds: {5, 6, 7, 20, 23, 27, 34, 39} 4460 7.86/8.10 c before 36.0 seconds: {4, 5, 6, 7, 20, 23, 27, 34, 39} 5176 7.86/8.11 c before 72.0 seconds: {3, 4, 5, 6, 7, 20, 23, 27, 34, 39} 5944 7.86/8.11 c 7.86/8.11 c solver 1 7.86/8.11 c before 0.0 seconds: {} 0 7.86/8.11 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 14, 20, 21, 23, 28, 31, 34, 36, 38, 39} 10227 7.86/8.11 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 28, 31, 34, 36, 38, 39} 10737 7.86/8.11 c before 108.0 seconds: {1, 2, 3, 4, 5, 6, 7, 14, 16, 20, 21, 23, 28, 31, 33, 34, 36, 38, 39} 11239 7.86/8.11 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} 12239 7.86/8.11 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} 12742 7.86/8.11 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} 13246 7.86/8.11 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} 13747 7.86/8.11 c 7.86/8.11 c solver 2 7.86/8.11 c before 0.0 seconds: {} 0 7.86/8.11 c before 18.0 seconds: {1, 3, 4, 5, 6, 7, 15, 18, 22, 24, 26, 29, 32, 37, 38, 39} 9390 7.86/8.11 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} 13826 7.86/8.11 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} 14335 7.86/8.11 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} 14837 7.86/8.11 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} 15344 7.86/8.11 c 7.86/8.11 cTotal time: 95 7.86/8.11 c 1710.0 seconds unused 7.86/8.11 c 0 c 1 c 4 7.86/8.11 c 14 c 0 c 12 7.86/8.11 c 21 c 16 c 0 7.86/8.11 c is solver0 dominated by: 7.86/8.11 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.86/8.11 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.86/8.11 c is dominated? false 7.86/8.11 c 7.86/8.11 c is solver1 dominated by: 7.86/8.11 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.86/8.11 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.86/8.11 c is dominated? false 7.86/8.11 c 7.86/8.11 c is solver2 dominated by: 7.86/8.11 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.86/8.11 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.86/8.11 c is dominated? false 7.86/8.11 c 7.86/8.11 c Number of non-dominated solvers: 3 7.86/8.11 c remove dominated solvers 7.86/8.11 c solver 0 is not dominated by another solver 7.86/8.11 c solver 1 is not dominated by another solver 7.86/8.11 c solver 2 is not dominated by another solver 7.86/8.11 c 7.86/8.11 c solver 0: 72.0 7.86/8.11 c 7.86/8.11 c+ 4/95 of 5 7.86/8.11 c 7.86/8.11 c solver 1: 918.0 7.86/8.11 c 7.86/8.11 c+ 51/95 of 5 7.86/8.11 c 7.86/8.11 c solver 2: 720.0 7.86/8.11 c 7.86/8.11 c+ 40/95 of 5 7.86/8.11 c run abscon for 72.0 seconds {3, 4, 5, 6, 7, 20, 23, 27, 34, 39} 5944 7.86/8.11 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} 13747 7.86/8.11 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} 15344 7.86/8.11 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.86/8.11 c On Instance: HOME/instance-1069989-1215162699.xml 7.86/8.11 c Running for: 72 seconds 80.19/80.53 c Starting solver: HOME/cpHydra_k_40/solver/mistral 80.19/80.53 c On Instance: HOME/instance-1069989-1215162699.xml 80.19/80.53 c Running for: 954 seconds 1034.01/1040.97 c Starting solver: HOME/cpHydra_k_40/solver/choco 1034.01/1040.97 c On Instance: HOME/instance-1069989-1215162699.xml 1034.01/1040.97 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-1069989-1215162699/watcher-1069989-1215162699 -o /tmp/evaluation-result-1069989-1215162699/solver-1069989-1215162699 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069989-1215162699.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.99 4/80 18133 /proc/meminfo: memFree=1637576/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5212 CPUtime=0 /proc/18133/stat : 18133 (hydra) R 18131 18133 17590 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 1995242202 5337088 43 996147200 4194304 4889804 548682068816 18446744073709551615 273651136601 0 0 4096 0 0 0 0 17 1 0 0 /proc/18133/statm: 1303 43 29 169 0 14 0 [startup+0.0277201 s] /proc/loadavg: 1.92 1.98 1.99 4/80 18133 /proc/meminfo: memFree=1637576/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=0 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995242202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101726 s] /proc/loadavg: 1.92 1.98 1.99 4/80 18133 /proc/meminfo: memFree=1637576/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=0 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995242202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301766 s] /proc/loadavg: 1.92 1.98 1.99 4/80 18133 /proc/meminfo: memFree=1637576/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=0 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995242202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702825 s] /proc/loadavg: 1.92 1.98 1.99 4/80 18133 /proc/meminfo: memFree=1637576/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=0 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995242202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50194 s] /proc/loadavg: 1.92 1.98 1.99 3/82 18137 /proc/meminfo: memFree=1632056/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=0 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1995242202 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 236 195 169 0 51 0 [pid=18137] ppid=18133 vsize=9500 CPUtime=1.46 /proc/18137/stat : 18137 (xsolve) R 18133 18133 17590 0 -1 4194304 1760 0 0 0 146 0 0 0 25 0 1 0 1995242203 9728000 1719 996147200 134512640 135239763 4294956176 18446744073709551615 135073966 0 0 4096 0 0 0 0 17 1 0 0 /proc/18137/statm: 2375 1719 425 177 0 1278 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 14860 [startup+3.10151 s] /proc/loadavg: 1.92 1.98 1.99 4/90 18149 /proc/meminfo: memFree=1630840/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=1.64 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 375 2357 0 0 0 0 163 1 20 0 1 0 1995242202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 238 196 169 0 51 0 [pid=18141] ppid=18133 vsize=197004 CPUtime=1.38 /proc/18141/stat : 18141 (java) S 18133 18133 17590 0 -1 0 4857 0 1 0 133 5 0 0 18 0 9 0 1995242370 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18141/statm: 49251 4084 1678 9 0 43833 0 [pid=18141/tid=18142] ppid=18133 vsize=197004 CPUtime=1.09 /proc/18141/task/18142/stat : 18142 (java) R 18133 18133 17590 0 -1 64 2700 0 1 0 107 2 0 0 25 0 9 0 1995242371 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18143] ppid=18133 vsize=197004 CPUtime=0.12 /proc/18141/task/18143/stat : 18143 (java) S 18133 18133 17590 0 -1 64 826 0 0 0 11 1 0 0 15 0 9 0 1995242373 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18144] ppid=18133 vsize=197004 CPUtime=0 /proc/18141/task/18144/stat : 18144 (java) S 18133 18133 17590 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995242373 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18145] ppid=18133 vsize=197004 CPUtime=0 /proc/18141/task/18145/stat : 18145 (java) S 18133 18133 17590 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995242373 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18146] ppid=18133 vsize=197004 CPUtime=0 /proc/18141/task/18146/stat : 18146 (java) S 18133 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995242375 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18147] ppid=18133 vsize=197004 CPUtime=0.14 /proc/18141/task/18147/stat : 18147 (java) S 18133 18133 17590 0 -1 64 606 0 0 0 14 0 0 0 16 0 9 0 1995242375 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18148] ppid=18133 vsize=197004 CPUtime=0 /proc/18141/task/18148/stat : 18148 (java) S 18133 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995242375 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18149] ppid=18133 vsize=197004 CPUtime=0 /proc/18141/task/18149/stat : 18149 (java) S 18133 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995242375 201732096 4084 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 202364 [startup+6.30265 s] /proc/loadavg: 1.93 1.98 1.99 3/90 18149 /proc/meminfo: memFree=1618168/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=1.64 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 375 2357 0 0 0 0 163 1 20 0 1 0 1995242202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 238 196 169 0 51 0 [pid=18141] ppid=18133 vsize=197112 CPUtime=4.54 /proc/18141/stat : 18141 (java) S 18133 18133 17590 0 -1 0 9777 0 1 0 440 14 0 0 18 0 9 0 1995242370 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18141/statm: 49278 8104 2541 9 0 43860 0 [pid=18141/tid=18142] ppid=18133 vsize=197112 CPUtime=3.6 /proc/18141/task/18142/stat : 18142 (java) R 18133 18133 17590 0 -1 64 3516 0 1 0 356 4 0 0 25 0 9 0 1995242371 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4126441171 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18143] ppid=18133 vsize=197112 CPUtime=0.75 /proc/18141/task/18143/stat : 18143 (java) S 18133 18133 17590 0 -1 64 4906 0 0 0 66 9 0 0 16 0 9 0 1995242373 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18144] ppid=18133 vsize=197112 CPUtime=0 /proc/18141/task/18144/stat : 18144 (java) S 18133 18133 17590 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1995242373 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18145] ppid=18133 vsize=197112 CPUtime=0 /proc/18141/task/18145/stat : 18145 (java) S 18133 18133 17590 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995242373 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18146] ppid=18133 vsize=197112 CPUtime=0 /proc/18141/task/18146/stat : 18146 (java) S 18133 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995242375 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18147] ppid=18133 vsize=197112 CPUtime=0.17 /proc/18141/task/18147/stat : 18147 (java) S 18133 18133 17590 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1995242375 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18148] ppid=18133 vsize=197112 CPUtime=0 /proc/18141/task/18148/stat : 18148 (java) S 18133 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1995242375 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18149] ppid=18133 vsize=197112 CPUtime=0 /proc/18141/task/18149/stat : 18149 (java) S 18133 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995242375 201842688 8104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 202472 [startup+12.7026 s] /proc/loadavg: 2.09 2.02 2.01 3/102 18161 /proc/meminfo: memFree=1574360/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=1.64 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 375 2357 0 0 0 0 163 1 20 0 1 0 1995242202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 238 196 169 0 51 0 [pid=18141] ppid=18133 vsize=197436 CPUtime=6.24 /proc/18141/stat : 18141 (java) S 18133 18133 17590 0 -1 0 13974 0 1 0 602 22 0 0 18 0 10 0 1995242370 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18141/statm: 49359 9484 2544 9 0 43941 0 [pid=18151] ppid=18141 vsize=5356 CPUtime=0 /proc/18151/stat : 18151 (abscon) S 18141 18133 17590 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995243014 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/18151/statm: 1339 237 196 169 0 50 0 [pid=18152] ppid=18151 vsize=655996 CPUtime=4.57 /proc/18152/stat : 18152 (java) S 18151 18133 17590 0 -1 0 11769 0 1 0 450 7 0 0 18 0 9 0 1995243014 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18152/statm: 163999 11085 2612 9 0 158527 0 [pid=18152/tid=18154] ppid=18151 vsize=655996 CPUtime=4.21 /proc/18152/task/18154/stat : 18154 (java) R 18151 18133 17590 0 -1 64 8965 0 1 0 417 4 0 0 25 0 9 0 1995243015 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4127010921 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18155] ppid=18151 vsize=655996 CPUtime=0.05 /proc/18152/task/18155/stat : 18155 (java) S 18151 18133 17590 0 -1 64 1555 0 0 0 5 0 0 0 16 0 9 0 1995243016 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18156] ppid=18151 vsize=655996 CPUtime=0 /proc/18152/task/18156/stat : 18156 (java) S 18151 18133 17590 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995243016 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18157] ppid=18151 vsize=655996 CPUtime=0 /proc/18152/task/18157/stat : 18157 (java) S 18151 18133 17590 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1995243016 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18158] ppid=18151 vsize=655996 CPUtime=0 /proc/18152/task/18158/stat : 18158 (java) S 18151 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995243018 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18159] ppid=18151 vsize=655996 CPUtime=0.27 /proc/18152/task/18159/stat : 18159 (java) S 18151 18133 17590 0 -1 64 703 0 0 0 26 1 0 0 15 0 9 0 1995243018 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18160] ppid=18151 vsize=655996 CPUtime=0 /proc/18152/task/18160/stat : 18160 (java) S 18151 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1995243018 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18161] ppid=18151 vsize=655996 CPUtime=0 /proc/18152/task/18161/stat : 18161 (java) S 18151 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1995243018 671739904 11085 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18153] ppid=18151 vsize=7044 CPUtime=0 /proc/18153/stat : 18153 (translate) S 18151 18133 17590 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1995243014 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 273653923922 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/18153/statm: 1761 213 182 1 0 41 0 [pid=18141/tid=18142] ppid=18133 vsize=197436 CPUtime=4.85 /proc/18141/task/18142/stat : 18142 (java) S 18133 18133 17590 0 -1 64 3907 0 1 0 478 7 0 0 25 0 10 0 1995242371 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=18141/tid=18143] ppid=18133 vsize=197436 CPUtime=1.11 /proc/18141/task/18143/stat : 18143 (java) S 18133 18133 17590 0 -1 64 8572 0 0 0 99 12 0 0 16 0 10 0 1995242373 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18144] ppid=18133 vsize=197436 CPUtime=0 /proc/18141/task/18144/stat : 18144 (java) S 18133 18133 17590 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1995242373 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18145] ppid=18133 vsize=197436 CPUtime=0 /proc/18141/task/18145/stat : 18145 (java) S 18133 18133 17590 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1995242373 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18146] ppid=18133 vsize=197436 CPUtime=0 /proc/18141/task/18146/stat : 18146 (java) S 18133 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1995242375 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18147] ppid=18133 vsize=197436 CPUtime=0.23 /proc/18141/task/18147/stat : 18147 (java) S 18133 18133 17590 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1995242375 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18148] ppid=18133 vsize=197436 CPUtime=0 /proc/18141/task/18148/stat : 18148 (java) S 18133 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1995242375 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18149] ppid=18133 vsize=197436 CPUtime=0 /proc/18141/task/18149/stat : 18149 (java) S 18133 18133 17590 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1995242375 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18150] ppid=18133 vsize=197436 CPUtime=0 /proc/18141/task/18150/stat : 18150 (java) S 18133 18133 17590 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1995243014 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 871192 [startup+25.5035 s] /proc/loadavg: 2.07 2.02 2.00 3/102 18161 /proc/meminfo: memFree=1574168/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=1.64 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 375 2357 0 0 0 0 163 1 20 0 1 0 1995242202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 238 196 169 0 51 0 [pid=18141] ppid=18133 vsize=197436 CPUtime=6.24 /proc/18141/stat : 18141 (java) S 18133 18133 17590 0 -1 0 13974 0 1 0 602 22 0 0 18 0 10 0 1995242370 202174464 9484 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18141/statm: 49359 9484 2544 9 0 43941 0 [pid=18151] ppid=18141 vsize=5356 CPUtime=0 /proc/18151/stat : 18151 (abscon) S 18141 18133 17590 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1995243014 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/18151/statm: 1339 237 196 169 0 50 0 [pid=18152] ppid=18151 vsize=655996 CPUtime=17.36 /proc/18152/stat : 18152 (java) S 18151 18133 17590 0 -1 0 11773 0 1 0 1729 7 0 0 18 0 9 0 1995243014 671739904 11089 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18152/statm: 163999 11089 2612 9 0 158527 0 [pid=18152/tid=18154] ppid=18151 vsize=655996 CPUtime=17 /proc/18152/task/18154/stat : 18154 (java) R 18151 18133 17590 0 -1 64 8968 0 1 0 1696 4 0 0 25 0 9 0 1995243015 671739904 11089 996147200 134512640 134550740 4294955808 18446744073709551615 4127025322 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18155] ppid=18151 vsize=655996 CPUtime=0.05 /proc/18152/task/18155/stat : 18155 (java) S 18151 18133 17590 0 -1 64 1555 0 0 0 5 0 0 0 16 0 9 0 1995243016 671739904 11089 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18152/tid=18156] ppid=18151 vsize=655996 CPUtime=0 /proc/18152/task/18156/stat : 18156 (java) S 18151 18133 17590 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995243016 671739904 11089 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/18141/statm: 49440 9528 2545 9 0 44022 0 [pid=18198] ppid=18141 vsize=5356 CPUtime=0 /proc/18198/stat : 18198 (choco) S 18141 18133 17590 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1995346299 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/18198/statm: 1339 238 197 169 0 50 0 [pid=18199] ppid=18198 vsize=655608 CPUtime=738.28 /proc/18199/stat : 18199 (java) S 18198 18133 17590 0 -1 0 17032 0 1 0 73314 514 0 0 19 0 9 0 1995346300 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18199/statm: 163902 16557 1908 9 0 158431 0 [pid=18199/tid=18200] ppid=18198 vsize=655608 CPUtime=737.77 /proc/18199/task/18200/stat : 18200 (java) R 18198 18133 17590 0 -1 64 12128 0 1 0 73266 511 0 0 25 0 9 0 1995346301 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18201] ppid=18198 vsize=655608 CPUtime=0.18 /proc/18199/task/18201/stat : 18201 (java) S 18198 18133 17590 0 -1 64 3698 0 0 0 17 1 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18202] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18202/stat : 18202 (java) S 18198 18133 17590 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18203] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18203/stat : 18203 (java) S 18198 18133 17590 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18204] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18204/stat : 18204 (java) S 18198 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18205] ppid=18198 vsize=655608 CPUtime=0.31 /proc/18199/task/18205/stat : 18205 (java) S 18198 18133 17590 0 -1 64 659 0 0 0 31 0 0 0 16 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18206] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18206/stat : 18206 (java) S 18198 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18207] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18207/stat : 18207 (java) S 18198 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18142] ppid=18133 vsize=197760 CPUtime=1031.06 /proc/18141/task/18142/stat : 18142 (java) S 18133 18133 17590 0 -1 64 4064 14402 1 1 478 7 102609 12 16 0 10 0 1995242371 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=18141/tid=18143] ppid=18133 vsize=197760 CPUtime=1027.32 /proc/18141/task/18143/stat : 18143 (java) S 18133 18133 17590 0 -1 64 8613 14402 0 1 99 12 102609 12 16 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18144] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18144/stat : 18144 (java) S 18133 18133 17590 0 -1 64 11 14402 0 1 0 0 102609 12 16 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18145] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18145/stat : 18145 (java) S 18133 18133 17590 0 -1 64 5 14402 0 1 0 0 102609 12 15 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18146] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18146/stat : 18146 (java) S 18133 18133 17590 0 -1 64 1 14402 0 1 0 0 102609 12 18 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18147] ppid=18133 vsize=197760 CPUtime=1026.45 /proc/18141/task/18147/stat : 18147 (java) S 18133 18133 17590 0 -1 64 699 14402 0 1 24 0 102609 12 16 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18148] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18148/stat : 18148 (java) S 18133 18133 17590 0 -1 64 0 14402 0 1 0 0 102609 12 19 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18149] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18149/stat : 18149 (java) S 18133 18133 17590 0 -1 64 40 14402 0 1 0 0 102609 12 15 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18197] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18197/stat : 18197 (java) S 18133 18133 17590 0 -1 64 51 14402 0 1 0 0 102609 12 17 0 10 0 1995346299 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1772.37 Current children cumulated vsize (KiB) 864084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1810.1 s] /proc/loadavg: 1.99 2.00 1.99 3/93 18207 /proc/meminfo: memFree=1624912/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=1.64 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 375 2357 0 0 0 0 163 1 20 0 1 0 1995242202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 238 196 169 0 51 0 [pid=18141] ppid=18133 vsize=197760 CPUtime=1032.45 /proc/18141/stat : 18141 (java) S 18133 18133 17590 0 -1 0 14318 14402 1 1 602 22 102609 12 18 0 10 0 1995242370 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18141/statm: 49440 9528 2545 9 0 44022 0 [pid=18198] ppid=18141 vsize=5356 CPUtime=0 /proc/18198/stat : 18198 (choco) S 18141 18133 17590 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1995346299 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/18198/statm: 1339 238 197 169 0 50 0 [pid=18199] ppid=18198 vsize=655608 CPUtime=765.98 /proc/18199/stat : 18199 (java) S 18198 18133 17590 0 -1 0 17035 0 1 0 76063 535 0 0 19 0 9 0 1995346300 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18199/statm: 163902 16557 1908 9 0 158431 0 [pid=18199/tid=18200] ppid=18198 vsize=655608 CPUtime=765.46 /proc/18199/task/18200/stat : 18200 (java) R 18198 18133 17590 0 -1 64 12131 0 1 0 76014 532 0 0 25 0 9 0 1995346301 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18201] ppid=18198 vsize=655608 CPUtime=0.18 /proc/18199/task/18201/stat : 18201 (java) S 18198 18133 17590 0 -1 64 3698 0 0 0 17 1 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18202] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18202/stat : 18202 (java) S 18198 18133 17590 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18203] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18203/stat : 18203 (java) S 18198 18133 17590 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18204] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18204/stat : 18204 (java) S 18198 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18205] ppid=18198 vsize=655608 CPUtime=0.31 /proc/18199/task/18205/stat : 18205 (java) S 18198 18133 17590 0 -1 64 659 0 0 0 31 0 0 0 16 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18206] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18206/stat : 18206 (java) S 18198 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18207] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18207/stat : 18207 (java) S 18198 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18142] ppid=18133 vsize=197760 CPUtime=1031.06 /proc/18141/task/18142/stat : 18142 (java) S 18133 18133 17590 0 -1 64 4064 14402 1 1 478 7 102609 12 16 0 10 0 1995242371 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=18141/tid=18143] ppid=18133 vsize=197760 CPUtime=1027.32 /proc/18141/task/18143/stat : 18143 (java) S 18133 18133 17590 0 -1 64 8613 14402 0 1 99 12 102609 12 16 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18144] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18144/stat : 18144 (java) S 18133 18133 17590 0 -1 64 11 14402 0 1 0 0 102609 12 16 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18145] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18145/stat : 18145 (java) S 18133 18133 17590 0 -1 64 5 14402 0 1 0 0 102609 12 15 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18146] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18146/stat : 18146 (java) S 18133 18133 17590 0 -1 64 1 14402 0 1 0 0 102609 12 18 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18147] ppid=18133 vsize=197760 CPUtime=1026.45 /proc/18141/task/18147/stat : 18147 (java) S 18133 18133 17590 0 -1 64 699 14402 0 1 24 0 102609 12 16 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18148] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18148/stat : 18148 (java) S 18133 18133 17590 0 -1 64 0 14402 0 1 0 0 102609 12 19 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18149] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18149/stat : 18149 (java) S 18133 18133 17590 0 -1 64 40 14402 0 1 0 0 102609 12 15 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18197] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18197/stat : 18197 (java) S 18133 18133 17590 0 -1 64 51 14402 0 1 0 0 102609 12 17 0 10 0 1995346299 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 864084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1810.1 s] /proc/loadavg: 1.99 2.00 1.99 3/93 18207 /proc/meminfo: memFree=1624912/2055920 swapFree=4180424/4192956 [pid=18133] ppid=18131 vsize=5360 CPUtime=1.64 /proc/18133/stat : 18133 (hydra) S 18131 18133 17590 0 -1 4194304 375 2357 0 0 0 0 163 1 20 0 1 0 1995242202 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/18133/statm: 1340 238 196 169 0 51 0 [pid=18141] ppid=18133 vsize=197760 CPUtime=1032.45 /proc/18141/stat : 18141 (java) S 18133 18133 17590 0 -1 0 14318 14402 1 1 602 22 102609 12 18 0 10 0 1995242370 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18141/statm: 49440 9528 2545 9 0 44022 0 [pid=18198] ppid=18141 vsize=5356 CPUtime=0 /proc/18198/stat : 18198 (choco) S 18141 18133 17590 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1995346299 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273653752644 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/18198/statm: 1339 238 197 169 0 50 0 [pid=18199] ppid=18198 vsize=655608 CPUtime=765.98 /proc/18199/stat : 18199 (java) S 18198 18133 17590 0 -1 0 17035 0 1 0 76063 535 0 0 19 0 9 0 1995346300 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18199/statm: 163902 16557 1908 9 0 158431 0 [pid=18199/tid=18200] ppid=18198 vsize=655608 CPUtime=765.46 /proc/18199/task/18200/stat : 18200 (java) R 18198 18133 17590 0 -1 64 12131 0 1 0 76014 532 0 0 25 0 9 0 1995346301 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18201] ppid=18198 vsize=655608 CPUtime=0.18 /proc/18199/task/18201/stat : 18201 (java) S 18198 18133 17590 0 -1 64 3698 0 0 0 17 1 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18202] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18202/stat : 18202 (java) S 18198 18133 17590 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18203] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18203/stat : 18203 (java) S 18198 18133 17590 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995346302 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18204] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18204/stat : 18204 (java) S 18198 18133 17590 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18205] ppid=18198 vsize=655608 CPUtime=0.31 /proc/18199/task/18205/stat : 18205 (java) S 18198 18133 17590 0 -1 64 659 0 0 0 31 0 0 0 16 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18206] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18206/stat : 18206 (java) S 18198 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18199/tid=18207] ppid=18198 vsize=655608 CPUtime=0 /proc/18199/task/18207/stat : 18207 (java) S 18198 18133 17590 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995346304 671342592 16557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18142] ppid=18133 vsize=197760 CPUtime=1031.06 /proc/18141/task/18142/stat : 18142 (java) S 18133 18133 17590 0 -1 64 4064 14402 1 1 478 7 102609 12 16 0 10 0 1995242371 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=18141/tid=18143] ppid=18133 vsize=197760 CPUtime=1027.32 /proc/18141/task/18143/stat : 18143 (java) S 18133 18133 17590 0 -1 64 8613 14402 0 1 99 12 102609 12 16 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18144] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18144/stat : 18144 (java) S 18133 18133 17590 0 -1 64 11 14402 0 1 0 0 102609 12 16 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18145] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18145/stat : 18145 (java) S 18133 18133 17590 0 -1 64 5 14402 0 1 0 0 102609 12 15 0 10 0 1995242373 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18146] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18146/stat : 18146 (java) S 18133 18133 17590 0 -1 64 1 14402 0 1 0 0 102609 12 18 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18147] ppid=18133 vsize=197760 CPUtime=1026.45 /proc/18141/task/18147/stat : 18147 (java) S 18133 18133 17590 0 -1 64 699 14402 0 1 24 0 102609 12 16 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18141/tid=18148] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18148/stat : 18148 (java) S 18133 18133 17590 0 -1 64 0 14402 0 1 0 0 102609 12 19 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18149] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18149/stat : 18149 (java) S 18133 18133 17590 0 -1 64 40 14402 0 1 0 0 102609 12 15 0 10 0 1995242375 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18141/tid=18197] ppid=18133 vsize=197760 CPUtime=1026.21 /proc/18141/task/18197/stat : 18197 (java) S 18133 18133 17590 0 -1 64 51 14402 0 1 0 0 102609 12 17 0 10 0 1995346299 202506240 9528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 864084 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18133 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=636751 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=21996 # CPU time returned by wait4() is 1.65875 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1810.13 CPU time (s): 1800.07 CPU user time (s): 1794.37 CPU system time (s): 5.7 CPU usage (%): 99.444 Max. virtual memory (cumulated for all children) (KiB): 871192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.63675 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2732 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= 32 involuntary context switches= 46 runsolver used 3.48147 second user time and 12.6351 second system time The end
Begin job on node52 at 2008-07-04 11:11:39 IDJOB=1069989 IDBENCH=55775 IDSOLVER=366 FILE ID=node52/1069989-1215162699 PBS_JOBID= 7877460 Free space on /tmp= 66556 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t3002-11tsp11-1900582300.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069989-1215162699/watcher-1069989-1215162699 -o /tmp/evaluation-result-1069989-1215162699/solver-1069989-1215162699 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069989-1215162699.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 9e32fb04d188de799731e8726fca4e6e RANDOM SEED=619273110 node52.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.265 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.265 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: 1637992 kB Buffers: 65836 kB Cached: 204184 kB SwapCached: 6808 kB Active: 252852 kB Inactive: 102412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1637992 kB SwapTotal: 4192956 kB SwapFree: 4180424 kB Dirty: 24756 kB Writeback: 0 kB Mapped: 98444 kB Slab: 47600 kB Committed_AS: 4671392 kB PageTables: 2056 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= 66536 MiB End job on node52 at 2008-07-04 11:41:51