Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | UNSAT | 664.561 | 665.411 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 165416 |
CHECKS | 246908000 |
Name | csp/QG7/ normalized-quasigroup7-8.xml |
MD5SUM | eec85a74385caa2c1c4b0ec1f3d7bf8d |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 12.2211 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 318 |
Number of constraints | 255 |
Maximum constraint arity | 66 |
Maximum domain size | 57 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 112 |
Global constraints used (with number of constraints) | alldifferent(16),element(127) |
0.00/0.00 c cpHydra_k_40 version 0.0 7.49/7.62 c CASE TO CLASSIFY: 7.49/7.62 c Case: 0 7.49/7.62 c 19 > 41.176500 | c 35 > 18.750000 | c 17 > 0.000000 | c 18 > 56.078400 | c 33 > 15.000000 | c 15 > 18.920900 | c 34 > 41.875000 | c 16 > 66.000000 | c 13 > 8.716110 | c 14 > 7.982990 | c 11 > 8.271460 | c 12 > 7.690480 | c 21 > 4.288350 | c 20 > 2.745100 | 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.459430 | c 2 > 6.129280 | c 10 > 9.207010 | 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.511500 | c 31 > 88.811200 | c 4 > 5.977280 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.49/7.63 c choco : 1801.0 7.49/7.63 c mistral : 1801.0 7.49/7.63 c abscon : 1801.0 7.49/7.63 c 7.49/7.63 c 7.58/7.70 c List of same ones: 40 7.58/7.70 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_8.xml 7.58/7.70 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.58/7.71 c choco : 584.98 7.58/7.71 c mistral : 1801.0 7.58/7.71 c abscon : 755.01 7.58/7.71 c 7.58/7.71 c 7.58/7.71 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_8.xml 7.58/7.71 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.58/7.72 c choco : 5.71 7.58/7.72 c mistral : 0.19 7.58/7.72 c abscon : 12.3 7.58/7.72 c 7.58/7.72 c 7.58/7.72 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_6.xml 7.58/7.72 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.58/7.73 c choco : 10.24 7.58/7.73 c mistral : 1.32 7.58/7.73 c abscon : 8.21 7.58/7.73 c 7.58/7.73 c 7.58/7.73 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_6.xml 7.58/7.73 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.58/7.74 c choco : 5.15 7.58/7.74 c mistral : 0.19 7.58/7.74 c abscon : 6.66 7.58/7.74 c 7.58/7.74 c 7.58/7.74 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_7.xml 7.58/7.74 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.58/7.75 c choco : 18.76 7.58/7.75 c mistral : 2.38 7.58/7.75 c abscon : 11.78 7.58/7.75 c 7.58/7.75 c 7.58/7.75 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_7.xml 7.58/7.75 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.58/7.76 c choco : 32.52 7.58/7.76 c mistral : 94.62 7.58/7.76 c abscon : 27.48 7.58/7.76 c 7.58/7.76 c 7.58/7.76 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml 7.58/7.76 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.58/7.77 c choco : 19.11 7.58/7.77 c mistral : 25.16 7.58/7.77 c abscon : 28.99 7.58/7.77 c 7.58/7.77 c 7.58/7.77 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml 7.58/7.77 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.58/7.78 c choco : 16.41 7.58/7.78 c mistral : 4.2 7.58/7.78 c abscon : 20.23 7.58/7.78 c 7.58/7.78 c 7.58/7.78 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_5.xml 7.58/7.78 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.58/7.79 c choco : 2.72 7.58/7.79 c mistral : 0.03 7.58/7.79 c abscon : 4.52 7.58/7.79 c 7.58/7.79 c 7.58/7.79 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_5.xml 7.58/7.79 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.66/7.80 c choco : 2.86 7.66/7.80 c mistral : 0.04 7.66/7.80 c abscon : 4.97 7.66/7.80 c 7.66/7.80 c 7.66/7.80 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_6.xml 7.66/7.80 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.66/7.82 c choco : 7.63 7.66/7.82 c mistral : 0.12 7.66/7.82 c abscon : 7.41 7.66/7.82 c 7.66/7.82 c 7.66/7.82 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_6.xml 7.66/7.82 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.66/7.83 c choco : 6.63 7.66/7.83 c mistral : 0.14 7.66/7.83 c abscon : 6.92 7.66/7.83 c 7.66/7.83 c 7.66/7.83 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_4.xml 7.66/7.83 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.66/7.84 c choco : 2.2 7.66/7.84 c mistral : 0.01 7.66/7.84 c abscon : 2.88 7.66/7.84 c 7.66/7.84 c 7.66/7.84 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_4.xml 7.66/7.84 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.66/7.85 c choco : 2.42 7.66/7.85 c mistral : 0.02 7.66/7.85 c abscon : 2.49 7.66/7.85 c 7.66/7.85 c 7.66/7.85 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_5.xml 7.66/7.85 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.66/7.85 c choco : 1.69 7.66/7.85 c mistral : 0.02 7.66/7.85 c abscon : 3.84 7.66/7.85 c 7.66/7.85 c 7.66/7.85 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_5.xml 7.66/7.85 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.66/7.86 c choco : 2.12 7.66/7.86 c mistral : 0.01 7.66/7.86 c abscon : 3.18 7.66/7.86 c 7.66/7.86 c 7.66/7.86 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_8.xml 7.66/7.86 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.66/7.86 c choco : 4.13 7.66/7.86 c mistral : 0.09 7.66/7.87 c abscon : 9.91 7.66/7.87 c 7.66/7.87 c 7.66/7.87 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_7.xml 7.66/7.87 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.66/7.87 c choco : 46.53 7.66/7.87 c mistral : 13.8 7.66/7.87 c abscon : 33.73 7.66/7.87 c 7.66/7.87 c 7.66/7.87 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_7.xml 7.66/7.87 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.66/7.88 c choco : 46.59 7.66/7.88 c mistral : 20.58 7.66/7.88 c abscon : 33.11 7.66/7.88 c 7.66/7.88 c 7.66/7.88 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml 7.66/7.88 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.66/7.89 c choco : 25.56 7.66/7.89 c mistral : 0.86 7.66/7.89 c abscon : 14.29 7.66/7.89 c 7.66/7.89 c 7.66/7.89 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_4.xml 7.66/7.89 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.66/7.89 c choco : 1.23 7.66/7.89 c mistral : 0.01 7.66/7.89 c abscon : 2.09 7.66/7.89 c 7.66/7.89 c 7.66/7.89 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_4.xml 7.66/7.89 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.73/7.90 c choco : 1.78 7.73/7.90 c mistral : 0.01 7.73/7.90 c abscon : 2.18 7.73/7.90 c 7.73/7.90 c 7.73/7.90 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_9.xml 7.73/7.90 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.73/7.91 c choco : 1801.0 7.73/7.91 c mistral : 94.62 7.73/7.91 c abscon : 251.41 7.73/7.91 c 7.73/7.91 c 7.73/7.91 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_8.xml 7.73/7.91 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.73/7.91 c choco : 2.05 7.73/7.91 c mistral : 0.04 7.73/7.91 c abscon : 5.32 7.73/7.91 c 7.73/7.91 c 7.73/7.91 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_7.xml 7.73/7.91 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.73/7.92 c choco : 2.18 7.73/7.92 c mistral : 0.03 7.73/7.92 c abscon : 3.8 7.73/7.92 c 7.73/7.92 c 7.73/7.92 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_6.xml 7.73/7.92 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.73/7.92 c choco : 2.67 7.73/7.92 c mistral : 0.03 7.73/7.92 c abscon : 3.92 7.73/7.92 c 7.73/7.92 c 7.73/7.92 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_5.xml 7.73/7.92 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.73/7.93 c choco : 1.58 7.73/7.93 c mistral : 0.02 7.73/7.93 c abscon : 2.19 7.73/7.93 c 7.73/7.93 c 7.73/7.93 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_4.xml 7.73/7.93 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.73/7.93 c choco : 1.32 7.73/7.93 c mistral : 0.02 7.73/7.93 c abscon : 1.72 7.73/7.93 c 7.73/7.93 c 7.73/7.93 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-02.xml 7.73/7.94 c 19 > 79.094100 | c 35 > 20.440300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.995300 | c 34 > 31.621800 | c 16 > 53.000000 | c 13 > 4.906540 | c 14 > 11.649700 | c 11 > 13.197700 | c 12 > 2.774880 | c 21 > 1.414210 | c 20 > 20.905900 | 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 > 15.804900 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.969300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.939600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.116300 | c 7.73/7.94 c choco : 45.03 7.73/7.94 c mistral : 0.245961 7.73/7.94 c abscon : 17.1684 7.73/7.94 c 7.73/7.94 c 7.73/7.94 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-04.xml 7.73/7.94 c 19 > 78.953800 | c 35 > 19.573700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.491200 | c 34 > 30.491700 | c 16 > 53.000000 | c 13 > 4.928170 | c 14 > 10.409400 | c 11 > 13.197700 | c 12 > 3.344900 | c 21 > 2.000000 | c 20 > 21.046200 | c 22 > 2.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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.829800 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.056600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.284700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 10.291200 | c 7.73/7.95 c choco : 45.2 7.73/7.95 c mistral : 0.25596 7.73/7.95 c abscon : 36.7444 7.73/7.95 c 7.73/7.95 c 7.73/7.95 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-08.xml 7.73/7.95 c 19 > 76.473700 | c 35 > 18.630500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.703200 | c 34 > 28.725600 | c 16 > 53.000000 | c 13 > 4.928440 | c 14 > 9.971540 | c 11 > 13.197700 | c 12 > 3.355410 | c 21 > 2.828430 | c 20 > 23.526300 | c 22 > 2.828430 | 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 > 16.059000 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.724300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.793100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.292300 | c 7.73/7.95 c choco : 44.93 7.73/7.95 c mistral : 0.244962 7.73/7.95 c abscon : 38.5461 7.73/7.95 c 7.73/7.95 c 7.73/7.95 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-05-16.xml 7.73/7.95 c 19 > 72.960100 | c 35 > 17.597600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.841900 | c 34 > 26.909900 | c 16 > 53.000000 | c 13 > 4.933860 | c 14 > 9.344300 | c 11 > 13.197700 | c 12 > 3.361950 | c 21 > 4.000000 | c 20 > 27.039900 | c 22 > 4.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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.225900 | c 1 > 13.197700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.113100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.086900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 12.065400 | c 7.73/7.96 c choco : 45.03 7.73/7.96 c mistral : 0.259959 7.73/7.96 c abscon : 40.0039 7.73/7.96 c 7.73/7.96 c 7.73/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-p0282.xml 7.73/7.96 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.491400 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.894820 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.73/7.96 c choco : 2.08 7.73/7.96 c mistral : 0.13 7.73/7.96 c abscon : 6.79797 7.73/7.96 c 7.73/7.96 c 7.73/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-p0282.xml 7.73/7.96 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.491400 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.894820 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.73/7.97 c choco : 2.06 7.73/7.97 c mistral : 0.13 7.73/7.97 c abscon : 6.27604 7.73/7.97 c 7.73/7.97 c 7.73/7.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p0282.xml 7.73/7.97 c 19 > 79.638000 | c 35 > 17.918600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 48.868800 | c 15 > 15.486600 | c 34 > 35.746600 | c 16 > 57.000000 | c 13 > 2.357980 | c 14 > 7.839200 | c 11 > 10.389100 | c 12 > 0.814866 | c 21 > 1.414210 | c 20 > 20.362000 | 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.224600 | c 1 > 8.139550 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.526600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.73/7.97 c choco : 2.05 7.73/7.97 c mistral : 0.13 7.73/7.97 c abscon : 6.83396 7.73/7.98 c 7.73/7.98 c 7.73/7.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-6.xml 7.73/7.98 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.73/7.98 c choco : 1801.0 7.73/7.98 c mistral : 0.1 7.73/7.98 c abscon : 1800.07 7.73/7.98 c 7.73/7.98 c 7.73/7.98 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-02.xml 7.73/7.98 c 19 > 81.580400 | c 35 > 22.836900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.002300 | c 34 > 33.615900 | c 16 > 39.000000 | c 13 > 4.223980 | c 14 > 9.707360 | c 11 > 13.240900 | c 12 > 3.893920 | c 21 > 1.414210 | c 20 > 18.419600 | 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 > 16.483800 | c 1 > 13.240900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.126900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.126500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.192900 | c 7.73/7.99 c choco : 59.39 7.73/7.99 c mistral : 0.271957 7.73/7.99 c abscon : 40.3879 7.73/7.99 c 7.73/7.99 c 7.73/7.99 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-04.xml 7.73/7.99 c 19 > 81.397300 | c 35 > 19.526200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.491300 | c 34 > 29.309900 | c 16 > 39.000000 | c 13 > 4.223410 | c 14 > 8.219170 | c 11 > 13.240900 | c 12 > 3.893500 | c 21 > 2.000000 | c 20 > 18.602700 | c 22 > 2.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 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.500100 | c 1 > 13.240900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.168400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.541200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.291200 | c 7.73/7.99 c choco : 59.56 7.73/7.99 c mistral : 0.280956 7.73/7.99 c abscon : 84.8411 7.73/7.99 c 7.73/7.99 c 7.73/7.99 c /home/eomahony/cpZilla/CSP/bmc/bmc-ibm-01-08.xml 7.73/7.99 c 19 > 79.742200 | c 35 > 18.061300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.469100 | c 34 > 27.253600 | c 16 > 39.000000 | c 13 > 4.223120 | c 14 > 7.366320 | c 11 > 13.240900 | c 12 > 3.893940 | c 21 > 2.828430 | c 20 > 20.257800 | c 22 > 2.828430 | 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 > 16.610600 | c 1 > 13.240900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.431800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.861500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 11.810200 | c 7.79/8.00 c choco : 59.95 7.79/8.00 c mistral : 0.262959 7.79/8.00 c abscon : 83.4103 7.79/8.00 c 7.79/8.00 c 7.79/8.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/pk1.xml 7.79/8.00 c 19 > 50.000000 | c 35 > 10.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 16.440300 | c 34 > 15.000000 | c 16 > 57.000000 | c 13 > 2.267490 | c 14 > 5.807350 | c 11 > 10.946200 | c 12 > 0.878386 | c 21 > 1.414210 | c 20 > 50.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.727100 | c 1 > 6.426260 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.020000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.79/8.01 c choco : 1.88 7.79/8.01 c mistral : 0.19 7.79/8.01 c abscon : 1.02284 7.79/8.01 c 7.79/8.01 c 7.79/8.01 c Length: 40 7.79/8.01 c 36.273061849324215 36.800842842873855 38.948551349645854 39.03357190373435 39.69187253795542 39.70929847237546 40.245121698468004 40.28094444692925 51.129865407562924 51.413653530474754 55.09284826297692 55.115665705034345 64.35317655468377 64.8024840976054 64.87325302106947 65.23944768677997 74.00613009203157 75.12177398386568 75.12533363639459 76.12856921903366 76.82374969895898 77.14173839830873 96.43919866224626 97.44957000602618 98.47013406210282 99.46755495463182 102.01708908503565 106.13768164547074 124.21411979615843 124.26972721754443 124.31608238515281 124.3799349570995 126.14873438345981 126.14873438345981 126.14891610475254 126.6433303240384 127.06442047780645 127.3552505380426 127.40563561636668 127.55884079967895 7.79/8.02 c 7.79/8.02 c 1.0 0.9942516008106853 0.9715256132187476 0.9706473260814122 0.963900263950631 0.9637229359800913 0.958302015884443 0.9579417714410319 0.8600297523660131 0.8577364652077265 0.8290750667195181 0.8289032910898929 0.7647559629859538 0.7618881246880885 0.7614383806327223 0.7591196309141874 0.7075383243330016 0.7014725933865018 0.7014534060798159 0.6960872621575644 0.692416758170904 0.690750672048368 0.6027376972440333 0.5987433396316247 0.5947620744504493 0.5909219199035501 0.5813277183962725 0.5664632520950349 0.5093309714700794 0.5091729940280432 0.50904137657704 0.5088601896624768 0.5038918500725853 0.5038918500725853 0.5038913446240708 0.5025199009023308 0.5013577221403165 0.5005581853663009 0.5004199280966801 0.5 7.79/8.03 c 7.79/8.03 c solver 0 7.79/8.03 c before 0.0 seconds: {} 0 7.79/8.03 c before 18.0 seconds: {1, 2, 3, 4, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 23, 24, 25, 26, 27, 28, 32, 33, 34, 39} 18563 7.79/8.03 c before 36.0 seconds: {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, 32, 33, 34, 39} 22846 7.79/8.03 c before 54.0 seconds: {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, 32, 33, 34, 36, 39} 24874 7.79/8.03 c before 90.0 seconds: {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, 32, 33, 34, 36, 37, 38, 39} 25875 7.79/8.03 c before 252.0 seconds: {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, 32, 33, 34, 36, 37, 38, 39} 26478 7.79/8.03 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, 32, 33, 34, 36, 37, 38, 39} 27478 7.79/8.03 c 7.79/8.03 c solver 1 7.79/8.03 c before 0.0 seconds: {} 0 7.79/8.03 c before 18.0 seconds: {1, 2, 3, 4, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 23754 7.79/8.03 c before 36.0 seconds: {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, 32, 33, 34, 35, 36, 37, 38, 39} 25414 7.79/8.03 c before 108.0 seconds: {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, 32, 33, 34, 35, 36, 37, 38, 39} 26980 7.79/8.03 c 7.79/8.03 c solver 2 7.79/8.03 c before 0.0 seconds: {} 0 7.79/8.03 c before 18.0 seconds: {1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 20, 21, 23, 24, 25, 26, 27, 32, 33, 34, 39} 17351 7.79/8.03 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 19, 20, 21, 23, 24, 25, 26, 27, 32, 33, 34, 39} 20933 7.79/8.03 c before 54.0 seconds: {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, 32, 33, 34, 39} 24373 7.79/8.03 c before 72.0 seconds: {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, 32, 33, 34, 36, 37, 38, 39} 25875 7.79/8.03 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, 32, 33, 34, 36, 37, 38, 39} 26875 7.79/8.03 c 7.79/8.03 cTotal time: 81 7.79/8.03 c 1458.0 seconds unused 7.79/8.03 c 0 c 1 c 1 7.79/8.03 c 1 c 0 c 2 7.79/8.03 c 0 c 1 c 0 7.79/8.03 c is solver0 dominated by: 7.79/8.03 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.79/8.03 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false) 7.79/8.03 c is dominated? false 7.79/8.03 c 7.79/8.03 c is solver1 dominated by: 7.79/8.03 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.79/8.03 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.79/8.03 c is dominated? false 7.79/8.03 c 7.79/8.03 c is solver2 dominated by: 7.79/8.03 c solver 0 (2 solves instances that 0 can't: false) (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.79/8.03 c is dominated? true 7.79/8.03 c 7.79/8.03 c Number of non-dominated solvers: 2 7.79/8.03 c remove dominated solvers 7.79/8.03 c solver 0 is not dominated by another solver 7.79/8.03 c solver 1 is not dominated by another solver 7.79/8.03 c solver 2 is dominated by another solver 7.79/8.03 c 7.79/8.03 c solver 0: 756.0 7.79/8.03 c 7.79/8.03 c+ 42/48 of 52 7.79/8.03 c 7.79/8.03 c solver 1: 108.0 7.79/8.03 c 7.79/8.03 c+ 6/48 of 52 7.79/8.03 c 7.79/8.03 c solver 2: 0.0 7.79/8.03 c run abscon for 1566.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, 32, 33, 34, 36, 37, 38, 39} 27478 7.79/8.03 c run mistral for 216.0 seconds {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, 32, 33, 34, 35, 36, 37, 38, 39} 26980 7.79/8.04 c do not run choco 7.79/8.04 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.79/8.04 c On Instance: HOME/instance-1046262-1215024683.xml 7.79/8.04 c Running for: 1566 seconds 664.43/665.39 s UNSATISFIABLE 664.43/665.39 d ASSIGNMENTS 165416 664.43/665.39 d CHECKS 246907923
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-1046262-1215024683/watcher-1046262-1215024683 -o /tmp/evaluation-result-1046262-1215024683/solver-1046262-1215024683 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046262-1215024683.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 2.00 1.95 4/80 2383 /proc/meminfo: memFree=1206808/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5256 CPUtime=0 /proc/2383/stat : 2383 (hydra) R 2381 2383 1877 0 -1 4194304 63 0 0 0 0 0 0 0 22 0 1 0 1532138721 5382144 48 996147200 4194304 4889804 548682068816 18446744073709551615 266887808156 0 0 4096 0 0 0 0 17 1 0 0 /proc/2383/statm: 1314 48 37 169 0 13 0 [startup+0.07733 s] /proc/loadavg: 2.00 2.00 1.95 4/80 2383 /proc/meminfo: memFree=1206808/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=0 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532138721 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102328 s] /proc/loadavg: 2.00 2.00 1.95 4/80 2383 /proc/meminfo: memFree=1206808/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=0 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532138721 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.302349 s] /proc/loadavg: 2.00 2.00 1.95 4/80 2383 /proc/meminfo: memFree=1206808/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=0 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532138721 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.702394 s] /proc/loadavg: 2.00 2.00 1.95 4/80 2383 /proc/meminfo: memFree=1206808/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=0 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532138721 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50148 s] /proc/loadavg: 2.00 2.00 1.95 4/82 2387 /proc/meminfo: memFree=1205192/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=0 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1532138721 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 236 195 169 0 51 0 [pid=2387] ppid=2383 vsize=5648 CPUtime=1.46 /proc/2387/stat : 2387 (xsolve) R 2383 2383 1877 0 -1 4194304 800 0 0 0 146 0 0 0 25 0 1 0 1532138722 5783552 759 996147200 134512640 135239763 4294956176 18446744073709551615 135019138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2387/statm: 1412 759 441 177 0 315 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 11008 [startup+3.10167 s] /proc/loadavg: 2.00 2.00 1.95 4/90 2399 /proc/meminfo: memFree=1200192/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=1.52 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 375 1395 0 0 0 0 151 1 18 0 1 0 1532138721 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 238 196 169 0 51 0 [pid=2391] ppid=2383 vsize=197004 CPUtime=1.51 /proc/2391/stat : 2391 (java) S 2383 2383 1877 0 -1 0 5015 0 1 0 147 4 0 0 18 0 9 0 1532138876 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2391/statm: 49251 4213 1679 9 0 43833 0 [pid=2391/tid=2392] ppid=2383 vsize=197004 CPUtime=1.23 /proc/2391/task/2392/stat : 2392 (java) R 2383 2383 1877 0 -1 64 2728 0 1 0 121 2 0 0 25 0 9 0 1532138877 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4126444312 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2393] ppid=2383 vsize=197004 CPUtime=0.11 /proc/2391/task/2393/stat : 2393 (java) S 2383 2383 1877 0 -1 64 948 0 0 0 10 1 0 0 16 0 9 0 1532138878 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2394] ppid=2383 vsize=197004 CPUtime=0 /proc/2391/task/2394/stat : 2394 (java) S 2383 2383 1877 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1532138879 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2395] ppid=2383 vsize=197004 CPUtime=0 /proc/2391/task/2395/stat : 2395 (java) S 2383 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532138879 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2396] ppid=2383 vsize=197004 CPUtime=0 /proc/2391/task/2396/stat : 2396 (java) S 2383 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1532138881 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2397] ppid=2383 vsize=197004 CPUtime=0.14 /proc/2391/task/2397/stat : 2397 (java) S 2383 2383 1877 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 1532138881 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2398] ppid=2383 vsize=197004 CPUtime=0 /proc/2391/task/2398/stat : 2398 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1532138881 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2399] ppid=2383 vsize=197004 CPUtime=0 /proc/2391/task/2399/stat : 2399 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532138881 201732096 4213 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 202364 [startup+6.30203 s] /proc/loadavg: 2.00 2.00 1.95 3/90 2399 /proc/meminfo: memFree=1186752/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=1.52 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 375 1395 0 0 0 0 151 1 18 0 1 0 1532138721 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 238 196 169 0 51 0 [pid=2391] ppid=2383 vsize=197112 CPUtime=4.69 /proc/2391/stat : 2391 (java) S 2383 2383 1877 0 -1 0 9858 0 1 0 456 13 0 0 18 0 9 0 1532138876 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2391/statm: 49278 8177 2541 9 0 43860 0 [pid=2391/tid=2392] ppid=2383 vsize=197112 CPUtime=3.77 /proc/2391/task/2392/stat : 2392 (java) R 2383 2383 1877 0 -1 64 3523 0 1 0 373 4 0 0 25 0 9 0 1532138877 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4126520185 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2393] ppid=2383 vsize=197112 CPUtime=0.71 /proc/2391/task/2393/stat : 2393 (java) S 2383 2383 1877 0 -1 64 4981 0 0 0 64 7 0 0 16 0 9 0 1532138878 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2394] ppid=2383 vsize=197112 CPUtime=0 /proc/2391/task/2394/stat : 2394 (java) S 2383 2383 1877 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1532138879 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2395] ppid=2383 vsize=197112 CPUtime=0 /proc/2391/task/2395/stat : 2395 (java) S 2383 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532138879 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2396] ppid=2383 vsize=197112 CPUtime=0 /proc/2391/task/2396/stat : 2396 (java) S 2383 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1532138881 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2397] ppid=2383 vsize=197112 CPUtime=0.17 /proc/2391/task/2397/stat : 2397 (java) S 2383 2383 1877 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1532138881 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2398] ppid=2383 vsize=197112 CPUtime=0 /proc/2391/task/2398/stat : 2398 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1532138881 201842688 8177 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2399] ppid=2383 vsize=197112 CPUtime=0 /proc/2391/task/2399/stat : 2399 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1532138881 201842688 8177 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) 202472 [startup+12.7027 s] /proc/loadavg: 2.00 2.00 1.95 3/102 2411 /proc/meminfo: memFree=1104936/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=1.52 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 375 1395 0 0 0 0 151 1 18 0 1 0 1532138721 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 238 196 169 0 51 0 [pid=2391] ppid=2383 vsize=197436 CPUtime=6.31 /proc/2391/stat : 2391 (java) S 2383 2383 1877 0 -1 0 13958 0 1 0 611 20 0 0 18 0 10 0 1532138876 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2391/statm: 49359 9496 2544 9 0 43941 0 [pid=2401] ppid=2391 vsize=5356 CPUtime=0 /proc/2401/stat : 2401 (abscon) S 2391 2383 1877 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532139525 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2401/statm: 1339 237 196 169 0 50 0 [pid=2402] ppid=2401 vsize=655976 CPUtime=4.64 /proc/2402/stat : 2402 (java) S 2401 2383 1877 0 -1 0 21353 0 1 0 454 10 0 0 18 0 9 0 1532139526 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2402/statm: 163994 20664 2616 9 0 158522 0 [pid=2402/tid=2404] ppid=2401 vsize=655976 CPUtime=4 /proc/2402/task/2404/stat : 2404 (java) R 2401 2383 1877 0 -1 64 12575 0 1 0 394 6 0 0 25 0 9 0 1532139527 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4127169328 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2405] ppid=2401 vsize=655976 CPUtime=0.28 /proc/2402/task/2405/stat : 2405 (java) S 2401 2383 1877 0 -1 64 7487 0 0 0 26 2 0 0 17 0 9 0 1532139528 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2406] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2406/stat : 2406 (java) S 2401 2383 1877 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2407] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2407/stat : 2407 (java) S 2401 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1532139528 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2408] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2408/stat : 2408 (java) S 2401 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1532139530 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2409] ppid=2401 vsize=655976 CPUtime=0.32 /proc/2402/task/2409/stat : 2409 (java) S 2401 2383 1877 0 -1 64 745 0 0 0 32 0 0 0 15 0 9 0 1532139530 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2410] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2410/stat : 2410 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1532139530 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2411] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2411/stat : 2411 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1532139530 671719424 20664 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2403] ppid=2401 vsize=7044 CPUtime=0 /proc/2403/stat : 2403 (translate) S 2401 2383 1877 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1532139526 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2403/statm: 1761 213 182 1 0 41 0 [pid=2391/tid=2392] ppid=2383 vsize=197436 CPUtime=4.99 /proc/2391/task/2392/stat : 2392 (java) S 2383 2383 1877 0 -1 64 3969 0 1 0 491 8 0 0 25 0 10 0 1532138877 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2391/tid=2393] ppid=2383 vsize=197436 CPUtime=1.05 /proc/2391/task/2393/stat : 2393 (java) S 2383 2383 1877 0 -1 64 8496 0 0 0 95 10 0 0 16 0 10 0 1532138878 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2394] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2394/stat : 2394 (java) S 2383 2383 1877 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2395] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2395/stat : 2395 (java) S 2383 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2396] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2396/stat : 2396 (java) S 2383 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2397] ppid=2383 vsize=197436 CPUtime=0.23 /proc/2391/task/2397/stat : 2397 (java) S 2383 2383 1877 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2398] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2398/stat : 2398 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2399] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2399/stat : 2399 (java) S 2383 2383 1877 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2400] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2400/stat : 2400 (java) S 2383 2383 1877 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1532139525 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 871172 [startup+25.5032 s] /proc/loadavg: 2.00 2.00 1.95 3/102 2411 /proc/meminfo: memFree=1104808/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=1.52 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 375 1395 0 0 0 0 151 1 18 0 1 0 1532138721 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 238 196 169 0 51 0 [pid=2391] ppid=2383 vsize=197436 CPUtime=6.31 /proc/2391/stat : 2391 (java) S 2383 2383 1877 0 -1 0 13958 0 1 0 611 20 0 0 18 0 10 0 1532138876 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2391/statm: 49359 9496 2544 9 0 43941 0 [pid=2401] ppid=2391 vsize=5356 CPUtime=0 /proc/2401/stat : 2401 (abscon) S 2391 2383 1877 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532139525 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2401/statm: 1339 237 196 169 0 50 0 [pid=2402] ppid=2401 vsize=655976 CPUtime=17.44 /proc/2402/stat : 2402 (java) S 2401 2383 1877 0 -1 0 21370 0 1 0 1733 11 0 0 18 0 9 0 1532139526 671719424 20677 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2402/statm: 163994 20677 2616 9 0 158522 0 [pid=2402/tid=2404] ppid=2401 vsize=655976 CPUtime=16.76 /proc/2402/task/2404/stat : 2404 (java) R 2401 2383 1877 0 -1 64 12579 0 1 0 1670 6 0 0 25 0 9 0 1532139527 671719424 20677 996147200 134512640 134550740 4294955808 18446744073709551615 4127218122 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2405] ppid=2401 vsize=655976 CPUtime=0.28 /proc/2402/task/2405/stat : 2405 (java) S 2401 2383 1877 0 -1 64 7487 0 0 0 26 2 0 0 16 0 9 0 1532139528 671719424 20677 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2406] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2406/stat : 2406 (java) S 2401 2383 1877 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 20677 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=2391] ppid=2383 vsize=197436 CPUtime=6.31 /proc/2391/stat : 2391 (java) S 2383 2383 1877 0 -1 0 13958 0 1 0 611 20 0 0 18 0 10 0 1532138876 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2391/statm: 49359 9496 2544 9 0 43941 0 [pid=2401] ppid=2391 vsize=5356 CPUtime=0 /proc/2401/stat : 2401 (abscon) S 2391 2383 1877 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532139525 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2401/statm: 1339 237 196 169 0 50 0 [pid=2402] ppid=2401 vsize=655976 CPUtime=656 /proc/2402/stat : 2402 (java) S 2401 2383 1877 0 -1 0 23642 0 1 0 65585 15 0 0 18 0 9 0 1532139526 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2402/statm: 163994 22939 2616 9 0 158522 0 [pid=2402/tid=2404] ppid=2401 vsize=655976 CPUtime=655.24 /proc/2402/task/2404/stat : 2404 (java) R 2401 2383 1877 0 -1 64 12588 0 1 0 65514 10 0 0 25 0 9 0 1532139527 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4127182619 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2405] ppid=2401 vsize=655976 CPUtime=0.37 /proc/2402/task/2405/stat : 2405 (java) S 2401 2383 1877 0 -1 64 9744 0 0 0 34 3 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2406] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2406/stat : 2406 (java) S 2401 2383 1877 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2407] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2407/stat : 2407 (java) S 2401 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2408] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2408/stat : 2408 (java) S 2401 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2409] ppid=2401 vsize=655976 CPUtime=0.37 /proc/2402/task/2409/stat : 2409 (java) S 2401 2383 1877 0 -1 64 764 0 0 0 36 1 0 0 17 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2410] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2410/stat : 2410 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2411] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2411/stat : 2411 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2403] ppid=2401 vsize=7044 CPUtime=0 /proc/2403/stat : 2403 (translate) S 2401 2383 1877 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1532139526 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2403/statm: 1761 213 182 1 0 41 0 [pid=2391/tid=2392] ppid=2383 vsize=197436 CPUtime=4.99 /proc/2391/task/2392/stat : 2392 (java) S 2383 2383 1877 0 -1 64 3969 0 1 0 491 8 0 0 25 0 10 0 1532138877 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2391/tid=2393] ppid=2383 vsize=197436 CPUtime=1.05 /proc/2391/task/2393/stat : 2393 (java) S 2383 2383 1877 0 -1 64 8496 0 0 0 95 10 0 0 16 0 10 0 1532138878 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2394] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2394/stat : 2394 (java) S 2383 2383 1877 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2395] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2395/stat : 2395 (java) S 2383 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2396] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2396/stat : 2396 (java) S 2383 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2397] ppid=2383 vsize=197436 CPUtime=0.23 /proc/2391/task/2397/stat : 2397 (java) S 2383 2383 1877 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2398] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2398/stat : 2398 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2399] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2399/stat : 2399 (java) S 2383 2383 1877 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2400] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2400/stat : 2400 (java) S 2383 2383 1877 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1532139525 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 663.83 Current children cumulated vsize (KiB) 871172 [startup+665.102 s] /proc/loadavg: 1.99 1.98 1.95 3/94 2527 /proc/meminfo: memFree=958000/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=1.52 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 375 1395 0 0 0 0 151 1 18 0 1 0 1532138721 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 238 196 169 0 51 0 [pid=2391] ppid=2383 vsize=197436 CPUtime=6.31 /proc/2391/stat : 2391 (java) S 2383 2383 1877 0 -1 0 13958 0 1 0 611 20 0 0 18 0 10 0 1532138876 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2391/statm: 49359 9496 2544 9 0 43941 0 [pid=2401] ppid=2391 vsize=5356 CPUtime=0 /proc/2401/stat : 2401 (abscon) S 2391 2383 1877 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532139525 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2401/statm: 1339 237 196 169 0 50 0 [pid=2402] ppid=2401 vsize=655976 CPUtime=656.4 /proc/2402/stat : 2402 (java) S 2401 2383 1877 0 -1 0 23642 0 1 0 65625 15 0 0 18 0 9 0 1532139526 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2402/statm: 163994 22939 2616 9 0 158522 0 [pid=2402/tid=2404] ppid=2401 vsize=655976 CPUtime=655.64 /proc/2402/task/2404/stat : 2404 (java) R 2401 2383 1877 0 -1 64 12588 0 1 0 65554 10 0 0 25 0 9 0 1532139527 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4127182602 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2405] ppid=2401 vsize=655976 CPUtime=0.37 /proc/2402/task/2405/stat : 2405 (java) S 2401 2383 1877 0 -1 64 9744 0 0 0 34 3 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2406] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2406/stat : 2406 (java) S 2401 2383 1877 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2407] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2407/stat : 2407 (java) S 2401 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2408] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2408/stat : 2408 (java) S 2401 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2409] ppid=2401 vsize=655976 CPUtime=0.37 /proc/2402/task/2409/stat : 2409 (java) S 2401 2383 1877 0 -1 64 764 0 0 0 36 1 0 0 17 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2410] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2410/stat : 2410 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2411] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2411/stat : 2411 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2403] ppid=2401 vsize=7044 CPUtime=0 /proc/2403/stat : 2403 (translate) S 2401 2383 1877 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1532139526 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2403/statm: 1761 213 182 1 0 41 0 [pid=2391/tid=2392] ppid=2383 vsize=197436 CPUtime=4.99 /proc/2391/task/2392/stat : 2392 (java) S 2383 2383 1877 0 -1 64 3969 0 1 0 491 8 0 0 25 0 10 0 1532138877 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2391/tid=2393] ppid=2383 vsize=197436 CPUtime=1.05 /proc/2391/task/2393/stat : 2393 (java) S 2383 2383 1877 0 -1 64 8496 0 0 0 95 10 0 0 16 0 10 0 1532138878 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2394] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2394/stat : 2394 (java) S 2383 2383 1877 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2395] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2395/stat : 2395 (java) S 2383 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2396] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2396/stat : 2396 (java) S 2383 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2397] ppid=2383 vsize=197436 CPUtime=0.23 /proc/2391/task/2397/stat : 2397 (java) S 2383 2383 1877 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2398] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2398/stat : 2398 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2399] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2399/stat : 2399 (java) S 2383 2383 1877 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2400] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2400/stat : 2400 (java) S 2383 2383 1877 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1532139525 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 664.23 Current children cumulated vsize (KiB) 871172 [startup+665.302 s] /proc/loadavg: 1.99 1.98 1.95 3/94 2527 /proc/meminfo: memFree=958000/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=1.52 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 375 1395 0 0 0 0 151 1 18 0 1 0 1532138721 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 238 196 169 0 51 0 [pid=2391] ppid=2383 vsize=197436 CPUtime=6.31 /proc/2391/stat : 2391 (java) S 2383 2383 1877 0 -1 0 13958 0 1 0 611 20 0 0 18 0 10 0 1532138876 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/2391/statm: 49359 9496 2544 9 0 43941 0 [pid=2401] ppid=2391 vsize=5356 CPUtime=0 /proc/2401/stat : 2401 (abscon) S 2391 2383 1877 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1532139525 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0 /proc/2401/statm: 1339 237 196 169 0 50 0 [pid=2402] ppid=2401 vsize=655976 CPUtime=656.6 /proc/2402/stat : 2402 (java) S 2401 2383 1877 0 -1 0 23642 0 1 0 65645 15 0 0 18 0 9 0 1532139526 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2402/statm: 163994 22939 2616 9 0 158522 0 [pid=2402/tid=2404] ppid=2401 vsize=655976 CPUtime=655.84 /proc/2402/task/2404/stat : 2404 (java) R 2401 2383 1877 0 -1 64 12588 0 1 0 65574 10 0 0 25 0 9 0 1532139527 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4126377965 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2405] ppid=2401 vsize=655976 CPUtime=0.37 /proc/2402/task/2405/stat : 2405 (java) S 2401 2383 1877 0 -1 64 9744 0 0 0 34 3 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2406] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2406/stat : 2406 (java) S 2401 2383 1877 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2407] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2407/stat : 2407 (java) S 2401 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1532139528 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2408] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2408/stat : 2408 (java) S 2401 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2409] ppid=2401 vsize=655976 CPUtime=0.37 /proc/2402/task/2409/stat : 2409 (java) S 2401 2383 1877 0 -1 64 764 0 0 0 36 1 0 0 17 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2410] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2410/stat : 2410 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2402/tid=2411] ppid=2401 vsize=655976 CPUtime=0 /proc/2402/task/2411/stat : 2411 (java) S 2401 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1532139530 671719424 22939 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2403] ppid=2401 vsize=7044 CPUtime=0 /proc/2403/stat : 2403 (translate) S 2401 2383 1877 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1532139526 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 266890608722 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/2403/statm: 1761 213 182 1 0 41 0 [pid=2391/tid=2392] ppid=2383 vsize=197436 CPUtime=4.99 /proc/2391/task/2392/stat : 2392 (java) S 2383 2383 1877 0 -1 64 3969 0 1 0 491 8 0 0 25 0 10 0 1532138877 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2391/tid=2393] ppid=2383 vsize=197436 CPUtime=1.05 /proc/2391/task/2393/stat : 2393 (java) S 2383 2383 1877 0 -1 64 8496 0 0 0 95 10 0 0 16 0 10 0 1532138878 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2394] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2394/stat : 2394 (java) S 2383 2383 1877 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2395] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2395/stat : 2395 (java) S 2383 2383 1877 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1532138879 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2396] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2396/stat : 2396 (java) S 2383 2383 1877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2397] ppid=2383 vsize=197436 CPUtime=0.23 /proc/2391/task/2397/stat : 2397 (java) S 2383 2383 1877 0 -1 64 668 0 0 0 23 0 0 0 16 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2398] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2398/stat : 2398 (java) S 2383 2383 1877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2399] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2399/stat : 2399 (java) S 2383 2383 1877 0 -1 64 30 0 0 0 0 0 0 0 15 0 10 0 1532138881 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2391/tid=2400] ppid=2383 vsize=197436 CPUtime=0 /proc/2391/task/2400/stat : 2400 (java) S 2383 2383 1877 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1532139525 202174464 9496 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 Current children cumulated CPU time (s) 664.43 Current children cumulated vsize (KiB) 871172 [startup+665.403 s] /proc/loadavg: 1.99 1.98 1.95 2/82 2527 /proc/meminfo: memFree=1040072/2055920 swapFree=4110528/4192956 [pid=2383] ppid=2381 vsize=5360 CPUtime=1.52 /proc/2383/stat : 2383 (hydra) S 2381 2383 1877 0 -1 4194304 375 1395 0 0 0 0 151 1 18 0 1 0 1532138721 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/2383/statm: 1340 238 196 169 0 51 0 [pid=2391] ppid=2383 vsize=0 CPUtime=663.01 /proc/2391/stat : 2391 (java) Z 2383 2383 1877 0 -1 1036 14072 24255 1 1 611 20 65653 17 16 0 2 0 1532138876 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2391/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 664.53 Current children cumulated vsize (KiB) 5360 Child status: 0 Real time (s): 665.411 CPU time (s): 664.561 CPU user time (s): 664.162 CPU system time (s): 0.398939 CPU usage (%): 99.8723 Max. virtual memory (cumulated for all children) (KiB): 871220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 664.162 system time used= 0.398939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40109 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= 37586 involuntary context switches= 31629 runsolver used 2.58361 second user time and 7.12092 second system time The end
Begin job on node38 at 2008-07-02 20:51:23 IDJOB=1046262 IDBENCH=53643 IDSOLVER=366 FILE ID=node38/1046262-1215024683 PBS_JOBID= 7874394 Free space on /tmp= 66552 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/QG7/normalized-quasigroup7-8.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046262-1215024683/watcher-1046262-1215024683 -o /tmp/evaluation-result-1046262-1215024683/solver-1046262-1215024683 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046262-1215024683.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= eec85a74385caa2c1c4b0ec1f3d7bf8d RANDOM SEED=1874030314 node38.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.223 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.223 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: 1207224 kB Buffers: 69352 kB Cached: 523116 kB SwapCached: 76720 kB Active: 532236 kB Inactive: 239128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1207224 kB SwapTotal: 4192956 kB SwapFree: 4110528 kB Dirty: 24416 kB Writeback: 0 kB Mapped: 194840 kB Slab: 62160 kB Committed_AS: 3575396 kB PageTables: 2260 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= 66528 MiB End job on node38 at 2008-07-02 21:02:29