Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | ? (TO) | 1800.07 | 1804.53 |
Name | csp/allsquaresUnsat/ normalized-squaresUnsat-26-26.xml |
MD5SUM | dee6717e94e3c396cc9a79e38a8821c4 |
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 | 1352 |
Number of constraints | 1628 |
Maximum constraint arity | 26 |
Maximum domain size | 79 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1301 |
Global constraints used (with number of constraints) | cumulative(2),weightedsum(325) |
0.19/0.21 c cpHydra_k_40 version 0.0 6.77/6.86 c CASE TO CLASSIFY: 6.77/6.86 c Case: 0 6.77/6.86 c 19 > 0.000000 | c 35 > 29.992300 | c 17 > 0.000000 | c 18 > 20.086000 | c 33 > 0.000000 | c 15 > 21.624500 | c 34 > 39.976900 | c 16 > 26.000000 | c 13 > 5.348240 | c 14 > 9.670660 | c 11 > 10.400900 | c 12 > 3.276840 | c 21 > 2.107330 | c 20 > 79.914000 | c 22 > 8.888190 | 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.713200 | c 1 > 10.344300 | c 0 > -1.000000 | c 30 > 99.388400 | c 7 > 10.800100 | c 6 > 13.336800 | c 32 > 0.611621 | c 5 > 16.940000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.77/6.87 c choco : 1801.0 6.77/6.87 c mistral : 1801.0 6.77/6.87 c abscon : 1801.0 6.77/6.87 c 6.77/6.87 c 6.87/6.94 c List of same ones: 40 6.87/6.94 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-26-26.xml 6.87/6.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 6.87/6.95 c choco : 47.2 6.87/6.95 c mistral : 1801.0 6.87/6.95 c abscon : 1801.0 6.87/6.95 c 6.87/6.95 c 6.87/6.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-27-27.xml 6.87/6.95 c 19 > 0.000000 | c 35 > 29.992900 | c 17 > 0.000000 | c 18 > 20.079600 | c 33 > 0.000000 | c 15 > 20.004500 | c 34 > 39.978600 | c 16 > 27.000000 | c 13 > 5.238830 | c 14 > 8.527480 | c 11 > 10.509800 | c 12 > 3.205540 | c 21 > 2.116630 | c 20 > 79.920400 | c 22 > 9.110430 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.700440 | c 10 > 13.839600 | c 1 > 10.455300 | c 0 > -1.000000 | c 30 > 99.433400 | c 7 > 10.907600 | c 6 > 13.468400 | c 32 > 0.566572 | c 5 > 17.109100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.87/6.95 c choco : 17.5 6.87/6.95 c mistral : 1801.0 6.87/6.95 c abscon : 1801.0 6.87/6.95 c 6.87/6.95 c 6.87/6.95 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-29-29.xml 6.87/6.95 c 19 > 0.000000 | c 35 > 29.993800 | c 17 > 0.000000 | c 18 > 20.068900 | c 33 > 0.000000 | c 15 > 20.252600 | c 34 > 39.981500 | c 16 > 29.000000 | c 13 > 5.222930 | c 14 > 7.994350 | c 11 > 10.716000 | c 12 > 3.171920 | c 21 > 2.140710 | c 20 > 79.931100 | c 22 > 9.591660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.807350 | c 10 > 14.090000 | c 1 > 10.665300 | c 0 > -1.000000 | c 30 > 99.509800 | c 7 > 11.112400 | c 6 > 13.731300 | c 32 > 0.490196 | c 5 > 17.445800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.87/6.96 c choco : 20.93 6.87/6.96 c mistral : 1801.0 6.87/6.96 c abscon : 1801.0 6.87/6.96 c 6.87/6.96 c 6.87/6.96 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-25-25.xml 6.87/6.96 c 19 > 0.000000 | c 35 > 29.991700 | c 17 > 0.000000 | c 18 > 20.093100 | c 33 > 0.000000 | c 15 > 19.338800 | c 34 > 39.975000 | c 16 > 25.000000 | c 13 > 4.622900 | c 14 > 8.252670 | c 11 > 13.493900 | c 12 > 2.315110 | c 21 > 2.088060 | c 20 > 79.906900 | c 22 > 8.602330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.584960 | c 10 > 13.564500 | c 1 > 10.228800 | c 0 > -1.000000 | c 30 > 99.337700 | c 7 > 10.686500 | c 6 > 13.177700 | c 32 > 0.662252 | c 5 > 16.740300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.87/6.97 c choco : 14.93 6.87/6.97 c mistral : 1801.0 6.87/6.97 c abscon : 1801.0 6.87/6.97 c 6.87/6.97 c 6.87/6.97 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-24-24.xml 6.87/6.97 c 19 > 0.000000 | c 35 > 29.991000 | c 17 > 0.000000 | c 18 > 20.101200 | c 33 > 0.000000 | c 15 > 19.360800 | c 34 > 39.972900 | c 16 > 24.000000 | c 13 > 5.161530 | c 14 > 8.511750 | c 11 > 13.388300 | c 12 > 2.842520 | c 21 > 2.086660 | c 20 > 79.898800 | c 22 > 8.426150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.523560 | c 10 > 13.443300 | c 1 > 10.108500 | c 0 > -1.000000 | c 30 > 99.280600 | c 7 > 10.571800 | c 6 > 13.055300 | c 32 > 0.719424 | c 5 > 16.579800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.87/6.98 c choco : 719.66 6.87/6.98 c mistral : 1801.0 6.87/6.98 c abscon : 1801.0 6.87/6.98 c 6.87/6.98 c 6.87/6.98 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-30-30.xml 6.87/6.98 c 19 > 0.000000 | c 35 > 29.994300 | c 17 > 0.000000 | c 18 > 20.064300 | c 33 > 0.000000 | c 15 > 20.179900 | c 34 > 39.982800 | c 16 > 30.000000 | c 13 > 5.275120 | c 14 > 7.727920 | c 11 > 10.813800 | c 12 > 3.193420 | c 21 > 2.155360 | c 20 > 79.935700 | c 22 > 9.848860 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.857980 | c 10 > 14.214200 | c 1 > 10.764900 | c 0 > -1.000000 | c 30 > 99.542300 | c 7 > 11.210100 | c 6 > 13.862600 | c 32 > 0.457666 | c 5 > 17.613100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.87/6.99 c choco : 19.73 6.87/6.99 c mistral : 1801.0 6.87/6.99 c abscon : 1801.0 6.87/6.99 c 6.87/6.99 c 6.87/6.99 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-23-23.xml 6.87/6.99 c 19 > 0.000000 | c 35 > 29.990100 | c 17 > 0.000000 | c 18 > 20.110400 | c 33 > 0.000000 | c 15 > 19.185200 | c 34 > 39.970400 | c 16 > 23.000000 | c 13 > 4.933950 | c 14 > 8.636620 | c 11 > 13.241200 | c 12 > 2.739170 | c 21 > 2.054550 | c 20 > 79.889600 | c 22 > 8.062260 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.459430 | c 10 > 13.260300 | c 1 > 9.982990 | c 0 > -1.000000 | c 30 > 99.215700 | c 7 > 10.446000 | c 6 > 12.854100 | c 32 > 0.784314 | c 5 > 16.333700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.00 c choco : 13.48 6.95/7.00 c mistral : 1801.0 6.95/7.00 c abscon : 1801.0 6.95/7.00 c 6.95/7.00 c 6.95/7.00 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-22-22.xml 6.95/7.00 c 19 > 0.000000 | c 35 > 29.989200 | c 17 > 0.000000 | c 18 > 20.120900 | c 33 > 0.000000 | c 15 > 19.476700 | c 34 > 39.967600 | c 16 > 22.000000 | c 13 > 5.811350 | c 14 > 8.511750 | c 11 > 13.112000 | c 12 > 3.384030 | c 21 > 2.040400 | c 20 > 79.879100 | c 22 > 7.810250 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.392320 | c 10 > 13.104900 | c 1 > 9.851750 | c 0 > -1.000000 | c 30 > 99.141600 | c 7 > 10.318500 | c 6 > 12.690000 | c 32 > 0.858369 | c 5 > 16.126800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.01 c choco : 12.45 6.95/7.01 c mistral : 1801.0 6.95/7.01 c abscon : 1801.0 6.95/7.01 c 6.95/7.01 c 6.95/7.01 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-31-31.xml 6.95/7.01 c 19 > 0.000000 | c 35 > 29.994600 | c 17 > 0.000000 | c 18 > 20.060100 | c 33 > 0.000000 | c 15 > 20.155900 | c 34 > 39.983900 | c 16 > 31.000000 | c 13 > 5.323160 | c 14 > 7.607330 | c 11 > 10.908400 | c 12 > 3.212410 | c 21 > 2.168980 | c 20 > 79.939900 | c 22 > 10.099500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.906890 | c 10 > 14.333000 | c 1 > 10.861100 | c 0 > -1.000000 | c 30 > 99.571700 | c 7 > 11.304400 | c 6 > 13.988000 | c 32 > 0.428266 | c 5 > 17.773600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.01 c choco : 19.61 6.95/7.01 c mistral : 1801.0 6.95/7.01 c abscon : 1801.0 6.95/7.01 c 6.95/7.01 c 6.95/7.01 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-21-21.xml 6.95/7.01 c 19 > 0.000000 | c 35 > 29.988100 | c 17 > 0.000000 | c 18 > 20.133000 | c 33 > 0.000000 | c 15 > 19.571000 | c 34 > 39.964300 | c 16 > 21.000000 | c 13 > 5.254530 | c 14 > 8.581200 | c 11 > 12.948400 | c 12 > 2.794150 | c 21 > 2.025350 | c 20 > 79.867000 | c 22 > 7.549830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.321930 | c 10 > 12.940900 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 99.056600 | c 7 > 10.184900 | c 6 > 12.516200 | c 32 > 0.943396 | c 5 > 15.909400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.02 c choco : 11.12 6.95/7.02 c mistral : 1801.0 6.95/7.02 c abscon : 1801.0 6.95/7.02 c 6.95/7.02 c 6.95/7.02 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-21-21.xml 6.95/7.02 c 19 > 0.000000 | c 35 > 29.988100 | c 17 > 0.000000 | c 18 > 20.133000 | c 33 > 0.000000 | c 15 > 19.476200 | c 34 > 39.964300 | c 16 > 21.000000 | c 13 > 5.786630 | c 14 > 8.405140 | c 11 > 12.969700 | c 12 > 3.353290 | c 21 > 2.036510 | c 20 > 79.867000 | c 22 > 7.615770 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.321930 | c 10 > 12.962400 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > 99.056600 | c 7 > 10.187400 | c 6 > 12.544500 | c 32 > 0.943396 | c 5 > 15.939600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.03 c choco : 1801.0 6.95/7.03 c mistral : 687.44 6.95/7.03 c abscon : 1801.0 6.95/7.03 c 6.95/7.03 c 6.95/7.03 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-20-20.xml 6.95/7.03 c 19 > 0.000000 | c 35 > 29.986900 | c 17 > 0.000000 | c 18 > 20.146900 | c 33 > 0.000000 | c 15 > 19.287500 | c 34 > 39.960600 | c 16 > 20.000000 | c 13 > 4.979830 | c 14 > 9.330920 | c 11 > 12.774400 | c 12 > 2.421650 | c 21 > 2.008110 | c 20 > 79.853100 | c 22 > 7.280110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.247930 | c 10 > 12.766300 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > 98.958300 | c 7 > 10.044400 | c 6 > 12.330400 | c 32 > 1.041670 | c 5 > 15.677900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.05 c choco : 9.7 6.95/7.05 c mistral : 1801.0 6.95/7.05 c abscon : 1801.0 6.95/7.05 c 6.95/7.05 c 6.95/7.05 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-20-20.xml 6.95/7.05 c 19 > 0.000000 | c 35 > 29.986900 | c 17 > 0.000000 | c 18 > 20.146900 | c 33 > 0.000000 | c 15 > 19.523500 | c 34 > 39.960600 | c 16 > 20.000000 | c 13 > 4.691230 | c 14 > 8.826550 | c 11 > 12.797700 | c 12 > 2.007930 | c 21 > 2.020520 | c 20 > 79.853100 | c 22 > 7.348470 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.247930 | c 10 > 12.789700 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > 98.958300 | c 7 > 10.047100 | c 6 > 12.361400 | c 32 > 1.041670 | c 5 > 15.711700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.06 c choco : 1801.0 6.95/7.06 c mistral : 394.02 6.95/7.06 c abscon : 1801.0 6.95/7.06 c 6.95/7.06 c 6.95/7.06 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-19-19.xml 6.95/7.06 c 19 > 0.000000 | c 35 > 29.985400 | c 17 > 0.000000 | c 18 > 20.163200 | c 33 > 0.000000 | c 15 > 19.533100 | c 34 > 39.956200 | c 16 > 19.000000 | c 13 > 4.399460 | c 14 > 9.252670 | c 11 > 12.614000 | c 12 > 2.695070 | c 21 > 2.002080 | c 20 > 79.836800 | c 22 > 7.071070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.169930 | c 10 > 12.605500 | c 1 > 9.417850 | c 0 > -1.000000 | c 30 > 98.843900 | c 7 > 9.899360 | c 6 > 12.164900 | c 32 > 1.156070 | c 5 > 15.468200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.07 c choco : 54.4 6.95/7.07 c mistral : 98.37 6.95/7.07 c abscon : 1801.0 6.95/7.07 c 6.95/7.07 c 6.95/7.07 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-19-19.xml 6.95/7.07 c 19 > 0.000000 | c 35 > 29.985400 | c 17 > 0.000000 | c 18 > 20.163200 | c 33 > 0.000000 | c 15 > 19.691900 | c 34 > 39.956200 | c 16 > 19.000000 | c 13 > 4.496160 | c 14 > 8.848620 | c 11 > 12.589400 | c 12 > 2.581290 | c 21 > 1.989590 | c 20 > 79.836800 | c 22 > 7.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.169930 | c 10 > 12.580700 | c 1 > 9.417850 | c 0 > -1.000000 | c 30 > 98.843900 | c 7 > 9.896330 | c 6 > 12.131900 | c 32 > 1.156070 | c 5 > 15.433000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.07 c choco : 8.21 6.95/7.07 c mistral : 1801.0 6.95/7.07 c abscon : 1801.0 6.95/7.07 c 6.95/7.07 c 6.95/7.07 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-18-18.xml 6.95/7.07 c 19 > 0.000000 | c 35 > 29.983700 | c 17 > 0.000000 | c 18 > 20.182300 | c 33 > 0.000000 | c 15 > 19.730400 | c 34 > 39.951100 | c 16 > 18.000000 | c 13 > 5.904500 | c 14 > 9.501840 | c 11 > 12.444200 | c 12 > 3.936270 | c 21 > 1.995360 | c 20 > 79.817700 | c 22 > 6.855650 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.087460 | c 10 > 12.435100 | c 1 > 9.257390 | c 0 > -1.000000 | c 30 > 98.709700 | c 7 > 9.746510 | c 6 > 11.989400 | c 32 > 1.290320 | c 5 > 15.247000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.08 c choco : 26.66 6.95/7.08 c mistral : 13.36 6.95/7.08 c abscon : 1801.0 6.95/7.08 c 6.95/7.08 c 6.95/7.08 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-18-18.xml 6.95/7.08 c 19 > 0.000000 | c 35 > 29.983700 | c 17 > 0.000000 | c 18 > 20.182300 | c 33 > 0.000000 | c 15 > 19.855200 | c 34 > 39.951100 | c 16 > 18.000000 | c 13 > 6.389030 | c 14 > 8.936640 | c 11 > 12.418100 | c 12 > 4.388670 | c 21 > 1.982170 | c 20 > 79.817700 | c 22 > 6.782330 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.087460 | c 10 > 12.408900 | c 1 > 9.257390 | c 0 > -1.000000 | c 30 > 98.709700 | c 7 > 9.743150 | c 6 > 11.954200 | c 32 > 1.290320 | c 5 > 15.209600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.08 c choco : 1801.0 6.95/7.08 c mistral : 916.51 6.95/7.08 c abscon : 1801.0 6.95/7.08 c 6.95/7.08 c 6.95/7.08 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-35-35.xml 6.95/7.08 c 19 > 0.000000 | c 35 > 29.995800 | c 17 > 0.000000 | c 18 > 20.047000 | c 33 > 0.000000 | c 15 > 19.771700 | c 34 > 39.987400 | c 16 > 35.000000 | c 13 > 5.498790 | c 14 > 7.643860 | c 11 > 11.258600 | c 12 > 3.280590 | c 21 > 2.215160 | c 20 > 79.953000 | c 22 > 11.045400 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 6.087460 | c 10 > 14.763600 | c 1 > 11.216700 | c 0 > -1.000000 | c 30 > 99.665000 | c 7 > 11.652400 | c 6 > 14.439300 | c 32 > 0.335008 | c 5 > 18.357000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.09 c choco : 20.27 6.95/7.09 c mistral : 1801.0 6.95/7.09 c abscon : 1801.0 6.95/7.09 c 6.95/7.09 c 6.95/7.09 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-17-17.xml 6.95/7.09 c 19 > 0.000000 | c 35 > 29.981700 | c 17 > 0.000000 | c 18 > 20.205000 | c 33 > 0.000000 | c 15 > 19.969600 | c 34 > 39.945000 | c 16 > 17.000000 | c 13 > 5.744290 | c 14 > 9.306060 | c 11 > 12.236000 | c 12 > 3.850580 | c 21 > 1.973880 | c 20 > 79.795000 | c 22 > 6.557440 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 5.000000 | c 10 > 12.226100 | c 1 > 9.087460 | c 0 > -1.000000 | c 30 > 98.550700 | c 7 > 9.581200 | c 6 > 11.764900 | c 32 > 1.449280 | c 5 > 14.973200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.95/7.09 c choco : 17.66 6.95/7.09 c mistral : 11.81 6.95/7.09 c abscon : 1801.0 6.95/7.09 c 6.95/7.09 c 6.95/7.09 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-17-17.xml 6.95/7.09 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.01/7.10 c choco : 6.14 7.01/7.10 c mistral : 1801.0 7.01/7.10 c abscon : 1801.0 7.01/7.10 c 7.01/7.10 c 7.01/7.10 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-36-36.xml 7.01/7.10 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.01/7.11 c choco : 21.51 7.01/7.11 c mistral : 1801.0 7.01/7.11 c abscon : 1801.0 7.01/7.11 c 7.01/7.11 c 7.01/7.11 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-16-16.xml 7.01/7.11 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 20.121300 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 6.625550 | c 14 > 9.539160 | c 11 > 12.010500 | c 12 > 4.633540 | c 21 > 1.948560 | c 20 > 79.767800 | c 22 > 6.245000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.999600 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.405140 | c 6 > 11.519600 | c 32 > 1.639340 | c 5 > 14.676000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.11 c choco : 21.34 7.01/7.11 c mistral : 77.84 7.01/7.11 c abscon : 1801.0 7.01/7.11 c 7.01/7.11 c 7.01/7.11 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-37-37.xml 7.01/7.11 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.01/7.12 c choco : 21.79 7.01/7.12 c mistral : 1801.0 7.01/7.12 c abscon : 1801.0 7.01/7.12 c 7.01/7.12 c 7.01/7.12 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-16-16.xml 7.01/7.12 c 19 > 0.000000 | c 35 > 29.979200 | c 17 > 0.000000 | c 18 > 20.232200 | c 33 > 0.000000 | c 15 > 14.376000 | c 34 > 39.937600 | c 16 > 16.000000 | c 13 > 2.950690 | c 14 > 4.247930 | c 11 > 11.979400 | c 12 > 1.554760 | c 21 > 1.933460 | c 20 > 79.767800 | c 22 > 6.164410 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.906890 | c 10 > 11.968300 | c 1 > 8.906890 | c 0 > -1.000000 | c 30 > 98.360700 | c 7 > 9.400880 | c 6 > 11.476700 | c 32 > 1.639340 | c 5 > 14.630700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.13 c choco : 5.97 7.01/7.13 c mistral : 0.11 7.01/7.13 c abscon : 1801.0 7.01/7.13 c 7.01/7.13 c 7.01/7.13 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-15-15.xml 7.01/7.13 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 15.501700 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 1.974310 | c 14 > 6.189820 | c 11 > 11.799700 | c 12 > 0.919702 | c 21 > 1.936780 | c 20 > 79.734800 | c 22 > 6.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.787900 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.221590 | c 6 > 11.298100 | c 32 > 1.869160 | c 5 > 14.404100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.13 c choco : 6.04 7.01/7.13 c mistral : 0.11 7.01/7.13 c abscon : 1801.0 7.01/7.13 c 7.01/7.13 c 7.01/7.13 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-15-15.xml 7.01/7.13 c 19 > 0.000000 | c 35 > 29.976200 | c 17 > 0.000000 | c 18 > 20.265200 | c 33 > 0.000000 | c 15 > 14.252400 | c 34 > 39.928700 | c 16 > 15.000000 | c 13 > 2.898240 | c 14 > 4.247930 | c 11 > 11.766100 | c 12 > 1.568720 | c 21 > 1.920650 | c 20 > 79.734800 | c 22 > 5.916080 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.807350 | c 10 > 11.754100 | c 1 > 8.714250 | c 0 > -1.000000 | c 30 > 98.130800 | c 7 > 9.216750 | c 6 > 11.251500 | c 32 > 1.869160 | c 5 > 14.355100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.14 c choco : 5.68 7.01/7.14 c mistral : 0.09 7.01/7.14 c abscon : 1801.0 7.01/7.14 c 7.01/7.14 c 7.01/7.14 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-14-14.xml 7.01/7.14 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.186800 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 2.863940 | c 14 > 4.392320 | c 11 > 11.535800 | c 12 > 1.610970 | c 21 > 1.905950 | c 20 > 79.694300 | c 22 > 5.656850 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.522600 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.019590 | c 6 > 11.007000 | c 32 > 2.150540 | c 5 > 14.058700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.14 c choco : 20.83 7.01/7.14 c mistral : 0.08 7.01/7.14 c abscon : 1801.0 7.01/7.14 c 7.01/7.14 c 7.01/7.14 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-14-14.xml 7.01/7.14 c 19 > 0.000000 | c 35 > 29.972600 | c 17 > 0.000000 | c 18 > 20.305700 | c 33 > 0.000000 | c 15 > 14.208500 | c 34 > 39.917800 | c 16 > 14.000000 | c 13 > 1.732440 | c 14 > 5.044390 | c 11 > 11.572200 | c 12 > 0.752235 | c 21 > 1.923270 | c 20 > 79.694300 | c 22 > 5.744560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.700440 | c 10 > 11.559400 | c 1 > 8.507790 | c 0 > -1.000000 | c 30 > 97.849500 | c 7 > 9.025140 | c 6 > 11.058000 | c 32 > 2.150540 | c 5 > 14.112100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.15 c choco : 5.56 7.01/7.15 c mistral : 0.08 7.01/7.15 c abscon : 1801.0 7.01/7.15 c 7.01/7.15 c 7.01/7.15 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-13-13.xml 7.01/7.15 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.979200 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 2.786860 | c 14 > 4.247930 | c 11 > 11.285400 | c 12 > 1.605810 | c 21 > 1.888930 | c 20 > 79.643800 | c 22 > 5.385160 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.270900 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.807350 | c 6 > 10.739800 | c 32 > 2.500000 | c 5 > 13.737900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.15 c choco : 9.2 7.01/7.15 c mistral : 0.07 7.01/7.15 c abscon : 1801.0 7.01/7.15 c 7.01/7.15 c 7.01/7.15 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-13-13.xml 7.01/7.15 c 19 > 0.000000 | c 35 > 29.968100 | c 17 > 0.000000 | c 18 > 20.356200 | c 33 > 0.000000 | c 15 > 13.910000 | c 34 > 39.904200 | c 16 > 13.000000 | c 13 > 1.714400 | c 14 > 4.906890 | c 11 > 11.325300 | c 12 > 0.755179 | c 21 > 1.907630 | c 20 > 79.643800 | c 22 > 5.477230 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.584960 | c 10 > 11.311200 | c 1 > 8.285400 | c 0 > -1.000000 | c 30 > 97.500000 | c 7 > 8.813780 | c 6 > 10.796000 | c 32 > 2.500000 | c 5 > 13.796600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.16 c choco : 5.63 7.01/7.16 c mistral : 0.13 7.01/7.16 c abscon : 19.35 7.01/7.16 c 7.01/7.16 c 7.01/7.16 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-12-12.xml 7.01/7.16 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.837800 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 2.729300 | c 14 > 4.247930 | c 11 > 11.011200 | c 12 > 1.631050 | c 21 > 1.868970 | c 20 > 79.579600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 10.995100 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.577430 | c 6 > 10.445000 | c 32 > 2.941180 | c 5 > 13.388000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.16 c choco : 11.72 7.01/7.16 c mistral : 0.06 7.01/7.16 c abscon : 1801.0 7.01/7.16 c 7.01/7.16 c 7.01/7.16 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-12-12.xml 7.01/7.16 c 19 > 0.000000 | c 35 > 29.962300 | c 17 > 0.000000 | c 18 > 20.420400 | c 33 > 0.000000 | c 15 > 13.585100 | c 34 > 39.886800 | c 16 > 12.000000 | c 13 > 1.786450 | c 14 > 4.754890 | c 11 > 11.055300 | c 12 > 0.758899 | c 21 > 1.889300 | c 20 > 79.579600 | c 22 > 5.196150 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.459430 | c 10 > 11.039600 | c 1 > 8.044390 | c 0 > -1.000000 | c 30 > 97.058800 | c 7 > 8.584960 | c 6 > 10.507800 | c 32 > 2.941180 | c 5 > 13.453300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.17 c choco : 5.24 7.01/7.17 c mistral : 0.1 7.01/7.17 c abscon : 1801.0 7.01/7.17 c 7.01/7.17 c 7.01/7.17 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-11-11.xml 7.01/7.17 c 19 > 0.000000 | c 35 > 29.954800 | c 17 > 0.000000 | c 18 > 20.503600 | c 33 > 0.000000 | c 15 > 13.339400 | c 34 > 39.864300 | c 16 > 11.000000 | c 13 > 1.705230 | c 14 > 4.700440 | c 11 > 10.757400 | c 12 > 0.796719 | c 21 > 1.867510 | c 20 > 79.496400 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.321930 | c 10 > 10.739800 | c 1 > 7.781360 | c 0 > -1.000000 | c 30 > 96.491200 | c 7 > 8.335390 | c 6 > 10.187400 | c 32 > 3.508770 | c 5 > 13.076100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.17 c choco : 4.39 7.01/7.17 c mistral : 0.08 7.01/7.17 c abscon : 1801.0 7.01/7.17 c 7.01/7.17 c 7.01/7.17 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-11-11.xml 7.01/7.17 c 19 > 0.000000 | c 35 > 29.954800 | c 17 > 0.000000 | c 18 > 20.503600 | c 33 > 0.000000 | c 15 > 13.517800 | c 34 > 39.864300 | c 16 > 11.000000 | c 13 > 2.617180 | c 14 > 3.459430 | c 11 > 10.708200 | c 12 > 1.531380 | c 21 > 1.845250 | c 20 > 79.496400 | c 22 > 4.795830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.321930 | c 10 > 10.690000 | c 1 > 7.781360 | c 0 > -1.000000 | c 30 > 96.491200 | c 7 > 8.326430 | c 6 > 10.116300 | c 32 > 3.508770 | c 5 > 13.002800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.18 c choco : 13.01 7.01/7.18 c mistral : 0.04 7.01/7.18 c abscon : 1801.0 7.01/7.18 c 7.01/7.18 c 7.01/7.18 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-10-10.xml 7.01/7.18 c 19 > 0.000000 | c 35 > 29.944800 | c 17 > 0.000000 | c 18 > 20.614000 | c 33 > 0.000000 | c 15 > 13.476400 | c 34 > 39.834300 | c 16 > 10.000000 | c 13 > 2.393710 | c 14 > 3.700440 | c 11 > 10.369600 | c 12 > 1.451780 | c 21 > 1.816590 | c 20 > 79.386000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.169930 | c 10 > 10.348700 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > 95.744700 | c 7 > 8.049850 | c 6 > 9.744830 | c 32 > 4.255320 | c 5 > 12.573600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.18 c choco : 7.82 7.01/7.18 c mistral : 0.04 7.01/7.18 c abscon : 1801.0 7.01/7.18 c 7.01/7.18 c 7.01/7.18 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-10-10.xml 7.01/7.18 c 19 > 0.000000 | c 35 > 29.944800 | c 17 > 0.000000 | c 18 > 20.614000 | c 33 > 0.000000 | c 15 > 13.027000 | c 34 > 39.834300 | c 16 > 10.000000 | c 13 > 1.596380 | c 14 > 4.643860 | c 11 > 10.425200 | c 12 > 0.775070 | c 21 > 1.841200 | c 20 > 79.386000 | c 22 > 4.582580 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.169930 | c 10 > 10.405100 | c 1 > 7.491850 | c 0 > -1.000000 | c 30 > 95.744700 | c 7 > 8.060700 | c 6 > 9.826550 | c 32 > 4.255320 | c 5 > 12.657300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.01/7.19 c choco : 4.04 7.01/7.19 c mistral : 0.08 7.01/7.19 c abscon : 1801.0 7.01/7.19 c 7.01/7.19 c 7.01/7.19 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-9-9.xml 7.01/7.19 c 19 > 0.000000 | c 35 > 29.931000 | c 17 > 0.000000 | c 18 > 20.765000 | c 33 > 0.000000 | c 15 > 13.356500 | c 34 > 39.793100 | c 16 > 9.000000 | c 13 > 2.358590 | c 14 > 3.584960 | c 11 > 9.985840 | c 12 > 1.451390 | c 21 > 1.781250 | c 20 > 79.235000 | c 22 > 4.123110 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.000000 | c 10 > 9.961450 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > 7.741470 | c 6 > 9.317410 | c 32 > 5.263160 | c 5 > 12.088100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.07/7.20 c choco : 3.32 7.07/7.20 c mistral : 0.03 7.07/7.20 c abscon : 1801.0 7.07/7.20 c 7.07/7.20 c 7.07/7.20 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-9-9.xml 7.07/7.20 c 19 > 0.000000 | c 35 > 29.931000 | c 17 > 0.000000 | c 18 > 20.765000 | c 33 > 0.000000 | c 15 > 12.354000 | c 34 > 39.793100 | c 16 > 9.000000 | c 13 > 1.556650 | c 14 > 4.169930 | c 11 > 10.049800 | c 12 > 0.733968 | c 21 > 1.808760 | c 20 > 79.235000 | c 22 > 4.242640 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 4.000000 | c 10 > 10.026500 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > 94.736800 | c 7 > 7.754890 | c 6 > 9.413630 | c 32 > 5.263160 | c 5 > 12.185500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.07/7.20 c choco : 3.17 7.07/7.20 c mistral : 0.03 7.07/7.20 c abscon : 1801.0 7.07/7.20 c 7.07/7.20 c 7.07/7.20 c /home/ehebrard/new_instances/competition_4c/data/allsquares/allsquares-8-8.xml 7.07/7.20 c 19 > 0.000000 | c 35 > 29.911500 | c 17 > 0.000000 | c 18 > 20.979000 | c 33 > 0.000000 | c 15 > 11.760300 | c 34 > 39.734500 | c 16 > 8.000000 | c 13 > 1.491120 | c 14 > 3.321930 | c 11 > 9.618390 | c 12 > 0.686536 | c 21 > 1.767770 | c 20 > 79.021000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 3.807350 | c 10 > 9.590590 | c 1 > 6.807350 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > 7.409390 | c 6 > 8.930740 | c 32 > 6.666670 | c 5 > 11.643900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.07/7.21 c choco : 3.01 7.07/7.21 c mistral : 0.02 7.07/7.21 c abscon : 1801.0 7.07/7.21 c 7.07/7.21 c 7.07/7.21 c /home/ehebrard/new_instances/competition_4c/data/allsquaresUnsat/allsquaresUnsat-8-8.xml 7.07/7.21 c 19 > 0.000000 | c 35 > 29.911500 | c 17 > 0.000000 | c 18 > 20.979000 | c 33 > 0.000000 | c 15 > 9.558420 | c 34 > 39.734500 | c 16 > 8.000000 | c 13 > 2.114310 | c 14 > -1.000000 | c 11 > 9.543030 | c 12 > 1.384010 | c 21 > 1.736560 | c 20 > 79.021000 | c 22 > 3.741660 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 0.000000 | c 3 > 1.000000 | c 2 > 3.807350 | c 10 > 9.513730 | c 1 > 6.807350 | c 0 > -1.000000 | c 30 > 93.333300 | c 7 > 7.392320 | c 6 > 8.813780 | c 32 > 6.666670 | c 5 > 11.527500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.07/7.22 c choco : 2.95 7.07/7.22 c mistral : 0.03 7.07/7.22 c abscon : 2.31 7.07/7.22 c 7.07/7.22 c 7.07/7.22 c Length: 40 7.07/7.22 c 1.5665492832656118 2.2589288450283247 3.8890797786397995 4.411026739803444 4.500791102896134 4.9385061875657295 5.1370174363290815 5.728035615671748 5.942207298279403 6.509150656562268 6.5521423459678445 7.475355125176398 7.503704892631441 8.382375580162286 8.396403310233556 9.302475676195076 9.416142567516754 10.006572702967235 10.326610317552465 10.582346224135792 10.992359358150779 11.551099201749635 12.056395127396083 14.804150464226613 14.87427116128266 15.759693120534454 16.694183062002793 16.76944540096917 17.857459785737753 17.94423529602368 19.0126223098099 19.181354599351476 20.471871062031482 20.574547931599884 21.86265728420041 21.92450976177121 23.447610308257875 23.78466770557884 25.9981058643186 28.190898610920527 7.07/7.22 c 7.07/7.22 c 1.0 0.9746536430271145 0.919765774080892 0.9034750355903673 0.9007313371259917 0.8875875956784313 0.8817522856250588 0.8648246427884074 0.85884977488405 0.8434248077959693 0.8422776922167651 0.8183758749769716 0.8176633536794674 0.796178513730875 0.7958446669744368 0.7748584308275773 0.7723035809214297 0.759299175818341 0.7524316232860313 0.747032549391294 0.7385362441914466 0.7272644049919892 0.7173629713488988 0.6679138624162464 0.6667410060080525 0.6522779147675432 0.6376786764789338 0.6365312619602445 0.620393525124699 0.6191416084585548 0.6041319303380365 0.6018277144321945 0.5847691995275635 0.5834534164593964 0.5674358444804007 0.5666888119699007 0.5488944250566864 0.5451065548929452 0.5214744279586657 0.5 7.07/7.23 c 7.07/7.23 c solver 0 7.07/7.23 c before 0.0 seconds: {} 0 7.07/7.23 c before 18.0 seconds: {39} 500 7.07/7.23 c before 36.0 seconds: {29, 39} 1119 7.07/7.23 c 7.07/7.23 c solver 1 7.07/7.23 c before 0.0 seconds: {} 0 7.07/7.23 c before 18.0 seconds: {15, 18, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 11651 7.07/7.23 c before 90.0 seconds: {15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 12379 7.07/7.23 c before 108.0 seconds: {13, 15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13175 7.07/7.23 c before 396.0 seconds: {12, 13, 15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 13992 7.07/7.23 c before 702.0 seconds: {10, 12, 13, 15, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 14835 7.07/7.23 c before 918.0 seconds: {10, 12, 13, 15, 16, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15607 7.07/7.23 c 7.07/7.23 c solver 2 7.07/7.23 c before 0.0 seconds: {} 0 7.07/7.23 c before 18.0 seconds: {1, 3, 6, 7, 9, 11, 14, 18, 19, 23, 24, 25, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 17068 7.07/7.23 c before 36.0 seconds: {1, 2, 3, 5, 6, 7, 8, 9, 11, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24089 7.07/7.23 c before 54.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 11, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25089 7.07/7.23 c before 72.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 25885 7.07/7.24 c before 720.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26786 7.07/7.24 c 7.07/7.24 cTotal time: 93 7.07/7.24 c 1674.0 seconds unused 7.07/7.24 c 0 c 0 c 0 7.07/7.24 c 22 c 0 c 3 7.07/7.24 c 35 c 16 c 0 7.07/7.24 c is solver0 dominated by: 7.07/7.24 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false) 7.07/7.24 c is dominated? true 7.07/7.24 c 7.07/7.24 c is solver1 dominated by: 7.07/7.24 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true) 7.07/7.24 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.07/7.24 c is dominated? false 7.07/7.24 c 7.07/7.24 c is solver2 dominated by: 7.07/7.24 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: false) (2 < 0: true) 7.07/7.24 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.07/7.24 c is dominated? false 7.07/7.24 c 7.07/7.24 c Number of non-dominated solvers: 2 7.07/7.24 c remove dominated solvers 7.07/7.24 c solver 1 is not dominated by another solver 7.07/7.24 c solver 2 is not dominated by another solver 7.07/7.24 c solver 0 is dominated by another solver 7.07/7.24 c 7.07/7.24 c solver 0: 0.0 7.07/7.24 c 7.07/7.24 c solver 1: 918.0 7.07/7.24 c 7.07/7.24 c+ 51/91 of 9 7.07/7.24 c 7.07/7.24 c solver 2: 720.0 7.07/7.24 c 7.07/7.24 c+ 40/91 of 9 7.07/7.24 c do not run abscon 7.07/7.24 c run mistral for 1008.0 seconds {10, 12, 13, 15, 16, 18, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 15607 7.07/7.24 c run choco for 774.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26786 7.07/7.24 c Starting solver: HOME/cpHydra_k_40/solver/mistral 7.07/7.24 c On Instance: HOME/instance-1046363-1215026336.xml 7.07/7.24 c Running for: 1008 seconds 1014.86/1016.17 c Starting solver: HOME/cpHydra_k_40/solver/choco 1014.86/1016.17 c On Instance: HOME/instance-1046363-1215026336.xml 1014.86/1016.17 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-1046363-1215026336/watcher-1046363-1215026336 -o /tmp/evaluation-result-1046363-1215026336/solver-1046363-1215026336 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046363-1215026336.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.95 4/80 31661 /proc/meminfo: memFree=762224/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=0 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1981605970 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31661/statm: 1340 236 195 169 0 51 0 [pid=31664] ppid=31661 vsize=6372 CPUtime=0.05 /proc/31664/stat : 31664 (xsolve) R 31661 31661 30443 0 -1 4194304 900 0 0 0 5 0 0 0 18 0 1 0 1981605970 6524928 859 996147200 134512640 135239763 4294956176 18446744073709551615 9180795 0 0 4096 0 0 0 0 17 0 0 0 /proc/31664/statm: 1593 859 375 177 0 496 0 [startup+0.130136 s] /proc/loadavg: 2.00 1.99 1.95 4/80 31661 /proc/meminfo: memFree=762224/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=0 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1981605970 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31661/statm: 1340 236 195 169 0 51 0 [pid=31664] ppid=31661 vsize=14220 CPUtime=0.12 /proc/31664/stat : 31664 (xsolve) R 31661 31661 30443 0 -1 4194304 2869 0 0 0 11 1 0 0 18 0 1 0 1981605970 14561280 2828 996147200 134512640 135239763 4294956176 18446744073709551615 9180795 0 0 4096 0 0 0 0 17 0 0 0 /proc/31664/statm: 3555 2831 406 177 0 2458 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 19580 [startup+0.201144 s] /proc/loadavg: 2.00 1.99 1.95 4/80 31661 /proc/meminfo: memFree=762224/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=0 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1981605970 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31661/statm: 1340 236 195 169 0 51 0 [pid=31664] ppid=31661 vsize=14924 CPUtime=0.19 /proc/31664/stat : 31664 (xsolve) R 31661 31661 30443 0 -1 4194304 3053 0 0 0 18 1 0 0 18 0 1 0 1981605970 15282176 3012 996147200 134512640 135239763 4294956176 18446744073709551615 134796833 0 0 4096 0 0 0 0 17 0 0 0 /proc/31664/statm: 3731 3012 437 177 0 2634 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 20284 [startup+0.301156 s] /proc/loadavg: 2.00 1.99 1.95 4/80 31661 /proc/meminfo: memFree=762224/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=0 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1981605970 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31661/statm: 1340 236 195 169 0 51 0 [pid=31664] ppid=31661 vsize=14924 CPUtime=0.29 /proc/31664/stat : 31664 (xsolve) R 31661 31661 30443 0 -1 4194304 3053 0 0 0 28 1 0 0 19 0 1 0 1981605970 15282176 3012 996147200 134512640 135239763 4294956176 18446744073709551615 134821509 0 0 4096 0 0 0 0 17 0 0 0 /proc/31664/statm: 3731 3012 437 177 0 2634 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20284 [startup+0.701204 s] /proc/loadavg: 2.00 1.99 1.95 4/80 31661 /proc/meminfo: memFree=762224/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=0 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1981605970 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31661/statm: 1340 236 195 169 0 51 0 [pid=31664] ppid=31661 vsize=14928 CPUtime=0.69 /proc/31664/stat : 31664 (xsolve) R 31661 31661 30443 0 -1 4194304 3054 0 0 0 68 1 0 0 23 0 1 0 1981605970 15286272 3013 996147200 134512640 135239763 4294956176 18446744073709551615 134796833 0 0 4096 0 0 0 0 17 0 0 0 /proc/31664/statm: 3732 3013 437 177 0 2635 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20288 [startup+1.5013 s] /proc/loadavg: 2.00 1.99 1.95 3/82 31665 /proc/meminfo: memFree=751648/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=0 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 330 247 0 0 0 0 0 0 17 0 1 0 1981605970 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/31661/statm: 1340 236 195 169 0 51 0 [pid=31664] ppid=31661 vsize=14928 CPUtime=1.49 /proc/31664/stat : 31664 (xsolve) R 31661 31661 30443 0 -1 4194304 3055 0 0 0 148 1 0 0 25 0 1 0 1981605970 15286272 3014 996147200 134512640 135239763 4294956176 18446744073709551615 135097562 0 0 4096 0 0 0 0 17 0 0 0 /proc/31664/statm: 3732 3014 437 177 0 2635 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20288 [startup+3.10249 s] /proc/loadavg: 2.00 1.99 1.95 4/90 31677 /proc/meminfo: memFree=754016/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=1.61 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 375 3652 0 0 0 0 160 1 19 0 1 0 1981605970 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31661/statm: 1340 238 196 169 0 51 0 [pid=31669] ppid=31661 vsize=196996 CPUtime=1.46 /proc/31669/stat : 31669 (java) S 31661 31661 30443 0 -1 0 6448 0 1 0 141 5 0 0 22 0 9 0 1981606133 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31669/statm: 49249 5425 2541 9 0 43831 0 [pid=31669/tid=31670] ppid=31661 vsize=196996 CPUtime=1.11 /proc/31669/task/31670/stat : 31670 (java) R 31661 31661 30443 0 -1 64 2785 0 1 0 109 2 0 0 25 0 9 0 1981606133 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 103567722 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31671] ppid=31661 vsize=196996 CPUtime=0.19 /proc/31669/task/31671/stat : 31671 (java) S 31661 31661 30443 0 -1 64 2324 0 0 0 18 1 0 0 16 0 9 0 1981606135 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31672] ppid=31661 vsize=196996 CPUtime=0 /proc/31669/task/31672/stat : 31672 (java) S 31661 31661 30443 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981606135 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31673] ppid=31661 vsize=196996 CPUtime=0 /proc/31669/task/31673/stat : 31673 (java) S 31661 31661 30443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981606135 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31674] ppid=31661 vsize=196996 CPUtime=0 /proc/31669/task/31674/stat : 31674 (java) S 31661 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981606137 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31675] ppid=31661 vsize=196996 CPUtime=0.13 /proc/31669/task/31675/stat : 31675 (java) S 31661 31661 30443 0 -1 64 614 0 0 0 13 0 0 0 16 0 9 0 1981606137 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31676] ppid=31661 vsize=196996 CPUtime=0 /proc/31669/task/31676/stat : 31676 (java) S 31661 31661 30443 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981606137 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31677] ppid=31661 vsize=196996 CPUtime=0 /proc/31669/task/31677/stat : 31677 (java) S 31661 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981606137 201723904 5425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 202356 [startup+6.30186 s] /proc/loadavg: 2.00 1.99 1.95 3/90 31677 /proc/meminfo: memFree=739936/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=1.61 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 375 3652 0 0 0 0 160 1 19 0 1 0 1981605970 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31661/statm: 1340 238 196 169 0 51 0 [pid=31669] ppid=31661 vsize=197104 CPUtime=4.66 /proc/31669/stat : 31669 (java) S 31661 31661 30443 0 -1 0 10490 0 1 0 453 13 0 0 22 0 9 0 1981606133 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31669/statm: 49276 8712 2541 9 0 43858 0 [pid=31669/tid=31670] ppid=31661 vsize=197104 CPUtime=3.74 /proc/31669/task/31670/stat : 31670 (java) R 31661 31661 30443 0 -1 64 3636 0 1 0 370 4 0 0 25 0 9 0 1981606133 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4126444444 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31671] ppid=31661 vsize=197104 CPUtime=0.74 /proc/31669/task/31671/stat : 31671 (java) S 31661 31661 30443 0 -1 64 5499 0 0 0 67 7 0 0 16 0 9 0 1981606135 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31672] ppid=31661 vsize=197104 CPUtime=0 /proc/31669/task/31672/stat : 31672 (java) S 31661 31661 30443 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981606135 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31673] ppid=31661 vsize=197104 CPUtime=0 /proc/31669/task/31673/stat : 31673 (java) S 31661 31661 30443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981606135 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31674] ppid=31661 vsize=197104 CPUtime=0 /proc/31669/task/31674/stat : 31674 (java) S 31661 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981606137 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31675] ppid=31661 vsize=197104 CPUtime=0.16 /proc/31669/task/31675/stat : 31675 (java) S 31661 31661 30443 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 1981606137 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31676] ppid=31661 vsize=197104 CPUtime=0 /proc/31669/task/31676/stat : 31676 (java) S 31661 31661 30443 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981606137 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31677] ppid=31661 vsize=197104 CPUtime=0 /proc/31669/task/31677/stat : 31677 (java) S 31661 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981606137 201834496 8712 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 202464 [startup+12.7026 s] /proc/loadavg: 2.00 1.99 1.95 3/93 31680 /proc/meminfo: memFree=723208/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=1.61 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 375 3652 0 0 0 0 160 1 19 0 1 0 1981605970 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31661/statm: 1340 238 196 169 0 51 0 [pid=31669] ppid=31661 vsize=197428 CPUtime=5.49 /proc/31669/stat : 31669 (java) S 31661 31661 30443 0 -1 0 11473 0 1 0 533 16 0 0 22 0 10 0 1981606133 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31669/statm: 49357 9425 2544 9 0 43939 0 [pid=31679] ppid=31669 vsize=5356 CPUtime=0 /proc/31679/stat : 31679 (mistral) S 31669 31661 30443 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1981606695 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/31679/statm: 1339 238 198 169 0 50 0 [pid=31680] ppid=31679 vsize=14928 CPUtime=5.43 /proc/31680/stat : 31680 (xsolve) R 31679 31661 30443 0 -1 4194304 3035 0 0 0 542 1 0 0 25 0 1 0 1981606695 15286272 2999 996147200 134512640 135239763 4294955968 18446744073709551615 135035087 0 4 0 0 0 0 0 17 0 0 0 /proc/31680/statm: 3732 2999 419 177 0 2635 0 [pid=31669/tid=31670] ppid=31661 vsize=197428 CPUtime=4.42 /proc/31669/task/31670/stat : 31670 (java) S 31661 31661 30443 0 -1 64 3859 0 1 0 436 6 0 0 24 0 10 0 1981606133 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=31669/tid=31671] ppid=31661 vsize=197428 CPUtime=0.83 /proc/31669/task/31671/stat : 31671 (java) S 31661 31661 30443 0 -1 64 6121 0 0 0 75 8 0 0 16 0 10 0 1981606135 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31672] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31672/stat : 31672 (java) S 31661 31661 30443 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981606135 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31673] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31673/stat : 31673 (java) S 31661 31661 30443 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981606135 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31674] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31674/stat : 31674 (java) S 31661 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1981606137 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31675] ppid=31661 vsize=197428 CPUtime=0.21 /proc/31669/task/31675/stat : 31675 (java) S 31661 31661 30443 0 -1 64 669 0 0 0 21 0 0 0 16 0 10 0 1981606137 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31676] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31676/stat : 31676 (java) S 31661 31661 30443 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1981606137 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31677] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31677/stat : 31677 (java) S 31661 31661 30443 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1981606137 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31678] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31678/stat : 31678 (java) S 31661 31661 30443 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1981606695 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 223072 [startup+25.5021 s] /proc/loadavg: 2.00 1.99 1.95 3/93 31680 /proc/meminfo: memFree=723144/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=1.61 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 375 3652 0 0 0 0 160 1 19 0 1 0 1981605970 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31661/statm: 1340 238 196 169 0 51 0 [pid=31669] ppid=31661 vsize=197428 CPUtime=5.49 /proc/31669/stat : 31669 (java) S 31661 31661 30443 0 -1 0 11473 0 1 0 533 16 0 0 22 0 10 0 1981606133 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31669/statm: 49357 9425 2544 9 0 43939 0 [pid=31679] ppid=31669 vsize=5356 CPUtime=0 /proc/31679/stat : 31679 (mistral) S 31669 31661 30443 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1981606695 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/31679/statm: 1339 238 198 169 0 50 0 [pid=31680] ppid=31679 vsize=14932 CPUtime=18.23 /proc/31680/stat : 31680 (xsolve) R 31679 31661 30443 0 -1 4194304 3036 0 0 0 1821 2 0 0 25 0 1 0 1981606695 15290368 3000 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 0 0 0 /proc/31680/statm: 3733 3000 419 177 0 2636 0 [pid=31669/tid=31670] ppid=31661 vsize=197428 CPUtime=4.42 /proc/31669/task/31670/stat : 31670 (java) S 31661 31661 30443 0 -1 64 3859 0 1 0 436 6 0 0 24 0 10 0 1981606133 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=31669/tid=31671] ppid=31661 vsize=197428 CPUtime=0.83 /proc/31669/task/31671/stat : 31671 (java) S 31661 31661 30443 0 -1 64 6121 0 0 0 75 8 0 0 16 0 10 0 1981606135 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31672] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31672/stat : 31672 (java) S 31661 31661 30443 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981606135 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31673] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31673/stat : 31673 (java) S 31661 31661 30443 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981606135 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31674] ppid=31661 vsize=197428 CPUtime=0 /proc/31669/task/31674/stat : 31674 (java) S 31661 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1981606137 202166272 9425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/31669/statm: 49438 9432 2545 9 0 44020 0 [pid=31889] ppid=31669 vsize=5356 CPUtime=0 /proc/31889/stat : 31889 (choco) S 31669 31661 30443 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1981707588 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/31889/statm: 1339 238 197 169 0 50 0 [pid=31890] ppid=31889 vsize=655740 CPUtime=703.23 /proc/31890/stat : 31890 (java) S 31889 31661 30443 0 -1 0 17874 0 7 0 69930 393 0 0 19 0 9 0 1981707589 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31890/statm: 163935 16838 1940 9 0 158464 0 [pid=31890/tid=31891] ppid=31889 vsize=655740 CPUtime=702.36 /proc/31890/task/31891/stat : 31891 (java) R 31889 31661 30443 0 -1 64 12819 0 7 0 69850 386 0 0 25 0 9 0 1981707589 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31892] ppid=31889 vsize=655740 CPUtime=0.4 /proc/31890/task/31892/stat : 31892 (java) S 31889 31661 30443 0 -1 64 3752 0 0 0 35 5 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31893] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31893/stat : 31893 (java) S 31889 31661 30443 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31894] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31894/stat : 31894 (java) S 31889 31661 30443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31895] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31895/stat : 31895 (java) S 31889 31661 30443 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31896] ppid=31889 vsize=655740 CPUtime=0.46 /proc/31890/task/31896/stat : 31896 (java) S 31889 31661 30443 0 -1 64 757 0 0 0 45 1 0 0 16 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31897] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31897/stat : 31897 (java) S 31889 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31898] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31898/stat : 31898 (java) S 31889 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31670] ppid=31661 vsize=197752 CPUtime=1012.27 /proc/31669/task/31670/stat : 31670 (java) S 31661 31661 30443 0 -1 64 3934 3359 1 0 436 6 100780 5 16 0 10 0 1981606133 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31669/tid=31671] ppid=31661 vsize=197752 CPUtime=1008.68 /proc/31669/task/31671/stat : 31671 (java) S 31661 31661 30443 0 -1 64 6136 3359 0 0 75 8 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31669/tid=31672] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31672/stat : 31672 (java) S 31661 31661 30443 0 -1 64 11 3359 0 0 0 0 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31673] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31673/stat : 31673 (java) S 31661 31661 30443 0 -1 64 5 3359 0 0 0 0 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31674] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31674/stat : 31674 (java) S 31661 31661 30443 0 -1 64 1 3359 0 0 0 0 100780 5 25 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31675] ppid=31661 vsize=197752 CPUtime=1008.06 /proc/31669/task/31675/stat : 31675 (java) S 31661 31661 30443 0 -1 64 703 3359 0 0 21 0 100780 5 16 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31669/tid=31676] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31676/stat : 31676 (java) S 31661 31661 30443 0 -1 64 0 3359 0 0 0 0 100780 5 25 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31677] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31677/stat : 31677 (java) S 31661 31661 30443 0 -1 64 33 3359 0 0 0 0 100780 5 15 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31888] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31888/stat : 31888 (java) S 31661 31661 30443 0 -1 64 41 3359 0 0 0 0 100780 5 16 0 10 0 1981707587 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1718.19 Current children cumulated vsize (KiB) 864208 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/93 31900 /proc/meminfo: memFree=718760/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=1.61 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 375 3652 0 0 0 0 160 1 19 0 1 0 1981605970 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31661/statm: 1340 238 196 169 0 51 0 [pid=31669] ppid=31661 vsize=197752 CPUtime=1013.35 /proc/31669/stat : 31669 (java) S 31661 31661 30443 0 -1 0 11670 3359 1 0 533 17 100780 5 22 0 10 0 1981606133 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31669/statm: 49438 9432 2545 9 0 44020 0 [pid=31889] ppid=31669 vsize=5356 CPUtime=0 /proc/31889/stat : 31889 (choco) S 31669 31661 30443 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1981707588 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/31889/statm: 1339 238 197 169 0 50 0 [pid=31890] ppid=31889 vsize=655740 CPUtime=762.99 /proc/31890/stat : 31890 (java) S 31889 31661 30443 0 -1 0 17926 0 7 0 75871 428 0 0 19 0 9 0 1981707589 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31890/statm: 163935 16838 1940 9 0 158464 0 [pid=31890/tid=31891] ppid=31889 vsize=655740 CPUtime=762.08 /proc/31890/task/31891/stat : 31891 (java) R 31889 31661 30443 0 -1 64 12871 0 7 0 75787 421 0 0 25 0 9 0 1981707589 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31892] ppid=31889 vsize=655740 CPUtime=0.43 /proc/31890/task/31892/stat : 31892 (java) S 31889 31661 30443 0 -1 64 3752 0 0 0 38 5 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31893] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31893/stat : 31893 (java) S 31889 31661 30443 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31894] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31894/stat : 31894 (java) S 31889 31661 30443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31895] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31895/stat : 31895 (java) S 31889 31661 30443 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31896] ppid=31889 vsize=655740 CPUtime=0.46 /proc/31890/task/31896/stat : 31896 (java) S 31889 31661 30443 0 -1 64 757 0 0 0 45 1 0 0 16 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31897] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31897/stat : 31897 (java) S 31889 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31898] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31898/stat : 31898 (java) S 31889 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31670] ppid=31661 vsize=197752 CPUtime=1012.27 /proc/31669/task/31670/stat : 31670 (java) S 31661 31661 30443 0 -1 64 3934 3359 1 0 436 6 100780 5 16 0 10 0 1981606133 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31669/tid=31671] ppid=31661 vsize=197752 CPUtime=1008.68 /proc/31669/task/31671/stat : 31671 (java) S 31661 31661 30443 0 -1 64 6136 3359 0 0 75 8 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31669/tid=31672] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31672/stat : 31672 (java) S 31661 31661 30443 0 -1 64 11 3359 0 0 0 0 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31673] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31673/stat : 31673 (java) S 31661 31661 30443 0 -1 64 5 3359 0 0 0 0 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31674] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31674/stat : 31674 (java) S 31661 31661 30443 0 -1 64 1 3359 0 0 0 0 100780 5 25 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31675] ppid=31661 vsize=197752 CPUtime=1008.06 /proc/31669/task/31675/stat : 31675 (java) S 31661 31661 30443 0 -1 64 703 3359 0 0 21 0 100780 5 16 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31669/tid=31676] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31676/stat : 31676 (java) S 31661 31661 30443 0 -1 64 0 3359 0 0 0 0 100780 5 25 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31677] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31677/stat : 31677 (java) S 31661 31661 30443 0 -1 64 33 3359 0 0 0 0 100780 5 15 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31888] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31888/stat : 31888 (java) S 31661 31661 30443 0 -1 64 41 3359 0 0 0 0 100780 5 16 0 10 0 1981707587 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1777.95 Current children cumulated vsize (KiB) 864208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1804.5 s] /proc/loadavg: 2.00 2.00 2.00 3/93 31900 /proc/meminfo: memFree=718760/2055920 swapFree=4179900/4192956 [pid=31661] ppid=31659 vsize=5360 CPUtime=1.61 /proc/31661/stat : 31661 (hydra) S 31659 31661 30443 0 -1 4194304 375 3652 0 0 0 0 160 1 19 0 1 0 1981605970 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31661/statm: 1340 238 196 169 0 51 0 [pid=31669] ppid=31661 vsize=197752 CPUtime=1013.35 /proc/31669/stat : 31669 (java) S 31661 31661 30443 0 -1 0 11670 3359 1 0 533 17 100780 5 22 0 10 0 1981606133 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31669/statm: 49438 9432 2545 9 0 44020 0 [pid=31889] ppid=31669 vsize=5356 CPUtime=0 /proc/31889/stat : 31889 (choco) S 31669 31661 30443 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1981707588 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 269930259268 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/31889/statm: 1339 238 197 169 0 50 0 [pid=31890] ppid=31889 vsize=655740 CPUtime=785.11 /proc/31890/stat : 31890 (java) S 31889 31661 30443 0 -1 0 17945 0 7 0 78071 440 0 0 19 0 9 0 1981707589 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/31890/statm: 163935 16838 1940 9 0 158464 0 [pid=31890/tid=31891] ppid=31889 vsize=655740 CPUtime=784.18 /proc/31890/task/31891/stat : 31891 (java) R 31889 31661 30443 0 -1 64 12890 0 7 0 77986 432 0 0 25 0 9 0 1981707589 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31892] ppid=31889 vsize=655740 CPUtime=0.44 /proc/31890/task/31892/stat : 31892 (java) S 31889 31661 30443 0 -1 64 3752 0 0 0 39 5 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31893] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31893/stat : 31893 (java) S 31889 31661 30443 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31894] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31894/stat : 31894 (java) S 31889 31661 30443 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981707591 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31895] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31895/stat : 31895 (java) S 31889 31661 30443 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31896] ppid=31889 vsize=655740 CPUtime=0.46 /proc/31890/task/31896/stat : 31896 (java) S 31889 31661 30443 0 -1 64 757 0 0 0 45 1 0 0 16 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31897] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31897/stat : 31897 (java) S 31889 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31890/tid=31898] ppid=31889 vsize=655740 CPUtime=0 /proc/31890/task/31898/stat : 31898 (java) S 31889 31661 30443 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981707593 671477760 16838 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31670] ppid=31661 vsize=197752 CPUtime=1012.27 /proc/31669/task/31670/stat : 31670 (java) S 31661 31661 30443 0 -1 64 3934 3359 1 0 436 6 100780 5 16 0 10 0 1981606133 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=31669/tid=31671] ppid=31661 vsize=197752 CPUtime=1008.68 /proc/31669/task/31671/stat : 31671 (java) S 31661 31661 30443 0 -1 64 6136 3359 0 0 75 8 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=31669/tid=31672] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31672/stat : 31672 (java) S 31661 31661 30443 0 -1 64 11 3359 0 0 0 0 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31673] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31673/stat : 31673 (java) S 31661 31661 30443 0 -1 64 5 3359 0 0 0 0 100780 5 16 0 10 0 1981606135 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31674] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31674/stat : 31674 (java) S 31661 31661 30443 0 -1 64 1 3359 0 0 0 0 100780 5 25 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31675] ppid=31661 vsize=197752 CPUtime=1008.06 /proc/31669/task/31675/stat : 31675 (java) S 31661 31661 30443 0 -1 64 703 3359 0 0 21 0 100780 5 16 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=31669/tid=31676] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31676/stat : 31676 (java) S 31661 31661 30443 0 -1 64 0 3359 0 0 0 0 100780 5 25 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31677] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31677/stat : 31677 (java) S 31661 31661 30443 0 -1 64 33 3359 0 0 0 0 100780 5 15 0 10 0 1981606137 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=31669/tid=31888] ppid=31661 vsize=197752 CPUtime=1007.85 /proc/31669/task/31888/stat : 31888 (java) S 31661 31661 30443 0 -1 64 41 3359 0 0 0 0 100780 5 16 0 10 0 1981707587 202498048 9432 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 864208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31661 and gives # childrusage.ru_utime.tv_sec=1 # childrusage.ru_utime.tv_usec=603756 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=21996 # CPU time returned by wait4() is 1.62575 # 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): 1804.53 CPU time (s): 1800.07 CPU user time (s): 1795.44 CPU system time (s): 4.63 CPU usage (%): 99.7526 Max. virtual memory (cumulated for all children) (KiB): 864208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.60376 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= 4027 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= 25 involuntary context switches= 18 runsolver used 3.90341 second user time and 11.1963 second system time The end
Begin job on node53 at 2008-07-02 21:18:56 IDJOB=1046363 IDBENCH=53744 IDSOLVER=366 FILE ID=node53/1046363-1215026336 PBS_JOBID= 7874535 Free space on /tmp= 65188 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-26-26.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046363-1215026336/watcher-1046363-1215026336 -o /tmp/evaluation-result-1046363-1215026336/solver-1046363-1215026336 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046363-1215026336.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= dee6717e94e3c396cc9a79e38a8821c4 RANDOM SEED=280334989 node53.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.222 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.222 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 762576 kB Buffers: 26224 kB Cached: 1112932 kB SwapCached: 7460 kB Active: 348948 kB Inactive: 859500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 762576 kB SwapTotal: 4192956 kB SwapFree: 4179900 kB Dirty: 24756 kB Writeback: 0 kB Mapped: 85076 kB Slab: 70036 kB Committed_AS: 4541904 kB PageTables: 1868 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= 65164 MiB End job on node53 at 2008-07-02 21:49:03