Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.32 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fiber.opb |
MD5SUM | c3570b707fa12d3d9c0d2ae31848c1b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 65442871 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65313511 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 72966962 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4807778524 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 4807778524 |
Number of bits of the biggest sum of numbers | 33 |
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.00/0.02 c ...done 0.00/0.02 c #vars=2574 #constraints=727 hasObjective=yes 0.03/0.03 c res. mode=mod 0.03/0.03 c VSIDS like heuristics 0.03/0.03 c complete search running 0.03/0.05 c restart after 401 decisions 0.03/0.05 c nbDecision=500 #constraints=742 0.03/0.08 c restart after 801 decisions 0.03/0.08 c nbDecision=1000 #constraints=784 0.10/0.13 c nbDecision=1500 #constraints=859 0.10/0.14 c restart after 1601 decisions 0.10/0.16 c nbDecision=2000 #constraints=879 0.10/0.19 c nbDecision=2500 #constraints=948 0.20/0.24 c nbDecision=3000 #constraints=1009 0.29/0.30 c restart after 3201 decisions 0.29/0.32 c nbDecision=3500 #constraints=1095 0.29/0.37 c nbDecision=4000 #constraints=1159 0.39/0.42 c nbDecision=4500 #constraints=1225 0.39/0.45 c nbDecision=5000 #constraints=1279 0.49/0.53 c nbDecision=5500 #constraints=1352 0.49/0.59 c nbDecision=6000 #constraints=1409 0.59/0.66 c restart after 6401 decisions 0.59/0.67 c nbDecision=6500 #constraints=1472 0.69/0.72 c nbDecision=7000 #constraints=1503 0.69/0.76 c nbDecision=7500 #constraints=1550 0.79/0.81 c nbDecision=8000 #constraints=1581 0.79/0.87 c nbDecision=8500 #constraints=1619 0.89/0.94 c nbDecision=9000 #constraints=1668 0.89/0.98 c nbDecision=9500 #constraints=1694 1.00/1.07 c nbDecision=10000 #constraints=1767 1.10/1.17 c nbDecision=10500 #constraints=1847 1.19/1.24 c nbDecision=11000 #constraints=1893 1.29/1.31 c nbDecision=11500 #constraints=1955 1.39/1.42 c nbDecision=12000 #constraints=2017 1.39/1.48 c nbDecision=12500 #constraints=2076 1.49/1.52 c restart after 12801 decisions 1.49/1.54 c nbDecision=13000 #constraints=2104 1.59/1.63 c nbDecision=13500 #constraints=2138 1.59/1.67 c nbDecision=14000 #constraints=2154 1.69/1.73 c nbDecision=14500 #constraints=2186 1.79/1.86 c nbDecision=15000 #constraints=2249 1.89/1.93 c nbDecision=15500 #constraints=2295 1.99/2.00 c nbDecision=16000 #constraints=2352 2.09/2.11 c nbDecision=16500 #constraints=2411 2.09/2.17 c nbDecision=17000 #constraints=2457 2.29/2.30 c nbDecision=17500 #constraints=2511 2.39/2.44 c nbDecision=18000 #constraints=2560 2.49/2.54 c nbDecision=18500 #constraints=2599 2.49/2.58 c nbDecision=19000 #constraints=2622 2.59/2.69 c nbDecision=19500 #constraints=2690 2.79/2.81 c nbDecision=20000 #constraints=2749 2.89/2.93 c nbDecision=20500 #constraints=2802 2.98/3.00 c nbDecision=21000 #constraints=2826 2.98/3.06 c nbDecision=21500 #constraints=2842 3.09/3.17 c nbDecision=22000 #constraints=2898 3.19/3.25 c nbDecision=22500 #constraints=2936 3.29/3.31 c nbDecision=23000 #constraints=2950 3.29/3.38 c nbDecision=23500 #constraints=2977 3.39/3.43 c nbDecision=24000 #constraints=3017 3.49/3.50 c nbDecision=24500 #constraints=3058 3.49/3.55 c nbDecision=25000 #constraints=3069 3.59/3.62 c nbDecision=25500 #constraints=3098 3.59/3.62 c restart after 25601 decisions 3.69/3.75 c nbDecision=26000 #constraints=3143 3.79/3.81 c nbDecision=26500 #constraints=3160 3.79/3.90 c nbDecision=27000 #constraints=3208 3.99/4.01 c nbDecision=27500 #constraints=3242 4.09/4.15 c nbDecision=28000 #constraints=3292 4.19/4.28 c nbDecision=28500 #constraints=3332 4.39/4.40 c nbDecision=29000 #constraints=3358 4.39/4.49 c nbDecision=29500 #constraints=3389 4.59/4.65 c nbDecision=30000 #constraints=3435 4.69/4.76 c nbDecision=30500 #constraints=3456 4.79/4.89 c nbDecision=31000 #constraints=3482 4.89/4.97 c nbDecision=31500 #constraints=3503 4.99/5.09 c nbDecision=32000 #constraints=3527 5.09/5.17 c nbDecision=32500 #constraints=3552 5.19/5.27 c nbDecision=33000 #constraints=3590 5.29/5.38 c nbDecision=33500 #constraints=3638 5.49/5.54 c nbDecision=34000 #constraints=3691 5.59/5.63 c nbDecision=34500 #constraints=3743 5.79/5.80 c nbDecision=35000 #constraints=3781 5.79/5.88 c nbDecision=35500 #constraints=3818 5.89/5.99 c nbDecision=36000 #constraints=3842 5.99/6.07 c nbDecision=36500 #constraints=3869 6.09/6.16 c nbDecision=37000 #constraints=3901 6.19/6.22 c nbDecision=37500 #constraints=3917 6.19/6.28 c nbDecision=38000 #constraints=3929 6.29/6.36 c nbDecision=38500 #constraints=3956 6.39/6.48 c nbDecision=39000 #constraints=4003 6.49/6.53 c nbDecision=39500 #constraints=4012 6.59/6.62 c nbDecision=40000 #constraints=4040 6.59/6.67 c nbDecision=40500 #constraints=4048 6.69/6.74 c nbDecision=41000 #constraints=4062 6.79/6.89 c nbDecision=41500 #constraints=4115 7.09/7.12 c nbDecision=42000 #constraints=4185 7.29/7.32 c nbDecision=42500 #constraints=4240 7.39/7.43 c nbDecision=43000 #constraints=4272 7.49/7.50 c nbDecision=43500 #constraints=4289 7.59/7.64 c nbDecision=44000 #constraints=4319 7.99/8.03 c nbDecision=44500 #constraints=4384 8.09/8.17 c nbDecision=45000 #constraints=4418 8.29/8.36 c nbDecision=45500 #constraints=4482 8.49/8.54 c nbDecision=46000 #constraints=4542 8.59/8.69 c nbDecision=46500 #constraints=4576 8.79/8.88 c nbDecision=47000 #constraints=4601 8.99/9.01 c nbDecision=47500 #constraints=4617 9.09/9.13 c nbDecision=48000 #constraints=4647 9.19/9.23 c nbDecision=48500 #constraints=4673 9.29/9.32 c nbDecision=49000 #constraints=4684 9.39/9.43 c nbDecision=49500 #constraints=4720 9.49/9.55 c nbDecision=50000 #constraints=4737 9.59/9.63 c nbDecision=50500 #constraints=4767 9.68/9.75 c nbDecision=51000 #constraints=4789 9.68/9.77 c restart after 51201 decisions 9.79/9.89 c nbDecision=51500 #constraints=4801 9.99/10.08 c nbDecision=52000 #constraints=4845 10.19/10.23 c nbDecision=52500 #constraints=4888 10.29/10.36 c nbDecision=53000 #constraints=4910 10.39/10.49 c nbDecision=53500 #constraints=4941 10.59/10.62 c nbDecision=54000 #constraints=4966 10.69/10.74 c nbDecision=54500 #constraints=5015 10.79/10.89 c nbDecision=55000 #constraints=5056 11.00/11.09 c nbDecision=55500 #constraints=5101 11.29/11.32 c nbDecision=56000 #constraints=5152 11.39/11.45 c nbDecision=56500 #constraints=5179 11.59/11.61 c nbDecision=57000 #constraints=5220 11.69/11.72 c nbDecision=57500 #constraints=5234 12.00/12.01 c nbDecision=58000 #constraints=5311 12.09/12.13 c nbDecision=58500 #constraints=5327 12.29/12.32 c nbDecision=59000 #constraints=5392 12.39/12.47 c nbDecision=59500 #constraints=5417 12.49/12.59 c nbDecision=60000 #constraints=5449 12.59/12.69 c nbDecision=60500 #constraints=5471 12.99/13.00 c nbDecision=61000 #constraints=5497 13.19/13.21 c nbDecision=61500 #constraints=5523 13.48/13.52 c nbDecision=62000 #constraints=5564 13.68/13.73 c nbDecision=62500 #constraints=5590 13.88/13.90 c nbDecision=63000 #constraints=5645 14.08/14.14 c nbDecision=63500 #constraints=5676 14.29/14.36 c nbDecision=64000 #constraints=5716 14.48/14.55 c nbDecision=64500 #constraints=5736 14.58/14.65 c nbDecision=65000 #constraints=5751 14.78/14.82 c nbDecision=65500 #constraints=5778 14.98/15.02 c nbDecision=66000 #constraints=5802 15.29/15.34 c nbDecision=66500 #constraints=5836 15.48/15.50 c nbDecision=67000 #constraints=5850 15.58/15.63 c nbDecision=67500 #constraints=5864 15.68/15.75 c nbDecision=68000 #constraints=5879 15.88/15.97 c nbDecision=68500 #constraints=5896 16.08/16.12 c nbDecision=69000 #constraints=5919 16.28/16.33 c nbDecision=69500 #constraints=5947 16.49/16.55 c nbDecision=70000 #constraints=6021 16.58/16.65 c nbDecision=70500 #constraints=6030 16.78/16.87 c nbDecision=71000 #constraints=6066 17.08/17.19 c nbDecision=71500 #constraints=6086 17.28/17.32 c nbDecision=72000 #constraints=6107 17.38/17.49 c nbDecision=72500 #constraints=6126 17.78/17.82 c nbDecision=73000 #constraints=6164 18.08/18.17 c nbDecision=73500 #constraints=6226 18.28/18.32 c nbDecision=74000 #constraints=6252 18.48/18.60 c nbDecision=74500 #constraints=6279 18.78/18.81 c nbDecision=75000 #constraints=6301 19.18/19.20 c nbDecision=75500 #constraints=6330 19.28/19.36 c nbDecision=76000 #constraints=6354 19.38/19.48 c nbDecision=76500 #constraints=6360 19.88/19.94 c nbDecision=77000 #constraints=6413 19.98/20.06 c nbDecision=77500 #constraints=6421 20.18/20.23 c nbDecision=78000 #constraints=6447 20.59/20.61 c nbDecision=78500 #constraints=6481 20.89/20.91 c nbDecision=79000 #constraints=6532 21.19/21.25 c nbDecision=79500 #constraints=6570 21.39/21.40 c nbDecision=80000 #constraints=6595 21.59/21.68 c nbDecision=80500 #constraints=6614 21.99/22.02 c nbDecision=81000 #constraints=6651 22.09/22.12 c nbDecision=81500 #constraints=6665 22.19/22.24 c nbDecision=82000 #constraints=6678 22.38/22.46 c nbDecision=82500 #constraints=6717 22.88/22.90 c nbDecision=83000 #constraints=6795 22.99/23.09 c nbDecision=83500 #constraints=6820 23.18/23.29 c nbDecision=84000 #constraints=6845 23.38/23.47 c nbDecision=84500 #constraints=6879 23.58/23.63 c nbDecision=85000 #constraints=6900 23.78/23.87 c nbDecision=85500 #constraints=6941 23.98/24.06 c nbDecision=86000 #constraints=6969 24.28/24.35 c nbDecision=86500 #constraints=7021 24.58/24.65 c nbDecision=87000 #constraints=7065 24.78/24.89 c nbDecision=87500 #constraints=7105 25.18/25.28 c nbDecision=88000 #constraints=7123 25.48/25.52 c nbDecision=88500 #constraints=7141 25.79/25.86 c nbDecision=89000 #constraints=7180 26.09/26.19 c nbDecision=89500 #constraints=7207 26.39/26.41 c nbDecision=90000 #constraints=7245 26.68/26.79 c nbDecision=90500 #constraints=7278 26.88/26.97 c nbDecision=91000 #constraints=7305 27.08/27.14 c nbDecision=91500 #constraints=7329 27.39/27.40 c nbDecision=92000 #constraints=7357 27.58/27.69 c nbDecision=92500 #constraints=7384 28.08/28.14 c nbDecision=93000 #constraints=7424 28.28/28.38 c nbDecision=93500 #constraints=7443 28.49/28.55 c nbDecision=94000 #constraints=7452 28.59/28.68 c nbDecision=94500 #constraints=7464 28.98/29.02 c nbDecision=95000 #constraints=7500 29.58/29.68 c nbDecision=95500 #constraints=7558 29.88/29.92 c nbDecision=96000 #constraints=7578 30.08/30.12 c nbDecision=96500 #constraints=7613 30.28/30.33 c nbDecision=97000 #constraints=7642 30.48/30.53 c nbDecision=97500 #constraints=7674 30.78/30.87 c nbDecision=98000 #constraints=7697 32.58/32.70 c nbDecision=98500 #constraints=7815 32.78/32.87 c nbDecision=99000 #constraints=7834 33.08/33.13 c nbDecision=99500 #constraints=7863 33.28/33.35 c nbDecision=100000 #constraints=7892 33.48/33.50 c nbDecision=100500 #constraints=7908 33.68/33.72 c nbDecision=101000 #constraints=7924 37.28/37.38 c nbDecision=101500 #constraints=8128 43.67/43.78 c nbDecision=102000 #constraints=8491 45.67/45.74 c restart after 102401 decisions 45.87/45.91 c nbDecision=102500 #constraints=8613 46.58/46.65 c nbDecision=103000 #constraints=8665 46.68/46.78 c nbDecision=103500 #constraints=8674 47.08/47.12 c nbDecision=104000 #constraints=8702 47.38/47.42 c nbDecision=104500 #constraints=8736 47.78/47.83 c nbDecision=105000 #constraints=8779 48.18/48.29 c nbDecision=105500 #constraints=8800 48.48/48.50 c nbDecision=106000 #constraints=8826 48.78/48.88 c nbDecision=106500 #constraints=8855 49.28/49.34 c nbDecision=107000 #constraints=8910 49.58/49.61 c nbDecision=107500 #constraints=8938 49.88/49.94 c nbDecision=108000 #constraints=8973 49.98/50.09 c nbDecision=108500 #constraints=8986 50.48/50.53 c nbDecision=109000 #constraints=9012 50.68/50.79 c nbDecision=109500 #constraints=9033 50.98/51.01 c nbDecision=110000 #constraints=9059 51.48/51.58 c nbDecision=110500 #constraints=9092 51.68/51.77 c nbDecision=111000 #constraints=9102 52.18/52.22 c nbDecision=111500 #constraints=9144 52.68/52.78 c nbDecision=112000 #constraints=9214 52.88/52.98 c nbDecision=112500 #constraints=9233 53.18/53.29 c nbDecision=113000 #constraints=9274 53.68/53.80 c nbDecision=113500 #constraints=9302 54.18/54.29 c nbDecision=114000 #constraints=9380 55.37/55.41 c nbDecision=114500 #constraints=9486 55.67/55.76 c nbDecision=115000 #constraints=9527 55.87/55.95 c nbDecision=115500 #constraints=9539 56.18/56.21 c nbDecision=116000 #constraints=9559 56.28/56.34 c nbDecision=116500 #constraints=9569 56.88/56.99 c nbDecision=117000 #constraints=9622 57.28/57.30 c nbDecision=117500 #constraints=9630 57.48/57.60 c nbDecision=118000 #constraints=9653 59.07/59.10 c nbDecision=118500 #constraints=9772 59.17/59.26 c nbDecision=119000 #constraints=9784 59.47/59.54 c nbDecision=119500 #constraints=9800 60.17/60.22 c nbDecision=120000 #constraints=9843 60.57/60.64 c nbDecision=120500 #constraints=9879 60.77/60.87 c nbDecision=121000 #constraints=9894 61.07/61.19 c nbDecision=121500 #constraints=9914 61.37/61.43 c nbDecision=122000 #constraints=9932 61.48/61.58 c nbDecision=122500 #constraints=9939 61.77/61.85 c nbDecision=123000 #constraints=9961 62.07/62.12 c nbDecision=123500 #constraints=9985 62.27/62.39 c nbDecision=124000 #constraints=10012 63.37/63.43 c nbDecision=124500 #constraints=10071 63.68/63.74 c nbDecision=125000 #constraints=10090 63.87/63.96 c nbDecision=125500 #constraints=10104 64.17/64.23 c nbDecision=126000 #constraints=10121 64.27/64.39 c nbDecision=126500 #constraints=10135 64.57/64.68 c nbDecision=127000 #constraints=10158 64.87/64.95 c nbDecision=127500 #constraints=10173 65.07/65.18 c nbDecision=128000 #constraints=10192 65.58/65.64 c nbDecision=128500 #constraints=10240 65.88/65.92 c nbDecision=129000 #constraints=10258 65.98/66.08 c nbDecision=129500 #constraints=10266 66.48/66.55 c nbDecision=130000 #constraints=10321 66.98/67.02 c nbDecision=130500 #constraints=10372 67.18/67.28 c nbDecision=131000 #constraints=10387 67.57/67.62 c nbDecision=131500 #constraints=10422 67.87/67.94 c nbDecision=132000 #constraints=10450 68.18/68.27 c nbDecision=132500 #constraints=10475 68.47/68.51 c nbDecision=133000 #constraints=10487 68.87/68.96 c nbDecision=133500 #constraints=10553 69.28/69.32 c nbDecision=134000 #constraints=10603 69.57/69.64 c nbDecision=134500 #constraints=10643 69.97/70.07 c nbDecision=135000 #constraints=10698 70.27/70.35 c nbDecision=135500 #constraints=10731 71.57/71.61 c nbDecision=136000 #constraints=10885 71.87/71.90 c nbDecision=136500 #constraints=10920 72.17/72.28 c nbDecision=137000 #constraints=10964 72.77/72.85 c nbDecision=137500 #constraints=11030 72.97/73.08 c nbDecision=138000 #constraints=11051 73.47/73.57 c nbDecision=138500 #constraints=11105 73.77/73.86 c nbDecision=139000 #constraints=11130 74.17/74.28 c nbDecision=139500 #constraints=11179 74.57/74.67 c nbDecision=140000 #constraints=11218 75.07/75.14 c nbDecision=140500 #constraints=11262 75.57/75.67 c nbDecision=141000 #constraints=11322 76.07/76.19 c nbDecision=141500 #constraints=11372 76.77/76.84 c nbDecision=142000 #constraints=11433 77.17/77.25 c nbDecision=142500 #constraints=11469 77.67/77.77 c nbDecision=143000 #constraints=11519 78.27/78.32 c nbDecision=143500 #constraints=11570 78.77/78.83 c nbDecision=144000 #constraints=11612 79.07/79.18 c nbDecision=144500 #constraints=11639 79.66/79.76 c nbDecision=145000 #constraints=11668 80.18/80.25 c nbDecision=145500 #constraints=11698 80.67/80.79 c nbDecision=146000 #constraints=11740 81.67/81.75 c nbDecision=146500 #constraints=11769 81.97/82.09 c nbDecision=147000 #constraints=11781 82.48/82.55 c nbDecision=147500 #constraints=11815 82.87/82.96 c nbDecision=148000 #constraints=11839 83.37/83.41 c nbDecision=148500 #constraints=11881 83.77/83.83 c nbDecision=149000 #constraints=11915 84.17/84.23 c nbDecision=149500 #constraints=11943 84.57/84.66 c nbDecision=150000 #constraints=11971 84.77/84.86 c nbDecision=150500 #constraints=11976 85.17/85.29 c nbDecision=151000 #constraints=12001 85.97/86.05 c nbDecision=151500 #constraints=12039 86.67/86.70 c nbDecision=152000 #constraints=12073 86.97/87.06 c nbDecision=152500 #constraints=12092 87.77/87.81 c nbDecision=153000 #constraints=12119 88.07/88.18 c nbDecision=153500 #constraints=12134 88.37/88.42 c nbDecision=154000 #constraints=12140 88.97/89.02 c nbDecision=154500 #constraints=12166 89.57/89.69 c nbDecision=155000 #constraints=12192 89.87/89.96 c nbDecision=155500 #constraints=12199 90.47/90.55 c nbDecision=156000 #constraints=12257 90.96/91.06 c nbDecision=156500 #constraints=12291 91.36/91.41 c nbDecision=157000 #constraints=12303 92.06/92.10 c nbDecision=157500 #constraints=12337 92.37/92.47 c nbDecision=158000 #constraints=12353 93.06/93.17 c nbDecision=158500 #constraints=12410 93.36/93.44 c nbDecision=159000 #constraints=12420 93.97/94.04 c nbDecision=159500 #constraints=12471 94.97/95.02 c nbDecision=160000 #constraints=12504 95.97/96.03 c nbDecision=160500 #constraints=12525 96.57/96.62 c nbDecision=161000 #constraints=12556 97.07/97.13 c nbDecision=161500 #constraints=12590 97.77/97.87 c nbDecision=162000 #constraints=12656 98.17/98.25 c nbDecision=162500 #constraints=12668 98.77/98.82 c nbDecision=163000 #constraints=12686 99.16/99.20 c nbDecision=163500 #constraints=12710 99.56/99.67 c nbDecision=164000 #constraints=12733 100.07/100.18 c nbDecision=164500 #constraints=12759 100.66/100.79 c nbDecision=165000 #constraints=12786 101.76/101.84 c nbDecision=165500 #constraints=12843 102.06/102.16 c nbDecision=166000 #constraints=12849 102.46/102.52 c nbDecision=166500 #constraints=12855 103.56/103.65 c nbDecision=167000 #constraints=12918 104.87/104.92 c nbDecision=167500 #constraints=12985 105.17/105.24 c nbDecision=168000 #constraints=12998 105.57/105.67 c nbDecision=168500 #constraints=13021 105.87/105.95 c nbDecision=169000 #constraints=13026 106.47/106.54 c nbDecision=169500 #constraints=13053 106.87/106.95 c nbDecision=170000 #constraints=13073 107.27/107.31 c nbDecision=170500 #constraints=13091 107.87/108.00 c nbDecision=171000 #constraints=13109 108.57/108.63 c nbDecision=171500 #constraints=13131 108.87/108.95 c nbDecision=172000 #constraints=13141 109.37/109.47 c nbDecision=172500 #constraints=13181 109.87/109.90 c nbDecision=173000 #constraints=13191 111.27/111.38 c nbDecision=173500 #constraints=13284 111.76/111.83 c nbDecision=174000 #constraints=13300 112.17/112.23 c nbDecision=174500 #constraints=13317 112.56/112.62 c nbDecision=175000 #constraints=13329 113.17/113.22 c nbDecision=175500 #constraints=13340 113.66/113.72 c nbDecision=176000 #constraints=13362 114.16/114.21 c nbDecision=176500 #constraints=13377 114.66/114.74 c nbDecision=177000 #constraints=13389 115.46/115.55 c nbDecision=177500 #constraints=13443 115.86/115.97 c nbDecision=178000 #constraints=13463 116.66/116.77 c nbDecision=178500 #constraints=13505 117.16/117.21 c nbDecision=179000 #constraints=13528 117.56/117.63 c nbDecision=179500 #constraints=13538 117.96/118.08 c nbDecision=180000 #constraints=13544 118.66/118.72 c nbDecision=180500 #constraints=13569 118.86/118.95 c nbDecision=181000 #constraints=13575 119.36/119.45 c nbDecision=181500 #constraints=13587 119.76/119.82 c nbDecision=182000 #constraints=13595 119.96/120.06 c nbDecision=182500 #constraints=13602 120.46/120.55 c nbDecision=183000 #constraints=13612 120.96/121.07 c nbDecision=183500 #constraints=13642 121.66/121.77 c nbDecision=184000 #constraints=13677 122.06/122.18 c nbDecision=184500 #constraints=13685 122.76/122.84 c nbDecision=185000 #constraints=13728 123.46/123.52 c nbDecision=185500 #constraints=13754 123.86/123.95 c nbDecision=186000 #constraints=13784 124.46/124.50 c nbDecision=186500 #constraints=13807 124.76/124.81 c nbDecision=187000 #constraints=13815 124.96/125.05 c nbDecision=187500 #constraints=13818 125.26/125.38 c nbDecision=188000 #constraints=13825 125.65/125.75 c nbDecision=188500 #constraints=13835 125.85/125.98 c nbDecision=189000 #constraints=13838 126.15/126.28 c nbDecision=189500 #constraints=13842 126.55/126.68 c nbDecision=190000 #constraints=13864 127.46/127.52 c nbDecision=190500 #constraints=13897 128.05/128.10 c nbDecision=191000 #constraints=13930 128.25/128.38 c nbDecision=191500 #constraints=13934 128.95/129.00 c nbDecision=192000 #constraints=13968 130.06/130.17 c nbDecision=192500 #constraints=14072 130.96/131.04 c nbDecision=193000 #constraints=14124 131.56/131.66 c nbDecision=193500 #constraints=14150 131.96/132.01 c nbDecision=194000 #constraints=14159 132.66/132.76 c nbDecision=194500 #constraints=14184 132.96/133.03 c nbDecision=195000 #constraints=14189 133.46/133.57 c nbDecision=195500 #constraints=14203 133.76/133.89 c nbDecision=196000 #constraints=14216 134.16/134.21 c nbDecision=196500 #constraints=14224 135.36/135.49 c nbDecision=197000 #constraints=14309 135.66/135.79 c nbDecision=197500 #constraints=14315 136.06/136.14 c nbDecision=198000 #constraints=14321 136.46/136.53 c nbDecision=198500 #constraints=14327 136.86/136.91 c nbDecision=199000 #constraints=14337 137.26/137.40 c nbDecision=199500 #constraints=14358 138.26/138.35 c nbDecision=200000 #constraints=14401 139.05/139.16 c nbDecision=200500 #constraints=14436 140.55/140.69 c nbDecision=201000 #constraints=14552 140.95/141.03 c nbDecision=201500 #constraints=14564 141.35/141.44 c nbDecision=202000 #constraints=14574 141.86/141.99 c nbDecision=202500 #constraints=14584 142.45/142.53 c nbDecision=203000 #constraints=14609 143.15/143.26 c nbDecision=203500 #constraints=14636 143.65/143.78 c nbDecision=204000 #constraints=14663 144.15/144.24 c nbDecision=204500 #constraints=14672 144.55/144.62 c restart after 204801 decisions 145.15/145.27 c nbDecision=205000 #constraints=14685 145.95/146.07 c nbDecision=205500 #constraints=14710 146.55/146.69 c nbDecision=206000 #constraints=14727 147.45/147.51 c nbDecision=206500 #constraints=14768 148.05/148.10 c nbDecision=207000 #constraints=14788 148.65/148.79 c nbDecision=207500 #constraints=14804 149.45/149.51 c nbDecision=208000 #constraints=14831 150.25/150.32 c nbDecision=208500 #constraints=14869 150.55/150.65 c nbDecision=209000 #constraints=14874 150.85/150.96 c nbDecision=209500 #constraints=14879 151.85/151.91 c nbDecision=210000 #constraints=14896 152.45/152.55 c nbDecision=210500 #constraints=14915 153.35/153.47 c nbDecision=211000 #constraints=14941 154.15/154.22 c nbDecision=211500 #constraints=14969 154.96/155.01 c nbDecision=212000 #constraints=14987 155.75/155.85 c nbDecision=212500 #constraints=15003 156.25/156.31 c nbDecision=213000 #constraints=15015 156.85/156.94 c nbDecision=213500 #constraints=15041 157.65/157.76 c nbDecision=214000 #constraints=15062 158.45/158.60 c nbDecision=214500 #constraints=15098 159.05/159.11 c nbDecision=215000 #constraints=15117 159.55/159.69 c nbDecision=215500 #constraints=15136 160.15/160.28 c nbDecision=216000 #constraints=15163 160.85/160.99 c nbDecision=216500 #constraints=15202 161.35/161.49 c nbDecision=217000 #constraints=15222 162.25/162.39 c nbDecision=217500 #constraints=15267 162.75/162.87 c nbDecision=218000 #constraints=15284 163.15/163.21 c nbDecision=218500 #constraints=15289 163.65/163.80 c nbDecision=219000 #constraints=15306 164.24/164.37 c nbDecision=219500 #constraints=15332 165.14/165.24 c nbDecision=220000 #constraints=15377 166.24/166.30 c nbDecision=220500 #constraints=15414 166.64/166.79 c nbDecision=221000 #constraints=15422 167.94/168.02 c nbDecision=221500 #constraints=15463 168.45/168.55 c nbDecision=222000 #constraints=15470 169.15/169.29 c nbDecision=222500 #constraints=15504 170.35/170.45 c nbDecision=223000 #constraints=15544 171.45/171.53 c nbDecision=223500 #constraints=15580 171.95/172.02 c nbDecision=224000 #constraints=15586 172.65/172.78 c nbDecision=224500 #constraints=15598 173.15/173.27 c nbDecision=225000 #constraints=15604 174.15/174.28 c nbDecision=225500 #constraints=15627 174.95/175.05 c nbDecision=226000 #constraints=15645 176.04/176.16 c nbDecision=226500 #constraints=15697 176.44/176.58 c nbDecision=227000 #constraints=15715 177.74/177.81 c nbDecision=227500 #constraints=15773 178.05/178.12 c nbDecision=228000 #constraints=15782 178.74/178.80 c nbDecision=228500 #constraints=15822 179.54/179.63 c nbDecision=229000 #constraints=15872 180.04/180.11 c nbDecision=229500 #constraints=15894 180.64/180.70 c nbDecision=230000 #constraints=15928 181.45/181.54 c nbDecision=230500 #constraints=15971 182.24/182.38 c nbDecision=231000 #constraints=16008 182.74/182.84 c nbDecision=231500 #constraints=16022 183.64/183.79 c nbDecision=232000 #constraints=16074 184.64/184.78 c nbDecision=232500 #constraints=16112 185.14/185.20 c nbDecision=233000 #constraints=16122 185.75/185.82 c nbDecision=233500 #constraints=16138 186.15/186.20 c nbDecision=234000 #constraints=16145 186.55/186.65 c nbDecision=234500 #constraints=16157 187.25/187.30 c nbDecision=235000 #constraints=16182 187.75/187.86 c nbDecision=235500 #constraints=16197 188.15/188.20 c nbDecision=236000 #constraints=16205 188.95/189.02 c nbDecision=236500 #constraints=16235 189.85/189.97 c nbDecision=237000 #constraints=16267 190.85/190.93 c nbDecision=237500 #constraints=16313 191.35/191.41 c nbDecision=238000 #constraints=16326 192.54/192.63 c nbDecision=238500 #constraints=16378 193.14/193.28 c nbDecision=239000 #constraints=16403 194.34/194.46 c nbDecision=239500 #constraints=16450 194.84/194.95 c nbDecision=240000 #constraints=16462 195.75/195.87 c nbDecision=240500 #constraints=16488 196.34/196.49 c nbDecision=241000 #constraints=16509 197.14/197.24 c nbDecision=241500 #constraints=16525 198.04/198.10 c nbDecision=242000 #constraints=16541 198.34/198.48 c nbDecision=242500 #constraints=16549 199.24/199.39 c nbDecision=243000 #constraints=16565 199.94/200.00 c nbDecision=243500 #constraints=16585 201.34/201.44 c nbDecision=244000 #constraints=16633 202.14/202.27 c nbDecision=244500 #constraints=16688 203.24/203.38 c nbDecision=245000 #constraints=16750 204.34/204.50 c nbDecision=245500 #constraints=16802 204.94/205.01 c nbDecision=246000 #constraints=16818 205.54/205.70 c nbDecision=246500 #constraints=16847 206.24/206.39 c nbDecision=247000 #constraints=16874 206.64/206.77 c nbDecision=247500 #constraints=16885 207.13/207.28 c nbDecision=248000 #constraints=16894 207.84/207.99 c nbDecision=248500 #constraints=16917 209.03/209.17 c nbDecision=249000 #constraints=16952 209.83/209.97 c nbDecision=249500 #constraints=16977 210.43/210.56 c nbDecision=250000 #constraints=16985 211.63/211.76 c nbDecision=250500 #constraints=17005 212.53/212.61 c nbDecision=251000 #constraints=17030 213.13/213.29 c nbDecision=251500 #constraints=17049 214.44/214.52 c nbDecision=252000 #constraints=17098 216.14/216.21 c nbDecision=252500 #constraints=17139 217.24/217.36 c nbDecision=253000 #constraints=17176 218.14/218.25 c nbDecision=253500 #constraints=17212 218.84/218.95 c nbDecision=254000 #constraints=17229 219.74/219.88 c nbDecision=254500 #constraints=17256 220.64/220.76 c nbDecision=255000 #constraints=17279 221.44/221.57 c nbDecision=255500 #constraints=17312 221.94/222.08 c nbDecision=256000 #constraints=17324 222.64/222.71 c nbDecision=256500 #constraints=17339 223.43/223.52 c nbDecision=257000 #constraints=17365 224.13/224.27 c nbDecision=257500 #constraints=17387 225.03/225.15 c nbDecision=258000 #constraints=17406 225.83/225.92 c nbDecision=258500 #constraints=17430 226.93/227.04 c nbDecision=259000 #constraints=17458 228.13/228.28 c nbDecision=259500 #constraints=17485 229.73/229.87 c nbDecision=260000 #constraints=17523 230.23/230.30 c nbDecision=260500 #constraints=17535 230.93/231.02 c nbDecision=261000 #constraints=17546 232.13/232.23 c nbDecision=261500 #constraints=17587 233.03/233.11 c nbDecision=262000 #constraints=17609 233.73/233.84 c nbDecision=262500 #constraints=17618 234.03/234.19 c nbDecision=263000 #constraints=17627 234.93/235.08 c nbDecision=263500 #constraints=17662 236.13/236.26 c nbDecision=264000 #constraints=17703 236.73/236.82 c nbDecision=264500 #constraints=17726 237.33/237.42 c nbDecision=265000 #constraints=17763 238.13/238.21 c nbDecision=265500 #constraints=17819 238.73/238.84 c nbDecision=266000 #constraints=17857 239.73/239.81 c nbDecision=266500 #constraints=17887 240.53/240.62 c nbDecision=267000 #constraints=17904 241.02/241.19 c nbDecision=267500 #constraints=17920 241.42/241.55 c nbDecision=268000 #constraints=17926 242.02/242.16 c nbDecision=268500 #constraints=17949 243.12/243.28 c nbDecision=269000 #constraints=17980 244.22/244.39 c nbDecision=269500 #constraints=18013 244.92/245.07 c nbDecision=270000 #constraints=18031 245.32/245.48 c nbDecision=270500 #constraints=18037 246.12/246.24 c nbDecision=271000 #constraints=18063 246.72/246.88 c nbDecision=271500 #constraints=18085 247.33/247.49 c nbDecision=272000 #constraints=18100 248.12/248.29 c nbDecision=272500 #constraints=18127 248.82/248.93 c nbDecision=273000 #constraints=18136 249.92/250.08 c nbDecision=273500 #constraints=18169 251.12/251.20 c nbDecision=274000 #constraints=18193 251.73/251.87 c nbDecision=274500 #constraints=18207 252.12/252.29 c nbDecision=275000 #constraints=18215 252.72/252.84 c nbDecision=275500 #constraints=18242 253.42/253.54 c nbDecision=276000 #constraints=18267 254.32/254.40 c nbDecision=276500 #constraints=18283 255.32/255.50 c nbDecision=277000 #constraints=18300 256.12/256.22 c nbDecision=277500 #constraints=18313 256.72/256.80 c nbDecision=278000 #constraints=18343 257.62/257.73 c nbDecision=278500 #constraints=18365 258.42/258.57 c nbDecision=279000 #constraints=18407 259.32/259.49 c nbDecision=279500 #constraints=18436 260.42/260.51 c nbDecision=280000 #constraints=18461 261.42/261.54 c nbDecision=280500 #constraints=18483 262.02/262.10 c nbDecision=281000 #constraints=18495 263.03/263.13 c nbDecision=281500 #constraints=18522 263.83/263.98 c nbDecision=282000 #constraints=18538 264.32/264.48 c nbDecision=282500 #constraints=18564 265.12/265.28 c nbDecision=283000 #constraints=18618 266.22/266.37 c nbDecision=283500 #constraints=18666 267.13/267.23 c nbDecision=284000 #constraints=18678 267.92/268.01 c nbDecision=284500 #constraints=18696 268.62/268.71 c nbDecision=285000 #constraints=18707 269.22/269.32 c nbDecision=285500 #constraints=18711 270.32/270.43 c nbDecision=286000 #constraints=18738 271.22/271.37 c nbDecision=286500 #constraints=18767 271.92/272.02 c nbDecision=287000 #constraints=18778 272.72/272.86 c nbDecision=287500 #constraints=18802 273.72/273.82 c nbDecision=288000 #constraints=18834 274.32/274.43 c nbDecision=288500 #constraints=18852 274.82/274.93 c nbDecision=289000 #constraints=18867 275.52/275.62 c nbDecision=289500 #constraints=18874 276.62/276.72 c nbDecision=290000 #constraints=18898 277.42/277.51 c nbDecision=290500 #constraints=18920 278.42/278.50 c nbDecision=291000 #constraints=18935 279.22/279.35 c nbDecision=291500 #constraints=18962 280.22/280.34 c nbDecision=292000 #constraints=18996 280.92/281.02 c nbDecision=292500 #constraints=19010 282.12/282.26 c nbDecision=293000 #constraints=19045 282.82/282.94 c nbDecision=293500 #constraints=19056 283.31/283.48 c nbDecision=294000 #constraints=19073 284.31/284.42 c nbDecision=294500 #constraints=19084 285.31/285.46 c nbDecision=295000 #constraints=19114 285.92/286.06 c nbDecision=295500 #constraints=19121 286.51/286.62 c nbDecision=296000 #constraints=19127 287.01/287.20 c nbDecision=296500 #constraints=19137 287.91/288.06 c nbDecision=297000 #constraints=19145 288.41/288.54 c nbDecision=297500 #constraints=19154 289.61/289.78 c nbDecision=298000 #constraints=19191 290.21/290.32 c nbDecision=298500 #constraints=19197 291.61/291.80 c nbDecision=299000 #constraints=19236 292.61/292.71 c nbDecision=299500 #constraints=19254 293.31/293.45 c nbDecision=300000 #constraints=19279 294.31/294.47 c nbDecision=300500 #constraints=19321 295.01/295.12 c nbDecision=301000 #constraints=19333 295.41/295.59 c nbDecision=301500 #constraints=19339 296.31/296.40 c nbDecision=302000 #constraints=19362 297.21/297.33 c nbDecision=302500 #constraints=19385 298.41/298.56 c nbDecision=303000 #constraints=19415 299.22/299.31 c nbDecision=303500 #constraints=19441 300.82/300.90 c nbDecision=304000 #constraints=19478 301.91/302.01 c nbDecision=304500 #constraints=19515 302.81/302.91 c nbDecision=305000 #constraints=19532 304.01/304.19 c nbDecision=305500 #constraints=19557 305.01/305.10 c nbDecision=306000 #constraints=19591 305.62/305.77 c nbDecision=306500 #constraints=19609 306.51/306.64 c nbDecision=307000 #constraints=19628 307.71/307.85 c nbDecision=307500 #constraints=19648 308.81/308.96 c nbDecision=308000 #constraints=19678 309.51/309.64 c nbDecision=308500 #constraints=19700 310.21/310.30 c nbDecision=309000 #constraints=19717 310.71/310.81 c nbDecision=309500 #constraints=19723 311.91/312.07 c nbDecision=310000 #constraints=19745 312.71/312.86 c nbDecision=310500 #constraints=19769 313.41/313.56 c nbDecision=311000 #constraints=19784 314.31/314.41 c nbDecision=311500 #constraints=19810 315.11/315.21 c nbDecision=312000 #constraints=19838 316.01/316.16 c nbDecision=312500 #constraints=19858 317.30/317.49 c nbDecision=313000 #constraints=19885 318.10/318.27 c nbDecision=313500 #constraints=19909 319.10/319.28 c nbDecision=314000 #constraints=19936 320.70/320.89 c nbDecision=314500 #constraints=19979 321.60/321.77 c nbDecision=315000 #constraints=19998 322.70/322.83 c nbDecision=315500 #constraints=20028 323.20/323.38 c nbDecision=316000 #constraints=20045 324.20/324.31 c nbDecision=316500 #constraints=20065 325.40/325.56 c nbDecision=317000 #constraints=20093 326.20/326.33 c nbDecision=317500 #constraints=20118 326.80/326.95 c nbDecision=318000 #constraints=20129 327.40/327.53 c nbDecision=318500 #constraints=20136 328.10/328.27 c nbDecision=319000 #constraints=20156 328.90/329.09 c nbDecision=319500 #constraints=20171 330.00/330.11 c nbDecision=320000 #constraints=20190 330.70/330.82 c nbDecision=320500 #constraints=20200 331.79/332.00 c nbDecision=321000 #constraints=20221 332.59/332.72 c nbDecision=321500 #constraints=20239 333.20/333.38 c nbDecision=322000 #constraints=20248 334.30/334.50 c nbDecision=322500 #constraints=20277 335.19/335.35 c nbDecision=323000 #constraints=20284 336.09/336.21 c nbDecision=323500 #constraints=20309 337.59/337.71 c nbDecision=324000 #constraints=20339 339.10/339.28 c nbDecision=324500 #constraints=20395 339.90/340.02 c nbDecision=325000 #constraints=20416 341.30/341.46 c nbDecision=325500 #constraints=20442 342.10/342.30 c nbDecision=326000 #constraints=20473 342.89/343.06 c nbDecision=326500 #constraints=20504 343.49/343.63 c nbDecision=327000 #constraints=20516 344.20/344.31 c nbDecision=327500 #constraints=20536 345.09/345.28 c nbDecision=328000 #constraints=20568 345.89/346.05 c nbDecision=328500 #constraints=20598 346.69/346.85 c nbDecision=329000 #constraints=20630 347.79/347.91 c nbDecision=329500 #constraints=20664 348.39/348.58 c nbDecision=330000 #constraints=20676 350.09/350.22 c nbDecision=330500 #constraints=20753 350.49/350.69 c nbDecision=331000 #constraints=20758 351.29/351.47 c nbDecision=331500 #constraints=20776 352.19/352.39 c nbDecision=332000 #constraints=20801 352.99/353.19 c nbDecision=332500 #constraints=20827 354.09/354.28 c nbDecision=333000 #constraints=20852 355.89/356.02 c nbDecision=333500 #constraints=20879 356.59/356.72 c nbDecision=334000 #constraints=20895 357.89/358.03 c nbDecision=334500 #constraints=20938 358.69/358.86 c nbDecision=335000 #constraints=20955 359.69/359.84 c nbDecision=335500 #constraints=20985 360.69/360.86 c nbDecision=336000 #constraints=21012 361.69/361.86 c nbDecision=336500 #constraints=21047 362.59/362.75 c nbDecision=337000 #constraints=21064 363.49/363.61 c nbDecision=337500 #constraints=21080 364.79/364.92 c nbDecision=338000 #constraints=21093 365.29/365.48 c nbDecision=338500 #constraints=21108 367.48/367.69 c nbDecision=339000 #constraints=21168 368.29/368.43 c nbDecision=339500 #constraints=21182 369.49/369.67 c nbDecision=340000 #constraints=21213 371.88/372.05 c nbDecision=340500 #constraints=21257 373.09/373.28 c nbDecision=341000 #constraints=21298 373.79/373.96 c nbDecision=341500 #constraints=21316 375.39/375.54 c nbDecision=342000 #constraints=21387 376.29/376.49 c nbDecision=342500 #constraints=21426 378.19/378.33 c nbDecision=343000 #constraints=21460 379.58/379.71 c nbDecision=343500 #constraints=21494 381.38/381.60 c nbDecision=344000 #constraints=21526 382.68/382.82 c nbDecision=344500 #constraints=21543 384.08/384.25 c nbDecision=345000 #constraints=21578 385.48/385.60 c nbDecision=345500 #constraints=21617 386.48/386.62 c nbDecision=346000 #constraints=21638 387.88/388.07 c nbDecision=346500 #constraints=21672 389.08/389.20 c nbDecision=347000 #constraints=21698 389.68/389.81 c nbDecision=347500 #constraints=21709 390.38/390.54 c nbDecision=348000 #constraints=21722 390.98/391.11 c nbDecision=348500 #constraints=21727 392.28/392.46 c nbDecision=349000 #constraints=21744 392.68/392.87 c nbDecision=349500 #constraints=21746 393.58/393.76 c nbDecision=350000 #constraints=21766 394.08/394.29 c nbDecision=350500 #constraints=21774 394.88/395.08 c nbDecision=351000 #constraints=21786 395.68/395.83 c nbDecision=351500 #constraints=21806 396.18/396.38 c nbDecision=352000 #constraints=21812 398.38/398.59 c nbDecision=352500 #constraints=21875 399.68/399.81 c nbDecision=353000 #constraints=21905 400.68/400.81 c nbDecision=353500 #constraints=21926 402.18/402.37 c nbDecision=354000 #constraints=21951 403.08/403.20 c nbDecision=354500 #constraints=21977 404.48/404.66 c nbDecision=355000 #constraints=22011 405.28/405.49 c nbDecision=355500 #constraints=22022 406.38/406.56 c nbDecision=356000 #constraints=22065 406.98/407.13 c nbDecision=356500 #constraints=22070 408.18/408.39 c nbDecision=357000 #constraints=22102 409.18/409.38 c nbDecision=357500 #constraints=22128 410.37/410.56 c nbDecision=358000 #constraints=22142 410.97/411.12 c nbDecision=358500 #constraints=22149 411.67/411.85 c nbDecision=359000 #constraints=22159 413.67/413.87 c nbDecision=359500 #constraints=22202 414.48/414.61 c nbDecision=360000 #constraints=22210 415.27/415.49 c nbDecision=360500 #constraints=22229 416.47/416.62 c nbDecision=361000 #constraints=22253 417.57/417.75 c nbDecision=361500 #constraints=22283 417.97/418.18 c nbDecision=362000 #constraints=22288 419.77/419.99 c nbDecision=362500 #constraints=22335 421.17/421.31 c nbDecision=363000 #constraints=22360 422.07/422.30 c nbDecision=363500 #constraints=22379 424.57/424.70 c nbDecision=364000 #constraints=22432 425.67/425.84 c nbDecision=364500 #constraints=22456 426.87/427.06 c nbDecision=365000 #constraints=22480 427.57/427.75 c nbDecision=365500 #constraints=22484 428.56/428.76 c nbDecision=366000 #constraints=22499 429.87/430.05 c nbDecision=366500 #constraints=22529 430.66/430.86 c nbDecision=367000 #constraints=22537 432.07/432.28 c nbDecision=367500 #constraints=22555 432.66/432.88 c nbDecision=368000 #constraints=22560 433.46/433.64 c nbDecision=368500 #constraints=22569 434.16/434.38 c nbDecision=369000 #constraints=22587 434.97/435.10 c nbDecision=369500 #constraints=22604 435.97/436.18 c nbDecision=370000 #constraints=22617 436.97/437.18 c nbDecision=370500 #constraints=22627 438.77/438.93 c nbDecision=371000 #constraints=22651 439.77/439.99 c nbDecision=371500 #constraints=22675 441.17/441.39 c nbDecision=372000 #constraints=22700 442.37/442.58 c nbDecision=372500 #constraints=22717 443.37/443.59 c nbDecision=373000 #constraints=22733 444.17/444.35 c nbDecision=373500 #constraints=22742 444.97/445.15 c nbDecision=374000 #constraints=22748 446.17/446.32 c nbDecision=374500 #constraints=22766 447.37/447.52 c nbDecision=375000 #constraints=22789 448.37/448.57 c nbDecision=375500 #constraints=22797 450.66/450.80 c nbDecision=376000 #constraints=22835 451.97/452.12 c nbDecision=376500 #constraints=22849 452.76/452.92 c nbDecision=377000 #constraints=22859 454.26/454.42 c nbDecision=377500 #constraints=22894 456.27/456.46 c nbDecision=378000 #constraints=22940 457.46/457.61 c nbDecision=378500 #constraints=22955 459.96/460.11 c nbDecision=379000 #constraints=23008 462.66/462.89 c nbDecision=379500 #constraints=23052 463.66/463.80 c nbDecision=380000 #constraints=23060 465.16/465.31 c nbDecision=380500 #constraints=23081 466.86/467.07 c nbDecision=381000 #constraints=23107 468.06/468.22 c nbDecision=381500 #constraints=23119 469.95/470.12 c nbDecision=382000 #constraints=23170 470.75/470.90 c nbDecision=382500 #constraints=23195 471.55/471.74 c nbDecision=383000 #constraints=23204 472.35/472.55 c nbDecision=383500 #constraints=23211 473.05/473.29 c nbDecision=384000 #constraints=23218 474.96/475.17 c nbDecision=384500 #constraints=23246 476.06/476.26 c nbDecision=385000 #constraints=23256 477.45/477.60 c nbDecision=385500 #constraints=23276 478.75/478.93 c nbDecision=386000 #constraints=23302 480.65/480.81 c nbDecision=386500 #constraints=23327 482.05/482.22 c nbDecision=387000 #constraints=23343 483.05/483.23 c nbDecision=387500 #constraints=23350 484.55/484.74 c nbDecision=388000 #constraints=23372 485.45/485.65 c nbDecision=388500 #constraints=23379 487.25/487.42 c nbDecision=389000 #constraints=23406 488.36/488.52 c nbDecision=389500 #constraints=23422 489.26/489.40 c nbDecision=390000 #constraints=23431 490.15/490.33 c nbDecision=390500 #constraints=23440 491.35/491.59 c nbDecision=391000 #constraints=23457 492.45/492.68 c nbDecision=391500 #constraints=23470 493.85/494.02 c nbDecision=392000 #constraints=23488 494.76/494.91 c nbDecision=392500 #constraints=23499 495.96/496.11 c nbDecision=393000 #constraints=23514 497.55/497.75 c nbDecision=393500 #constraints=23539 498.85/499.03 c nbDecision=394000 #constraints=23557 499.75/500.00 c nbDecision=394500 #constraints=23570 501.55/501.77 c nbDecision=395000 #constraints=23596 502.65/502.88 c nbDecision=395500 #constraints=23613 504.05/504.28 c nbDecision=396000 #constraints=23633 505.25/505.49 c nbDecision=396500 #constraints=23649 506.55/506.71 c nbDecision=397000 #constraints=23665 507.35/507.57 c nbDecision=397500 #constraints=23680 508.65/508.80 c nbDecision=398000 #constraints=23694 509.55/509.74 c nbDecision=398500 #constraints=23704 510.25/510.49 c nbDecision=399000 #constraints=23720 511.15/511.32 c nbDecision=399500 #constraints=23727 511.85/512.09 c nbDecision=400000 #constraints=23737 513.65/513.82 c nbDecision=400500 #constraints=23761 515.54/515.74 c nbDecision=401000 #constraints=23800 516.54/516.71 c nbDecision=401500 #constraints=23821 517.85/518.06 c nbDecision=402000 #constraints=23838 518.95/519.15 c nbDecision=402500 #constraints=23851 520.24/520.43 c nbDecision=403000 #constraints=23867 522.54/522.79 c nbDecision=403500 #constraints=23911 524.84/525.09 c nbDecision=404000 #constraints=23953 525.84/526.09 c nbDecision=404500 #constraints=23966 527.14/527.31 c nbDecision=405000 #constraints=23988 528.54/528.71 c nbDecision=405500 #constraints=24006 530.14/530.31 c nbDecision=406000 #constraints=24031 531.64/531.84 c nbDecision=406500 #constraints=24063 532.44/532.62 c nbDecision=407000 #constraints=24077 534.73/534.91 c nbDecision=407500 #constraints=24121 535.93/536.13 c nbDecision=408000 #constraints=24152 537.43/537.65 c nbDecision=408500 #constraints=24180 539.03/539.25 c nbDecision=409000 #constraints=24202 541.23/541.43 c nbDecision=409500 #constraints=24243 541.43/541.60 c restart after 409601 decisions 543.73/543.96 c nbDecision=410000 #constraints=24249 544.34/544.55 c nbDecision=410500 #constraints=24256 546.03/546.22 c nbDecision=411000 #constraints=24289 547.03/547.27 c nbDecision=411500 #constraints=24313 547.73/547.92 c nbDecision=412000 #constraints=24318 548.53/548.79 c nbDecision=412500 #constraints=24332 549.43/549.68 c nbDecision=413000 #constraints=24346 550.53/550.75 c nbDecision=413500 #constraints=24373 551.63/551.86 c nbDecision=414000 #constraints=24396 553.53/553.79 c nbDecision=414500 #constraints=24451 554.53/554.71 c nbDecision=415000 #constraints=24463 556.03/556.27 c nbDecision=415500 #constraints=24486 557.73/557.94 c nbDecision=416000 #constraints=24529 558.93/559.15 c nbDecision=416500 #constraints=24552 560.33/560.56 c nbDecision=417000 #constraints=24565 560.93/561.18 c nbDecision=417500 #constraints=24572 562.43/562.69 c nbDecision=418000 #constraints=24601 563.73/563.98 c nbDecision=418500 #constraints=24611 564.73/564.90 c nbDecision=419000 #constraints=24634 566.63/566.88 c nbDecision=419500 #constraints=24687 567.63/567.82 c nbDecision=420000 #constraints=24702 568.83/569.09 c nbDecision=420500 #constraints=24727 569.73/569.98 c nbDecision=421000 #constraints=24741 570.73/570.96 c nbDecision=421500 #constraints=24755 572.03/572.21 c nbDecision=422000 #constraints=24801 573.93/574.18 c nbDecision=422500 #constraints=24862 574.92/575.18 c nbDecision=423000 #constraints=24883 575.82/576.05 c nbDecision=423500 #constraints=24907 577.12/577.31 c nbDecision=424000 #constraints=24939 578.02/578.21 c nbDecision=424500 #constraints=24963 579.02/579.21 c nbDecision=425000 #constraints=24970 580.53/580.72 c nbDecision=425500 #constraints=24982 581.02/581.27 c nbDecision=426000 #constraints=24987 581.73/581.93 c nbDecision=426500 #constraints=24994 582.52/582.75 c nbDecision=427000 #constraints=25011 583.32/583.56 c nbDecision=427500 #constraints=25020 584.22/584.47 c nbDecision=428000 #constraints=25029 585.32/585.60 c nbDecision=428500 #constraints=25058 586.42/586.68 c nbDecision=429000 #constraints=25078 587.12/587.35 c nbDecision=429500 #constraints=25089 588.22/588.49 c nbDecision=430000 #constraints=25112 588.92/589.18 c nbDecision=430500 #constraints=25116 589.62/589.81 c nbDecision=431000 #constraints=25123 590.42/590.66 c nbDecision=431500 #constraints=25132 591.32/591.51 c nbDecision=432000 #constraints=25140 591.92/592.19 c nbDecision=432500 #constraints=25149 593.22/593.46 c nbDecision=433000 #constraints=25167 594.21/594.42 c nbDecision=433500 #constraints=25196 595.71/595.94 c nbDecision=434000 #constraints=25243 597.21/597.44 c nbDecision=434500 #constraints=25278 598.01/598.26 c nbDecision=435000 #constraints=25298 599.82/600.03 c nbDecision=435500 #constraints=25319 600.33/600.57 c nbDecision=436000 #constraints=25322 602.02/602.22 c nbDecision=436500 #constraints=25351 603.12/603.39 c nbDecision=437000 #constraints=25363 604.12/604.35 c nbDecision=437500 #constraints=25379 604.92/605.14 c nbDecision=438000 #constraints=25387 606.12/606.37 c nbDecision=438500 #constraints=25413 607.32/607.51 c nbDecision=439000 #constraints=25430 608.92/609.12 c nbDecision=439500 #constraints=25460 610.42/610.60 c nbDecision=440000 #constraints=25475 611.82/612.06 c nbDecision=440500 #constraints=25487 613.52/613.75 c nbDecision=441000 #constraints=25526 614.01/614.28 c nbDecision=441500 #constraints=25528 615.72/615.92 c nbDecision=442000 #constraints=25555 617.81/618.05 c nbDecision=442500 #constraints=25594 619.11/619.40 c nbDecision=443000 #constraints=25606 620.31/620.59 c nbDecision=443500 #constraints=25628 622.11/622.34 c nbDecision=444000 #constraints=25651 623.11/623.39 c nbDecision=444500 #constraints=25664 623.91/624.15 c nbDecision=445000 #constraints=25671 625.41/625.67 c nbDecision=445500 #constraints=25688 626.21/626.44 c nbDecision=446000 #constraints=25703 627.71/627.96 c nbDecision=446500 #constraints=25716 628.61/628.87 c nbDecision=447000 #constraints=25726 629.81/630.04 c nbDecision=447500 #constraints=25738 631.51/631.79 c nbDecision=448000 #constraints=25788 632.50/632.72 c nbDecision=448500 #constraints=25795 633.70/633.91 c nbDecision=449000 #constraints=25805 635.00/635.21 c nbDecision=449500 #constraints=25816 635.61/635.88 c nbDecision=450000 #constraints=25825 636.40/636.68 c nbDecision=450500 #constraints=25831 637.50/637.70 c nbDecision=451000 #constraints=25842 638.10/638.37 c nbDecision=451500 #constraints=25848 638.91/639.19 c nbDecision=452000 #constraints=25853 639.80/640.09 c nbDecision=452500 #constraints=25862 641.10/641.34 c nbDecision=453000 #constraints=25874 641.80/642.06 c nbDecision=453500 #constraints=25884 643.20/643.50 c nbDecision=454000 #constraints=25907 644.70/644.91 c nbDecision=454500 #constraints=25917 645.90/646.17 c nbDecision=455000 #constraints=25967 647.20/647.44 c nbDecision=455500 #constraints=26013 648.10/648.35 c nbDecision=456000 #constraints=26022 649.70/649.99 c nbDecision=456500 #constraints=26032 650.90/651.20 c nbDecision=457000 #constraints=26051 652.19/652.45 c nbDecision=457500 #constraints=26059 653.20/653.46 c nbDecision=458000 #constraints=26068 654.59/654.81 c nbDecision=458500 #constraints=26077 655.49/655.78 c nbDecision=459000 #constraints=26086 656.89/657.17 c nbDecision=459500 #constraints=26108 657.69/657.94 c nbDecision=460000 #constraints=26111 660.80/661.06 c nbDecision=460500 #constraints=26194 661.79/662.01 c nbDecision=461000 #constraints=26222 663.10/663.34 c nbDecision=461500 #constraints=26230 664.30/664.56 c nbDecision=462000 #constraints=26247 665.20/665.43 c nbDecision=462500 #constraints=26256 667.40/667.61 c nbDecision=463000 #constraints=26283 668.20/668.43 c nbDecision=463500 #constraints=26303 670.90/671.11 c nbDecision=464000 #constraints=26337 672.00/672.20 c nbDecision=464500 #constraints=26352 673.90/674.16 c nbDecision=465000 #constraints=26391 676.20/676.46 c nbDecision=465500 #constraints=26424 677.89/678.13 c nbDecision=466000 #constraints=26461 679.19/679.43 c nbDecision=466500 #constraints=26476 680.19/680.46 c nbDecision=467000 #constraints=26497 681.49/681.70 c nbDecision=467500 #constraints=26523 682.29/682.52 c nbDecision=468000 #constraints=26530 683.29/683.60 c nbDecision=468500 #constraints=26555 683.99/684.25 c nbDecision=469000 #constraints=26562 686.29/686.55 c nbDecision=469500 #constraints=26602 687.29/687.53 c nbDecision=470000 #constraints=26615 688.69/688.97 c nbDecision=470500 #constraints=26646 690.19/690.42 c nbDecision=471000 #constraints=26664 691.19/691.47 c nbDecision=471500 #constraints=26685 691.89/692.14 c nbDecision=472000 #constraints=26691 693.98/694.27 c nbDecision=472500 #constraints=26716 695.38/695.67 c nbDecision=473000 #constraints=26745 697.38/697.67 c nbDecision=473500 #constraints=26774 698.48/698.77 c nbDecision=474000 #constraints=26788 699.98/700.27 c nbDecision=474500 #constraints=26821 701.18/701.44 c nbDecision=475000 #constraints=26835 701.88/702.18 c nbDecision=475500 #constraints=26842 702.59/702.82 c nbDecision=476000 #constraints=26850 705.09/705.35 c nbDecision=476500 #constraints=26890 706.29/706.54 c nbDecision=477000 #constraints=26914 707.59/707.82 c nbDecision=477500 #constraints=26948 708.89/709.16 c nbDecision=478000 #constraints=26984 709.99/710.28 c nbDecision=478500 #constraints=27001 711.29/711.52 c nbDecision=479000 #constraints=27027 713.09/713.39 c nbDecision=479500 #constraints=27043 714.19/714.48 c nbDecision=480000 #constraints=27065 715.29/715.57 c nbDecision=480500 #constraints=27082 716.59/716.86 c nbDecision=481000 #constraints=27114 718.09/718.37 c nbDecision=481500 #constraints=27153 719.19/719.41 c nbDecision=482000 #constraints=27176 719.88/720.18 c nbDecision=482500 #constraints=27187 721.98/722.20 c nbDecision=483000 #constraints=27208 724.28/724.56 c nbDecision=483500 #constraints=27246 726.08/726.36 c nbDecision=484000 #constraints=27303 728.08/728.37 c nbDecision=484500 #constraints=27338 730.48/730.72 c nbDecision=485000 #constraints=27360 730.98/731.27 c nbDecision=485500 #constraints=27367 732.78/733.00 c nbDecision=486000 #constraints=27384 733.87/734.12 c nbDecision=486500 #constraints=27404 735.77/736.09 c nbDecision=487000 #constraints=27427 737.37/737.66 c nbDecision=487500 #constraints=27440 738.37/738.69 c nbDecision=488000 #constraints=27446 740.08/740.34 c nbDecision=488500 #constraints=27456 741.87/742.16 c nbDecision=489000 #constraints=27486 742.77/743.06 c nbDecision=489500 #constraints=27497 744.27/744.58 c nbDecision=490000 #constraints=27521 746.17/746.45 c nbDecision=490500 #constraints=27543 747.67/747.92 c nbDecision=491000 #constraints=27559 749.47/749.75 c nbDecision=491500 #constraints=27575 751.07/751.36 c nbDecision=492000 #constraints=27601 752.27/752.54 c nbDecision=492500 #constraints=27625 753.97/754.28 c nbDecision=493000 #constraints=27662 755.67/755.95 c nbDecision=493500 #constraints=27692 757.47/757.74 c nbDecision=494000 #constraints=27713 758.17/758.48 c nbDecision=494500 #constraints=27721 759.77/760.09 c nbDecision=495000 #constraints=27742 761.27/761.56 c nbDecision=495500 #constraints=27758 762.27/762.51 c nbDecision=496000 #constraints=27777 763.18/763.43 c nbDecision=496500 #constraints=27795 764.57/764.85 c nbDecision=497000 #constraints=27837 765.97/766.21 c nbDecision=497500 #constraints=27850 768.07/768.38 c nbDecision=498000 #constraints=27892 769.47/769.72 c nbDecision=498500 #constraints=27900 771.27/771.54 c nbDecision=499000 #constraints=27930 772.57/772.86 c nbDecision=499500 #constraints=27941 773.47/773.71 c nbDecision=500000 #constraints=27949 774.57/774.82 c nbDecision=500500 #constraints=27963 775.37/775.67 c nbDecision=501000 #constraints=27975 776.07/776.39 c nbDecision=501500 #constraints=27979 777.57/777.83 c nbDecision=502000 #constraints=28009 778.67/778.96 c nbDecision=502500 #constraints=28023 780.37/780.63 c nbDecision=503000 #constraints=28051 781.57/781.84 c nbDecision=503500 #constraints=28077 782.77/783.09 c nbDecision=504000 #constraints=28101 783.97/784.25 c nbDecision=504500 #constraints=28123 785.87/786.10 c nbDecision=505000 #constraints=28148 787.47/787.70 c nbDecision=505500 #constraints=28163 789.37/789.69 c nbDecision=506000 #constraints=28197 790.67/790.96 c nbDecision=506500 #constraints=28209 792.06/792.32 c nbDecision=507000 #constraints=28228 793.16/793.46 c nbDecision=507500 #constraints=28238 794.16/794.44 c nbDecision=508000 #constraints=28244 796.07/796.32 c nbDecision=508500 #constraints=28287 797.06/797.36 c nbDecision=509000 #constraints=28292 798.27/798.51 c nbDecision=509500 #constraints=28305 799.26/799.53 c nbDecision=510000 #constraints=28309 800.47/800.80 c nbDecision=510500 #constraints=28319 801.76/802.04 c nbDecision=511000 #constraints=28337 803.16/803.47 c nbDecision=511500 #constraints=28393 804.66/804.97 c nbDecision=512000 #constraints=28410 805.76/806.05 c nbDecision=512500 #constraints=28421 806.86/807.15 c nbDecision=513000 #constraints=28430 808.16/808.45 c nbDecision=513500 #constraints=28457 809.36/809.62 c nbDecision=514000 #constraints=28467 810.86/811.16 c nbDecision=514500 #constraints=28478 812.36/812.68 c nbDecision=515000 #constraints=28507 813.26/813.59 c nbDecision=515500 #constraints=28518 814.36/814.60 c nbDecision=516000 #constraints=28526 815.46/815.73 c nbDecision=516500 #constraints=28536 816.66/816.95 c nbDecision=517000 #constraints=28553 818.26/818.55 c nbDecision=517500 #constraints=28573 819.46/819.75 c nbDecision=518000 #constraints=28582 820.86/821.11 c nbDecision=518500 #constraints=28594 822.16/822.43 c nbDecision=519000 #constraints=28610 824.15/824.48 c nbDecision=519500 #constraints=28667 825.05/825.31 c nbDecision=520000 #constraints=28676 826.55/826.87 c nbDecision=520500 #constraints=28698 828.05/828.37 c nbDecision=521000 #constraints=28720 829.05/829.31 c nbDecision=521500 #constraints=28724 830.25/830.55 c nbDecision=522000 #constraints=28743 831.55/831.85 c nbDecision=522500 #constraints=28760 833.25/833.57 c nbDecision=523000 #constraints=28783 834.55/834.87 c nbDecision=523500 #constraints=28796 836.16/836.41 c nbDecision=524000 #constraints=28810 837.26/837.52 c nbDecision=524500 #constraints=28836 838.46/838.74 c nbDecision=525000 #constraints=28853 839.55/839.85 c nbDecision=525500 #constraints=28875 841.16/841.46 c nbDecision=526000 #constraints=28913 842.85/843.15 c nbDecision=526500 #constraints=28922 843.75/844.04 c nbDecision=527000 #constraints=28928 845.66/845.94 c nbDecision=527500 #constraints=28978 847.05/847.39 c nbDecision=528000 #constraints=28996 847.95/848.22 c nbDecision=528500 #constraints=29000 848.75/849.08 c nbDecision=529000 #constraints=29006 850.75/851.04 c nbDecision=529500 #constraints=29041 851.75/852.09 c nbDecision=530000 #constraints=29049 852.85/853.13 c nbDecision=530500 #constraints=29058 854.35/854.67 c nbDecision=531000 #constraints=29107 855.65/855.98 c nbDecision=531500 #constraints=29149 856.94/857.27 c nbDecision=532000 #constraints=29174 858.14/858.44 c nbDecision=532500 #constraints=29178 860.24/860.58 c nbDecision=533000 #constraints=29204 861.64/861.96 c nbDecision=533500 #constraints=29218 862.54/862.87 c nbDecision=534000 #constraints=29223 863.74/864.08 c nbDecision=534500 #constraints=29229 865.35/865.68 c nbDecision=535000 #constraints=29248 866.34/866.68 c nbDecision=535500 #constraints=29260 867.24/867.51 c nbDecision=536000 #constraints=29278 868.64/868.90 c nbDecision=536500 #constraints=29300 870.04/870.30 c nbDecision=537000 #constraints=29329 871.34/871.61 c nbDecision=537500 #constraints=29359 873.64/873.92 c nbDecision=538000 #constraints=29397 875.64/875.95 c nbDecision=538500 #constraints=29438 876.45/876.71 c nbDecision=539000 #constraints=29445 877.35/877.63 c nbDecision=539500 #constraints=29451 878.44/878.75 c nbDecision=540000 #constraints=29472 881.54/881.88 c nbDecision=540500 #constraints=29510 883.84/884.17 c nbDecision=541000 #constraints=29534 885.15/885.49 c nbDecision=541500 #constraints=29556 887.74/888.08 c nbDecision=542000 #constraints=29581 890.14/890.42 c nbDecision=542500 #constraints=29605 892.34/892.69 c nbDecision=543000 #constraints=29629 893.54/893.80 c nbDecision=543500 #constraints=29644 894.84/895.12 c nbDecision=544000 #constraints=29671 896.64/896.91 c nbDecision=544500 #constraints=29717 899.84/900.12 c nbDecision=545000 #constraints=29823 901.44/901.77 c nbDecision=545500 #constraints=29864 903.03/903.39 c nbDecision=546000 #constraints=29899 905.13/905.43 c nbDecision=546500 #constraints=29933 907.13/907.40 c nbDecision=547000 #constraints=30000 908.73/909.05 c nbDecision=547500 #constraints=30030 909.63/909.92 c nbDecision=548000 #constraints=30038 911.33/911.62 c nbDecision=548500 #constraints=30084 912.83/913.12 c nbDecision=549000 #constraints=30113 914.23/914.57 c nbDecision=549500 #constraints=30140 915.72/916.06 c nbDecision=550000 #constraints=30175 917.13/917.49 c nbDecision=550500 #constraints=30189 918.13/918.40 c nbDecision=551000 #constraints=30196 919.33/919.62 c nbDecision=551500 #constraints=30218 921.32/921.61 c nbDecision=552000 #constraints=30264 922.32/922.67 c nbDecision=552500 #constraints=30283 924.02/924.38 c nbDecision=553000 #constraints=30329 925.22/925.58 c nbDecision=553500 #constraints=30368 927.03/927.36 c nbDecision=554000 #constraints=30421 928.43/928.72 c nbDecision=554500 #constraints=30451 930.13/930.40 c nbDecision=555000 #constraints=30487 931.13/931.44 c nbDecision=555500 #constraints=30509 932.43/932.76 c nbDecision=556000 #constraints=30540 933.33/933.63 c nbDecision=556500 #constraints=30549 935.22/935.57 c nbDecision=557000 #constraints=30607 937.02/937.39 c nbDecision=557500 #constraints=30657 938.12/938.45 c nbDecision=558000 #constraints=30674 939.52/939.86 c nbDecision=558500 #constraints=30688 942.02/942.32 c nbDecision=559000 #constraints=30762 943.42/943.77 c nbDecision=559500 #constraints=30790 944.62/944.91 c nbDecision=560000 #constraints=30813 946.02/946.33 c nbDecision=560500 #constraints=30828 947.32/947.61 c nbDecision=561000 #constraints=30846 948.32/948.67 c nbDecision=561500 #constraints=30855 949.92/950.21 c nbDecision=562000 #constraints=30878 951.12/951.42 c nbDecision=562500 #constraints=30904 952.82/953.11 c nbDecision=563000 #constraints=30934 953.92/954.25 c nbDecision=563500 #constraints=30946 954.82/955.16 c nbDecision=564000 #constraints=30956 956.02/956.36 c nbDecision=564500 #constraints=30984 957.72/958.05 c nbDecision=565000 #constraints=31020 959.01/959.36 c nbDecision=565500 #constraints=31048 960.41/960.77 c nbDecision=566000 #constraints=31069 961.91/962.27 c nbDecision=566500 #constraints=31095 963.71/964.08 c nbDecision=567000 #constraints=31143 971.41/971.74 c nbDecision=567500 #constraints=31240 972.21/972.59 c nbDecision=568000 #constraints=31248 974.21/974.53 c nbDecision=568500 #constraints=31279 975.41/975.70 c nbDecision=569000 #constraints=31290 976.51/976.88 c nbDecision=569500 #constraints=31298 977.61/977.90 c nbDecision=570000 #constraints=31312 980.31/980.64 c nbDecision=570500 #constraints=31360 983.12/983.48 c nbDecision=571000 #constraints=31399 984.81/985.14 c nbDecision=571500 #constraints=31409 988.11/988.43 c nbDecision=572000 #constraints=31449 990.11/990.47 c nbDecision=572500 #constraints=31479 992.21/992.58 c nbDecision=573000 #constraints=31526 994.21/994.59 c nbDecision=573500 #constraints=31584 996.01/996.31 c nbDecision=574000 #constraints=31627 997.81/998.18 c nbDecision=574500 #constraints=31670 999.71/1000.05 c nbDecision=575000 #constraints=31715 1001.81/1002.20 c nbDecision=575500 #constraints=31764 1004.01/1004.38 c nbDecision=576000 #constraints=31814 1006.11/1006.47 c nbDecision=576500 #constraints=31863 1007.90/1008.29 c nbDecision=577000 #constraints=31895 1010.40/1010.73 c nbDecision=577500 #constraints=31942 1012.60/1012.90 c nbDecision=578000 #constraints=31990 1014.50/1014.88 c nbDecision=578500 #constraints=32030 1015.80/1016.18 c nbDecision=579000 #constraints=32052 1017.70/1018.04 c nbDecision=579500 #constraints=32086 1018.90/1019.22 c nbDecision=580000 #constraints=32106 1020.50/1020.84 c nbDecision=580500 #constraints=32139 1022.30/1022.67 c nbDecision=581000 #constraints=32185 1023.50/1023.89 c nbDecision=581500 #constraints=32200 1025.50/1025.82 c nbDecision=582000 #constraints=32244 1026.80/1027.12 c nbDecision=582500 #constraints=32270 1028.30/1028.67 c nbDecision=583000 #constraints=32303 1030.09/1030.48 c nbDecision=583500 #constraints=32346 1031.79/1032.11 c nbDecision=584000 #constraints=32382 1033.60/1033.93 c nbDecision=584500 #constraints=32425 1035.59/1035.92 c nbDecision=585000 #constraints=32475 1037.19/1037.54 c nbDecision=585500 #constraints=32507 1038.80/1039.15 c nbDecision=586000 #constraints=32541 1040.50/1040.80 c nbDecision=586500 #constraints=32573 1041.99/1042.33 c nbDecision=587000 #constraints=32606 1043.79/1044.13 c nbDecision=587500 #constraints=32648 1045.29/1045.61 c nbDecision=588000 #constraints=32680 1047.09/1047.42 c nbDecision=588500 #constraints=32726 1048.59/1048.91 c nbDecision=589000 #constraints=32753 1050.29/1050.65 c nbDecision=589500 #constraints=32767 1051.59/1051.92 c nbDecision=590000 #constraints=32776 1054.09/1054.46 c nbDecision=590500 #constraints=32789 1056.09/1056.48 c nbDecision=591000 #constraints=32813 1057.59/1057.92 c nbDecision=591500 #constraints=32822 1059.48/1059.85 c nbDecision=592000 #constraints=32842 1060.69/1061.04 c nbDecision=592500 #constraints=32851 1063.19/1063.52 c nbDecision=593000 #constraints=32878 1064.79/1065.14 c nbDecision=593500 #constraints=32904 1065.79/1066.16 c nbDecision=594000 #constraints=32912 1067.69/1068.02 c nbDecision=594500 #constraints=32923 1070.79/1071.19 c nbDecision=595000 #constraints=32959 1072.49/1072.82 c nbDecision=595500 #constraints=32970 1074.08/1074.48 c nbDecision=596000 #constraints=32996 1075.88/1076.21 c nbDecision=596500 #constraints=33012 1077.18/1077.58 c nbDecision=597000 #constraints=33042 1078.69/1079.04 c nbDecision=597500 #constraints=33063 1082.58/1082.96 c nbDecision=598000 #constraints=33118 1085.48/1085.89 c nbDecision=598500 #constraints=33151 1087.78/1088.17 c nbDecision=599000 #constraints=33174 1091.18/1091.51 c nbDecision=599500 #constraints=33205 1093.78/1094.15 c nbDecision=600000 #constraints=33224 1095.67/1096.05 c nbDecision=600500 #constraints=33256 1098.18/1098.58 c nbDecision=601000 #constraints=33298 1100.57/1100.94 c nbDecision=601500 #constraints=33360 1102.77/1103.12 c nbDecision=602000 #constraints=33404 1103.77/1104.12 c nbDecision=602500 #constraints=33413 1106.98/1107.31 c nbDecision=603000 #constraints=33457 1108.28/1108.63 c nbDecision=603500 #constraints=33472 1110.28/1110.69 c nbDecision=604000 #constraints=33490 1111.18/1111.55 c nbDecision=604500 #constraints=33495 1112.48/1112.82 c nbDecision=605000 #constraints=33514 1113.98/1114.39 c nbDecision=605500 #constraints=33533 1115.48/1115.81 c nbDecision=606000 #constraints=33544 1117.08/1117.47 c nbDecision=606500 #constraints=33573 1118.68/1119.04 c nbDecision=607000 #constraints=33594 1121.47/1121.88 c nbDecision=607500 #constraints=33624 1122.57/1122.93 c nbDecision=608000 #constraints=33631 1123.88/1124.24 c nbDecision=608500 #constraints=33636 1125.27/1125.64 c nbDecision=609000 #constraints=33648 1126.77/1127.16 c nbDecision=609500 #constraints=33661 1127.97/1128.35 c nbDecision=610000 #constraints=33665 1130.97/1131.35 c nbDecision=610500 #constraints=33691 1132.57/1132.93 c nbDecision=611000 #constraints=33709 1135.26/1135.60 c nbDecision=611500 #constraints=33739 1137.16/1137.50 c nbDecision=612000 #constraints=33760 1138.96/1139.30 c nbDecision=612500 #constraints=33777 1141.76/1142.20 c nbDecision=613000 #constraints=33820 1143.86/1144.24 c nbDecision=613500 #constraints=33846 1146.66/1147.06 c nbDecision=614000 #constraints=33877 1148.96/1149.32 c nbDecision=614500 #constraints=33906 1152.16/1152.52 c nbDecision=615000 #constraints=33924 1154.56/1154.92 c nbDecision=615500 #constraints=33936 1156.16/1156.57 c nbDecision=616000 #constraints=33961 1157.87/1158.27 c nbDecision=616500 #constraints=33978 1159.97/1160.34 c nbDecision=617000 #constraints=34005 1161.67/1162.05 c nbDecision=617500 #constraints=34027 1163.06/1163.46 c nbDecision=618000 #constraints=34045 1165.26/1165.63 c nbDecision=618500 #constraints=34075 1167.06/1167.42 c nbDecision=619000 #constraints=34099 1168.26/1168.67 c nbDecision=619500 #constraints=34106 1170.07/1170.43 c nbDecision=620000 #constraints=34130 1174.06/1174.44 c nbDecision=620500 #constraints=34203 1175.26/1175.66 c nbDecision=621000 #constraints=34210 1177.06/1177.46 c nbDecision=621500 #constraints=34235 1178.46/1178.83 c nbDecision=622000 #constraints=34266 1180.86/1181.27 c nbDecision=622500 #constraints=34324 1183.66/1184.09 c nbDecision=623000 #constraints=34367 1186.26/1186.64 c nbDecision=623500 #constraints=34423 1187.86/1188.21 c nbDecision=624000 #constraints=34437 1192.16/1192.56 c nbDecision=624500 #constraints=34531 1193.75/1194.19 c nbDecision=625000 #constraints=34552 1196.65/1197.06 c nbDecision=625500 #constraints=34584 1198.95/1199.37 c nbDecision=626000 #constraints=34615 1200.65/1201.07 c nbDecision=626500 #constraints=34629 1202.65/1203.05 c nbDecision=627000 #constraints=34647 1205.05/1205.45 c nbDecision=627500 #constraints=34723 1209.95/1210.33 c nbDecision=628000 #constraints=34817 1212.45/1212.81 c nbDecision=628500 #constraints=34836 1214.45/1214.85 c nbDecision=629000 #constraints=34855 1216.75/1217.15 c nbDecision=629500 #constraints=34873 1219.74/1220.14 c nbDecision=630000 #constraints=34908 1221.94/1222.31 c nbDecision=630500 #constraints=34934 1223.54/1223.93 c nbDecision=631000 #constraints=34948 1230.64/1231.04 c nbDecision=631500 #constraints=35026 1234.04/1234.46 c nbDecision=632000 #constraints=35076 1236.14/1236.56 c nbDecision=632500 #constraints=35101 1237.64/1238.08 c nbDecision=633000 #constraints=35109 1239.03/1239.45 c nbDecision=633500 #constraints=35115 1240.63/1241.05 c nbDecision=634000 #constraints=35123 1242.24/1242.60 c nbDecision=634500 #constraints=35138 1243.75/1244.12 c nbDecision=635000 #constraints=35144 1245.34/1245.71 c nbDecision=635500 #constraints=35152 1246.64/1247.04 c nbDecision=636000 #constraints=35157 1248.15/1248.52 c nbDecision=636500 #constraints=35161 1249.44/1249.84 c nbDecision=637000 #constraints=35165 1251.34/1251.72 c nbDecision=637500 #constraints=35180 1253.64/1254.07 c nbDecision=638000 #constraints=35206 1255.74/1256.11 c nbDecision=638500 #constraints=35225 1257.54/1257.93 c nbDecision=639000 #constraints=35246 1258.94/1259.36 c nbDecision=639500 #constraints=35259 1262.04/1262.49 c nbDecision=640000 #constraints=35295 1263.34/1263.75 c nbDecision=640500 #constraints=35300 1264.94/1265.32 c nbDecision=641000 #constraints=35309 1266.74/1267.11 c nbDecision=641500 #constraints=35320 1270.84/1271.21 c nbDecision=642000 #constraints=35366 1272.94/1273.37 c nbDecision=642500 #constraints=35377 1275.33/1275.78 c nbDecision=643000 #constraints=35424 1277.33/1277.74 c nbDecision=643500 #constraints=35464 1278.84/1279.28 c nbDecision=644000 #constraints=35476 1280.33/1280.74 c nbDecision=644500 #constraints=35488 1282.03/1282.46 c nbDecision=645000 #constraints=35513 1283.53/1283.90 c nbDecision=645500 #constraints=35523 1285.83/1286.25 c nbDecision=646000 #constraints=35581 1289.63/1290.02 c nbDecision=646500 #constraints=35633 1292.33/1292.77 c nbDecision=647000 #constraints=35657 1295.53/1295.91 c nbDecision=647500 #constraints=35695 1297.42/1297.88 c nbDecision=648000 #constraints=35705 1300.02/1300.47 c nbDecision=648500 #constraints=35716 1301.32/1301.76 c nbDecision=649000 #constraints=35722 1303.13/1303.51 c nbDecision=649500 #constraints=35728 1305.23/1305.60 c nbDecision=650000 #constraints=35741 1307.02/1307.42 c nbDecision=650500 #constraints=35754 1309.52/1309.93 c nbDecision=651000 #constraints=35785 1311.72/1312.13 c nbDecision=651500 #constraints=35799 1313.02/1313.46 c nbDecision=652000 #constraints=35809 1314.62/1315.00 c nbDecision=652500 #constraints=35829 1316.02/1316.42 c nbDecision=653000 #constraints=35835 1317.42/1317.85 c nbDecision=653500 #constraints=35842 1319.72/1320.18 c nbDecision=654000 #constraints=35869 1323.72/1324.15 c nbDecision=654500 #constraints=35911 1325.32/1325.72 c nbDecision=655000 #constraints=35920 1326.92/1327.38 c nbDecision=655500 #constraints=35937 1329.21/1329.62 c nbDecision=656000 #constraints=35968 1330.71/1331.17 c nbDecision=656500 #constraints=35977 1332.61/1333.08 c nbDecision=657000 #constraints=35995 1334.61/1335.03 c nbDecision=657500 #constraints=36030 1336.01/1336.48 c nbDecision=658000 #constraints=36038 1337.91/1338.38 c nbDecision=658500 #constraints=36050 1339.61/1340.07 c nbDecision=659000 #constraints=36066 1341.81/1342.24 c nbDecision=659500 #constraints=36081 1343.01/1343.44 c nbDecision=660000 #constraints=36089 1345.31/1345.70 c nbDecision=660500 #constraints=36108 1347.51/1347.96 c nbDecision=661000 #constraints=36126 1349.81/1350.21 c nbDecision=661500 #constraints=36137 1352.40/1352.81 c nbDecision=662000 #constraints=36152 1355.01/1355.44 c nbDecision=662500 #constraints=36175 1357.01/1357.47 c nbDecision=663000 #constraints=36192 1358.30/1358.71 c nbDecision=663500 #constraints=36196 1361.20/1361.64 c nbDecision=664000 #constraints=36229 1362.80/1363.20 c nbDecision=664500 #constraints=36242 1364.70/1365.13 c nbDecision=665000 #constraints=36251 1367.30/1367.74 c nbDecision=665500 #constraints=36281 1368.50/1368.97 c nbDecision=666000 #constraints=36286 1370.90/1371.38 c nbDecision=666500 #constraints=36300 1373.00/1373.45 c nbDecision=667000 #constraints=36312 1376.81/1377.21 c nbDecision=667500 #constraints=36355 1379.01/1379.46 c nbDecision=668000 #constraints=36371 1380.41/1380.85 c nbDecision=668500 #constraints=36383 1382.70/1383.14 c nbDecision=669000 #constraints=36397 1384.41/1384.89 c nbDecision=669500 #constraints=36417 1385.80/1386.20 c nbDecision=670000 #constraints=36424 1387.40/1387.85 c nbDecision=670500 #constraints=36435 1388.90/1389.35 c nbDecision=671000 #constraints=36453 1391.30/1391.76 c nbDecision=671500 #constraints=36493 1393.10/1393.53 c nbDecision=672000 #constraints=36510 1394.80/1395.21 c nbDecision=672500 #constraints=36519 1396.10/1396.53 c nbDecision=673000 #constraints=36535 1397.60/1398.06 c nbDecision=673500 #constraints=36540 1399.10/1399.51 c nbDecision=674000 #constraints=36549 1401.10/1401.59 c nbDecision=674500 #constraints=36572 1402.89/1403.33 c nbDecision=675000 #constraints=36591 1404.69/1405.18 c nbDecision=675500 #constraints=36600 1406.79/1407.28 c nbDecision=676000 #constraints=36634 1408.70/1409.14 c nbDecision=676500 #constraints=36647 1409.80/1410.29 c nbDecision=677000 #constraints=36654 1412.09/1412.56 c nbDecision=677500 #constraints=36667 1413.29/1413.70 c nbDecision=678000 #constraints=36670 1414.89/1415.40 c nbDecision=678500 #constraints=36696 1417.29/1417.73 c nbDecision=679000 #constraints=36722 1418.69/1419.14 c nbDecision=679500 #constraints=36743 1420.99/1421.42 c nbDecision=680000 #constraints=36771 1423.19/1423.63 c nbDecision=680500 #constraints=36814 1424.99/1425.47 c nbDecision=681000 #constraints=36840 1427.79/1428.28 c nbDecision=681500 #constraints=36878 1429.29/1429.72 c nbDecision=682000 #constraints=36889 1430.78/1431.25 c nbDecision=682500 #constraints=36903 1432.38/1432.81 c nbDecision=683000 #constraints=36916 1433.78/1434.20 c nbDecision=683500 #constraints=36921 1435.28/1435.79 c nbDecision=684000 #constraints=36929 1436.78/1437.20 c nbDecision=684500 #constraints=36938 1438.28/1438.79 c nbDecision=685000 #constraints=36947 1439.68/1440.10 c nbDecision=685500 #constraints=36959 1441.28/1441.73 c nbDecision=686000 #constraints=36972 1442.78/1443.21 c nbDecision=686500 #constraints=36985 1445.28/1445.70 c nbDecision=687000 #constraints=37030 1446.78/1447.28 c nbDecision=687500 #constraints=37042 1449.09/1449.57 c nbDecision=688000 #constraints=37073 1451.18/1451.69 c nbDecision=688500 #constraints=37098 1452.78/1453.20 c nbDecision=689000 #constraints=37110 1454.58/1455.01 c nbDecision=689500 #constraints=37122 1458.19/1458.67 c nbDecision=690000 #constraints=37161 1460.29/1460.71 c nbDecision=690500 #constraints=37177 1461.78/1462.20 c nbDecision=691000 #constraints=37183 1463.78/1464.24 c nbDecision=691500 #constraints=37193 1466.38/1466.85 c nbDecision=692000 #constraints=37210 1468.38/1468.81 c nbDecision=692500 #constraints=37219 1469.98/1470.49 c nbDecision=693000 #constraints=37229 1471.58/1472.02 c nbDecision=693500 #constraints=37234 1473.48/1473.93 c nbDecision=694000 #constraints=37247 1475.88/1476.30 c nbDecision=694500 #constraints=37271 1478.38/1478.82 c nbDecision=695000 #constraints=37292 1480.08/1480.57 c nbDecision=695500 #constraints=37300 1482.07/1482.54 c nbDecision=696000 #constraints=37307 1483.47/1483.95 c nbDecision=696500 #constraints=37311 1485.07/1485.55 c nbDecision=697000 #constraints=37317 1486.57/1487.09 c nbDecision=697500 #constraints=37321 1487.77/1488.26 c nbDecision=698000 #constraints=37326 1489.17/1489.66 c nbDecision=698500 #constraints=37334 1490.27/1490.75 c nbDecision=699000 #constraints=37337 1491.97/1492.42 c nbDecision=699500 #constraints=37341 1493.67/1494.15 c nbDecision=700000 #constraints=37351 1495.27/1495.79 c nbDecision=700500 #constraints=37355 1496.47/1496.99 c nbDecision=701000 #constraints=37358 1498.17/1498.62 c nbDecision=701500 #constraints=37364 1499.67/1500.18 c nbDecision=702000 #constraints=37370 1501.47/1501.96 c nbDecision=702500 #constraints=37375 1503.27/1503.71 c nbDecision=703000 #constraints=37380 1504.77/1505.22 c nbDecision=703500 #constraints=37393 1508.06/1508.55 c nbDecision=704000 #constraints=37416 1510.56/1511.02 c nbDecision=704500 #constraints=37446 1512.56/1513.09 c nbDecision=705000 #constraints=37467 1515.06/1515.57 c nbDecision=705500 #constraints=37479 1516.76/1517.23 c nbDecision=706000 #constraints=37483 1518.86/1519.38 c nbDecision=706500 #constraints=37493 1520.96/1521.41 c nbDecision=707000 #constraints=37503 1522.66/1523.16 c nbDecision=707500 #constraints=37525 1524.26/1524.72 c nbDecision=708000 #constraints=37542 1527.56/1528.08 c nbDecision=708500 #constraints=37571 1528.66/1529.18 c nbDecision=709000 #constraints=37573 1530.46/1530.92 c nbDecision=709500 #constraints=37583 1533.45/1533.92 c nbDecision=710000 #constraints=37640 1536.75/1537.27 c nbDecision=710500 #constraints=37671 1539.35/1539.86 c nbDecision=711000 #constraints=37682 1540.75/1541.24 c nbDecision=711500 #constraints=37687 1543.55/1544.00 c nbDecision=712000 #constraints=37700 1546.65/1547.14 c nbDecision=712500 #constraints=37734 1548.26/1548.72 c nbDecision=713000 #constraints=37741 1549.95/1550.42 c nbDecision=713500 #constraints=37745 1551.25/1551.78 c nbDecision=714000 #constraints=37754 1552.95/1553.43 c nbDecision=714500 #constraints=37760 1555.15/1555.63 c nbDecision=715000 #constraints=37767 1556.95/1557.50 c nbDecision=715500 #constraints=37774 1559.15/1559.61 c nbDecision=716000 #constraints=37783 1561.24/1561.72 c nbDecision=716500 #constraints=37801 1562.44/1562.91 c nbDecision=717000 #constraints=37806 1563.75/1564.21 c nbDecision=717500 #constraints=37810 1566.64/1567.18 c nbDecision=718000 #constraints=37821 1568.64/1569.18 c nbDecision=718500 #constraints=37828 1570.84/1571.36 c nbDecision=719000 #constraints=37844 1572.64/1573.18 c nbDecision=719500 #constraints=37866 1574.54/1575.09 c nbDecision=720000 #constraints=37874 1576.24/1576.70 c nbDecision=720500 #constraints=37879 1577.74/1578.20 c nbDecision=721000 #constraints=37883 1578.94/1579.48 c nbDecision=721500 #constraints=37887 1580.54/1581.06 c nbDecision=722000 #constraints=37894 1583.34/1583.84 c nbDecision=722500 #constraints=37910 1585.24/1585.72 c nbDecision=723000 #constraints=37926 1588.04/1588.55 c nbDecision=723500 #constraints=37969 1589.44/1589.90 c nbDecision=724000 #constraints=37976 1592.35/1592.86 c nbDecision=724500 #constraints=37996 1593.94/1594.49 c nbDecision=725000 #constraints=38009 1595.84/1596.37 c nbDecision=725500 #constraints=38030 1598.04/1598.60 c nbDecision=726000 #constraints=38058 1600.14/1600.60 c nbDecision=726500 #constraints=38080 1602.34/1602.84 c nbDecision=727000 #constraints=38117 1604.54/1605.09 c nbDecision=727500 #constraints=38167 1607.04/1607.53 c nbDecision=728000 #constraints=38180 1609.63/1610.16 c nbDecision=728500 #constraints=38203 1611.23/1611.73 c nbDecision=729000 #constraints=38209 1612.53/1613.04 c nbDecision=729500 #constraints=38212 1616.13/1616.65 c nbDecision=730000 #constraints=38244 1617.73/1618.26 c nbDecision=730500 #constraints=38250 1619.83/1620.39 c nbDecision=731000 #constraints=38263 1621.43/1621.96 c nbDecision=731500 #constraints=38274 1622.83/1623.31 c nbDecision=732000 #constraints=38279 1625.13/1625.67 c nbDecision=732500 #constraints=38299 1626.23/1626.77 c nbDecision=733000 #constraints=38302 1628.73/1629.23 c nbDecision=733500 #constraints=38324 1630.32/1630.90 c nbDecision=734000 #constraints=38340 1633.22/1633.73 c nbDecision=734500 #constraints=38358 1635.23/1635.74 c nbDecision=735000 #constraints=38377 1638.02/1638.51 c nbDecision=735500 #constraints=38407 1639.42/1640.00 c nbDecision=736000 #constraints=38412 1640.92/1641.49 c nbDecision=736500 #constraints=38416 1642.72/1643.25 c nbDecision=737000 #constraints=38423 1644.22/1644.78 c nbDecision=737500 #constraints=38430 1645.92/1646.42 c nbDecision=738000 #constraints=38434 1647.12/1647.69 c nbDecision=738500 #constraints=38444 1651.92/1652.44 c nbDecision=739000 #constraints=38495 1654.02/1654.51 c nbDecision=739500 #constraints=38513 1655.72/1656.25 c nbDecision=740000 #constraints=38521 1658.12/1658.70 c nbDecision=740500 #constraints=38533 1660.43/1660.93 c nbDecision=741000 #constraints=38550 1662.32/1662.90 c nbDecision=741500 #constraints=38558 1665.82/1666.40 c nbDecision=742000 #constraints=38589 1669.32/1669.87 c nbDecision=742500 #constraints=38625 1672.92/1673.43 c nbDecision=743000 #constraints=38675 1674.52/1675.07 c nbDecision=743500 #constraints=38682 1676.12/1676.67 c nbDecision=744000 #constraints=38694 1677.82/1678.39 c nbDecision=744500 #constraints=38707 1679.92/1680.45 c nbDecision=745000 #constraints=38719 1682.01/1682.55 c nbDecision=745500 #constraints=38727 1684.72/1685.29 c nbDecision=746000 #constraints=38743 1686.92/1687.45 c nbDecision=746500 #constraints=38754 1689.71/1690.22 c nbDecision=747000 #constraints=38773 1691.31/1691.88 c nbDecision=747500 #constraints=38779 1693.51/1694.06 c nbDecision=748000 #constraints=38799 1696.81/1697.35 c nbDecision=748500 #constraints=38834 1698.61/1699.11 c nbDecision=749000 #constraints=38850 1700.21/1700.72 c nbDecision=749500 #constraints=38857 1703.21/1703.75 c nbDecision=750000 #constraints=38890 1705.51/1706.03 c nbDecision=750500 #constraints=38898 1706.61/1707.11 c nbDecision=751000 #constraints=38902 1708.31/1708.85 c nbDecision=751500 #constraints=38909 1710.20/1710.73 c nbDecision=752000 #constraints=38918 1711.70/1712.21 c nbDecision=752500 #constraints=38928 1713.90/1714.48 c nbDecision=753000 #constraints=38945 1716.70/1717.22 c nbDecision=753500 #constraints=38980 1721.70/1722.27 c nbDecision=754000 #constraints=39043 1726.40/1726.93 c nbDecision=754500 #constraints=39099 1729.80/1730.36 c nbDecision=755000 #constraints=39135 1733.80/1734.36 c nbDecision=755500 #constraints=39179 1739.00/1739.57 c nbDecision=756000 #constraints=39244 1743.10/1743.60 c nbDecision=756500 #constraints=39301 1747.10/1747.67 c nbDecision=757000 #constraints=39364 1751.59/1752.18 c nbDecision=757500 #constraints=39403 1755.69/1756.30 c nbDecision=758000 #constraints=39436 1758.49/1759.08 c nbDecision=758500 #constraints=39453 1764.49/1765.01 c nbDecision=759000 #constraints=39509 1769.89/1770.46 c nbDecision=759500 #constraints=39560 1772.19/1772.72 c nbDecision=760000 #constraints=39576 1777.28/1777.81 c nbDecision=760500 #constraints=39620 1782.19/1782.71 c nbDecision=761000 #constraints=39675 1785.79/1786.37 c nbDecision=761500 #constraints=39708 1789.38/1789.92 c nbDecision=762000 #constraints=39731 1794.79/1795.32 c nbDecision=762500 #constraints=39795 1800.09/1800.60 Received signal 15 1800.19/1800.78 1800.19/1800.78 s UNKNOWN 1800.19/1800.78 1800.19/1800.78 c user time= 1799.8 s 1800.19/1800.78 c system time= 0.473927 s 1800.19/1800.78 c wall clock time=1800.78
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-357376-1176996088 -o ROOT/results/node50/solver-357376-1176996088 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357376-1176996088/instance-357376-1176996088.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/64 18859 /proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=1468 CPUtime=0 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 54454012 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 367 160 127 317 0 46 0 [startup+0.0328731 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18859 /proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=2156 CPUtime=0.03 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 357 0 0 0 3 0 0 0 18 0 1 0 54454012 2207744 339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 539 339 137 317 0 218 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2156 [startup+0.101879 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18859 /proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=2452 CPUtime=0.1 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 452 0 0 0 10 0 0 0 18 0 1 0 54454012 2510848 434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 613 434 170 317 0 292 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2452 [startup+0.301896 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18859 /proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=3108 CPUtime=0.29 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 624 0 0 0 29 0 0 0 19 0 1 0 54454012 3182592 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 777 606 170 317 0 456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3108 [startup+0.701931 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18859 /proc/meminfo: memFree=1763888/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=4160 CPUtime=0.69 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 891 0 0 0 69 0 0 0 23 0 1 0 54454012 4259840 873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 1040 873 170 317 0 719 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4160 [startup+1.502 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1760424/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=6004 CPUtime=1.49 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 1342 0 0 0 149 0 0 0 25 0 1 0 54454012 6148096 1324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 1501 1324 170 317 0 1180 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6004 [startup+3.10214 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1757992/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=8852 CPUtime=3.09 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 2042 0 0 0 309 0 0 0 25 0 1 0 54454012 9064448 2024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 2213 2024 170 317 0 1892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8852 [startup+6.30142 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1753000/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=13356 CPUtime=6.29 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 3183 0 0 0 628 1 0 0 25 0 1 0 54454012 13676544 3165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 3339 3165 170 317 0 3018 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13356 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1745832/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=20096 CPUtime=12.69 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 4793 0 0 0 1266 3 0 0 25 0 1 0 54454012 20578304 4775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 5024 4775 170 317 0 4703 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20096 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1736616/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=28692 CPUtime=25.48 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 6930 0 0 0 2544 4 0 0 25 0 1 0 54454012 29380608 6912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 7173 6912 170 317 0 6852 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28692 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1728360/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=37672 CPUtime=51.08 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 9107 0 0 0 5101 7 0 0 25 0 1 0 54454012 38576128 9031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 9418 9031 170 317 0 9097 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37672 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1702312/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=63892 CPUtime=102.26 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 15539 0 0 0 10213 13 0 0 25 0 1 0 54454012 65425408 15463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 15973 15463 170 317 0 15652 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 63892 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1688936/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=77956 CPUtime=162.25 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 18938 0 0 0 16209 16 0 0 25 0 1 0 54454012 79826944 18862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 19489 18862 170 317 0 19168 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 77956 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1677096/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=90688 CPUtime=222.24 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 21939 0 0 0 22205 19 0 0 25 0 1 0 54454012 92864512 21749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 22672 21749 170 317 0 22351 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 90688 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1667752/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=100656 CPUtime=282.22 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 24281 0 0 0 28202 20 0 0 25 0 1 0 54454012 103071744 24091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 25164 24091 170 317 0 24843 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 100656 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1660520/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=107740 CPUtime=342.2 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 26068 0 0 0 34198 22 0 0 25 0 1 0 54454012 110325760 25878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 26935 25878 170 317 0 26614 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 107740 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1652200/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=116932 CPUtime=402.18 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 28166 0 0 0 40194 24 0 0 25 0 1 0 54454012 119738368 27976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 29233 27976 170 317 0 28912 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 116932 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1643752/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=125596 CPUtime=462.16 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 30250 0 0 0 46191 25 0 0 25 0 1 0 54454012 128610304 30060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 31399 30060 170 317 0 31078 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 125596 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18860 /proc/meminfo: memFree=1635880/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=133472 CPUtime=522.14 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 32237 0 0 0 52188 26 0 0 25 0 1 0 54454012 136675328 32014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 33368 32014 170 317 0 33047 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 133472 [startup+582.302 s] /proc/loadavg: 1.07 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1628200/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=141316 CPUtime=582.12 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 34144 0 0 0 58185 27 0 0 25 0 1 0 54454012 144707584 33921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 35329 33921 170 317 0 35008 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 141316 [startup+642.301 s] /proc/loadavg: 1.09 1.02 1.00 2/65 18860 /proc/meminfo: memFree=1622824/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=147676 CPUtime=642.1 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 35666 0 0 0 64182 28 0 0 25 0 1 0 54454012 151220224 35245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 36919 35245 170 317 0 36598 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 147676 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1601512/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=169092 CPUtime=882.04 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 41071 0 0 0 88171 33 0 0 25 0 1 0 54454012 173150208 40551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 42273 40551 170 317 0 41952 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 169092 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1591656/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=180320 CPUtime=942.02 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 43662 0 0 0 94168 34 0 0 25 0 1 0 54454012 184647680 43043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718534 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 45080 43043 170 317 0 44759 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 180320 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1584808/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=187460 CPUtime=1002 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 45382 0 0 0 100165 35 0 0 25 0 1 0 54454012 191959040 44730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 46865 44730 170 317 0 46544 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 187460 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1576424/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=196052 CPUtime=1061.99 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 47476 0 0 0 106161 38 0 0 25 0 1 0 54454012 200757248 46824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 49013 46824 170 317 0 48692 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 196052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1571944/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=201512 CPUtime=1121.97 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 48795 0 0 0 112158 39 0 0 25 0 1 0 54454012 206348288 47916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 50378 47916 170 317 0 50057 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 201512 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1566568/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=207960 CPUtime=1181.96 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 50360 0 0 0 118156 40 0 0 25 0 1 0 54454012 212951040 49283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 51990 49283 170 317 0 51669 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 207960 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1561064/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=213804 CPUtime=1241.94 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 51724 0 0 0 124153 41 0 0 25 0 1 0 54454012 218935296 50614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 53451 50614 170 317 0 53130 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 213804 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1557288/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=217968 CPUtime=1301.93 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 52673 0 0 0 130152 41 0 0 25 0 1 0 54454012 223199232 51530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 54492 51530 170 317 0 54171 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 217968 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1554792/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=220232 CPUtime=1361.9 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 53307 0 0 0 136149 41 0 0 25 0 1 0 54454012 225517568 52164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 55058 52164 170 317 0 54737 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 220232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1552168/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=222872 CPUtime=1421.89 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 53959 0 0 0 142147 42 0 0 25 0 1 0 54454012 228220928 52816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 55718 52816 170 317 0 55397 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 222872 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1549352/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=225792 CPUtime=1481.87 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 54716 0 0 0 148144 43 0 0 25 0 1 0 54454012 231211008 53507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 56448 53507 170 317 0 56127 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 225792 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1547560/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=227788 CPUtime=1541.85 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 55170 0 0 0 154142 43 0 0 25 0 1 0 54454012 233254912 53961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 56947 53961 170 317 0 56626 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 227788 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1545000/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=230824 CPUtime=1601.84 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 55823 0 0 0 160140 44 0 0 25 0 1 0 54454012 236363776 54581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 57706 54581 170 317 0 57385 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 230824 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1542824/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=232928 CPUtime=1661.82 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 56383 0 0 0 166137 45 0 0 25 0 1 0 54454012 238518272 55141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 58232 55141 170 317 0 57911 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 232928 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1540136/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=235432 CPUtime=1721.8 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 57081 0 0 0 172135 45 0 0 25 0 1 0 54454012 241082368 55839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 58858 55839 170 317 0 58537 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 235432 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1535528/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=239564 CPUtime=1781.78 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 58174 0 0 0 178132 46 0 0 25 0 1 0 54454012 245313536 56932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715601 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 59891 56932 170 317 0 59570 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 239564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1533544/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=242792 CPUtime=1800.09 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194304 58862 0 0 0 179962 47 0 0 25 0 1 0 54454012 248619008 57389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 60698 57389 170 317 0 60377 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 242792 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18860 /proc/meminfo: memFree=1533544/2055920 swapFree=4183800/4192956 [pid=18859] ppid=18857 vsize=0 CPUtime=1800.28 /proc/18859/stat : 18859 (oree) R 18857 18859 18143 0 -1 4194308 58878 0 0 0 179980 48 0 0 25 0 1 0 54454012 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18859/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.32 CPU user time (s): 1799.81 CPU system time (s): 0.510922 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 242792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.510922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58878 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= 4698 runsolver used 1.2938 second user time and 3.72143 second system time The end
Begin job on node50 on Thu Apr 19 15:21:28 UTC 2007 IDJOB= 357376 IDBENCH= 2496 IDSOLVER= 172 FILE ID= node50/357376-1176996088 PBS_JOBID= 4630427 Free space on /tmp= 66507 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb COMMAND LINE= oree /tmp/evaluation/357376-1176996088/instance-357376-1176996088.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-357376-1176996088 -o ROOT/results/node50/solver-357376-1176996088 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357376-1176996088/instance-357376-1176996088.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c3570b707fa12d3d9c0d2ae31848c1b3 RANDOM SEED= 967302100 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1764360 kB Buffers: 14380 kB Cached: 212800 kB SwapCached: 2932 kB Active: 94620 kB Inactive: 142108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1764360 kB SwapTotal: 4192956 kB SwapFree: 4183800 kB Dirty: 1364 kB Writeback: 0 kB Mapped: 15480 kB Slab: 40860 kB Committed_AS: 1067600 kB PageTables: 1460 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= 66507 MiB End job on node50 on Thu Apr 19 15:51:31 UTC 2007