Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 26.221 | 26.4923 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 11794 |
CHECKS | 5959460 |
Name | csp/QG3/ normalized-quasigroup3-7.xml |
MD5SUM | fafe0dcba984bf536ec9e261fa39bfe8 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.62875 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 154 |
Number of constraints | 111 |
Maximum constraint arity | 51 |
Maximum domain size | 49 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 48 |
Global constraints used (with number of constraints) | alldifferent(14),element(49) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.00/7.10 c CASE TO CLASSIFY: 7.00/7.10 c Case: 0 7.00/7.10 c 19 > 0.000000 | c 35 > 26.250000 | c 17 > 0.000000 | c 18 > 56.756800 | c 33 > 26.250000 | c 15 > 19.613100 | c 34 > 52.500000 | c 16 > 51.000000 | c 13 > 5.980640 | c 14 > 8.308340 | c 11 > 8.055280 | c 12 > 5.087460 | c 21 > 4.385630 | c 20 > 43.243200 | c 22 > 7.000000 | c 23 > 94.557800 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 22.222200 | c 3 > 6.507790 | c 2 > 2.807350 | c 10 > 8.933690 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 7.392320 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.748600 | c 31 > 77.777800 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.00/7.11 c choco : 1801.0 7.00/7.11 c mistral : 1801.0 7.00/7.11 c abscon : 1801.0 7.00/7.11 c 7.00/7.11 c 7.00/7.19 c List of same ones: 40 7.00/7.19 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_7.xml 7.00/7.19 c 19 > 0.000000 | c 35 > 26.250000 | c 17 > 0.000000 | c 18 > 56.756800 | c 33 > 52.500000 | c 15 > 19.179800 | c 34 > 26.250000 | c 16 > 51.000000 | c 13 > 6.599970 | c 14 > 8.459430 | c 11 > 7.066090 | c 12 > 6.265530 | c 21 > 4.385630 | c 20 > 43.243200 | c 22 > 7.000000 | c 23 > 94.557800 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 22.222200 | c 3 > 6.409390 | c 2 > 2.807350 | c 10 > 8.455330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.392320 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.965100 | c 31 > 77.777800 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.20 c choco : 46.59 7.09/7.20 c mistral : 20.58 7.09/7.20 c abscon : 33.11 7.09/7.20 c 7.09/7.20 c 7.09/7.20 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_7.xml 7.09/7.20 c 19 > 0.000000 | c 35 > 26.250000 | c 17 > 0.000000 | c 18 > 56.756800 | c 33 > 52.500000 | c 15 > 19.196300 | c 34 > 26.250000 | c 16 > 51.000000 | c 13 > 6.658640 | c 14 > 8.400880 | c 11 > 7.066090 | c 12 > 6.354790 | c 21 > 4.385630 | c 20 > 43.243200 | c 22 > 7.000000 | c 23 > 94.557800 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 22.222200 | c 3 > 6.409390 | c 2 > 2.807350 | c 10 > 8.455330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.392320 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.965100 | c 31 > 77.777800 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.21 c choco : 46.53 7.09/7.21 c mistral : 13.8 7.09/7.21 c abscon : 33.73 7.09/7.21 c 7.09/7.21 c 7.09/7.21 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_8.xml 7.09/7.21 c 19 > 0.000000 | c 35 > 26.666700 | c 17 > 0.000000 | c 18 > 55.944100 | c 33 > 53.333300 | c 15 > 15.380500 | c 34 > 26.666700 | c 16 > 66.000000 | c 13 > 5.015380 | c 14 > 4.906890 | c 11 > 7.467610 | c 12 > 4.515740 | c 21 > 4.976440 | c 20 > 44.055900 | c 22 > 8.000000 | c 23 > 94.821400 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.000000 | c 3 > 6.820180 | c 2 > 3.000000 | c 10 > 9.025140 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 5.807350 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.789700 | c 31 > 80.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.22 c choco : 4.13 7.09/7.22 c mistral : 0.09 7.09/7.22 c abscon : 9.91 7.09/7.22 c 7.09/7.22 c 7.09/7.22 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_7.xml 7.09/7.22 c 19 > 21.538500 | c 35 > 18.571400 | c 17 > 0.000000 | c 18 > 56.923100 | c 33 > 30.000000 | c 15 > 18.830800 | c 34 > 22.857100 | c 16 > 51.000000 | c 13 > 8.491830 | c 14 > 7.807350 | c 11 > 7.800900 | c 12 > 7.518950 | c 21 > 3.821640 | c 20 > 21.538500 | c 22 > 6.557440 | c 23 > 96.551000 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.612600 | c 3 > 6.988680 | c 2 > 5.754890 | c 10 > 8.618390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.653300 | c 31 > 87.387400 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.23 c choco : 18.76 7.09/7.23 c mistral : 2.38 7.09/7.23 c abscon : 11.78 7.09/7.23 c 7.09/7.23 c 7.09/7.23 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_7.xml 7.09/7.23 c 19 > 21.538500 | c 35 > 18.571400 | c 17 > 0.000000 | c 18 > 56.923100 | c 33 > 30.000000 | c 15 > 18.801000 | c 34 > 22.857100 | c 16 > 51.000000 | c 13 > 9.451060 | c 14 > 8.569860 | c 11 > 7.800900 | c 12 > 8.467260 | c 21 > 3.821640 | c 20 > 21.538500 | c 22 > 6.557440 | c 23 > 96.551000 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.612600 | c 3 > 6.988680 | c 2 > 5.754890 | c 10 > 8.618390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.653300 | c 31 > 87.387400 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.24 c choco : 32.52 7.09/7.24 c mistral : 94.62 7.09/7.24 c abscon : 27.48 7.09/7.24 c 7.09/7.24 c 7.09/7.24 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_8.xml 7.09/7.24 c 19 > 21.960800 | c 35 > 18.750000 | c 17 > 0.000000 | c 18 > 56.078400 | c 33 > 30.000000 | c 15 > 18.369700 | c 34 > 23.125000 | c 16 > 66.000000 | c 13 > 8.343750 | c 14 > 7.700440 | c 11 > 8.204570 | c 12 > 7.357610 | c 21 > 4.288350 | c 20 > 21.960800 | c 22 > 7.549830 | c 23 > 96.743000 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.188800 | c 3 > 7.400880 | c 2 > 6.129280 | c 10 > 9.172430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.388300 | c 31 > 88.811200 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.25 c choco : 584.98 7.09/7.25 c mistral : 1801.0 7.09/7.25 c abscon : 755.01 7.09/7.25 c 7.09/7.25 c 7.09/7.25 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_8.xml 7.09/7.25 c 19 > 21.960800 | c 35 > 18.750000 | c 17 > 0.000000 | c 18 > 56.078400 | c 33 > 30.000000 | c 15 > 14.728700 | c 34 > 23.125000 | c 16 > 66.000000 | c 13 > 5.651610 | c 14 > 6.266790 | c 11 > 8.204570 | c 12 > 4.642680 | c 21 > 4.288350 | c 20 > 21.960800 | c 22 > 7.549830 | c 23 > 96.743000 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.188800 | c 3 > 7.400880 | c 2 > 6.129280 | c 10 > 9.172430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.388300 | c 31 > 88.811200 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.26 c choco : 5.71 7.09/7.26 c mistral : 0.19 7.09/7.26 c abscon : 12.3 7.09/7.26 c 7.09/7.26 c 7.09/7.26 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml 7.09/7.26 c 19 > 0.000000 | c 35 > 27.000000 | c 17 > 0.000000 | c 18 > 55.307300 | c 33 > 54.000000 | c 15 > 18.401000 | c 34 > 27.000000 | c 16 > 83.000000 | c 13 > 5.933720 | c 14 > 6.554590 | c 11 > 7.523560 | c 12 > 5.699080 | c 21 > 5.564910 | c 20 > 44.692700 | c 22 > 9.000000 | c 23 > 95.105800 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 18.181800 | c 3 > 7.179910 | c 2 > 3.169930 | c 10 > 9.529430 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 6.169930 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.506600 | c 31 > 81.818200 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.27 c choco : 25.56 7.09/7.27 c mistral : 0.86 7.09/7.27 c abscon : 14.29 7.09/7.27 c 7.09/7.27 c 7.09/7.27 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml 7.09/7.27 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.948800 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.038620 | c 14 > 6.303780 | c 11 > 8.558420 | c 12 > 6.049780 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.27 c choco : 16.41 7.09/7.27 c mistral : 4.2 7.09/7.27 c abscon : 20.23 7.09/7.27 c 7.09/7.27 c 7.09/7.27 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml 7.09/7.27 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.986200 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.425030 | c 14 > 6.475730 | c 11 > 8.558420 | c 12 > 6.436070 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.28 c choco : 19.11 7.09/7.28 c mistral : 25.16 7.09/7.28 c abscon : 28.99 7.09/7.28 c 7.09/7.28 c 7.09/7.28 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_6.xml 7.09/7.28 c 19 > 36.144600 | c 35 > 25.714300 | c 17 > 0.000000 | c 18 > 57.831300 | c 33 > 51.428600 | c 15 > 16.177500 | c 34 > 25.714300 | c 16 > 38.000000 | c 13 > 5.317340 | c 14 > 6.303780 | c 11 > 6.066090 | c 12 > 5.321930 | c 21 > 3.791730 | c 20 > 6.024100 | c 22 > 6.000000 | c 23 > 94.386000 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 25.000000 | c 3 > 5.930740 | c 2 > 2.584960 | c 10 > 7.592460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.468600 | c 31 > 75.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.26/7.48 c choco : 6.63 7.26/7.48 c mistral : 0.14 7.26/7.48 c abscon : 6.92 7.26/7.48 c 7.26/7.48 c 7.26/7.48 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_6.xml 7.26/7.48 c 19 > 36.144600 | c 35 > 25.714300 | c 17 > 0.000000 | c 18 > 57.831300 | c 33 > 51.428600 | c 15 > 15.897900 | c 34 > 25.714300 | c 16 > 38.000000 | c 13 > 5.760120 | c 14 > 6.149750 | c 11 > 6.066090 | c 12 > 5.752490 | c 21 > 3.791730 | c 20 > 6.024100 | c 22 > 6.000000 | c 23 > 94.386000 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 25.000000 | c 3 > 5.930740 | c 2 > 2.584960 | c 10 > 7.592460 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.468600 | c 31 > 75.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.50 c choco : 7.63 7.35/7.50 c mistral : 0.12 7.35/7.50 c abscon : 7.41 7.35/7.50 c 7.35/7.50 c 7.35/7.50 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_6.xml 7.35/7.50 c 19 > 38.461500 | c 35 > 18.333300 | c 17 > 0.000000 | c 18 > 58.042000 | c 33 > 30.000000 | c 15 > 16.638700 | c 34 > 22.500000 | c 16 > 38.000000 | c 13 > 7.951160 | c 14 > 6.845490 | c 11 > 7.330920 | c 12 > 6.994180 | c 21 > 3.350330 | c 20 > 3.496500 | c 22 > 5.567760 | c 23 > 96.404500 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.457800 | c 3 > 6.507790 | c 2 > 5.321930 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.818600 | c 31 > 85.542200 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.51 c choco : 5.15 7.35/7.51 c mistral : 0.19 7.35/7.51 c abscon : 6.66 7.35/7.51 c 7.35/7.51 c 7.35/7.51 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_6.xml 7.35/7.51 c 19 > 38.461500 | c 35 > 18.333300 | c 17 > 0.000000 | c 18 > 58.042000 | c 33 > 30.000000 | c 15 > 18.105600 | c 34 > 22.500000 | c 16 > 38.000000 | c 13 > 9.027960 | c 14 > 8.199670 | c 11 > 7.330920 | c 12 > 8.055620 | c 21 > 3.350330 | c 20 > 3.496500 | c 22 > 5.567760 | c 23 > 96.404500 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.457800 | c 3 > 6.507790 | c 2 > 5.321930 | c 10 > 7.982990 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.818600 | c 31 > 85.542200 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.51 c choco : 10.24 7.35/7.51 c mistral : 1.32 7.35/7.51 c abscon : 8.21 7.35/7.51 c 7.35/7.51 c 7.35/7.51 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_5.xml 7.35/7.51 c 19 > 33.898300 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 59.322000 | c 33 > 50.000000 | c 15 > 11.942100 | c 34 > 25.000000 | c 16 > 27.000000 | c 13 > 5.003530 | c 14 > 3.459430 | c 11 > 5.523560 | c 12 > 4.963270 | c 21 > 3.193740 | c 20 > 6.779660 | c 22 > 5.000000 | c 23 > 94.500000 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 28.571400 | c 3 > 5.357550 | c 2 > 2.321930 | c 10 > 6.794420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.422060 | c 31 > 71.428600 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.52 c choco : 1.69 7.35/7.52 c mistral : 0.02 7.35/7.52 c abscon : 3.84 7.35/7.52 c 7.35/7.52 c 7.35/7.52 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_5.xml 7.35/7.52 c 19 > 33.898300 | c 35 > 25.000000 | c 17 > 0.000000 | c 18 > 59.322000 | c 33 > 50.000000 | c 15 > 10.367400 | c 34 > 25.000000 | c 16 > 27.000000 | c 13 > 3.735390 | c 14 > 3.169930 | c 11 > 5.523560 | c 12 > 3.579730 | c 21 > 3.193740 | c 20 > 6.779660 | c 22 > 5.000000 | c 23 > 94.500000 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 28.571400 | c 3 > 5.357550 | c 2 > 2.321930 | c 10 > 6.794420 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.422060 | c 31 > 71.428600 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.52 c choco : 2.12 7.35/7.52 c mistral : 0.01 7.35/7.52 c abscon : 3.18 7.35/7.53 c 7.35/7.53 c 7.35/7.53 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_5.xml 7.35/7.53 c 19 > 36.363600 | c 35 > 18.000000 | c 17 > 0.000000 | c 18 > 59.596000 | c 33 > 30.000000 | c 15 > 12.502800 | c 34 > 22.000000 | c 16 > 27.000000 | c 13 > 5.568970 | c 14 > 3.906890 | c 11 > 6.768180 | c 12 > 4.642800 | c 21 > 2.872640 | c 20 > 4.040400 | c 22 > 4.582580 | c 23 > 96.422800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.949200 | c 3 > 5.930740 | c 2 > 4.807350 | c 10 > 7.238400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.821770 | c 31 > 83.050800 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.53 c choco : 2.72 7.35/7.53 c mistral : 0.03 7.35/7.53 c abscon : 4.52 7.35/7.53 c 7.35/7.53 c 7.35/7.53 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_5.xml 7.35/7.53 c 19 > 36.363600 | c 35 > 18.000000 | c 17 > 0.000000 | c 18 > 59.596000 | c 33 > 30.000000 | c 15 > 11.174900 | c 34 > 22.000000 | c 16 > 27.000000 | c 13 > 4.381770 | c 14 > 5.000000 | c 11 > 6.768180 | c 12 > 3.399230 | c 21 > 2.872640 | c 20 > 4.040400 | c 22 > 4.582580 | c 23 > 96.422800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.949200 | c 3 > 5.930740 | c 2 > 4.807350 | c 10 > 7.238400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.821770 | c 31 > 83.050800 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.54 c choco : 2.86 7.35/7.54 c mistral : 0.04 7.35/7.54 c abscon : 4.97 7.35/7.54 c 7.35/7.54 c 7.35/7.54 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_4.xml 7.35/7.54 c 19 > 33.333300 | c 35 > 17.500000 | c 17 > 0.000000 | c 18 > 61.904800 | c 33 > 30.000000 | c 15 > 9.353150 | c 34 > 21.250000 | c 16 > 18.000000 | c 13 > 3.615670 | c 14 > 4.321930 | c 11 > 6.066090 | c 12 > 2.651590 | c 21 > 2.385860 | c 20 > 4.761900 | c 22 > 3.605550 | c 23 > 97.008500 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.512800 | c 3 > 5.129280 | c 2 > 4.169930 | c 10 > 6.339850 | c 1 > 1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.599910 | c 31 > 79.487200 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.54 c choco : 2.2 7.35/7.54 c mistral : 0.01 7.35/7.54 c abscon : 2.88 7.35/7.54 c 7.35/7.54 c 7.35/7.54 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_4.xml 7.35/7.54 c 19 > 33.333300 | c 35 > 17.500000 | c 17 > 0.000000 | c 18 > 61.904800 | c 33 > 30.000000 | c 15 > 8.370690 | c 34 > 21.250000 | c 16 > 18.000000 | c 13 > 4.206520 | c 14 > 0.000000 | c 11 > 6.066090 | c 12 > 3.330520 | c 21 > 2.385860 | c 20 > 4.761900 | c 22 > 3.605550 | c 23 > 97.008500 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.512800 | c 3 > 5.129280 | c 2 > 4.169930 | c 10 > 6.339850 | c 1 > 1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.599910 | c 31 > 79.487200 | c 4 > 3.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.55 c choco : 2.42 7.35/7.55 c mistral : 0.02 7.35/7.55 c abscon : 2.49 7.35/7.55 c 7.35/7.55 c 7.35/7.55 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_4.xml 7.35/7.55 c 19 > 30.769200 | c 35 > 24.000000 | c 17 > 0.000000 | c 18 > 61.538500 | c 33 > 48.000000 | c 15 > 8.499850 | c 34 > 24.000000 | c 16 > 18.000000 | c 13 > 3.108430 | c 14 > 2.584960 | c 11 > 4.857980 | c 12 > 2.923380 | c 21 > 2.590660 | c 20 > 7.692310 | c 22 > 4.000000 | c 23 > 95.512800 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 33.333300 | c 3 > 4.523560 | c 2 > 2.000000 | c 10 > 5.832890 | c 1 > 1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.134430 | c 31 > 66.666700 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.56 c choco : 1.23 7.35/7.56 c mistral : 0.01 7.35/7.56 c abscon : 2.09 7.35/7.56 c 7.35/7.56 c 7.35/7.56 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_4.xml 7.35/7.56 c 19 > 30.769200 | c 35 > 24.000000 | c 17 > 0.000000 | c 18 > 61.538500 | c 33 > 48.000000 | c 15 > 7.562240 | c 34 > 24.000000 | c 16 > 18.000000 | c 13 > 3.339790 | c 14 > 0.000000 | c 11 > 4.857980 | c 12 > 3.306930 | c 21 > 2.590660 | c 20 > 7.692310 | c 22 > 4.000000 | c 23 > 95.512800 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 33.333300 | c 3 > 4.523560 | c 2 > 2.000000 | c 10 > 5.832890 | c 1 > 1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.134430 | c 31 > 66.666700 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.57 c choco : 1.78 7.35/7.57 c mistral : 0.01 7.35/7.57 c abscon : 2.18 7.35/7.57 c 7.35/7.57 c 7.35/7.57 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_9.xml 7.35/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 20.521100 | c 34 > -1.000000 | c 16 > 11.000000 | c 13 > 8.445330 | c 14 > 10.781400 | c 11 > 7.169930 | c 12 > 8.734570 | c 21 > 2.340940 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 94.518500 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.111100 | c 3 > 7.169930 | c 2 > -1.000000 | c 10 > 9.379380 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 10.169900 | c 31 > 88.888900 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.57 c choco : 1801.0 7.35/7.57 c mistral : 94.62 7.35/7.57 c abscon : 251.41 7.35/7.57 c 7.35/7.57 c 7.35/7.57 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_8.xml 7.35/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 13.041800 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 3.542290 | c 14 > 3.700440 | c 11 > 6.807350 | c 12 > 3.608390 | c 21 > 2.195040 | c 20 > 0.000000 | c 22 > 2.828430 | c 23 > 94.115300 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.500000 | c 3 > 6.807350 | c 2 > -1.000000 | c 10 > 8.857980 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 9.614710 | c 31 > 87.500000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.58 c choco : 2.05 7.35/7.58 c mistral : 0.04 7.35/7.58 c abscon : 5.32 7.35/7.58 c 7.35/7.58 c 7.35/7.58 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_7.xml 7.35/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 11.294000 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 3.258770 | c 14 > 2.321930 | c 11 > 6.392320 | c 12 > 3.328780 | c 21 > 2.039090 | c 20 > 0.000000 | c 22 > 2.645750 | c 23 > 93.698500 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.285700 | c 3 > 6.392320 | c 2 > -1.000000 | c 10 > 8.266790 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.977280 | c 31 > 85.714300 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.58 c choco : 2.18 7.35/7.58 c mistral : 0.03 7.35/7.58 c abscon : 3.8 7.35/7.58 c 7.35/7.58 c 7.35/7.58 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_6.xml 7.35/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 12.487600 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 3.774660 | c 14 > 3.807350 | c 11 > 5.906890 | c 12 > 4.133400 | c 21 > 1.870830 | c 20 > 0.000000 | c 22 > 2.449490 | c 23 > 93.333300 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.666700 | c 3 > 5.906890 | c 2 > -1.000000 | c 10 > 7.584960 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 8.228820 | c 31 > 83.333300 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.59 c choco : 2.67 7.35/7.59 c mistral : 0.03 7.35/7.59 c abscon : 3.92 7.35/7.59 c 7.35/7.59 c 7.35/7.59 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_5.xml 7.35/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 9.385860 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 2.652570 | c 14 > 1.000000 | c 11 > 5.321930 | c 12 > 2.754890 | c 21 > 1.687050 | c 20 > 0.000000 | c 22 > 2.236070 | c 23 > 93.230800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 20.000000 | c 3 > 5.321930 | c 2 > -1.000000 | c 10 > 6.781360 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 7.321930 | c 31 > 80.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.35/7.60 c choco : 1.58 7.35/7.60 c mistral : 0.02 7.35/7.60 c abscon : 2.19 7.35/7.60 c 7.35/7.60 c 7.35/7.60 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_4.xml 7.35/7.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 0.000000 | c 18 > 100.000000 | c 33 > -1.000000 | c 15 > 7.303780 | c 34 > -1.000000 | c 16 > 6.000000 | c 13 > 2.716590 | c 14 > 0.000000 | c 11 > 4.584960 | c 12 > 3.176590 | c 21 > 1.483240 | c 20 > 0.000000 | c 22 > 2.000000 | c 23 > 94.166700 | c 24 > 50.000000 | c 25 > 8.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 25.000000 | c 3 > 4.459430 | c 2 > -1.000000 | c 10 > 5.807350 | c 1 > 1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 6.169930 | c 31 > 75.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.61 c choco : 1.32 7.41/7.61 c mistral : 0.02 7.41/7.61 c abscon : 1.72 7.41/7.61 c 7.41/7.61 c 7.41/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9symml.xml 7.41/7.61 c 19 > 34.648100 | c 35 > 40.491500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 36.353200 | c 15 > 15.494100 | c 34 > 49.599500 | c 16 > 42.000000 | c 13 > 1.732350 | c 14 > 8.353150 | c 11 > 12.565300 | c 12 > 0.794272 | c 21 > 1.406590 | c 20 > 65.351900 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.547600 | c 1 > 9.315150 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.404300 | c 6 > 1.584960 | c 32 > -1.000000 | c 5 > 14.786500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.61 c choco : 4.07 7.41/7.61 c mistral : 0.25596 7.41/7.61 c abscon : 1.61275 7.41/7.61 c 7.41/7.61 c 7.41/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/c8.xml 7.41/7.61 c 19 > 30.592700 | c 35 > 42.179700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 34.646300 | c 15 > 13.747900 | c 34 > 51.376700 | c 16 > 36.000000 | c 13 > 1.699380 | c 14 > 6.357550 | c 11 > 11.050500 | c 12 > 0.781966 | c 21 > 1.412730 | c 20 > 69.407300 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.996500 | c 1 > 7.894820 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.878800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.376300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.62 c choco : 2.43 7.41/7.62 c mistral : 0.084986 7.41/7.62 c abscon : 1.16082 7.41/7.62 c 7.41/7.62 c 7.41/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cc.xml 7.41/7.62 c 19 > 27.397300 | c 35 > 35.114200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 31.369900 | c 15 > 12.214900 | c 34 > 42.831100 | c 16 > 31.000000 | c 13 > 1.286480 | c 14 > 4.857980 | c 11 > 9.584960 | c 12 > 0.668885 | c 21 > 1.384660 | c 20 > 72.602700 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.461480 | c 1 > 6.930740 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.326430 | c 6 > 2.000000 | c 32 > -1.000000 | c 5 > 11.884200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.62 c choco : 1.79 7.41/7.62 c mistral : 0.038993 7.41/7.62 c abscon : 0.891863 7.41/7.62 c 7.41/7.62 c 7.41/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/C432.xml 7.41/7.62 c 19 > 23.144300 | c 35 > 46.345400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.077300 | c 15 > 16.116500 | c 34 > 55.701000 | c 16 > 42.000000 | c 13 > 1.926930 | c 14 > 8.451210 | c 11 > 13.121700 | c 12 > 0.800796 | c 21 > 1.409160 | c 20 > 76.855700 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.070300 | c 1 > 9.569860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.993100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.477500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.63 c choco : 4.43 7.41/7.63 c mistral : 0.366943 7.41/7.63 c abscon : 1.88071 7.41/7.63 c 7.41/7.63 c 7.41/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-6.xml 7.41/7.63 c 19 > 46.666700 | c 35 > 28.444400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 28.000000 | c 15 > 18.259800 | c 34 > 42.666700 | c 16 > 44.000000 | c 13 > 5.892450 | c 14 > 9.592460 | c 11 > 10.209500 | c 12 > 3.688200 | c 21 > 1.412840 | c 20 > 53.333300 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.982990 | c 1 > 8.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.857980 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.671300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.64 c choco : 1801.0 7.41/7.64 c mistral : 0.1 7.41/7.64 c abscon : 1800.07 7.41/7.64 c 7.41/7.64 c 7.41/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/mux.xml 7.41/7.64 c 19 > 31.119500 | c 35 > 43.719200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 34.838700 | c 15 > 13.772900 | c 34 > 53.548400 | c 16 > 27.000000 | c 13 > 1.514770 | c 14 > 6.539160 | c 11 > 11.047100 | c 12 > 0.801499 | c 21 > 1.414210 | c 20 > 68.880500 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.000000 | c 1 > 7.857980 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.879600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.237800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.64 c choco : 2.48 7.41/7.64 c mistral : 0.078987 7.41/7.64 c abscon : 1.01684 7.41/7.64 c 7.41/7.64 c 7.41/7.64 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cmb.xml 7.41/7.64 c 19 > 28.806000 | c 35 > 46.806000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 34.746300 | c 15 > 14.826100 | c 34 > 56.000000 | c 16 > 28.000000 | c 13 > 1.595110 | c 14 > 7.303780 | c 11 > 11.636200 | c 12 > 0.808326 | c 21 > 1.413050 | c 20 > 71.194000 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.585400 | c 1 > 8.243170 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.491900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.150200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.65 c choco : 2.7 7.41/7.65 c mistral : 0.12198 7.41/7.65 c abscon : 1.25681 7.41/7.65 c 7.41/7.65 c 7.41/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml 7.41/7.65 c 19 > 25.134400 | c 35 > 25.841100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.413100 | c 15 > 16.069800 | c 34 > 34.072800 | c 16 > 80.000000 | c 13 > 2.425940 | c 14 > 8.727920 | c 11 > 13.281600 | c 12 > 0.561496 | c 21 > 1.136120 | c 20 > 74.865600 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.375900 | c 1 > 9.911390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.134900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.385700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.65 c choco : 9.44 7.41/7.65 c mistral : 1.19 7.41/7.65 c abscon : 6.61899 7.41/7.65 c 7.41/7.65 c 7.41/7.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-10.xml 7.41/7.65 c 19 > 47.705700 | c 35 > 29.825900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.196200 | c 15 > 18.687000 | c 34 > 46.186700 | c 16 > 35.000000 | c 13 > 3.720270 | c 14 > 9.103290 | c 11 > 12.734300 | c 12 > 2.188530 | c 21 > 1.414210 | c 20 > 52.294300 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.809800 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.544500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.930900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.66 c choco : 16.55 7.41/7.66 c mistral : 95.65 7.41/7.66 c abscon : 1800.08 7.41/7.66 c 7.41/7.66 c 7.41/7.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-9.xml 7.41/7.66 c 19 > 48.218500 | c 35 > 29.730800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.349200 | c 15 > 18.779300 | c 34 > 46.072800 | c 16 > 35.000000 | c 13 > 4.285030 | c 14 > 9.194760 | c 11 > 12.724900 | c 12 > 2.443260 | c 21 > 1.414210 | c 20 > 51.781500 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.803300 | c 1 > 9.714250 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.533800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.925100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.66 c choco : 1801.0 7.41/7.66 c mistral : 29.25 7.41/7.66 c abscon : 1800.08 7.41/7.66 c 7.41/7.66 c 7.41/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/my-adder.xml 7.41/7.67 c 19 > 28.744300 | c 35 > 37.647500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 33.857800 | c 15 > 14.703400 | c 34 > 46.399400 | c 16 > 17.000000 | c 13 > 1.420870 | c 14 > 8.299210 | c 11 > 12.157700 | c 12 > 0.744147 | c 21 > 1.414210 | c 20 > 71.255700 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.094100 | c 1 > 9.172430 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.962900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.094700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.67 c choco : 3.51 7.41/7.67 c mistral : 0.179972 7.41/7.67 c abscon : 1.3318 7.41/7.67 c 7.41/7.67 c 7.41/7.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-4.xml 7.41/7.67 c 19 > 47.519100 | c 35 > 29.704200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.082100 | c 15 > 18.930700 | c 34 > 46.001900 | c 16 > 29.000000 | c 13 > 4.453170 | c 14 > 9.189820 | c 11 > 12.459900 | c 12 > 2.651520 | c 21 > 1.414210 | c 20 > 52.480900 | 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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.534800 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.269700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.536000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.41/7.68 c choco : 1801.0 7.41/7.68 c mistral : 20.45 7.41/7.68 c abscon : 1800.05 7.41/7.68 c 7.41/7.68 c 7.41/7.68 c Length: 40 7.41/7.68 c 37.2281865742558 37.23176030187399 41.0993249284158 47.01687163894361 47.13491039286487 50.00660632787932 50.16311992209715 50.51673841342688 58.20320179504389 58.21245087500182 65.99352343897468 66.01349635086298 67.04894426043859 67.06292499671484 69.23271821681784 69.49132002291006 69.68443499481288 69.80815852215771 74.5449927348048 75.00617303586019 75.21584631669778 75.58191196654329 100.64812753057555 100.82393744091729 101.09610915401889 101.20383707094558 102.53761319325265 105.11702921687285 115.90611092741764 116.07043585609445 116.27392888426719 116.48573770105074 116.8489273070014 117.82508601782229 118.1267899286921 119.30711434982197 119.46957668962756 119.64618825769168 119.70829501813427 120.26710126134454 7.41/7.69 c 7.41/7.69 c 1.0 0.9999569650706955 0.9554581061833813 0.8945498419558082 0.8934137848974832 0.866637703624178 0.8652243958882047 0.8620481538819617 0.7983441714069908 0.798273187717133 0.7427169676871397 0.7425843110948431 0.7357713604948828 0.7356802265139465 0.7218048253626306 0.7201859466479601 0.718981751726636 0.7182123708667336 0.6899457217510286 0.6873120722148812 0.686121333917777 0.684052300310721 0.5669777653409241 0.566297978540757 0.5652488082379111 0.5648346106610884 0.5597562733495982 0.5501898136980063 0.5134834144663236 0.5129621794851179 0.5123181689465794 0.5116495560803836 0.5105071351144838 0.5074617383012878 0.5065278264494352 0.5029069750948924 0.502412642488378 0.5018763585629216 0.5016880423550111 0.5 7.41/7.70 c 7.41/7.70 c solver 0 7.41/7.70 c before 0.0 seconds: {} 0 7.41/7.70 c before 18.0 seconds: {2, 3, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38} 19035 7.41/7.70 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38} 23525 7.41/7.70 c before 252.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38} 24092 7.41/7.70 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38} 24959 7.41/7.70 c 7.41/7.70 c solver 1 7.41/7.70 c before 0.0 seconds: {} 0 7.41/7.70 c before 18.0 seconds: {1, 2, 3, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 38} 21344 7.41/7.70 c before 36.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 37, 38, 39} 24144 7.41/7.70 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26107 7.41/7.70 c 7.41/7.70 c solver 2 7.41/7.70 c before 0.0 seconds: {} 0 7.41/7.70 c before 18.0 seconds: {2, 6, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38} 18580 7.41/7.70 c before 36.0 seconds: {2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38} 22028 7.41/7.70 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38} 24028 7.41/7.70 c before 594.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38} 24895 7.41/7.70 c 7.41/7.70 cTotal time: 81 7.41/7.70 c 1458.0 seconds unused 7.41/7.70 c 0 c 1 c 1 7.41/7.70 c 4 c 0 c 4 7.41/7.70 c 1 c 1 c 0 7.41/7.70 c is solver0 dominated by: 7.41/7.70 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false) 7.41/7.70 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false) 7.41/7.70 c is dominated? false 7.41/7.70 c 7.41/7.70 c is solver1 dominated by: 7.47/7.70 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true) 7.47/7.70 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: true) (1 is equally as fast as 2: false) (1 < 2: false) 7.47/7.70 c is dominated? false 7.47/7.70 c 7.47/7.70 c is solver2 dominated by: 7.47/7.70 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true) 7.47/7.70 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: false) (2 is equally as fast as 1: false) (2 < 1: true) 7.47/7.70 c is dominated? false 7.47/7.70 c 7.47/7.70 c Number of non-dominated solvers: 3 7.47/7.70 c remove dominated solvers 7.47/7.70 c solver 0 is not dominated by another solver 7.47/7.70 c solver 1 is not dominated by another solver 7.47/7.70 c solver 2 is not dominated by another solver 7.47/7.70 c 7.47/7.70 c solver 0: 756.0 7.47/7.70 c 7.47/7.70 c+ 42/81 of 19 7.47/7.70 c 7.47/7.70 c solver 1: 108.0 7.47/7.70 c 7.47/7.70 c+ 6/81 of 19 7.47/7.70 c 7.47/7.70 c solver 2: 594.0 7.47/7.70 c 7.47/7.70 c+ 33/81 of 19 7.47/7.71 c run abscon for 918.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 38} 24959 7.47/7.71 c run mistral for 126.0 seconds {0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 26107 7.47/7.71 c run choco for 720.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38} 24895 7.47/7.71 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.47/7.71 c On Instance: HOME/instance-1046548-1215028457.xml 7.47/7.71 c Running for: 918 seconds 26.13/26.45 s UNSATISFIABLE 26.13/26.45 d ASSIGNMENTS 11794 26.13/26.45 d CHECKS 5959461
No possible verification on an UNSAT instance
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046548-1215028457/watcher-1046548-1215028457 -o /tmp/evaluation-result-1046548-1215028457/solver-1046548-1215028457 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046548-1215028457.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.01 2.00 2.00 4/72 16977 /proc/meminfo: memFree=1404032/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=0 /proc/16977/stat : 16977 (hydra) R 16975 16977 14511 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 1532519752 5488640 233 996147200 4194304 4889804 548682068816 18446744073709551615 4600096 0 0 4100 65536 0 0 0 17 1 0 0 /proc/16977/statm: 1340 233 194 169 0 51 0 [startup+0.017678 s] /proc/loadavg: 2.01 2.00 2.00 4/72 16977 /proc/meminfo: memFree=1404032/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=0 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1532519752 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102687 s] /proc/loadavg: 2.01 2.00 2.00 4/72 16977 /proc/meminfo: memFree=1404032/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=0 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1532519752 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.30172 s] /proc/loadavg: 2.01 2.00 2.00 4/72 16977 /proc/meminfo: memFree=1404032/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=0 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1532519752 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702789 s] /proc/loadavg: 2.01 2.00 2.00 4/72 16977 /proc/meminfo: memFree=1404032/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=0 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1532519752 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50193 s] /proc/loadavg: 2.01 2.00 2.00 3/74 16981 /proc/meminfo: memFree=1402800/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) R 16975 16977 14511 0 -1 4194304 353 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234337443 0 0 4100 65536 0 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5360 [startup+3.10221 s] /proc/loadavg: 2.01 2.00 2.00 3/82 16993 /proc/meminfo: memFree=1395824/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 375 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 [pid=16985] ppid=16977 vsize=196988 CPUtime=1.57 /proc/16985/stat : 16985 (java) S 16977 16977 14511 0 -1 0 6490 0 1 0 152 5 0 0 18 0 9 0 1532519902 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16985/statm: 49247 5455 2541 9 0 43829 0 [pid=16985/tid=16986] ppid=16977 vsize=196988 CPUtime=1.19 /proc/16985/task/16986/stat : 16986 (java) R 16977 16977 14511 0 -1 64 2795 0 1 0 117 2 0 0 25 0 9 0 1532519903 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4126517687 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16987] ppid=16977 vsize=196988 CPUtime=0.21 /proc/16985/task/16987/stat : 16987 (java) S 16977 16977 14511 0 -1 64 2359 0 0 0 19 2 0 0 16 0 9 0 1532519904 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16988] ppid=16977 vsize=196988 CPUtime=0 /proc/16985/task/16988/stat : 16988 (java) S 16977 16977 14511 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1532519905 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16989] ppid=16977 vsize=196988 CPUtime=0 /proc/16985/task/16989/stat : 16989 (java) S 16977 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532519905 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16990] ppid=16977 vsize=196988 CPUtime=0 /proc/16985/task/16990/stat : 16990 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1532519907 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16991] ppid=16977 vsize=196988 CPUtime=0.15 /proc/16985/task/16991/stat : 16991 (java) S 16977 16977 14511 0 -1 64 611 0 0 0 15 0 0 0 16 0 9 0 1532519907 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16992] ppid=16977 vsize=196988 CPUtime=0 /proc/16985/task/16992/stat : 16992 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1532519907 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16993] ppid=16977 vsize=196988 CPUtime=0 /proc/16985/task/16993/stat : 16993 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1532519907 201715712 5455 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 202348 [startup+6.30214 s] /proc/loadavg: 2.01 2.00 2.00 3/82 16993 /proc/meminfo: memFree=1382832/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 375 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 [pid=16985] ppid=16977 vsize=197096 CPUtime=4.73 /proc/16985/stat : 16985 (java) S 16977 16977 14511 0 -1 0 10240 0 1 0 460 13 0 0 18 0 9 0 1532519902 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16985/statm: 49274 8490 2541 9 0 43856 0 [pid=16985/tid=16986] ppid=16977 vsize=197096 CPUtime=3.74 /proc/16985/task/16986/stat : 16986 (java) R 16977 16977 14511 0 -1 64 3590 0 1 0 370 4 0 0 25 0 9 0 1532519903 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16987] ppid=16977 vsize=197096 CPUtime=0.78 /proc/16985/task/16987/stat : 16987 (java) S 16977 16977 14511 0 -1 64 5298 0 0 0 71 7 0 0 15 0 9 0 1532519904 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16988] ppid=16977 vsize=197096 CPUtime=0 /proc/16985/task/16988/stat : 16988 (java) S 16977 16977 14511 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1532519905 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16989] ppid=16977 vsize=197096 CPUtime=0 /proc/16985/task/16989/stat : 16989 (java) S 16977 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532519905 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16990] ppid=16977 vsize=197096 CPUtime=0 /proc/16985/task/16990/stat : 16990 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1532519907 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16991] ppid=16977 vsize=197096 CPUtime=0.17 /proc/16985/task/16991/stat : 16991 (java) S 16977 16977 14511 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1532519907 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16992] ppid=16977 vsize=197096 CPUtime=0 /proc/16985/task/16992/stat : 16992 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1532519907 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16993] ppid=16977 vsize=197096 CPUtime=0 /proc/16985/task/16993/stat : 16993 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1532519907 201826304 8490 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 202456 [startup+12.7029 s] /proc/loadavg: 2.01 2.00 2.00 3/94 17005 /proc/meminfo: memFree=1323024/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 375 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 [pid=16985] ppid=16977 vsize=197420 CPUtime=6 /proc/16985/stat : 16985 (java) S 16977 16977 14511 0 -1 0 13960 0 1 0 581 19 0 0 18 0 10 0 1532519902 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16985/statm: 49355 9479 2544 9 0 43937 0 [pid=16995] ppid=16985 vsize=5356 CPUtime=0 /proc/16995/stat : 16995 (abscon) S 16985 16977 14511 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532520524 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16995/statm: 1339 237 196 169 0 50 0 [pid=16996] ppid=16995 vsize=655960 CPUtime=4.97 /proc/16996/stat : 16996 (java) S 16995 16977 14511 0 -1 0 16142 0 1 0 487 10 0 0 18 0 9 0 1532520524 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16996/statm: 163990 15457 2615 9 0 158518 0 [pid=16996/tid=16998] ppid=16995 vsize=655960 CPUtime=4.53 /proc/16996/task/16998/stat : 16998 (java) R 16995 16977 14511 0 -1 64 12004 0 1 0 445 8 0 0 25 0 9 0 1532520525 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4127072752 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=16999] ppid=16995 vsize=655960 CPUtime=0.09 /proc/16996/task/16999/stat : 16999 (java) S 16995 16977 14511 0 -1 64 2855 0 0 0 9 0 0 0 16 0 9 0 1532520526 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17000] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17000/stat : 17000 (java) S 16995 16977 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1532520526 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17001] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17001/stat : 17001 (java) S 16995 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1532520526 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17002] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17002/stat : 17002 (java) S 16995 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1532520528 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17003] ppid=16995 vsize=655960 CPUtime=0.32 /proc/16996/task/17003/stat : 17003 (java) S 16995 16977 14511 0 -1 64 739 0 0 0 31 1 0 0 15 0 9 0 1532520528 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17004] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17004/stat : 17004 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1532520528 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17005] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17005/stat : 17005 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532520528 671703040 15457 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16997] ppid=16995 vsize=7044 CPUtime=0 /proc/16997/stat : 16997 (translate) S 16995 16977 14511 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1532520524 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16997/statm: 1761 213 182 1 0 41 0 [pid=16985/tid=16986] ppid=16977 vsize=197420 CPUtime=4.64 /proc/16985/task/16986/stat : 16986 (java) S 16977 16977 14511 0 -1 64 3901 0 1 0 457 7 0 0 25 0 10 0 1532519903 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16985/tid=16987] ppid=16977 vsize=197420 CPUtime=1.09 /proc/16985/task/16987/stat : 16987 (java) S 16977 16977 14511 0 -1 64 8569 0 0 0 99 10 0 0 16 0 10 0 1532519904 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16988] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16988/stat : 16988 (java) S 16977 16977 14511 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16989] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16989/stat : 16989 (java) S 16977 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16990] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16990/stat : 16990 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16991] ppid=16977 vsize=197420 CPUtime=0.23 /proc/16985/task/16991/stat : 16991 (java) S 16977 16977 14511 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16992] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16992/stat : 16992 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16993] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16993/stat : 16993 (java) S 16977 16977 14511 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16994] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16994/stat : 16994 (java) S 16977 16977 14511 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532520524 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 871140 [startup+25.5031 s] /proc/loadavg: 2.01 2.00 2.00 3/94 17005 /proc/meminfo: memFree=1322896/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 375 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 [pid=16985] ppid=16977 vsize=197420 CPUtime=6 /proc/16985/stat : 16985 (java) S 16977 16977 14511 0 -1 0 13960 0 1 0 581 19 0 0 18 0 10 0 1532519902 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16985/statm: 49355 9479 2544 9 0 43937 0 [pid=16995] ppid=16985 vsize=5356 CPUtime=0 /proc/16995/stat : 16995 (abscon) S 16985 16977 14511 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532520524 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16995/statm: 1339 237 196 169 0 50 0 [pid=16996] ppid=16995 vsize=655960 CPUtime=17.75 /proc/16996/stat : 16996 (java) S 16995 16977 14511 0 -1 0 16148 0 1 0 1765 10 0 0 18 0 9 0 1532520524 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16996/statm: 163990 15460 2615 9 0 158518 0 [pid=16996/tid=16998] ppid=16995 vsize=655960 CPUtime=17.3 /proc/16996/task/16998/stat : 16998 (java) R 16995 16977 14511 0 -1 64 12005 0 1 0 1722 8 0 0 25 0 9 0 1532520525 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4127071076 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=16999] ppid=16995 vsize=655960 CPUtime=0.09 /proc/16996/task/16999/stat : 16999 (java) S 16995 16977 14511 0 -1 64 2855 0 0 0 9 0 0 0 16 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17000] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17000/stat : 17000 (java) S 16995 16977 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17001] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17001/stat : 17001 (java) S 16995 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17002] ppid=16995 vsize=655960 CPUtime=0 ################ # More data... # ################ /proc/16985/task/16994/stat : 16994 (java) S 16977 16977 14511 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532520524 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 871140 Solver just ended. Dumping a history of the last processes samples [startup+25.9032 s] /proc/loadavg: 2.01 2.00 2.00 3/94 17005 /proc/meminfo: memFree=1322896/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 375 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 [pid=16985] ppid=16977 vsize=197420 CPUtime=6 /proc/16985/stat : 16985 (java) S 16977 16977 14511 0 -1 0 13960 0 1 0 581 19 0 0 18 0 10 0 1532519902 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16985/statm: 49355 9479 2544 9 0 43937 0 [pid=16995] ppid=16985 vsize=5356 CPUtime=0 /proc/16995/stat : 16995 (abscon) S 16985 16977 14511 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532520524 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16995/statm: 1339 237 196 169 0 50 0 [pid=16996] ppid=16995 vsize=655960 CPUtime=18.15 /proc/16996/stat : 16996 (java) S 16995 16977 14511 0 -1 0 16148 0 1 0 1805 10 0 0 18 0 9 0 1532520524 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16996/statm: 163990 15460 2615 9 0 158518 0 [pid=16996/tid=16998] ppid=16995 vsize=655960 CPUtime=17.7 /proc/16996/task/16998/stat : 16998 (java) R 16995 16977 14511 0 -1 64 12005 0 1 0 1762 8 0 0 25 0 9 0 1532520525 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4126652988 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=16999] ppid=16995 vsize=655960 CPUtime=0.09 /proc/16996/task/16999/stat : 16999 (java) S 16995 16977 14511 0 -1 64 2855 0 0 0 9 0 0 0 16 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17000] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17000/stat : 17000 (java) S 16995 16977 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17001] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17001/stat : 17001 (java) S 16995 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17002] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17002/stat : 17002 (java) S 16995 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17003] ppid=16995 vsize=655960 CPUtime=0.33 /proc/16996/task/17003/stat : 17003 (java) S 16995 16977 14511 0 -1 64 744 0 0 0 32 1 0 0 16 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17004] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17004/stat : 17004 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17005] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17005/stat : 17005 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16997] ppid=16995 vsize=7044 CPUtime=0 /proc/16997/stat : 16997 (translate) S 16995 16977 14511 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1532520524 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16997/statm: 1761 213 182 1 0 41 0 [pid=16985/tid=16986] ppid=16977 vsize=197420 CPUtime=4.64 /proc/16985/task/16986/stat : 16986 (java) S 16977 16977 14511 0 -1 64 3901 0 1 0 457 7 0 0 25 0 10 0 1532519903 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16985/tid=16987] ppid=16977 vsize=197420 CPUtime=1.09 /proc/16985/task/16987/stat : 16987 (java) S 16977 16977 14511 0 -1 64 8569 0 0 0 99 10 0 0 16 0 10 0 1532519904 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16988] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16988/stat : 16988 (java) S 16977 16977 14511 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16989] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16989/stat : 16989 (java) S 16977 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16990] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16990/stat : 16990 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16991] ppid=16977 vsize=197420 CPUtime=0.23 /proc/16985/task/16991/stat : 16991 (java) S 16977 16977 14511 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16992] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16992/stat : 16992 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16993] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16993/stat : 16993 (java) S 16977 16977 14511 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16994] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16994/stat : 16994 (java) S 16977 16977 14511 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532520524 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.63 Current children cumulated vsize (KiB) 871140 [startup+26.3022 s] /proc/loadavg: 2.01 2.00 2.00 3/94 17005 /proc/meminfo: memFree=1322896/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 375 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 [pid=16985] ppid=16977 vsize=197420 CPUtime=6 /proc/16985/stat : 16985 (java) S 16977 16977 14511 0 -1 0 13960 0 1 0 581 19 0 0 18 0 10 0 1532519902 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16985/statm: 49355 9479 2544 9 0 43937 0 [pid=16995] ppid=16985 vsize=5356 CPUtime=0 /proc/16995/stat : 16995 (abscon) S 16985 16977 14511 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532520524 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16995/statm: 1339 237 196 169 0 50 0 [pid=16996] ppid=16995 vsize=655960 CPUtime=18.55 /proc/16996/stat : 16996 (java) S 16995 16977 14511 0 -1 0 16148 0 1 0 1845 10 0 0 18 0 9 0 1532520524 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16996/statm: 163990 15460 2615 9 0 158518 0 [pid=16996/tid=16998] ppid=16995 vsize=655960 CPUtime=18.1 /proc/16996/task/16998/stat : 16998 (java) R 16995 16977 14511 0 -1 64 12005 0 1 0 1802 8 0 0 25 0 9 0 1532520525 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4127139303 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=16999] ppid=16995 vsize=655960 CPUtime=0.09 /proc/16996/task/16999/stat : 16999 (java) S 16995 16977 14511 0 -1 64 2855 0 0 0 9 0 0 0 17 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17000] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17000/stat : 17000 (java) S 16995 16977 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17001] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17001/stat : 17001 (java) S 16995 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17002] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17002/stat : 17002 (java) S 16995 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17003] ppid=16995 vsize=655960 CPUtime=0.33 /proc/16996/task/17003/stat : 17003 (java) S 16995 16977 14511 0 -1 64 744 0 0 0 32 1 0 0 16 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17004] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17004/stat : 17004 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17005] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17005/stat : 17005 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16997] ppid=16995 vsize=7044 CPUtime=0 /proc/16997/stat : 16997 (translate) S 16995 16977 14511 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1532520524 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16997/statm: 1761 213 182 1 0 41 0 [pid=16985/tid=16986] ppid=16977 vsize=197420 CPUtime=4.64 /proc/16985/task/16986/stat : 16986 (java) S 16977 16977 14511 0 -1 64 3901 0 1 0 457 7 0 0 25 0 10 0 1532519903 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16985/tid=16987] ppid=16977 vsize=197420 CPUtime=1.09 /proc/16985/task/16987/stat : 16987 (java) S 16977 16977 14511 0 -1 64 8569 0 0 0 99 10 0 0 16 0 10 0 1532519904 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16988] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16988/stat : 16988 (java) S 16977 16977 14511 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16989] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16989/stat : 16989 (java) S 16977 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16990] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16990/stat : 16990 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16991] ppid=16977 vsize=197420 CPUtime=0.23 /proc/16985/task/16991/stat : 16991 (java) S 16977 16977 14511 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16992] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16992/stat : 16992 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16993] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16993/stat : 16993 (java) S 16977 16977 14511 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16994] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16994/stat : 16994 (java) S 16977 16977 14511 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532520524 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 26.03 Current children cumulated vsize (KiB) 871140 [startup+26.4062 s] /proc/loadavg: 2.01 2.00 2.00 3/94 17005 /proc/meminfo: memFree=1322896/2055920 swapFree=4120564/4192956 [pid=16977] ppid=16975 vsize=5360 CPUtime=1.48 /proc/16977/stat : 16977 (hydra) S 16975 16977 14511 0 -1 4194304 375 1306 0 0 0 0 147 1 19 0 1 0 1532519752 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/16977/statm: 1340 238 196 169 0 51 0 [pid=16985] ppid=16977 vsize=197420 CPUtime=6 /proc/16985/stat : 16985 (java) S 16977 16977 14511 0 -1 0 13960 0 1 0 581 19 0 0 18 0 10 0 1532519902 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/16985/statm: 49355 9479 2544 9 0 43937 0 [pid=16995] ppid=16985 vsize=5356 CPUtime=0 /proc/16995/stat : 16995 (abscon) S 16985 16977 14511 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532520524 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/16995/statm: 1339 237 196 169 0 50 0 [pid=16996] ppid=16995 vsize=655960 CPUtime=18.65 /proc/16996/stat : 16996 (java) S 16995 16977 14511 0 -1 0 16148 0 1 0 1855 10 0 0 18 0 9 0 1532520524 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/16996/statm: 163990 15460 2615 9 0 158518 0 [pid=16996/tid=16998] ppid=16995 vsize=655960 CPUtime=18.2 /proc/16996/task/16998/stat : 16998 (java) R 16995 16977 14511 0 -1 64 12005 0 1 0 1812 8 0 0 25 0 9 0 1532520525 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4127070252 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=16999] ppid=16995 vsize=655960 CPUtime=0.09 /proc/16996/task/16999/stat : 16999 (java) S 16995 16977 14511 0 -1 64 2855 0 0 0 9 0 0 0 17 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17000] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17000/stat : 17000 (java) S 16995 16977 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17001] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17001/stat : 17001 (java) S 16995 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1532520526 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17002] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17002/stat : 17002 (java) S 16995 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17003] ppid=16995 vsize=655960 CPUtime=0.33 /proc/16996/task/17003/stat : 17003 (java) S 16995 16977 14511 0 -1 64 744 0 0 0 32 1 0 0 16 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17004] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17004/stat : 17004 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16996/tid=17005] ppid=16995 vsize=655960 CPUtime=0 /proc/16996/task/17005/stat : 17005 (java) S 16995 16977 14511 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532520528 671703040 15460 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=16997] ppid=16995 vsize=7044 CPUtime=0 /proc/16997/stat : 16997 (translate) S 16995 16977 14511 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1532520524 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/16997/statm: 1761 213 182 1 0 41 0 [pid=16985/tid=16986] ppid=16977 vsize=197420 CPUtime=4.64 /proc/16985/task/16986/stat : 16986 (java) S 16977 16977 14511 0 -1 64 3901 0 1 0 457 7 0 0 25 0 10 0 1532519903 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=16985/tid=16987] ppid=16977 vsize=197420 CPUtime=1.09 /proc/16985/task/16987/stat : 16987 (java) S 16977 16977 14511 0 -1 64 8569 0 0 0 99 10 0 0 16 0 10 0 1532519904 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16988] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16988/stat : 16988 (java) S 16977 16977 14511 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16989] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16989/stat : 16989 (java) S 16977 16977 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1532519905 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16990] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16990/stat : 16990 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16991] ppid=16977 vsize=197420 CPUtime=0.23 /proc/16985/task/16991/stat : 16991 (java) S 16977 16977 14511 0 -1 64 667 0 0 0 23 0 0 0 16 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16992] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16992/stat : 16992 (java) S 16977 16977 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16993] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16993/stat : 16993 (java) S 16977 16977 14511 0 -1 64 29 0 0 0 0 0 0 0 15 0 10 0 1532519907 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=16985/tid=16994] ppid=16977 vsize=197420 CPUtime=0 /proc/16985/task/16994/stat : 16994 (java) S 16977 16977 14511 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1532520524 202158080 9479 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 26.13 Current children cumulated vsize (KiB) 871140 Child status: 0 Real time (s): 26.4923 CPU time (s): 26.221 CPU user time (s): 25.8801 CPU system time (s): 0.340948 CPU usage (%): 98.9761 Max. virtual memory (cumulated for all children) (KiB): 871140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.8801 system time used= 0.340948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32511 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= 12087 involuntary context switches= 16889 runsolver used 0.137979 second user time and 0.286956 second system time The end
Begin job on node14 at 2008-07-02 21:54:17 IDJOB=1046548 IDBENCH=53929 IDSOLVER=366 FILE ID=node14/1046548-1215028457 PBS_JOBID= 7874442 Free space on /tmp= 66532 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/QG3/normalized-quasigroup3-7.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046548-1215028457/watcher-1046548-1215028457 -o /tmp/evaluation-result-1046548-1215028457/solver-1046548-1215028457 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046548-1215028457.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= fafe0dcba984bf536ec9e261fa39bfe8 RANDOM SEED=795145511 node14.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.267 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 : 5931.00 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.267 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: 1404512 kB Buffers: 65204 kB Cached: 411908 kB SwapCached: 66480 kB Active: 295020 kB Inactive: 280460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1404512 kB SwapTotal: 4192956 kB SwapFree: 4120564 kB Dirty: 24580 kB Writeback: 0 kB Mapped: 106456 kB Slab: 61140 kB Committed_AS: 3034096 kB PageTables: 1964 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= 66508 MiB End job on node14 at 2008-07-02 21:54:44