Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.06 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb |
MD5SUM | 7511e7863ac3e00f42a81c49dc15d5a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 12.1731 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 34 |
Optimality of the best value was proved | YES |
Number of variables | 386 |
Total number of constraints | 680 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 679 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 91 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 472 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.01/0.03 c ...done 0.01/0.03 c #vars=386 #constraints=681 hasObjective=yes 0.01/0.04 c res. mode=mod 0.01/0.04 c VSIDS like heuristics 0.01/0.04 c complete search running 0.01/0.05 c restart after 401 decisions 0.01/0.05 c nbDecision=500 #constraints=683 0.01/0.05 c restart after 801 decisions 0.01/0.06 c nbDecision=1000 #constraints=685 0.01/0.07 c nbDecision=1500 #constraints=689 0.01/0.07 c restart after 1601 decisions 0.01/0.07 c nbDecision=2000 #constraints=691 0.01/0.08 c nbDecision=2500 #constraints=694 0.01/0.09 c nbDecision=3000 #constraints=697 0.01/0.10 c restart after 3201 decisions 0.10/0.10 c nbDecision=3500 #constraints=700 0.10/0.11 c nbDecision=4000 #constraints=703 0.10/0.12 c nbDecision=4500 #constraints=705 0.10/0.14 c nbDecision=5000 #constraints=732 0.10/0.15 c nbDecision=5500 #constraints=743 0.10/0.18 c nbDecision=6000 #constraints=780 0.20/0.20 c restart after 6401 decisions 0.20/0.20 c nbDecision=6500 #constraints=799 0.20/0.22 c nbDecision=7000 #constraints=819 0.20/0.26 c nbDecision=7500 #constraints=859 0.20/0.28 c nbDecision=8000 #constraints=887 0.29/0.32 c nbDecision=8500 #constraints=942 0.29/0.35 c nbDecision=9000 #constraints=967 0.29/0.39 c nbDecision=9500 #constraints=1022 0.39/0.44 c nbDecision=10000 #constraints=1080 0.39/0.48 c nbDecision=10500 #constraints=1130 0.49/0.55 c nbDecision=11000 #constraints=1198 0.59/0.65 c nbDecision=11500 #constraints=1288 0.69/0.73 c nbDecision=12000 #constraints=1379 0.69/0.79 c nbDecision=12500 #constraints=1447 0.79/0.81 c restart after 12801 decisions 0.79/0.81 c nbDecision=13000 #constraints=1461 0.79/0.85 c nbDecision=13500 #constraints=1503 0.79/0.89 c nbDecision=14000 #constraints=1539 0.89/0.96 c nbDecision=14500 #constraints=1616 1.00/1.05 c nbDecision=15000 #constraints=1676 1.10/1.15 c nbDecision=15500 #constraints=1759 1.19/1.24 c nbDecision=16000 #constraints=1833 1.29/1.31 c nbDecision=16500 #constraints=1885 1.39/1.42 c nbDecision=17000 #constraints=1994 1.49/1.58 c nbDecision=17500 #constraints=2108 1.69/1.72 c nbDecision=18000 #constraints=2185 1.69/1.73 c nbDecision=18500 #constraints=2188 1.69/1.74 c nbDecision=19000 #constraints=2191 1.69/1.76 c nbDecision=19500 #constraints=2194 1.69/1.77 c nbDecision=20000 #constraints=2197 1.79/1.81 c nbDecision=20500 #constraints=2216 1.99/2.02 c nbDecision=21000 #constraints=2347 2.10/2.19 c nbDecision=21500 #constraints=2451 2.20/2.28 c nbDecision=22000 #constraints=2531 2.39/2.46 c nbDecision=22500 #constraints=2635 2.49/2.59 c nbDecision=23000 #constraints=2720 2.69/2.72 c nbDecision=23500 #constraints=2811 2.79/2.88 c nbDecision=24000 #constraints=2913 2.99/3.06 c nbDecision=24500 #constraints=3027 3.20/3.27 c nbDecision=25000 #constraints=3160 3.49/3.51 c nbDecision=25500 #constraints=3277 3.59/3.68 c restart after 25601 decisions 3.89/3.93 c nbDecision=26000 #constraints=3399 4.09/4.19 c nbDecision=26500 #constraints=3467 4.49/4.54 c nbDecision=27000 #constraints=3591 4.69/4.71 c nbDecision=27500 #constraints=3630 4.89/4.92 c nbDecision=28000 #constraints=3691 4.89/4.96 c nbDecision=28500 #constraints=3694 4.89/4.98 c nbDecision=29000 #constraints=3696 4.99/5.08 c nbDecision=29500 #constraints=3712 5.49/5.54 c nbDecision=30000 #constraints=3824 5.49/5.58 c nbDecision=30500 #constraints=3827 5.89/5.92 c nbDecision=31000 #constraints=3895 6.39/6.49 c nbDecision=31500 #constraints=4070 6.78/6.81 c nbDecision=32000 #constraints=4092 7.48/7.51 c nbDecision=32500 #constraints=4140 8.18/8.25 c nbDecision=33000 #constraints=4224 8.58/8.62 c nbDecision=33500 #constraints=4309 10.28/10.33 c nbDecision=34000 #constraints=4440 11.99/12.02 c nbDecision=34500 #constraints=4561 13.78/13.88 c nbDecision=35000 #constraints=4699 15.48/15.53 c nbDecision=35500 #constraints=4807 17.08/17.12 c nbDecision=36000 #constraints=4903 18.88/18.97 c nbDecision=36500 #constraints=5016 20.18/20.26 c nbDecision=37000 #constraints=5098 21.78/21.85 c nbDecision=37500 #constraints=5219 23.29/23.35 c nbDecision=38000 #constraints=5306 25.78/25.80 c nbDecision=38500 #constraints=5485 26.58/26.62 c nbDecision=39000 #constraints=5532 27.28/27.36 c nbDecision=39500 #constraints=5579 28.59/28.65 c nbDecision=40000 #constraints=5677 29.98/30.07 c nbDecision=40500 #constraints=5777 30.48/30.52 c nbDecision=41000 #constraints=5806 30.68/30.71 c nbDecision=41500 #constraints=5823 30.98/31.09 c nbDecision=42000 #constraints=5864 31.18/31.25 c nbDecision=42500 #constraints=5876 31.38/31.46 c nbDecision=43000 #constraints=5891 31.48/31.53 c nbDecision=43500 #constraints=5898 31.48/31.58 c nbDecision=44000 #constraints=5904 31.58/31.61 c nbDecision=44500 #constraints=5908 31.58/31.64 c nbDecision=45000 #constraints=5913 31.58/31.69 c nbDecision=45500 #constraints=5917 31.68/31.74 c nbDecision=46000 #constraints=5921 31.68/31.79 c nbDecision=46500 #constraints=5926 31.78/31.84 c nbDecision=47000 #constraints=5932 31.78/31.89 c nbDecision=47500 #constraints=5938 31.88/31.97 c nbDecision=48000 #constraints=5953 31.98/32.08 c nbDecision=48500 #constraints=5975 32.08/32.20 c nbDecision=49000 #constraints=5988 32.18/32.26 c nbDecision=49500 #constraints=5996 32.28/32.37 c nbDecision=50000 #constraints=6019 32.38/32.49 c nbDecision=50500 #constraints=6045 32.48/32.56 c nbDecision=51000 #constraints=6055 32.48/32.58 c restart after 51201 decisions 32.68/32.72 c nbDecision=51500 #constraints=6062 32.78/32.82 c nbDecision=52000 #constraints=6075 32.88/32.93 c nbDecision=52500 #constraints=6091 32.98/33.05 c nbDecision=53000 #constraints=6108 33.08/33.13 c nbDecision=53500 #constraints=6121 33.18/33.22 c nbDecision=54000 #constraints=6139 33.28/33.32 c nbDecision=54500 #constraints=6155 33.37/33.45 c nbDecision=55000 #constraints=6180 33.47/33.55 c nbDecision=55500 #constraints=6199 33.57/33.65 c nbDecision=56000 #constraints=6214 33.67/33.76 c nbDecision=56500 #constraints=6229 33.77/33.89 c nbDecision=57000 #constraints=6250 33.98/34.01 c nbDecision=57500 #constraints=6272 34.08/34.10 c nbDecision=58000 #constraints=6291 34.17/34.21 c nbDecision=58500 #constraints=6314 34.27/34.34 c nbDecision=59000 #constraints=6342 34.37/34.46 c nbDecision=59500 #constraints=6361 34.57/34.60 c nbDecision=60000 #constraints=6382 34.67/34.73 c nbDecision=60500 #constraints=6405 34.77/34.86 c nbDecision=61000 #constraints=6433 34.87/34.93 c nbDecision=61500 #constraints=6450 34.87/34.99 c nbDecision=62000 #constraints=6462 35.09/35.10 c nbDecision=62500 #constraints=6484 35.19/35.21 c nbDecision=63000 #constraints=6504 35.19/35.27 c nbDecision=63500 #constraints=6524 35.28/35.37 c nbDecision=64000 #constraints=6541 35.48/35.52 c nbDecision=64500 #constraints=6566 35.58/35.65 c nbDecision=65000 #constraints=6586 35.78/35.85 c nbDecision=65500 #constraints=6618 35.88/35.97 c nbDecision=66000 #constraints=6638 36.08/36.13 c nbDecision=66500 #constraints=6662 36.19/36.20 c nbDecision=67000 #constraints=6674 36.19/36.28 c nbDecision=67500 #constraints=6684 36.29/36.38 c nbDecision=68000 #constraints=6697 36.48/36.54 c nbDecision=68500 #constraints=6715 36.78/36.83 c nbDecision=69000 #constraints=6751 36.98/37.03 c nbDecision=69500 #constraints=6783 37.18/37.23 c nbDecision=70000 #constraints=6814 37.39/37.47 c nbDecision=70500 #constraints=6850 37.58/37.64 c nbDecision=71000 #constraints=6879 37.78/37.84 c nbDecision=71500 #constraints=6905 37.88/37.97 c nbDecision=72000 #constraints=6925 38.08/38.15 c nbDecision=72500 #constraints=6953 38.28/38.34 c nbDecision=73000 #constraints=6983 38.49/38.51 c nbDecision=73500 #constraints=7010 38.58/38.69 c nbDecision=74000 #constraints=7038 38.78/38.88 c nbDecision=74500 #constraints=7065 38.98/39.07 c nbDecision=75000 #constraints=7089 39.28/39.31 c nbDecision=75500 #constraints=7122 39.48/39.52 c nbDecision=76000 #constraints=7151 39.68/39.70 c nbDecision=76500 #constraints=7177 39.88/39.93 c nbDecision=77000 #constraints=7211 40.18/40.20 c nbDecision=77500 #constraints=7252 40.28/40.37 c nbDecision=78000 #constraints=7281 40.48/40.53 c nbDecision=78500 #constraints=7308 40.68/40.77 c nbDecision=79000 #constraints=7338 40.88/40.99 c nbDecision=79500 #constraints=7357 40.98/41.09 c nbDecision=80000 #constraints=7360 41.18/41.22 c nbDecision=80500 #constraints=7365 41.28/41.34 c nbDecision=81000 #constraints=7369 41.48/41.56 c nbDecision=81500 #constraints=7384 41.68/41.73 c nbDecision=82000 #constraints=7395 41.88/41.93 c nbDecision=82500 #constraints=7407 41.98/42.08 c nbDecision=83000 #constraints=7413 42.18/42.26 c nbDecision=83500 #constraints=7425 42.48/42.52 c nbDecision=84000 #constraints=7442 42.78/42.88 c nbDecision=84500 #constraints=7472 43.28/43.32 c nbDecision=85000 #constraints=7517 43.48/43.52 c nbDecision=85500 #constraints=7523 43.58/43.65 c nbDecision=86000 #constraints=7526 43.78/43.82 c nbDecision=86500 #constraints=7531 43.88/43.95 c nbDecision=87000 #constraints=7534 43.98/44.09 c nbDecision=87500 #constraints=7537 44.18/44.25 c nbDecision=88000 #constraints=7544 44.28/44.39 c nbDecision=88500 #constraints=7548 44.48/44.54 c nbDecision=89000 #constraints=7551 44.58/44.67 c nbDecision=89500 #constraints=7555 44.78/44.81 c nbDecision=90000 #constraints=7559 44.88/44.93 c nbDecision=90500 #constraints=7562 44.98/45.09 c nbDecision=91000 #constraints=7571 45.18/45.23 c nbDecision=91500 #constraints=7575 45.38/45.40 c nbDecision=92000 #constraints=7579 45.48/45.56 c nbDecision=92500 #constraints=7583 45.68/45.72 c nbDecision=93000 #constraints=7587 45.78/45.89 c nbDecision=93500 #constraints=7591 45.98/46.04 c nbDecision=94000 #constraints=7595 46.18/46.20 c nbDecision=94500 #constraints=7599 46.28/46.32 c nbDecision=95000 #constraints=7604 46.38/46.44 c nbDecision=95500 #constraints=7609 46.48/46.54 c nbDecision=96000 #constraints=7613 46.68/46.77 c nbDecision=96500 #constraints=7624 46.98/47.04 c nbDecision=97000 #constraints=7637 47.28/47.38 c nbDecision=97500 #constraints=7675 47.78/47.83 c nbDecision=98000 #constraints=7694 48.17/48.25 c nbDecision=98500 #constraints=7710 48.57/48.63 c nbDecision=99000 #constraints=7726 48.97/49.01 c nbDecision=99500 #constraints=7742 49.38/49.42 c nbDecision=100000 #constraints=7759 49.77/49.88 c nbDecision=100500 #constraints=7780 50.27/50.35 c nbDecision=101000 #constraints=7799 50.77/50.88 c nbDecision=101500 #constraints=7823 51.27/51.35 c nbDecision=102000 #constraints=7841 51.47/51.60 c restart after 102401 decisions 51.68/51.78 c nbDecision=102500 #constraints=7855 51.97/52.04 c nbDecision=103000 #constraints=7871 52.27/52.39 c nbDecision=103500 #constraints=7892 52.47/52.59 c nbDecision=104000 #constraints=7901 52.87/52.95 c nbDecision=104500 #constraints=7929 53.17/53.26 c nbDecision=105000 #constraints=7948 53.47/53.54 c nbDecision=105500 #constraints=7968 53.67/53.80 c nbDecision=106000 #constraints=7982 54.07/54.15 c nbDecision=106500 #constraints=8001 54.57/54.64 c nbDecision=107000 #constraints=8031 55.17/55.25 c nbDecision=107500 #constraints=8070 55.57/55.64 c nbDecision=108000 #constraints=8093 56.07/56.13 c nbDecision=108500 #constraints=8122 56.47/56.58 c nbDecision=109000 #constraints=8145 56.77/56.85 c nbDecision=109500 #constraints=8154 56.87/56.96 c nbDecision=110000 #constraints=8159 56.97/57.08 c nbDecision=110500 #constraints=8164 57.17/57.24 c nbDecision=111000 #constraints=8176 57.47/57.55 c nbDecision=111500 #constraints=8197 57.77/57.82 c nbDecision=112000 #constraints=8215 57.97/58.02 c nbDecision=112500 #constraints=8228 58.17/58.26 c nbDecision=113000 #constraints=8241 58.37/58.48 c nbDecision=113500 #constraints=8256 58.57/58.67 c nbDecision=114000 #constraints=8265 58.77/58.87 c nbDecision=114500 #constraints=8272 59.07/59.16 c nbDecision=115000 #constraints=8279 59.27/59.38 c nbDecision=115500 #constraints=8285 59.57/59.69 c nbDecision=116000 #constraints=8295 59.87/59.97 c nbDecision=116500 #constraints=8305 60.27/60.31 c nbDecision=117000 #constraints=8316 60.47/60.56 c nbDecision=117500 #constraints=8324 60.87/60.92 c nbDecision=118000 #constraints=8340 61.27/61.30 c nbDecision=118500 #constraints=8360 61.57/61.67 c nbDecision=119000 #constraints=8382 61.88/61.99 c nbDecision=119500 #constraints=8399 62.28/62.39 c nbDecision=120000 #constraints=8420 62.58/62.62 c nbDecision=120500 #constraints=8427 62.78/62.82 c nbDecision=121000 #constraints=8433 62.88/62.96 c nbDecision=121500 #constraints=8441 63.18/63.20 c nbDecision=122000 #constraints=8451 63.28/63.34 c nbDecision=122500 #constraints=8454 63.48/63.55 c nbDecision=123000 #constraints=8460 63.78/63.82 c nbDecision=123500 #constraints=8470 63.98/64.08 c nbDecision=124000 #constraints=8477 64.28/64.35 c nbDecision=124500 #constraints=8490 64.68/64.71 c nbDecision=125000 #constraints=8508 64.98/65.02 c nbDecision=125500 #constraints=8526 65.37/65.40 c nbDecision=126000 #constraints=8547 65.77/65.82 c nbDecision=126500 #constraints=8568 66.17/66.25 c nbDecision=127000 #constraints=8588 66.87/66.90 c nbDecision=127500 #constraints=8610 67.08/67.17 c nbDecision=128000 #constraints=8620 67.57/67.61 c nbDecision=128500 #constraints=8638 67.77/67.88 c nbDecision=129000 #constraints=8651 68.27/68.31 c nbDecision=129500 #constraints=8672 68.47/68.58 c nbDecision=130000 #constraints=8680 68.77/68.87 c nbDecision=130500 #constraints=8692 69.18/69.24 c nbDecision=131000 #constraints=8713 69.47/69.52 c nbDecision=131500 #constraints=8722 69.87/69.94 c nbDecision=132000 #constraints=8738 70.28/70.31 c nbDecision=132500 #constraints=8758 70.67/70.73 c nbDecision=133000 #constraints=8780 70.77/70.89 c nbDecision=133500 #constraints=8788 71.17/71.30 c nbDecision=134000 #constraints=8803 71.48/71.59 c nbDecision=134500 #constraints=8814 71.87/71.97 c nbDecision=135000 #constraints=8827 72.17/72.29 c nbDecision=135500 #constraints=8840 72.67/72.72 c nbDecision=136000 #constraints=8865 72.97/73.06 c nbDecision=136500 #constraints=8875 73.27/73.39 c nbDecision=137000 #constraints=8886 73.58/73.70 c nbDecision=137500 #constraints=8896 74.07/74.15 c nbDecision=138000 #constraints=8916 74.57/74.60 c nbDecision=138500 #constraints=8934 75.07/75.12 c nbDecision=139000 #constraints=8957 75.57/75.65 c nbDecision=139500 #constraints=8982 75.97/76.01 c nbDecision=140000 #constraints=9000 76.57/76.63 c nbDecision=140500 #constraints=9026 77.17/77.25 c nbDecision=141000 #constraints=9054 77.57/77.61 c nbDecision=141500 #constraints=9070 78.17/78.21 c nbDecision=142000 #constraints=9095 78.37/78.44 c nbDecision=142500 #constraints=9107 78.67/78.77 c nbDecision=143000 #constraints=9124 79.17/79.26 c nbDecision=143500 #constraints=9148 79.56/79.65 c nbDecision=144000 #constraints=9165 79.86/79.95 c nbDecision=144500 #constraints=9180 80.27/80.34 c nbDecision=145000 #constraints=9200 80.76/80.87 c nbDecision=145500 #constraints=9227 81.27/81.40 c nbDecision=146000 #constraints=9252 81.76/81.85 c nbDecision=146500 #constraints=9273 82.26/82.34 c nbDecision=147000 #constraints=9295 82.67/82.70 c nbDecision=147500 #constraints=9318 82.97/83.07 c nbDecision=148000 #constraints=9340 83.27/83.39 c nbDecision=148500 #constraints=9357 83.67/83.79 c nbDecision=149000 #constraints=9380 84.17/84.22 c nbDecision=149500 #constraints=9409 84.67/84.77 c nbDecision=150000 #constraints=9441 85.37/85.41 c nbDecision=150500 #constraints=9478 85.87/85.90 c nbDecision=151000 #constraints=9501 86.47/86.53 c nbDecision=151500 #constraints=9534 87.07/87.11 c nbDecision=152000 #constraints=9564 87.67/87.72 c nbDecision=152500 #constraints=9592 88.46/88.55 c nbDecision=153000 #constraints=9628 89.46/89.54 c nbDecision=153500 #constraints=9667 90.27/90.33 c nbDecision=154000 #constraints=9696 90.96/91.02 c nbDecision=154500 #constraints=9724 91.86/91.90 c nbDecision=155000 #constraints=9762 92.66/92.70 c nbDecision=155500 #constraints=9804 93.56/93.63 c nbDecision=156000 #constraints=9850 94.26/94.32 c nbDecision=156500 #constraints=9883 95.36/95.48 c nbDecision=157000 #constraints=9934 95.96/96.04 c nbDecision=157500 #constraints=9957 96.96/97.02 c nbDecision=158000 #constraints=9998 98.06/98.11 c nbDecision=158500 #constraints=10038 98.56/98.63 c nbDecision=159000 #constraints=10055 99.06/99.16 c nbDecision=159500 #constraints=10077 99.46/99.50 c nbDecision=160000 #constraints=10092 99.86/99.92 c nbDecision=160500 #constraints=10114 100.46/100.53 c nbDecision=161000 #constraints=10146 100.86/100.95 c nbDecision=161500 #constraints=10170 101.26/101.37 c nbDecision=162000 #constraints=10195 101.66/101.77 c nbDecision=162500 #constraints=10218 102.27/102.35 c nbDecision=163000 #constraints=10249 102.96/103.05 c nbDecision=163500 #constraints=10283 103.76/103.84 c nbDecision=164000 #constraints=10316 104.26/104.32 c nbDecision=164500 #constraints=10332 104.66/104.77 c nbDecision=165000 #constraints=10345 105.06/105.14 c nbDecision=165500 #constraints=10359 105.46/105.56 c nbDecision=166000 #constraints=10376 106.06/106.10 c nbDecision=166500 #constraints=10394 106.26/106.38 c nbDecision=167000 #constraints=10404 106.66/106.73 c nbDecision=167500 #constraints=10417 107.06/107.16 c nbDecision=168000 #constraints=10435 107.36/107.48 c nbDecision=168500 #constraints=10447 107.66/107.70 c nbDecision=169000 #constraints=10456 107.86/107.92 c nbDecision=169500 #constraints=10465 108.26/108.35 c nbDecision=170000 #constraints=10484 108.76/108.85 c nbDecision=170500 #constraints=10505 109.06/109.19 c nbDecision=171000 #constraints=10517 109.56/109.61 c nbDecision=171500 #constraints=10534 110.06/110.13 c nbDecision=172000 #constraints=10553 110.66/110.74 c nbDecision=172500 #constraints=10570 111.06/111.17 c nbDecision=173000 #constraints=10582 111.46/111.50 c nbDecision=173500 #constraints=10594 111.86/111.93 c nbDecision=174000 #constraints=10608 112.76/112.81 c nbDecision=174500 #constraints=10635 113.06/113.13 c nbDecision=175000 #constraints=10647 113.46/113.57 c nbDecision=175500 #constraints=10665 114.16/114.25 c nbDecision=176000 #constraints=10691 114.76/114.88 c nbDecision=176500 #constraints=10714 115.85/115.90 c nbDecision=177000 #constraints=10746 116.75/116.84 c nbDecision=177500 #constraints=10775 117.56/117.61 c nbDecision=178000 #constraints=10803 117.95/118.01 c nbDecision=178500 #constraints=10825 118.35/118.41 c nbDecision=179000 #constraints=10843 119.15/119.22 c nbDecision=179500 #constraints=10877 119.65/119.71 c nbDecision=180000 #constraints=10898 120.15/120.22 c nbDecision=180500 #constraints=10921 120.45/120.57 c nbDecision=181000 #constraints=10936 121.15/121.26 c nbDecision=181500 #constraints=10962 121.65/121.72 c nbDecision=182000 #constraints=10980 122.15/122.22 c nbDecision=182500 #constraints=11003 122.65/122.79 c nbDecision=183000 #constraints=11020 123.35/123.49 c nbDecision=183500 #constraints=11052 124.26/124.38 c nbDecision=184000 #constraints=11089 124.96/125.08 c nbDecision=184500 #constraints=11120 125.56/125.62 c nbDecision=185000 #constraints=11143 126.56/126.66 c nbDecision=185500 #constraints=11180 127.66/127.77 c nbDecision=186000 #constraints=11215 128.56/128.65 c nbDecision=186500 #constraints=11242 129.45/129.57 c nbDecision=187000 #constraints=11272 130.65/130.77 c nbDecision=187500 #constraints=11319 132.05/132.13 c nbDecision=188000 #constraints=11362 133.45/133.59 c nbDecision=188500 #constraints=11404 134.45/134.59 c nbDecision=189000 #constraints=11437 136.15/136.25 c nbDecision=189500 #constraints=11486 136.95/137.09 c nbDecision=190000 #constraints=11514 137.45/137.52 c nbDecision=190500 #constraints=11531 138.74/138.82 c nbDecision=191000 #constraints=11579 139.84/139.92 c nbDecision=191500 #constraints=11618 140.75/140.89 c nbDecision=192000 #constraints=11655 142.05/142.16 c nbDecision=192500 #constraints=11696 142.85/142.90 c nbDecision=193000 #constraints=11718 144.14/144.21 c nbDecision=193500 #constraints=11757 145.05/145.13 c nbDecision=194000 #constraints=11779 146.04/146.15 c nbDecision=194500 #constraints=11806 147.26/147.34 c nbDecision=195000 #constraints=11842 148.15/148.28 c nbDecision=195500 #constraints=11870 149.05/149.10 c nbDecision=196000 #constraints=11896 149.75/149.89 c nbDecision=196500 #constraints=11921 151.05/151.10 c nbDecision=197000 #constraints=11963 152.25/152.38 c nbDecision=197500 #constraints=12007 153.35/153.46 c nbDecision=198000 #constraints=12047 154.35/154.40 c nbDecision=198500 #constraints=12079 155.15/155.22 c nbDecision=199000 #constraints=12114 156.45/156.50 c nbDecision=199500 #constraints=12157 157.45/157.53 c nbDecision=200000 #constraints=12189 158.54/158.60 c nbDecision=200500 #constraints=12221 159.25/159.32 c nbDecision=201000 #constraints=12242 160.34/160.44 c nbDecision=201500 #constraints=12277 162.14/162.25 c nbDecision=202000 #constraints=12338 163.34/163.44 c nbDecision=202500 #constraints=12378 164.44/164.53 c nbDecision=203000 #constraints=12410 165.64/165.73 c nbDecision=203500 #constraints=12446 166.64/166.79 c nbDecision=204000 #constraints=12479 167.84/167.96 c nbDecision=204500 #constraints=12516 168.64/168.79 c restart after 204801 decisions 169.04/169.14 c nbDecision=205000 #constraints=12544 173.04/173.18 c nbDecision=205500 #constraints=12628 174.34/174.44 c nbDecision=206000 #constraints=12645 174.94/175.02 c nbDecision=206500 #constraints=12651 175.54/175.65 c nbDecision=207000 #constraints=12658 175.84/175.94 c nbDecision=207500 #constraints=12662 176.04/176.19 c nbDecision=208000 #constraints=12668 176.34/176.41 c nbDecision=208500 #constraints=12672 176.54/176.68 c nbDecision=209000 #constraints=12677 176.74/176.89 c nbDecision=209500 #constraints=12685 177.04/177.17 c nbDecision=210000 #constraints=12693 177.54/177.62 c nbDecision=210500 #constraints=12699 177.74/177.87 c nbDecision=211000 #constraints=12703 178.04/178.12 c nbDecision=211500 #constraints=12708 178.44/178.53 c nbDecision=212000 #constraints=12721 178.74/178.81 c nbDecision=212500 #constraints=12724 179.04/179.10 c nbDecision=213000 #constraints=12728 179.24/179.35 c nbDecision=213500 #constraints=12732 179.54/179.65 c nbDecision=214000 #constraints=12737 179.84/179.95 c nbDecision=214500 #constraints=12745 180.14/180.29 c nbDecision=215000 #constraints=12753 180.54/180.64 c nbDecision=215500 #constraints=12761 180.93/181.00 c nbDecision=216000 #constraints=12771 181.23/181.33 c nbDecision=216500 #constraints=12780 182.23/182.30 c nbDecision=217000 #constraints=12807 183.54/183.60 c nbDecision=217500 #constraints=12849 184.94/185.09 c nbDecision=218000 #constraints=12898 186.34/186.43 c nbDecision=218500 #constraints=12943 187.34/187.47 c nbDecision=219000 #constraints=12985 188.54/188.69 c nbDecision=219500 #constraints=13030 189.94/190.05 c nbDecision=220000 #constraints=13080 190.64/190.73 c nbDecision=220500 #constraints=13100 191.14/191.24 c nbDecision=221000 #constraints=13106 191.64/191.77 c nbDecision=221500 #constraints=13114 192.04/192.14 c nbDecision=222000 #constraints=13120 192.54/192.66 c nbDecision=222500 #constraints=13132 193.34/193.41 c nbDecision=223000 #constraints=13153 193.74/193.84 c nbDecision=223500 #constraints=13159 194.34/194.44 c nbDecision=224000 #constraints=13167 194.94/195.09 c nbDecision=224500 #constraints=13179 195.54/195.65 c nbDecision=225000 #constraints=13187 196.04/196.13 c nbDecision=225500 #constraints=13196 196.44/196.56 c nbDecision=226000 #constraints=13202 197.04/197.13 c nbDecision=226500 #constraints=13207 197.34/197.49 c nbDecision=227000 #constraints=13210 197.73/197.85 c nbDecision=227500 #constraints=13213 198.13/198.28 c nbDecision=228000 #constraints=13217 198.53/198.67 c nbDecision=228500 #constraints=13220 199.13/199.20 c nbDecision=229000 #constraints=13229 199.53/199.63 c nbDecision=229500 #constraints=13240 200.23/200.30 c nbDecision=230000 #constraints=13260 202.43/202.53 c nbDecision=230500 #constraints=13333 205.93/206.08 c nbDecision=231000 #constraints=13428 207.84/207.95 c nbDecision=231500 #constraints=13471 209.03/209.16 c nbDecision=232000 #constraints=13498 209.23/209.39 c nbDecision=232500 #constraints=13503 209.53/209.70 c nbDecision=233000 #constraints=13508 209.83/209.97 c nbDecision=233500 #constraints=13514 210.04/210.20 c nbDecision=234000 #constraints=13520 210.43/210.56 c nbDecision=234500 #constraints=13529 210.73/210.86 c nbDecision=235000 #constraints=13535 211.03/211.12 c nbDecision=235500 #constraints=13541 211.53/211.65 c nbDecision=236000 #constraints=13546 211.93/212.07 c nbDecision=236500 #constraints=13549 212.53/212.60 c nbDecision=237000 #constraints=13553 213.03/213.19 c nbDecision=237500 #constraints=13559 213.43/213.58 c nbDecision=238000 #constraints=13564 214.03/214.11 c nbDecision=238500 #constraints=13573 214.63/214.70 c nbDecision=239000 #constraints=13581 216.73/216.84 c nbDecision=239500 #constraints=13639 217.63/217.71 c nbDecision=240000 #constraints=13655 218.12/218.29 c nbDecision=240500 #constraints=13665 219.13/219.29 c nbDecision=241000 #constraints=13691 219.93/220.01 c nbDecision=241500 #constraints=13703 221.12/221.25 c nbDecision=242000 #constraints=13731 223.53/223.63 c nbDecision=242500 #constraints=13789 224.43/224.57 c nbDecision=243000 #constraints=13826 225.33/225.48 c nbDecision=243500 #constraints=13840 226.03/226.16 c nbDecision=244000 #constraints=13849 226.73/226.82 c nbDecision=244500 #constraints=13858 227.23/227.40 c nbDecision=245000 #constraints=13867 228.03/228.19 c nbDecision=245500 #constraints=13880 228.93/229.01 c nbDecision=246000 #constraints=13904 230.53/230.60 c nbDecision=246500 #constraints=13939 231.63/231.77 c nbDecision=247000 #constraints=13960 232.33/232.49 c nbDecision=247500 #constraints=13976 233.13/233.27 c nbDecision=248000 #constraints=13991 233.83/233.95 c nbDecision=248500 #constraints=14004 235.03/235.16 c nbDecision=249000 #constraints=14029 236.13/236.27 c nbDecision=249500 #constraints=14050 237.22/237.33 c nbDecision=250000 #constraints=14080 237.82/237.94 c nbDecision=250500 #constraints=14089 238.42/238.60 c nbDecision=251000 #constraints=14100 239.82/239.97 c nbDecision=251500 #constraints=14131 240.92/241.06 c nbDecision=252000 #constraints=14154 241.93/242.02 c nbDecision=252500 #constraints=14173 242.82/242.90 c nbDecision=253000 #constraints=14191 243.92/244.02 c nbDecision=253500 #constraints=14214 244.82/244.96 c nbDecision=254000 #constraints=14248 245.72/245.89 c nbDecision=254500 #constraints=14276 247.42/247.50 c nbDecision=255000 #constraints=14321 248.12/248.29 c nbDecision=255500 #constraints=14338 249.02/249.15 c nbDecision=256000 #constraints=14359 250.02/250.12 c nbDecision=256500 #constraints=14380 250.62/250.73 c nbDecision=257000 #constraints=14391 251.32/251.42 c nbDecision=257500 #constraints=14407 252.52/252.67 c nbDecision=258000 #constraints=14437 253.52/253.61 c nbDecision=258500 #constraints=14461 254.51/254.60 c nbDecision=259000 #constraints=14479 255.31/255.48 c nbDecision=259500 #constraints=14494 256.22/256.32 c nbDecision=260000 #constraints=14509 257.51/257.65 c nbDecision=260500 #constraints=14542 258.21/258.35 c nbDecision=261000 #constraints=14555 259.11/259.27 c nbDecision=261500 #constraints=14578 259.71/259.81 c nbDecision=262000 #constraints=14588 260.61/260.73 c nbDecision=262500 #constraints=14608 261.31/261.46 c nbDecision=263000 #constraints=14624 262.51/262.60 c nbDecision=263500 #constraints=14649 263.52/263.64 c nbDecision=264000 #constraints=14671 264.52/264.69 c nbDecision=264500 #constraints=14691 265.52/265.64 c nbDecision=265000 #constraints=14711 266.32/266.40 c nbDecision=265500 #constraints=14726 266.62/266.75 c nbDecision=266000 #constraints=14731 267.32/267.40 c nbDecision=266500 #constraints=14741 268.02/268.15 c nbDecision=267000 #constraints=14758 269.12/269.28 c nbDecision=267500 #constraints=14779 269.72/269.88 c nbDecision=268000 #constraints=14792 270.82/270.99 c nbDecision=268500 #constraints=14813 271.62/271.77 c nbDecision=269000 #constraints=14825 272.62/272.77 c nbDecision=269500 #constraints=14843 273.72/273.86 c nbDecision=270000 #constraints=14867 274.82/274.91 c nbDecision=270500 #constraints=14891 275.82/275.94 c nbDecision=271000 #constraints=14912 276.91/277.07 c nbDecision=271500 #constraints=14938 277.71/277.82 c nbDecision=272000 #constraints=14960 278.41/278.55 c nbDecision=272500 #constraints=14972 279.01/279.19 c nbDecision=273000 #constraints=14982 279.71/279.86 c nbDecision=273500 #constraints=14994 280.61/280.76 c nbDecision=274000 #constraints=15014 281.21/281.39 c nbDecision=274500 #constraints=15026 282.01/282.12 c nbDecision=275000 #constraints=15039 282.81/282.90 c nbDecision=275500 #constraints=15053 283.31/283.45 c nbDecision=276000 #constraints=15069 283.91/284.02 c nbDecision=276500 #constraints=15082 284.91/285.05 c nbDecision=277000 #constraints=15112 285.81/285.95 c nbDecision=277500 #constraints=15136 286.41/286.52 c nbDecision=278000 #constraints=15146 287.31/287.49 c nbDecision=278500 #constraints=15168 288.01/288.14 c nbDecision=279000 #constraints=15181 289.11/289.25 c nbDecision=279500 #constraints=15205 289.81/289.99 c nbDecision=280000 #constraints=15217 290.61/290.76 c nbDecision=280500 #constraints=15230 291.41/291.56 c nbDecision=281000 #constraints=15243 292.41/292.53 c nbDecision=281500 #constraints=15259 293.01/293.17 c nbDecision=282000 #constraints=15274 293.81/293.91 c nbDecision=282500 #constraints=15295 294.51/294.60 c nbDecision=283000 #constraints=15308 295.41/295.58 c nbDecision=283500 #constraints=15328 296.50/296.63 c nbDecision=284000 #constraints=15348 297.30/297.42 c nbDecision=284500 #constraints=15363 297.91/298.06 c nbDecision=285000 #constraints=15374 298.60/298.74 c nbDecision=285500 #constraints=15387 299.40/299.53 c nbDecision=286000 #constraints=15401 300.11/300.23 c nbDecision=286500 #constraints=15414 300.60/300.75 c nbDecision=287000 #constraints=15424 301.40/301.59 c nbDecision=287500 #constraints=15440 302.10/302.26 c nbDecision=288000 #constraints=15451 303.20/303.33 c nbDecision=288500 #constraints=15472 304.30/304.43 c nbDecision=289000 #constraints=15491 305.30/305.49 c nbDecision=289500 #constraints=15512 306.40/306.59 c nbDecision=290000 #constraints=15536 307.80/307.98 c nbDecision=290500 #constraints=15564 309.30/309.40 c nbDecision=291000 #constraints=15592 310.20/310.40 c nbDecision=291500 #constraints=15611 311.20/311.38 c nbDecision=292000 #constraints=15628 312.20/312.38 c nbDecision=292500 #constraints=15651 313.10/313.21 c nbDecision=293000 #constraints=15666 314.10/314.29 c nbDecision=293500 #constraints=15683 315.00/315.11 c nbDecision=294000 #constraints=15697 316.30/316.49 c nbDecision=294500 #constraints=15726 317.80/317.94 c nbDecision=295000 #constraints=15756 319.20/319.31 c nbDecision=295500 #constraints=15779 320.30/320.45 c nbDecision=296000 #constraints=15800 321.20/321.35 c nbDecision=296500 #constraints=15814 323.20/323.35 c nbDecision=297000 #constraints=15860 324.40/324.59 c nbDecision=297500 #constraints=15889 325.89/326.00 c nbDecision=298000 #constraints=15918 327.09/327.26 c nbDecision=298500 #constraints=15945 328.59/328.70 c nbDecision=299000 #constraints=15977 329.99/330.11 c nbDecision=299500 #constraints=16009 332.00/332.11 c nbDecision=300000 #constraints=16054 333.20/333.36 c nbDecision=300500 #constraints=16081 334.29/334.47 c nbDecision=301000 #constraints=16106 335.59/335.80 c nbDecision=301500 #constraints=16129 336.99/337.16 c nbDecision=302000 #constraints=16154 338.39/338.57 c nbDecision=302500 #constraints=16181 339.50/339.61 c nbDecision=303000 #constraints=16199 340.20/340.40 c nbDecision=303500 #constraints=16212 341.50/341.62 c nbDecision=304000 #constraints=16233 342.10/342.29 c nbDecision=304500 #constraints=16247 343.20/343.31 c nbDecision=305000 #constraints=16265 344.39/344.57 c nbDecision=305500 #constraints=16291 345.89/346.01 c nbDecision=306000 #constraints=16321 346.99/347.18 c nbDecision=306500 #constraints=16343 348.29/348.42 c nbDecision=307000 #constraints=16363 349.29/349.44 c nbDecision=307500 #constraints=16383 350.59/350.75 c nbDecision=308000 #constraints=16407 351.69/351.83 c nbDecision=308500 #constraints=16433 352.69/352.86 c nbDecision=309000 #constraints=16460 353.79/353.92 c nbDecision=309500 #constraints=16482 354.99/355.16 c nbDecision=310000 #constraints=16506 356.19/356.31 c nbDecision=310500 #constraints=16530 357.29/357.46 c nbDecision=311000 #constraints=16549 358.59/358.74 c nbDecision=311500 #constraints=16570 359.89/360.08 c nbDecision=312000 #constraints=16592 361.19/361.37 c nbDecision=312500 #constraints=16617 362.39/362.57 c nbDecision=313000 #constraints=16643 363.59/363.78 c nbDecision=313500 #constraints=16665 364.88/365.06 c nbDecision=314000 #constraints=16687 366.38/366.53 c nbDecision=314500 #constraints=16716 367.68/367.89 c nbDecision=315000 #constraints=16743 369.28/369.43 c nbDecision=315500 #constraints=16772 370.38/370.50 c nbDecision=316000 #constraints=16791 371.59/371.74 c nbDecision=316500 #constraints=16814 372.79/372.94 c nbDecision=317000 #constraints=16846 373.89/374.01 c nbDecision=317500 #constraints=16866 374.99/375.19 c nbDecision=318000 #constraints=16888 376.28/376.44 c nbDecision=318500 #constraints=16914 377.38/377.57 c nbDecision=319000 #constraints=16934 378.28/378.49 c nbDecision=319500 #constraints=16950 379.18/379.36 c nbDecision=320000 #constraints=16967 379.98/380.18 c nbDecision=320500 #constraints=16981 381.38/381.50 c nbDecision=321000 #constraints=17008 382.08/382.28 c nbDecision=321500 #constraints=17021 383.28/383.45 c nbDecision=322000 #constraints=17053 384.38/384.58 c nbDecision=322500 #constraints=17079 385.38/385.53 c nbDecision=323000 #constraints=17098 386.58/386.70 c nbDecision=323500 #constraints=17121 387.98/388.10 c nbDecision=324000 #constraints=17149 389.88/390.03 c nbDecision=324500 #constraints=17183 391.68/391.83 c nbDecision=325000 #constraints=17219 393.59/393.78 c nbDecision=325500 #constraints=17255 394.79/394.92 c nbDecision=326000 #constraints=17287 395.58/395.77 c nbDecision=326500 #constraints=17312 396.48/396.66 c nbDecision=327000 #constraints=17336 397.48/397.69 c nbDecision=327500 #constraints=17361 398.38/398.57 c nbDecision=328000 #constraints=17391 399.58/399.71 c nbDecision=328500 #constraints=17421 400.58/400.75 c nbDecision=329000 #constraints=17453 401.47/401.62 c nbDecision=329500 #constraints=17480 402.67/402.85 c nbDecision=330000 #constraints=17518 404.07/404.24 c nbDecision=330500 #constraints=17556 405.07/405.21 c nbDecision=331000 #constraints=17587 405.78/405.95 c nbDecision=331500 #constraints=17620 406.78/406.96 c nbDecision=332000 #constraints=17653 407.88/408.08 c nbDecision=332500 #constraints=17688 409.17/409.30 c nbDecision=333000 #constraints=17720 410.18/410.39 c nbDecision=333500 #constraints=17749 411.28/411.47 c nbDecision=334000 #constraints=17781 412.57/412.72 c nbDecision=334500 #constraints=17819 413.87/414.09 c nbDecision=335000 #constraints=17856 415.07/415.21 c nbDecision=335500 #constraints=17886 416.17/416.31 c nbDecision=336000 #constraints=17919 417.27/417.44 c nbDecision=336500 #constraints=17956 418.57/418.73 c nbDecision=337000 #constraints=17998 419.67/419.83 c nbDecision=337500 #constraints=18026 420.97/421.11 c nbDecision=338000 #constraints=18058 422.17/422.39 c nbDecision=338500 #constraints=18097 423.47/423.63 c nbDecision=339000 #constraints=18128 425.47/425.65 c nbDecision=339500 #constraints=18171 426.77/426.97 c nbDecision=340000 #constraints=18204 427.96/428.16 c nbDecision=340500 #constraints=18232 428.96/429.12 c nbDecision=341000 #constraints=18267 429.97/430.17 c nbDecision=341500 #constraints=18303 431.16/431.33 c nbDecision=342000 #constraints=18337 432.36/432.51 c nbDecision=342500 #constraints=18371 433.66/433.85 c nbDecision=343000 #constraints=18408 435.17/435.32 c nbDecision=343500 #constraints=18452 437.07/437.24 c nbDecision=344000 #constraints=18500 439.07/439.25 c nbDecision=344500 #constraints=18551 440.77/440.91 c nbDecision=345000 #constraints=18585 442.27/442.45 c nbDecision=345500 #constraints=18622 444.67/444.86 c nbDecision=346000 #constraints=18678 446.97/447.17 c nbDecision=346500 #constraints=18725 449.36/449.54 c nbDecision=347000 #constraints=18778 450.87/451.03 c nbDecision=347500 #constraints=18813 451.87/452.09 c nbDecision=348000 #constraints=18842 453.46/453.67 c nbDecision=348500 #constraints=18883 455.46/455.64 c nbDecision=349000 #constraints=18920 457.16/457.32 c nbDecision=349500 #constraints=18955 458.66/458.88 c nbDecision=350000 #constraints=18989 460.26/460.41 c nbDecision=350500 #constraints=19022 463.16/463.37 c nbDecision=351000 #constraints=19075 465.85/466.08 c nbDecision=351500 #constraints=19121 468.56/468.73 c nbDecision=352000 #constraints=19165 471.56/471.77 c nbDecision=352500 #constraints=19217 474.66/474.84 c nbDecision=353000 #constraints=19272 478.26/478.46 c nbDecision=353500 #constraints=19328 482.56/482.70 c nbDecision=354000 #constraints=19397 485.15/485.32 c nbDecision=354500 #constraints=19446 487.55/487.77 c nbDecision=355000 #constraints=19488 490.05/490.22 c nbDecision=355500 #constraints=19529 492.95/493.12 c nbDecision=356000 #constraints=19577 496.45/496.65 c nbDecision=356500 #constraints=19637 499.95/500.11 c nbDecision=357000 #constraints=19696 502.55/502.77 c nbDecision=357500 #constraints=19740 504.13/504.33 c nbDecision=358000 #constraints=19780 505.74/505.97 c nbDecision=358500 #constraints=19819 507.63/507.89 c nbDecision=359000 #constraints=19854 509.13/509.32 c nbDecision=359500 #constraints=19893 510.23/510.44 c nbDecision=360000 #constraints=19930 511.43/511.62 c nbDecision=360500 #constraints=19960 512.43/512.65 c nbDecision=361000 #constraints=19988 513.42/513.68 c nbDecision=361500 #constraints=20018 514.72/514.99 c nbDecision=362000 #constraints=20061 516.42/516.64 c nbDecision=362500 #constraints=20104 518.51/518.72 c nbDecision=363000 #constraints=20150 520.41/520.63 c nbDecision=363500 #constraints=20191 522.71/522.96 c nbDecision=364000 #constraints=20233 525.10/525.39 c nbDecision=364500 #constraints=20277 526.90/527.17 c nbDecision=365000 #constraints=20322 529.09/529.31 c nbDecision=365500 #constraints=20361 531.68/531.95 c nbDecision=366000 #constraints=20418 534.08/534.33 c nbDecision=366500 #constraints=20467 536.37/536.63 c nbDecision=367000 #constraints=20516 539.37/539.65 c nbDecision=367500 #constraints=20578 541.87/542.10 c nbDecision=368000 #constraints=20628 544.37/544.66 c nbDecision=368500 #constraints=20693 546.47/546.77 c nbDecision=369000 #constraints=20748 548.07/548.35 c nbDecision=369500 #constraints=20794 549.37/549.68 c nbDecision=370000 #constraints=20824 550.77/551.03 c nbDecision=370500 #constraints=20856 552.17/552.47 c nbDecision=371000 #constraints=20884 553.67/553.93 c nbDecision=371500 #constraints=20912 555.36/555.66 c nbDecision=372000 #constraints=20955 557.36/557.60 c nbDecision=372500 #constraints=21000 558.96/559.27 c nbDecision=373000 #constraints=21043 560.36/560.69 c nbDecision=373500 #constraints=21079 561.66/561.98 c nbDecision=374000 #constraints=21110 563.26/563.55 c nbDecision=374500 #constraints=21156 565.07/565.34 c nbDecision=375000 #constraints=21195 567.06/567.36 c nbDecision=375500 #constraints=21241 568.86/569.17 c nbDecision=376000 #constraints=21284 570.76/571.00 c nbDecision=376500 #constraints=21329 573.16/573.43 c nbDecision=377000 #constraints=21384 574.96/575.25 c nbDecision=377500 #constraints=21437 577.26/577.55 c nbDecision=378000 #constraints=21497 579.85/580.15 c nbDecision=378500 #constraints=21555 581.66/581.99 c nbDecision=379000 #constraints=21588 584.35/584.61 c nbDecision=379500 #constraints=21635 587.35/587.63 c nbDecision=380000 #constraints=21690 590.45/590.76 c nbDecision=380500 #constraints=21758 592.65/592.96 c nbDecision=381000 #constraints=21806 594.95/595.25 c nbDecision=381500 #constraints=21861 598.25/598.58 c nbDecision=382000 #constraints=21939 600.74/601.07 c nbDecision=382500 #constraints=21996 603.84/604.14 c nbDecision=383000 #constraints=22077 605.95/606.28 c nbDecision=383500 #constraints=22118 608.05/608.33 c nbDecision=384000 #constraints=22152 610.15/610.46 c nbDecision=384500 #constraints=22192 612.25/612.60 c nbDecision=385000 #constraints=22228 614.75/615.05 c nbDecision=385500 #constraints=22269 617.55/617.84 c nbDecision=386000 #constraints=22315 620.35/620.69 c nbDecision=386500 #constraints=22363 623.04/623.31 c nbDecision=387000 #constraints=22409 626.04/626.39 c nbDecision=387500 #constraints=22461 629.34/629.69 c nbDecision=388000 #constraints=22519 631.44/631.74 c nbDecision=388500 #constraints=22568 633.64/633.91 c nbDecision=389000 #constraints=22609 635.84/636.15 c nbDecision=389500 #constraints=22650 638.64/638.95 c nbDecision=390000 #constraints=22708 641.54/641.87 c nbDecision=390500 #constraints=22758 643.64/643.91 c nbDecision=391000 #constraints=22795 646.73/647.09 c nbDecision=391500 #constraints=22867 650.43/650.73 c nbDecision=392000 #constraints=22949 656.23/656.59 c nbDecision=392500 #constraints=23087 659.53/659.89 c nbDecision=393000 #constraints=23162 662.13/662.49 c nbDecision=393500 #constraints=23210 665.03/665.35 c nbDecision=394000 #constraints=23257 669.23/669.58 c nbDecision=394500 #constraints=23321 672.53/672.84 c nbDecision=395000 #constraints=23375 675.53/675.81 c nbDecision=395500 #constraints=23422 677.63/677.97 c nbDecision=396000 #constraints=23464 679.73/680.05 c nbDecision=396500 #constraints=23489 681.23/681.50 c nbDecision=397000 #constraints=23510 683.03/683.36 c nbDecision=397500 #constraints=23536 683.93/684.29 c nbDecision=398000 #constraints=23543 684.82/685.10 c nbDecision=398500 #constraints=23551 685.82/686.20 c nbDecision=399000 #constraints=23563 688.12/688.47 c nbDecision=399500 #constraints=23593 689.02/689.36 c nbDecision=400000 #constraints=23598 689.72/690.04 c nbDecision=400500 #constraints=23603 690.32/690.69 c nbDecision=401000 #constraints=23607 691.22/691.55 c nbDecision=401500 #constraints=23615 691.92/692.21 c nbDecision=402000 #constraints=23621 692.72/693.01 c nbDecision=402500 #constraints=23633 693.72/694.10 c nbDecision=403000 #constraints=23646 694.62/694.98 c nbDecision=403500 #constraints=23654 696.02/696.38 c nbDecision=404000 #constraints=23668 697.32/697.61 c nbDecision=404500 #constraints=23687 698.72/699.02 c nbDecision=405000 #constraints=23705 699.92/700.24 c nbDecision=405500 #constraints=23719 701.52/701.82 c nbDecision=406000 #constraints=23737 703.52/703.85 c nbDecision=406500 #constraints=23764 704.92/705.21 c nbDecision=407000 #constraints=23781 706.92/707.30 c nbDecision=407500 #constraints=23806 708.51/708.84 c nbDecision=408000 #constraints=23826 710.11/710.43 c nbDecision=408500 #constraints=23845 711.61/711.95 c nbDecision=409000 #constraints=23865 712.81/713.10 c nbDecision=409500 #constraints=23878 713.11/713.40 c restart after 409601 decisions 714.62/714.94 c nbDecision=410000 #constraints=23889 716.21/716.51 c nbDecision=410500 #constraints=23909 718.01/718.30 c nbDecision=411000 #constraints=23932 719.11/719.48 c nbDecision=411500 #constraints=23943 719.82/720.17 c nbDecision=412000 #constraints=23949 720.52/720.84 c nbDecision=412500 #constraints=23955 721.52/721.81 c nbDecision=413000 #constraints=23967 722.82/723.15 c nbDecision=413500 #constraints=23983 724.12/724.49 c nbDecision=414000 #constraints=23997 725.62/725.95 c nbDecision=414500 #constraints=24014 727.21/727.57 c nbDecision=415000 #constraints=24043 728.92/729.28 c nbDecision=415500 #constraints=24081 730.31/730.68 c nbDecision=416000 #constraints=24097 731.41/731.78 c nbDecision=416500 #constraints=24118 733.51/733.85 c nbDecision=417000 #constraints=24152 736.21/736.54 c nbDecision=417500 #constraints=24194 737.51/737.88 c nbDecision=418000 #constraints=24221 739.61/739.98 c nbDecision=418500 #constraints=24250 740.81/741.14 c nbDecision=419000 #constraints=24263 742.61/742.97 c nbDecision=419500 #constraints=24288 743.51/743.86 c nbDecision=420000 #constraints=24295 744.71/745.03 c nbDecision=420500 #constraints=24305 746.81/747.15 c nbDecision=421000 #constraints=24330 748.71/749.06 c nbDecision=421500 #constraints=24351 750.91/751.22 c nbDecision=422000 #constraints=24374 752.70/753.09 c nbDecision=422500 #constraints=24395 754.31/754.68 c nbDecision=423000 #constraints=24414 756.00/756.35 c nbDecision=423500 #constraints=24433 758.30/758.65 c nbDecision=424000 #constraints=24460 760.20/760.53 c nbDecision=424500 #constraints=24486 761.90/762.21 c nbDecision=425000 #constraints=24509 763.20/763.58 c nbDecision=425500 #constraints=24525 764.90/765.24 c nbDecision=426000 #constraints=24542 766.80/767.17 c nbDecision=426500 #constraints=24561 769.10/769.48 c nbDecision=427000 #constraints=24585 770.20/770.53 c nbDecision=427500 #constraints=24593 772.20/772.54 c nbDecision=428000 #constraints=24618 773.80/774.15 c nbDecision=428500 #constraints=24640 775.30/775.62 c nbDecision=429000 #constraints=24652 777.10/777.42 c nbDecision=429500 #constraints=24671 778.30/778.67 c nbDecision=430000 #constraints=24682 780.20/780.55 c nbDecision=430500 #constraints=24709 782.40/782.71 c nbDecision=431000 #constraints=24741 784.20/784.57 c nbDecision=431500 #constraints=24766 786.20/786.50 c nbDecision=432000 #constraints=24787 787.90/788.21 c nbDecision=432500 #constraints=24804 789.90/790.29 c nbDecision=433000 #constraints=24839 792.89/793.24 c nbDecision=433500 #constraints=24872 794.69/795.03 c nbDecision=434000 #constraints=24890 796.29/796.62 c nbDecision=434500 #constraints=24907 798.20/798.51 c nbDecision=435000 #constraints=24926 800.50/800.81 c nbDecision=435500 #constraints=24951 802.49/802.81 c nbDecision=436000 #constraints=24977 804.19/804.58 c nbDecision=436500 #constraints=24997 806.19/806.57 c nbDecision=437000 #constraints=25024 808.99/809.31 c nbDecision=437500 #constraints=25061 811.78/812.12 c nbDecision=438000 #constraints=25110 812.59/812.98 c nbDecision=438500 #constraints=25124 813.59/813.92 c nbDecision=439000 #constraints=25143 814.18/814.55 c nbDecision=439500 #constraints=25155 814.98/815.30 c nbDecision=440000 #constraints=25174 815.79/816.11 c nbDecision=440500 #constraints=25187 816.48/816.84 c nbDecision=441000 #constraints=25202 817.08/817.45 c nbDecision=441500 #constraints=25218 817.78/818.20 c nbDecision=442000 #constraints=25234 818.48/818.84 c nbDecision=442500 #constraints=25250 820.48/820.87 c nbDecision=443000 #constraints=25273 821.48/821.83 c nbDecision=443500 #constraints=25283 823.58/823.93 c nbDecision=444000 #constraints=25308 824.78/825.17 c nbDecision=444500 #constraints=25320 826.38/826.75 c nbDecision=445000 #constraints=25335 827.88/828.21 c nbDecision=445500 #constraints=25351 829.78/830.11 c nbDecision=446000 #constraints=25370 831.68/832.09 c nbDecision=446500 #constraints=25390 834.59/834.97 c nbDecision=447000 #constraints=25430 836.58/836.98 c nbDecision=447500 #constraints=25456 838.28/838.68 c nbDecision=448000 #constraints=25478 840.48/840.87 c nbDecision=448500 #constraints=25508 842.68/843.08 c nbDecision=449000 #constraints=25537 844.18/844.55 c nbDecision=449500 #constraints=25551 845.38/845.74 c nbDecision=450000 #constraints=25564 846.98/847.35 c nbDecision=450500 #constraints=25580 848.38/848.75 c nbDecision=451000 #constraints=25597 850.28/850.66 c nbDecision=451500 #constraints=25621 852.48/852.82 c nbDecision=452000 #constraints=25645 854.67/855.00 c nbDecision=452500 #constraints=25677 856.67/857.07 c nbDecision=453000 #constraints=25708 858.87/859.26 c nbDecision=453500 #constraints=25742 861.07/861.46 c nbDecision=454000 #constraints=25772 863.18/863.54 c nbDecision=454500 #constraints=25796 864.58/864.90 c nbDecision=455000 #constraints=25809 866.18/866.55 c nbDecision=455500 #constraints=25827 868.08/868.47 c nbDecision=456000 #constraints=25846 869.57/869.94 c nbDecision=456500 #constraints=25859 871.07/871.48 c nbDecision=457000 #constraints=25874 873.27/873.60 c nbDecision=457500 #constraints=25897 875.57/875.92 c nbDecision=458000 #constraints=25927 877.87/878.22 c nbDecision=458500 #constraints=25957 880.97/881.33 c nbDecision=459000 #constraints=25997 883.57/883.95 c nbDecision=459500 #constraints=26032 885.87/886.26 c nbDecision=460000 #constraints=26057 887.17/887.59 c nbDecision=460500 #constraints=26073 889.07/889.47 c nbDecision=461000 #constraints=26096 891.07/891.44 c nbDecision=461500 #constraints=26121 893.57/893.90 c nbDecision=462000 #constraints=26148 895.86/896.23 c nbDecision=462500 #constraints=26175 897.96/898.37 c nbDecision=463000 #constraints=26200 900.26/900.60 c nbDecision=463500 #constraints=26227 902.76/903.11 c nbDecision=464000 #constraints=26258 904.46/904.87 c nbDecision=464500 #constraints=26279 907.16/907.56 c nbDecision=465000 #constraints=26314 908.96/909.32 c nbDecision=465500 #constraints=26339 911.16/911.54 c nbDecision=466000 #constraints=26368 913.56/913.94 c nbDecision=466500 #constraints=26396 915.97/916.36 c nbDecision=467000 #constraints=26428 918.56/918.95 c nbDecision=467500 #constraints=26463 920.76/921.19 c nbDecision=468000 #constraints=26488 922.76/923.10 c nbDecision=468500 #constraints=26511 925.06/925.44 c nbDecision=469000 #constraints=26539 926.96/927.37 c nbDecision=469500 #constraints=26559 929.36/929.72 c nbDecision=470000 #constraints=26591 932.26/932.65 c nbDecision=470500 #constraints=26627 934.05/934.49 c nbDecision=471000 #constraints=26651 936.45/936.83 c nbDecision=471500 #constraints=26678 938.65/939.02 c nbDecision=472000 #constraints=26703 941.35/941.72 c nbDecision=472500 #constraints=26734 944.06/944.40 c nbDecision=473000 #constraints=26764 946.55/946.90 c nbDecision=473500 #constraints=26791 948.86/949.23 c nbDecision=474000 #constraints=26820 951.25/951.67 c nbDecision=474500 #constraints=26862 954.05/954.49 c nbDecision=475000 #constraints=26904 956.55/956.91 c nbDecision=475500 #constraints=26937 958.95/959.31 c nbDecision=476000 #constraints=26965 961.35/961.77 c nbDecision=476500 #constraints=26994 963.74/964.19 c nbDecision=477000 #constraints=27036 965.35/965.76 c nbDecision=477500 #constraints=27065 967.34/967.78 c nbDecision=478000 #constraints=27098 969.34/969.70 c nbDecision=478500 #constraints=27124 971.04/971.44 c nbDecision=479000 #constraints=27154 973.84/974.25 c nbDecision=479500 #constraints=27197 976.54/976.90 c nbDecision=480000 #constraints=27244 979.25/979.65 c nbDecision=480500 #constraints=27291 981.54/981.95 c nbDecision=481000 #constraints=27326 983.64/984.01 c nbDecision=481500 #constraints=27348 985.54/985.95 c nbDecision=482000 #constraints=27371 987.35/987.72 c nbDecision=482500 #constraints=27391 989.34/989.78 c nbDecision=483000 #constraints=27410 991.14/991.53 c nbDecision=483500 #constraints=27428 993.34/993.70 c nbDecision=484000 #constraints=27451 995.34/995.75 c nbDecision=484500 #constraints=27475 997.24/997.63 c nbDecision=485000 #constraints=27493 998.94/999.31 c nbDecision=485500 #constraints=27508 1001.04/1001.46 c nbDecision=486000 #constraints=27529 1003.44/1003.83 c nbDecision=486500 #constraints=27554 1005.64/1006.04 c nbDecision=487000 #constraints=27579 1007.83/1008.27 c nbDecision=487500 #constraints=27600 1010.03/1010.46 c nbDecision=488000 #constraints=27619 1012.64/1013.08 c nbDecision=488500 #constraints=27650 1014.84/1015.20 c nbDecision=489000 #constraints=27675 1016.93/1017.33 c nbDecision=489500 #constraints=27695 1019.34/1019.74 c nbDecision=490000 #constraints=27719 1021.53/1021.99 c nbDecision=490500 #constraints=27746 1023.83/1024.26 c nbDecision=491000 #constraints=27775 1026.33/1026.78 c nbDecision=491500 #constraints=27809 1029.13/1029.53 c nbDecision=492000 #constraints=27845 1031.83/1032.26 c nbDecision=492500 #constraints=27885 1034.73/1035.17 c nbDecision=493000 #constraints=27923 1037.72/1038.15 c nbDecision=493500 #constraints=27957 1040.32/1040.79 c nbDecision=494000 #constraints=27991 1042.82/1043.29 c nbDecision=494500 #constraints=28022 1045.02/1045.48 c nbDecision=495000 #constraints=28043 1047.32/1047.78 c nbDecision=495500 #constraints=28067 1049.62/1050.08 c nbDecision=496000 #constraints=28090 1052.12/1052.58 c nbDecision=496500 #constraints=28116 1055.22/1055.65 c nbDecision=497000 #constraints=28144 1057.92/1058.33 c nbDecision=497500 #constraints=28170 1061.02/1061.47 c nbDecision=498000 #constraints=28206 1063.41/1063.82 c nbDecision=498500 #constraints=28229 1065.71/1066.18 c nbDecision=499000 #constraints=28254 1068.41/1068.84 c nbDecision=499500 #constraints=28282 1072.41/1072.80 c nbDecision=500000 #constraints=28327 1075.41/1075.84 c nbDecision=500500 #constraints=28357 1077.41/1077.83 c nbDecision=501000 #constraints=28375 1079.91/1080.39 c nbDecision=501500 #constraints=28397 1081.61/1082.05 c nbDecision=502000 #constraints=28413 1083.71/1084.19 c nbDecision=502500 #constraints=28435 1085.92/1086.35 c nbDecision=503000 #constraints=28455 1087.91/1088.36 c nbDecision=503500 #constraints=28476 1090.31/1090.78 c nbDecision=504000 #constraints=28501 1092.71/1093.10 c nbDecision=504500 #constraints=28525 1095.81/1096.25 c nbDecision=505000 #constraints=28559 1098.01/1098.41 c nbDecision=505500 #constraints=28579 1100.21/1100.69 c nbDecision=506000 #constraints=28600 1102.51/1102.94 c nbDecision=506500 #constraints=28620 1104.81/1105.28 c nbDecision=507000 #constraints=28641 1107.11/1107.51 c nbDecision=507500 #constraints=28661 1109.30/1109.71 c nbDecision=508000 #constraints=28679 1112.00/1112.44 c nbDecision=508500 #constraints=28703 1114.30/1114.71 c nbDecision=509000 #constraints=28723 1116.90/1117.36 c nbDecision=509500 #constraints=28747 1119.50/1119.93 c nbDecision=510000 #constraints=28776 1122.40/1122.88 c nbDecision=510500 #constraints=28806 1125.00/1125.49 c nbDecision=511000 #constraints=28829 1127.70/1128.18 c nbDecision=511500 #constraints=28852 1129.80/1130.21 c nbDecision=512000 #constraints=28870 1131.70/1132.16 c nbDecision=512500 #constraints=28887 1133.70/1134.12 c nbDecision=513000 #constraints=28904 1135.69/1136.12 c nbDecision=513500 #constraints=28927 1138.79/1139.26 c nbDecision=514000 #constraints=28958 1141.19/1141.64 c nbDecision=514500 #constraints=28987 1143.09/1143.50 c nbDecision=515000 #constraints=29009 1145.89/1146.31 c nbDecision=515500 #constraints=29050 1148.09/1148.56 c nbDecision=516000 #constraints=29078 1150.59/1151.03 c nbDecision=516500 #constraints=29108 1153.69/1154.20 c nbDecision=517000 #constraints=29148 1156.69/1157.12 c nbDecision=517500 #constraints=29188 1159.59/1160.01 c nbDecision=518000 #constraints=29222 1162.99/1163.49 c nbDecision=518500 #constraints=29268 1166.29/1166.71 c nbDecision=519000 #constraints=29305 1168.19/1168.64 c nbDecision=519500 #constraints=29337 1170.09/1170.53 c nbDecision=520000 #constraints=29370 1171.79/1172.21 c nbDecision=520500 #constraints=29393 1173.69/1174.15 c nbDecision=521000 #constraints=29425 1175.79/1176.22 c nbDecision=521500 #constraints=29468 1177.69/1178.15 c nbDecision=522000 #constraints=29501 1179.19/1179.65 c nbDecision=522500 #constraints=29526 1180.89/1181.31 c nbDecision=523000 #constraints=29555 1182.68/1183.10 c nbDecision=523500 #constraints=29576 1184.58/1185.00 c nbDecision=524000 #constraints=29608 1186.18/1186.67 c nbDecision=524500 #constraints=29643 1188.59/1189.01 c nbDecision=525000 #constraints=29681 1190.38/1190.87 c nbDecision=525500 #constraints=29706 1192.98/1193.44 c nbDecision=526000 #constraints=29741 1194.98/1195.45 c nbDecision=526500 #constraints=29769 1196.98/1197.43 c nbDecision=527000 #constraints=29795 1198.88/1199.32 c nbDecision=527500 #constraints=29818 1200.78/1201.22 c nbDecision=528000 #constraints=29841 1202.88/1203.33 c nbDecision=528500 #constraints=29869 1204.97/1205.46 c nbDecision=529000 #constraints=29897 1206.77/1207.21 c nbDecision=529500 #constraints=29932 1209.27/1209.77 c nbDecision=530000 #constraints=29980 1211.37/1211.88 c nbDecision=530500 #constraints=30022 1213.67/1214.17 c nbDecision=531000 #constraints=30054 1215.57/1216.07 c nbDecision=531500 #constraints=30087 1217.87/1218.38 c nbDecision=532000 #constraints=30129 1220.07/1220.58 c nbDecision=532500 #constraints=30161 1222.28/1222.75 c nbDecision=533000 #constraints=30188 1224.88/1225.36 c nbDecision=533500 #constraints=30230 1227.18/1227.67 c nbDecision=534000 #constraints=30270 1230.07/1230.51 c nbDecision=534500 #constraints=30307 1234.17/1234.63 c nbDecision=535000 #constraints=30366 1236.47/1236.96 c nbDecision=535500 #constraints=30395 1238.87/1239.37 c nbDecision=536000 #constraints=30424 1241.47/1241.90 c nbDecision=536500 #constraints=30453 1244.47/1244.97 c nbDecision=537000 #constraints=30491 1246.97/1247.43 c nbDecision=537500 #constraints=30521 1250.37/1250.87 c nbDecision=538000 #constraints=30573 1253.67/1254.18 c nbDecision=538500 #constraints=30622 1256.87/1257.39 c nbDecision=539000 #constraints=30667 1259.36/1259.89 c nbDecision=539500 #constraints=30707 1262.06/1262.57 c nbDecision=540000 #constraints=30750 1265.26/1265.72 c nbDecision=540500 #constraints=30799 1268.87/1269.36 c nbDecision=541000 #constraints=30855 1271.46/1271.92 c nbDecision=541500 #constraints=30885 1273.66/1274.10 c nbDecision=542000 #constraints=30913 1276.96/1277.41 c nbDecision=542500 #constraints=30959 1279.86/1280.39 c nbDecision=543000 #constraints=30995 1281.66/1282.15 c nbDecision=543500 #constraints=31021 1284.06/1284.51 c nbDecision=544000 #constraints=31061 1286.16/1286.63 c nbDecision=544500 #constraints=31096 1289.36/1289.81 c nbDecision=545000 #constraints=31155 1292.45/1292.94 c nbDecision=545500 #constraints=31196 1294.26/1294.76 c nbDecision=546000 #constraints=31215 1296.65/1297.16 c nbDecision=546500 #constraints=31243 1299.15/1299.60 c nbDecision=547000 #constraints=31272 1301.45/1301.97 c nbDecision=547500 #constraints=31302 1303.75/1304.20 c nbDecision=548000 #constraints=31329 1306.25/1306.75 c nbDecision=548500 #constraints=31360 1308.45/1308.95 c nbDecision=549000 #constraints=31387 1311.65/1312.13 c nbDecision=549500 #constraints=31426 1314.75/1315.21 c nbDecision=550000 #constraints=31462 1317.64/1318.14 c nbDecision=550500 #constraints=31493 1319.55/1320.08 c nbDecision=551000 #constraints=31516 1322.04/1322.55 c nbDecision=551500 #constraints=31547 1324.74/1325.24 c nbDecision=552000 #constraints=31578 1328.14/1328.62 c nbDecision=552500 #constraints=31619 1330.94/1331.42 c nbDecision=553000 #constraints=31646 1332.74/1333.25 c nbDecision=553500 #constraints=31662 1335.44/1335.90 c nbDecision=554000 #constraints=31689 1336.94/1337.47 c nbDecision=554500 #constraints=31704 1339.24/1339.76 c nbDecision=555000 #constraints=31725 1341.54/1342.05 c nbDecision=555500 #constraints=31749 1343.53/1344.06 c nbDecision=556000 #constraints=31772 1345.43/1345.98 c nbDecision=556500 #constraints=31794 1347.53/1348.03 c nbDecision=557000 #constraints=31812 1350.74/1351.26 c nbDecision=557500 #constraints=31844 1353.74/1354.20 c nbDecision=558000 #constraints=31876 1356.74/1357.27 c nbDecision=558500 #constraints=31905 1359.74/1360.30 c nbDecision=559000 #constraints=31939 1362.14/1362.68 c nbDecision=559500 #constraints=31963 1364.54/1365.03 c nbDecision=560000 #constraints=31983 1367.04/1367.55 c nbDecision=560500 #constraints=32006 1369.74/1370.25 c nbDecision=561000 #constraints=32031 1372.34/1372.85 c nbDecision=561500 #constraints=32054 1375.03/1375.55 c nbDecision=562000 #constraints=32078 1377.53/1378.08 c nbDecision=562500 #constraints=32098 1379.94/1380.49 c nbDecision=563000 #constraints=32120 1382.83/1383.38 c nbDecision=563500 #constraints=32145 1385.43/1385.94 c nbDecision=564000 #constraints=32168 1387.63/1388.18 c nbDecision=564500 #constraints=32188 1390.93/1391.42 c nbDecision=565000 #constraints=32227 1394.03/1394.57 c nbDecision=565500 #constraints=32259 1398.22/1398.71 c nbDecision=566000 #constraints=32306 1401.52/1402.02 c nbDecision=566500 #constraints=32337 1405.02/1405.55 c nbDecision=567000 #constraints=32373 1407.82/1408.37 c nbDecision=567500 #constraints=32403 1410.12/1410.61 c nbDecision=568000 #constraints=32424 1412.12/1412.67 c nbDecision=568500 #constraints=32442 1415.31/1415.84 c nbDecision=569000 #constraints=32475 1418.11/1418.62 c nbDecision=569500 #constraints=32502 1421.01/1421.58 c nbDecision=570000 #constraints=32536 1423.51/1424.08 c nbDecision=570500 #constraints=32565 1426.52/1427.09 c nbDecision=571000 #constraints=32592 1428.82/1429.37 c nbDecision=571500 #constraints=32611 1431.52/1432.06 c nbDecision=572000 #constraints=32633 1434.02/1434.59 c nbDecision=572500 #constraints=32655 1436.82/1437.38 c nbDecision=573000 #constraints=32681 1440.22/1440.75 c nbDecision=573500 #constraints=32713 1443.01/1443.54 c nbDecision=574000 #constraints=32736 1445.31/1445.85 c nbDecision=574500 #constraints=32753 1447.41/1447.94 c nbDecision=575000 #constraints=32769 1450.11/1450.60 c nbDecision=575500 #constraints=32792 1451.81/1452.38 c nbDecision=576000 #constraints=32805 1454.51/1455.06 c nbDecision=576500 #constraints=32826 1457.21/1457.70 c nbDecision=577000 #constraints=32847 1460.10/1460.64 c nbDecision=577500 #constraints=32873 1463.00/1463.56 c nbDecision=578000 #constraints=32897 1466.30/1466.81 c nbDecision=578500 #constraints=32928 1468.70/1469.28 c nbDecision=579000 #constraints=32951 1470.91/1471.48 c nbDecision=579500 #constraints=32970 1473.61/1474.19 c nbDecision=580000 #constraints=32994 1476.31/1476.86 c nbDecision=580500 #constraints=33019 1478.70/1479.29 c nbDecision=581000 #constraints=33041 1482.10/1482.69 c nbDecision=581500 #constraints=33078 1486.80/1487.36 c nbDecision=582000 #constraints=33132 1490.20/1490.78 c nbDecision=582500 #constraints=33172 1493.10/1493.60 c nbDecision=583000 #constraints=33197 1495.80/1496.38 c nbDecision=583500 #constraints=33228 1500.90/1501.41 c nbDecision=584000 #constraints=33281 1504.49/1505.08 c nbDecision=584500 #constraints=33322 1508.39/1508.95 c nbDecision=585000 #constraints=33366 1511.59/1512.13 c nbDecision=585500 #constraints=33397 1514.69/1515.29 c nbDecision=586000 #constraints=33428 1518.89/1519.49 c nbDecision=586500 #constraints=33466 1521.49/1522.07 c nbDecision=587000 #constraints=33487 1524.29/1524.86 c nbDecision=587500 #constraints=33516 1526.88/1527.49 c nbDecision=588000 #constraints=33540 1529.49/1530.05 c nbDecision=588500 #constraints=33560 1532.28/1532.81 c nbDecision=589000 #constraints=33583 1534.88/1535.40 c nbDecision=589500 #constraints=33603 1537.18/1537.77 c nbDecision=590000 #constraints=33624 1539.78/1540.34 c nbDecision=590500 #constraints=33649 1542.68/1543.27 c nbDecision=591000 #constraints=33681 1545.78/1546.37 c nbDecision=591500 #constraints=33718 1548.78/1549.40 c nbDecision=592000 #constraints=33747 1551.18/1551.76 c nbDecision=592500 #constraints=33770 1553.78/1554.38 c nbDecision=593000 #constraints=33798 1556.47/1557.08 c nbDecision=593500 #constraints=33824 1559.18/1559.71 c nbDecision=594000 #constraints=33850 1561.97/1562.56 c nbDecision=594500 #constraints=33875 1564.78/1565.37 c nbDecision=595000 #constraints=33901 1567.68/1568.22 c nbDecision=595500 #constraints=33927 1571.18/1571.79 c nbDecision=596000 #constraints=33963 1575.58/1576.12 c nbDecision=596500 #constraints=34005 1578.58/1579.18 c nbDecision=597000 #constraints=34037 1581.97/1582.55 c nbDecision=597500 #constraints=34071 1585.17/1585.78 c nbDecision=598000 #constraints=34101 1588.77/1589.30 c nbDecision=598500 #constraints=34133 1592.27/1592.84 c nbDecision=599000 #constraints=34164 1595.47/1596.01 c nbDecision=599500 #constraints=34192 1598.57/1599.13 c nbDecision=600000 #constraints=34220 1601.77/1602.38 c nbDecision=600500 #constraints=34252 1605.37/1605.98 c nbDecision=601000 #constraints=34284 1608.67/1609.27 c nbDecision=601500 #constraints=34319 1611.96/1612.52 c nbDecision=602000 #constraints=34350 1615.56/1616.10 c nbDecision=602500 #constraints=34386 1619.76/1620.32 c nbDecision=603000 #constraints=34427 1622.96/1623.52 c nbDecision=603500 #constraints=34460 1626.05/1626.60 c nbDecision=604000 #constraints=34490 1630.16/1630.72 c nbDecision=604500 #constraints=34536 1635.76/1636.38 c nbDecision=605000 #constraints=34602 1639.66/1640.27 c nbDecision=605500 #constraints=34645 1643.56/1644.10 c nbDecision=606000 #constraints=34688 1647.36/1648.00 c nbDecision=606500 #constraints=34729 1650.65/1651.25 c nbDecision=607000 #constraints=34761 1653.85/1654.45 c nbDecision=607500 #constraints=34795 1656.95/1657.55 c nbDecision=608000 #constraints=34822 1661.05/1661.66 c nbDecision=608500 #constraints=34869 1665.95/1666.55 c nbDecision=609000 #constraints=34930 1669.74/1670.37 c nbDecision=609500 #constraints=34970 1674.34/1674.96 c nbDecision=610000 #constraints=35017 1678.35/1678.95 c nbDecision=610500 #constraints=35058 1682.15/1682.71 c nbDecision=611000 #constraints=35096 1686.34/1686.90 c nbDecision=611500 #constraints=35139 1689.84/1690.42 c nbDecision=612000 #constraints=35170 1692.74/1693.38 c nbDecision=612500 #constraints=35195 1696.44/1697.08 c nbDecision=613000 #constraints=35230 1699.94/1700.59 c nbDecision=613500 #constraints=35271 1701.74/1702.33 c nbDecision=614000 #constraints=35297 1703.24/1703.83 c nbDecision=614500 #constraints=35322 1705.04/1705.69 c nbDecision=615000 #constraints=35354 1707.24/1707.85 c nbDecision=615500 #constraints=35386 1709.33/1709.99 c nbDecision=616000 #constraints=35414 1711.43/1712.08 c nbDecision=616500 #constraints=35439 1713.73/1714.30 c nbDecision=617000 #constraints=35467 1715.53/1716.19 c nbDecision=617500 #constraints=35494 1717.43/1718.07 c nbDecision=618000 #constraints=35525 1719.63/1720.21 c nbDecision=618500 #constraints=35564 1721.73/1722.31 c nbDecision=619000 #constraints=35604 1723.63/1724.29 c nbDecision=619500 #constraints=35639 1726.13/1726.78 c nbDecision=620000 #constraints=35670 1729.33/1729.90 c nbDecision=620500 #constraints=35703 1732.33/1732.98 c nbDecision=621000 #constraints=35732 1736.02/1736.66 c nbDecision=621500 #constraints=35769 1740.22/1740.80 c nbDecision=622000 #constraints=35811 1744.92/1745.56 c nbDecision=622500 #constraints=35865 1749.62/1750.24 c nbDecision=623000 #constraints=35914 1754.82/1755.40 c nbDecision=623500 #constraints=35963 1759.02/1759.69 c nbDecision=624000 #constraints=36005 1763.42/1764.03 c nbDecision=624500 #constraints=36053 1767.52/1768.20 c nbDecision=625000 #constraints=36095 1771.72/1772.35 c nbDecision=625500 #constraints=36139 1776.72/1777.31 c nbDecision=626000 #constraints=36191 1780.12/1780.78 c nbDecision=626500 #constraints=36222 1784.42/1785.01 c nbDecision=627000 #constraints=36268 1789.31/1789.97 c nbDecision=627500 #constraints=36325 1793.42/1794.10 c nbDecision=628000 #constraints=36367 1797.82/1798.44 c nbDecision=628500 #constraints=36410 1800.02/1800.61 Received signal 15 1800.02/1800.61 1800.02/1800.61 s UNKNOWN 1800.02/1800.61 1800.02/1800.61 c user time= 1799.67 s 1800.02/1800.61 c system time= 0.363944 s 1800.02/1800.61 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-366894-1177001561 -o ROOT/results/node7/solver-366894-1177001561 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366894-1177001561/instance-366894-1177001561.opb mod 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 0.92 0.98 0.99 3/77 1250 /proc/meminfo: memFree=1476720/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=1468 CPUtime=0 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 176193687 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 367 164 131 317 0 46 0 [startup+0.018964 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1250 /proc/meminfo: memFree=1476720/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=1732 CPUtime=0.01 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 246 0 0 0 1 0 0 0 18 0 1 0 176193687 1773568 228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 433 228 131 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101971 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1250 /proc/meminfo: memFree=1476720/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=2392 CPUtime=0.1 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 423 0 0 0 10 0 0 0 18 0 1 0 176193687 2449408 405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 598 405 139 317 0 277 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2392 [startup+0.301994 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1250 /proc/meminfo: memFree=1476720/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=2652 CPUtime=0.29 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 470 0 0 0 29 0 0 0 19 0 1 0 176193687 2715648 452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 663 452 139 317 0 342 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2652 [startup+0.701036 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1250 /proc/meminfo: memFree=1476720/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=3236 CPUtime=0.69 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 641 0 0 0 69 0 0 0 22 0 1 0 176193687 3313664 623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 809 623 170 317 0 488 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3236 [startup+1.50112 s] /proc/loadavg: 0.92 0.98 0.99 2/78 1251 /proc/meminfo: memFree=1474472/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=4160 CPUtime=1.49 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 887 0 0 0 149 0 0 0 25 0 1 0 176193687 4259840 869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 1040 869 170 317 0 719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4160 [startup+3.10129 s] /proc/loadavg: 0.92 0.98 0.99 2/78 1251 /proc/meminfo: memFree=1473256/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=5788 CPUtime=3.09 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 1255 0 0 0 309 0 0 0 25 0 1 0 176193687 5926912 1237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 1447 1237 170 317 0 1126 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5788 [startup+6.30162 s] /proc/loadavg: 1.01 1.00 1.00 2/78 1251 /proc/meminfo: memFree=1471208/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=7188 CPUtime=6.29 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 1608 0 0 0 629 0 0 0 25 0 1 0 176193687 7360512 1590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 1797 1590 170 317 0 1476 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7188 [startup+12.7013 s] /proc/loadavg: 1.01 1.00 1.00 2/78 1251 /proc/meminfo: memFree=1470056/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=7956 CPUtime=12.68 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 1801 0 0 0 1268 0 0 0 25 0 1 0 176193687 8146944 1783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 1989 1783 170 317 0 1668 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7956 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1251 /proc/meminfo: memFree=1468712/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=9404 CPUtime=25.48 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 2123 0 0 0 2547 1 0 0 25 0 1 0 176193687 9629696 2105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 2351 2105 170 317 0 2030 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9404 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1251 /proc/meminfo: memFree=1463976/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=14140 CPUtime=51.07 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 3304 0 0 0 5105 2 0 0 25 0 1 0 176193687 14479360 3286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563781 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 3535 3286 170 317 0 3214 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14140 [startup+102.306 s] /proc/loadavg: 1.09 1.03 1.01 2/78 1251 /proc/meminfo: memFree=1458408/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=20332 CPUtime=102.27 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 4729 0 0 0 10222 5 0 0 25 0 1 0 176193687 20819968 4653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 5083 4653 170 317 0 4762 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20332 [startup+162.302 s] /proc/loadavg: 1.07 1.03 1.01 2/78 1251 /proc/meminfo: memFree=1453736/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=25348 CPUtime=162.24 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 5901 0 0 0 16217 7 0 0 25 0 1 0 176193687 25956352 5825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 6337 5825 170 317 0 6016 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25348 [startup+222.301 s] /proc/loadavg: 1.06 1.04 1.01 2/78 1251 /proc/meminfo: memFree=1450984/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=27752 CPUtime=222.22 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 6570 0 0 0 22214 8 0 0 25 0 1 0 176193687 28418048 6494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 6938 6494 170 317 0 6617 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 27752 [startup+282.302 s] /proc/loadavg: 1.02 1.03 1.00 2/78 1251 /proc/meminfo: memFree=1448104/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=30384 CPUtime=282.21 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 7267 0 0 0 28211 10 0 0 25 0 1 0 176193687 31113216 7191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 7596 7191 170 317 0 7275 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30384 [startup+342.302 s] /proc/loadavg: 1.01 1.02 1.00 2/78 1251 /proc/meminfo: memFree=1445352/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=33136 CPUtime=342.2 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 7959 0 0 0 34209 11 0 0 25 0 1 0 176193687 33931264 7883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 8284 7883 170 317 0 7963 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33136 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1251 /proc/meminfo: memFree=1442664/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=36980 CPUtime=402.17 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 8883 0 0 0 40205 12 0 0 25 0 1 0 176193687 37867520 8561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 9245 8561 170 317 0 8924 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 36980 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1251 /proc/meminfo: memFree=1439208/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=41024 CPUtime=462.16 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 9893 0 0 0 46203 13 0 0 25 0 1 0 176193687 42008576 9406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 10256 9406 170 317 0 9935 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 41024 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 1367 /proc/meminfo: memFree=1435448/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=43532 CPUtime=522.11 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 10604 0 0 0 52195 16 0 0 25 0 1 0 176193687 44576768 10051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 10883 10051 170 317 0 10562 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 43532 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1433320/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=47248 CPUtime=582.05 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 11579 0 0 0 58188 17 0 0 25 0 1 0 176193687 48381952 10828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 11812 10828 170 317 0 11491 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 47248 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1430568/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=49928 CPUtime=642.04 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 12301 0 0 0 64186 18 0 0 25 0 1 0 176193687 51126272 11484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 12482 11484 170 317 0 12161 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 49928 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1425192/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=55484 CPUtime=821.98 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 13735 0 0 0 82177 21 0 0 25 0 1 0 176193687 56815616 12885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 13871 12885 170 317 0 13550 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 55484 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1423464/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=57048 CPUtime=881.97 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 14204 0 0 0 88174 23 0 0 25 0 1 0 176193687 58417152 13321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 14262 13321 170 317 0 13941 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 57048 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1421672/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=58768 CPUtime=941.95 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 14653 0 0 0 94171 24 0 0 25 0 1 0 176193687 60178432 13770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 14692 13770 170 317 0 14371 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 58768 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1419752/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=60608 CPUtime=1001.94 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 15169 0 0 0 100168 26 0 0 25 0 1 0 176193687 62062592 14253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 15152 14253 170 317 0 14831 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 60608 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1418088/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=62080 CPUtime=1061.91 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 15604 0 0 0 106165 26 0 0 25 0 1 0 176193687 63569920 14655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 15520 14655 170 317 0 15199 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 62080 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1416744/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=63416 CPUtime=1121.9 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 15951 0 0 0 112163 27 0 0 25 0 1 0 176193687 64937984 15002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710952 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 15854 15002 170 317 0 15533 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 63416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1414888/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=65120 CPUtime=1181.89 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 16426 0 0 0 118161 28 0 0 25 0 1 0 176193687 66682880 15444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 16280 15444 170 317 0 15959 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 65120 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1412840/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=67148 CPUtime=1241.87 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 16952 0 0 0 124158 29 0 0 25 0 1 0 176193687 68759552 15970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 16787 15970 170 317 0 16466 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 67148 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1410856/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=69028 CPUtime=1301.85 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 17445 0 0 0 130156 29 0 0 25 0 1 0 176193687 70684672 16463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 17257 16463 170 317 0 16936 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 69028 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1409448/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=70368 CPUtime=1361.84 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 17823 0 0 0 136154 30 0 0 25 0 1 0 176193687 72056832 16841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 17592 16841 170 317 0 17271 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 70368 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1407976/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=71684 CPUtime=1421.82 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 18179 0 0 0 142152 30 0 0 25 0 1 0 176193687 73404416 17197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 17921 17197 170 317 0 17600 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 71684 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1405480/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=74820 CPUtime=1481.8 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 19003 0 0 0 148148 32 0 0 25 0 1 0 176193687 76615680 17761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 18705 17761 170 317 0 18384 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 74820 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1405096/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=76880 CPUtime=1541.78 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 19591 0 0 0 154146 32 0 0 25 0 1 0 176193687 78725120 17893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 19220 17893 170 317 0 18899 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 76880 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1403816/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=78056 CPUtime=1601.77 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 19929 0 0 0 160144 33 0 0 25 0 1 0 176193687 79929344 18231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 19514 18231 170 317 0 19193 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 78056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1402280/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=80140 CPUtime=1661.75 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 20464 0 0 0 166141 34 0 0 25 0 1 0 176193687 82063360 18603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 20035 18603 170 317 0 19714 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 80140 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1400616/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=82868 CPUtime=1721.73 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 21186 0 0 0 172138 35 0 0 25 0 1 0 176193687 84856832 19032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 20717 19032 170 317 0 20396 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 82868 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1449 /proc/meminfo: memFree=1399080/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=84428 CPUtime=1781.72 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 21619 0 0 0 178136 36 0 0 25 0 1 0 176193687 86454272 19400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 21107 19400 170 317 0 20786 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 84428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/78 1449 /proc/meminfo: memFree=1398632/2055920 swapFree=4159716/4192956 [pid=1250] ppid=1248 vsize=84816 CPUtime=1800.02 /proc/1250/stat : 1250 (oree) R 1248 1250 32629 0 -1 4194304 21731 0 0 0 179966 36 0 0 25 0 1 0 176193687 86851584 19512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1250/statm: 21204 19512 170 317 0 20883 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 84816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.06 CPU user time (s): 1799.68 CPU system time (s): 0.377942 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 84816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.377942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21747 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 3015 runsolver used 2.18467 second user time and 4.41933 second system time The end
Begin job on node7 on Thu Apr 19 16:52:41 UTC 2007 IDJOB= 366894 IDBENCH= 2938 IDSOLVER= 172 FILE ID= node7/366894-1177001561 PBS_JOBID= 4630467 Free space on /tmp= 66370 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_8.opb COMMAND LINE= oree /tmp/evaluation/366894-1177001561/instance-366894-1177001561.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-366894-1177001561 -o ROOT/results/node7/solver-366894-1177001561 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366894-1177001561/instance-366894-1177001561.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7511e7863ac3e00f42a81c49dc15d5a1 RANDOM SEED= 802422957 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.231 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.231 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: 1477128 kB Buffers: 33092 kB Cached: 480204 kB SwapCached: 13228 kB Active: 339780 kB Inactive: 197044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1477128 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 1500 kB Writeback: 0 kB Mapped: 30540 kB Slab: 27412 kB Committed_AS: 7147852 kB PageTables: 1860 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= 66370 MiB End job on node7 on Thu Apr 19 17:22:43 UTC 2007