Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (problem) | 1087.55 | 1090.47 |
Name | csp/pseudoGLB/ normalized-pigeon-clauses-95-90.xml |
MD5SUM | de817014db59f29d4679c14de52332f3 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 8550 |
Number of constraints | 401945 |
Maximum constraint arity | 90 |
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(401945) |
0.00/0.00 c cpHydra_k_40 version 0.0 37.88/38.33 c CASE TO CLASSIFY: 37.88/38.33 c Case: 0 37.88/38.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 19.846200 | c 34 > -1.000000 | c 16 > 90.000000 | c 13 > -1.000000 | c 14 > 11.778500 | c 11 > 13.061700 | c 12 > 6.569860 | 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 > 18.616600 | c 1 > 13.061700 | c 0 > -1.000000 | c 30 > 100.000000 | c 7 > 18.616600 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 19.661600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 37.88/38.34 c choco : 1801.0 37.88/38.34 c mistral : 1801.0 37.88/38.34 c abscon : 1801.0 37.88/38.34 c 37.88/38.34 c 37.98/38.42 c List of same ones: 40 37.98/38.42 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-9_glb.xml 37.98/38.42 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 37.98/38.43 c choco : 12.89 37.98/38.43 c mistral : 7.43 37.98/38.43 c abscon : 1801.0 37.98/38.43 c 37.98/38.43 c 37.98/38.43 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-10_glb.xml 37.98/38.43 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 37.98/38.44 c choco : 1801.0 37.98/38.44 c mistral : 197.92 37.98/38.44 c abscon : 1801.0 37.98/38.44 c 37.98/38.44 c 37.98/38.44 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-8_glb.xml 37.98/38.44 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 37.98/38.45 c choco : 30.19 37.98/38.45 c mistral : 1.82 37.98/38.45 c abscon : 1801.0 37.98/38.45 c 37.98/38.45 c 37.98/38.45 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-7_glb.xml 37.98/38.45 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 37.98/38.46 c choco : 8.91 37.98/38.46 c mistral : 0.14 37.98/38.46 c abscon : 62.66 37.98/38.46 c 37.98/38.46 c 37.98/38.46 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-6_glb.xml 37.98/38.46 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 37.98/38.47 c choco : 3.57 37.98/38.47 c mistral : 0.47 37.98/38.47 c abscon : 35.91 37.98/38.47 c 37.98/38.47 c 37.98/38.47 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-5_glb.xml 37.98/38.47 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 37.98/38.48 c choco : 8.05 37.98/38.48 c mistral : 0.17 37.98/38.48 c abscon : 3.99 37.98/38.48 c 37.98/38.48 c 37.98/38.48 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-4_glb.xml 37.98/38.48 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 37.98/38.49 c choco : 1.16 37.98/38.49 c mistral : 0.02 37.98/38.49 c abscon : 1.71 37.98/38.49 c 37.98/38.49 c 37.98/38.49 c /home/ehebrard/new_instances/competition_4c/data/magicSquare/magicSquare-3_glb.xml 37.98/38.49 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 37.98/38.50 c choco : 1.13 37.98/38.50 c mistral : 0.02 37.98/38.50 c abscon : 1.49 37.98/38.50 c 37.98/38.50 c 37.98/38.50 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 38.05/38.50 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 38.05/38.51 c choco : 21.79 38.05/38.51 c mistral : 1801.0 38.05/38.51 c abscon : 1801.0 38.05/38.51 c 38.05/38.51 c 38.05/38.51 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 38.05/38.51 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 38.05/38.52 c choco : 21.51 38.05/38.52 c mistral : 1801.0 38.05/38.52 c abscon : 1801.0 38.05/38.52 c 38.05/38.52 c 38.05/38.52 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 38.05/38.52 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 38.05/38.53 c choco : 20.27 38.05/38.53 c mistral : 1801.0 38.05/38.53 c abscon : 1801.0 38.05/38.53 c 38.05/38.53 c 38.05/38.53 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml 38.05/38.53 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 38.05/38.54 c choco : 19.61 38.05/38.54 c mistral : 1801.0 38.05/38.54 c abscon : 1801.0 38.05/38.54 c 38.05/38.54 c 38.05/38.54 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml 38.05/38.54 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 38.05/38.55 c choco : 19.73 38.05/38.55 c mistral : 1801.0 38.05/38.55 c abscon : 1801.0 38.05/38.55 c 38.05/38.55 c 38.05/38.55 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml 38.05/38.55 c 19 > 0.000000 | c 35 > 29.993800 | c 17 > 0.000000 | c 18 > 20.068900 | c 33 > 0.000000 | c 15 > 20.252600 | c 34 > 39.981500 | c 16 > 29.000000 | c 13 > 5.222930 | c 14 > 7.994350 | c 11 > 10.716000 | c 12 > 3.171920 | c 21 > 2.140710 | c 20 > 79.931100 | c 22 > 9.591660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.807350 | c 10 > 14.090000 | c 1 > 10.665300 | c 0 > -1.000000 | c 30 > 99.509800 | c 7 > 11.112400 | c 6 > 13.731300 | c 32 > 0.490196 | c 5 > 17.445800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.05/38.56 c choco : 20.93 38.05/38.56 c mistral : 1801.0 38.05/38.56 c abscon : 1801.0 38.05/38.56 c 38.05/38.56 c 38.05/38.56 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml 38.05/38.56 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 38.05/38.57 c choco : 17.5 38.05/38.57 c mistral : 1801.0 38.05/38.57 c abscon : 1801.0 38.05/38.57 c 38.05/38.57 c 38.05/38.57 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml 38.05/38.57 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 38.05/38.58 c choco : 47.2 38.05/38.58 c mistral : 1801.0 38.05/38.58 c abscon : 1801.0 38.05/38.58 c 38.05/38.58 c 38.05/38.58 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml 38.05/38.58 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 38.05/38.58 c choco : 14.93 38.05/38.58 c mistral : 1801.0 38.05/38.58 c abscon : 1801.0 38.05/38.58 c 38.05/38.58 c 38.05/38.58 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml 38.05/38.58 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 38.05/38.59 c choco : 719.66 38.05/38.59 c mistral : 1801.0 38.05/38.59 c abscon : 1801.0 38.05/38.59 c 38.05/38.59 c 38.05/38.59 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml 38.05/38.59 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 38.05/38.60 c choco : 13.48 38.05/38.60 c mistral : 1801.0 38.05/38.60 c abscon : 1801.0 38.05/38.60 c 38.05/38.60 c 38.05/38.60 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml 38.05/38.60 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 38.12/38.61 c choco : 12.45 38.12/38.61 c mistral : 1801.0 38.12/38.61 c abscon : 1801.0 38.12/38.61 c 38.12/38.61 c 38.12/38.61 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml 38.12/38.61 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 38.12/38.62 c choco : 11.12 38.12/38.62 c mistral : 1801.0 38.12/38.62 c abscon : 1801.0 38.12/38.62 c 38.12/38.62 c 38.12/38.62 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml 38.12/38.62 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 38.12/38.63 c choco : 1801.0 38.12/38.63 c mistral : 687.44 38.12/38.63 c abscon : 1801.0 38.12/38.63 c 38.12/38.63 c 38.12/38.63 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml 38.12/38.63 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 38.12/38.63 c choco : 9.7 38.12/38.63 c mistral : 1801.0 38.12/38.63 c abscon : 1801.0 38.12/38.63 c 38.12/38.63 c 38.12/38.63 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml 38.12/38.63 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 38.12/38.64 c choco : 1801.0 38.12/38.64 c mistral : 394.02 38.12/38.64 c abscon : 1801.0 38.12/38.64 c 38.12/38.64 c 38.12/38.64 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml 38.12/38.64 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 38.12/38.64 c choco : 54.4 38.12/38.64 c mistral : 98.37 38.12/38.64 c abscon : 1801.0 38.12/38.64 c 38.12/38.64 c 38.12/38.64 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml 38.12/38.64 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 38.12/38.65 c choco : 8.21 38.12/38.65 c mistral : 1801.0 38.12/38.65 c abscon : 1801.0 38.12/38.65 c 38.12/38.65 c 38.12/38.65 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml 38.12/38.65 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 38.12/38.66 c choco : 26.66 38.12/38.66 c mistral : 13.36 38.12/38.66 c abscon : 1801.0 38.12/38.66 c 38.12/38.66 c 38.12/38.66 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml 38.12/38.66 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 38.12/38.66 c choco : 1801.0 38.12/38.66 c mistral : 916.51 38.12/38.66 c abscon : 1801.0 38.12/38.66 c 38.12/38.66 c 38.12/38.66 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml 38.12/38.66 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 38.12/38.67 c choco : 17.66 38.12/38.67 c mistral : 11.81 38.12/38.67 c abscon : 1801.0 38.12/38.67 c 38.12/38.67 c 38.12/38.67 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml 38.12/38.67 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 38.12/38.67 c choco : 6.14 38.12/38.67 c mistral : 1801.0 38.12/38.67 c abscon : 1801.0 38.12/38.67 c 38.12/38.67 c 38.12/38.67 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml 38.12/38.67 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 20.121300 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 6.625550 | c 14 > 9.539160 | c 11 > 12.010500 | c 12 > 4.633540 | c 21 > 1.948560 | c 20 > 79.767800 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.999600 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.405140 | c 6 > 11.519600 | c 32 > 1.639340 | c 5 > 14.676000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.12/38.68 c choco : 21.34 38.12/38.68 c mistral : 77.84 38.12/38.68 c abscon : 1801.0 38.12/38.68 c 38.12/38.68 c 38.12/38.68 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml 38.12/38.68 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 14.376000 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 2.950690 | c 14 > 4.247930 | c 11 > 11.979400 | c 12 > 1.554760 | c 21 > 1.933460 | c 20 > 79.767800 | c 22 > 6.164410 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.968300 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.400880 | c 6 > 11.476700 | c 32 > 1.639340 | c 5 > 14.630700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.12/38.69 c choco : 5.97 38.12/38.69 c mistral : 0.11 38.12/38.69 c abscon : 1801.0 38.12/38.69 c 38.12/38.69 c 38.12/38.69 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml 38.12/38.69 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 15.501700 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 1.974310 | c 14 > 6.189820 | c 11 > 11.799700 | c 12 > 0.919702 | c 21 > 1.936780 | c 20 > 79.734800 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.787900 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.221590 | c 6 > 11.298100 | c 32 > 1.869160 | c 5 > 14.404100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.12/38.69 c choco : 6.04 38.12/38.69 c mistral : 0.11 38.12/38.69 c abscon : 1801.0 38.12/38.69 c 38.12/38.69 c 38.12/38.69 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml 38.12/38.69 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 14.252400 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 2.898240 | c 14 > 4.247930 | c 11 > 11.766100 | c 12 > 1.568720 | c 21 > 1.920650 | c 20 > 79.734800 | c 22 > 5.916080 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.754100 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.216750 | c 6 > 11.251500 | c 32 > 1.869160 | c 5 > 14.355100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.12/38.70 c choco : 5.68 38.12/38.70 c mistral : 0.09 38.12/38.70 c abscon : 1801.0 38.12/38.70 c 38.12/38.70 c 38.12/38.70 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml 38.12/38.70 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.208500 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 1.732440 | c 14 > 5.044390 | c 11 > 11.572200 | c 12 > 0.752235 | c 21 > 1.923270 | c 20 > 79.694300 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.559400 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.025140 | c 6 > 11.058000 | c 32 > 2.150540 | c 5 > 14.112100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.12/38.70 c choco : 5.56 38.12/38.70 c mistral : 0.08 38.12/38.70 c abscon : 1801.0 38.12/38.70 c 38.12/38.70 c 38.12/38.70 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml 38.12/38.70 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.186800 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 2.863940 | c 14 > 4.392320 | c 11 > 11.535800 | c 12 > 1.610970 | c 21 > 1.905950 | c 20 > 79.694300 | c 22 > 5.656850 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.522600 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.019590 | c 6 > 11.007000 | c 32 > 2.150540 | c 5 > 14.058700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.17/38.71 c choco : 20.83 38.17/38.71 c mistral : 0.08 38.17/38.71 c abscon : 1801.0 38.17/38.71 c 38.17/38.71 c 38.17/38.71 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml 38.17/38.71 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.910000 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 1.714400 | c 14 > 4.906890 | c 11 > 11.325300 | c 12 > 0.755179 | c 21 > 1.907630 | c 20 > 79.643800 | c 22 > 5.477230 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.311200 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.813780 | c 6 > 10.796000 | c 32 > 2.500000 | c 5 > 13.796600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.17/38.72 c choco : 5.63 38.17/38.72 c mistral : 0.13 38.17/38.72 c abscon : 19.35 38.17/38.72 c 38.17/38.72 c 38.17/38.72 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml 38.17/38.72 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.979200 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 2.786860 | c 14 > 4.247930 | c 11 > 11.285400 | c 12 > 1.605810 | c 21 > 1.888930 | c 20 > 79.643800 | c 22 > 5.385160 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.270900 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.807350 | c 6 > 10.739800 | c 32 > 2.500000 | c 5 > 13.737900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.17/38.72 c choco : 9.2 38.17/38.72 c mistral : 0.07 38.17/38.72 c abscon : 1801.0 38.17/38.72 c 38.17/38.72 c 38.17/38.72 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-12-12.xml 38.17/38.73 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.585100 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 1.786450 | c 14 > 4.754890 | c 11 > 11.055300 | c 12 > 0.758899 | c 21 > 1.889300 | c 20 > 79.579600 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 11.039600 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.584960 | c 6 > 10.507800 | c 32 > 2.941180 | c 5 > 13.453300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.17/38.73 c choco : 5.24 38.17/38.73 c mistral : 0.1 38.17/38.73 c abscon : 1801.0 38.17/38.73 c 38.17/38.73 c 38.17/38.73 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml 38.17/38.73 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.837800 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 2.729300 | c 14 > 4.247930 | c 11 > 11.011200 | c 12 > 1.631050 | c 21 > 1.868970 | c 20 > 79.579600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 10.995100 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.577430 | c 6 > 10.445000 | c 32 > 2.941180 | c 5 > 13.388000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 38.17/38.74 c choco : 11.72 38.17/38.74 c mistral : 0.06 38.17/38.74 c abscon : 1801.0 38.17/38.74 c 38.17/38.74 c 38.17/38.74 c Length: 40 38.17/38.74 c 33.31324342080939 36.04296745297063 43.21578637791287 53.973982989330146 64.96091738793488 73.39835668105725 82.33526423373766 90.00845064080704 137.02591086607345 137.38828272322004 137.76704286006455 139.3177926822445 139.716739276929 140.11782367077507 140.94626256329497 141.36891215906323 141.79067604691576 142.23639535428504 142.6652798674951 143.14139706093638 143.58462094663625 143.60316209389407 144.0304987667848 144.04368672754595 144.46995619256276 144.4805732528377 144.97519763482993 144.99814770611795 145.44653633113407 145.48246140928603 145.95163009244703 146.1555158981887 146.51665217664907 146.64137325443218 147.09547532081783 147.11926125041785 147.5986518191635 147.6187911854788 148.1051502280823 148.10745159706516 38.17/38.74 c 38.17/38.74 c 1.0 0.9767730369392309 0.9205870011279361 0.8474715031639183 0.7838891886397686 0.7411848600028785 0.7007499127808337 0.6693952971441741 0.5253574188443074 0.524487608463336 0.5235815341025454 0.5199042309314198 0.518966544785899 0.5180272373848067 0.5160978247134919 0.5151190109038898 0.5141459424211894 0.5131215928882328 0.5121397789615545 0.5110542300774761 0.5100478059235937 0.5100057910929144 0.5090393471946016 0.5090095802006498 0.508049304223326 0.5080254329480057 0.5069158064173963 0.5068644385284645 0.5058629193314826 0.5057828484353992 0.5047394734823738 0.5042873964956576 0.5034886316835712 0.5032133598915015 0.5022136495692856 0.5021613940718981 0.5011105304468151 0.5010664795551165 0.5000050119951354 0.5 38.17/38.76 c 38.17/38.76 c solver 0 38.17/38.76 c before 0.0 seconds: {} 0 38.17/38.76 c before 18.0 seconds: {5, 6, 7} 2111 38.17/38.76 c before 36.0 seconds: {4, 5, 6, 7, 36} 3396 38.17/38.76 c before 72.0 seconds: {3, 4, 5, 6, 7, 36} 4243 38.17/38.76 c 38.17/38.76 c solver 1 38.17/38.76 c before 0.0 seconds: {} 0 38.17/38.76 c before 18.0 seconds: {0, 2, 3, 4, 5, 6, 7, 26, 28, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11193 38.17/38.76 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 7, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11698 38.17/38.76 c before 108.0 seconds: {0, 2, 3, 4, 5, 6, 7, 24, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12206 38.17/38.76 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 24, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13183 38.17/38.76 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 23, 24, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13692 38.17/38.76 c before 702.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 21, 23, 24, 26, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14202 38.17/38.76 c before 918.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 21, 23, 24, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14709 38.17/38.76 c 38.17/38.76 c solver 2 38.17/38.76 c before 0.0 seconds: {} 0 38.17/38.76 c before 18.0 seconds: {0, 3, 4, 5, 6, 7, 14, 16, 18, 19, 20, 22, 25, 28, 29, 31, 32, 33, 34, 36, 37, 38, 39} 13350 38.17/38.76 c before 36.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 19, 20, 22, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 18915 38.17/38.76 c before 54.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 22, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19430 38.17/38.76 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 19, 20, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 19938 38.17/38.76 c before 720.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20451 38.17/38.76 c 38.17/38.76 cTotal time: 95 38.17/38.76 c 1710.0 seconds unused 38.17/38.76 c 0 c 0 c 0 38.17/38.76 c 18 c 0 c 4 38.17/38.76 c 30 c 16 c 0 38.17/38.76 c is solver0 dominated by: 38.17/38.76 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 38.17/38.76 c is dominated? true 38.17/38.76 c 38.17/38.76 c is solver1 dominated by: 38.17/38.76 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 38.17/38.76 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) 38.17/38.76 c is dominated? false 38.17/38.76 c 38.17/38.76 c is solver2 dominated by: 38.17/38.76 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true) 38.17/38.76 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) 38.17/38.76 c is dominated? false 38.17/38.76 c 38.17/38.76 c Number of non-dominated solvers: 2 38.17/38.76 c remove dominated solvers 38.17/38.76 c solver 1 is not dominated by another solver 38.17/38.76 c solver 2 is not dominated by another solver 38.17/38.76 c solver 0 is dominated by another solver 38.17/38.76 c 38.17/38.76 c solver 0: 0.0 38.17/38.76 c 38.17/38.76 c solver 1: 918.0 38.17/38.76 c 38.17/38.76 c+ 51/91 of 9 38.17/38.76 c 38.17/38.76 c solver 2: 720.0 38.17/38.76 c 38.17/38.76 c+ 40/91 of 9 38.17/38.76 c do not run abscon 38.17/38.76 c run mistral for 1008.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 21, 23, 24, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14709 38.17/38.76 c run choco for 774.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 24, 25, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 20451 38.17/38.76 c Starting solver: HOME/cpHydra_k_40/solver/mistral 38.17/38.76 c On Instance: HOME/instance-1070725-1215166808.xml 38.17/38.76 c Running for: 1008 seconds 1046.14/1049.01 c Starting solver: HOME/cpHydra_k_40/solver/choco 1046.14/1049.01 c On Instance: HOME/instance-1070725-1215166808.xml 1046.14/1049.01 c Running for: 774 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-1070725-1215166808/watcher-1070725-1215166808 -o /tmp/evaluation-result-1070725-1215166808/solver-1070725-1215166808 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1070725-1215166808.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/74 10322 /proc/meminfo: memFree=1297440/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=18572 CPUtime=0 /proc/10322/stat : 10322 (runsolver) R 10320 10322 9620 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1001083782 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 266134416679 0 0 4096 24578 0 0 0 17 1 0 0 /proc/10322/statm: 4643 292 257 25 0 2626 0 [startup+0.221555 s] /proc/loadavg: 1.92 1.98 1.99 4/74 10322 /proc/meminfo: memFree=1297440/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30157 s] /proc/loadavg: 1.92 1.98 1.99 4/74 10322 /proc/meminfo: memFree=1297440/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.401588 s] /proc/loadavg: 1.92 1.98 1.99 4/74 10322 /proc/meminfo: memFree=1297440/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701644 s] /proc/loadavg: 1.92 1.98 1.99 4/74 10322 /proc/meminfo: memFree=1297440/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.5018 s] /proc/loadavg: 1.93 1.98 1.99 3/76 10326 /proc/meminfo: memFree=1285776/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 [pid=10326] ppid=10322 vsize=17872 CPUtime=1.47 /proc/10326/stat : 10326 (xsolve) R 10322 10322 9620 0 -1 4194304 3828 0 0 0 145 2 0 0 25 0 1 0 1001083783 18300928 3721 996147200 134512640 135239763 4294956176 18446744073709551615 4159007008 0 0 4096 0 0 0 0 17 1 0 0 /proc/10326/statm: 4468 3721 368 177 0 3371 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 23232 [startup+3.10211 s] /proc/loadavg: 1.93 1.98 1.99 3/76 10326 /proc/meminfo: memFree=1277200/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 [pid=10326] ppid=10322 vsize=29736 CPUtime=3.04 /proc/10326/stat : 10326 (xsolve) R 10322 10322 9620 0 -1 4194304 6907 0 0 0 299 5 0 0 25 0 1 0 1001083783 30449664 6670 996147200 134512640 135239763 4294956176 18446744073709551615 134711035 0 0 4096 0 0 0 0 17 1 0 0 /proc/10326/statm: 7434 6670 368 177 0 6337 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 35096 [startup+6.30171 s] /proc/loadavg: 1.93 1.98 1.99 3/76 10326 /proc/meminfo: memFree=1252816/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 [pid=10326] ppid=10322 vsize=53488 CPUtime=6.21 /proc/10326/stat : 10326 (xsolve) R 10322 10322 9620 0 -1 4194304 13045 0 0 0 610 11 0 0 25 0 1 0 1001083783 54771712 12550 996147200 134512640 135239763 4294956176 18446744073709551615 4159157505 0 0 4096 0 0 0 0 17 1 0 0 /proc/10326/statm: 13372 12550 368 177 0 12275 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 58848 [startup+12.7019 s] /proc/loadavg: 1.94 1.98 1.99 3/76 10326 /proc/meminfo: memFree=1203408/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 [pid=10326] ppid=10322 vsize=100656 CPUtime=12.55 /proc/10326/stat : 10326 (xsolve) R 10322 10322 9620 0 -1 4194304 25233 0 0 0 1236 19 0 0 25 0 1 0 1001083783 103071744 24224 996147200 134512640 135239763 4294956176 18446744073709551615 134683373 0 0 4096 0 0 0 0 17 1 0 0 /proc/10326/statm: 25164 24224 368 177 0 24067 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 106016 [startup+25.5064 s] /proc/loadavg: 1.95 1.98 1.99 3/76 10326 /proc/meminfo: memFree=1105552/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=0 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1001083782 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 236 195 169 0 51 0 [pid=10326] ppid=10322 vsize=194068 CPUtime=25.23 /proc/10326/stat : 10326 (xsolve) R 10322 10322 9620 0 -1 4194304 49358 0 0 0 2488 35 0 0 25 0 1 0 1001083783 198725632 47323 996147200 134512640 135239763 4294956176 18446744073709551615 134617993 0 0 4096 0 0 0 0 17 1 0 0 /proc/10326/statm: 48517 47323 368 177 0 47420 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 199428 [startup+51.1022 s] /proc/loadavg: 2.03 2.00 2.00 3/87 10341 /proc/meminfo: memFree=1167288/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=32.11 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 375 174351 0 0 0 0 3103 108 18 0 1 0 1001083782 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 238 196 169 0 51 0 [pid=10330] ppid=10322 vsize=197436 CPUtime=6.11 /proc/10330/stat : 10330 (java) S 10322 10322 9620 0 -1 0 11478 0 1 0 592 19 0 0 18 0 10 0 1001087028 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/10330/statm: 49359 9428 2544 9 0 43941 0 [pid=10340] ppid=10330 vsize=5356 CPUtime=0 /proc/10340/stat : 10340 (mistral) S 10330 10322 9620 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1001087659 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/10340/statm: 1339 238 198 169 0 50 0 [pid=10341] ppid=10340 vsize=98192 CPUtime=12.19 /proc/10341/stat : 10341 (xsolve) R 10340 10322 9620 0 -1 4194304 24561 0 0 0 1203 16 0 0 25 0 1 0 1001087660 100548608 23557 996147200 134512640 135239763 4294955952 18446744073709551615 134642440 0 4 0 0 0 0 0 17 1 0 0 /proc/10341/statm: 24548 23557 366 177 0 23451 0 [pid=10330/tid=10331] ppid=10322 vsize=197436 CPUtime=4.88 /proc/10330/task/10331/stat : 10331 (java) S 10322 10322 9620 0 -1 64 3863 0 1 0 481 7 0 0 23 0 10 0 1001087029 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=10330/tid=10332] ppid=10322 vsize=197436 CPUtime=0.96 /proc/10330/task/10332/stat : 10332 (java) S 10322 10322 9620 0 -1 64 6123 0 0 0 86 10 0 0 16 0 10 0 1001087030 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10333] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10333/stat : 10333 (java) S 10322 10322 9620 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1001087031 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10334] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10334/stat : 10334 (java) S 10322 10322 9620 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1001087031 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10335] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10335/stat : 10335 (java) S 10322 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10336] ppid=10322 vsize=197436 CPUtime=0.24 /proc/10330/task/10336/stat : 10336 (java) S 10322 10322 9620 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10337] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10337/stat : 10337 (java) S 10322 10322 9620 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10338] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10338/stat : 10338 (java) S 10322 10322 9620 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10339] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10339/stat : 10339 (java) S 10322 10322 9620 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1001087659 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.41 Current children cumulated vsize (KiB) 306344 [startup+102.303 s] /proc/loadavg: 2.01 2.00 2.00 3/87 10341 /proc/meminfo: memFree=564472/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=32.11 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 375 174351 0 0 0 0 3103 108 18 0 1 0 1001083782 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 238 196 169 0 51 0 [pid=10330] ppid=10322 vsize=197436 CPUtime=6.11 /proc/10330/stat : 10330 (java) S 10322 10322 9620 0 -1 0 11478 0 1 0 592 19 0 0 18 0 10 0 1001087028 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/10330/statm: 49359 9428 2544 9 0 43941 0 [pid=10340] ppid=10330 vsize=5356 CPUtime=0 /proc/10340/stat : 10340 (mistral) S 10330 10322 9620 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1001087659 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/10340/statm: 1339 238 198 169 0 50 0 [pid=10341] ppid=10340 vsize=694128 CPUtime=62.9 /proc/10341/stat : 10341 (xsolve) R 10340 10322 9620 0 -1 4194304 175484 0 0 0 6192 98 0 0 25 0 1 0 1001087660 710787072 170474 996147200 134512640 135239763 4294955952 18446744073709551615 134796604 0 4 0 0 0 0 0 17 1 0 0 /proc/10341/statm: 173532 170474 407 177 0 172435 0 [pid=10330/tid=10331] ppid=10322 vsize=197436 CPUtime=4.88 /proc/10330/task/10331/stat : 10331 (java) S 10322 10322 9620 0 -1 64 3863 0 1 0 481 7 0 0 23 0 10 0 1001087029 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=10330/tid=10332] ppid=10322 vsize=197436 CPUtime=0.96 /proc/10330/task/10332/stat : 10332 (java) S 10322 10322 9620 0 -1 64 6123 0 0 0 86 10 0 0 16 0 10 0 1001087030 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10333] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10333/stat : 10333 (java) S 10322 10322 9620 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1001087031 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10334] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10334/stat : 10334 (java) S 10322 10322 9620 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1001087031 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10335] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10335/stat : 10335 (java) S 10322 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10336] ppid=10322 vsize=197436 CPUtime=0.24 /proc/10330/task/10336/stat : 10336 (java) S 10322 10322 9620 0 -1 64 668 0 0 0 24 0 0 0 16 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10337] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10337/stat : 10337 (java) S 10322 10322 9620 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10338] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10338/stat : 10338 (java) S 10322 10322 9620 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1001087033 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10339] ppid=10322 vsize=197436 CPUtime=0 /proc/10330/task/10339/stat : 10339 (java) S 10322 10322 9620 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1001087659 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.12 Current children cumulated vsize (KiB) 902280 [startup+162.302 s] /proc/loadavg: 2.00 2.00 2.00 3/87 10341 /proc/meminfo: memFree=551928/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=32.11 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 375 174351 0 0 0 0 3103 108 18 0 1 0 1001083782 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 238 196 169 0 51 0 [pid=10330] ppid=10322 vsize=197436 CPUtime=6.11 /proc/10330/stat : 10330 (java) S 10322 10322 9620 0 -1 0 11478 0 1 0 592 19 0 0 18 0 10 0 1001087028 202174464 9428 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/10330/statm: 49359 9428 2544 9 0 43941 0 [pid=10340] ppid=10330 vsize=5356 CPUtime=0 /proc/10340/stat : 10340 (mistral) S 10330 10322 9620 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1001087659 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/10340/statm: 1339 238 198 169 0 50 0 ################ # More data... # ################ [pid=10372/tid=10376] ppid=10371 vsize=691840 CPUtime=0 /proc/10372/task/10376/stat : 10376 (java) S 10371 10322 9620 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1001188687 708444160 154751 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10377] ppid=10371 vsize=691840 CPUtime=0 /proc/10372/task/10377/stat : 10377 (java) S 10371 10322 9620 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1001188689 708444160 154751 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10378] ppid=10371 vsize=691840 CPUtime=0.13 /proc/10372/task/10378/stat : 10378 (java) S 10371 10322 9620 0 -1 64 523 0 0 0 13 0 0 0 16 0 9 0 1001188689 708444160 154751 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10379] ppid=10371 vsize=691840 CPUtime=0 /proc/10372/task/10379/stat : 10379 (java) S 10371 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1001188689 708444160 154751 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10380] ppid=10371 vsize=691840 CPUtime=0 /proc/10372/task/10380/stat : 10380 (java) S 10371 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1001188689 708444160 154751 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10331] ppid=10322 vsize=197760 CPUtime=1012.82 /proc/10330/task/10331/stat : 10331 (java) S 10322 10322 9620 0 -1 64 3938 175792 1 0 481 7 100684 110 16 0 10 0 1001087029 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10330/tid=10332] ppid=10322 vsize=197760 CPUtime=1008.9 /proc/10330/task/10332/stat : 10332 (java) S 10322 10322 9620 0 -1 64 6147 175792 0 0 86 10 100684 110 16 0 10 0 1001087030 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10333] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10333/stat : 10333 (java) S 10322 10322 9620 0 -1 64 11 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10334] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10334/stat : 10334 (java) S 10322 10322 9620 0 -1 64 5 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10335] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10335/stat : 10335 (java) S 10322 10322 9620 0 -1 64 0 175792 0 0 0 0 100684 110 18 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10336] ppid=10322 vsize=197760 CPUtime=1008.18 /proc/10330/task/10336/stat : 10336 (java) S 10322 10322 9620 0 -1 64 701 175792 0 0 24 0 100684 110 16 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10337] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10337/stat : 10337 (java) S 10322 10322 9620 0 -1 64 1 175792 0 0 0 0 100684 110 19 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10338] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10338/stat : 10338 (java) S 10322 10322 9620 0 -1 64 38 175792 0 0 0 0 100684 110 15 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10370] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10370/stat : 10370 (java) S 10322 10322 9620 0 -1 64 48 175792 0 0 0 0 100684 110 17 0 10 0 1001188684 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1086.83 Current children cumulated vsize (KiB) 900316 [startup+1090.1 s] /proc/loadavg: 2.09 2.01 2.00 3/93 10380 /proc/meminfo: memFree=1108928/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=32.11 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 375 174351 0 0 0 0 3103 108 18 0 1 0 1001083782 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 238 196 169 0 51 0 [pid=10330] ppid=10322 vsize=197760 CPUtime=1014.07 /proc/10330/stat : 10330 (java) S 10322 10322 9620 0 -1 0 11670 175792 1 0 593 20 100684 110 18 0 10 0 1001087028 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/10330/statm: 49440 9434 2545 9 0 44022 0 [pid=10371] ppid=10330 vsize=5356 CPUtime=0 /proc/10371/stat : 10371 (choco) S 10330 10322 9620 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001188684 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10371/statm: 1339 238 197 169 0 50 0 [pid=10372] ppid=10371 vsize=655348 CPUtime=41.04 /proc/10372/stat : 10372 (java) S 10371 10322 9620 0 -1 0 398352 0 1 0 3934 170 0 0 19 0 9 0 1001188685 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10372/statm: 163837 145628 2587 9 0 158366 0 [pid=10372/tid=10373] ppid=10371 vsize=655348 CPUtime=6.34 /proc/10372/task/10373/stat : 10373 (java) S 10371 10322 9620 0 -1 64 11616 0 1 0 622 12 0 0 17 0 9 0 1001188686 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10374] ppid=10371 vsize=655348 CPUtime=34.54 /proc/10372/task/10374/stat : 10374 (java) R 10371 10322 9620 0 -1 64 385659 0 0 0 3298 156 0 0 25 0 9 0 1001188687 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 103663183 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10375] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10375/stat : 10375 (java) S 10371 10322 9620 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1001188687 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10376] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10376/stat : 10376 (java) S 10371 10322 9620 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1001188687 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10377] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10377/stat : 10377 (java) S 10371 10322 9620 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1001188689 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10378] ppid=10371 vsize=655348 CPUtime=0.13 /proc/10372/task/10378/stat : 10378 (java) S 10371 10322 9620 0 -1 64 523 0 0 0 13 0 0 0 16 0 9 0 1001188689 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10379] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10379/stat : 10379 (java) S 10371 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1001188689 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10380] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10380/stat : 10380 (java) S 10371 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1001188689 671076352 145628 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10331] ppid=10322 vsize=197760 CPUtime=1012.82 /proc/10330/task/10331/stat : 10331 (java) S 10322 10322 9620 0 -1 64 3938 175792 1 0 481 7 100684 110 16 0 10 0 1001087029 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10330/tid=10332] ppid=10322 vsize=197760 CPUtime=1008.9 /proc/10330/task/10332/stat : 10332 (java) S 10322 10322 9620 0 -1 64 6147 175792 0 0 86 10 100684 110 16 0 10 0 1001087030 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10333] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10333/stat : 10333 (java) S 10322 10322 9620 0 -1 64 11 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10334] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10334/stat : 10334 (java) S 10322 10322 9620 0 -1 64 5 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10335] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10335/stat : 10335 (java) S 10322 10322 9620 0 -1 64 0 175792 0 0 0 0 100684 110 18 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10336] ppid=10322 vsize=197760 CPUtime=1008.18 /proc/10330/task/10336/stat : 10336 (java) S 10322 10322 9620 0 -1 64 701 175792 0 0 24 0 100684 110 16 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10337] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10337/stat : 10337 (java) S 10322 10322 9620 0 -1 64 1 175792 0 0 0 0 100684 110 19 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10338] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10338/stat : 10338 (java) S 10322 10322 9620 0 -1 64 38 175792 0 0 0 0 100684 110 15 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10370] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10370/stat : 10370 (java) S 10322 10322 9620 0 -1 64 48 175792 0 0 0 0 100684 110 17 0 10 0 1001188684 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1087.22 Current children cumulated vsize (KiB) 863824 [startup+1090.31 s] /proc/loadavg: 2.09 2.01 2.00 3/93 10380 /proc/meminfo: memFree=1145408/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=32.11 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 375 174351 0 0 0 0 3103 108 18 0 1 0 1001083782 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 238 196 169 0 51 0 [pid=10330] ppid=10322 vsize=197760 CPUtime=1014.07 /proc/10330/stat : 10330 (java) S 10322 10322 9620 0 -1 0 11670 175792 1 0 593 20 100684 110 18 0 10 0 1001087028 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/10330/statm: 49440 9434 2545 9 0 44022 0 [pid=10371] ppid=10330 vsize=5356 CPUtime=0 /proc/10371/stat : 10371 (choco) S 10330 10322 9620 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001188684 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10371/statm: 1339 238 197 169 0 50 0 [pid=10372] ppid=10371 vsize=655348 CPUtime=41.23 /proc/10372/stat : 10372 (java) S 10371 10322 9620 0 -1 0 398360 0 1 0 3953 170 0 0 19 0 9 0 1001188685 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10372/statm: 163837 145631 2587 9 0 158366 0 [pid=10372/tid=10373] ppid=10371 vsize=655348 CPUtime=6.34 /proc/10372/task/10373/stat : 10373 (java) S 10371 10322 9620 0 -1 64 11624 0 1 0 622 12 0 0 16 0 9 0 1001188686 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10374] ppid=10371 vsize=655348 CPUtime=34.73 /proc/10372/task/10374/stat : 10374 (java) S 10371 10322 9620 0 -1 64 385659 0 0 0 3317 156 0 0 25 0 9 0 1001188687 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10375] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10375/stat : 10375 (java) S 10371 10322 9620 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1001188687 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10376] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10376/stat : 10376 (java) S 10371 10322 9620 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1001188687 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10377] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10377/stat : 10377 (java) S 10371 10322 9620 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1001188689 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10378] ppid=10371 vsize=655348 CPUtime=0.13 /proc/10372/task/10378/stat : 10378 (java) S 10371 10322 9620 0 -1 64 523 0 0 0 13 0 0 0 16 0 9 0 1001188689 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10379] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10379/stat : 10379 (java) S 10371 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1001188689 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10372/tid=10380] ppid=10371 vsize=655348 CPUtime=0 /proc/10372/task/10380/stat : 10380 (java) S 10371 10322 9620 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1001188689 671076352 145631 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10331] ppid=10322 vsize=197760 CPUtime=1012.82 /proc/10330/task/10331/stat : 10331 (java) S 10322 10322 9620 0 -1 64 3938 175792 1 0 481 7 100684 110 16 0 10 0 1001087029 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10330/tid=10332] ppid=10322 vsize=197760 CPUtime=1008.9 /proc/10330/task/10332/stat : 10332 (java) S 10322 10322 9620 0 -1 64 6147 175792 0 0 86 10 100684 110 16 0 10 0 1001087030 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10333] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10333/stat : 10333 (java) S 10322 10322 9620 0 -1 64 11 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10334] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10334/stat : 10334 (java) S 10322 10322 9620 0 -1 64 5 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10335] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10335/stat : 10335 (java) S 10322 10322 9620 0 -1 64 0 175792 0 0 0 0 100684 110 18 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10336] ppid=10322 vsize=197760 CPUtime=1008.18 /proc/10330/task/10336/stat : 10336 (java) S 10322 10322 9620 0 -1 64 701 175792 0 0 24 0 100684 110 16 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10337] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10337/stat : 10337 (java) S 10322 10322 9620 0 -1 64 1 175792 0 0 0 0 100684 110 19 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10338] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10338/stat : 10338 (java) S 10322 10322 9620 0 -1 64 38 175792 0 0 0 0 100684 110 15 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10370] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10370/stat : 10370 (java) S 10322 10322 9620 0 -1 64 48 175792 0 0 0 0 100684 110 17 0 10 0 1001188684 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1087.41 Current children cumulated vsize (KiB) 863824 [startup+1090.4 s] /proc/loadavg: 2.09 2.01 2.00 3/93 10380 /proc/meminfo: memFree=1145408/2055920 swapFree=4174728/4192956 [pid=10322] ppid=10320 vsize=5360 CPUtime=32.11 /proc/10322/stat : 10322 (hydra) S 10320 10322 9620 0 -1 4194304 375 174351 0 0 0 0 3103 108 18 0 1 0 1001083782 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/10322/statm: 1340 238 196 169 0 51 0 [pid=10330] ppid=10322 vsize=197760 CPUtime=1014.07 /proc/10330/stat : 10330 (java) S 10322 10322 9620 0 -1 0 11670 175792 1 0 593 20 100684 110 18 0 10 0 1001087028 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/10330/statm: 49440 9434 2545 9 0 44022 0 [pid=10371] ppid=10330 vsize=5356 CPUtime=0 /proc/10371/stat : 10371 (choco) S 10330 10322 9620 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001188684 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/10371/statm: 1339 238 197 169 0 50 0 [pid=10372] ppid=10371 vsize=0 CPUtime=41.3 /proc/10372/stat : 10372 (java) Z 10371 10322 9620 0 -1 12 398364 0 1 0 3953 177 0 0 16 0 2 0 1001188685 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/10372/statm: 0 0 0 0 0 0 0 [pid=10330/tid=10331] ppid=10322 vsize=197760 CPUtime=1012.82 /proc/10330/task/10331/stat : 10331 (java) S 10322 10322 9620 0 -1 64 3938 175792 1 0 481 7 100684 110 16 0 10 0 1001087029 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=10330/tid=10332] ppid=10322 vsize=197760 CPUtime=1008.9 /proc/10330/task/10332/stat : 10332 (java) S 10322 10322 9620 0 -1 64 6147 175792 0 0 86 10 100684 110 16 0 10 0 1001087030 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10333] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10333/stat : 10333 (java) S 10322 10322 9620 0 -1 64 11 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10334] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10334/stat : 10334 (java) S 10322 10322 9620 0 -1 64 5 175792 0 0 0 0 100684 110 16 0 10 0 1001087031 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10335] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10335/stat : 10335 (java) S 10322 10322 9620 0 -1 64 0 175792 0 0 0 0 100684 110 18 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10336] ppid=10322 vsize=197760 CPUtime=1008.18 /proc/10330/task/10336/stat : 10336 (java) S 10322 10322 9620 0 -1 64 701 175792 0 0 24 0 100684 110 16 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=10330/tid=10337] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10337/stat : 10337 (java) S 10322 10322 9620 0 -1 64 1 175792 0 0 0 0 100684 110 19 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10338] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10338/stat : 10338 (java) S 10322 10322 9620 0 -1 64 38 175792 0 0 0 0 100684 110 15 0 10 0 1001087033 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=10330/tid=10370] ppid=10322 vsize=197760 CPUtime=1007.94 /proc/10330/task/10370/stat : 10370 (java) S 10322 10322 9620 0 -1 64 48 175792 0 0 0 0 100684 110 17 0 10 0 1001188684 202506240 9434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1087.48 Current children cumulated vsize (KiB) 208476 Child status: 0 Real time (s): 1090.47 CPU time (s): 1087.55 CPU user time (s): 1083.36 CPU system time (s): 4.19336 CPU usage (%): 99.7326 Max. virtual memory (cumulated for all children) (KiB): 908320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1083.36 system time used= 4.19336 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 761001 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31959 involuntary context switches= 28143 runsolver used 1.83672 second user time and 3.87241 second system time The end
Begin job on node35 at 2008-07-04 12:20:12 IDJOB=1070725 IDBENCH=55934 IDSOLVER=366 FILE ID=node35/1070725-1215166808 PBS_JOBID= 7881443 Free space on /tmp= 66472 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/pseudoGLB/normalized-pigeon-clauses-95-90.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070725-1215166808/watcher-1070725-1215166808 -o /tmp/evaluation-result-1070725-1215166808/solver-1070725-1215166808 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1070725-1215166808.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= de817014db59f29d4679c14de52332f3 RANDOM SEED=650899642 node35.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.261 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.261 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: 1297920 kB Buffers: 27092 kB Cached: 206056 kB SwapCached: 11992 kB Active: 652944 kB Inactive: 37576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1297920 kB SwapTotal: 4192956 kB SwapFree: 4174728 kB Dirty: 91764 kB Writeback: 0 kB Mapped: 464772 kB Slab: 51836 kB Committed_AS: 2007884 kB PageTables: 2700 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= 66460 MiB End job on node35 at 2008-07-04 12:38:23