Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cpHydra k_40 | SAT | 11.0923 | 11.8764 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 1356 |
CHECKS | 742519 |
Name | csp/QG4/ normalized-quasigroup4-9.xml |
MD5SUM | d0d864992a962c8beff5238515ba838d |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.10883 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 252 |
Number of constraints | 179 |
Maximum constraint arity | 83 |
Maximum domain size | 81 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 80 |
Global constraints used (with number of constraints) | alldifferent(18),element(81) |
0.00/0.00 c cpHydra_k_40 version 0.0 6.82/7.60 c CASE TO CLASSIFY: 6.82/7.60 c Case: 0 6.93/7.60 c 19 > 0.000000 | c 35 > 27.000000 | c 17 > 0.000000 | c 18 > 55.307300 | c 33 > 27.000000 | c 15 > 18.818200 | c 34 > 54.000000 | c 16 > 83.000000 | c 13 > 5.513910 | c 14 > 6.459430 | c 11 > 8.417850 | c 12 > 4.713520 | 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.257390 | c 2 > 3.169930 | c 10 > 9.923330 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > 8.169930 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 14.239400 | c 31 > 81.818200 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 6.93/7.61 c choco : 1801.0 6.93/7.61 c mistral : 1801.0 6.93/7.61 c abscon : 1801.0 6.93/7.61 c 6.93/7.61 c 6.93/7.68 c List of same ones: 40 6.93/7.68 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_9.xml 6.93/7.68 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 6.93/7.69 c choco : 25.56 6.93/7.69 c mistral : 0.86 6.93/7.69 c abscon : 14.29 6.93/7.69 c 6.93/7.69 c 6.93/7.69 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_8.xml 6.93/7.69 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 6.93/7.70 c choco : 4.13 6.93/7.70 c mistral : 0.09 6.93/7.70 c abscon : 9.91 6.93/7.70 c 6.93/7.70 c 6.93/7.70 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml 6.93/7.70 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.02/7.71 c choco : 16.41 7.02/7.71 c mistral : 4.2 7.02/7.71 c abscon : 20.23 7.02/7.71 c 7.02/7.71 c 7.02/7.71 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml 7.02/7.71 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.02/7.72 c choco : 19.11 7.02/7.72 c mistral : 25.16 7.02/7.72 c abscon : 28.99 7.02/7.72 c 7.02/7.72 c 7.02/7.72 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_7.xml 7.02/7.72 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.02/7.73 c choco : 46.59 7.02/7.73 c mistral : 20.58 7.02/7.73 c abscon : 33.11 7.02/7.73 c 7.02/7.73 c 7.02/7.73 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_7.xml 7.02/7.73 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.02/7.74 c choco : 46.53 7.02/7.74 c mistral : 13.8 7.02/7.74 c abscon : 33.73 7.02/7.74 c 7.02/7.74 c 7.02/7.74 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_8.xml 7.02/7.74 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.02/7.74 c choco : 584.98 7.02/7.74 c mistral : 1801.0 7.02/7.74 c abscon : 755.01 7.02/7.74 c 7.02/7.74 c 7.02/7.74 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_8.xml 7.02/7.74 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.02/7.75 c choco : 5.71 7.02/7.75 c mistral : 0.19 7.02/7.75 c abscon : 12.3 7.02/7.75 c 7.02/7.75 c 7.02/7.75 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_7.xml 7.02/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.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.02/7.76 c choco : 18.76 7.02/7.76 c mistral : 2.38 7.02/7.76 c abscon : 11.78 7.02/7.76 c 7.02/7.76 c 7.02/7.76 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_7.xml 7.02/7.76 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.02/7.77 c choco : 32.52 7.02/7.77 c mistral : 94.62 7.02/7.77 c abscon : 27.48 7.02/7.77 c 7.02/7.77 c 7.02/7.77 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_6.xml 7.02/7.77 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.02/7.78 c choco : 6.63 7.02/7.78 c mistral : 0.14 7.02/7.78 c abscon : 6.92 7.02/7.78 c 7.02/7.78 c 7.02/7.78 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_6.xml 7.02/7.78 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.02/7.79 c choco : 7.63 7.02/7.79 c mistral : 0.12 7.02/7.79 c abscon : 7.41 7.02/7.79 c 7.02/7.79 c 7.02/7.79 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_6.xml 7.02/7.79 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.09/7.80 c choco : 5.15 7.09/7.80 c mistral : 0.19 7.09/7.80 c abscon : 6.66 7.09/7.80 c 7.09/7.80 c 7.09/7.80 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_6.xml 7.09/7.80 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.09/7.81 c choco : 10.24 7.09/7.81 c mistral : 1.32 7.09/7.81 c abscon : 8.21 7.09/7.81 c 7.09/7.81 c 7.09/7.81 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_5.xml 7.09/7.81 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.09/7.81 c choco : 2.72 7.09/7.81 c mistral : 0.03 7.09/7.81 c abscon : 4.52 7.09/7.81 c 7.09/7.81 c 7.09/7.81 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_5.xml 7.09/7.81 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.09/7.82 c choco : 2.86 7.09/7.82 c mistral : 0.04 7.09/7.82 c abscon : 4.97 7.09/7.82 c 7.09/7.82 c 7.09/7.82 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_5.xml 7.09/7.82 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.09/7.83 c choco : 1.69 7.09/7.83 c mistral : 0.02 7.09/7.83 c abscon : 3.84 7.09/7.83 c 7.09/7.83 c 7.09/7.83 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_5.xml 7.09/7.83 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.09/7.83 c choco : 2.12 7.09/7.83 c mistral : 0.01 7.09/7.83 c abscon : 3.18 7.09/7.83 c 7.09/7.83 c 7.09/7.83 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_4.xml 7.09/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.09/7.84 c choco : 2.2 7.09/7.84 c mistral : 0.01 7.09/7.84 c abscon : 2.88 7.09/7.84 c 7.09/7.84 c 7.09/7.84 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_4.xml 7.09/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.09/7.85 c choco : 2.42 7.09/7.85 c mistral : 0.02 7.09/7.85 c abscon : 2.49 7.09/7.85 c 7.09/7.85 c 7.09/7.85 c /home/ehebrard/new_instances/competition_4c/data/QG3/quasigroup3_4.xml 7.09/7.85 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.09/7.85 c choco : 1.23 7.09/7.85 c mistral : 0.01 7.09/7.85 c abscon : 2.09 7.09/7.85 c 7.09/7.85 c 7.09/7.85 c /home/ehebrard/new_instances/competition_4c/data/QG4/quasigroup4_4.xml 7.09/7.85 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.09/7.86 c choco : 1.78 7.09/7.86 c mistral : 0.01 7.09/7.86 c abscon : 2.18 7.09/7.86 c 7.09/7.86 c 7.09/7.86 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml 7.09/7.86 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.09/7.86 c choco : 9.44 7.09/7.86 c mistral : 1.19 7.09/7.86 c abscon : 6.61899 7.09/7.86 c 7.09/7.86 c 7.09/7.86 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_9.xml 7.09/7.87 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.09/7.87 c choco : 1801.0 7.09/7.87 c mistral : 94.62 7.09/7.87 c abscon : 251.41 7.09/7.87 c 7.09/7.87 c 7.09/7.87 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_8.xml 7.09/7.87 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.09/7.88 c choco : 2.05 7.09/7.88 c mistral : 0.04 7.09/7.88 c abscon : 5.32 7.09/7.88 c 7.09/7.88 c 7.09/7.88 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml 7.09/7.88 c 19 > 9.584350 | c 35 > 33.271400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.467000 | c 15 > 18.214500 | c 34 > 66.542800 | c 16 > 98.000000 | c 13 > -0.028883 | c 14 > 9.923330 | c 11 > 13.388600 | c 12 > 2.211530 | c 21 > 1.414210 | c 20 > 90.415600 | 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.369600 | c 1 > 13.388600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.366200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.787600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.09/7.88 c choco : 1801.0 7.09/7.88 c mistral : 3.9354 7.09/7.88 c abscon : 1800.1 7.09/7.88 c 7.09/7.88 c 7.09/7.88 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_7.xml 7.09/7.88 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.09/7.89 c choco : 2.18 7.09/7.89 c mistral : 0.03 7.09/7.89 c abscon : 3.8 7.09/7.89 c 7.09/7.89 c 7.09/7.89 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_6.xml 7.09/7.89 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.09/7.89 c choco : 2.67 7.09/7.89 c mistral : 0.03 7.09/7.89 c abscon : 3.92 7.09/7.89 c 7.09/7.89 c 7.09/7.89 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9symml.xml 7.09/7.89 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.14/7.90 c choco : 4.07 7.14/7.90 c mistral : 0.25596 7.14/7.90 c abscon : 1.61275 7.14/7.90 c 7.14/7.90 c 7.14/7.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-fiber.xml 7.14/7.90 c 19 > 14.511500 | c 35 > 46.867800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.000000 | c 15 > 18.156800 | c 34 > 70.301700 | c 16 > 61.000000 | c 13 > 4.784170 | c 14 > 9.487840 | c 11 > 13.202100 | c 12 > 2.118960 | c 21 > 1.350270 | c 20 > 85.488500 | 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.539900 | c 1 > 11.049200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.527600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.151900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.14/7.90 c choco : 49.37 7.14/7.90 c mistral : 296.002 7.14/7.90 c abscon : 158.523 7.14/7.90 c 7.14/7.90 c 7.14/7.90 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_5.xml 7.14/7.90 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.14/7.91 c choco : 1.58 7.14/7.91 c mistral : 0.02 7.14/7.91 c abscon : 2.19 7.14/7.91 c 7.14/7.91 c 7.14/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/C432.xml 7.14/7.91 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.14/7.91 c choco : 4.43 7.14/7.91 c mistral : 0.366943 7.14/7.91 c abscon : 1.88071 7.14/7.91 c 7.14/7.91 c 7.14/7.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/course/ss97-6.xml 7.14/7.91 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.14/7.92 c choco : 1801.0 7.14/7.92 c mistral : 0.1 7.14/7.92 c abscon : 1800.07 7.14/7.92 c 7.14/7.92 c 7.14/7.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/c8.xml 7.14/7.92 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.14/7.92 c choco : 2.43 7.14/7.92 c mistral : 0.084986 7.14/7.93 c abscon : 1.16082 7.14/7.93 c 7.14/7.93 c 7.14/7.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cc.xml 7.14/7.93 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.14/7.93 c choco : 1.79 7.14/7.93 c mistral : 0.038993 7.14/7.93 c abscon : 0.891863 7.14/7.93 c 7.14/7.93 c 7.14/7.93 c /home/ehebrard/new_instances/competition_4c/data/QG5/quasigroup5_4.xml 7.14/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.14/7.94 c choco : 1.32 7.14/7.94 c mistral : 0.02 7.14/7.94 c abscon : 1.72 7.14/7.94 c 7.14/7.94 c 7.14/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml 7.14/7.94 c 19 > 0.000000 | c 35 > 15.068500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.219180 | c 15 > 19.252700 | c 34 > 30.137000 | c 16 > 102.000000 | c 13 > 3.121570 | c 14 > 7.179910 | c 11 > 10.941000 | c 12 > 1.853770 | c 21 > 1.414210 | c 20 > 100.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 > 13.311000 | c 1 > 7.348730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.311000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.205100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c 7.14/7.94 c choco : 3.04 7.14/7.94 c mistral : 0.9 7.14/7.94 c abscon : 1.9467 7.14/7.94 c 7.14/7.94 c 7.14/7.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/routing/s4-4-3-10.xml 7.14/7.94 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.14/7.95 c choco : 16.55 7.14/7.95 c mistral : 95.65 7.14/7.95 c abscon : 1800.08 7.14/7.95 c 7.14/7.95 c 7.14/7.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/pk1.xml 7.14/7.95 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.14/7.96 c choco : 1.88 7.14/7.96 c mistral : 0.19 7.14/7.96 c abscon : 1.02284 7.14/7.96 c 7.14/7.96 c 7.14/7.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/circuits/cmb.xml 7.14/7.96 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.14/7.96 c choco : 2.7 7.14/7.96 c mistral : 0.12198 7.14/7.96 c abscon : 1.25681 7.14/7.96 c 7.14/7.96 c 7.14/7.96 c Length: 40 7.14/7.96 c 38.27307919438675 42.123130297627455 47.99228210207345 48.0175048764271 50.686975958900916 50.688922632393755 50.93971313655682 50.940151256411674 58.00883375808637 58.1421983297037 81.33527511498747 81.34976818616387 81.53330203881846 81.60081430360607 88.58670451982228 88.68345684031097 88.97714220127381 89.14602438882679 96.63354708297062 96.90473740947239 97.92053044575535 98.14828397722347 116.27302926703672 118.67957838086973 119.23281620272667 120.0809870571879 120.09509367914953 120.98880499370387 122.82809141779174 122.93583956046463 122.95596305648255 123.13828842384677 123.66692412040295 124.46820927632253 126.07172461458765 126.26379185392898 126.77117625513773 128.20592728661651 128.27737539347208 128.29681214339675 7.14/7.97 c 7.14/7.97 c 1.0 0.9589869403677417 0.90255748114683 0.9023293020965145 0.8788150721640992 0.8787983719192676 0.8766521697639588 0.8766484296168119 0.8201909009331487 0.8191955276575199 0.6764331414571231 0.676359485840392 0.6754281294631236 0.6750861783516338 0.6414808861725787 0.6410389368197941 0.6397011502775379 0.6389343889098282 0.6066935188574472 0.6055867348237364 0.6014767199843021 0.6005628479506165 0.5357800241612667 0.5282145768447973 0.5265054743096833 0.5239066130294558 0.5238636061314467 0.5211532651620158 0.5156626189522787 0.5153445537808763 0.5152851940710659 0.5147479985163551 0.5131967619182733 0.5108632038625793 0.5062564890572692 0.5057102677328174 0.5042729673121086 0.5002525188471973 0.5000539825659833 0.5 7.14/7.98 c 7.14/7.98 c solver 0 7.14/7.98 c before 0.0 seconds: {} 0 7.14/7.98 c before 18.0 seconds: {0, 1, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 30, 31, 33, 34, 35, 36, 38, 39} 18014 7.14/7.98 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 30, 31, 33, 34, 35, 36, 38, 39} 22396 7.14/7.98 c before 162.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 22911 7.14/7.98 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 23440 7.14/7.98 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, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 24316 7.14/7.98 c 7.14/7.98 c solver 1 7.14/7.98 c before 0.0 seconds: {} 0 7.14/7.98 c before 18.0 seconds: {0, 1, 2, 5, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 38, 39} 20833 7.14/7.98 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 38, 39} 22614 7.14/7.98 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39} 24462 7.14/7.98 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 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} 24977 7.14/7.98 c 7.14/7.98 c solver 2 7.14/7.98 c before 0.0 seconds: {} 0 7.14/7.98 c before 18.0 seconds: {1, 2, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 30, 31, 33, 34, 35, 36, 37, 38, 39} 17597 7.14/7.98 c before 36.0 seconds: {0, 1, 2, 3, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 30, 31, 33, 34, 35, 36, 37, 38, 39} 21139 7.14/7.98 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 23412 7.14/7.98 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, 22, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 24288 7.14/7.98 c 7.14/7.98 cTotal time: 92 7.14/7.98 c 1656.0 seconds unused 7.14/7.98 c 0 c 1 c 1 7.14/7.98 c 3 c 0 c 3 7.14/7.98 c 1 c 1 c 0 7.14/7.98 c is solver0 dominated by: 7.14/7.98 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.14/7.98 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.14/7.98 c is dominated? false 7.14/7.98 c 7.14/7.98 c is solver1 dominated by: 7.14/7.98 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.14/7.98 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.14/7.98 c is dominated? false 7.14/7.98 c 7.14/7.98 c is solver2 dominated by: 7.14/7.98 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.14/7.98 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.14/7.98 c is dominated? false 7.14/7.98 c 7.14/7.98 c Number of non-dominated solvers: 3 7.14/7.98 c remove dominated solvers 7.14/7.98 c solver 0 is not dominated by another solver 7.14/7.98 c solver 1 is not dominated by another solver 7.14/7.98 c solver 2 is not dominated by another solver 7.14/7.98 c 7.14/7.98 c solver 0: 756.0 7.14/7.98 c 7.14/7.98 c+ 42/92 of 8 7.14/7.98 c 7.14/7.98 c solver 1: 306.0 7.14/7.98 c 7.14/7.98 c+ 17/92 of 8 7.14/7.98 c 7.14/7.98 c solver 2: 594.0 7.14/7.98 c 7.14/7.98 c+ 33/92 of 8 7.14/7.98 c run abscon for 810.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, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 38, 39} 24316 7.14/7.98 c run mistral for 324.0 seconds {0, 1, 2, 3, 4, 5, 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} 24977 7.14/7.99 c run choco for 630.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, 24, 26, 27, 28, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39} 24288 7.14/7.99 c Starting solver: HOME/cpHydra_k_40/solver/abscon 7.14/7.99 c On Instance: HOME/instance-1046539-1215028330.xml 7.14/7.99 c Running for: 810 seconds 10.99/11.86 s SAT 10.99/11.86 v 1 6 5 3 7 9 2 4 8 8 2 6 9 1 4 3 5 7 2 9 3 1 6 8 4 7 5 7 5 8 4 2 3 6 9 1 6 3 4 8 5 7 9 1 2 4 7 9 5 8 6 1 2 3 9 8 1 2 3 5 7 6 4 3 4 2 7 9 1 5 8 6 5 1 7 6 4 2 8 3 9 1 1 1 69 1 14 1 57 1 52 1 36 1 74 1 22 1 44 1 53 2 1 11 2 78 2 45 2 19 2 58 2 66 2 32 2 7 2 38 3 54 3 1 21 3 64 3 33 3 80 3 4 3 16 3 59 3 25 4 77 4 8 4 1 31 4 65 4 39 4 15 4 63 4 46 4 60 5 3 5 49 5 17 5 1 41 5 70 5 27 5 73 5 29 5 76 6 34 6 72 6 23 6 62 6 1 51 6 37 6 2 6 12 6 18 7 26 7 28 7 47 7 75 7 5 7 1 61 7 42 7 67 7 30 8 40 8 56 8 79 8 9 8 10 8 50 8 1 71 8 24 8 68 9 55 9 43 9 6 9 13 9 20 9 35 9 48 9 1 81 9 10.99/11.86 d ASSIGNMENTS 1356 10.99/11.86 d CHECKS 742519
OK
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046539-1215028330/watcher-1046539-1215028330 -o /tmp/evaluation-result-1046539-1215028330/solver-1046539-1215028330 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046539-1215028330.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.14 2.04 2.01 3/73 12555 /proc/meminfo: memFree=1792024/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5356 CPUtime=0 /proc/12555/stat : 12555 (hydra) R 12553 12555 11209 0 -1 4194304 250 0 0 0 0 0 0 0 19 0 1 0 615088661 5484544 218 996147200 4194304 4889804 548682068816 18446744073709551615 4319240 0 0 4100 65536 0 0 0 17 0 0 0 /proc/12555/statm: 1339 218 180 169 0 50 0 [startup+0.0553969 s] /proc/loadavg: 2.14 2.04 2.01 3/73 12555 /proc/meminfo: memFree=1792024/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=0 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615088661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12555/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.101401 s] /proc/loadavg: 2.14 2.04 2.01 3/73 12555 /proc/meminfo: memFree=1792024/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=0 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615088661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12555/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.301426 s] /proc/loadavg: 2.14 2.04 2.01 3/73 12555 /proc/meminfo: memFree=1792024/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=0 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615088661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12555/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.701467 s] /proc/loadavg: 2.14 2.04 2.01 3/73 12555 /proc/meminfo: memFree=1792024/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=0 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615088661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12555/statm: 1340 236 195 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+1.50256 s] /proc/loadavg: 2.14 2.04 2.01 3/75 12559 /proc/meminfo: memFree=1790408/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=0 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 615088661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/12555/statm: 1340 236 195 169 0 51 0 [pid=12559] ppid=12555 vsize=5780 CPUtime=1.48 /proc/12559/stat : 12559 (xsolve) R 12555 12555 11209 0 -1 4194304 844 0 0 0 148 0 0 0 25 0 1 0 615088662 5918720 803 996147200 134512640 135239763 4294956176 18446744073709551615 135095121 0 0 4096 0 0 0 0 17 0 0 0 /proc/12559/statm: 1445 803 445 177 0 348 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11140 [startup+3.10174 s] /proc/loadavg: 2.14 2.04 2.01 3/83 12571 /proc/meminfo: memFree=1784584/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=1.5 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 375 1440 0 0 0 0 149 1 19 0 1 0 615088661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12555/statm: 1340 238 196 169 0 51 0 [pid=12563] ppid=12555 vsize=197008 CPUtime=1.57 /proc/12563/stat : 12563 (java) S 12555 12555 11209 0 -1 0 5446 0 1 0 152 5 0 0 21 0 9 0 615088813 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12563/statm: 49252 4576 1868 9 0 43834 0 [pid=12563/tid=12564] ppid=12555 vsize=197008 CPUtime=1.24 /proc/12563/task/12564/stat : 12564 (java) R 12555 12555 11209 0 -1 64 2763 0 1 0 123 1 0 0 25 0 9 0 615088813 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12565] ppid=12555 vsize=197008 CPUtime=0.16 /proc/12563/task/12565/stat : 12565 (java) R 12555 12555 11209 0 -1 64 1344 0 0 0 14 2 0 0 16 0 9 0 615088814 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 102350374 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12566] ppid=12555 vsize=197008 CPUtime=0 /proc/12563/task/12566/stat : 12566 (java) S 12555 12555 11209 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 615088815 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12567] ppid=12555 vsize=197008 CPUtime=0 /proc/12563/task/12567/stat : 12567 (java) S 12555 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 615088815 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12568] ppid=12555 vsize=197008 CPUtime=0 /proc/12563/task/12568/stat : 12568 (java) S 12555 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 615088817 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12569] ppid=12555 vsize=197008 CPUtime=0.13 /proc/12563/task/12569/stat : 12569 (java) S 12555 12555 11209 0 -1 64 614 0 0 0 13 0 0 0 16 0 9 0 615088817 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12570] ppid=12555 vsize=197008 CPUtime=0 /proc/12563/task/12570/stat : 12570 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 615088817 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12571] ppid=12555 vsize=197008 CPUtime=0 /proc/12563/task/12571/stat : 12571 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 615088817 201736192 4576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 202368 [startup+6.30239 s] /proc/loadavg: 2.21 2.06 2.02 3/83 12571 /proc/meminfo: memFree=1772680/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=1.5 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 375 1440 0 0 0 0 149 1 19 0 1 0 615088661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12555/statm: 1340 238 196 169 0 51 0 [pid=12563] ppid=12555 vsize=197116 CPUtime=4.13 /proc/12563/stat : 12563 (java) S 12555 12555 11209 0 -1 0 9583 0 1 0 400 13 0 0 21 0 9 0 615088813 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12563/statm: 49279 7936 2541 9 0 43861 0 [pid=12563/tid=12564] ppid=12555 vsize=197116 CPUtime=3.32 /proc/12563/task/12564/stat : 12564 (java) R 12555 12555 11209 0 -1 64 3488 0 1 0 327 5 0 0 25 0 9 0 615088813 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12565] ppid=12555 vsize=197116 CPUtime=0.63 /proc/12563/task/12565/stat : 12565 (java) S 12555 12555 11209 0 -1 64 4741 0 0 0 56 7 0 0 15 0 9 0 615088814 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12566] ppid=12555 vsize=197116 CPUtime=0 /proc/12563/task/12566/stat : 12566 (java) S 12555 12555 11209 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 615088815 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12567] ppid=12555 vsize=197116 CPUtime=0 /proc/12563/task/12567/stat : 12567 (java) S 12555 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 615088815 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12568] ppid=12555 vsize=197116 CPUtime=0 /proc/12563/task/12568/stat : 12568 (java) S 12555 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 615088817 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12569] ppid=12555 vsize=197116 CPUtime=0.16 /proc/12563/task/12569/stat : 12569 (java) S 12555 12555 11209 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 615088817 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12570] ppid=12555 vsize=197116 CPUtime=0 /proc/12563/task/12570/stat : 12570 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 615088817 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12571] ppid=12555 vsize=197116 CPUtime=0 /proc/12563/task/12571/stat : 12571 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 615088817 201846784 7936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 5.63 Current children cumulated vsize (KiB) 202476 Solver just ended. Dumping a history of the last processes samples [startup+9.50246 s] /proc/loadavg: 2.35 2.09 2.03 4/95 12583 /proc/meminfo: memFree=1738024/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=1.5 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 375 1440 0 0 0 0 149 1 19 0 1 0 615088661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12555/statm: 1340 238 196 169 0 51 0 [pid=12563] ppid=12555 vsize=197440 CPUtime=5.7 /proc/12563/stat : 12563 (java) S 12555 12555 11209 0 -1 0 11435 0 1 0 552 18 0 0 21 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12563/statm: 49360 9395 2544 9 0 43942 0 [pid=12573] ppid=12563 vsize=5356 CPUtime=0 /proc/12573/stat : 12573 (abscon) S 12563 12555 11209 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 615089461 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12573/statm: 1339 237 196 169 0 50 0 [pid=12574] ppid=12573 vsize=655952 CPUtime=1.49 /proc/12574/stat : 12574 (java) S 12573 12555 11209 0 -1 0 17731 0 1 0 138 11 0 0 20 0 9 0 615089462 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12574/statm: 163988 17049 2613 9 0 158516 0 [pid=12574/tid=12576] ppid=12573 vsize=655952 CPUtime=1.09 /proc/12574/task/12576/stat : 12576 (java) R 12573 12555 11209 0 -1 64 12524 0 1 0 102 7 0 0 25 0 9 0 615089462 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12577] ppid=12573 vsize=655952 CPUtime=0.15 /proc/12574/task/12577/stat : 12577 (java) S 12573 12555 11209 0 -1 64 3997 0 0 0 14 1 0 0 17 0 9 0 615089464 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12578] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12578/stat : 12578 (java) S 12573 12555 11209 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 615089464 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12579] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12579/stat : 12579 (java) S 12573 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 615089464 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12580] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12580/stat : 12580 (java) S 12573 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12581] ppid=12573 vsize=655952 CPUtime=0.21 /proc/12574/task/12581/stat : 12581 (java) R 12573 12555 11209 0 -1 64 665 0 0 0 20 1 0 0 16 0 9 0 615089466 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12582] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12582/stat : 12582 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12583] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12583/stat : 12583 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 615089466 671694848 17049 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12575] ppid=12573 vsize=7044 CPUtime=0 /proc/12575/stat : 12575 (translate) S 12573 12555 11209 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 615089462 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12575/statm: 1761 213 182 1 0 41 0 [pid=12563/tid=12564] ppid=12555 vsize=197440 CPUtime=4.64 /proc/12563/task/12564/stat : 12564 (java) S 12555 12555 11209 0 -1 64 3864 0 1 0 456 8 0 0 24 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12563/tid=12565] ppid=12555 vsize=197440 CPUtime=0.83 /proc/12563/task/12565/stat : 12565 (java) S 12555 12555 11209 0 -1 64 6108 0 0 0 74 9 0 0 16 0 10 0 615088814 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12566] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12566/stat : 12566 (java) S 12555 12555 11209 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12567] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12567/stat : 12567 (java) S 12555 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12568] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12568/stat : 12568 (java) S 12555 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12569] ppid=12555 vsize=197440 CPUtime=0.21 /proc/12563/task/12569/stat : 12569 (java) S 12555 12555 11209 0 -1 64 666 0 0 0 21 0 0 0 16 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12570] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12570/stat : 12570 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12571] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12571/stat : 12571 (java) S 12555 12555 11209 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12572] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12572/stat : 12572 (java) S 12555 12555 11209 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 615089461 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.69 Current children cumulated vsize (KiB) 871152 [startup+11.1036 s] /proc/loadavg: 2.35 2.09 2.03 3/95 12583 /proc/meminfo: memFree=1686184/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=1.5 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 375 1440 0 0 0 0 149 1 19 0 1 0 615088661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12555/statm: 1340 238 196 169 0 51 0 [pid=12563] ppid=12555 vsize=197440 CPUtime=5.7 /proc/12563/stat : 12563 (java) S 12555 12555 11209 0 -1 0 11435 0 1 0 552 18 0 0 21 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12563/statm: 49360 9395 2544 9 0 43942 0 [pid=12573] ppid=12563 vsize=5356 CPUtime=0 /proc/12573/stat : 12573 (abscon) S 12563 12555 11209 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 615089461 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12573/statm: 1339 237 196 169 0 50 0 [pid=12574] ppid=12573 vsize=655952 CPUtime=3.09 /proc/12574/stat : 12574 (java) S 12573 12555 11209 0 -1 0 22310 0 1 0 296 13 0 0 20 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12574/statm: 163988 21625 2616 9 0 158516 0 [pid=12574/tid=12576] ppid=12573 vsize=655952 CPUtime=2.45 /proc/12574/task/12576/stat : 12576 (java) R 12573 12555 11209 0 -1 64 12574 0 1 0 238 7 0 0 25 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4127111311 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12577] ppid=12573 vsize=655952 CPUtime=0.29 /proc/12574/task/12577/stat : 12577 (java) S 12573 12555 11209 0 -1 64 8469 0 0 0 26 3 0 0 17 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/12563/task/12571/stat : 12571 (java) S 12555 12555 11209 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12572] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12572/stat : 12572 (java) S 12555 12555 11209 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 615089461 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.29 Current children cumulated vsize (KiB) 871152 [startup+11.5027 s] /proc/loadavg: 2.35 2.09 2.03 3/95 12583 /proc/meminfo: memFree=1686184/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=1.5 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 375 1440 0 0 0 0 149 1 19 0 1 0 615088661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12555/statm: 1340 238 196 169 0 51 0 [pid=12563] ppid=12555 vsize=197440 CPUtime=5.7 /proc/12563/stat : 12563 (java) S 12555 12555 11209 0 -1 0 11435 0 1 0 552 18 0 0 21 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12563/statm: 49360 9395 2544 9 0 43942 0 [pid=12573] ppid=12563 vsize=5356 CPUtime=0 /proc/12573/stat : 12573 (abscon) S 12563 12555 11209 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 615089461 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12573/statm: 1339 237 196 169 0 50 0 [pid=12574] ppid=12573 vsize=655952 CPUtime=3.49 /proc/12574/stat : 12574 (java) S 12573 12555 11209 0 -1 0 22310 0 1 0 336 13 0 0 20 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12574/statm: 163988 21625 2616 9 0 158516 0 [pid=12574/tid=12576] ppid=12573 vsize=655952 CPUtime=2.85 /proc/12574/task/12576/stat : 12576 (java) R 12573 12555 11209 0 -1 64 12574 0 1 0 278 7 0 0 25 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4125952058 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12577] ppid=12573 vsize=655952 CPUtime=0.29 /proc/12574/task/12577/stat : 12577 (java) S 12573 12555 11209 0 -1 64 8469 0 0 0 26 3 0 0 17 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12578] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12578/stat : 12578 (java) S 12573 12555 11209 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12579] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12579/stat : 12579 (java) S 12573 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12580] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12580/stat : 12580 (java) S 12573 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12581] ppid=12573 vsize=655952 CPUtime=0.31 /proc/12574/task/12581/stat : 12581 (java) S 12573 12555 11209 0 -1 64 722 0 0 0 30 1 0 0 15 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12582] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12582/stat : 12582 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12583] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12583/stat : 12583 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12575] ppid=12573 vsize=7044 CPUtime=0 /proc/12575/stat : 12575 (translate) S 12573 12555 11209 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 615089462 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12575/statm: 1761 213 182 1 0 41 0 [pid=12563/tid=12564] ppid=12555 vsize=197440 CPUtime=4.64 /proc/12563/task/12564/stat : 12564 (java) S 12555 12555 11209 0 -1 64 3864 0 1 0 456 8 0 0 24 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12563/tid=12565] ppid=12555 vsize=197440 CPUtime=0.83 /proc/12563/task/12565/stat : 12565 (java) S 12555 12555 11209 0 -1 64 6108 0 0 0 74 9 0 0 16 0 10 0 615088814 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12566] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12566/stat : 12566 (java) S 12555 12555 11209 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12567] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12567/stat : 12567 (java) S 12555 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12568] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12568/stat : 12568 (java) S 12555 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12569] ppid=12555 vsize=197440 CPUtime=0.21 /proc/12563/task/12569/stat : 12569 (java) S 12555 12555 11209 0 -1 64 666 0 0 0 21 0 0 0 16 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12570] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12570/stat : 12570 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12571] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12571/stat : 12571 (java) S 12555 12555 11209 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12572] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12572/stat : 12572 (java) S 12555 12555 11209 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 615089461 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.69 Current children cumulated vsize (KiB) 871152 [startup+11.7027 s] /proc/loadavg: 2.35 2.09 2.03 3/95 12583 /proc/meminfo: memFree=1686184/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=1.5 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 375 1440 0 0 0 0 149 1 19 0 1 0 615088661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12555/statm: 1340 238 196 169 0 51 0 [pid=12563] ppid=12555 vsize=197440 CPUtime=5.7 /proc/12563/stat : 12563 (java) S 12555 12555 11209 0 -1 0 11435 0 1 0 552 18 0 0 21 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12563/statm: 49360 9395 2544 9 0 43942 0 [pid=12573] ppid=12563 vsize=5356 CPUtime=0 /proc/12573/stat : 12573 (abscon) S 12563 12555 11209 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 615089461 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12573/statm: 1339 237 196 169 0 50 0 [pid=12574] ppid=12573 vsize=655952 CPUtime=3.69 /proc/12574/stat : 12574 (java) S 12573 12555 11209 0 -1 0 22310 0 1 0 356 13 0 0 20 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12574/statm: 163988 21625 2616 9 0 158516 0 [pid=12574/tid=12576] ppid=12573 vsize=655952 CPUtime=3.05 /proc/12574/task/12576/stat : 12576 (java) R 12573 12555 11209 0 -1 64 12574 0 1 0 298 7 0 0 25 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4127140347 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12577] ppid=12573 vsize=655952 CPUtime=0.29 /proc/12574/task/12577/stat : 12577 (java) S 12573 12555 11209 0 -1 64 8469 0 0 0 26 3 0 0 17 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12578] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12578/stat : 12578 (java) S 12573 12555 11209 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12579] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12579/stat : 12579 (java) S 12573 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12580] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12580/stat : 12580 (java) S 12573 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12581] ppid=12573 vsize=655952 CPUtime=0.31 /proc/12574/task/12581/stat : 12581 (java) S 12573 12555 11209 0 -1 64 722 0 0 0 30 1 0 0 15 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12582] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12582/stat : 12582 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12583] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12583/stat : 12583 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12575] ppid=12573 vsize=7044 CPUtime=0 /proc/12575/stat : 12575 (translate) S 12573 12555 11209 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 615089462 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12575/statm: 1761 213 182 1 0 41 0 [pid=12563/tid=12564] ppid=12555 vsize=197440 CPUtime=4.64 /proc/12563/task/12564/stat : 12564 (java) S 12555 12555 11209 0 -1 64 3864 0 1 0 456 8 0 0 24 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12563/tid=12565] ppid=12555 vsize=197440 CPUtime=0.83 /proc/12563/task/12565/stat : 12565 (java) S 12555 12555 11209 0 -1 64 6108 0 0 0 74 9 0 0 16 0 10 0 615088814 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12566] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12566/stat : 12566 (java) S 12555 12555 11209 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12567] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12567/stat : 12567 (java) S 12555 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12568] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12568/stat : 12568 (java) S 12555 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12569] ppid=12555 vsize=197440 CPUtime=0.21 /proc/12563/task/12569/stat : 12569 (java) S 12555 12555 11209 0 -1 64 666 0 0 0 21 0 0 0 16 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12570] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12570/stat : 12570 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12571] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12571/stat : 12571 (java) S 12555 12555 11209 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12572] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12572/stat : 12572 (java) S 12555 12555 11209 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 615089461 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.89 Current children cumulated vsize (KiB) 871152 [startup+11.8027 s] /proc/loadavg: 2.35 2.09 2.03 3/95 12583 /proc/meminfo: memFree=1686184/2055920 swapFree=4179400/4192956 [pid=12555] ppid=12553 vsize=5360 CPUtime=1.5 /proc/12555/stat : 12555 (hydra) S 12553 12555 11209 0 -1 4194304 375 1440 0 0 0 0 149 1 19 0 1 0 615088661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/12555/statm: 1340 238 196 169 0 51 0 [pid=12563] ppid=12555 vsize=197440 CPUtime=5.7 /proc/12563/stat : 12563 (java) S 12555 12555 11209 0 -1 0 11435 0 1 0 552 18 0 0 21 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12563/statm: 49360 9395 2544 9 0 43942 0 [pid=12573] ppid=12563 vsize=5356 CPUtime=0 /proc/12573/stat : 12573 (abscon) S 12563 12555 11209 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 615089461 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 254613709636 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0 /proc/12573/statm: 1339 237 196 169 0 50 0 [pid=12574] ppid=12573 vsize=655952 CPUtime=3.79 /proc/12574/stat : 12574 (java) S 12573 12555 11209 0 -1 0 22310 0 1 0 366 13 0 0 20 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12574/statm: 163988 21625 2616 9 0 158516 0 [pid=12574/tid=12576] ppid=12573 vsize=655952 CPUtime=3.15 /proc/12574/task/12576/stat : 12576 (java) R 12573 12555 11209 0 -1 64 12574 0 1 0 308 7 0 0 25 0 9 0 615089462 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4127114477 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12577] ppid=12573 vsize=655952 CPUtime=0.29 /proc/12574/task/12577/stat : 12577 (java) S 12573 12555 11209 0 -1 64 8469 0 0 0 26 3 0 0 17 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12578] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12578/stat : 12578 (java) S 12573 12555 11209 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12579] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12579/stat : 12579 (java) S 12573 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 615089464 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12580] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12580/stat : 12580 (java) S 12573 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12581] ppid=12573 vsize=655952 CPUtime=0.31 /proc/12574/task/12581/stat : 12581 (java) S 12573 12555 11209 0 -1 64 722 0 0 0 30 1 0 0 15 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12582] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12582/stat : 12582 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12574/tid=12583] ppid=12573 vsize=655952 CPUtime=0 /proc/12574/task/12583/stat : 12583 (java) S 12573 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 615089466 671694848 21625 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12575] ppid=12573 vsize=7044 CPUtime=0 /proc/12575/stat : 12575 (translate) S 12573 12555 11209 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 615089462 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 254613880914 0 4 0 0 18446744071563648864 0 0 17 0 0 0 /proc/12575/statm: 1761 213 182 1 0 41 0 [pid=12563/tid=12564] ppid=12555 vsize=197440 CPUtime=4.64 /proc/12563/task/12564/stat : 12564 (java) S 12555 12555 11209 0 -1 64 3864 0 1 0 456 8 0 0 24 0 10 0 615088813 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0 [pid=12563/tid=12565] ppid=12555 vsize=197440 CPUtime=0.83 /proc/12563/task/12565/stat : 12565 (java) S 12555 12555 11209 0 -1 64 6108 0 0 0 74 9 0 0 16 0 10 0 615088814 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12566] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12566/stat : 12566 (java) S 12555 12555 11209 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12567] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12567/stat : 12567 (java) S 12555 12555 11209 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 615088815 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12568] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12568/stat : 12568 (java) S 12555 12555 11209 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12569] ppid=12555 vsize=197440 CPUtime=0.21 /proc/12563/task/12569/stat : 12569 (java) S 12555 12555 11209 0 -1 64 666 0 0 0 21 0 0 0 16 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12570] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12570/stat : 12570 (java) S 12555 12555 11209 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12571] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12571/stat : 12571 (java) S 12555 12555 11209 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 615088817 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12563/tid=12572] ppid=12555 vsize=197440 CPUtime=0 /proc/12563/task/12572/stat : 12572 (java) S 12555 12555 11209 0 -1 64 66 0 0 0 0 0 0 0 25 0 10 0 615089461 202178560 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.99 Current children cumulated vsize (KiB) 871152 Child status: 0 Real time (s): 11.8764 CPU time (s): 11.0923 CPU user time (s): 10.7254 CPU system time (s): 0.366944 CPU usage (%): 93.3979 Max. virtual memory (cumulated for all children) (KiB): 871264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.7254 system time used= 0.366944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36306 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= 10850 involuntary context switches= 15897 runsolver used 0.052991 second user time and 0.141978 second system time The end
Begin job on node87 at 2008-07-02 21:52:10 IDJOB=1046539 IDBENCH=53920 IDSOLVER=366 FILE ID=node87/1046539-1215028330 PBS_JOBID= 7874297 Free space on /tmp= 66532 MiB SOLVER NAME= cpHydra k_40 BENCH NAME= CPAI08/csp/QG4/normalized-quasigroup4-9.xml COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1046539-1215028330/watcher-1046539-1215028330 -o /tmp/evaluation-result-1046539-1215028330/solver-1046539-1215028330 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1046539-1215028330.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= d0d864992a962c8beff5238515ba838d RANDOM SEED=1281075967 node87.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.232 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.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1792504 kB Buffers: 24340 kB Cached: 154876 kB SwapCached: 7648 kB Active: 151552 kB Inactive: 43872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792504 kB SwapTotal: 4192956 kB SwapFree: 4179400 kB Dirty: 24924 kB Writeback: 0 kB Mapped: 24056 kB Slab: 53196 kB Committed_AS: 1536412 kB PageTables: 1836 kB VmallocTotal: 536870911 kB VmallocUsed: 264992 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 node87 at 2008-07-02 21:52:22