Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.07 | 1801.44 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
MD5SUM | fe9b3ae0ed0deb400897e8cf071ce6eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 95 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 95 |
Optimality of the best value was proved | NO |
Number of variables | 1812 |
Total number of constraints | 3443 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3443 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1307 |
Number of bits of the biggest sum of numbers | 11 |
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.19/0.23 c ...done 0.19/0.23 c #vars=1812 #constraints=3444 hasObjective=yes 0.19/0.28 c res. mode=mod 0.19/0.28 c VSIDS like heuristics 0.19/0.28 c complete search running 0.29/0.31 c restart after 401 decisions 0.29/0.33 c nbDecision=500 #constraints=3444 0.29/0.35 c restart after 801 decisions 0.29/0.37 c nbDecision=1000 #constraints=3444 0.39/0.40 c nbDecision=1500 #constraints=3444 0.39/0.41 c restart after 1601 decisions 0.39/0.44 c nbDecision=2000 #constraints=3444 0.39/0.47 c nbDecision=2500 #constraints=3444 0.49/0.51 c nbDecision=3000 #constraints=3445 0.49/0.53 c restart after 3201 decisions 0.49/0.58 c nbDecision=3500 #constraints=3447 0.59/0.61 c nbDecision=4000 #constraints=3447 0.59/0.65 c nbDecision=4500 #constraints=3447 0.59/0.68 c nbDecision=5000 #constraints=3450 0.69/0.70 c nbDecision=5500 #constraints=3453 0.69/0.72 c nbDecision=6000 #constraints=3455 0.69/0.74 c restart after 6401 decisions 0.69/0.78 c nbDecision=6500 #constraints=3457 0.79/0.81 c nbDecision=7000 #constraints=3457 0.79/0.83 c nbDecision=7500 #constraints=3457 0.79/0.87 c nbDecision=8000 #constraints=3458 0.79/0.90 c nbDecision=8500 #constraints=3460 0.89/0.91 c nbDecision=9000 #constraints=3461 0.89/0.93 c nbDecision=9500 #constraints=3463 0.89/0.95 c nbDecision=10000 #constraints=3465 0.99/1.02 c nbDecision=10500 #constraints=3470 0.99/1.07 c nbDecision=11000 #constraints=3478 0.99/1.09 c nbDecision=11500 #constraints=3482 1.09/1.11 c nbDecision=12000 #constraints=3484 1.09/1.13 c nbDecision=12500 #constraints=3487 1.09/1.14 c restart after 12801 decisions 1.09/1.19 c nbDecision=13000 #constraints=3488 1.19/1.21 c nbDecision=13500 #constraints=3488 1.19/1.23 c nbDecision=14000 #constraints=3488 1.19/1.27 c nbDecision=14500 #constraints=3489 1.19/1.28 c nbDecision=15000 #constraints=3491 1.29/1.34 c nbDecision=15500 #constraints=3497 1.29/1.36 c nbDecision=16000 #constraints=3499 1.39/1.40 c nbDecision=16500 #constraints=3503 1.39/1.45 c nbDecision=17000 #constraints=3507 1.39/1.49 c nbDecision=17500 #constraints=3511 1.49/1.54 c nbDecision=18000 #constraints=3516 1.49/1.57 c nbDecision=18500 #constraints=3522 1.59/1.62 c nbDecision=19000 #constraints=3527 1.59/1.67 c nbDecision=19500 #constraints=3533 1.69/1.70 c nbDecision=20000 #constraints=3539 1.69/1.74 c nbDecision=20500 #constraints=3544 1.69/1.77 c nbDecision=21000 #constraints=3549 1.79/1.81 c nbDecision=21500 #constraints=3556 1.79/1.88 c nbDecision=22000 #constraints=3565 1.89/1.94 c nbDecision=22500 #constraints=3574 1.99/2.00 c nbDecision=23000 #constraints=3581 1.99/2.07 c nbDecision=23500 #constraints=3590 2.09/2.11 c nbDecision=24000 #constraints=3595 2.09/2.12 c nbDecision=24500 #constraints=3597 2.09/2.16 c nbDecision=25000 #constraints=3604 2.09/2.20 c nbDecision=25500 #constraints=3609 2.19/2.20 c restart after 25601 decisions 2.19/2.26 c nbDecision=26000 #constraints=3609 2.19/2.28 c nbDecision=26500 #constraints=3609 2.29/2.32 c nbDecision=27000 #constraints=3609 2.29/2.33 c nbDecision=27500 #constraints=3611 2.29/2.34 c nbDecision=28000 #constraints=3613 2.29/2.37 c nbDecision=28500 #constraints=3616 2.29/2.39 c nbDecision=29000 #constraints=3618 2.39/2.44 c nbDecision=29500 #constraints=3623 2.39/2.49 c nbDecision=30000 #constraints=3631 2.49/2.53 c nbDecision=30500 #constraints=3637 2.49/2.56 c nbDecision=31000 #constraints=3641 2.49/2.60 c nbDecision=31500 #constraints=3647 2.59/2.65 c nbDecision=32000 #constraints=3652 2.69/2.71 c nbDecision=32500 #constraints=3658 2.69/2.75 c nbDecision=33000 #constraints=3662 2.79/2.82 c nbDecision=33500 #constraints=3670 2.79/2.89 c nbDecision=34000 #constraints=3676 2.89/2.96 c nbDecision=34500 #constraints=3684 2.99/3.03 c nbDecision=35000 #constraints=3691 3.09/3.14 c nbDecision=35500 #constraints=3701 3.19/3.22 c nbDecision=36000 #constraints=3708 3.29/3.30 c nbDecision=36500 #constraints=3716 3.29/3.40 c nbDecision=37000 #constraints=3725 3.39/3.47 c nbDecision=37500 #constraints=3732 3.48/3.56 c nbDecision=38000 #constraints=3739 3.58/3.63 c nbDecision=38500 #constraints=3745 3.68/3.70 c nbDecision=39000 #constraints=3751 3.68/3.74 c nbDecision=39500 #constraints=3756 3.78/3.82 c nbDecision=40000 #constraints=3764 3.78/3.90 c nbDecision=40500 #constraints=3771 3.89/3.97 c nbDecision=41000 #constraints=3777 3.99/4.07 c nbDecision=41500 #constraints=3785 4.09/4.14 c nbDecision=42000 #constraints=3791 4.19/4.23 c nbDecision=42500 #constraints=3800 4.29/4.31 c nbDecision=43000 #constraints=3807 4.29/4.37 c nbDecision=43500 #constraints=3812 4.40/4.44 c nbDecision=44000 #constraints=3818 4.50/4.55 c nbDecision=44500 #constraints=3827 4.50/4.58 c nbDecision=45000 #constraints=3830 4.59/4.66 c nbDecision=45500 #constraints=3836 4.69/4.72 c nbDecision=46000 #constraints=3841 4.69/4.78 c nbDecision=46500 #constraints=3847 4.79/4.82 c nbDecision=47000 #constraints=3851 4.79/4.84 c nbDecision=47500 #constraints=3853 4.79/4.88 c nbDecision=48000 #constraints=3857 4.89/4.93 c nbDecision=48500 #constraints=3862 4.99/5.00 c nbDecision=49000 #constraints=3869 4.99/5.09 c nbDecision=49500 #constraints=3877 5.09/5.14 c nbDecision=50000 #constraints=3881 5.19/5.24 c nbDecision=50500 #constraints=3891 5.19/5.29 c nbDecision=51000 #constraints=3898 5.29/5.31 c restart after 51201 decisions 5.29/5.37 c nbDecision=51500 #constraints=3900 5.29/5.40 c nbDecision=52000 #constraints=3900 5.39/5.44 c nbDecision=52500 #constraints=3900 5.39/5.48 c nbDecision=53000 #constraints=3903 5.49/5.54 c nbDecision=53500 #constraints=3909 5.59/5.67 c nbDecision=54000 #constraints=3922 5.69/5.78 c nbDecision=54500 #constraints=3933 5.89/5.91 c nbDecision=55000 #constraints=3948 5.89/5.98 c nbDecision=55500 #constraints=3956 5.99/6.05 c nbDecision=56000 #constraints=3963 6.09/6.12 c nbDecision=56500 #constraints=3971 6.09/6.17 c nbDecision=57000 #constraints=3976 6.19/6.25 c nbDecision=57500 #constraints=3983 6.29/6.31 c nbDecision=58000 #constraints=3988 6.29/6.39 c nbDecision=58500 #constraints=3995 6.39/6.44 c nbDecision=59000 #constraints=4002 6.49/6.50 c nbDecision=59500 #constraints=4009 6.49/6.56 c nbDecision=60000 #constraints=4013 6.59/6.64 c nbDecision=60500 #constraints=4020 6.59/6.68 c nbDecision=61000 #constraints=4025 6.69/6.73 c nbDecision=61500 #constraints=4031 6.69/6.78 c nbDecision=62000 #constraints=4037 6.79/6.85 c nbDecision=62500 #constraints=4043 6.89/6.94 c nbDecision=63000 #constraints=4051 6.99/7.04 c nbDecision=63500 #constraints=4059 7.09/7.11 c nbDecision=64000 #constraints=4065 7.19/7.22 c nbDecision=64500 #constraints=4075 7.19/7.27 c nbDecision=65000 #constraints=4079 7.29/7.37 c nbDecision=65500 #constraints=4087 7.39/7.45 c nbDecision=66000 #constraints=4094 7.49/7.56 c nbDecision=66500 #constraints=4104 7.59/7.68 c nbDecision=67000 #constraints=4114 7.69/7.75 c nbDecision=67500 #constraints=4122 7.69/7.80 c nbDecision=68000 #constraints=4126 7.79/7.84 c nbDecision=68500 #constraints=4130 7.79/7.88 c nbDecision=69000 #constraints=4134 7.88/7.95 c nbDecision=69500 #constraints=4141 7.98/8.01 c nbDecision=70000 #constraints=4147 7.98/8.05 c nbDecision=70500 #constraints=4152 7.98/8.09 c nbDecision=71000 #constraints=4158 8.08/8.14 c nbDecision=71500 #constraints=4162 8.08/8.19 c nbDecision=72000 #constraints=4166 8.18/8.22 c nbDecision=72500 #constraints=4169 8.18/8.26 c nbDecision=73000 #constraints=4172 8.28/8.36 c nbDecision=73500 #constraints=4180 8.38/8.42 c nbDecision=74000 #constraints=4191 8.38/8.49 c nbDecision=74500 #constraints=4200 8.48/8.56 c nbDecision=75000 #constraints=4208 8.58/8.64 c nbDecision=75500 #constraints=4215 8.68/8.73 c nbDecision=76000 #constraints=4226 8.79/8.85 c nbDecision=76500 #constraints=4239 8.89/8.97 c nbDecision=77000 #constraints=4252 8.98/9.05 c nbDecision=77500 #constraints=4260 8.98/9.09 c nbDecision=78000 #constraints=4266 9.08/9.16 c nbDecision=78500 #constraints=4271 9.18/9.20 c nbDecision=79000 #constraints=4276 9.18/9.27 c nbDecision=79500 #constraints=4283 9.28/9.36 c nbDecision=80000 #constraints=4291 9.38/9.45 c nbDecision=80500 #constraints=4298 9.38/9.49 c nbDecision=81000 #constraints=4303 9.48/9.51 c nbDecision=81500 #constraints=4305 9.48/9.59 c nbDecision=82000 #constraints=4311 9.58/9.63 c nbDecision=82500 #constraints=4314 9.68/9.72 c nbDecision=83000 #constraints=4323 9.68/9.78 c nbDecision=83500 #constraints=4328 9.78/9.84 c nbDecision=84000 #constraints=4333 9.88/9.92 c nbDecision=84500 #constraints=4342 9.88/9.95 c nbDecision=85000 #constraints=4347 9.98/10.04 c nbDecision=85500 #constraints=4356 10.08/10.12 c nbDecision=86000 #constraints=4364 10.08/10.19 c nbDecision=86500 #constraints=4371 10.18/10.26 c nbDecision=87000 #constraints=4377 10.28/10.33 c nbDecision=87500 #constraints=4384 10.28/10.39 c nbDecision=88000 #constraints=4388 10.38/10.46 c nbDecision=88500 #constraints=4394 10.48/10.54 c nbDecision=89000 #constraints=4402 10.48/10.59 c nbDecision=89500 #constraints=4406 10.58/10.66 c nbDecision=90000 #constraints=4412 10.68/10.73 c nbDecision=90500 #constraints=4418 10.68/10.79 c nbDecision=91000 #constraints=4427 10.78/10.83 c nbDecision=91500 #constraints=4432 10.88/10.90 c nbDecision=92000 #constraints=4437 10.88/10.95 c nbDecision=92500 #constraints=4443 10.98/11.02 c nbDecision=93000 #constraints=4449 10.98/11.09 c nbDecision=93500 #constraints=4455 11.08/11.17 c nbDecision=94000 #constraints=4462 11.18/11.23 c nbDecision=94500 #constraints=4467 11.18/11.26 c nbDecision=95000 #constraints=4469 11.28/11.32 c nbDecision=95500 #constraints=4473 11.28/11.39 c nbDecision=96000 #constraints=4480 11.38/11.43 c nbDecision=96500 #constraints=4485 11.38/11.45 c nbDecision=97000 #constraints=4488 11.38/11.49 c nbDecision=97500 #constraints=4491 11.48/11.59 c nbDecision=98000 #constraints=4498 11.58/11.67 c nbDecision=98500 #constraints=4504 11.68/11.75 c nbDecision=99000 #constraints=4510 11.78/11.81 c nbDecision=99500 #constraints=4514 11.78/11.90 c nbDecision=100000 #constraints=4520 11.88/11.97 c nbDecision=100500 #constraints=4527 11.98/12.04 c nbDecision=101000 #constraints=4534 12.08/12.15 c nbDecision=101500 #constraints=4547 12.18/12.23 c nbDecision=102000 #constraints=4556 12.18/12.29 c restart after 102401 decisions 12.28/12.35 c nbDecision=102500 #constraints=4562 12.28/12.38 c nbDecision=103000 #constraints=4562 12.38/12.40 c nbDecision=103500 #constraints=4562 12.38/12.49 c nbDecision=104000 #constraints=4566 12.48/12.59 c nbDecision=104500 #constraints=4574 12.68/12.70 c nbDecision=105000 #constraints=4584 12.78/12.81 c nbDecision=105500 #constraints=4593 12.88/12.90 c nbDecision=106000 #constraints=4603 12.88/12.99 c nbDecision=106500 #constraints=4610 12.98/13.09 c nbDecision=107000 #constraints=4618 13.18/13.21 c nbDecision=107500 #constraints=4629 13.18/13.27 c nbDecision=108000 #constraints=4634 13.28/13.35 c nbDecision=108500 #constraints=4642 13.38/13.41 c nbDecision=109000 #constraints=4647 13.38/13.48 c nbDecision=109500 #constraints=4654 13.48/13.55 c nbDecision=110000 #constraints=4660 13.57/13.62 c nbDecision=110500 #constraints=4667 13.57/13.65 c nbDecision=111000 #constraints=4670 13.57/13.68 c nbDecision=111500 #constraints=4674 13.67/13.74 c nbDecision=112000 #constraints=4679 13.77/13.80 c nbDecision=112500 #constraints=4686 13.77/13.86 c nbDecision=113000 #constraints=4692 13.87/13.94 c nbDecision=113500 #constraints=4705 13.97/14.06 c nbDecision=114000 #constraints=4715 14.07/14.11 c nbDecision=114500 #constraints=4721 14.07/14.15 c nbDecision=115000 #constraints=4724 14.07/14.19 c nbDecision=115500 #constraints=4727 14.17/14.22 c nbDecision=116000 #constraints=4729 14.17/14.27 c nbDecision=116500 #constraints=4732 14.17/14.30 c nbDecision=117000 #constraints=4734 14.28/14.38 c nbDecision=117500 #constraints=4739 14.38/14.45 c nbDecision=118000 #constraints=4746 14.47/14.52 c nbDecision=118500 #constraints=4752 14.47/14.59 c nbDecision=119000 #constraints=4757 14.57/14.68 c nbDecision=119500 #constraints=4766 14.67/14.78 c nbDecision=120000 #constraints=4773 14.77/14.85 c nbDecision=120500 #constraints=4778 14.87/14.91 c nbDecision=121000 #constraints=4782 14.87/14.97 c nbDecision=121500 #constraints=4786 14.97/15.03 c nbDecision=122000 #constraints=4793 14.97/15.07 c nbDecision=122500 #constraints=4798 14.97/15.09 c nbDecision=123000 #constraints=4802 15.07/15.11 c nbDecision=123500 #constraints=4806 15.07/15.13 c nbDecision=124000 #constraints=4809 15.07/15.17 c nbDecision=124500 #constraints=4815 15.17/15.23 c nbDecision=125000 #constraints=4821 15.27/15.34 c nbDecision=125500 #constraints=4830 15.38/15.44 c nbDecision=126000 #constraints=4840 15.48/15.51 c nbDecision=126500 #constraints=4846 15.48/15.58 c nbDecision=127000 #constraints=4854 15.58/15.61 c nbDecision=127500 #constraints=4859 15.68/15.74 c nbDecision=128000 #constraints=4871 15.68/15.79 c nbDecision=128500 #constraints=4877 15.88/15.93 c nbDecision=129000 #constraints=4887 15.98/16.02 c nbDecision=129500 #constraints=4894 16.18/16.20 c nbDecision=130000 #constraints=4909 16.28/16.31 c nbDecision=130500 #constraints=4918 16.28/16.36 c nbDecision=131000 #constraints=4921 16.38/16.41 c nbDecision=131500 #constraints=4924 16.38/16.46 c nbDecision=132000 #constraints=4927 16.48/16.51 c nbDecision=132500 #constraints=4930 16.48/16.58 c nbDecision=133000 #constraints=4934 16.58/16.60 c nbDecision=133500 #constraints=4938 16.58/16.67 c nbDecision=134000 #constraints=4944 16.68/16.76 c nbDecision=134500 #constraints=4950 16.78/16.84 c nbDecision=135000 #constraints=4955 16.78/16.89 c nbDecision=135500 #constraints=4958 16.88/16.95 c nbDecision=136000 #constraints=4962 16.98/17.01 c nbDecision=136500 #constraints=4967 16.98/17.06 c nbDecision=137000 #constraints=4970 17.18/17.20 c nbDecision=137500 #constraints=4981 17.28/17.30 c nbDecision=138000 #constraints=4990 17.28/17.39 c nbDecision=138500 #constraints=4998 17.38/17.44 c nbDecision=139000 #constraints=5003 17.38/17.49 c nbDecision=139500 #constraints=5007 17.48/17.54 c nbDecision=140000 #constraints=5010 17.48/17.59 c nbDecision=140500 #constraints=5013 17.58/17.62 c nbDecision=141000 #constraints=5016 17.58/17.69 c nbDecision=141500 #constraints=5022 17.78/17.81 c nbDecision=142000 #constraints=5032 17.88/17.93 c nbDecision=142500 #constraints=5042 17.88/17.99 c nbDecision=143000 #constraints=5048 17.98/18.04 c nbDecision=143500 #constraints=5052 17.98/18.09 c nbDecision=144000 #constraints=5056 18.08/18.16 c nbDecision=144500 #constraints=5061 18.18/18.23 c nbDecision=145000 #constraints=5066 18.18/18.29 c nbDecision=145500 #constraints=5071 18.28/18.35 c nbDecision=146000 #constraints=5077 18.38/18.44 c nbDecision=146500 #constraints=5084 18.47/18.56 c nbDecision=147000 #constraints=5095 18.57/18.66 c nbDecision=147500 #constraints=5104 18.68/18.72 c nbDecision=148000 #constraints=5108 18.78/18.86 c nbDecision=148500 #constraints=5119 18.97/19.00 c nbDecision=149000 #constraints=5130 18.97/19.08 c nbDecision=149500 #constraints=5136 19.07/19.13 c nbDecision=150000 #constraints=5139 19.27/19.38 c nbDecision=150500 #constraints=5159 19.37/19.45 c nbDecision=151000 #constraints=5166 19.47/19.53 c nbDecision=151500 #constraints=5173 19.57/19.61 c nbDecision=152000 #constraints=5180 19.57/19.69 c nbDecision=152500 #constraints=5185 19.67/19.74 c nbDecision=153000 #constraints=5188 19.77/19.84 c nbDecision=153500 #constraints=5194 19.87/19.91 c nbDecision=154000 #constraints=5199 19.87/19.95 c nbDecision=154500 #constraints=5203 19.97/20.02 c nbDecision=155000 #constraints=5209 20.07/20.11 c nbDecision=155500 #constraints=5216 20.17/20.20 c nbDecision=156000 #constraints=5222 20.37/20.41 c nbDecision=156500 #constraints=5235 20.77/20.85 c nbDecision=157000 #constraints=5259 20.87/20.92 c nbDecision=157500 #constraints=5263 20.87/20.98 c nbDecision=158000 #constraints=5268 20.97/21.04 c nbDecision=158500 #constraints=5273 21.07/21.12 c nbDecision=159000 #constraints=5279 21.17/21.22 c nbDecision=159500 #constraints=5285 21.27/21.31 c nbDecision=160000 #constraints=5291 21.27/21.40 c nbDecision=160500 #constraints=5298 21.37/21.48 c nbDecision=161000 #constraints=5304 21.47/21.56 c nbDecision=161500 #constraints=5310 21.56/21.66 c nbDecision=162000 #constraints=5317 21.66/21.76 c nbDecision=162500 #constraints=5325 21.76/21.87 c nbDecision=163000 #constraints=5333 21.86/21.95 c nbDecision=163500 #constraints=5339 21.97/22.08 c nbDecision=164000 #constraints=5347 22.07/22.18 c nbDecision=164500 #constraints=5353 22.16/22.27 c nbDecision=165000 #constraints=5359 22.26/22.35 c nbDecision=165500 #constraints=5365 22.36/22.44 c nbDecision=166000 #constraints=5373 22.46/22.53 c nbDecision=166500 #constraints=5379 22.66/22.72 c nbDecision=167000 #constraints=5394 22.66/22.79 c nbDecision=167500 #constraints=5402 22.76/22.86 c nbDecision=168000 #constraints=5407 22.86/22.93 c nbDecision=168500 #constraints=5412 22.96/23.05 c nbDecision=169000 #constraints=5420 23.07/23.17 c nbDecision=169500 #constraints=5428 23.17/23.25 c nbDecision=170000 #constraints=5432 23.26/23.33 c nbDecision=170500 #constraints=5439 23.36/23.47 c nbDecision=171000 #constraints=5451 23.46/23.55 c nbDecision=171500 #constraints=5457 23.56/23.67 c nbDecision=172000 #constraints=5466 23.66/23.76 c nbDecision=172500 #constraints=5477 23.86/23.92 c nbDecision=173000 #constraints=5488 23.86/23.99 c nbDecision=173500 #constraints=5494 24.06/24.15 c nbDecision=174000 #constraints=5503 24.17/24.25 c nbDecision=174500 #constraints=5511 24.27/24.35 c nbDecision=175000 #constraints=5517 24.36/24.44 c nbDecision=175500 #constraints=5524 24.46/24.50 c nbDecision=176000 #constraints=5530 24.56/24.63 c nbDecision=176500 #constraints=5539 24.76/24.82 c nbDecision=177000 #constraints=5555 24.86/24.95 c nbDecision=177500 #constraints=5562 25.06/25.10 c nbDecision=178000 #constraints=5572 25.16/25.22 c nbDecision=178500 #constraints=5581 25.37/25.42 c nbDecision=179000 #constraints=5597 25.46/25.55 c nbDecision=179500 #constraints=5605 25.66/25.75 c nbDecision=180000 #constraints=5619 25.76/25.85 c nbDecision=180500 #constraints=5625 25.86/25.94 c nbDecision=181000 #constraints=5631 25.96/26.10 c nbDecision=181500 #constraints=5641 26.16/26.26 c nbDecision=182000 #constraints=5652 26.37/26.41 c nbDecision=182500 #constraints=5662 26.47/26.53 c nbDecision=183000 #constraints=5670 26.56/26.67 c nbDecision=183500 #constraints=5679 26.76/26.82 c nbDecision=184000 #constraints=5688 26.86/26.91 c nbDecision=184500 #constraints=5694 26.96/27.04 c nbDecision=185000 #constraints=5703 27.06/27.19 c nbDecision=185500 #constraints=5715 27.16/27.23 c nbDecision=186000 #constraints=5719 27.16/27.27 c nbDecision=186500 #constraints=5722 27.26/27.33 c nbDecision=187000 #constraints=5727 27.36/27.42 c nbDecision=187500 #constraints=5733 27.46/27.55 c nbDecision=188000 #constraints=5743 27.56/27.65 c nbDecision=188500 #constraints=5749 27.66/27.77 c nbDecision=189000 #constraints=5757 27.76/27.88 c nbDecision=189500 #constraints=5765 27.86/27.93 c nbDecision=190000 #constraints=5768 27.96/28.02 c nbDecision=190500 #constraints=5774 28.16/28.23 c nbDecision=191000 #constraints=5789 28.36/28.43 c nbDecision=191500 #constraints=5802 28.46/28.59 c nbDecision=192000 #constraints=5813 28.66/28.78 c nbDecision=192500 #constraints=5825 28.85/28.90 c nbDecision=193000 #constraints=5832 28.95/29.01 c nbDecision=193500 #constraints=5839 29.05/29.14 c nbDecision=194000 #constraints=5848 29.15/29.26 c nbDecision=194500 #constraints=5859 29.35/29.41 c nbDecision=195000 #constraints=5874 29.55/29.66 c nbDecision=195500 #constraints=5893 29.76/29.83 c nbDecision=196000 #constraints=5904 29.85/29.95 c nbDecision=196500 #constraints=5913 29.95/30.06 c nbDecision=197000 #constraints=5920 30.05/30.11 c nbDecision=197500 #constraints=5924 30.05/30.20 c nbDecision=198000 #constraints=5930 30.26/30.31 c nbDecision=198500 #constraints=5938 30.36/30.42 c nbDecision=199000 #constraints=5946 30.46/30.59 c nbDecision=199500 #constraints=5959 30.55/30.67 c nbDecision=200000 #constraints=5965 30.65/30.77 c nbDecision=200500 #constraints=5969 30.76/30.86 c nbDecision=201000 #constraints=5974 30.86/30.97 c nbDecision=201500 #constraints=5982 30.95/31.06 c nbDecision=202000 #constraints=5988 31.05/31.19 c nbDecision=202500 #constraints=5997 31.15/31.29 c nbDecision=203000 #constraints=6003 31.25/31.38 c nbDecision=203500 #constraints=6008 31.35/31.46 c nbDecision=204000 #constraints=6013 31.55/31.63 c nbDecision=204500 #constraints=6024 31.65/31.72 c restart after 204801 decisions 31.75/31.83 c nbDecision=205000 #constraints=6031 31.75/31.86 c nbDecision=205500 #constraints=6031 31.75/31.88 c nbDecision=206000 #constraints=6031 31.96/32.04 c nbDecision=206500 #constraints=6037 32.05/32.16 c nbDecision=207000 #constraints=6043 32.25/32.34 c nbDecision=207500 #constraints=6056 32.45/32.52 c nbDecision=208000 #constraints=6067 32.56/32.64 c nbDecision=208500 #constraints=6075 32.66/32.77 c nbDecision=209000 #constraints=6085 32.76/32.88 c nbDecision=209500 #constraints=6095 32.86/32.94 c nbDecision=210000 #constraints=6101 32.96/33.06 c nbDecision=210500 #constraints=6110 33.06/33.18 c nbDecision=211000 #constraints=6117 33.16/33.25 c nbDecision=211500 #constraints=6120 33.36/33.47 c nbDecision=212000 #constraints=6138 33.56/33.60 c nbDecision=212500 #constraints=6154 33.56/33.65 c nbDecision=213000 #constraints=6161 33.65/33.73 c nbDecision=213500 #constraints=6173 33.65/33.79 c nbDecision=214000 #constraints=6180 33.75/33.82 c nbDecision=214500 #constraints=6184 33.75/33.88 c nbDecision=215000 #constraints=6189 33.95/34.07 c nbDecision=215500 #constraints=6204 34.25/34.30 c nbDecision=216000 #constraints=6223 34.25/34.39 c nbDecision=216500 #constraints=6231 34.35/34.46 c nbDecision=217000 #constraints=6238 34.45/34.53 c nbDecision=217500 #constraints=6244 34.55/34.66 c nbDecision=218000 #constraints=6252 34.85/34.96 c nbDecision=218500 #constraints=6271 35.15/35.22 c nbDecision=219000 #constraints=6289 35.26/35.32 c nbDecision=219500 #constraints=6295 35.35/35.41 c nbDecision=220000 #constraints=6300 35.45/35.53 c nbDecision=220500 #constraints=6308 35.45/35.58 c nbDecision=221000 #constraints=6311 35.55/35.66 c nbDecision=221500 #constraints=6316 35.65/35.74 c nbDecision=222000 #constraints=6321 35.75/35.89 c nbDecision=222500 #constraints=6330 35.85/36.00 c nbDecision=223000 #constraints=6337 36.05/36.12 c nbDecision=223500 #constraints=6344 36.15/36.26 c nbDecision=224000 #constraints=6354 36.25/36.34 c nbDecision=224500 #constraints=6359 36.35/36.47 c nbDecision=225000 #constraints=6366 36.45/36.58 c nbDecision=225500 #constraints=6372 36.65/36.73 c nbDecision=226000 #constraints=6381 36.75/36.82 c nbDecision=226500 #constraints=6387 36.85/36.90 c nbDecision=227000 #constraints=6393 36.95/37.01 c nbDecision=227500 #constraints=6399 37.05/37.15 c nbDecision=228000 #constraints=6408 37.15/37.24 c nbDecision=228500 #constraints=6413 37.25/37.34 c nbDecision=229000 #constraints=6420 37.35/37.44 c nbDecision=229500 #constraints=6425 37.55/37.63 c nbDecision=230000 #constraints=6437 37.65/37.76 c nbDecision=230500 #constraints=6445 37.85/37.93 c nbDecision=231000 #constraints=6455 37.95/38.06 c nbDecision=231500 #constraints=6464 38.05/38.17 c nbDecision=232000 #constraints=6470 38.15/38.27 c nbDecision=232500 #constraints=6476 38.25/38.38 c nbDecision=233000 #constraints=6483 38.35/38.49 c nbDecision=233500 #constraints=6492 38.55/38.62 c nbDecision=234000 #constraints=6501 38.65/38.71 c nbDecision=234500 #constraints=6508 38.85/38.99 c nbDecision=235000 #constraints=6527 39.04/39.12 c nbDecision=235500 #constraints=6535 39.24/39.33 c nbDecision=236000 #constraints=6548 39.34/39.43 c nbDecision=236500 #constraints=6555 39.44/39.56 c nbDecision=237000 #constraints=6564 39.74/39.83 c nbDecision=237500 #constraints=6583 39.84/39.99 c nbDecision=238000 #constraints=6599 39.94/40.09 c nbDecision=238500 #constraints=6609 40.04/40.19 c nbDecision=239000 #constraints=6622 40.14/40.25 c nbDecision=239500 #constraints=6629 40.24/40.32 c nbDecision=240000 #constraints=6636 40.34/40.40 c nbDecision=240500 #constraints=6642 40.44/40.55 c nbDecision=241000 #constraints=6651 40.54/40.67 c nbDecision=241500 #constraints=6659 40.65/40.77 c nbDecision=242000 #constraints=6666 40.84/40.92 c nbDecision=242500 #constraints=6676 41.04/41.16 c nbDecision=243000 #constraints=6691 41.34/41.46 c nbDecision=243500 #constraints=6713 41.44/41.53 c nbDecision=244000 #constraints=6718 41.64/41.72 c nbDecision=244500 #constraints=6729 41.85/41.93 c nbDecision=245000 #constraints=6739 41.94/42.04 c nbDecision=245500 #constraints=6746 42.04/42.11 c nbDecision=246000 #constraints=6750 42.14/42.22 c nbDecision=246500 #constraints=6758 42.14/42.28 c nbDecision=247000 #constraints=6762 42.34/42.41 c nbDecision=247500 #constraints=6771 42.44/42.52 c nbDecision=248000 #constraints=6778 42.54/42.61 c nbDecision=248500 #constraints=6784 42.74/42.88 c nbDecision=249000 #constraints=6805 42.84/42.93 c nbDecision=249500 #constraints=6811 42.84/42.99 c nbDecision=250000 #constraints=6816 43.04/43.10 c nbDecision=250500 #constraints=6823 43.14/43.23 c nbDecision=251000 #constraints=6832 43.64/43.71 c nbDecision=251500 #constraints=6857 43.84/43.95 c nbDecision=252000 #constraints=6873 43.94/44.02 c nbDecision=252500 #constraints=6879 44.04/44.10 c nbDecision=253000 #constraints=6885 44.04/44.17 c nbDecision=253500 #constraints=6891 44.24/44.37 c nbDecision=254000 #constraints=6907 44.34/44.45 c nbDecision=254500 #constraints=6914 44.44/44.55 c nbDecision=255000 #constraints=6922 44.54/44.66 c nbDecision=255500 #constraints=6929 44.64/44.78 c nbDecision=256000 #constraints=6938 44.74/44.86 c nbDecision=256500 #constraints=6943 44.84/44.92 c nbDecision=257000 #constraints=6947 44.94/45.05 c nbDecision=257500 #constraints=6956 45.04/45.14 c nbDecision=258000 #constraints=6961 45.24/45.31 c nbDecision=258500 #constraints=6971 45.34/45.42 c nbDecision=259000 #constraints=6979 45.44/45.60 c nbDecision=259500 #constraints=6989 45.64/45.73 c nbDecision=260000 #constraints=6995 45.74/45.84 c nbDecision=260500 #constraints=7002 45.84/45.95 c nbDecision=261000 #constraints=7009 45.94/46.02 c nbDecision=261500 #constraints=7013 46.14/46.24 c nbDecision=262000 #constraints=7026 46.54/46.64 c nbDecision=262500 #constraints=7048 46.74/46.82 c nbDecision=263000 #constraints=7060 47.04/47.13 c nbDecision=263500 #constraints=7076 47.54/47.64 c nbDecision=264000 #constraints=7104 48.04/48.18 c nbDecision=264500 #constraints=7132 48.73/48.83 c nbDecision=265000 #constraints=7163 49.23/49.31 c nbDecision=265500 #constraints=7186 49.63/49.79 c nbDecision=266000 #constraints=7210 50.03/50.11 c nbDecision=266500 #constraints=7230 50.13/50.21 c nbDecision=267000 #constraints=7237 50.23/50.38 c nbDecision=267500 #constraints=7249 50.43/50.54 c nbDecision=268000 #constraints=7259 50.54/50.64 c nbDecision=268500 #constraints=7264 50.64/50.73 c nbDecision=269000 #constraints=7269 50.64/50.78 c nbDecision=269500 #constraints=7273 50.84/50.91 c nbDecision=270000 #constraints=7281 50.94/51.08 c nbDecision=270500 #constraints=7291 51.14/51.24 c nbDecision=271000 #constraints=7301 51.24/51.36 c nbDecision=271500 #constraints=7307 51.34/51.47 c nbDecision=272000 #constraints=7313 51.54/51.62 c nbDecision=272500 #constraints=7323 51.65/51.74 c nbDecision=273000 #constraints=7330 51.75/51.85 c nbDecision=273500 #constraints=7336 51.84/51.97 c nbDecision=274000 #constraints=7344 52.04/52.13 c nbDecision=274500 #constraints=7354 52.14/52.21 c nbDecision=275000 #constraints=7358 52.44/52.58 c nbDecision=275500 #constraints=7379 53.04/53.17 c nbDecision=276000 #constraints=7409 53.64/53.74 c nbDecision=276500 #constraints=7438 54.14/54.22 c nbDecision=277000 #constraints=7463 54.24/54.32 c nbDecision=277500 #constraints=7468 54.34/54.42 c nbDecision=278000 #constraints=7473 54.44/54.59 c nbDecision=278500 #constraints=7483 54.64/54.80 c nbDecision=279000 #constraints=7495 54.84/54.94 c nbDecision=279500 #constraints=7504 54.94/55.04 c nbDecision=280000 #constraints=7509 55.14/55.26 c nbDecision=280500 #constraints=7522 55.24/55.38 c nbDecision=281000 #constraints=7528 55.34/55.49 c nbDecision=281500 #constraints=7534 55.54/55.60 c nbDecision=282000 #constraints=7541 55.54/55.70 c nbDecision=282500 #constraints=7546 55.64/55.80 c nbDecision=283000 #constraints=7551 55.74/55.89 c nbDecision=283500 #constraints=7555 55.94/56.02 c nbDecision=284000 #constraints=7562 56.04/56.14 c nbDecision=284500 #constraints=7569 56.24/56.30 c nbDecision=285000 #constraints=7579 56.34/56.47 c nbDecision=285500 #constraints=7589 56.44/56.56 c nbDecision=286000 #constraints=7594 56.64/56.70 c nbDecision=286500 #constraints=7601 57.14/57.29 c nbDecision=287000 #constraints=7630 57.64/57.75 c nbDecision=287500 #constraints=7653 58.24/58.39 c nbDecision=288000 #constraints=7681 58.44/58.50 c nbDecision=288500 #constraints=7687 58.44/58.58 c nbDecision=289000 #constraints=7693 58.54/58.67 c nbDecision=289500 #constraints=7698 58.64/58.73 c nbDecision=290000 #constraints=7702 59.13/59.22 c nbDecision=290500 #constraints=7725 59.63/59.78 c nbDecision=291000 #constraints=7754 59.93/60.04 c nbDecision=291500 #constraints=7770 60.03/60.12 c nbDecision=292000 #constraints=7774 60.13/60.21 c nbDecision=292500 #constraints=7779 60.44/60.53 c nbDecision=293000 #constraints=7799 61.13/61.22 c nbDecision=293500 #constraints=7833 61.73/61.85 c nbDecision=294000 #constraints=7865 62.43/62.52 c nbDecision=294500 #constraints=7896 62.83/62.96 c nbDecision=295000 #constraints=7918 63.23/63.34 c nbDecision=295500 #constraints=7940 63.93/64.02 c nbDecision=296000 #constraints=7969 64.43/64.57 c nbDecision=296500 #constraints=7996 65.02/65.13 c nbDecision=297000 #constraints=8021 65.52/65.67 c nbDecision=297500 #constraints=8047 66.11/66.26 c nbDecision=298000 #constraints=8074 66.71/66.88 c nbDecision=298500 #constraints=8099 67.41/67.57 c nbDecision=299000 #constraints=8125 68.31/68.43 c nbDecision=299500 #constraints=8159 68.91/69.07 c nbDecision=300000 #constraints=8185 69.31/69.48 c nbDecision=300500 #constraints=8208 70.12/70.20 c nbDecision=301000 #constraints=8239 70.22/70.39 c nbDecision=301500 #constraints=8252 70.32/70.44 c nbDecision=302000 #constraints=8257 70.62/70.79 c nbDecision=302500 #constraints=8274 71.12/71.25 c nbDecision=303000 #constraints=8295 71.22/71.37 c nbDecision=303500 #constraints=8305 71.62/71.78 c nbDecision=304000 #constraints=8323 71.82/71.94 c nbDecision=304500 #constraints=8332 72.22/72.31 c nbDecision=305000 #constraints=8350 72.62/72.79 c nbDecision=305500 #constraints=8370 73.32/73.41 c nbDecision=306000 #constraints=8397 74.02/74.18 c nbDecision=306500 #constraints=8428 74.82/74.96 c nbDecision=307000 #constraints=8457 75.82/75.95 c nbDecision=307500 #constraints=8494 76.71/76.89 c nbDecision=308000 #constraints=8531 77.61/77.75 c nbDecision=308500 #constraints=8561 78.51/78.60 c nbDecision=309000 #constraints=8596 79.22/79.37 c nbDecision=309500 #constraints=8627 80.01/80.17 c nbDecision=310000 #constraints=8657 80.71/80.84 c nbDecision=310500 #constraints=8683 81.41/81.52 c nbDecision=311000 #constraints=8710 81.81/81.91 c nbDecision=311500 #constraints=8725 82.21/82.30 c nbDecision=312000 #constraints=8738 82.71/82.85 c nbDecision=312500 #constraints=8758 83.61/83.70 c nbDecision=313000 #constraints=8791 84.41/84.53 c nbDecision=313500 #constraints=8824 85.31/85.41 c nbDecision=314000 #constraints=8857 86.00/86.11 c nbDecision=314500 #constraints=8885 86.60/86.77 c nbDecision=315000 #constraints=8909 87.50/87.64 c nbDecision=315500 #constraints=8939 88.40/88.51 c nbDecision=316000 #constraints=8969 89.20/89.32 c nbDecision=316500 #constraints=8997 89.80/89.96 c nbDecision=317000 #constraints=9024 90.70/90.90 c nbDecision=317500 #constraints=9061 91.70/91.84 c nbDecision=318000 #constraints=9093 92.40/92.52 c nbDecision=318500 #constraints=9117 93.01/93.13 c nbDecision=319000 #constraints=9142 93.71/93.84 c nbDecision=319500 #constraints=9173 94.51/94.62 c nbDecision=320000 #constraints=9206 94.91/95.07 c nbDecision=320500 #constraints=9225 95.61/95.72 c nbDecision=321000 #constraints=9253 96.31/96.45 c nbDecision=321500 #constraints=9280 97.20/97.36 c nbDecision=322000 #constraints=9318 97.91/98.07 c nbDecision=322500 #constraints=9345 98.40/98.53 c nbDecision=323000 #constraints=9365 98.50/98.69 c nbDecision=323500 #constraints=9370 98.70/98.87 c nbDecision=324000 #constraints=9379 98.80/98.97 c nbDecision=324500 #constraints=9382 98.91/99.09 c nbDecision=325000 #constraints=9388 99.01/99.18 c nbDecision=325500 #constraints=9393 99.20/99.34 c nbDecision=326000 #constraints=9402 99.40/99.58 c nbDecision=326500 #constraints=9415 99.60/99.72 c nbDecision=327000 #constraints=9420 99.70/99.89 c nbDecision=327500 #constraints=9427 99.80/99.98 c nbDecision=328000 #constraints=9430 100.00/100.15 c nbDecision=328500 #constraints=9439 100.20/100.31 c nbDecision=329000 #constraints=9447 100.30/100.45 c nbDecision=329500 #constraints=9453 100.40/100.56 c nbDecision=330000 #constraints=9460 100.60/100.71 c nbDecision=330500 #constraints=9469 100.80/100.99 c nbDecision=331000 #constraints=9482 101.10/101.21 c nbDecision=331500 #constraints=9491 101.30/101.42 c nbDecision=332000 #constraints=9500 101.50/101.61 c nbDecision=332500 #constraints=9510 101.70/101.84 c nbDecision=333000 #constraints=9520 101.90/102.03 c nbDecision=333500 #constraints=9532 102.10/102.20 c nbDecision=334000 #constraints=9541 102.10/102.29 c nbDecision=334500 #constraints=9545 102.30/102.46 c nbDecision=335000 #constraints=9555 102.50/102.66 c nbDecision=335500 #constraints=9564 102.70/102.81 c nbDecision=336000 #constraints=9572 102.80/102.92 c nbDecision=336500 #constraints=9578 102.90/103.07 c nbDecision=337000 #constraints=9586 103.10/103.21 c nbDecision=337500 #constraints=9594 103.20/103.39 c nbDecision=338000 #constraints=9604 103.30/103.50 c nbDecision=338500 #constraints=9609 103.50/103.61 c nbDecision=339000 #constraints=9617 103.50/103.69 c nbDecision=339500 #constraints=9622 103.60/103.76 c nbDecision=340000 #constraints=9627 103.80/103.90 c nbDecision=340500 #constraints=9635 103.90/104.02 c nbDecision=341000 #constraints=9641 103.90/104.08 c nbDecision=341500 #constraints=9646 104.00/104.18 c nbDecision=342000 #constraints=9650 104.20/104.33 c nbDecision=342500 #constraints=9656 104.30/104.45 c nbDecision=343000 #constraints=9662 104.50/104.61 c nbDecision=343500 #constraints=9670 104.60/104.78 c nbDecision=344000 #constraints=9679 104.80/104.90 c nbDecision=344500 #constraints=9685 104.90/105.09 c nbDecision=345000 #constraints=9695 105.10/105.22 c nbDecision=345500 #constraints=9701 105.20/105.38 c nbDecision=346000 #constraints=9709 105.40/105.55 c nbDecision=346500 #constraints=9721 105.60/105.73 c nbDecision=347000 #constraints=9730 105.80/105.99 c nbDecision=347500 #constraints=9742 106.19/106.31 c nbDecision=348000 #constraints=9757 106.39/106.55 c nbDecision=348500 #constraints=9768 106.70/106.85 c nbDecision=349000 #constraints=9782 106.89/107.06 c nbDecision=349500 #constraints=9792 107.09/107.27 c nbDecision=350000 #constraints=9802 107.29/107.43 c nbDecision=350500 #constraints=9809 107.49/107.60 c nbDecision=351000 #constraints=9817 107.70/107.86 c nbDecision=351500 #constraints=9828 107.89/108.07 c nbDecision=352000 #constraints=9838 108.19/108.33 c nbDecision=352500 #constraints=9850 108.29/108.44 c nbDecision=353000 #constraints=9857 108.39/108.59 c nbDecision=353500 #constraints=9864 108.59/108.78 c nbDecision=354000 #constraints=9873 108.69/108.87 c nbDecision=354500 #constraints=9876 108.89/109.07 c nbDecision=355000 #constraints=9887 108.99/109.18 c nbDecision=355500 #constraints=9893 109.09/109.23 c nbDecision=356000 #constraints=9896 109.39/109.59 c nbDecision=356500 #constraints=9912 109.59/109.70 c nbDecision=357000 #constraints=9917 109.89/110.05 c nbDecision=357500 #constraints=9932 110.28/110.42 c nbDecision=358000 #constraints=9948 110.48/110.67 c nbDecision=358500 #constraints=9958 110.58/110.78 c nbDecision=359000 #constraints=9963 110.78/110.99 c nbDecision=359500 #constraints=9971 111.18/111.36 c nbDecision=360000 #constraints=9986 111.58/111.72 c nbDecision=360500 #constraints=10001 111.88/112.07 c nbDecision=361000 #constraints=10017 112.18/112.36 c nbDecision=361500 #constraints=10031 112.47/112.65 c nbDecision=362000 #constraints=10044 112.67/112.81 c nbDecision=362500 #constraints=10051 112.87/113.00 c nbDecision=363000 #constraints=10058 112.97/113.18 c nbDecision=363500 #constraints=10065 113.17/113.37 c nbDecision=364000 #constraints=10075 113.27/113.48 c nbDecision=364500 #constraints=10082 113.47/113.63 c nbDecision=365000 #constraints=10088 113.57/113.77 c nbDecision=365500 #constraints=10094 113.88/114.05 c nbDecision=366000 #constraints=10107 114.08/114.21 c nbDecision=366500 #constraints=10114 114.18/114.37 c nbDecision=367000 #constraints=10123 114.38/114.52 c nbDecision=367500 #constraints=10130 114.58/114.79 c nbDecision=368000 #constraints=10142 114.88/115.05 c nbDecision=368500 #constraints=10153 115.18/115.39 c nbDecision=369000 #constraints=10166 115.58/115.74 c nbDecision=369500 #constraints=10179 115.98/116.10 c nbDecision=370000 #constraints=10194 116.28/116.41 c nbDecision=370500 #constraints=10207 116.58/116.71 c nbDecision=371000 #constraints=10220 116.88/117.04 c nbDecision=371500 #constraints=10236 116.98/117.19 c nbDecision=372000 #constraints=10243 117.38/117.52 c nbDecision=372500 #constraints=10259 117.48/117.68 c nbDecision=373000 #constraints=10267 117.68/117.87 c nbDecision=373500 #constraints=10278 117.88/118.09 c nbDecision=374000 #constraints=10286 118.17/118.30 c nbDecision=374500 #constraints=10299 118.27/118.44 c nbDecision=375000 #constraints=10306 118.37/118.51 c nbDecision=375500 #constraints=10310 118.47/118.63 c nbDecision=376000 #constraints=10318 118.57/118.76 c nbDecision=376500 #constraints=10324 118.68/118.90 c nbDecision=377000 #constraints=10330 118.87/119.06 c nbDecision=377500 #constraints=10337 119.17/119.35 c nbDecision=378000 #constraints=10349 119.37/119.57 c nbDecision=378500 #constraints=10358 119.67/119.81 c nbDecision=379000 #constraints=10369 119.88/120.04 c nbDecision=379500 #constraints=10378 119.97/120.20 c nbDecision=380000 #constraints=10384 120.27/120.41 c nbDecision=380500 #constraints=10394 120.37/120.56 c nbDecision=381000 #constraints=10400 120.47/120.67 c nbDecision=381500 #constraints=10404 120.77/120.92 c nbDecision=382000 #constraints=10414 120.88/121.08 c nbDecision=382500 #constraints=10420 121.27/121.46 c nbDecision=383000 #constraints=10436 121.57/121.74 c nbDecision=383500 #constraints=10447 121.98/122.17 c nbDecision=384000 #constraints=10463 122.17/122.39 c nbDecision=384500 #constraints=10471 122.47/122.60 c nbDecision=385000 #constraints=10478 122.67/122.88 c nbDecision=385500 #constraints=10492 122.87/123.03 c nbDecision=386000 #constraints=10497 123.08/123.22 c nbDecision=386500 #constraints=10505 123.27/123.41 c nbDecision=387000 #constraints=10513 123.47/123.62 c nbDecision=387500 #constraints=10522 123.67/123.84 c nbDecision=388000 #constraints=10532 123.87/124.09 c nbDecision=388500 #constraints=10543 124.07/124.28 c nbDecision=389000 #constraints=10550 124.17/124.39 c nbDecision=389500 #constraints=10556 124.37/124.56 c nbDecision=390000 #constraints=10562 124.57/124.72 c nbDecision=390500 #constraints=10570 124.77/124.90 c nbDecision=391000 #constraints=10576 124.87/125.04 c nbDecision=391500 #constraints=10583 125.07/125.20 c nbDecision=392000 #constraints=10590 125.17/125.35 c nbDecision=392500 #constraints=10597 125.37/125.50 c nbDecision=393000 #constraints=10605 125.47/125.67 c nbDecision=393500 #constraints=10611 125.67/125.80 c nbDecision=394000 #constraints=10618 125.77/125.99 c nbDecision=394500 #constraints=10627 125.97/126.16 c nbDecision=395000 #constraints=10634 126.17/126.36 c nbDecision=395500 #constraints=10644 126.37/126.60 c nbDecision=396000 #constraints=10654 126.57/126.77 c nbDecision=396500 #constraints=10661 126.77/126.95 c nbDecision=397000 #constraints=10669 126.87/127.10 c nbDecision=397500 #constraints=10675 127.06/127.26 c nbDecision=398000 #constraints=10682 127.36/127.59 c nbDecision=398500 #constraints=10697 127.57/127.75 c nbDecision=399000 #constraints=10704 127.66/127.89 c nbDecision=399500 #constraints=10710 127.86/128.06 c nbDecision=400000 #constraints=10718 128.06/128.20 c nbDecision=400500 #constraints=10724 128.26/128.44 c nbDecision=401000 #constraints=10735 128.46/128.63 c nbDecision=401500 #constraints=10742 128.57/128.79 c nbDecision=402000 #constraints=10749 128.76/128.98 c nbDecision=402500 #constraints=10756 128.96/129.15 c nbDecision=403000 #constraints=10762 129.16/129.36 c nbDecision=403500 #constraints=10770 129.36/129.50 c nbDecision=404000 #constraints=10776 129.46/129.60 c nbDecision=404500 #constraints=10780 129.56/129.70 c nbDecision=405000 #constraints=10784 129.67/129.84 c nbDecision=405500 #constraints=10791 129.77/129.92 c nbDecision=406000 #constraints=10795 129.96/130.13 c nbDecision=406500 #constraints=10803 130.06/130.24 c nbDecision=407000 #constraints=10807 130.36/130.57 c nbDecision=407500 #constraints=10819 130.56/130.74 c nbDecision=408000 #constraints=10826 130.77/130.98 c nbDecision=408500 #constraints=10837 130.96/131.17 c nbDecision=409000 #constraints=10845 131.26/131.50 c nbDecision=409500 #constraints=10860 131.36/131.54 c restart after 409601 decisions 131.66/131.85 c nbDecision=410000 #constraints=10862 131.66/131.88 c nbDecision=410500 #constraints=10862 131.97/132.14 c nbDecision=411000 #constraints=10864 132.16/132.34 c nbDecision=411500 #constraints=10873 132.46/132.66 c nbDecision=412000 #constraints=10887 132.56/132.80 c nbDecision=412500 #constraints=10894 132.86/133.02 c nbDecision=413000 #constraints=10906 132.96/133.18 c nbDecision=413500 #constraints=10914 133.16/133.37 c nbDecision=414000 #constraints=10922 133.66/133.88 c nbDecision=414500 #constraints=10943 133.86/134.08 c nbDecision=415000 #constraints=10951 134.06/134.27 c nbDecision=415500 #constraints=10961 134.36/134.52 c nbDecision=416000 #constraints=10972 134.46/134.69 c nbDecision=416500 #constraints=10981 134.76/134.90 c nbDecision=417000 #constraints=10992 134.86/135.08 c nbDecision=417500 #constraints=11001 135.06/135.26 c nbDecision=418000 #constraints=11010 135.26/135.42 c nbDecision=418500 #constraints=11019 135.36/135.59 c nbDecision=419000 #constraints=11029 135.56/135.75 c nbDecision=419500 #constraints=11036 135.76/135.96 c nbDecision=420000 #constraints=11046 135.96/136.14 c nbDecision=420500 #constraints=11053 136.06/136.28 c nbDecision=421000 #constraints=11059 136.26/136.46 c nbDecision=421500 #constraints=11067 136.46/136.67 c nbDecision=422000 #constraints=11076 136.66/136.86 c nbDecision=422500 #constraints=11084 136.86/137.06 c nbDecision=423000 #constraints=11093 137.06/137.28 c nbDecision=423500 #constraints=11101 137.26/137.40 c nbDecision=424000 #constraints=11107 137.46/137.67 c nbDecision=424500 #constraints=11119 137.66/137.87 c nbDecision=425000 #constraints=11127 137.86/138.06 c nbDecision=425500 #constraints=11135 138.06/138.21 c nbDecision=426000 #constraints=11141 138.16/138.37 c nbDecision=426500 #constraints=11148 138.36/138.51 c nbDecision=427000 #constraints=11155 138.56/138.79 c nbDecision=427500 #constraints=11165 138.75/138.98 c nbDecision=428000 #constraints=11173 139.05/139.26 c nbDecision=428500 #constraints=11185 139.25/139.42 c nbDecision=429000 #constraints=11191 139.45/139.69 c nbDecision=429500 #constraints=11204 139.66/139.82 c nbDecision=430000 #constraints=11210 139.85/140.04 c nbDecision=430500 #constraints=11220 140.05/140.25 c nbDecision=431000 #constraints=11228 140.35/140.56 c nbDecision=431500 #constraints=11237 140.95/141.17 c nbDecision=432000 #constraints=11256 141.45/141.61 c nbDecision=432500 #constraints=11271 141.55/141.76 c nbDecision=433000 #constraints=11278 141.76/141.96 c nbDecision=433500 #constraints=11287 141.96/142.12 c nbDecision=434000 #constraints=11294 142.06/142.28 c nbDecision=434500 #constraints=11302 142.15/142.40 c nbDecision=435000 #constraints=11307 142.35/142.57 c nbDecision=435500 #constraints=11315 142.55/142.74 c nbDecision=436000 #constraints=11323 142.65/142.83 c nbDecision=436500 #constraints=11327 142.86/143.02 c nbDecision=437000 #constraints=11336 142.96/143.11 c nbDecision=437500 #constraints=11341 143.05/143.22 c nbDecision=438000 #constraints=11348 143.15/143.31 c nbDecision=438500 #constraints=11356 143.25/143.40 c nbDecision=439000 #constraints=11361 143.85/144.10 c nbDecision=439500 #constraints=11382 144.15/144.35 c nbDecision=440000 #constraints=11389 144.45/144.66 c nbDecision=440500 #constraints=11401 144.65/144.88 c nbDecision=441000 #constraints=11409 144.95/145.20 c nbDecision=441500 #constraints=11423 145.35/145.56 c nbDecision=442000 #constraints=11437 145.75/145.90 c nbDecision=442500 #constraints=11448 145.95/146.11 c nbDecision=443000 #constraints=11458 146.35/146.51 c nbDecision=443500 #constraints=11470 146.45/146.66 c nbDecision=444000 #constraints=11476 146.55/146.77 c nbDecision=444500 #constraints=11480 146.75/146.99 c nbDecision=445000 #constraints=11489 147.05/147.22 c nbDecision=445500 #constraints=11499 147.36/147.54 c nbDecision=446000 #constraints=11513 147.45/147.65 c nbDecision=446500 #constraints=11517 147.75/147.98 c nbDecision=447000 #constraints=11530 147.95/148.18 c nbDecision=447500 #constraints=11541 148.15/148.36 c nbDecision=448000 #constraints=11550 148.46/148.62 c nbDecision=448500 #constraints=11560 148.55/148.80 c nbDecision=449000 #constraints=11566 148.75/148.99 c nbDecision=449500 #constraints=11574 148.95/149.19 c nbDecision=450000 #constraints=11582 149.25/149.43 c nbDecision=450500 #constraints=11593 149.46/149.60 c nbDecision=451000 #constraints=11601 149.75/149.97 c nbDecision=451500 #constraints=11617 150.15/150.30 c nbDecision=452000 #constraints=11629 150.55/150.71 c nbDecision=452500 #constraints=11644 150.75/150.99 c nbDecision=453000 #constraints=11652 151.05/151.25 c nbDecision=453500 #constraints=11662 151.45/151.61 c nbDecision=454000 #constraints=11675 152.05/152.21 c nbDecision=454500 #constraints=11692 152.26/152.40 c nbDecision=455000 #constraints=11700 152.46/152.60 c nbDecision=455500 #constraints=11711 152.66/152.81 c nbDecision=456000 #constraints=11719 152.86/153.05 c nbDecision=456500 #constraints=11731 153.16/153.32 c nbDecision=457000 #constraints=11742 153.46/153.60 c nbDecision=457500 #constraints=11757 153.76/153.90 c nbDecision=458000 #constraints=11771 153.96/154.12 c nbDecision=458500 #constraints=11782 154.16/154.38 c nbDecision=459000 #constraints=11793 154.46/154.67 c nbDecision=459500 #constraints=11804 154.86/155.03 c nbDecision=460000 #constraints=11818 155.15/155.37 c nbDecision=460500 #constraints=11830 155.35/155.58 c nbDecision=461000 #constraints=11836 155.75/155.94 c nbDecision=461500 #constraints=11848 155.95/156.17 c nbDecision=462000 #constraints=11858 156.25/156.48 c nbDecision=462500 #constraints=11871 156.65/156.81 c nbDecision=463000 #constraints=11884 156.85/157.02 c nbDecision=463500 #constraints=11893 157.05/157.30 c nbDecision=464000 #constraints=11907 157.44/157.62 c nbDecision=464500 #constraints=11924 157.64/157.87 c nbDecision=465000 #constraints=11935 157.94/158.12 c nbDecision=465500 #constraints=11946 158.24/158.42 c nbDecision=466000 #constraints=11955 158.34/158.59 c nbDecision=466500 #constraints=11962 158.54/158.74 c nbDecision=467000 #constraints=11970 159.14/159.35 c nbDecision=467500 #constraints=11985 159.34/159.52 c nbDecision=468000 #constraints=11991 159.64/159.83 c nbDecision=468500 #constraints=12006 159.74/159.97 c nbDecision=469000 #constraints=12015 160.04/160.24 c nbDecision=469500 #constraints=12028 160.24/160.48 c nbDecision=470000 #constraints=12041 160.54/160.78 c nbDecision=470500 #constraints=12055 160.84/161.08 c nbDecision=471000 #constraints=12069 161.34/161.56 c nbDecision=471500 #constraints=12093 161.54/161.73 c nbDecision=472000 #constraints=12101 161.84/162.05 c nbDecision=472500 #constraints=12119 162.24/162.42 c nbDecision=473000 #constraints=12135 162.34/162.58 c nbDecision=473500 #constraints=12143 162.64/162.88 c nbDecision=474000 #constraints=12158 162.83/163.08 c nbDecision=474500 #constraints=12167 163.03/163.23 c nbDecision=475000 #constraints=12175 163.33/163.55 c nbDecision=475500 #constraints=12193 163.53/163.78 c nbDecision=476000 #constraints=12206 163.74/163.98 c nbDecision=476500 #constraints=12216 164.13/164.31 c nbDecision=477000 #constraints=12231 164.43/164.63 c nbDecision=477500 #constraints=12246 164.73/164.99 c nbDecision=478000 #constraints=12260 165.13/165.33 c nbDecision=478500 #constraints=12274 165.53/165.74 c nbDecision=479000 #constraints=12291 165.63/165.87 c nbDecision=479500 #constraints=12299 165.73/165.96 c nbDecision=480000 #constraints=12305 166.04/166.21 c nbDecision=480500 #constraints=12318 166.13/166.38 c nbDecision=481000 #constraints=12327 166.33/166.54 c nbDecision=481500 #constraints=12337 166.53/166.70 c nbDecision=482000 #constraints=12348 166.63/166.83 c nbDecision=482500 #constraints=12356 166.84/167.09 c nbDecision=483000 #constraints=12369 167.14/167.38 c nbDecision=483500 #constraints=12382 167.34/167.51 c nbDecision=484000 #constraints=12389 167.44/167.63 c nbDecision=484500 #constraints=12395 167.84/168.07 c nbDecision=485000 #constraints=12412 168.04/168.24 c nbDecision=485500 #constraints=12421 168.14/168.36 c nbDecision=486000 #constraints=12427 168.34/168.57 c nbDecision=486500 #constraints=12436 168.54/168.71 c nbDecision=487000 #constraints=12444 168.64/168.82 c nbDecision=487500 #constraints=12450 168.84/169.00 c nbDecision=488000 #constraints=12458 168.94/169.15 c nbDecision=488500 #constraints=12467 169.04/169.25 c nbDecision=489000 #constraints=12472 169.24/169.45 c nbDecision=489500 #constraints=12480 169.44/169.62 c nbDecision=490000 #constraints=12489 169.54/169.79 c nbDecision=490500 #constraints=12500 169.74/169.94 c nbDecision=491000 #constraints=12510 170.24/170.45 c nbDecision=491500 #constraints=12527 170.64/170.81 c nbDecision=492000 #constraints=12542 170.94/171.15 c nbDecision=492500 #constraints=12554 171.23/171.49 c nbDecision=493000 #constraints=12566 171.73/171.93 c nbDecision=493500 #constraints=12582 172.43/172.61 c nbDecision=494000 #constraints=12607 173.43/173.67 c nbDecision=494500 #constraints=12637 174.13/174.32 c nbDecision=495000 #constraints=12656 174.53/174.71 c nbDecision=495500 #constraints=12666 174.74/174.90 c nbDecision=496000 #constraints=12679 174.84/175.09 c nbDecision=496500 #constraints=12689 175.13/175.34 c nbDecision=497000 #constraints=12703 175.33/175.55 c nbDecision=497500 #constraints=12711 175.53/175.73 c nbDecision=498000 #constraints=12720 175.84/176.01 c nbDecision=498500 #constraints=12734 176.03/176.23 c nbDecision=499000 #constraints=12742 176.33/176.53 c nbDecision=499500 #constraints=12754 176.53/176.75 c nbDecision=500000 #constraints=12763 176.73/176.96 c nbDecision=500500 #constraints=12771 177.13/177.30 c nbDecision=501000 #constraints=12784 177.33/177.55 c nbDecision=501500 #constraints=12794 177.83/178.02 c nbDecision=502000 #constraints=12810 178.63/178.84 c nbDecision=502500 #constraints=12830 179.03/179.27 c nbDecision=503000 #constraints=12841 179.33/179.52 c nbDecision=503500 #constraints=12849 179.63/179.85 c nbDecision=504000 #constraints=12859 179.83/180.07 c nbDecision=504500 #constraints=12870 180.13/180.32 c nbDecision=505000 #constraints=12881 180.33/180.55 c nbDecision=505500 #constraints=12896 180.63/180.83 c nbDecision=506000 #constraints=12908 180.83/181.03 c nbDecision=506500 #constraints=12915 181.13/181.32 c nbDecision=507000 #constraints=12928 181.33/181.52 c nbDecision=507500 #constraints=12938 181.53/181.78 c nbDecision=508000 #constraints=12950 181.73/181.97 c nbDecision=508500 #constraints=12958 182.13/182.30 c nbDecision=509000 #constraints=12974 182.33/182.53 c nbDecision=509500 #constraints=12984 182.53/182.73 c nbDecision=510000 #constraints=12994 182.72/182.99 c nbDecision=510500 #constraints=13005 183.02/183.21 c nbDecision=511000 #constraints=13014 183.22/183.44 c nbDecision=511500 #constraints=13023 183.42/183.67 c nbDecision=512000 #constraints=13032 183.63/183.89 c nbDecision=512500 #constraints=13043 183.92/184.11 c nbDecision=513000 #constraints=13054 184.12/184.39 c nbDecision=513500 #constraints=13066 184.42/184.64 c nbDecision=514000 #constraints=13075 184.63/184.86 c nbDecision=514500 #constraints=13086 185.02/185.29 c nbDecision=515000 #constraints=13100 185.22/185.41 c nbDecision=515500 #constraints=13105 185.32/185.59 c nbDecision=516000 #constraints=13111 185.52/185.77 c nbDecision=516500 #constraints=13118 185.82/186.07 c nbDecision=517000 #constraints=13128 186.02/186.23 c nbDecision=517500 #constraints=13134 186.22/186.46 c nbDecision=518000 #constraints=13141 186.52/186.79 c nbDecision=518500 #constraints=13148 187.12/187.38 c nbDecision=519000 #constraints=13166 187.52/187.74 c nbDecision=519500 #constraints=13177 187.82/188.07 c nbDecision=520000 #constraints=13189 188.12/188.37 c nbDecision=520500 #constraints=13198 188.42/188.66 c nbDecision=521000 #constraints=13210 188.82/189.00 c nbDecision=521500 #constraints=13225 189.22/189.44 c nbDecision=522000 #constraints=13239 189.52/189.76 c nbDecision=522500 #constraints=13254 189.82/190.06 c nbDecision=523000 #constraints=13266 190.02/190.25 c nbDecision=523500 #constraints=13274 190.32/190.52 c nbDecision=524000 #constraints=13286 190.62/190.87 c nbDecision=524500 #constraints=13299 190.92/191.18 c nbDecision=525000 #constraints=13313 191.12/191.40 c nbDecision=525500 #constraints=13324 191.52/191.79 c nbDecision=526000 #constraints=13337 191.92/192.18 c nbDecision=526500 #constraints=13349 192.42/192.64 c nbDecision=527000 #constraints=13362 192.62/192.86 c nbDecision=527500 #constraints=13370 193.22/193.42 c nbDecision=528000 #constraints=13387 193.42/193.68 c nbDecision=528500 #constraints=13397 193.62/193.83 c nbDecision=529000 #constraints=13404 193.82/194.00 c nbDecision=529500 #constraints=13410 194.02/194.26 c nbDecision=530000 #constraints=13421 194.52/194.75 c nbDecision=530500 #constraints=13437 194.82/195.08 c nbDecision=531000 #constraints=13448 195.31/195.50 c nbDecision=531500 #constraints=13465 195.62/195.88 c nbDecision=532000 #constraints=13478 195.91/196.20 c nbDecision=532500 #constraints=13489 196.51/196.75 c nbDecision=533000 #constraints=13505 197.01/197.21 c nbDecision=533500 #constraints=13517 197.51/197.74 c nbDecision=534000 #constraints=13535 197.91/198.16 c nbDecision=534500 #constraints=13547 198.11/198.38 c nbDecision=535000 #constraints=13555 198.61/198.83 c nbDecision=535500 #constraints=13569 199.11/199.34 c nbDecision=536000 #constraints=13583 199.61/199.83 c nbDecision=536500 #constraints=13599 200.11/200.33 c nbDecision=537000 #constraints=13615 200.50/200.71 c nbDecision=537500 #constraints=13630 201.01/201.28 c nbDecision=538000 #constraints=13649 201.71/201.91 c nbDecision=538500 #constraints=13666 202.41/202.64 c nbDecision=539000 #constraints=13685 203.11/203.40 c nbDecision=539500 #constraints=13704 204.00/204.22 c nbDecision=540000 #constraints=13725 204.80/205.03 c nbDecision=540500 #constraints=13746 205.40/205.66 c nbDecision=541000 #constraints=13762 206.40/206.63 c nbDecision=541500 #constraints=13787 207.20/207.45 c nbDecision=542000 #constraints=13808 208.10/208.39 c nbDecision=542500 #constraints=13834 208.90/209.17 c nbDecision=543000 #constraints=13855 209.29/209.51 c nbDecision=543500 #constraints=13865 209.79/210.10 c nbDecision=544000 #constraints=13885 210.39/210.64 c nbDecision=544500 #constraints=13899 210.89/211.13 c nbDecision=545000 #constraints=13913 211.19/211.45 c nbDecision=545500 #constraints=13920 211.79/212.01 c nbDecision=546000 #constraints=13939 212.39/212.61 c nbDecision=546500 #constraints=13955 212.79/213.07 c nbDecision=547000 #constraints=13968 213.49/213.71 c nbDecision=547500 #constraints=13987 213.99/214.25 c nbDecision=548000 #constraints=14005 214.79/215.02 c nbDecision=548500 #constraints=14026 215.39/215.63 c nbDecision=549000 #constraints=14043 215.90/216.13 c nbDecision=549500 #constraints=14060 216.60/216.86 c nbDecision=550000 #constraints=14082 217.30/217.52 c nbDecision=550500 #constraints=14100 218.20/218.45 c nbDecision=551000 #constraints=14125 219.00/219.25 c nbDecision=551500 #constraints=14148 219.70/219.95 c nbDecision=552000 #constraints=14174 220.30/220.59 c nbDecision=552500 #constraints=14193 220.70/220.95 c nbDecision=553000 #constraints=14206 221.30/221.58 c nbDecision=553500 #constraints=14222 221.80/222.04 c nbDecision=554000 #constraints=14234 222.30/222.55 c nbDecision=554500 #constraints=14246 222.90/223.10 c nbDecision=555000 #constraints=14259 223.40/223.66 c nbDecision=555500 #constraints=14272 223.90/224.10 c nbDecision=556000 #constraints=14282 224.40/224.63 c nbDecision=556500 #constraints=14295 225.30/225.55 c nbDecision=557000 #constraints=14318 226.10/226.39 c nbDecision=557500 #constraints=14339 226.79/227.03 c nbDecision=558000 #constraints=14355 227.39/227.64 c nbDecision=558500 #constraints=14370 228.20/228.47 c nbDecision=559000 #constraints=14390 229.19/229.49 c nbDecision=559500 #constraints=14415 230.09/230.36 c nbDecision=560000 #constraints=14438 230.80/231.05 c nbDecision=560500 #constraints=14455 231.49/231.76 c nbDecision=561000 #constraints=14475 232.19/232.44 c nbDecision=561500 #constraints=14493 232.69/232.97 c nbDecision=562000 #constraints=14508 233.29/233.59 c nbDecision=562500 #constraints=14525 234.20/234.42 c nbDecision=563000 #constraints=14547 234.89/235.12 c nbDecision=563500 #constraints=14566 235.69/235.94 c nbDecision=564000 #constraints=14592 236.19/236.45 c nbDecision=564500 #constraints=14605 236.69/236.96 c nbDecision=565000 #constraints=14624 237.19/237.47 c nbDecision=565500 #constraints=14638 237.99/238.25 c nbDecision=566000 #constraints=14659 238.59/238.87 c nbDecision=566500 #constraints=14677 239.38/239.64 c nbDecision=567000 #constraints=14697 240.08/240.36 c nbDecision=567500 #constraints=14721 240.98/241.23 c nbDecision=568000 #constraints=14744 241.68/241.90 c nbDecision=568500 #constraints=14765 242.38/242.64 c nbDecision=569000 #constraints=14786 243.38/243.63 c nbDecision=569500 #constraints=14813 244.58/244.82 c nbDecision=570000 #constraints=14841 245.67/245.95 c nbDecision=570500 #constraints=14871 247.57/247.83 c nbDecision=571000 #constraints=14911 248.37/248.68 c nbDecision=571500 #constraints=14931 248.77/249.08 c nbDecision=572000 #constraints=14942 249.57/249.89 c nbDecision=572500 #constraints=14965 250.06/250.33 c nbDecision=573000 #constraints=14977 250.36/250.60 c nbDecision=573500 #constraints=14984 250.56/250.87 c nbDecision=574000 #constraints=14993 250.86/251.19 c nbDecision=574500 #constraints=15003 251.26/251.54 c nbDecision=575000 #constraints=15013 251.66/251.98 c nbDecision=575500 #constraints=15028 252.16/252.43 c nbDecision=576000 #constraints=15041 252.46/252.75 c nbDecision=576500 #constraints=15049 252.86/253.12 c nbDecision=577000 #constraints=15060 253.26/253.59 c nbDecision=577500 #constraints=15074 253.76/254.04 c nbDecision=578000 #constraints=15089 254.06/254.39 c nbDecision=578500 #constraints=15100 254.66/254.90 c nbDecision=579000 #constraints=15116 254.96/255.26 c nbDecision=579500 #constraints=15125 255.27/255.51 c nbDecision=580000 #constraints=15136 255.76/256.00 c nbDecision=580500 #constraints=15151 256.36/256.64 c nbDecision=581000 #constraints=15174 256.86/257.17 c nbDecision=581500 #constraints=15190 257.46/257.73 c nbDecision=582000 #constraints=15208 257.96/258.22 c nbDecision=582500 #constraints=15223 258.46/258.73 c nbDecision=583000 #constraints=15238 259.16/259.40 c nbDecision=583500 #constraints=15261 259.66/259.93 c nbDecision=584000 #constraints=15275 260.36/260.61 c nbDecision=584500 #constraints=15298 260.96/261.28 c nbDecision=585000 #constraints=15326 261.66/261.98 c nbDecision=585500 #constraints=15353 262.56/262.82 c nbDecision=586000 #constraints=15379 263.26/263.59 c nbDecision=586500 #constraints=15404 264.16/264.46 c nbDecision=587000 #constraints=15428 266.06/266.39 c nbDecision=587500 #constraints=15465 266.75/267.10 c nbDecision=588000 #constraints=15487 267.55/267.88 c nbDecision=588500 #constraints=15509 268.45/268.77 c nbDecision=589000 #constraints=15535 269.05/269.33 c nbDecision=589500 #constraints=15557 269.85/270.14 c nbDecision=590000 #constraints=15580 270.65/270.96 c nbDecision=590500 #constraints=15601 271.45/271.78 c nbDecision=591000 #constraints=15620 272.95/273.23 c nbDecision=591500 #constraints=15645 273.35/273.63 c nbDecision=592000 #constraints=15659 273.85/274.14 c nbDecision=592500 #constraints=15676 274.15/274.45 c nbDecision=593000 #constraints=15687 274.65/274.92 c nbDecision=593500 #constraints=15705 274.95/275.25 c nbDecision=594000 #constraints=15714 275.15/275.43 c nbDecision=594500 #constraints=15720 275.35/275.66 c nbDecision=595000 #constraints=15729 275.75/276.06 c nbDecision=595500 #constraints=15744 276.15/276.45 c nbDecision=596000 #constraints=15758 276.55/276.83 c nbDecision=596500 #constraints=15770 276.96/277.22 c nbDecision=597000 #constraints=15783 277.35/277.66 c nbDecision=597500 #constraints=15796 277.65/277.95 c nbDecision=598000 #constraints=15805 277.95/278.22 c nbDecision=598500 #constraints=15812 278.16/278.48 c nbDecision=599000 #constraints=15821 278.45/278.76 c nbDecision=599500 #constraints=15828 278.85/279.10 c nbDecision=600000 #constraints=15838 279.16/279.48 c nbDecision=600500 #constraints=15848 279.55/279.86 c nbDecision=601000 #constraints=15859 279.75/280.06 c nbDecision=601500 #constraints=15864 279.95/280.28 c nbDecision=602000 #constraints=15871 280.36/280.62 c nbDecision=602500 #constraints=15882 280.85/281.10 c nbDecision=603000 #constraints=15896 281.25/281.56 c nbDecision=603500 #constraints=15909 281.75/282.06 c nbDecision=604000 #constraints=15925 282.05/282.33 c nbDecision=604500 #constraints=15932 282.25/282.52 c nbDecision=605000 #constraints=15938 282.75/283.01 c nbDecision=605500 #constraints=15956 283.05/283.34 c nbDecision=606000 #constraints=15966 283.45/283.79 c nbDecision=606500 #constraints=15983 283.85/284.18 c nbDecision=607000 #constraints=15998 284.05/284.39 c nbDecision=607500 #constraints=16008 284.45/284.74 c nbDecision=608000 #constraints=16020 284.95/285.23 c nbDecision=608500 #constraints=16035 285.45/285.71 c nbDecision=609000 #constraints=16047 285.75/286.02 c nbDecision=609500 #constraints=16056 285.95/286.22 c nbDecision=610000 #constraints=16065 286.05/286.40 c nbDecision=610500 #constraints=16072 286.35/286.69 c nbDecision=611000 #constraints=16080 286.65/286.90 c nbDecision=611500 #constraints=16087 286.95/287.22 c nbDecision=612000 #constraints=16096 287.14/287.44 c nbDecision=612500 #constraints=16104 287.34/287.66 c nbDecision=613000 #constraints=16111 287.64/287.97 c nbDecision=613500 #constraints=16118 287.84/288.15 c nbDecision=614000 #constraints=16124 288.14/288.42 c nbDecision=614500 #constraints=16132 288.44/288.78 c nbDecision=615000 #constraints=16145 288.64/288.94 c nbDecision=615500 #constraints=16153 288.84/289.11 c nbDecision=616000 #constraints=16161 289.24/289.55 c nbDecision=616500 #constraints=16178 289.84/290.19 c nbDecision=617000 #constraints=16199 290.14/290.44 c nbDecision=617500 #constraints=16207 290.34/290.66 c nbDecision=618000 #constraints=16214 290.54/290.87 c nbDecision=618500 #constraints=16219 291.24/291.52 c nbDecision=619000 #constraints=16236 292.03/292.35 c nbDecision=619500 #constraints=16257 292.83/293.12 c nbDecision=620000 #constraints=16277 293.83/294.11 c nbDecision=620500 #constraints=16310 294.54/294.86 c nbDecision=621000 #constraints=16333 296.13/296.47 c nbDecision=621500 #constraints=16369 297.13/297.46 c nbDecision=622000 #constraints=16399 297.83/298.18 c nbDecision=622500 #constraints=16419 298.43/298.72 c nbDecision=623000 #constraints=16437 299.03/299.33 c nbDecision=623500 #constraints=16457 299.63/299.94 c nbDecision=624000 #constraints=16476 300.53/300.81 c nbDecision=624500 #constraints=16500 301.33/301.65 c nbDecision=625000 #constraints=16525 302.03/302.33 c nbDecision=625500 #constraints=16547 302.82/303.16 c nbDecision=626000 #constraints=16577 303.72/304.06 c nbDecision=626500 #constraints=16603 304.53/304.84 c nbDecision=627000 #constraints=16625 305.42/305.76 c nbDecision=627500 #constraints=16649 306.63/306.92 c nbDecision=628000 #constraints=16677 307.42/307.78 c nbDecision=628500 #constraints=16697 308.22/308.59 c nbDecision=629000 #constraints=16717 308.93/309.27 c nbDecision=629500 #constraints=16735 310.12/310.45 c nbDecision=630000 #constraints=16760 311.02/311.36 c nbDecision=630500 #constraints=16783 312.02/312.37 c nbDecision=631000 #constraints=16813 313.02/313.36 c nbDecision=631500 #constraints=16842 314.12/314.43 c nbDecision=632000 #constraints=16863 315.42/315.71 c nbDecision=632500 #constraints=16896 316.12/316.41 c nbDecision=633000 #constraints=16920 317.11/317.42 c nbDecision=633500 #constraints=16953 318.01/318.32 c nbDecision=634000 #constraints=16990 319.21/319.59 c nbDecision=634500 #constraints=17028 320.01/320.36 c nbDecision=635000 #constraints=17052 321.02/321.35 c nbDecision=635500 #constraints=17085 321.61/321.95 c nbDecision=636000 #constraints=17101 322.52/322.83 c nbDecision=636500 #constraints=17127 322.92/323.24 c nbDecision=637000 #constraints=17142 323.22/323.54 c nbDecision=637500 #constraints=17152 323.92/324.27 c nbDecision=638000 #constraints=17175 324.72/325.08 c nbDecision=638500 #constraints=17199 326.12/326.47 c nbDecision=639000 #constraints=17235 327.22/327.54 c nbDecision=639500 #constraints=17264 328.32/328.62 c nbDecision=640000 #constraints=17298 328.92/329.26 c nbDecision=640500 #constraints=17318 329.51/329.87 c nbDecision=641000 #constraints=17339 330.31/330.66 c nbDecision=641500 #constraints=17364 331.61/331.97 c nbDecision=642000 #constraints=17397 333.02/333.32 c nbDecision=642500 #constraints=17425 334.81/335.11 c nbDecision=643000 #constraints=17459 336.41/336.79 c nbDecision=643500 #constraints=17496 337.20/337.53 c nbDecision=644000 #constraints=17515 338.20/338.53 c nbDecision=644500 #constraints=17541 339.10/339.49 c nbDecision=645000 #constraints=17565 340.20/340.56 c nbDecision=645500 #constraints=17591 340.90/341.24 c nbDecision=646000 #constraints=17609 341.60/341.95 c nbDecision=646500 #constraints=17629 342.30/342.69 c nbDecision=647000 #constraints=17650 343.30/343.70 c nbDecision=647500 #constraints=17673 344.10/344.50 c nbDecision=648000 #constraints=17693 345.10/345.44 c nbDecision=648500 #constraints=17716 346.89/347.25 c nbDecision=649000 #constraints=17753 348.19/348.54 c nbDecision=649500 #constraints=17779 349.50/349.85 c nbDecision=650000 #constraints=17806 350.70/351.09 c nbDecision=650500 #constraints=17831 351.99/352.36 c nbDecision=651000 #constraints=17860 353.19/353.50 c nbDecision=651500 #constraints=17887 353.89/354.24 c nbDecision=652000 #constraints=17904 354.79/355.10 c nbDecision=652500 #constraints=17928 355.59/355.99 c nbDecision=653000 #constraints=17951 356.69/357.04 c nbDecision=653500 #constraints=17974 357.79/358.11 c nbDecision=654000 #constraints=17997 359.09/359.49 c nbDecision=654500 #constraints=18026 360.09/360.46 c nbDecision=655000 #constraints=18049 361.48/361.86 c nbDecision=655500 #constraints=18078 362.28/362.67 c nbDecision=656000 #constraints=18099 363.28/363.62 c nbDecision=656500 #constraints=18122 363.98/364.35 c nbDecision=657000 #constraints=18142 364.89/365.21 c nbDecision=657500 #constraints=18168 365.88/366.29 c nbDecision=658000 #constraints=18195 367.18/367.54 c nbDecision=658500 #constraints=18224 368.08/368.41 c nbDecision=659000 #constraints=18245 368.78/369.16 c nbDecision=659500 #constraints=18265 370.08/370.42 c nbDecision=660000 #constraints=18294 370.98/371.37 c nbDecision=660500 #constraints=18320 371.98/372.37 c nbDecision=661000 #constraints=18345 373.38/373.71 c nbDecision=661500 #constraints=18378 375.39/375.73 c nbDecision=662000 #constraints=18423 377.09/377.43 c nbDecision=662500 #constraints=18458 379.58/379.90 c nbDecision=663000 #constraints=18505 382.67/383.06 c nbDecision=663500 #constraints=18552 383.97/384.33 c nbDecision=664000 #constraints=18575 384.97/385.32 c nbDecision=664500 #constraints=18595 385.88/386.28 c nbDecision=665000 #constraints=18616 386.88/387.30 c nbDecision=665500 #constraints=18639 387.77/388.13 c nbDecision=666000 #constraints=18658 388.36/388.77 c nbDecision=666500 #constraints=18675 388.86/389.22 c nbDecision=667000 #constraints=18685 389.56/389.90 c nbDecision=667500 #constraints=18703 390.56/390.92 c nbDecision=668000 #constraints=18730 391.56/392.00 c nbDecision=668500 #constraints=18753 392.66/393.06 c nbDecision=669000 #constraints=18775 393.76/394.17 c nbDecision=669500 #constraints=18796 395.06/395.40 c nbDecision=670000 #constraints=18817 395.86/396.24 c nbDecision=670500 #constraints=18840 396.96/397.39 c nbDecision=671000 #constraints=18872 397.86/398.30 c nbDecision=671500 #constraints=18900 398.16/398.51 c nbDecision=672000 #constraints=18913 398.86/399.23 c nbDecision=672500 #constraints=18932 399.56/399.97 c nbDecision=673000 #constraints=18953 400.56/400.94 c nbDecision=673500 #constraints=18979 400.76/401.12 c nbDecision=674000 #constraints=18989 401.06/401.40 c nbDecision=674500 #constraints=19001 401.75/402.13 c nbDecision=675000 #constraints=19024 402.85/403.26 c nbDecision=675500 #constraints=19053 403.65/404.04 c nbDecision=676000 #constraints=19075 404.65/405.07 c nbDecision=676500 #constraints=19101 405.75/406.18 c nbDecision=677000 #constraints=19123 406.66/407.08 c nbDecision=677500 #constraints=19143 407.45/407.83 c nbDecision=678000 #constraints=19158 408.15/408.56 c nbDecision=678500 #constraints=19175 408.75/409.17 c nbDecision=679000 #constraints=19192 409.65/410.03 c nbDecision=679500 #constraints=19213 410.65/411.09 c nbDecision=680000 #constraints=19233 412.05/412.44 c nbDecision=680500 #constraints=19258 412.75/413.20 c nbDecision=681000 #constraints=19273 413.05/413.45 c nbDecision=681500 #constraints=19284 413.75/414.10 c nbDecision=682000 #constraints=19299 414.65/415.01 c nbDecision=682500 #constraints=19324 415.45/415.89 c nbDecision=683000 #constraints=19344 416.25/416.69 c nbDecision=683500 #constraints=19360 417.35/417.71 c nbDecision=684000 #constraints=19388 418.14/418.50 c nbDecision=684500 #constraints=19401 418.94/419.33 c nbDecision=685000 #constraints=19424 419.64/420.05 c nbDecision=685500 #constraints=19442 420.35/420.73 c nbDecision=686000 #constraints=19460 421.06/421.46 c nbDecision=686500 #constraints=19483 421.95/422.34 c nbDecision=687000 #constraints=19509 422.85/423.25 c nbDecision=687500 #constraints=19535 423.05/423.40 c nbDecision=688000 #constraints=19542 423.15/423.54 c nbDecision=688500 #constraints=19550 424.05/424.44 c nbDecision=689000 #constraints=19573 425.14/425.58 c nbDecision=689500 #constraints=19597 425.74/426.14 c nbDecision=690000 #constraints=19614 426.45/426.85 c nbDecision=690500 #constraints=19634 427.74/428.14 c nbDecision=691000 #constraints=19663 428.54/428.96 c nbDecision=691500 #constraints=19685 429.74/430.17 c nbDecision=692000 #constraints=19712 431.14/431.51 c nbDecision=692500 #constraints=19741 431.94/432.35 c nbDecision=693000 #constraints=19762 432.84/433.20 c nbDecision=693500 #constraints=19782 434.14/434.51 c nbDecision=694000 #constraints=19812 435.24/435.68 c nbDecision=694500 #constraints=19837 436.13/436.58 c nbDecision=695000 #constraints=19855 437.43/437.83 c nbDecision=695500 #constraints=19880 439.23/439.60 c nbDecision=696000 #constraints=19912 440.03/440.42 c nbDecision=696500 #constraints=19923 441.03/441.40 c nbDecision=697000 #constraints=19940 442.03/442.47 c nbDecision=697500 #constraints=19957 442.63/443.09 c nbDecision=698000 #constraints=19971 443.42/443.82 c nbDecision=698500 #constraints=19986 444.52/444.97 c nbDecision=699000 #constraints=20008 445.52/445.99 c nbDecision=699500 #constraints=20026 446.92/447.34 c nbDecision=700000 #constraints=20047 449.22/449.64 c nbDecision=700500 #constraints=20084 449.82/450.24 c nbDecision=701000 #constraints=20097 450.42/450.82 c nbDecision=701500 #constraints=20112 451.02/451.41 c nbDecision=702000 #constraints=20126 451.62/452.06 c nbDecision=702500 #constraints=20142 452.42/452.80 c nbDecision=703000 #constraints=20156 453.12/453.51 c nbDecision=703500 #constraints=20173 453.62/454.09 c nbDecision=704000 #constraints=20188 454.32/454.76 c nbDecision=704500 #constraints=20200 455.12/455.54 c nbDecision=705000 #constraints=20213 455.62/456.08 c nbDecision=705500 #constraints=20221 455.91/456.32 c nbDecision=706000 #constraints=20229 456.12/456.57 c nbDecision=706500 #constraints=20236 456.52/456.92 c nbDecision=707000 #constraints=20245 456.72/457.17 c nbDecision=707500 #constraints=20252 457.01/457.49 c nbDecision=708000 #constraints=20260 457.42/457.85 c nbDecision=708500 #constraints=20266 457.72/458.15 c nbDecision=709000 #constraints=20276 458.02/458.49 c nbDecision=709500 #constraints=20288 458.33/458.79 c nbDecision=710000 #constraints=20299 458.72/459.10 c nbDecision=710500 #constraints=20310 458.92/459.34 c nbDecision=711000 #constraints=20318 459.22/459.67 c nbDecision=711500 #constraints=20330 459.62/460.05 c nbDecision=712000 #constraints=20344 459.92/460.37 c nbDecision=712500 #constraints=20355 460.32/460.71 c nbDecision=713000 #constraints=20367 460.63/461.03 c nbDecision=713500 #constraints=20378 460.92/461.39 c nbDecision=714000 #constraints=20391 461.32/461.71 c nbDecision=714500 #constraints=20402 461.63/462.06 c nbDecision=715000 #constraints=20415 462.12/462.53 c nbDecision=715500 #constraints=20432 462.52/462.90 c nbDecision=716000 #constraints=20446 462.82/463.26 c nbDecision=716500 #constraints=20460 463.22/463.62 c nbDecision=717000 #constraints=20472 463.52/463.98 c nbDecision=717500 #constraints=20486 463.92/464.33 c nbDecision=718000 #constraints=20499 464.22/464.70 c nbDecision=718500 #constraints=20513 464.62/465.07 c nbDecision=719000 #constraints=20527 464.92/465.38 c nbDecision=719500 #constraints=20538 465.52/465.91 c nbDecision=720000 #constraints=20551 465.82/466.20 c nbDecision=720500 #constraints=20558 466.02/466.45 c nbDecision=721000 #constraints=20565 466.32/466.74 c nbDecision=721500 #constraints=20575 466.61/467.03 c nbDecision=722000 #constraints=20585 466.92/467.32 c nbDecision=722500 #constraints=20595 467.22/467.61 c nbDecision=723000 #constraints=20605 467.51/467.90 c nbDecision=723500 #constraints=20613 467.81/468.25 c nbDecision=724000 #constraints=20625 468.11/468.54 c nbDecision=724500 #constraints=20635 468.41/468.88 c nbDecision=725000 #constraints=20641 468.71/469.18 c nbDecision=725500 #constraints=20650 469.01/469.47 c nbDecision=726000 #constraints=20657 469.41/469.82 c nbDecision=726500 #constraints=20665 469.71/470.16 c nbDecision=727000 #constraints=20677 470.01/470.43 c nbDecision=727500 #constraints=20685 470.61/471.02 c nbDecision=728000 #constraints=20694 470.91/471.34 c nbDecision=728500 #constraints=20703 471.11/471.54 c nbDecision=729000 #constraints=20710 471.41/471.80 c nbDecision=729500 #constraints=20719 471.51/471.99 c nbDecision=730000 #constraints=20726 471.91/472.33 c nbDecision=730500 #constraints=20735 472.11/472.56 c nbDecision=731000 #constraints=20742 472.51/472.96 c nbDecision=731500 #constraints=20753 472.81/473.28 c nbDecision=732000 #constraints=20761 473.11/473.56 c nbDecision=732500 #constraints=20768 473.41/473.87 c nbDecision=733000 #constraints=20778 473.81/474.28 c nbDecision=733500 #constraints=20792 474.30/474.70 c nbDecision=734000 #constraints=20803 474.60/475.02 c nbDecision=734500 #constraints=20814 475.00/475.42 c nbDecision=735000 #constraints=20825 475.30/475.79 c nbDecision=735500 #constraints=20835 475.70/476.11 c nbDecision=736000 #constraints=20843 476.01/476.43 c nbDecision=736500 #constraints=20850 476.30/476.73 c nbDecision=737000 #constraints=20860 476.50/477.00 c nbDecision=737500 #constraints=20869 476.90/477.31 c nbDecision=738000 #constraints=20879 477.20/477.60 c nbDecision=738500 #constraints=20888 477.50/477.92 c nbDecision=739000 #constraints=20897 477.90/478.35 c nbDecision=739500 #constraints=20908 478.21/478.66 c nbDecision=740000 #constraints=20916 478.70/479.12 c nbDecision=740500 #constraints=20927 479.00/479.43 c nbDecision=741000 #constraints=20934 479.59/480.07 c nbDecision=741500 #constraints=20950 480.09/480.56 c nbDecision=742000 #constraints=20964 480.49/480.93 c nbDecision=742500 #constraints=20974 480.79/481.27 c nbDecision=743000 #constraints=20985 481.09/481.58 c nbDecision=743500 #constraints=20995 481.50/481.96 c nbDecision=744000 #constraints=21007 481.89/482.31 c nbDecision=744500 #constraints=21018 482.19/482.62 c nbDecision=745000 #constraints=21026 482.49/482.97 c nbDecision=745500 #constraints=21036 482.79/483.29 c nbDecision=746000 #constraints=21045 483.20/483.67 c nbDecision=746500 #constraints=21057 483.70/484.12 c nbDecision=747000 #constraints=21071 484.10/484.56 c nbDecision=747500 #constraints=21085 484.50/484.92 c nbDecision=748000 #constraints=21098 484.90/485.37 c nbDecision=748500 #constraints=21111 485.30/485.76 c nbDecision=749000 #constraints=21123 485.90/486.31 c nbDecision=749500 #constraints=21138 486.20/486.70 c nbDecision=750000 #constraints=21148 486.70/487.16 c nbDecision=750500 #constraints=21160 487.10/487.53 c nbDecision=751000 #constraints=21171 487.39/487.88 c nbDecision=751500 #constraints=21181 487.89/488.32 c nbDecision=752000 #constraints=21195 488.29/488.70 c nbDecision=752500 #constraints=21206 488.59/489.02 c nbDecision=753000 #constraints=21215 488.99/489.49 c nbDecision=753500 #constraints=21227 489.39/489.85 c nbDecision=754000 #constraints=21238 489.69/490.14 c nbDecision=754500 #constraints=21247 490.09/490.57 c nbDecision=755000 #constraints=21260 490.49/490.94 c nbDecision=755500 #constraints=21272 490.69/491.19 c nbDecision=756000 #constraints=21277 491.19/491.62 c nbDecision=756500 #constraints=21289 491.59/492.04 c nbDecision=757000 #constraints=21299 492.09/492.57 c nbDecision=757500 #constraints=21313 492.40/492.87 c nbDecision=758000 #constraints=21322 492.89/493.38 c nbDecision=758500 #constraints=21335 493.29/493.75 c nbDecision=759000 #constraints=21347 493.79/494.20 c nbDecision=759500 #constraints=21362 494.19/494.60 c nbDecision=760000 #constraints=21373 494.49/494.97 c nbDecision=760500 #constraints=21384 495.09/495.50 c nbDecision=761000 #constraints=21400 495.39/495.83 c nbDecision=761500 #constraints=21408 495.69/496.16 c nbDecision=762000 #constraints=21418 496.19/496.64 c nbDecision=762500 #constraints=21434 496.59/497.01 c nbDecision=763000 #constraints=21446 496.99/497.46 c nbDecision=763500 #constraints=21459 497.49/497.96 c nbDecision=764000 #constraints=21474 498.09/498.51 c nbDecision=764500 #constraints=21486 498.39/498.82 c nbDecision=765000 #constraints=21494 498.69/499.13 c nbDecision=765500 #constraints=21504 498.99/499.48 c nbDecision=766000 #constraints=21516 499.29/499.77 c nbDecision=766500 #constraints=21524 499.59/500.07 c nbDecision=767000 #constraints=21534 499.89/500.36 c nbDecision=767500 #constraints=21544 500.19/500.69 c nbDecision=768000 #constraints=21554 500.49/500.96 c nbDecision=768500 #constraints=21562 500.79/501.24 c nbDecision=769000 #constraints=21568 501.39/501.89 c nbDecision=769500 #constraints=21580 501.79/502.23 c nbDecision=770000 #constraints=21585 502.19/502.60 c nbDecision=770500 #constraints=21591 502.39/502.85 c nbDecision=771000 #constraints=21597 502.89/503.31 c nbDecision=771500 #constraints=21608 503.08/503.53 c nbDecision=772000 #constraints=21613 503.68/504.12 c nbDecision=772500 #constraints=21627 503.98/504.48 c nbDecision=773000 #constraints=21635 504.38/504.87 c nbDecision=773500 #constraints=21642 504.88/505.39 c nbDecision=774000 #constraints=21656 505.38/505.88 c nbDecision=774500 #constraints=21667 505.69/506.13 c nbDecision=775000 #constraints=21674 505.88/506.35 c nbDecision=775500 #constraints=21680 506.18/506.62 c nbDecision=776000 #constraints=21686 506.38/506.86 c nbDecision=776500 #constraints=21691 506.79/507.28 c nbDecision=777000 #constraints=21697 507.08/507.58 c nbDecision=777500 #constraints=21705 507.58/508.00 c nbDecision=778000 #constraints=21715 507.79/508.25 c nbDecision=778500 #constraints=21720 508.08/508.51 c nbDecision=779000 #constraints=21727 508.58/509.03 c nbDecision=779500 #constraints=21737 508.78/509.29 c nbDecision=780000 #constraints=21743 509.18/509.66 c nbDecision=780500 #constraints=21751 509.58/510.07 c nbDecision=781000 #constraints=21761 509.78/510.27 c nbDecision=781500 #constraints=21766 510.18/510.61 c nbDecision=782000 #constraints=21772 510.38/510.88 c nbDecision=782500 #constraints=21780 510.68/511.15 c nbDecision=783000 #constraints=21786 510.98/511.43 c nbDecision=783500 #constraints=21794 511.28/511.75 c nbDecision=784000 #constraints=21800 511.68/512.13 c nbDecision=784500 #constraints=21807 511.88/512.38 c nbDecision=785000 #constraints=21812 512.28/512.77 c nbDecision=785500 #constraints=21821 512.58/513.10 c nbDecision=786000 #constraints=21827 512.98/513.44 c nbDecision=786500 #constraints=21835 513.28/513.77 c nbDecision=787000 #constraints=21842 513.88/514.30 c nbDecision=787500 #constraints=21855 514.07/514.57 c nbDecision=788000 #constraints=21860 514.57/515.07 c nbDecision=788500 #constraints=21869 515.07/515.53 c nbDecision=789000 #constraints=21879 515.37/515.86 c nbDecision=789500 #constraints=21885 515.77/516.20 c nbDecision=790000 #constraints=21893 515.97/516.46 c nbDecision=790500 #constraints=21899 516.17/516.68 c nbDecision=791000 #constraints=21904 516.57/517.10 c nbDecision=791500 #constraints=21911 516.97/517.42 c nbDecision=792000 #constraints=21917 517.17/517.69 c nbDecision=792500 #constraints=21921 517.87/518.31 c nbDecision=793000 #constraints=21934 518.27/518.76 c nbDecision=793500 #constraints=21945 518.77/519.20 c nbDecision=794000 #constraints=21956 519.07/519.50 c nbDecision=794500 #constraints=21963 519.47/519.94 c nbDecision=795000 #constraints=21970 519.88/520.35 c nbDecision=795500 #constraints=21977 520.27/520.79 c nbDecision=796000 #constraints=21985 520.67/521.10 c nbDecision=796500 #constraints=21995 520.98/521.41 c nbDecision=797000 #constraints=22005 521.37/521.87 c nbDecision=797500 #constraints=22016 521.67/522.18 c nbDecision=798000 #constraints=22026 522.27/522.70 c nbDecision=798500 #constraints=22037 522.47/522.97 c nbDecision=799000 #constraints=22043 522.77/523.22 c nbDecision=799500 #constraints=22049 523.18/523.69 c nbDecision=800000 #constraints=22060 523.47/523.96 c nbDecision=800500 #constraints=22067 523.77/524.23 c nbDecision=801000 #constraints=22073 524.17/524.68 c nbDecision=801500 #constraints=22082 524.67/525.17 c nbDecision=802000 #constraints=22091 525.17/525.61 c nbDecision=802500 #constraints=22102 525.37/525.89 c nbDecision=803000 #constraints=22108 525.86/526.30 c nbDecision=803500 #constraints=22117 526.16/526.63 c nbDecision=804000 #constraints=22124 526.57/527.04 c nbDecision=804500 #constraints=22130 526.96/527.41 c nbDecision=805000 #constraints=22138 527.36/527.85 c nbDecision=805500 #constraints=22146 527.86/528.39 c nbDecision=806000 #constraints=22156 528.26/528.74 c nbDecision=806500 #constraints=22162 528.56/529.04 c nbDecision=807000 #constraints=22169 528.96/529.40 c nbDecision=807500 #constraints=22177 529.66/530.14 c nbDecision=808000 #constraints=22191 530.16/530.69 c nbDecision=808500 #constraints=22206 530.66/531.17 c nbDecision=809000 #constraints=22218 531.26/531.72 c nbDecision=809500 #constraints=22231 531.66/532.12 c nbDecision=810000 #constraints=22239 532.26/532.77 c nbDecision=810500 #constraints=22254 532.76/533.24 c nbDecision=811000 #constraints=22266 533.26/533.78 c nbDecision=811500 #constraints=22277 533.66/534.16 c nbDecision=812000 #constraints=22285 534.26/534.72 c nbDecision=812500 #constraints=22302 534.75/535.26 c nbDecision=813000 #constraints=22315 535.36/535.81 c nbDecision=813500 #constraints=22331 535.95/536.43 c nbDecision=814000 #constraints=22345 536.55/537.02 c nbDecision=814500 #constraints=22359 536.95/537.40 c nbDecision=815000 #constraints=22366 537.25/537.76 c nbDecision=815500 #constraints=22375 537.75/538.29 c nbDecision=816000 #constraints=22385 538.15/538.63 c nbDecision=816500 #constraints=22393 538.75/539.26 c nbDecision=817000 #constraints=22406 539.25/539.77 c nbDecision=817500 #constraints=22420 539.66/540.10 c nbDecision=818000 #constraints=22426 540.45/540.93 c nbDecision=818500 #constraints=22445 541.15/541.61 c nbDecision=819000 #constraints=22463 541.45/541.94 c restart after 819201 decisions 542.25/542.75 c nbDecision=819500 #constraints=22471 542.35/542.87 c nbDecision=820000 #constraints=22471 542.85/543.33 c nbDecision=820500 #constraints=22471 543.55/544.02 c nbDecision=821000 #constraints=22486 544.05/544.57 c nbDecision=821500 #constraints=22497 544.65/545.11 c nbDecision=822000 #constraints=22510 545.35/545.80 c nbDecision=822500 #constraints=22525 545.85/546.32 c nbDecision=823000 #constraints=22538 546.65/547.12 c nbDecision=823500 #constraints=22554 547.45/547.99 c nbDecision=824000 #constraints=22574 547.95/548.45 c nbDecision=824500 #constraints=22581 548.65/549.16 c nbDecision=825000 #constraints=22597 549.34/549.89 c nbDecision=825500 #constraints=22613 550.04/550.57 c nbDecision=826000 #constraints=22625 550.34/550.82 c nbDecision=826500 #constraints=22634 550.75/551.23 c nbDecision=827000 #constraints=22641 550.94/551.46 c nbDecision=827500 #constraints=22645 551.54/552.09 c nbDecision=828000 #constraints=22660 552.44/552.91 c nbDecision=828500 #constraints=22676 553.64/554.17 c nbDecision=829000 #constraints=22701 554.85/555.36 c nbDecision=829500 #constraints=22724 555.45/555.92 c nbDecision=830000 #constraints=22734 556.25/556.76 c nbDecision=830500 #constraints=22752 557.35/557.87 c nbDecision=831000 #constraints=22773 558.45/558.99 c nbDecision=831500 #constraints=22796 559.35/559.87 c nbDecision=832000 #constraints=22814 560.44/560.91 c nbDecision=832500 #constraints=22836 561.44/562.00 c nbDecision=833000 #constraints=22857 562.44/562.99 c nbDecision=833500 #constraints=22876 563.24/563.71 c nbDecision=834000 #constraints=22890 563.54/564.04 c nbDecision=834500 #constraints=22898 563.95/564.49 c nbDecision=835000 #constraints=22907 564.34/564.83 c nbDecision=835500 #constraints=22915 564.64/565.13 c nbDecision=836000 #constraints=22925 565.05/565.55 c nbDecision=836500 #constraints=22934 565.44/565.93 c nbDecision=837000 #constraints=22944 565.74/566.26 c nbDecision=837500 #constraints=22953 566.14/566.68 c nbDecision=838000 #constraints=22964 566.54/567.05 c nbDecision=838500 #constraints=22973 566.84/567.36 c nbDecision=839000 #constraints=22982 567.14/567.68 c nbDecision=839500 #constraints=22991 568.04/568.51 c nbDecision=840000 #constraints=23007 568.54/569.02 c nbDecision=840500 #constraints=23025 568.74/569.25 c nbDecision=841000 #constraints=23030 569.24/569.79 c nbDecision=841500 #constraints=23045 569.64/570.14 c nbDecision=842000 #constraints=23054 570.24/570.71 c nbDecision=842500 #constraints=23070 570.74/571.29 c nbDecision=843000 #constraints=23087 571.13/571.70 c nbDecision=843500 #constraints=23099 571.73/572.28 c nbDecision=844000 #constraints=23114 572.23/572.76 c nbDecision=844500 #constraints=23127 572.63/573.12 c nbDecision=845000 #constraints=23137 573.23/573.74 c nbDecision=845500 #constraints=23155 573.73/574.21 c nbDecision=846000 #constraints=23170 574.03/574.59 c nbDecision=846500 #constraints=23181 574.73/575.28 c nbDecision=847000 #constraints=23201 575.33/575.85 c nbDecision=847500 #constraints=23213 575.83/576.34 c nbDecision=848000 #constraints=23222 576.33/576.80 c nbDecision=848500 #constraints=23230 576.83/577.38 c nbDecision=849000 #constraints=23251 577.23/577.76 c nbDecision=849500 #constraints=23264 577.53/578.01 c nbDecision=850000 #constraints=23274 577.82/578.36 c nbDecision=850500 #constraints=23285 578.33/578.89 c nbDecision=851000 #constraints=23299 578.82/579.30 c nbDecision=851500 #constraints=23312 579.02/579.54 c nbDecision=852000 #constraints=23317 579.52/580.03 c nbDecision=852500 #constraints=23331 580.02/580.60 c nbDecision=853000 #constraints=23346 580.52/581.07 c nbDecision=853500 #constraints=23359 581.02/581.54 c nbDecision=854000 #constraints=23373 581.62/582.14 c nbDecision=854500 #constraints=23388 582.22/582.79 c nbDecision=855000 #constraints=23403 582.92/583.44 c nbDecision=855500 #constraints=23421 583.32/583.84 c nbDecision=856000 #constraints=23431 583.82/584.38 c nbDecision=856500 #constraints=23443 584.52/585.05 c nbDecision=857000 #constraints=23457 585.12/585.64 c nbDecision=857500 #constraints=23471 585.82/586.32 c nbDecision=858000 #constraints=23484 586.42/586.99 c nbDecision=858500 #constraints=23499 587.12/587.62 c nbDecision=859000 #constraints=23514 587.72/588.26 c nbDecision=859500 #constraints=23529 588.32/588.86 c nbDecision=860000 #constraints=23544 589.12/589.68 c nbDecision=860500 #constraints=23564 589.72/590.26 c nbDecision=861000 #constraints=23582 590.22/590.78 c nbDecision=861500 #constraints=23598 590.82/591.35 c nbDecision=862000 #constraints=23613 591.32/591.87 c nbDecision=862500 #constraints=23628 591.92/592.48 c nbDecision=863000 #constraints=23645 592.82/593.30 c nbDecision=863500 #constraints=23664 593.53/594.01 c nbDecision=864000 #constraints=23680 594.12/594.68 c nbDecision=864500 #constraints=23696 594.82/595.30 c nbDecision=865000 #constraints=23713 595.42/595.99 c nbDecision=865500 #constraints=23731 595.83/596.37 c nbDecision=866000 #constraints=23744 596.42/596.90 c nbDecision=866500 #constraints=23761 597.12/597.62 c nbDecision=867000 #constraints=23777 597.62/598.13 c nbDecision=867500 #constraints=23785 598.22/598.79 c nbDecision=868000 #constraints=23800 599.02/599.56 c nbDecision=868500 #constraints=23818 599.72/600.20 c nbDecision=869000 #constraints=23836 600.32/600.84 c nbDecision=869500 #constraints=23852 601.12/601.61 c nbDecision=870000 #constraints=23871 601.72/602.23 c nbDecision=870500 #constraints=23883 602.22/602.80 c nbDecision=871000 #constraints=23898 602.82/603.36 c nbDecision=871500 #constraints=23912 603.42/603.99 c nbDecision=872000 #constraints=23929 604.41/604.94 c nbDecision=872500 #constraints=23956 605.11/605.64 c nbDecision=873000 #constraints=23978 605.61/606.12 c nbDecision=873500 #constraints=23996 606.21/606.73 c nbDecision=874000 #constraints=24016 606.81/607.31 c nbDecision=874500 #constraints=24030 607.11/607.68 c nbDecision=875000 #constraints=24041 607.71/608.22 c nbDecision=875500 #constraints=24060 608.10/608.67 c nbDecision=876000 #constraints=24075 608.70/609.23 c nbDecision=876500 #constraints=24094 609.30/609.87 c nbDecision=877000 #constraints=24111 610.11/610.64 c nbDecision=877500 #constraints=24125 610.60/611.13 c nbDecision=878000 #constraints=24134 611.11/611.66 c nbDecision=878500 #constraints=24145 611.50/612.01 c nbDecision=879000 #constraints=24155 611.80/612.34 c nbDecision=879500 #constraints=24161 612.10/612.68 c nbDecision=880000 #constraints=24169 612.70/613.24 c nbDecision=880500 #constraints=24181 613.10/613.64 c nbDecision=881000 #constraints=24189 613.41/613.92 c nbDecision=881500 #constraints=24195 613.90/614.49 c nbDecision=882000 #constraints=24206 614.50/615.03 c nbDecision=882500 #constraints=24218 615.10/615.64 c nbDecision=883000 #constraints=24234 615.50/616.07 c nbDecision=883500 #constraints=24247 616.00/616.51 c nbDecision=884000 #constraints=24257 616.30/616.84 c nbDecision=884500 #constraints=24262 617.20/617.75 c nbDecision=885000 #constraints=24281 617.80/618.38 c nbDecision=885500 #constraints=24293 618.69/619.24 c nbDecision=886000 #constraints=24312 619.09/619.67 c nbDecision=886500 #constraints=24322 619.59/620.11 c nbDecision=887000 #constraints=24334 619.79/620.40 c nbDecision=887500 #constraints=24342 620.19/620.76 c nbDecision=888000 #constraints=24352 620.59/621.13 c nbDecision=888500 #constraints=24364 621.19/621.79 c nbDecision=889000 #constraints=24381 621.69/622.27 c nbDecision=889500 #constraints=24395 622.09/622.64 c nbDecision=890000 #constraints=24403 622.69/623.25 c nbDecision=890500 #constraints=24420 623.29/623.88 c nbDecision=891000 #constraints=24437 623.89/624.49 c nbDecision=891500 #constraints=24452 624.39/624.99 c nbDecision=892000 #constraints=24466 625.09/625.64 c nbDecision=892500 #constraints=24481 625.79/626.32 c nbDecision=893000 #constraints=24500 626.19/626.78 c nbDecision=893500 #constraints=24514 627.09/627.60 c nbDecision=894000 #constraints=24531 627.49/628.07 c nbDecision=894500 #constraints=24545 628.09/628.60 c nbDecision=895000 #constraints=24560 628.49/629.04 c nbDecision=895500 #constraints=24571 628.99/629.59 c nbDecision=896000 #constraints=24586 629.89/630.45 c nbDecision=896500 #constraints=24605 630.99/631.52 c nbDecision=897000 #constraints=24631 631.58/632.15 c nbDecision=897500 #constraints=24642 632.18/632.79 c nbDecision=898000 #constraints=24657 632.88/633.42 c nbDecision=898500 #constraints=24674 633.38/633.91 c nbDecision=899000 #constraints=24683 633.78/634.33 c nbDecision=899500 #constraints=24689 634.19/634.78 c nbDecision=900000 #constraints=24699 634.88/635.40 c nbDecision=900500 #constraints=24713 635.38/635.98 c nbDecision=901000 #constraints=24728 635.88/636.43 c nbDecision=901500 #constraints=24744 636.48/637.01 c nbDecision=902000 #constraints=24755 636.98/637.58 c nbDecision=902500 #constraints=24768 637.48/638.10 c nbDecision=903000 #constraints=24783 637.98/638.58 c nbDecision=903500 #constraints=24798 638.48/639.03 c nbDecision=904000 #constraints=24811 639.08/639.61 c nbDecision=904500 #constraints=24827 639.68/640.30 c nbDecision=905000 #constraints=24842 640.37/640.95 c nbDecision=905500 #constraints=24856 640.67/641.29 c nbDecision=906000 #constraints=24863 641.27/641.89 c nbDecision=906500 #constraints=24876 641.77/642.39 c nbDecision=907000 #constraints=24890 642.28/642.87 c nbDecision=907500 #constraints=24916 642.88/643.41 c nbDecision=908000 #constraints=24942 643.68/644.21 c nbDecision=908500 #constraints=24959 644.28/644.82 c nbDecision=909000 #constraints=24971 644.88/645.44 c nbDecision=909500 #constraints=24995 645.58/646.11 c nbDecision=910000 #constraints=25009 646.38/646.92 c nbDecision=910500 #constraints=25021 646.98/647.56 c nbDecision=911000 #constraints=25030 647.68/648.25 c nbDecision=911500 #constraints=25041 648.38/648.98 c nbDecision=912000 #constraints=25053 649.28/649.84 c nbDecision=912500 #constraints=25065 650.07/650.66 c nbDecision=913000 #constraints=25077 650.87/651.41 c nbDecision=913500 #constraints=25087 651.37/651.90 c nbDecision=914000 #constraints=25096 651.97/652.51 c nbDecision=914500 #constraints=25110 652.67/653.23 c nbDecision=915000 #constraints=25123 653.07/653.68 c nbDecision=915500 #constraints=25133 653.57/654.19 c nbDecision=916000 #constraints=25148 654.27/654.85 c nbDecision=916500 #constraints=25167 654.87/655.43 c nbDecision=917000 #constraints=25179 655.46/656.03 c nbDecision=917500 #constraints=25195 655.96/656.59 c nbDecision=918000 #constraints=25213 656.66/657.25 c nbDecision=918500 #constraints=25228 657.16/657.79 c nbDecision=919000 #constraints=25240 657.86/658.40 c nbDecision=919500 #constraints=25255 658.47/659.05 c nbDecision=920000 #constraints=25269 659.06/659.63 c nbDecision=920500 #constraints=25284 659.67/660.28 c nbDecision=921000 #constraints=25300 660.27/660.85 c nbDecision=921500 #constraints=25315 661.17/661.76 c nbDecision=922000 #constraints=25334 661.97/662.54 c nbDecision=922500 #constraints=25349 662.77/663.37 c nbDecision=923000 #constraints=25370 663.97/664.53 c nbDecision=923500 #constraints=25389 664.86/665.42 c nbDecision=924000 #constraints=25409 665.36/665.98 c nbDecision=924500 #constraints=25422 666.46/667.05 c nbDecision=925000 #constraints=25445 667.16/667.73 c nbDecision=925500 #constraints=25460 667.86/668.41 c nbDecision=926000 #constraints=25473 668.36/668.96 c nbDecision=926500 #constraints=25484 668.96/669.58 c nbDecision=927000 #constraints=25497 669.66/670.25 c nbDecision=927500 #constraints=25511 670.16/670.77 c nbDecision=928000 #constraints=25522 670.76/671.32 c nbDecision=928500 #constraints=25533 671.26/671.81 c nbDecision=929000 #constraints=25545 671.76/672.35 c nbDecision=929500 #constraints=25558 672.36/672.97 c nbDecision=930000 #constraints=25570 673.06/673.69 c nbDecision=930500 #constraints=25584 673.76/674.34 c nbDecision=931000 #constraints=25600 674.36/674.90 c nbDecision=931500 #constraints=25615 674.96/675.52 c nbDecision=932000 #constraints=25634 675.56/676.15 c nbDecision=932500 #constraints=25653 676.35/676.96 c nbDecision=933000 #constraints=25677 677.06/677.64 c nbDecision=933500 #constraints=25701 677.55/678.12 c nbDecision=934000 #constraints=25713 678.15/678.72 c nbDecision=934500 #constraints=25726 678.75/679.33 c nbDecision=935000 #constraints=25738 679.25/679.83 c nbDecision=935500 #constraints=25750 679.95/680.50 c nbDecision=936000 #constraints=25761 680.35/680.96 c nbDecision=936500 #constraints=25767 680.65/681.26 c nbDecision=937000 #constraints=25774 681.15/681.72 c nbDecision=937500 #constraints=25783 681.55/682.15 c nbDecision=938000 #constraints=25793 682.05/682.66 c nbDecision=938500 #constraints=25803 682.85/683.47 c nbDecision=939000 #constraints=25816 683.45/684.04 c nbDecision=939500 #constraints=25825 683.75/684.34 c nbDecision=940000 #constraints=25831 684.45/685.01 c nbDecision=940500 #constraints=25844 685.05/685.61 c nbDecision=941000 #constraints=25854 685.35/685.95 c nbDecision=941500 #constraints=25858 685.75/686.33 c nbDecision=942000 #constraints=25864 686.05/686.69 c nbDecision=942500 #constraints=25872 686.45/687.06 c nbDecision=943000 #constraints=25881 687.05/687.67 c nbDecision=943500 #constraints=25892 687.45/688.05 c nbDecision=944000 #constraints=25902 687.85/688.43 c nbDecision=944500 #constraints=25911 688.25/688.88 c nbDecision=945000 #constraints=25919 688.75/689.33 c nbDecision=945500 #constraints=25925 689.05/689.68 c nbDecision=946000 #constraints=25933 689.45/690.06 c nbDecision=946500 #constraints=25941 689.95/690.56 c nbDecision=947000 #constraints=25952 690.45/691.06 c nbDecision=947500 #constraints=25959 690.85/691.41 c nbDecision=948000 #constraints=25965 691.65/692.23 c nbDecision=948500 #constraints=25975 692.15/692.70 c nbDecision=949000 #constraints=25980 692.45/693.00 c nbDecision=949500 #constraints=25985 692.75/693.38 c nbDecision=950000 #constraints=25990 693.15/693.70 c nbDecision=950500 #constraints=25994 693.35/693.91 c nbDecision=951000 #constraints=25997 694.04/694.67 c nbDecision=951500 #constraints=26010 694.64/695.27 c nbDecision=952000 #constraints=26018 695.04/695.70 c nbDecision=952500 #constraints=26024 695.44/696.04 c nbDecision=953000 #constraints=26029 695.63/696.28 c nbDecision=953500 #constraints=26033 696.03/696.64 c nbDecision=954000 #constraints=26037 696.23/696.85 c nbDecision=954500 #constraints=26040 696.94/697.57 c nbDecision=955000 #constraints=26056 697.43/698.01 c nbDecision=955500 #constraints=26066 697.83/698.50 c nbDecision=956000 #constraints=26074 698.23/698.84 c nbDecision=956500 #constraints=26078 698.63/699.28 c nbDecision=957000 #constraints=26085 699.14/699.79 c nbDecision=957500 #constraints=26095 700.14/700.74 c nbDecision=958000 #constraints=26114 700.53/701.10 c nbDecision=958500 #constraints=26122 701.03/701.68 c nbDecision=959000 #constraints=26131 701.93/702.59 c nbDecision=959500 #constraints=26149 702.43/703.04 c nbDecision=960000 #constraints=26158 702.93/703.56 c nbDecision=960500 #constraints=26168 703.43/704.05 c nbDecision=961000 #constraints=26177 703.93/704.52 c nbDecision=961500 #constraints=26187 704.43/705.08 c nbDecision=962000 #constraints=26197 704.93/705.58 c nbDecision=962500 #constraints=26207 705.43/706.09 c nbDecision=963000 #constraints=26217 706.13/706.71 c nbDecision=963500 #constraints=26230 706.63/707.28 c nbDecision=964000 #constraints=26243 707.03/707.67 c nbDecision=964500 #constraints=26251 707.63/708.27 c nbDecision=965000 #constraints=26264 708.33/708.94 c nbDecision=965500 #constraints=26274 708.73/709.36 c nbDecision=966000 #constraints=26284 709.22/709.89 c nbDecision=966500 #constraints=26297 710.12/710.74 c nbDecision=967000 #constraints=26314 710.62/711.22 c nbDecision=967500 #constraints=26324 711.02/711.70 c nbDecision=968000 #constraints=26337 711.72/712.37 c nbDecision=968500 #constraints=26350 712.12/712.78 c nbDecision=969000 #constraints=26359 712.41/713.09 c nbDecision=969500 #constraints=26365 713.11/713.71 c nbDecision=970000 #constraints=26376 713.71/714.33 c nbDecision=970500 #constraints=26388 714.11/714.76 c nbDecision=971000 #constraints=26396 714.61/715.23 c nbDecision=971500 #constraints=26404 715.01/715.67 c nbDecision=972000 #constraints=26413 715.52/716.11 c nbDecision=972500 #constraints=26420 716.01/716.64 c nbDecision=973000 #constraints=26432 716.31/716.99 c nbDecision=973500 #constraints=26440 716.81/717.41 c nbDecision=974000 #constraints=26452 717.11/717.75 c nbDecision=974500 #constraints=26461 717.51/718.19 c nbDecision=975000 #constraints=26470 717.91/718.57 c nbDecision=975500 #constraints=26479 718.31/718.99 c nbDecision=976000 #constraints=26487 718.81/719.45 c nbDecision=976500 #constraints=26497 719.21/719.85 c nbDecision=977000 #constraints=26504 719.71/720.35 c nbDecision=977500 #constraints=26513 720.21/720.80 c nbDecision=978000 #constraints=26521 720.61/721.23 c nbDecision=978500 #constraints=26528 721.11/721.71 c nbDecision=979000 #constraints=26537 721.51/722.19 c nbDecision=979500 #constraints=26544 722.11/722.72 c nbDecision=980000 #constraints=26554 722.41/723.08 c nbDecision=980500 #constraints=26560 722.81/723.42 c nbDecision=981000 #constraints=26568 723.11/723.79 c nbDecision=981500 #constraints=26578 723.61/724.28 c nbDecision=982000 #constraints=26586 724.21/724.87 c nbDecision=982500 #constraints=26600 724.71/725.30 c nbDecision=983000 #constraints=26608 724.91/725.58 c nbDecision=983500 #constraints=26614 725.51/726.13 c nbDecision=984000 #constraints=26622 726.01/726.61 c nbDecision=984500 #constraints=26631 726.41/727.01 c nbDecision=985000 #constraints=26638 726.91/727.59 c nbDecision=985500 #constraints=26649 727.21/727.88 c nbDecision=986000 #constraints=26655 727.81/728.45 c nbDecision=986500 #constraints=26664 728.31/728.97 c nbDecision=987000 #constraints=26674 728.61/729.23 c nbDecision=987500 #constraints=26680 729.01/729.61 c nbDecision=988000 #constraints=26689 729.41/730.07 c nbDecision=988500 #constraints=26697 729.81/730.44 c nbDecision=989000 #constraints=26710 730.21/730.87 c nbDecision=989500 #constraints=26723 730.61/731.30 c nbDecision=990000 #constraints=26732 731.10/731.71 c nbDecision=990500 #constraints=26746 731.50/732.18 c nbDecision=991000 #constraints=26756 732.11/732.71 c nbDecision=991500 #constraints=26767 732.70/733.30 c nbDecision=992000 #constraints=26776 733.30/733.92 c nbDecision=992500 #constraints=26786 733.60/734.29 c nbDecision=993000 #constraints=26792 734.31/734.94 c nbDecision=993500 #constraints=26801 734.60/735.28 c nbDecision=994000 #constraints=26807 735.41/736.09 c nbDecision=994500 #constraints=26820 735.90/736.59 c nbDecision=995000 #constraints=26830 736.41/737.08 c nbDecision=995500 #constraints=26839 736.80/737.44 c nbDecision=996000 #constraints=26848 737.30/737.99 c nbDecision=996500 #constraints=26858 737.70/738.36 c nbDecision=997000 #constraints=26865 738.10/738.77 c nbDecision=997500 #constraints=26873 738.50/739.16 c nbDecision=998000 #constraints=26880 738.80/739.47 c nbDecision=998500 #constraints=26886 739.20/739.87 c nbDecision=999000 #constraints=26892 739.70/740.32 c nbDecision=999500 #constraints=26900 740.29/740.91 c nbDecision=1000000 #constraints=26909 740.80/741.43 c nbDecision=1000500 #constraints=26918 741.19/741.82 c nbDecision=1001000 #constraints=26925 741.39/742.08 c nbDecision=1001500 #constraints=26929 741.90/742.56 c nbDecision=1002000 #constraints=26936 742.49/743.13 c nbDecision=1002500 #constraints=26944 743.00/743.68 c nbDecision=1003000 #constraints=26960 743.49/744.17 c nbDecision=1003500 #constraints=26970 743.99/744.60 c nbDecision=1004000 #constraints=26977 744.79/745.48 c nbDecision=1004500 #constraints=26994 745.09/745.76 c nbDecision=1005000 #constraints=27000 745.79/746.40 c nbDecision=1005500 #constraints=27015 746.30/746.96 c nbDecision=1006000 #constraints=27028 746.69/747.37 c nbDecision=1006500 #constraints=27036 747.39/748.05 c nbDecision=1007000 #constraints=27049 747.69/748.40 c nbDecision=1007500 #constraints=27057 748.09/748.77 c nbDecision=1008000 #constraints=27063 748.99/749.64 c nbDecision=1008500 #constraints=27077 749.59/750.21 c nbDecision=1009000 #constraints=27090 749.99/750.66 c nbDecision=1009500 #constraints=27099 750.59/751.26 c nbDecision=1010000 #constraints=27112 751.09/751.73 c nbDecision=1010500 #constraints=27123 751.59/752.22 c nbDecision=1011000 #constraints=27133 752.09/752.72 c nbDecision=1011500 #constraints=27144 752.59/753.22 c nbDecision=1012000 #constraints=27155 752.99/753.68 c nbDecision=1012500 #constraints=27165 753.49/754.11 c nbDecision=1013000 #constraints=27174 753.99/754.66 c nbDecision=1013500 #constraints=27184 754.49/755.16 c nbDecision=1014000 #constraints=27193 755.08/755.75 c nbDecision=1014500 #constraints=27206 755.58/756.27 c nbDecision=1015000 #constraints=27213 756.18/756.88 c nbDecision=1015500 #constraints=27227 756.78/757.49 c nbDecision=1016000 #constraints=27238 757.38/758.06 c nbDecision=1016500 #constraints=27248 758.08/758.75 c nbDecision=1017000 #constraints=27263 758.68/759.32 c nbDecision=1017500 #constraints=27274 759.28/759.93 c nbDecision=1018000 #constraints=27284 759.98/760.65 c nbDecision=1018500 #constraints=27297 760.48/761.11 c nbDecision=1019000 #constraints=27305 760.88/761.59 c nbDecision=1019500 #constraints=27314 761.38/762.07 c nbDecision=1020000 #constraints=27322 762.08/762.79 c nbDecision=1020500 #constraints=27332 762.58/763.26 c nbDecision=1021000 #constraints=27339 763.08/763.74 c nbDecision=1021500 #constraints=27346 763.47/764.17 c nbDecision=1022000 #constraints=27354 763.88/764.55 c nbDecision=1022500 #constraints=27362 764.37/765.09 c nbDecision=1023000 #constraints=27373 764.87/765.57 c nbDecision=1023500 #constraints=27382 765.57/766.24 c nbDecision=1024000 #constraints=27393 766.18/766.83 c nbDecision=1024500 #constraints=27403 766.47/767.20 c nbDecision=1025000 #constraints=27410 766.97/767.64 c nbDecision=1025500 #constraints=27418 767.27/767.98 c nbDecision=1026000 #constraints=27426 767.98/768.61 c nbDecision=1026500 #constraints=27438 768.58/769.24 c nbDecision=1027000 #constraints=27452 768.98/769.61 c nbDecision=1027500 #constraints=27462 769.38/770.04 c nbDecision=1028000 #constraints=27474 769.78/770.41 c nbDecision=1028500 #constraints=27484 770.18/770.82 c nbDecision=1029000 #constraints=27494 770.48/771.18 c nbDecision=1029500 #constraints=27504 771.18/771.86 c nbDecision=1030000 #constraints=27520 772.08/772.70 c nbDecision=1030500 #constraints=27540 772.68/773.35 c nbDecision=1031000 #constraints=27556 773.28/773.93 c nbDecision=1031500 #constraints=27568 773.78/774.42 c nbDecision=1032000 #constraints=27580 774.38/775.08 c nbDecision=1032500 #constraints=27595 774.77/775.47 c nbDecision=1033000 #constraints=27606 775.17/775.85 c nbDecision=1033500 #constraints=27615 775.57/776.24 c nbDecision=1034000 #constraints=27624 775.87/776.59 c nbDecision=1034500 #constraints=27634 776.37/777.03 c nbDecision=1035000 #constraints=27645 776.87/777.59 c nbDecision=1035500 #constraints=27658 777.27/777.91 c nbDecision=1036000 #constraints=27667 777.67/778.34 c nbDecision=1036500 #constraints=27677 777.97/778.70 c nbDecision=1037000 #constraints=27687 778.47/779.10 c nbDecision=1037500 #constraints=27699 778.77/779.42 c nbDecision=1038000 #constraints=27707 779.37/780.06 c nbDecision=1038500 #constraints=27720 780.07/780.78 c nbDecision=1039000 #constraints=27738 780.67/781.31 c nbDecision=1039500 #constraints=27751 781.17/781.83 c nbDecision=1040000 #constraints=27763 781.87/782.51 c nbDecision=1040500 #constraints=27780 782.47/783.13 c nbDecision=1041000 #constraints=27792 782.97/783.67 c nbDecision=1041500 #constraints=27805 783.47/784.16 c nbDecision=1042000 #constraints=27812 784.56/785.24 c nbDecision=1042500 #constraints=27831 785.06/785.71 c nbDecision=1043000 #constraints=27841 785.46/786.19 c nbDecision=1043500 #constraints=27850 786.16/786.83 c nbDecision=1044000 #constraints=27860 786.66/787.35 c nbDecision=1044500 #constraints=27869 787.16/787.81 c nbDecision=1045000 #constraints=27879 787.66/788.35 c nbDecision=1045500 #constraints=27892 788.06/788.73 c nbDecision=1046000 #constraints=27900 788.76/789.41 c nbDecision=1046500 #constraints=27915 789.16/789.85 c nbDecision=1047000 #constraints=27925 789.56/790.25 c nbDecision=1047500 #constraints=27930 790.26/790.94 c nbDecision=1048000 #constraints=27944 790.76/791.45 c nbDecision=1048500 #constraints=27958 791.16/791.85 c nbDecision=1049000 #constraints=27970 791.76/792.48 c nbDecision=1049500 #constraints=27989 792.26/792.94 c nbDecision=1050000 #constraints=28001 792.86/793.50 c nbDecision=1050500 #constraints=28016 793.36/794.10 c nbDecision=1051000 #constraints=28032 793.75/794.43 c nbDecision=1051500 #constraints=28043 794.05/794.73 c nbDecision=1052000 #constraints=28051 794.25/794.96 c nbDecision=1052500 #constraints=28058 794.66/795.36 c nbDecision=1053000 #constraints=28068 795.05/795.73 c nbDecision=1053500 #constraints=28081 795.45/796.16 c nbDecision=1054000 #constraints=28095 795.95/796.63 c nbDecision=1054500 #constraints=28111 796.25/796.99 c nbDecision=1055000 #constraints=28122 796.75/797.46 c nbDecision=1055500 #constraints=28140 797.25/797.95 c nbDecision=1056000 #constraints=28158 797.75/798.42 c nbDecision=1056500 #constraints=28176 798.15/798.90 c nbDecision=1057000 #constraints=28195 798.65/799.35 c nbDecision=1057500 #constraints=28213 799.15/799.81 c nbDecision=1058000 #constraints=28230 799.55/800.23 c nbDecision=1058500 #constraints=28243 800.05/800.70 c nbDecision=1059000 #constraints=28261 800.45/801.12 c nbDecision=1059500 #constraints=28277 800.85/801.54 c nbDecision=1060000 #constraints=28286 801.65/802.31 c nbDecision=1060500 #constraints=28304 802.14/802.80 c nbDecision=1061000 #constraints=28318 802.34/803.09 c nbDecision=1061500 #constraints=28326 802.94/803.62 c nbDecision=1062000 #constraints=28340 803.34/804.03 c nbDecision=1062500 #constraints=28350 804.04/804.74 c nbDecision=1063000 #constraints=28361 804.64/805.34 c nbDecision=1063500 #constraints=28372 805.34/806.09 c nbDecision=1064000 #constraints=28386 805.94/806.63 c nbDecision=1064500 #constraints=28390 806.44/807.12 c nbDecision=1065000 #constraints=28395 806.74/807.44 c nbDecision=1065500 #constraints=28397 807.34/808.05 c nbDecision=1066000 #constraints=28403 807.74/808.50 c nbDecision=1066500 #constraints=28409 808.24/808.99 c nbDecision=1067000 #constraints=28415 808.74/809.46 c nbDecision=1067500 #constraints=28420 809.14/809.82 c nbDecision=1068000 #constraints=28424 809.64/810.37 c nbDecision=1068500 #constraints=28433 810.14/810.86 c nbDecision=1069000 #constraints=28439 810.53/811.23 c nbDecision=1069500 #constraints=28444 811.33/812.05 c nbDecision=1070000 #constraints=28458 812.24/812.93 c nbDecision=1070500 #constraints=28476 812.83/813.54 c nbDecision=1071000 #constraints=28484 813.34/814.06 c nbDecision=1071500 #constraints=28488 813.83/814.55 c nbDecision=1072000 #constraints=28496 814.33/815.06 c nbDecision=1072500 #constraints=28508 814.63/815.38 c nbDecision=1073000 #constraints=28514 815.03/815.71 c nbDecision=1073500 #constraints=28523 815.83/816.52 c nbDecision=1074000 #constraints=28535 816.33/817.01 c nbDecision=1074500 #constraints=28548 816.93/817.61 c nbDecision=1075000 #constraints=28559 817.33/818.01 c nbDecision=1075500 #constraints=28569 817.73/818.45 c nbDecision=1076000 #constraints=28575 818.23/818.98 c nbDecision=1076500 #constraints=28583 818.63/819.31 c nbDecision=1077000 #constraints=28593 819.13/819.85 c nbDecision=1077500 #constraints=28604 819.73/820.47 c nbDecision=1078000 #constraints=28617 820.13/820.87 c nbDecision=1078500 #constraints=28623 820.53/821.29 c nbDecision=1079000 #constraints=28631 821.13/821.81 c nbDecision=1079500 #constraints=28638 821.73/822.47 c nbDecision=1080000 #constraints=28650 822.44/823.13 c nbDecision=1080500 #constraints=28663 822.84/823.55 c nbDecision=1081000 #constraints=28673 823.24/824.00 c nbDecision=1081500 #constraints=28681 823.94/824.64 c nbDecision=1082000 #constraints=28692 824.54/825.21 c nbDecision=1082500 #constraints=28702 825.24/825.92 c nbDecision=1083000 #constraints=28713 825.73/826.49 c nbDecision=1083500 #constraints=28726 826.33/827.00 c nbDecision=1084000 #constraints=28735 826.73/827.48 c nbDecision=1084500 #constraints=28744 827.34/828.10 c nbDecision=1085000 #constraints=28754 827.74/828.47 c nbDecision=1085500 #constraints=28762 828.63/829.37 c nbDecision=1086000 #constraints=28775 829.13/829.85 c nbDecision=1086500 #constraints=28782 829.73/830.46 c nbDecision=1087000 #constraints=28794 830.43/831.12 c nbDecision=1087500 #constraints=28808 831.03/831.72 c nbDecision=1088000 #constraints=28818 831.52/832.29 c nbDecision=1088500 #constraints=28829 832.52/833.26 c nbDecision=1089000 #constraints=28849 832.92/833.61 c nbDecision=1089500 #constraints=28858 833.52/834.22 c nbDecision=1090000 #constraints=28872 834.52/835.21 c nbDecision=1090500 #constraints=28890 835.12/835.82 c nbDecision=1091000 #constraints=28902 835.52/836.25 c nbDecision=1091500 #constraints=28912 835.82/836.59 c nbDecision=1092000 #constraints=28919 836.32/837.10 c nbDecision=1092500 #constraints=28929 837.12/837.80 c nbDecision=1093000 #constraints=28942 837.52/838.24 c nbDecision=1093500 #constraints=28948 837.92/838.67 c nbDecision=1094000 #constraints=28953 838.62/839.37 c nbDecision=1094500 #constraints=28967 839.22/839.98 c nbDecision=1095000 #constraints=28981 839.62/840.36 c nbDecision=1095500 #constraints=28988 840.32/841.07 c nbDecision=1096000 #constraints=29003 840.92/841.68 c nbDecision=1096500 #constraints=29015 841.22/841.93 c nbDecision=1097000 #constraints=29021 841.72/842.48 c nbDecision=1097500 #constraints=29031 842.22/842.90 c nbDecision=1098000 #constraints=29040 842.72/843.47 c nbDecision=1098500 #constraints=29051 843.52/844.29 c nbDecision=1099000 #constraints=29066 844.12/844.83 c nbDecision=1099500 #constraints=29077 844.52/845.27 c nbDecision=1100000 #constraints=29086 844.92/845.67 c nbDecision=1100500 #constraints=29095 845.62/846.31 c nbDecision=1101000 #constraints=29110 845.91/846.70 c nbDecision=1101500 #constraints=29119 846.42/847.16 c nbDecision=1102000 #constraints=29128 847.21/847.97 c nbDecision=1102500 #constraints=29141 847.81/848.53 c nbDecision=1103000 #constraints=29150 848.11/848.90 c nbDecision=1103500 #constraints=29156 848.61/849.38 c nbDecision=1104000 #constraints=29167 849.41/850.14 c nbDecision=1104500 #constraints=29182 849.91/850.62 c nbDecision=1105000 #constraints=29194 850.31/851.09 c nbDecision=1105500 #constraints=29204 850.91/851.68 c nbDecision=1106000 #constraints=29217 851.41/852.12 c nbDecision=1106500 #constraints=29227 851.81/852.59 c nbDecision=1107000 #constraints=29237 852.71/853.44 c nbDecision=1107500 #constraints=29254 853.11/853.86 c nbDecision=1108000 #constraints=29262 853.61/854.34 c nbDecision=1108500 #constraints=29269 854.21/854.95 c nbDecision=1109000 #constraints=29281 854.71/855.43 c nbDecision=1109500 #constraints=29293 855.00/855.73 c nbDecision=1110000 #constraints=29300 855.60/856.35 c nbDecision=1110500 #constraints=29310 856.21/856.93 c nbDecision=1111000 #constraints=29321 856.60/857.32 c nbDecision=1111500 #constraints=29329 857.00/857.78 c nbDecision=1112000 #constraints=29337 857.50/858.21 c nbDecision=1112500 #constraints=29344 858.00/858.78 c nbDecision=1113000 #constraints=29350 858.30/859.09 c nbDecision=1113500 #constraints=29357 858.90/859.62 c nbDecision=1114000 #constraints=29365 859.30/860.05 c nbDecision=1114500 #constraints=29375 859.90/860.69 c nbDecision=1115000 #constraints=29386 860.40/861.19 c nbDecision=1115500 #constraints=29399 861.00/861.76 c nbDecision=1116000 #constraints=29408 861.50/862.23 c nbDecision=1116500 #constraints=29418 861.90/862.65 c nbDecision=1117000 #constraints=29429 862.30/863.02 c nbDecision=1117500 #constraints=29437 862.81/863.55 c nbDecision=1118000 #constraints=29450 863.30/864.03 c nbDecision=1118500 #constraints=29462 863.90/864.62 c nbDecision=1119000 #constraints=29474 864.30/865.08 c nbDecision=1119500 #constraints=29481 864.70/865.43 c nbDecision=1120000 #constraints=29490 865.20/865.98 c nbDecision=1120500 #constraints=29500 865.70/866.47 c nbDecision=1121000 #constraints=29510 866.30/867.04 c nbDecision=1121500 #constraints=29520 866.80/867.51 c nbDecision=1122000 #constraints=29527 867.10/867.84 c nbDecision=1122500 #constraints=29532 867.40/868.11 c nbDecision=1123000 #constraints=29535 868.00/868.76 c nbDecision=1123500 #constraints=29544 868.30/869.07 c nbDecision=1124000 #constraints=29550 868.70/869.45 c nbDecision=1124500 #constraints=29558 869.11/869.84 c nbDecision=1125000 #constraints=29562 869.71/870.40 c nbDecision=1125500 #constraints=29568 870.11/870.81 c nbDecision=1126000 #constraints=29576 870.61/871.31 c nbDecision=1126500 #constraints=29586 871.61/872.36 c nbDecision=1127000 #constraints=29607 872.01/872.78 c nbDecision=1127500 #constraints=29616 872.50/873.22 c nbDecision=1128000 #constraints=29623 873.01/873.78 c nbDecision=1128500 #constraints=29634 873.40/874.15 c nbDecision=1129000 #constraints=29641 874.00/874.76 c nbDecision=1129500 #constraints=29650 874.70/875.48 c nbDecision=1130000 #constraints=29662 875.19/875.90 c nbDecision=1130500 #constraints=29671 875.59/876.33 c nbDecision=1131000 #constraints=29679 875.89/876.68 c nbDecision=1131500 #constraints=29685 876.69/877.43 c nbDecision=1132000 #constraints=29698 877.20/877.96 c nbDecision=1132500 #constraints=29709 877.99/878.75 c nbDecision=1133000 #constraints=29726 878.39/879.11 c nbDecision=1133500 #constraints=29733 878.89/879.67 c nbDecision=1134000 #constraints=29742 879.59/880.31 c nbDecision=1134500 #constraints=29754 880.09/880.89 c nbDecision=1135000 #constraints=29765 880.79/881.54 c nbDecision=1135500 #constraints=29779 881.49/882.25 c nbDecision=1136000 #constraints=29793 882.09/882.87 c nbDecision=1136500 #constraints=29804 882.59/883.39 c nbDecision=1137000 #constraints=29812 883.29/884.07 c nbDecision=1137500 #constraints=29825 883.69/884.43 c nbDecision=1138000 #constraints=29832 884.39/885.17 c nbDecision=1138500 #constraints=29846 884.99/885.74 c nbDecision=1139000 #constraints=29852 885.69/886.48 c nbDecision=1139500 #constraints=29862 886.19/886.93 c nbDecision=1140000 #constraints=29871 886.89/887.70 c nbDecision=1140500 #constraints=29883 887.39/888.13 c nbDecision=1141000 #constraints=29890 887.79/888.51 c nbDecision=1141500 #constraints=29894 888.48/889.27 c nbDecision=1142000 #constraints=29904 888.78/889.60 c nbDecision=1142500 #constraints=29910 889.48/890.20 c nbDecision=1143000 #constraints=29921 889.78/890.55 c nbDecision=1143500 #constraints=29928 890.18/890.93 c nbDecision=1144000 #constraints=29934 890.68/891.44 c nbDecision=1144500 #constraints=29943 891.18/891.95 c nbDecision=1145000 #constraints=29952 891.68/892.41 c nbDecision=1145500 #constraints=29959 892.38/893.20 c nbDecision=1146000 #constraints=29971 892.98/893.72 c nbDecision=1146500 #constraints=29982 893.48/894.26 c nbDecision=1147000 #constraints=29994 893.97/894.70 c nbDecision=1147500 #constraints=30003 894.47/895.27 c nbDecision=1148000 #constraints=30013 894.97/895.78 c nbDecision=1148500 #constraints=30023 895.57/896.35 c nbDecision=1149000 #constraints=30031 896.17/896.92 c nbDecision=1149500 #constraints=30046 896.77/897.52 c nbDecision=1150000 #constraints=30056 897.37/898.11 c nbDecision=1150500 #constraints=30068 897.87/898.69 c nbDecision=1151000 #constraints=30077 898.37/899.16 c nbDecision=1151500 #constraints=30082 898.67/899.47 c nbDecision=1152000 #constraints=30087 898.97/899.79 c nbDecision=1152500 #constraints=30093 899.67/900.42 c nbDecision=1153000 #constraints=30100 900.07/900.87 c nbDecision=1153500 #constraints=30105 900.47/901.23 c nbDecision=1154000 #constraints=30109 900.77/901.54 c nbDecision=1154500 #constraints=30115 901.47/902.27 c nbDecision=1155000 #constraints=30125 901.97/902.74 c nbDecision=1155500 #constraints=30132 902.27/903.09 c nbDecision=1156000 #constraints=30136 902.97/903.72 c nbDecision=1156500 #constraints=30146 903.47/904.25 c nbDecision=1157000 #constraints=30154 903.87/904.68 c nbDecision=1157500 #constraints=30163 904.57/905.38 c nbDecision=1158000 #constraints=30176 905.47/906.28 c nbDecision=1158500 #constraints=30190 905.87/906.69 c nbDecision=1159000 #constraints=30197 906.37/907.14 c nbDecision=1159500 #constraints=30204 906.97/907.74 c nbDecision=1160000 #constraints=30215 907.57/908.39 c nbDecision=1160500 #constraints=30225 908.17/908.94 c nbDecision=1161000 #constraints=30236 908.67/909.41 c nbDecision=1161500 #constraints=30244 909.27/910.02 c nbDecision=1162000 #constraints=30254 910.07/910.89 c nbDecision=1162500 #constraints=30267 910.37/911.17 c nbDecision=1163000 #constraints=30272 911.07/911.85 c nbDecision=1163500 #constraints=30282 911.96/912.77 c nbDecision=1164000 #constraints=30296 912.46/913.28 c nbDecision=1164500 #constraints=30306 912.86/913.69 c nbDecision=1165000 #constraints=30314 913.57/914.38 c nbDecision=1165500 #constraints=30325 914.36/915.15 c nbDecision=1166000 #constraints=30339 914.96/915.73 c nbDecision=1166500 #constraints=30350 915.57/916.36 c nbDecision=1167000 #constraints=30364 916.46/917.22 c nbDecision=1167500 #constraints=30377 917.16/917.92 c nbDecision=1168000 #constraints=30387 917.87/918.64 c nbDecision=1168500 #constraints=30402 918.76/919.52 c nbDecision=1169000 #constraints=30418 919.46/920.29 c nbDecision=1169500 #constraints=30432 919.86/920.65 c nbDecision=1170000 #constraints=30440 920.35/921.18 c nbDecision=1170500 #constraints=30449 921.25/922.10 c nbDecision=1171000 #constraints=30464 921.95/922.74 c nbDecision=1171500 #constraints=30475 922.35/923.18 c nbDecision=1172000 #constraints=30483 922.95/923.77 c nbDecision=1172500 #constraints=30495 923.65/924.44 c nbDecision=1173000 #constraints=30508 924.15/924.93 c nbDecision=1173500 #constraints=30517 924.85/925.66 c nbDecision=1174000 #constraints=30531 925.35/926.10 c nbDecision=1174500 #constraints=30543 925.85/926.64 c nbDecision=1175000 #constraints=30552 926.25/927.09 c nbDecision=1175500 #constraints=30561 926.95/927.72 c nbDecision=1176000 #constraints=30572 927.35/928.13 c nbDecision=1176500 #constraints=30580 928.05/928.88 c nbDecision=1177000 #constraints=30592 928.65/929.44 c nbDecision=1177500 #constraints=30603 929.15/929.99 c nbDecision=1178000 #constraints=30614 929.65/930.42 c nbDecision=1178500 #constraints=30621 930.25/931.08 c nbDecision=1179000 #constraints=30632 930.75/931.51 c nbDecision=1179500 #constraints=30639 931.45/932.20 c nbDecision=1180000 #constraints=30652 931.95/932.70 c nbDecision=1180500 #constraints=30660 932.35/933.10 c nbDecision=1181000 #constraints=30667 932.85/933.66 c nbDecision=1181500 #constraints=30677 933.25/934.06 c nbDecision=1182000 #constraints=30683 933.95/934.78 c nbDecision=1182500 #constraints=30697 934.45/935.24 c nbDecision=1183000 #constraints=30706 934.94/935.72 c nbDecision=1183500 #constraints=30714 935.64/936.45 c nbDecision=1184000 #constraints=30724 936.34/937.14 c nbDecision=1184500 #constraints=30736 936.74/937.55 c nbDecision=1185000 #constraints=30745 937.65/938.44 c nbDecision=1185500 #constraints=30758 938.24/939.08 c nbDecision=1186000 #constraints=30766 938.94/939.79 c nbDecision=1186500 #constraints=30776 939.34/940.15 c nbDecision=1187000 #constraints=30784 939.74/940.58 c nbDecision=1187500 #constraints=30792 940.14/940.98 c nbDecision=1188000 #constraints=30800 940.64/941.49 c nbDecision=1188500 #constraints=30810 941.03/941.85 c nbDecision=1189000 #constraints=30816 941.43/942.26 c nbDecision=1189500 #constraints=30824 941.83/942.61 c nbDecision=1190000 #constraints=30830 942.73/943.53 c nbDecision=1190500 #constraints=30845 943.04/943.89 c nbDecision=1191000 #constraints=30852 943.74/944.51 c nbDecision=1191500 #constraints=30863 944.24/945.07 c nbDecision=1192000 #constraints=30875 944.93/945.70 c nbDecision=1192500 #constraints=30887 945.73/946.55 c nbDecision=1193000 #constraints=30901 946.13/946.92 c nbDecision=1193500 #constraints=30910 946.53/947.33 c nbDecision=1194000 #constraints=30919 946.93/947.76 c nbDecision=1194500 #constraints=30928 947.73/948.53 c nbDecision=1195000 #constraints=30939 948.13/948.98 c nbDecision=1195500 #constraints=30946 948.64/949.41 c nbDecision=1196000 #constraints=30956 949.33/950.18 c nbDecision=1196500 #constraints=30966 949.74/950.53 c nbDecision=1197000 #constraints=30974 950.33/951.19 c nbDecision=1197500 #constraints=30986 950.83/951.64 c nbDecision=1198000 #constraints=30994 951.73/952.56 c nbDecision=1198500 #constraints=31008 952.23/953.01 c nbDecision=1199000 #constraints=31014 952.53/953.33 c nbDecision=1199500 #constraints=31018 952.83/953.69 c nbDecision=1200000 #constraints=31024 953.43/954.21 c nbDecision=1200500 #constraints=31033 953.83/954.66 c nbDecision=1201000 #constraints=31039 954.53/955.36 c nbDecision=1201500 #constraints=31049 955.33/956.16 c nbDecision=1202000 #constraints=31062 955.93/956.70 c nbDecision=1202500 #constraints=31071 956.23/957.03 c nbDecision=1203000 #constraints=31077 956.63/957.46 c nbDecision=1203500 #constraints=31087 957.13/957.90 c nbDecision=1204000 #constraints=31095 957.53/958.39 c nbDecision=1204500 #constraints=31103 957.93/958.79 c nbDecision=1205000 #constraints=31112 958.82/959.63 c nbDecision=1205500 #constraints=31122 959.53/960.30 c nbDecision=1206000 #constraints=31132 959.92/960.74 c nbDecision=1206500 #constraints=31140 960.63/961.48 c nbDecision=1207000 #constraints=31153 961.32/962.19 c nbDecision=1207500 #constraints=31170 961.73/962.58 c nbDecision=1208000 #constraints=31179 962.32/963.15 c nbDecision=1208500 #constraints=31189 962.93/963.77 c nbDecision=1209000 #constraints=31199 963.42/964.24 c nbDecision=1209500 #constraints=31209 964.02/964.82 c nbDecision=1210000 #constraints=31221 964.42/965.21 c nbDecision=1210500 #constraints=31230 964.72/965.57 c nbDecision=1211000 #constraints=31237 965.12/965.91 c nbDecision=1211500 #constraints=31244 965.42/966.27 c nbDecision=1212000 #constraints=31251 966.12/966.95 c nbDecision=1212500 #constraints=31265 966.62/967.41 c nbDecision=1213000 #constraints=31273 966.92/967.77 c nbDecision=1213500 #constraints=31278 967.71/968.55 c nbDecision=1214000 #constraints=31290 968.11/968.98 c nbDecision=1214500 #constraints=31297 968.81/969.61 c nbDecision=1215000 #constraints=31309 969.32/970.15 c nbDecision=1215500 #constraints=31321 969.62/970.49 c nbDecision=1216000 #constraints=31326 970.32/971.15 c nbDecision=1216500 #constraints=31339 970.72/971.50 c nbDecision=1217000 #constraints=31344 971.42/972.27 c nbDecision=1217500 #constraints=31358 971.92/972.79 c nbDecision=1218000 #constraints=31367 972.73/973.58 c nbDecision=1218500 #constraints=31381 973.42/974.20 c nbDecision=1219000 #constraints=31395 974.02/974.83 c nbDecision=1219500 #constraints=31408 974.42/975.26 c nbDecision=1220000 #constraints=31416 975.02/975.86 c nbDecision=1220500 #constraints=31427 975.52/976.31 c nbDecision=1221000 #constraints=31435 976.02/976.81 c nbDecision=1221500 #constraints=31445 976.62/977.43 c nbDecision=1222000 #constraints=31456 977.02/977.88 c nbDecision=1222500 #constraints=31465 977.52/978.40 c nbDecision=1223000 #constraints=31475 978.42/979.27 c nbDecision=1223500 #constraints=31495 978.82/979.68 c nbDecision=1224000 #constraints=31504 979.42/980.23 c nbDecision=1224500 #constraints=31512 979.92/980.77 c nbDecision=1225000 #constraints=31522 980.42/981.26 c nbDecision=1225500 #constraints=31532 980.81/981.69 c nbDecision=1226000 #constraints=31539 981.81/982.60 c nbDecision=1226500 #constraints=31551 982.21/983.07 c nbDecision=1227000 #constraints=31561 982.72/983.58 c nbDecision=1227500 #constraints=31568 983.21/984.02 c nbDecision=1228000 #constraints=31575 983.51/984.38 c nbDecision=1228500 #constraints=31579 984.41/985.27 c nbDecision=1229000 #constraints=31600 984.91/985.78 c nbDecision=1229500 #constraints=31611 985.31/986.12 c nbDecision=1230000 #constraints=31617 985.71/986.54 c nbDecision=1230500 #constraints=31626 986.21/987.03 c nbDecision=1231000 #constraints=31636 987.01/987.82 c nbDecision=1231500 #constraints=31651 987.31/988.16 c nbDecision=1232000 #constraints=31658 987.80/988.67 c nbDecision=1232500 #constraints=31666 988.40/989.20 c nbDecision=1233000 #constraints=31676 988.80/989.62 c nbDecision=1233500 #constraints=31685 989.31/990.12 c nbDecision=1234000 #constraints=31694 989.80/990.61 c nbDecision=1234500 #constraints=31706 990.20/991.10 c nbDecision=1235000 #constraints=31719 990.80/991.65 c nbDecision=1235500 #constraints=31733 991.30/992.14 c nbDecision=1236000 #constraints=31745 991.90/992.74 c nbDecision=1236500 #constraints=31761 992.30/993.14 c nbDecision=1237000 #constraints=31771 992.90/993.70 c nbDecision=1237500 #constraints=31787 993.40/994.26 c nbDecision=1238000 #constraints=31798 994.00/994.88 c nbDecision=1238500 #constraints=31811 994.60/995.50 c nbDecision=1239000 #constraints=31825 995.10/995.97 c nbDecision=1239500 #constraints=31836 995.70/996.58 c nbDecision=1240000 #constraints=31849 996.40/997.25 c nbDecision=1240500 #constraints=31865 997.20/998.03 c nbDecision=1241000 #constraints=31883 997.80/998.65 c nbDecision=1241500 #constraints=31900 998.30/999.13 c nbDecision=1242000 #constraints=31911 999.29/1000.10 c nbDecision=1242500 #constraints=31929 999.80/1000.68 c nbDecision=1243000 #constraints=31942 1000.39/1001.28 c nbDecision=1243500 #constraints=31959 1001.09/1001.99 c nbDecision=1244000 #constraints=31972 1001.59/1002.41 c nbDecision=1244500 #constraints=31981 1002.09/1002.91 c nbDecision=1245000 #constraints=31988 1002.50/1003.34 c nbDecision=1245500 #constraints=31998 1002.89/1003.78 c nbDecision=1246000 #constraints=32007 1003.50/1004.35 c nbDecision=1246500 #constraints=32013 1003.99/1004.84 c nbDecision=1247000 #constraints=32018 1004.39/1005.27 c nbDecision=1247500 #constraints=32023 1004.99/1005.89 c nbDecision=1248000 #constraints=32035 1005.59/1006.48 c nbDecision=1248500 #constraints=32045 1006.49/1007.35 c nbDecision=1249000 #constraints=32060 1007.09/1007.92 c nbDecision=1249500 #constraints=32070 1007.49/1008.34 c nbDecision=1250000 #constraints=32077 1007.79/1008.68 c nbDecision=1250500 #constraints=32083 1008.29/1009.15 c nbDecision=1251000 #constraints=32091 1008.69/1009.57 c nbDecision=1251500 #constraints=32099 1009.58/1010.40 c nbDecision=1252000 #constraints=32111 1009.98/1010.87 c nbDecision=1252500 #constraints=32120 1010.48/1011.35 c nbDecision=1253000 #constraints=32129 1011.09/1011.99 c nbDecision=1253500 #constraints=32140 1011.59/1012.45 c nbDecision=1254000 #constraints=32148 1012.09/1012.96 c nbDecision=1254500 #constraints=32155 1012.59/1013.40 c nbDecision=1255000 #constraints=32163 1013.09/1013.92 c nbDecision=1255500 #constraints=32174 1013.49/1014.35 c nbDecision=1256000 #constraints=32179 1014.49/1015.33 c nbDecision=1256500 #constraints=32195 1015.09/1015.99 c nbDecision=1257000 #constraints=32208 1015.89/1016.71 c nbDecision=1257500 #constraints=32221 1016.49/1017.38 c nbDecision=1258000 #constraints=32237 1017.29/1018.19 c nbDecision=1258500 #constraints=32252 1017.89/1018.73 c nbDecision=1259000 #constraints=32262 1018.29/1019.19 c nbDecision=1259500 #constraints=32270 1018.99/1019.82 c nbDecision=1260000 #constraints=32279 1019.59/1020.41 c nbDecision=1260500 #constraints=32291 1019.99/1020.84 c nbDecision=1261000 #constraints=32300 1020.89/1021.75 c nbDecision=1261500 #constraints=32315 1021.79/1022.64 c nbDecision=1262000 #constraints=32336 1022.19/1023.09 c nbDecision=1262500 #constraints=32348 1022.78/1023.65 c nbDecision=1263000 #constraints=32360 1023.48/1024.31 c nbDecision=1263500 #constraints=32372 1023.88/1024.78 c nbDecision=1264000 #constraints=32383 1024.58/1025.41 c nbDecision=1264500 #constraints=32393 1025.28/1026.14 c nbDecision=1265000 #constraints=32405 1025.78/1026.61 c nbDecision=1265500 #constraints=32415 1026.28/1027.11 c nbDecision=1266000 #constraints=32426 1026.69/1027.55 c nbDecision=1266500 #constraints=32436 1027.38/1028.26 c nbDecision=1267000 #constraints=32452 1027.88/1028.75 c nbDecision=1267500 #constraints=32464 1028.38/1029.28 c nbDecision=1268000 #constraints=32477 1029.08/1029.93 c nbDecision=1268500 #constraints=32493 1029.58/1030.41 c nbDecision=1269000 #constraints=32502 1030.68/1031.58 c nbDecision=1269500 #constraints=32521 1031.27/1032.10 c nbDecision=1270000 #constraints=32530 1031.67/1032.50 c nbDecision=1270500 #constraints=32536 1032.18/1033.06 c nbDecision=1271000 #constraints=32548 1032.77/1033.67 c nbDecision=1271500 #constraints=32563 1033.37/1034.24 c nbDecision=1272000 #constraints=32577 1034.07/1034.94 c nbDecision=1272500 #constraints=32592 1034.67/1035.54 c nbDecision=1273000 #constraints=32606 1035.47/1036.35 c nbDecision=1273500 #constraints=32618 1035.87/1036.78 c nbDecision=1274000 #constraints=32625 1036.47/1037.34 c nbDecision=1274500 #constraints=32634 1037.07/1038.00 c nbDecision=1275000 #constraints=32646 1037.87/1038.76 c nbDecision=1275500 #constraints=32657 1038.37/1039.27 c nbDecision=1276000 #constraints=32664 1039.17/1040.04 c nbDecision=1276500 #constraints=32679 1039.57/1040.47 c nbDecision=1277000 #constraints=32689 1040.27/1041.19 c nbDecision=1277500 #constraints=32708 1040.97/1041.88 c nbDecision=1278000 #constraints=32723 1041.57/1042.43 c nbDecision=1278500 #constraints=32735 1042.37/1043.27 c nbDecision=1279000 #constraints=32753 1043.07/1043.95 c nbDecision=1279500 #constraints=32767 1043.67/1044.52 c nbDecision=1280000 #constraints=32777 1044.17/1045.05 c nbDecision=1280500 #constraints=32789 1044.67/1045.55 c nbDecision=1281000 #constraints=32799 1045.27/1046.19 c nbDecision=1281500 #constraints=32813 1046.06/1046.97 c nbDecision=1282000 #constraints=32826 1046.86/1047.74 c nbDecision=1282500 #constraints=32839 1047.57/1048.46 c nbDecision=1283000 #constraints=32856 1048.26/1049.12 c nbDecision=1283500 #constraints=32866 1048.67/1049.57 c nbDecision=1284000 #constraints=32874 1048.96/1049.89 c nbDecision=1284500 #constraints=32880 1049.77/1050.69 c nbDecision=1285000 #constraints=32892 1050.26/1051.18 c nbDecision=1285500 #constraints=32900 1051.16/1052.03 c nbDecision=1286000 #constraints=32916 1051.76/1052.61 c nbDecision=1286500 #constraints=32927 1052.26/1053.10 c nbDecision=1287000 #constraints=32933 1052.76/1053.68 c nbDecision=1287500 #constraints=32942 1053.36/1054.20 c nbDecision=1288000 #constraints=32949 1054.16/1055.07 c nbDecision=1288500 #constraints=32966 1054.65/1055.55 c nbDecision=1289000 #constraints=32975 1055.85/1056.71 c nbDecision=1289500 #constraints=32994 1056.65/1057.53 c nbDecision=1290000 #constraints=33008 1056.95/1057.89 c nbDecision=1290500 #constraints=33017 1057.65/1058.52 c nbDecision=1291000 #constraints=33030 1058.05/1058.99 c nbDecision=1291500 #constraints=33041 1058.65/1059.53 c nbDecision=1292000 #constraints=33051 1059.25/1060.13 c nbDecision=1292500 #constraints=33067 1059.66/1060.58 c nbDecision=1293000 #constraints=33078 1060.45/1061.34 c nbDecision=1293500 #constraints=33099 1060.95/1061.82 c nbDecision=1294000 #constraints=33107 1061.45/1062.32 c nbDecision=1294500 #constraints=33116 1061.86/1062.76 c nbDecision=1295000 #constraints=33124 1062.65/1063.55 c nbDecision=1295500 #constraints=33142 1063.05/1063.98 c nbDecision=1296000 #constraints=33150 1063.85/1064.76 c nbDecision=1296500 #constraints=33166 1064.45/1065.34 c nbDecision=1297000 #constraints=33180 1064.95/1065.82 c nbDecision=1297500 #constraints=33188 1065.45/1066.31 c nbDecision=1298000 #constraints=33200 1065.95/1066.90 c nbDecision=1298500 #constraints=33213 1066.75/1067.61 c nbDecision=1299000 #constraints=33228 1067.45/1068.36 c nbDecision=1299500 #constraints=33247 1068.35/1069.22 c nbDecision=1300000 #constraints=33266 1069.15/1070.07 c nbDecision=1300500 #constraints=33284 1069.85/1070.70 c nbDecision=1301000 #constraints=33300 1070.35/1071.23 c nbDecision=1301500 #constraints=33312 1070.75/1071.69 c nbDecision=1302000 #constraints=33322 1071.35/1072.28 c nbDecision=1302500 #constraints=33336 1071.85/1072.75 c nbDecision=1303000 #constraints=33346 1072.35/1073.27 c nbDecision=1303500 #constraints=33355 1072.85/1073.78 c nbDecision=1304000 #constraints=33366 1073.54/1074.41 c nbDecision=1304500 #constraints=33381 1074.14/1075.07 c nbDecision=1305000 #constraints=33397 1074.95/1075.89 c nbDecision=1305500 #constraints=33414 1075.44/1076.38 c nbDecision=1306000 #constraints=33423 1075.95/1076.88 c nbDecision=1306500 #constraints=33434 1077.15/1078.01 c nbDecision=1307000 #constraints=33455 1078.25/1079.11 c nbDecision=1307500 #constraints=33471 1078.94/1079.80 c nbDecision=1308000 #constraints=33483 1079.84/1080.70 c nbDecision=1308500 #constraints=33505 1080.64/1081.52 c nbDecision=1309000 #constraints=33528 1081.34/1082.20 c nbDecision=1309500 #constraints=33546 1082.24/1083.10 c nbDecision=1310000 #constraints=33564 1082.84/1083.72 c nbDecision=1310500 #constraints=33579 1083.54/1084.50 c nbDecision=1311000 #constraints=33593 1084.04/1084.93 c nbDecision=1311500 #constraints=33600 1084.54/1085.41 c nbDecision=1312000 #constraints=33609 1085.44/1086.33 c nbDecision=1312500 #constraints=33626 1085.84/1086.76 c nbDecision=1313000 #constraints=33632 1086.94/1087.89 c nbDecision=1313500 #constraints=33651 1087.84/1088.73 c nbDecision=1314000 #constraints=33669 1088.64/1089.56 c nbDecision=1314500 #constraints=33689 1089.14/1090.04 c nbDecision=1315000 #constraints=33699 1089.64/1090.58 c nbDecision=1315500 #constraints=33711 1090.34/1091.26 c nbDecision=1316000 #constraints=33721 1090.94/1091.81 c nbDecision=1316500 #constraints=33734 1091.64/1092.58 c nbDecision=1317000 #constraints=33749 1092.94/1093.89 c nbDecision=1317500 #constraints=33773 1093.64/1094.55 c nbDecision=1318000 #constraints=33785 1094.14/1095.01 c nbDecision=1318500 #constraints=33796 1094.44/1095.32 c nbDecision=1319000 #constraints=33801 1095.24/1096.11 c nbDecision=1319500 #constraints=33817 1096.04/1096.90 c nbDecision=1320000 #constraints=33830 1096.74/1097.62 c nbDecision=1320500 #constraints=33845 1097.64/1098.56 c nbDecision=1321000 #constraints=33862 1098.64/1099.58 c nbDecision=1321500 #constraints=33874 1099.43/1100.31 c nbDecision=1322000 #constraints=33888 1100.23/1101.14 c nbDecision=1322500 #constraints=33903 1100.93/1101.86 c nbDecision=1323000 #constraints=33915 1101.63/1102.60 c nbDecision=1323500 #constraints=33929 1102.13/1103.02 c nbDecision=1324000 #constraints=33938 1102.73/1103.69 c nbDecision=1324500 #constraints=33953 1103.23/1104.18 c nbDecision=1325000 #constraints=33962 1104.03/1104.90 c nbDecision=1325500 #constraints=33976 1104.43/1105.30 c nbDecision=1326000 #constraints=33982 1105.23/1106.10 c nbDecision=1326500 #constraints=33994 1105.73/1106.70 c nbDecision=1327000 #constraints=34006 1106.43/1107.32 c nbDecision=1327500 #constraints=34016 1107.12/1108.05 c nbDecision=1328000 #constraints=34031 1107.72/1108.68 c nbDecision=1328500 #constraints=34044 1108.82/1109.71 c nbDecision=1329000 #constraints=34064 1109.52/1110.40 c nbDecision=1329500 #constraints=34078 1110.42/1111.35 c nbDecision=1330000 #constraints=34099 1111.12/1112.04 c nbDecision=1330500 #constraints=34115 1111.82/1112.79 c nbDecision=1331000 #constraints=34132 1112.42/1113.30 c nbDecision=1331500 #constraints=34143 1113.22/1114.14 c nbDecision=1332000 #constraints=34162 1114.12/1115.05 c nbDecision=1332500 #constraints=34182 1115.32/1116.27 c nbDecision=1333000 #constraints=34206 1116.12/1117.03 c nbDecision=1333500 #constraints=34220 1116.92/1117.89 c nbDecision=1334000 #constraints=34236 1117.82/1118.77 c nbDecision=1334500 #constraints=34251 1118.42/1119.35 c nbDecision=1335000 #constraints=34261 1119.32/1120.25 c nbDecision=1335500 #constraints=34279 1120.02/1120.95 c nbDecision=1336000 #constraints=34291 1120.52/1121.48 c nbDecision=1336500 #constraints=34305 1120.92/1121.89 c nbDecision=1337000 #constraints=34313 1121.62/1122.56 c nbDecision=1337500 #constraints=34325 1122.11/1123.09 c nbDecision=1338000 #constraints=34337 1122.71/1123.64 c nbDecision=1338500 #constraints=34352 1123.71/1124.60 c nbDecision=1339000 #constraints=34366 1124.11/1125.07 c nbDecision=1339500 #constraints=34375 1124.61/1125.53 c nbDecision=1340000 #constraints=34383 1125.11/1126.04 c nbDecision=1340500 #constraints=34394 1125.61/1126.58 c nbDecision=1341000 #constraints=34403 1126.11/1127.05 c nbDecision=1341500 #constraints=34412 1126.51/1127.48 c nbDecision=1342000 #constraints=34420 1127.21/1128.14 c nbDecision=1342500 #constraints=34434 1127.81/1128.72 c nbDecision=1343000 #constraints=34441 1128.60/1129.55 c nbDecision=1343500 #constraints=34454 1129.20/1130.16 c nbDecision=1344000 #constraints=34468 1129.80/1130.78 c nbDecision=1344500 #constraints=34485 1130.40/1131.30 c nbDecision=1345000 #constraints=34497 1130.90/1131.87 c nbDecision=1345500 #constraints=34513 1131.50/1132.43 c nbDecision=1346000 #constraints=34529 1132.00/1132.96 c nbDecision=1346500 #constraints=34544 1132.50/1133.44 c nbDecision=1347000 #constraints=34556 1133.00/1133.94 c nbDecision=1347500 #constraints=34569 1133.50/1134.46 c nbDecision=1348000 #constraints=34580 1134.20/1135.10 c nbDecision=1348500 #constraints=34600 1134.70/1135.60 c nbDecision=1349000 #constraints=34611 1135.10/1136.07 c nbDecision=1349500 #constraints=34623 1135.70/1136.65 c nbDecision=1350000 #constraints=34636 1136.20/1137.19 c nbDecision=1350500 #constraints=34651 1136.70/1137.68 c nbDecision=1351000 #constraints=34663 1137.10/1138.04 c nbDecision=1351500 #constraints=34671 1137.61/1138.59 c nbDecision=1352000 #constraints=34679 1138.10/1139.03 c nbDecision=1352500 #constraints=34690 1138.50/1139.46 c nbDecision=1353000 #constraints=34700 1139.00/1140.00 c nbDecision=1353500 #constraints=34712 1139.60/1140.55 c nbDecision=1354000 #constraints=34725 1140.30/1141.28 c nbDecision=1354500 #constraints=34743 1141.50/1142.40 c nbDecision=1355000 #constraints=34764 1142.01/1143.00 c nbDecision=1355500 #constraints=34774 1142.60/1143.58 c nbDecision=1356000 #constraints=34783 1143.30/1144.22 c nbDecision=1356500 #constraints=34794 1144.10/1145.03 c nbDecision=1357000 #constraints=34805 1144.59/1145.58 c nbDecision=1357500 #constraints=34815 1145.19/1146.15 c nbDecision=1358000 #constraints=34826 1145.79/1146.73 c nbDecision=1358500 #constraints=34838 1146.39/1147.33 c nbDecision=1359000 #constraints=34847 1147.39/1148.30 c nbDecision=1359500 #constraints=34863 1147.89/1148.86 c nbDecision=1360000 #constraints=34877 1148.59/1149.59 c nbDecision=1360500 #constraints=34893 1149.29/1150.23 c nbDecision=1361000 #constraints=34907 1149.79/1150.79 c nbDecision=1361500 #constraints=34916 1150.09/1151.08 c nbDecision=1362000 #constraints=34921 1151.49/1152.42 c nbDecision=1362500 #constraints=34938 1152.19/1153.10 c nbDecision=1363000 #constraints=34952 1152.59/1153.58 c nbDecision=1363500 #constraints=34961 1152.99/1153.95 c nbDecision=1364000 #constraints=34969 1153.69/1154.68 c nbDecision=1364500 #constraints=34983 1154.29/1155.27 c nbDecision=1365000 #constraints=34993 1154.69/1155.67 c nbDecision=1365500 #constraints=34999 1155.19/1156.17 c nbDecision=1366000 #constraints=35008 1155.59/1156.52 c nbDecision=1366500 #constraints=35016 1156.09/1157.02 c nbDecision=1367000 #constraints=35026 1156.79/1157.73 c nbDecision=1367500 #constraints=35037 1157.59/1158.52 c nbDecision=1368000 #constraints=35050 1158.38/1159.31 c nbDecision=1368500 #constraints=35059 1158.98/1159.99 c nbDecision=1369000 #constraints=35072 1159.48/1160.43 c nbDecision=1369500 #constraints=35079 1160.38/1161.31 c nbDecision=1370000 #constraints=35095 1160.98/1161.97 c nbDecision=1370500 #constraints=35107 1161.38/1162.36 c nbDecision=1371000 #constraints=35114 1162.48/1163.43 c nbDecision=1371500 #constraints=35128 1162.99/1163.99 c nbDecision=1372000 #constraints=35136 1163.68/1164.61 c nbDecision=1372500 #constraints=35147 1164.28/1165.21 c nbDecision=1373000 #constraints=35157 1164.68/1165.69 c nbDecision=1373500 #constraints=35163 1165.38/1166.31 c nbDecision=1374000 #constraints=35174 1166.38/1167.31 c nbDecision=1374500 #constraints=35193 1166.88/1167.83 c nbDecision=1375000 #constraints=35201 1167.29/1168.28 c nbDecision=1375500 #constraints=35208 1168.18/1169.11 c nbDecision=1376000 #constraints=35221 1168.88/1169.82 c nbDecision=1376500 #constraints=35228 1169.38/1170.31 c nbDecision=1377000 #constraints=35234 1169.77/1170.71 c nbDecision=1377500 #constraints=35238 1170.27/1171.22 c nbDecision=1378000 #constraints=35244 1170.77/1171.73 c nbDecision=1378500 #constraints=35252 1171.17/1172.11 c nbDecision=1379000 #constraints=35257 1171.57/1172.53 c nbDecision=1379500 #constraints=35265 1172.47/1173.45 c nbDecision=1380000 #constraints=35278 1172.88/1173.81 c nbDecision=1380500 #constraints=35283 1173.37/1174.36 c nbDecision=1381000 #constraints=35291 1174.47/1175.45 c nbDecision=1381500 #constraints=35304 1175.08/1176.01 c nbDecision=1382000 #constraints=35312 1175.47/1176.42 c nbDecision=1382500 #constraints=35318 1176.57/1177.59 c nbDecision=1383000 #constraints=35329 1177.28/1178.22 c nbDecision=1383500 #constraints=35336 1177.68/1178.62 c nbDecision=1384000 #constraints=35341 1178.28/1179.29 c nbDecision=1384500 #constraints=35353 1178.98/1179.94 c nbDecision=1385000 #constraints=35363 1179.68/1180.61 c nbDecision=1385500 #constraints=35375 1180.28/1181.27 c nbDecision=1386000 #constraints=35385 1180.88/1181.83 c nbDecision=1386500 #constraints=35396 1181.38/1182.33 c nbDecision=1387000 #constraints=35404 1181.88/1182.90 c nbDecision=1387500 #constraints=35413 1182.38/1183.35 c nbDecision=1388000 #constraints=35421 1182.88/1183.87 c nbDecision=1388500 #constraints=35429 1183.28/1184.22 c nbDecision=1389000 #constraints=35435 1183.98/1184.90 c nbDecision=1389500 #constraints=35445 1184.38/1185.31 c nbDecision=1390000 #constraints=35451 1184.88/1185.85 c nbDecision=1390500 #constraints=35461 1185.28/1186.21 c nbDecision=1391000 #constraints=35468 1185.68/1186.60 c nbDecision=1391500 #constraints=35474 1186.28/1187.26 c nbDecision=1392000 #constraints=35486 1187.08/1188.03 c nbDecision=1392500 #constraints=35500 1187.68/1188.60 c nbDecision=1393000 #constraints=35510 1188.37/1189.38 c nbDecision=1393500 #constraints=35519 1189.07/1190.00 c nbDecision=1394000 #constraints=35523 1189.57/1190.52 c nbDecision=1394500 #constraints=35531 1191.07/1192.00 c nbDecision=1395000 #constraints=35553 1192.07/1193.00 c nbDecision=1395500 #constraints=35565 1192.77/1193.72 c nbDecision=1396000 #constraints=35575 1193.36/1194.31 c nbDecision=1396500 #constraints=35584 1193.96/1194.97 c nbDecision=1397000 #constraints=35592 1194.36/1195.36 c nbDecision=1397500 #constraints=35598 1195.56/1196.59 c nbDecision=1398000 #constraints=35615 1196.46/1197.45 c nbDecision=1398500 #constraints=35631 1196.97/1197.95 c nbDecision=1399000 #constraints=35641 1197.56/1198.59 c nbDecision=1399500 #constraints=35651 1198.07/1199.05 c nbDecision=1400000 #constraints=35657 1198.76/1199.75 c nbDecision=1400500 #constraints=35668 1199.17/1200.19 c nbDecision=1401000 #constraints=35676 1199.76/1200.79 c nbDecision=1401500 #constraints=35688 1200.56/1201.57 c nbDecision=1402000 #constraints=35701 1201.06/1202.07 c nbDecision=1402500 #constraints=35713 1201.76/1202.74 c nbDecision=1403000 #constraints=35725 1202.47/1203.46 c nbDecision=1403500 #constraints=35738 1202.96/1203.97 c nbDecision=1404000 #constraints=35747 1203.67/1204.69 c nbDecision=1404500 #constraints=35760 1204.36/1205.33 c nbDecision=1405000 #constraints=35773 1204.86/1205.82 c nbDecision=1405500 #constraints=35781 1205.96/1206.94 c nbDecision=1406000 #constraints=35796 1206.46/1207.46 c nbDecision=1406500 #constraints=35803 1207.06/1208.02 c nbDecision=1407000 #constraints=35811 1207.46/1208.48 c nbDecision=1407500 #constraints=35821 1208.06/1209.01 c nbDecision=1408000 #constraints=35830 1208.46/1209.46 c nbDecision=1408500 #constraints=35840 1208.96/1209.96 c nbDecision=1409000 #constraints=35848 1209.56/1210.51 c nbDecision=1409500 #constraints=35860 1210.56/1211.52 c nbDecision=1410000 #constraints=35874 1210.95/1211.93 c nbDecision=1410500 #constraints=35880 1211.45/1212.47 c nbDecision=1411000 #constraints=35888 1212.05/1213.03 c nbDecision=1411500 #constraints=35894 1212.86/1213.85 c nbDecision=1412000 #constraints=35906 1213.65/1214.63 c nbDecision=1412500 #constraints=35916 1214.25/1215.21 c nbDecision=1413000 #constraints=35922 1214.65/1215.70 c nbDecision=1413500 #constraints=35931 1215.15/1216.19 c nbDecision=1414000 #constraints=35942 1216.45/1217.43 c nbDecision=1414500 #constraints=35961 1217.05/1218.09 c nbDecision=1415000 #constraints=35973 1217.54/1218.58 c nbDecision=1415500 #constraints=35983 1217.95/1218.99 c nbDecision=1416000 #constraints=35991 1218.84/1219.82 c nbDecision=1416500 #constraints=36003 1219.34/1220.31 c nbDecision=1417000 #constraints=36012 1219.94/1220.93 c nbDecision=1417500 #constraints=36022 1220.34/1221.39 c nbDecision=1418000 #constraints=36031 1221.34/1222.32 c nbDecision=1418500 #constraints=36046 1222.04/1223.06 c nbDecision=1419000 #constraints=36059 1222.74/1223.78 c nbDecision=1419500 #constraints=36071 1223.35/1224.33 c nbDecision=1420000 #constraints=36080 1223.94/1224.96 c nbDecision=1420500 #constraints=36094 1224.64/1225.66 c nbDecision=1421000 #constraints=36105 1225.74/1226.77 c nbDecision=1421500 #constraints=36119 1226.44/1227.43 c nbDecision=1422000 #constraints=36128 1226.95/1227.92 c nbDecision=1422500 #constraints=36136 1227.35/1228.39 c nbDecision=1423000 #constraints=36143 1228.15/1229.10 c nbDecision=1423500 #constraints=36151 1228.65/1229.65 c nbDecision=1424000 #constraints=36158 1229.15/1230.12 c nbDecision=1424500 #constraints=36165 1229.95/1230.95 c nbDecision=1425000 #constraints=36177 1230.75/1231.71 c nbDecision=1425500 #constraints=36186 1231.25/1232.23 c nbDecision=1426000 #constraints=36190 1231.95/1232.90 c nbDecision=1426500 #constraints=36198 1232.65/1233.64 c nbDecision=1427000 #constraints=36209 1233.15/1234.10 c nbDecision=1427500 #constraints=36215 1233.54/1234.57 c nbDecision=1428000 #constraints=36220 1234.14/1235.15 c nbDecision=1428500 #constraints=36231 1234.64/1235.68 c nbDecision=1429000 #constraints=36243 1235.24/1236.25 c nbDecision=1429500 #constraints=36251 1236.13/1237.15 c nbDecision=1430000 #constraints=36266 1236.54/1237.60 c nbDecision=1430500 #constraints=36272 1237.23/1238.29 c nbDecision=1431000 #constraints=36283 1238.03/1239.00 c nbDecision=1431500 #constraints=36293 1238.43/1239.45 c nbDecision=1432000 #constraints=36299 1239.23/1240.23 c nbDecision=1432500 #constraints=36311 1239.73/1240.79 c nbDecision=1433000 #constraints=36318 1240.33/1241.30 c nbDecision=1433500 #constraints=36324 1241.04/1242.00 c nbDecision=1434000 #constraints=36338 1241.43/1242.46 c nbDecision=1434500 #constraints=36345 1242.14/1243.13 c nbDecision=1435000 #constraints=36358 1242.63/1243.63 c nbDecision=1435500 #constraints=36367 1243.33/1244.32 c nbDecision=1436000 #constraints=36377 1244.03/1245.06 c nbDecision=1436500 #constraints=36387 1244.53/1245.55 c nbDecision=1437000 #constraints=36392 1245.33/1246.36 c nbDecision=1437500 #constraints=36403 1246.13/1247.15 c nbDecision=1438000 #constraints=36414 1246.63/1247.67 c nbDecision=1438500 #constraints=36421 1247.13/1248.18 c nbDecision=1439000 #constraints=36427 1247.63/1248.62 c nbDecision=1439500 #constraints=36435 1248.63/1249.68 c nbDecision=1440000 #constraints=36449 1249.43/1250.49 c nbDecision=1440500 #constraints=36460 1250.23/1251.26 c nbDecision=1441000 #constraints=36470 1250.83/1251.82 c nbDecision=1441500 #constraints=36478 1251.43/1252.43 c nbDecision=1442000 #constraints=36489 1251.93/1253.00 c nbDecision=1442500 #constraints=36499 1252.72/1253.73 c nbDecision=1443000 #constraints=36507 1253.22/1254.29 c nbDecision=1443500 #constraints=36515 1254.23/1255.24 c nbDecision=1444000 #constraints=36530 1254.82/1255.80 c nbDecision=1444500 #constraints=36542 1255.12/1256.12 c nbDecision=1445000 #constraints=36548 1255.52/1256.53 c nbDecision=1445500 #constraints=36556 1256.33/1257.35 c nbDecision=1446000 #constraints=36570 1257.02/1258.08 c nbDecision=1446500 #constraints=36589 1257.43/1258.44 c nbDecision=1447000 #constraints=36598 1257.82/1258.81 c nbDecision=1447500 #constraints=36605 1258.53/1259.52 c nbDecision=1448000 #constraints=36617 1259.02/1260.06 c nbDecision=1448500 #constraints=36627 1259.52/1260.51 c nbDecision=1449000 #constraints=36634 1259.92/1260.93 c nbDecision=1449500 #constraints=36640 1260.92/1261.94 c nbDecision=1450000 #constraints=36659 1261.42/1262.42 c nbDecision=1450500 #constraints=36668 1261.92/1262.98 c nbDecision=1451000 #constraints=36679 1262.52/1263.53 c nbDecision=1451500 #constraints=36689 1263.31/1264.32 c nbDecision=1452000 #constraints=36697 1263.82/1264.87 c nbDecision=1452500 #constraints=36703 1264.31/1265.37 c nbDecision=1453000 #constraints=36711 1264.81/1265.83 c nbDecision=1453500 #constraints=36716 1265.31/1266.38 c nbDecision=1454000 #constraints=36720 1265.91/1266.95 c nbDecision=1454500 #constraints=36725 1266.41/1267.49 c nbDecision=1455000 #constraints=36731 1267.11/1268.15 c nbDecision=1455500 #constraints=36740 1267.81/1268.85 c nbDecision=1456000 #constraints=36750 1268.31/1269.33 c nbDecision=1456500 #constraints=36756 1268.91/1269.97 c nbDecision=1457000 #constraints=36767 1269.52/1270.56 c nbDecision=1457500 #constraints=36778 1270.81/1271.80 c nbDecision=1458000 #constraints=36797 1271.31/1272.34 c nbDecision=1458500 #constraints=36803 1271.82/1272.83 c nbDecision=1459000 #constraints=36809 1272.51/1273.51 c nbDecision=1459500 #constraints=36820 1273.31/1274.35 c nbDecision=1460000 #constraints=36830 1274.41/1275.42 c nbDecision=1460500 #constraints=36845 1275.21/1276.28 c nbDecision=1461000 #constraints=36859 1275.91/1276.96 c nbDecision=1461500 #constraints=36867 1277.01/1278.03 c nbDecision=1462000 #constraints=36882 1277.61/1278.61 c nbDecision=1462500 #constraints=36889 1278.11/1279.11 c nbDecision=1463000 #constraints=36897 1278.71/1279.74 c nbDecision=1463500 #constraints=36904 1279.51/1280.55 c nbDecision=1464000 #constraints=36917 1280.00/1281.06 c nbDecision=1464500 #constraints=36925 1280.50/1281.56 c nbDecision=1465000 #constraints=36934 1281.10/1282.16 c nbDecision=1465500 #constraints=36947 1281.90/1282.95 c nbDecision=1466000 #constraints=36958 1282.60/1283.68 c nbDecision=1466500 #constraints=36970 1283.10/1284.10 c nbDecision=1467000 #constraints=36975 1283.60/1284.64 c nbDecision=1467500 #constraints=36982 1284.50/1285.51 c nbDecision=1468000 #constraints=36996 1285.00/1286.09 c nbDecision=1468500 #constraints=37002 1285.60/1286.64 c nbDecision=1469000 #constraints=37010 1287.10/1288.20 c nbDecision=1469500 #constraints=37033 1287.70/1288.79 c nbDecision=1470000 #constraints=37041 1288.10/1289.18 c nbDecision=1470500 #constraints=37047 1288.60/1289.63 c nbDecision=1471000 #constraints=37053 1289.50/1290.58 c nbDecision=1471500 #constraints=37070 1290.09/1291.19 c nbDecision=1472000 #constraints=37077 1290.59/1291.66 c nbDecision=1472500 #constraints=37084 1291.09/1292.12 c nbDecision=1473000 #constraints=37091 1291.79/1292.86 c nbDecision=1473500 #constraints=37100 1292.39/1293.42 c nbDecision=1474000 #constraints=37108 1293.39/1294.42 c nbDecision=1474500 #constraints=37124 1293.99/1295.01 c nbDecision=1475000 #constraints=37136 1294.59/1295.61 c nbDecision=1475500 #constraints=37147 1295.59/1296.60 c nbDecision=1476000 #constraints=37161 1297.00/1298.08 c nbDecision=1476500 #constraints=37183 1297.59/1298.61 c nbDecision=1477000 #constraints=37192 1298.20/1299.22 c nbDecision=1477500 #constraints=37203 1298.89/1299.94 c nbDecision=1478000 #constraints=37212 1299.69/1300.73 c nbDecision=1478500 #constraints=37220 1300.79/1301.81 c nbDecision=1479000 #constraints=37236 1301.29/1302.34 c nbDecision=1479500 #constraints=37244 1301.99/1303.09 c nbDecision=1480000 #constraints=37253 1302.79/1303.87 c nbDecision=1480500 #constraints=37266 1303.39/1304.49 c nbDecision=1481000 #constraints=37274 1304.69/1305.74 c nbDecision=1481500 #constraints=37294 1305.39/1306.48 c nbDecision=1482000 #constraints=37303 1305.89/1306.92 c nbDecision=1482500 #constraints=37309 1307.08/1308.14 c nbDecision=1483000 #constraints=37327 1307.69/1308.75 c nbDecision=1483500 #constraints=37335 1308.39/1309.44 c nbDecision=1484000 #constraints=37344 1309.59/1310.67 c nbDecision=1484500 #constraints=37362 1310.59/1311.62 c nbDecision=1485000 #constraints=37378 1311.09/1312.19 c nbDecision=1485500 #constraints=37388 1311.79/1312.86 c nbDecision=1486000 #constraints=37401 1312.29/1313.38 c nbDecision=1486500 #constraints=37409 1312.79/1313.83 c nbDecision=1487000 #constraints=37417 1313.19/1314.28 c nbDecision=1487500 #constraints=37427 1313.79/1314.85 c nbDecision=1488000 #constraints=37438 1314.19/1315.21 c nbDecision=1488500 #constraints=37443 1314.49/1315.57 c nbDecision=1489000 #constraints=37447 1315.29/1316.39 c nbDecision=1489500 #constraints=37459 1316.19/1317.28 c nbDecision=1490000 #constraints=37470 1316.79/1317.86 c nbDecision=1490500 #constraints=37478 1317.29/1318.36 c nbDecision=1491000 #constraints=37486 1318.09/1319.13 c nbDecision=1491500 #constraints=37499 1318.79/1319.83 c nbDecision=1492000 #constraints=37512 1319.19/1320.28 c nbDecision=1492500 #constraints=37518 1319.89/1320.99 c nbDecision=1493000 #constraints=37532 1320.39/1321.46 c nbDecision=1493500 #constraints=37540 1320.99/1322.02 c nbDecision=1494000 #constraints=37551 1321.58/1322.66 c nbDecision=1494500 #constraints=37560 1322.08/1323.11 c nbDecision=1495000 #constraints=37567 1322.68/1323.71 c nbDecision=1495500 #constraints=37580 1323.08/1324.14 c nbDecision=1496000 #constraints=37587 1323.49/1324.56 c nbDecision=1496500 #constraints=37594 1324.18/1325.22 c nbDecision=1497000 #constraints=37608 1324.68/1325.70 c nbDecision=1497500 #constraints=37616 1325.28/1326.31 c nbDecision=1498000 #constraints=37629 1325.58/1326.67 c nbDecision=1498500 #constraints=37634 1326.28/1327.30 c nbDecision=1499000 #constraints=37643 1326.88/1327.91 c nbDecision=1499500 #constraints=37651 1327.38/1328.40 c nbDecision=1500000 #constraints=37657 1327.78/1328.85 c nbDecision=1500500 #constraints=37663 1328.98/1330.03 c nbDecision=1501000 #constraints=37685 1329.58/1330.62 c nbDecision=1501500 #constraints=37695 1329.98/1331.05 c nbDecision=1502000 #constraints=37703 1330.57/1331.69 c nbDecision=1502500 #constraints=37715 1331.08/1332.14 c nbDecision=1503000 #constraints=37724 1331.77/1332.88 c nbDecision=1503500 #constraints=37734 1332.77/1333.85 c nbDecision=1504000 #constraints=37749 1333.67/1334.77 c nbDecision=1504500 #constraints=37762 1334.27/1335.35 c nbDecision=1505000 #constraints=37772 1334.87/1335.96 c nbDecision=1505500 #constraints=37785 1335.48/1336.55 c nbDecision=1506000 #constraints=37797 1335.97/1337.10 c nbDecision=1506500 #constraints=37806 1336.67/1337.72 c nbDecision=1507000 #constraints=37818 1337.17/1338.23 c nbDecision=1507500 #constraints=37827 1337.67/1338.74 c nbDecision=1508000 #constraints=37835 1338.37/1339.44 c nbDecision=1508500 #constraints=37848 1338.97/1340.03 c nbDecision=1509000 #constraints=37859 1339.67/1340.80 c nbDecision=1509500 #constraints=37871 1340.37/1341.47 c nbDecision=1510000 #constraints=37887 1341.07/1342.19 c nbDecision=1510500 #constraints=37905 1341.66/1342.74 c nbDecision=1511000 #constraints=37916 1342.07/1343.11 c nbDecision=1511500 #constraints=37922 1343.06/1344.18 c nbDecision=1512000 #constraints=37936 1343.76/1344.85 c nbDecision=1512500 #constraints=37946 1344.46/1345.53 c nbDecision=1513000 #constraints=37958 1344.96/1346.05 c nbDecision=1513500 #constraints=37967 1345.47/1346.56 c nbDecision=1514000 #constraints=37975 1345.86/1346.98 c nbDecision=1514500 #constraints=37982 1346.96/1348.07 c nbDecision=1515000 #constraints=38001 1347.57/1348.60 c nbDecision=1515500 #constraints=38010 1348.36/1349.47 c nbDecision=1516000 #constraints=38020 1348.86/1349.94 c nbDecision=1516500 #constraints=38027 1349.56/1350.70 c nbDecision=1517000 #constraints=38041 1350.16/1351.24 c nbDecision=1517500 #constraints=38050 1350.66/1351.76 c nbDecision=1518000 #constraints=38057 1351.66/1352.78 c nbDecision=1518500 #constraints=38075 1352.26/1353.34 c nbDecision=1519000 #constraints=38084 1352.96/1354.01 c nbDecision=1519500 #constraints=38094 1354.16/1355.25 c nbDecision=1520000 #constraints=38115 1354.65/1355.77 c nbDecision=1520500 #constraints=38124 1355.15/1356.21 c nbDecision=1521000 #constraints=38131 1355.55/1356.68 c nbDecision=1521500 #constraints=38138 1356.55/1357.65 c nbDecision=1522000 #constraints=38156 1357.05/1358.16 c nbDecision=1522500 #constraints=38164 1357.95/1359.00 c nbDecision=1523000 #constraints=38179 1358.45/1359.50 c nbDecision=1523500 #constraints=38191 1358.95/1360.05 c nbDecision=1524000 #constraints=38201 1359.45/1360.57 c nbDecision=1524500 #constraints=38212 1360.15/1361.24 c nbDecision=1525000 #constraints=38223 1361.15/1362.26 c nbDecision=1525500 #constraints=38243 1361.75/1362.87 c nbDecision=1526000 #constraints=38254 1362.55/1363.64 c nbDecision=1526500 #constraints=38270 1363.45/1364.57 c nbDecision=1527000 #constraints=38290 1364.05/1365.18 c nbDecision=1527500 #constraints=38304 1364.85/1365.95 c nbDecision=1528000 #constraints=38316 1365.65/1366.79 c nbDecision=1528500 #constraints=38328 1366.45/1367.54 c nbDecision=1529000 #constraints=38340 1367.05/1368.20 c nbDecision=1529500 #constraints=38351 1367.75/1368.82 c nbDecision=1530000 #constraints=38362 1368.25/1369.32 c nbDecision=1530500 #constraints=38370 1368.64/1369.76 c nbDecision=1531000 #constraints=38377 1369.14/1370.26 c nbDecision=1531500 #constraints=38387 1369.94/1371.00 c nbDecision=1532000 #constraints=38401 1370.54/1371.65 c nbDecision=1532500 #constraints=38411 1371.24/1372.31 c nbDecision=1533000 #constraints=38418 1371.85/1372.93 c nbDecision=1533500 #constraints=38429 1372.64/1373.70 c nbDecision=1534000 #constraints=38445 1373.04/1374.19 c nbDecision=1534500 #constraints=38455 1374.14/1375.27 c nbDecision=1535000 #constraints=38475 1374.84/1375.95 c nbDecision=1535500 #constraints=38486 1375.44/1376.54 c nbDecision=1536000 #constraints=38497 1376.14/1377.22 c nbDecision=1536500 #constraints=38508 1377.04/1378.10 c nbDecision=1537000 #constraints=38524 1377.64/1378.73 c nbDecision=1537500 #constraints=38535 1378.24/1379.38 c nbDecision=1538000 #constraints=38546 1378.74/1379.90 c nbDecision=1538500 #constraints=38554 1379.24/1380.39 c nbDecision=1539000 #constraints=38562 1379.74/1380.87 c nbDecision=1539500 #constraints=38571 1380.54/1381.64 c nbDecision=1540000 #constraints=38584 1380.94/1382.09 c nbDecision=1540500 #constraints=38591 1381.54/1382.63 c nbDecision=1541000 #constraints=38600 1382.04/1383.16 c nbDecision=1541500 #constraints=38609 1382.54/1383.61 c nbDecision=1542000 #constraints=38617 1383.54/1384.60 c nbDecision=1542500 #constraints=38630 1384.14/1385.20 c nbDecision=1543000 #constraints=38640 1384.84/1385.92 c nbDecision=1543500 #constraints=38650 1385.64/1386.75 c nbDecision=1544000 #constraints=38664 1386.64/1387.77 c nbDecision=1544500 #constraints=38679 1387.64/1388.71 c nbDecision=1545000 #constraints=38693 1388.83/1389.93 c nbDecision=1545500 #constraints=38712 1389.63/1390.78 c nbDecision=1546000 #constraints=38728 1390.44/1391.51 c nbDecision=1546500 #constraints=38739 1391.54/1392.62 c nbDecision=1547000 #constraints=38757 1392.13/1393.25 c nbDecision=1547500 #constraints=38767 1393.43/1394.58 c nbDecision=1548000 #constraints=38783 1394.43/1395.55 c nbDecision=1548500 #constraints=38798 1395.23/1396.30 c nbDecision=1549000 #constraints=38813 1395.73/1396.82 c nbDecision=1549500 #constraints=38824 1396.23/1397.39 c nbDecision=1550000 #constraints=38833 1396.93/1398.03 c nbDecision=1550500 #constraints=38846 1397.33/1398.49 c nbDecision=1551000 #constraints=38854 1398.03/1399.12 c nbDecision=1551500 #constraints=38866 1398.43/1399.59 c nbDecision=1552000 #constraints=38876 1399.13/1400.28 c nbDecision=1552500 #constraints=38883 1399.92/1401.00 c nbDecision=1553000 #constraints=38897 1400.52/1401.69 c nbDecision=1553500 #constraints=38906 1401.62/1402.75 c nbDecision=1554000 #constraints=38924 1402.22/1403.35 c nbDecision=1554500 #constraints=38937 1402.62/1403.72 c nbDecision=1555000 #constraints=38944 1403.32/1404.46 c nbDecision=1555500 #constraints=38955 1404.02/1405.14 c nbDecision=1556000 #constraints=38968 1404.82/1405.99 c nbDecision=1556500 #constraints=38982 1405.32/1406.47 c nbDecision=1557000 #constraints=38989 1405.82/1406.94 c nbDecision=1557500 #constraints=38998 1406.52/1407.64 c nbDecision=1558000 #constraints=39008 1407.12/1408.26 c nbDecision=1558500 #constraints=39017 1407.72/1408.80 c nbDecision=1559000 #constraints=39026 1408.52/1409.64 c nbDecision=1559500 #constraints=39042 1409.12/1410.23 c nbDecision=1560000 #constraints=39054 1409.72/1410.82 c nbDecision=1560500 #constraints=39064 1410.22/1411.35 c nbDecision=1561000 #constraints=39074 1410.72/1411.89 c nbDecision=1561500 #constraints=39084 1411.32/1412.47 c nbDecision=1562000 #constraints=39096 1412.72/1413.83 c nbDecision=1562500 #constraints=39115 1413.42/1414.55 c nbDecision=1563000 #constraints=39129 1414.11/1415.26 c nbDecision=1563500 #constraints=39141 1414.61/1415.75 c nbDecision=1564000 #constraints=39154 1415.31/1416.49 c nbDecision=1564500 #constraints=39168 1416.71/1417.89 c nbDecision=1565000 #constraints=39191 1417.91/1419.04 c nbDecision=1565500 #constraints=39207 1418.81/1419.97 c nbDecision=1566000 #constraints=39223 1419.61/1420.74 c nbDecision=1566500 #constraints=39234 1420.01/1421.11 c nbDecision=1567000 #constraints=39242 1420.80/1421.97 c nbDecision=1567500 #constraints=39259 1421.70/1422.86 c nbDecision=1568000 #constraints=39277 1422.41/1423.51 c nbDecision=1568500 #constraints=39286 1423.00/1424.10 c nbDecision=1569000 #constraints=39294 1423.41/1424.51 c nbDecision=1569500 #constraints=39299 1423.90/1425.05 c nbDecision=1570000 #constraints=39305 1424.30/1425.43 c nbDecision=1570500 #constraints=39310 1425.30/1426.45 c nbDecision=1571000 #constraints=39322 1425.90/1427.06 c nbDecision=1571500 #constraints=39331 1426.60/1427.72 c nbDecision=1572000 #constraints=39341 1427.10/1428.21 c nbDecision=1572500 #constraints=39346 1428.20/1429.30 c nbDecision=1573000 #constraints=39357 1428.80/1429.95 c nbDecision=1573500 #constraints=39366 1429.30/1430.46 c nbDecision=1574000 #constraints=39373 1429.90/1431.09 c nbDecision=1574500 #constraints=39381 1430.70/1431.88 c nbDecision=1575000 #constraints=39395 1431.21/1432.33 c nbDecision=1575500 #constraints=39401 1432.40/1433.52 c nbDecision=1576000 #constraints=39418 1432.90/1434.06 c nbDecision=1576500 #constraints=39427 1433.60/1434.77 c nbDecision=1577000 #constraints=39442 1434.40/1435.54 c nbDecision=1577500 #constraints=39459 1434.80/1435.99 c nbDecision=1578000 #constraints=39467 1435.40/1436.56 c nbDecision=1578500 #constraints=39477 1435.90/1437.09 c nbDecision=1579000 #constraints=39488 1436.40/1437.58 c nbDecision=1579500 #constraints=39497 1437.40/1438.59 c nbDecision=1580000 #constraints=39512 1438.00/1439.19 c nbDecision=1580500 #constraints=39518 1438.50/1439.63 c nbDecision=1581000 #constraints=39527 1439.10/1440.21 c nbDecision=1581500 #constraints=39537 1439.70/1440.83 c nbDecision=1582000 #constraints=39549 1440.20/1441.30 c nbDecision=1582500 #constraints=39558 1441.00/1442.12 c nbDecision=1583000 #constraints=39575 1441.70/1442.82 c nbDecision=1583500 #constraints=39586 1442.10/1443.29 c nbDecision=1584000 #constraints=39594 1442.80/1443.97 c nbDecision=1584500 #constraints=39608 1443.40/1444.58 c nbDecision=1585000 #constraints=39618 1443.90/1445.05 c nbDecision=1585500 #constraints=39627 1444.89/1446.00 c nbDecision=1586000 #constraints=39639 1445.29/1446.43 c nbDecision=1586500 #constraints=39644 1445.69/1446.88 c nbDecision=1587000 #constraints=39649 1446.09/1447.22 c nbDecision=1587500 #constraints=39654 1447.19/1448.36 c nbDecision=1588000 #constraints=39669 1447.78/1448.96 c nbDecision=1588500 #constraints=39677 1448.28/1449.49 c nbDecision=1589000 #constraints=39687 1448.88/1450.03 c nbDecision=1589500 #constraints=39693 1449.68/1450.87 c nbDecision=1590000 #constraints=39706 1450.18/1451.36 c nbDecision=1590500 #constraints=39715 1451.48/1452.60 c nbDecision=1591000 #constraints=39738 1451.88/1453.10 c nbDecision=1591500 #constraints=39747 1452.58/1453.74 c nbDecision=1592000 #constraints=39758 1453.38/1454.52 c nbDecision=1592500 #constraints=39771 1454.08/1455.24 c nbDecision=1593000 #constraints=39785 1454.68/1455.84 c nbDecision=1593500 #constraints=39794 1455.58/1456.70 c nbDecision=1594000 #constraints=39811 1456.38/1457.57 c nbDecision=1594500 #constraints=39830 1456.88/1458.08 c nbDecision=1595000 #constraints=39842 1457.68/1458.87 c nbDecision=1595500 #constraints=39858 1458.48/1459.60 c nbDecision=1596000 #constraints=39873 1458.97/1460.12 c nbDecision=1596500 #constraints=39880 1459.57/1460.80 c nbDecision=1597000 #constraints=39894 1460.27/1461.49 c nbDecision=1597500 #constraints=39907 1460.97/1462.16 c nbDecision=1598000 #constraints=39918 1461.77/1462.95 c nbDecision=1598500 #constraints=39932 1462.57/1463.71 c nbDecision=1599000 #constraints=39948 1462.97/1464.13 c nbDecision=1599500 #constraints=39956 1463.77/1464.94 c nbDecision=1600000 #constraints=39971 1464.27/1465.47 c nbDecision=1600500 #constraints=39980 1464.87/1466.00 c nbDecision=1601000 #constraints=39988 1465.67/1466.81 c nbDecision=1601500 #constraints=40001 1466.07/1467.29 c nbDecision=1602000 #constraints=40009 1466.98/1468.19 c nbDecision=1602500 #constraints=40030 1467.57/1468.76 c nbDecision=1603000 #constraints=40040 1468.37/1469.59 c nbDecision=1603500 #constraints=40059 1469.17/1470.32 c nbDecision=1604000 #constraints=40072 1469.77/1470.97 c nbDecision=1604500 #constraints=40082 1470.68/1471.84 c nbDecision=1605000 #constraints=40102 1471.17/1472.30 c nbDecision=1605500 #constraints=40110 1472.27/1473.41 c nbDecision=1606000 #constraints=40126 1473.07/1474.28 c nbDecision=1606500 #constraints=40142 1473.57/1474.72 c nbDecision=1607000 #constraints=40149 1474.17/1475.39 c nbDecision=1607500 #constraints=40161 1474.67/1475.84 c nbDecision=1608000 #constraints=40167 1476.07/1477.20 c nbDecision=1608500 #constraints=40189 1476.77/1477.98 c nbDecision=1609000 #constraints=40204 1477.87/1479.00 c nbDecision=1609500 #constraints=40225 1478.37/1479.52 c nbDecision=1610000 #constraints=40234 1478.87/1480.02 c nbDecision=1610500 #constraints=40241 1479.37/1480.51 c nbDecision=1611000 #constraints=40247 1479.97/1481.20 c nbDecision=1611500 #constraints=40258 1480.87/1482.07 c nbDecision=1612000 #constraints=40274 1481.67/1482.87 c nbDecision=1612500 #constraints=40285 1482.26/1483.49 c nbDecision=1613000 #constraints=40295 1482.96/1484.14 c nbDecision=1613500 #constraints=40305 1483.66/1484.87 c nbDecision=1614000 #constraints=40318 1484.36/1485.59 c nbDecision=1614500 #constraints=40330 1485.16/1486.34 c nbDecision=1615000 #constraints=40341 1485.86/1487.06 c nbDecision=1615500 #constraints=40352 1486.96/1488.14 c nbDecision=1616000 #constraints=40369 1487.46/1488.61 c nbDecision=1616500 #constraints=40375 1488.06/1489.28 c nbDecision=1617000 #constraints=40386 1488.86/1490.02 c nbDecision=1617500 #constraints=40400 1489.26/1490.44 c nbDecision=1618000 #constraints=40407 1489.86/1491.07 c nbDecision=1618500 #constraints=40422 1490.36/1491.54 c nbDecision=1619000 #constraints=40430 1491.15/1492.37 c nbDecision=1619500 #constraints=40448 1491.66/1492.89 c nbDecision=1620000 #constraints=40456 1492.35/1493.55 c nbDecision=1620500 #constraints=40471 1492.95/1494.15 c nbDecision=1621000 #constraints=40484 1493.35/1494.54 c nbDecision=1621500 #constraints=40490 1494.45/1495.65 c nbDecision=1622000 #constraints=40506 1495.35/1496.57 c nbDecision=1622500 #constraints=40520 1496.05/1497.28 c nbDecision=1623000 #constraints=40532 1496.55/1497.79 c nbDecision=1623500 #constraints=40539 1497.65/1498.86 c nbDecision=1624000 #constraints=40560 1498.15/1499.35 c nbDecision=1624500 #constraints=40569 1498.65/1499.82 c nbDecision=1625000 #constraints=40578 1499.05/1500.24 c nbDecision=1625500 #constraints=40585 1499.75/1500.93 c nbDecision=1626000 #constraints=40597 1500.15/1501.36 c nbDecision=1626500 #constraints=40605 1500.85/1502.04 c nbDecision=1627000 #constraints=40620 1501.45/1502.64 c nbDecision=1627500 #constraints=40631 1501.95/1503.17 c nbDecision=1628000 #constraints=40638 1502.65/1503.88 c nbDecision=1628500 #constraints=40651 1503.34/1504.56 c nbDecision=1629000 #constraints=40663 1503.94/1505.16 c nbDecision=1629500 #constraints=40673 1504.64/1505.82 c nbDecision=1630000 #constraints=40684 1505.14/1506.33 c nbDecision=1630500 #constraints=40698 1505.64/1506.83 c nbDecision=1631000 #constraints=40706 1506.04/1507.23 c nbDecision=1631500 #constraints=40713 1506.54/1507.79 c nbDecision=1632000 #constraints=40721 1507.24/1508.47 c nbDecision=1632500 #constraints=40737 1507.74/1508.93 c nbDecision=1633000 #constraints=40747 1508.34/1509.53 c nbDecision=1633500 #constraints=40760 1508.94/1510.13 c nbDecision=1634000 #constraints=40773 1509.44/1510.67 c nbDecision=1634500 #constraints=40780 1509.94/1511.17 c nbDecision=1635000 #constraints=40790 1510.34/1511.53 c nbDecision=1635500 #constraints=40796 1511.04/1512.22 c nbDecision=1636000 #constraints=40809 1511.74/1512.91 c nbDecision=1636500 #constraints=40825 1512.94/1514.12 c nbDecision=1637000 #constraints=40839 1513.54/1514.80 c nbDecision=1637500 #constraints=40851 1514.03/1515.26 c nbDecision=1638000 #constraints=40859 1514.53/1515.73 c restart after 1638401 decisions 1515.93/1517.17 c nbDecision=1638500 #constraints=40865 1516.13/1517.37 c nbDecision=1639000 #constraints=40865 1516.23/1517.50 c nbDecision=1639500 #constraints=40865 1517.53/1518.71 c nbDecision=1640000 #constraints=40871 1517.94/1519.16 c nbDecision=1640500 #constraints=40879 1518.53/1519.70 c nbDecision=1641000 #constraints=40888 1519.23/1520.48 c nbDecision=1641500 #constraints=40900 1519.93/1521.18 c nbDecision=1642000 #constraints=40912 1520.63/1521.84 c nbDecision=1642500 #constraints=40924 1521.13/1522.35 c nbDecision=1643000 #constraints=40934 1521.63/1522.88 c nbDecision=1643500 #constraints=40942 1522.23/1523.46 c nbDecision=1644000 #constraints=40952 1523.03/1524.29 c nbDecision=1644500 #constraints=40967 1523.83/1525.03 c nbDecision=1645000 #constraints=40978 1524.63/1525.86 c nbDecision=1645500 #constraints=40986 1525.43/1526.64 c nbDecision=1646000 #constraints=40997 1525.93/1527.12 c nbDecision=1646500 #constraints=41005 1526.73/1527.95 c nbDecision=1647000 #constraints=41015 1527.13/1528.39 c nbDecision=1647500 #constraints=41024 1527.83/1529.02 c nbDecision=1648000 #constraints=41034 1528.73/1529.97 c nbDecision=1648500 #constraints=41050 1529.53/1530.73 c nbDecision=1649000 #constraints=41063 1530.33/1531.59 c nbDecision=1649500 #constraints=41077 1530.93/1532.14 c nbDecision=1650000 #constraints=41084 1531.63/1532.84 c nbDecision=1650500 #constraints=41095 1532.33/1533.55 c nbDecision=1651000 #constraints=41106 1533.02/1534.27 c nbDecision=1651500 #constraints=41118 1534.02/1535.20 c nbDecision=1652000 #constraints=41131 1534.72/1535.95 c nbDecision=1652500 #constraints=41146 1535.53/1536.76 c nbDecision=1653000 #constraints=41163 1535.92/1537.18 c nbDecision=1653500 #constraints=41171 1536.52/1537.76 c nbDecision=1654000 #constraints=41180 1537.22/1538.42 c nbDecision=1654500 #constraints=41192 1537.72/1538.94 c nbDecision=1655000 #constraints=41200 1538.82/1540.04 c nbDecision=1655500 #constraints=41223 1539.71/1540.93 c nbDecision=1656000 #constraints=41241 1540.41/1541.68 c nbDecision=1656500 #constraints=41257 1541.13/1542.35 c nbDecision=1657000 #constraints=41268 1542.32/1543.55 c nbDecision=1657500 #constraints=41288 1543.22/1544.44 c nbDecision=1658000 #constraints=41305 1544.12/1545.35 c nbDecision=1658500 #constraints=41320 1544.92/1546.18 c nbDecision=1659000 #constraints=41335 1545.62/1546.89 c nbDecision=1659500 #constraints=41347 1546.52/1547.76 c nbDecision=1660000 #constraints=41366 1547.42/1548.65 c nbDecision=1660500 #constraints=41378 1548.02/1549.29 c nbDecision=1661000 #constraints=41387 1548.82/1550.02 c nbDecision=1661500 #constraints=41397 1549.41/1550.65 c nbDecision=1662000 #constraints=41408 1550.61/1551.89 c nbDecision=1662500 #constraints=41422 1551.41/1552.60 c nbDecision=1663000 #constraints=41434 1551.91/1553.15 c nbDecision=1663500 #constraints=41441 1552.61/1553.89 c nbDecision=1664000 #constraints=41449 1553.41/1554.61 c nbDecision=1664500 #constraints=41456 1553.91/1555.11 c nbDecision=1665000 #constraints=41462 1554.61/1555.88 c nbDecision=1665500 #constraints=41475 1555.41/1556.67 c nbDecision=1666000 #constraints=41485 1556.31/1557.59 c nbDecision=1666500 #constraints=41498 1556.91/1558.17 c nbDecision=1667000 #constraints=41506 1557.61/1558.85 c nbDecision=1667500 #constraints=41520 1558.41/1559.62 c nbDecision=1668000 #constraints=41532 1559.11/1560.31 c nbDecision=1668500 #constraints=41544 1560.10/1561.31 c nbDecision=1669000 #constraints=41564 1560.81/1562.10 c nbDecision=1669500 #constraints=41576 1561.30/1562.56 c nbDecision=1670000 #constraints=41582 1562.01/1563.24 c nbDecision=1670500 #constraints=41592 1562.80/1564.01 c nbDecision=1671000 #constraints=41605 1563.50/1564.70 c nbDecision=1671500 #constraints=41617 1564.21/1565.44 c nbDecision=1672000 #constraints=41631 1564.90/1566.18 c nbDecision=1672500 #constraints=41640 1565.50/1566.78 c nbDecision=1673000 #constraints=41646 1566.10/1567.38 c nbDecision=1673500 #constraints=41652 1566.80/1568.06 c nbDecision=1674000 #constraints=41661 1568.00/1569.26 c nbDecision=1674500 #constraints=41679 1568.90/1570.11 c nbDecision=1675000 #constraints=41695 1569.50/1570.78 c nbDecision=1675500 #constraints=41706 1570.20/1571.46 c nbDecision=1676000 #constraints=41717 1570.80/1572.07 c nbDecision=1676500 #constraints=41728 1572.10/1573.37 c nbDecision=1677000 #constraints=41751 1572.70/1573.97 c nbDecision=1677500 #constraints=41761 1573.59/1574.85 c nbDecision=1678000 #constraints=41771 1574.39/1575.67 c nbDecision=1678500 #constraints=41785 1575.10/1576.32 c nbDecision=1679000 #constraints=41794 1575.69/1576.94 c nbDecision=1679500 #constraints=41805 1576.20/1577.41 c nbDecision=1680000 #constraints=41813 1576.79/1578.06 c nbDecision=1680500 #constraints=41821 1577.30/1578.56 c nbDecision=1681000 #constraints=41827 1577.99/1579.27 c nbDecision=1681500 #constraints=41842 1578.69/1579.90 c nbDecision=1682000 #constraints=41854 1579.49/1580.74 c nbDecision=1682500 #constraints=41867 1580.09/1581.30 c nbDecision=1683000 #constraints=41878 1580.89/1582.11 c nbDecision=1683500 #constraints=41891 1581.69/1582.91 c nbDecision=1684000 #constraints=41905 1582.19/1583.48 c nbDecision=1684500 #constraints=41914 1583.08/1584.32 c nbDecision=1685000 #constraints=41926 1583.78/1585.10 c nbDecision=1685500 #constraints=41941 1584.38/1585.69 c nbDecision=1686000 #constraints=41953 1585.49/1586.70 c nbDecision=1686500 #constraints=41967 1586.09/1587.33 c nbDecision=1687000 #constraints=41977 1586.79/1588.08 c nbDecision=1687500 #constraints=41989 1587.89/1589.11 c nbDecision=1688000 #constraints=42009 1588.39/1589.64 c nbDecision=1688500 #constraints=42017 1589.29/1590.60 c nbDecision=1689000 #constraints=42027 1590.19/1591.42 c nbDecision=1689500 #constraints=42038 1590.59/1591.86 c nbDecision=1690000 #constraints=42044 1591.08/1592.32 c nbDecision=1690500 #constraints=42048 1592.18/1593.41 c nbDecision=1691000 #constraints=42062 1592.88/1594.11 c nbDecision=1691500 #constraints=42073 1593.48/1594.77 c nbDecision=1692000 #constraints=42084 1593.98/1595.27 c nbDecision=1692500 #constraints=42091 1594.78/1596.07 c nbDecision=1693000 #constraints=42104 1595.28/1596.55 c nbDecision=1693500 #constraints=42111 1595.88/1597.13 c nbDecision=1694000 #constraints=42118 1596.48/1597.71 c nbDecision=1694500 #constraints=42124 1597.18/1598.49 c nbDecision=1695000 #constraints=42133 1598.07/1599.39 c nbDecision=1695500 #constraints=42148 1598.68/1599.92 c nbDecision=1696000 #constraints=42157 1599.57/1600.80 c nbDecision=1696500 #constraints=42177 1600.07/1601.36 c nbDecision=1697000 #constraints=42185 1600.97/1602.25 c nbDecision=1697500 #constraints=42201 1601.58/1602.87 c nbDecision=1698000 #constraints=42213 1602.07/1603.35 c nbDecision=1698500 #constraints=42219 1603.17/1604.40 c nbDecision=1699000 #constraints=42235 1603.47/1604.79 c nbDecision=1699500 #constraints=42242 1604.27/1605.58 c nbDecision=1700000 #constraints=42255 1604.97/1606.23 c nbDecision=1700500 #constraints=42266 1605.67/1606.97 c nbDecision=1701000 #constraints=42278 1606.57/1607.80 c nbDecision=1701500 #constraints=42291 1607.27/1608.51 c nbDecision=1702000 #constraints=42304 1607.77/1609.09 c nbDecision=1702500 #constraints=42312 1608.47/1609.76 c nbDecision=1703000 #constraints=42324 1609.27/1610.59 c nbDecision=1703500 #constraints=42341 1610.37/1611.61 c nbDecision=1704000 #constraints=42358 1611.07/1612.33 c nbDecision=1704500 #constraints=42373 1611.97/1613.29 c nbDecision=1705000 #constraints=42389 1612.77/1614.06 c nbDecision=1705500 #constraints=42402 1613.67/1614.95 c nbDecision=1706000 #constraints=42418 1614.37/1615.66 c nbDecision=1706500 #constraints=42430 1615.07/1616.34 c nbDecision=1707000 #constraints=42442 1615.87/1617.16 c nbDecision=1707500 #constraints=42457 1616.57/1617.89 c nbDecision=1708000 #constraints=42471 1617.37/1618.60 c nbDecision=1708500 #constraints=42483 1618.17/1619.44 c nbDecision=1709000 #constraints=42495 1618.97/1620.29 c nbDecision=1709500 #constraints=42513 1620.07/1621.33 c nbDecision=1710000 #constraints=42530 1620.97/1622.20 c nbDecision=1710500 #constraints=42541 1621.67/1622.95 c nbDecision=1711000 #constraints=42555 1622.86/1624.11 c nbDecision=1711500 #constraints=42576 1623.47/1624.79 c nbDecision=1712000 #constraints=42588 1624.67/1625.99 c nbDecision=1712500 #constraints=42604 1625.56/1626.81 c nbDecision=1713000 #constraints=42613 1626.36/1627.68 c nbDecision=1713500 #constraints=42628 1627.46/1628.72 c nbDecision=1714000 #constraints=42647 1628.66/1629.95 c nbDecision=1714500 #constraints=42666 1629.55/1630.83 c nbDecision=1715000 #constraints=42675 1630.25/1631.52 c nbDecision=1715500 #constraints=42682 1630.95/1632.20 c nbDecision=1716000 #constraints=42691 1631.55/1632.88 c nbDecision=1716500 #constraints=42701 1632.55/1633.82 c nbDecision=1717000 #constraints=42715 1633.65/1634.90 c nbDecision=1717500 #constraints=42727 1634.35/1635.60 c nbDecision=1718000 #constraints=42735 1635.25/1636.59 c nbDecision=1718500 #constraints=42751 1635.95/1637.28 c nbDecision=1719000 #constraints=42762 1636.95/1638.29 c nbDecision=1719500 #constraints=42776 1637.85/1639.11 c nbDecision=1720000 #constraints=42789 1638.65/1639.97 c nbDecision=1720500 #constraints=42806 1639.64/1640.94 c nbDecision=1721000 #constraints=42819 1640.54/1641.82 c nbDecision=1721500 #constraints=42834 1642.04/1643.35 c nbDecision=1722000 #constraints=42857 1642.94/1644.20 c nbDecision=1722500 #constraints=42871 1643.34/1644.69 c nbDecision=1723000 #constraints=42878 1644.24/1645.56 c nbDecision=1723500 #constraints=42891 1645.04/1646.34 c nbDecision=1724000 #constraints=42902 1646.04/1647.31 c nbDecision=1724500 #constraints=42915 1646.64/1647.99 c nbDecision=1725000 #constraints=42924 1647.74/1649.05 c nbDecision=1725500 #constraints=42937 1648.24/1649.53 c nbDecision=1726000 #constraints=42945 1649.04/1650.37 c nbDecision=1726500 #constraints=42957 1649.94/1651.23 c nbDecision=1727000 #constraints=42972 1650.64/1651.94 c nbDecision=1727500 #constraints=42983 1651.34/1652.68 c nbDecision=1728000 #constraints=42993 1651.94/1653.23 c nbDecision=1728500 #constraints=43000 1652.94/1654.26 c nbDecision=1729000 #constraints=43014 1653.74/1655.00 c nbDecision=1729500 #constraints=43027 1654.44/1655.76 c nbDecision=1730000 #constraints=43039 1655.04/1656.35 c nbDecision=1730500 #constraints=43047 1655.93/1657.27 c nbDecision=1731000 #constraints=43060 1656.83/1658.15 c nbDecision=1731500 #constraints=43074 1657.54/1658.82 c nbDecision=1732000 #constraints=43084 1658.33/1659.66 c nbDecision=1732500 #constraints=43097 1659.03/1660.30 c nbDecision=1733000 #constraints=43109 1659.84/1661.13 c nbDecision=1733500 #constraints=43120 1660.33/1661.63 c nbDecision=1734000 #constraints=43127 1661.33/1662.64 c nbDecision=1734500 #constraints=43139 1661.94/1663.26 c nbDecision=1735000 #constraints=43146 1662.53/1663.84 c nbDecision=1735500 #constraints=43156 1663.04/1664.39 c nbDecision=1736000 #constraints=43163 1663.93/1665.21 c nbDecision=1736500 #constraints=43174 1664.43/1665.73 c nbDecision=1737000 #constraints=43181 1665.43/1666.71 c nbDecision=1737500 #constraints=43195 1666.13/1667.48 c nbDecision=1738000 #constraints=43207 1667.23/1668.55 c nbDecision=1738500 #constraints=43222 1667.83/1669.14 c nbDecision=1739000 #constraints=43231 1668.73/1670.01 c nbDecision=1739500 #constraints=43246 1669.33/1670.62 c nbDecision=1740000 #constraints=43255 1670.23/1671.56 c nbDecision=1740500 #constraints=43270 1671.03/1672.33 c nbDecision=1741000 #constraints=43282 1671.73/1673.04 c nbDecision=1741500 #constraints=43291 1672.23/1673.53 c nbDecision=1742000 #constraints=43298 1673.23/1674.53 c nbDecision=1742500 #constraints=43315 1673.93/1675.24 c nbDecision=1743000 #constraints=43324 1674.63/1675.93 c nbDecision=1743500 #constraints=43334 1675.62/1676.91 c nbDecision=1744000 #constraints=43351 1676.32/1677.67 c nbDecision=1744500 #constraints=43364 1677.02/1678.32 c nbDecision=1745000 #constraints=43375 1677.62/1678.92 c nbDecision=1745500 #constraints=43385 1678.22/1679.58 c nbDecision=1746000 #constraints=43398 1679.02/1680.37 c nbDecision=1746500 #constraints=43413 1679.92/1681.28 c nbDecision=1747000 #constraints=43431 1680.52/1681.82 c nbDecision=1747500 #constraints=43439 1681.42/1682.70 c nbDecision=1748000 #constraints=43451 1682.22/1683.51 c nbDecision=1748500 #constraints=43463 1683.42/1684.70 c nbDecision=1749000 #constraints=43482 1684.41/1685.70 c nbDecision=1749500 #constraints=43500 1685.11/1686.49 c nbDecision=1750000 #constraints=43516 1685.61/1686.99 c nbDecision=1750500 #constraints=43523 1686.51/1687.86 c nbDecision=1751000 #constraints=43539 1687.31/1688.64 c nbDecision=1751500 #constraints=43555 1687.91/1689.26 c nbDecision=1752000 #constraints=43566 1688.71/1690.03 c nbDecision=1752500 #constraints=43581 1689.41/1690.71 c nbDecision=1753000 #constraints=43593 1690.31/1691.61 c nbDecision=1753500 #constraints=43610 1690.90/1692.23 c nbDecision=1754000 #constraints=43622 1691.30/1692.69 c nbDecision=1754500 #constraints=43629 1691.80/1693.17 c nbDecision=1755000 #constraints=43638 1692.90/1694.22 c nbDecision=1755500 #constraints=43651 1694.10/1695.44 c nbDecision=1756000 #constraints=43670 1694.80/1696.12 c nbDecision=1756500 #constraints=43679 1695.60/1696.92 c nbDecision=1757000 #constraints=43692 1696.60/1697.91 c nbDecision=1757500 #constraints=43708 1697.30/1698.64 c nbDecision=1758000 #constraints=43719 1698.10/1699.46 c nbDecision=1758500 #constraints=43733 1699.00/1700.31 c nbDecision=1759000 #constraints=43748 1699.60/1700.97 c nbDecision=1759500 #constraints=43758 1700.40/1701.74 c nbDecision=1760000 #constraints=43766 1700.90/1702.28 c nbDecision=1760500 #constraints=43772 1701.80/1703.11 c nbDecision=1761000 #constraints=43785 1702.60/1703.97 c nbDecision=1761500 #constraints=43801 1703.60/1704.90 c nbDecision=1762000 #constraints=43817 1704.20/1705.51 c nbDecision=1762500 #constraints=43826 1704.90/1706.29 c nbDecision=1763000 #constraints=43836 1705.70/1707.01 c nbDecision=1763500 #constraints=43843 1706.50/1707.87 c nbDecision=1764000 #constraints=43857 1707.40/1708.72 c nbDecision=1764500 #constraints=43871 1708.20/1709.54 c nbDecision=1765000 #constraints=43885 1709.00/1710.32 c nbDecision=1765500 #constraints=43895 1709.70/1711.01 c nbDecision=1766000 #constraints=43904 1710.40/1711.76 c nbDecision=1766500 #constraints=43914 1711.79/1713.14 c nbDecision=1767000 #constraints=43930 1712.89/1714.22 c nbDecision=1767500 #constraints=43943 1713.49/1714.85 c nbDecision=1768000 #constraints=43949 1714.09/1715.41 c nbDecision=1768500 #constraints=43954 1714.80/1716.14 c nbDecision=1769000 #constraints=43965 1715.39/1716.79 c nbDecision=1769500 #constraints=43975 1716.29/1717.60 c nbDecision=1770000 #constraints=43985 1717.19/1718.60 c nbDecision=1770500 #constraints=43998 1717.79/1719.11 c nbDecision=1771000 #constraints=44003 1718.59/1719.94 c nbDecision=1771500 #constraints=44014 1719.39/1720.78 c nbDecision=1772000 #constraints=44026 1719.99/1721.35 c nbDecision=1772500 #constraints=44033 1720.99/1722.36 c nbDecision=1773000 #constraints=44052 1721.68/1723.04 c nbDecision=1773500 #constraints=44060 1722.49/1723.89 c nbDecision=1774000 #constraints=44072 1723.08/1724.40 c nbDecision=1774500 #constraints=44078 1723.98/1725.33 c nbDecision=1775000 #constraints=44093 1724.68/1726.06 c nbDecision=1775500 #constraints=44103 1725.38/1726.79 c nbDecision=1776000 #constraints=44114 1725.98/1727.34 c nbDecision=1776500 #constraints=44123 1726.58/1727.98 c nbDecision=1777000 #constraints=44133 1727.28/1728.62 c nbDecision=1777500 #constraints=44142 1727.88/1729.25 c nbDecision=1778000 #constraints=44151 1728.58/1729.94 c nbDecision=1778500 #constraints=44161 1729.27/1730.68 c nbDecision=1779000 #constraints=44173 1729.98/1731.40 c nbDecision=1779500 #constraints=44184 1730.68/1732.05 c nbDecision=1780000 #constraints=44194 1731.48/1732.88 c nbDecision=1780500 #constraints=44208 1732.18/1733.57 c nbDecision=1781000 #constraints=44219 1732.98/1734.33 c nbDecision=1781500 #constraints=44231 1733.58/1734.91 c nbDecision=1782000 #constraints=44239 1734.28/1735.60 c nbDecision=1782500 #constraints=44250 1734.78/1736.16 c nbDecision=1783000 #constraints=44258 1735.48/1736.88 c nbDecision=1783500 #constraints=44270 1736.18/1737.57 c nbDecision=1784000 #constraints=44281 1736.97/1738.33 c nbDecision=1784500 #constraints=44294 1737.67/1739.02 c nbDecision=1785000 #constraints=44305 1738.37/1739.76 c nbDecision=1785500 #constraints=44317 1739.07/1740.46 c nbDecision=1786000 #constraints=44324 1739.77/1741.11 c nbDecision=1786500 #constraints=44331 1740.17/1741.54 c nbDecision=1787000 #constraints=44335 1740.67/1742.02 c nbDecision=1787500 #constraints=44343 1741.07/1742.47 c nbDecision=1788000 #constraints=44352 1742.17/1743.52 c nbDecision=1788500 #constraints=44369 1743.07/1744.42 c nbDecision=1789000 #constraints=44388 1743.67/1745.05 c nbDecision=1789500 #constraints=44397 1744.27/1745.68 c nbDecision=1790000 #constraints=44408 1744.87/1746.25 c nbDecision=1790500 #constraints=44416 1745.47/1746.88 c nbDecision=1791000 #constraints=44426 1746.27/1747.69 c nbDecision=1791500 #constraints=44438 1747.27/1748.70 c nbDecision=1792000 #constraints=44454 1748.27/1749.63 c nbDecision=1792500 #constraints=44474 1748.97/1750.37 c nbDecision=1793000 #constraints=44485 1749.57/1750.99 c nbDecision=1793500 #constraints=44493 1750.16/1751.58 c nbDecision=1794000 #constraints=44500 1750.97/1752.36 c nbDecision=1794500 #constraints=44510 1751.66/1753.06 c nbDecision=1795000 #constraints=44520 1752.36/1753.79 c nbDecision=1795500 #constraints=44532 1753.17/1754.55 c nbDecision=1796000 #constraints=44544 1753.86/1755.24 c nbDecision=1796500 #constraints=44554 1754.46/1755.87 c nbDecision=1797000 #constraints=44563 1755.37/1756.73 c nbDecision=1797500 #constraints=44579 1756.06/1757.44 c nbDecision=1798000 #constraints=44590 1756.86/1758.20 c nbDecision=1798500 #constraints=44602 1757.46/1758.83 c nbDecision=1799000 #constraints=44609 1758.06/1759.44 c nbDecision=1799500 #constraints=44617 1758.66/1760.03 c nbDecision=1800000 #constraints=44625 1759.16/1760.59 c nbDecision=1800500 #constraints=44633 1760.46/1761.83 c nbDecision=1801000 #constraints=44656 1761.26/1762.60 c nbDecision=1801500 #constraints=44671 1761.86/1763.20 c nbDecision=1802000 #constraints=44682 1762.65/1764.07 c nbDecision=1802500 #constraints=44698 1763.45/1764.85 c nbDecision=1803000 #constraints=44714 1764.26/1765.65 c nbDecision=1803500 #constraints=44726 1765.26/1766.63 c nbDecision=1804000 #constraints=44744 1765.85/1767.23 c nbDecision=1804500 #constraints=44756 1766.74/1768.17 c nbDecision=1805000 #constraints=44777 1767.45/1768.86 c nbDecision=1805500 #constraints=44789 1768.14/1769.50 c nbDecision=1806000 #constraints=44802 1768.84/1770.25 c nbDecision=1806500 #constraints=44815 1769.75/1771.18 c nbDecision=1807000 #constraints=44831 1770.54/1771.96 c nbDecision=1807500 #constraints=44845 1771.04/1772.48 c nbDecision=1808000 #constraints=44854 1771.64/1773.10 c nbDecision=1808500 #constraints=44862 1772.95/1774.34 c nbDecision=1809000 #constraints=44884 1773.74/1775.11 c nbDecision=1809500 #constraints=44898 1774.33/1775.77 c nbDecision=1810000 #constraints=44909 1775.24/1776.69 c nbDecision=1810500 #constraints=44925 1775.84/1777.29 c nbDecision=1811000 #constraints=44936 1776.74/1778.16 c nbDecision=1811500 #constraints=44952 1777.54/1778.99 c nbDecision=1812000 #constraints=44969 1778.54/1779.93 c nbDecision=1812500 #constraints=44989 1779.24/1780.67 c nbDecision=1813000 #constraints=45002 1780.14/1781.58 c nbDecision=1813500 #constraints=45020 1781.04/1782.43 c nbDecision=1814000 #constraints=45035 1782.04/1783.48 c nbDecision=1814500 #constraints=45054 1783.14/1784.59 c nbDecision=1815000 #constraints=45076 1783.94/1785.33 c nbDecision=1815500 #constraints=45088 1784.64/1786.08 c nbDecision=1816000 #constraints=45102 1785.44/1786.82 c nbDecision=1816500 #constraints=45116 1786.94/1788.36 c nbDecision=1817000 #constraints=45147 1787.94/1789.32 c nbDecision=1817500 #constraints=45163 1789.03/1790.42 c nbDecision=1818000 #constraints=45181 1790.03/1791.41 c nbDecision=1818500 #constraints=45197 1791.23/1792.62 c nbDecision=1819000 #constraints=45218 1792.13/1793.51 c nbDecision=1819500 #constraints=45233 1792.74/1794.20 c nbDecision=1820000 #constraints=45245 1794.23/1795.67 c nbDecision=1820500 #constraints=45273 1795.43/1796.86 c nbDecision=1821000 #constraints=45293 1796.13/1797.58 c nbDecision=1821500 #constraints=45302 1797.33/1798.71 c nbDecision=1822000 #constraints=45326 1798.83/1800.24 c nbDecision=1822500 #constraints=45355 1799.93/1801.38 c nbDecision=1823000 #constraints=45374 1800.03/1801.40 Received signal 15 1800.03/1801.40 1800.03/1801.40 s UNKNOWN 1800.03/1801.40 1800.03/1801.40 c user time= 1799.65 s 1800.03/1801.40 c system time= 0.395939 s 1800.03/1801.40 c wall clock time=1801.41
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-357439-1176998940 -o ROOT/results/node25/solver-357439-1176998940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357439-1176998940/instance-357439-1176998940.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: 1.01 1.00 1.00 3/64 30699 /proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=1468 CPUtime=0 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 179 0 0 0 0 0 0 0 19 0 1 0 147811082 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 367 162 131 317 0 46 0 [startup+0.103377 s] /proc/loadavg: 1.01 1.00 1.00 3/64 30699 /proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=3580 CPUtime=0.09 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 720 0 0 0 9 0 0 0 20 0 1 0 147811082 3665920 702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 895 703 131 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.201394 s] /proc/loadavg: 1.01 1.00 1.00 3/64 30699 /proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=5692 CPUtime=0.19 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1244 0 0 0 19 0 0 0 20 0 1 0 147811082 5828608 1226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 1423 1226 131 317 0 1102 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5692 [startup+0.30141 s] /proc/loadavg: 1.01 1.00 1.00 3/64 30699 /proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=7512 CPUtime=0.29 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1712 0 0 0 29 0 0 0 21 0 1 0 147811082 7692288 1694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 1878 1694 138 317 0 1557 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7512 [startup+0.701479 s] /proc/loadavg: 1.01 1.00 1.00 3/64 30699 /proc/meminfo: memFree=1833824/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=7836 CPUtime=0.69 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1759 0 0 0 69 0 0 0 25 0 1 0 147811082 8024064 1741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 1959 1741 139 317 0 1638 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7836 [startup+1.50162 s] /proc/loadavg: 1.01 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1827288/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=7964 CPUtime=1.49 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1784 0 0 0 149 0 0 0 25 0 1 0 147811082 8155136 1766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 1991 1766 139 317 0 1670 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7964 [startup+3.10189 s] /proc/loadavg: 1.01 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1826904/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=8352 CPUtime=3.09 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 1881 0 0 0 309 0 0 0 25 0 1 0 147811082 8552448 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 2088 1863 139 317 0 1767 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8352 [startup+6.30143 s] /proc/loadavg: 1.01 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1826136/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=9012 CPUtime=6.29 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 2058 0 0 0 628 1 0 0 25 0 1 0 147811082 9228288 2040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 2253 2040 139 317 0 1932 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9012 [startup+12.7015 s] /proc/loadavg: 1.01 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1824424/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=10748 CPUtime=12.68 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 2463 0 0 0 1267 1 0 0 25 0 1 0 147811082 11005952 2445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 2687 2445 139 317 0 2366 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10748 [startup+25.5017 s] /proc/loadavg: 1.01 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1821544/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=13696 CPUtime=25.46 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 3216 0 0 0 2544 2 0 0 25 0 1 0 147811082 14024704 3198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563357 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 3424 3198 170 317 0 3103 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 13696 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1816488/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=19448 CPUtime=51.04 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 4555 0 0 0 5100 4 0 0 25 0 1 0 147811082 19914752 4490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 4862 4490 170 317 0 4541 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 19448 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1809320/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=26208 CPUtime=102.2 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 6262 0 0 0 10214 6 0 0 25 0 1 0 147811082 26836992 6197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 6552 6197 170 317 0 6231 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 26208 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1800296/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=36064 CPUtime=162.14 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 8519 0 0 0 16206 8 0 0 25 0 1 0 147811082 36929536 8454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 9016 8454 170 317 0 8695 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 36064 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1791912/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=45032 CPUtime=222.1 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 10700 0 0 0 22199 11 0 0 25 0 1 0 147811082 46112768 10542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 11258 10542 170 317 0 10937 0 Current children cumulated CPU time (s) 222.1 Current children cumulated vsize (KiB) 45032 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1784808/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=52276 CPUtime=282.05 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 12468 0 0 0 28192 13 0 0 25 0 1 0 147811082 53530624 12310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 13069 12310 170 317 0 12748 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 52276 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1777832/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=59076 CPUtime=342 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 14204 0 0 0 34186 14 0 0 25 0 1 0 147811082 60493824 14046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 14769 14046 170 317 0 14448 0 Current children cumulated CPU time (s) 342 Current children cumulated vsize (KiB) 59076 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1772008/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=64548 CPUtime=401.95 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 15679 0 0 0 40180 15 0 0 25 0 1 0 147811082 66097152 15521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 16137 15521 170 317 0 15816 0 Current children cumulated CPU time (s) 401.95 Current children cumulated vsize (KiB) 64548 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1766696/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=72368 CPUtime=461.92 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 17525 0 0 0 46175 17 0 0 25 0 1 0 147811082 74104832 16806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 18092 16806 170 317 0 17771 0 Current children cumulated CPU time (s) 461.92 Current children cumulated vsize (KiB) 72368 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1761128/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=77920 CPUtime=521.87 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 18989 0 0 0 52168 19 0 0 25 0 1 0 147811082 79790080 18204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 19480 18204 170 317 0 19159 0 Current children cumulated CPU time (s) 521.87 Current children cumulated vsize (KiB) 77920 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1755880/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=84016 CPUtime=581.82 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 20563 0 0 0 58162 20 0 0 25 0 1 0 147811082 86032384 19514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 21004 19514 170 317 0 20683 0 Current children cumulated CPU time (s) 581.82 Current children cumulated vsize (KiB) 84016 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1750056/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=90188 CPUtime=641.77 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 22219 0 0 0 64156 21 0 0 25 0 1 0 147811082 92352512 20972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 22547 20972 170 317 0 22226 0 Current children cumulated CPU time (s) 641.77 Current children cumulated vsize (KiB) 90188 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1733352/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=106880 CPUtime=881.59 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 26781 0 0 0 88132 27 0 0 25 0 1 0 147811082 109445120 25119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 26720 25119 170 317 0 26399 0 Current children cumulated CPU time (s) 881.59 Current children cumulated vsize (KiB) 106880 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1730280/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=109648 CPUtime=941.53 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 27543 0 0 0 94126 27 0 0 25 0 1 0 147811082 112279552 25881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604470 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 27412 25881 170 317 0 27091 0 Current children cumulated CPU time (s) 941.53 Current children cumulated vsize (KiB) 109648 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1726824/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=112620 CPUtime=1001.49 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 28400 0 0 0 100121 28 0 0 25 0 1 0 147811082 115322880 26738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 28155 26738 170 317 0 27834 0 Current children cumulated CPU time (s) 1001.49 Current children cumulated vsize (KiB) 112620 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1723496/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=115896 CPUtime=1061.45 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 29299 0 0 0 106116 29 0 0 25 0 1 0 147811082 118677504 27571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 28974 27571 170 317 0 28653 0 Current children cumulated CPU time (s) 1061.45 Current children cumulated vsize (KiB) 115896 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1719656/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=119316 CPUtime=1121.42 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 30296 0 0 0 112112 30 0 0 25 0 1 0 147811082 122179584 28535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 29829 28535 170 317 0 29508 0 Current children cumulated CPU time (s) 1121.42 Current children cumulated vsize (KiB) 119316 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1716520/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=121944 CPUtime=1181.38 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 31074 0 0 0 118107 31 0 0 25 0 1 0 147811082 124870656 29313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 30486 29313 170 317 0 30165 0 Current children cumulated CPU time (s) 1181.38 Current children cumulated vsize (KiB) 121944 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1713768/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=128188 CPUtime=1241.33 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 32723 0 0 0 124101 32 0 0 25 0 1 0 147811082 131264512 29987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 32047 29987 170 317 0 31726 0 Current children cumulated CPU time (s) 1241.33 Current children cumulated vsize (KiB) 128188 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1711272/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=132972 CPUtime=1301.29 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 33999 0 0 0 130097 32 0 0 25 0 1 0 147811082 136163328 30613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 33243 30613 170 317 0 32922 0 Current children cumulated CPU time (s) 1301.29 Current children cumulated vsize (KiB) 132972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1708008/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=136240 CPUtime=1361.25 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 34903 0 0 0 136092 33 0 0 25 0 1 0 147811082 139509760 31419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 34060 31419 170 317 0 33739 0 Current children cumulated CPU time (s) 1361.25 Current children cumulated vsize (KiB) 136240 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1704744/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=139284 CPUtime=1421.21 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 35775 0 0 0 142087 34 0 0 25 0 1 0 147811082 142626816 32225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 34821 32225 170 317 0 34500 0 Current children cumulated CPU time (s) 1421.21 Current children cumulated vsize (KiB) 139284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1701736/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=142168 CPUtime=1481.17 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 36602 0 0 0 148082 35 0 0 25 0 1 0 147811082 145580032 32987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 35542 32987 170 317 0 35221 0 Current children cumulated CPU time (s) 1481.17 Current children cumulated vsize (KiB) 142168 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1698792/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=144944 CPUtime=1541.13 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 37392 0 0 0 154077 36 0 0 25 0 1 0 147811082 148422656 33712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 36236 33712 170 317 0 35915 0 Current children cumulated CPU time (s) 1541.13 Current children cumulated vsize (KiB) 144944 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1695720/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=149492 CPUtime=1601.07 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 38652 0 0 0 160070 37 0 0 25 0 1 0 147811082 153079808 34452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712586 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 37373 34452 170 317 0 37052 0 Current children cumulated CPU time (s) 1601.07 Current children cumulated vsize (KiB) 149492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1692904/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=152372 CPUtime=1661.03 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 39446 0 0 0 166066 37 0 0 25 0 1 0 147811082 156028928 35181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 38093 35181 170 317 0 37772 0 Current children cumulated CPU time (s) 1661.03 Current children cumulated vsize (KiB) 152372 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30700 /proc/meminfo: memFree=1690536/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=154520 CPUtime=1720.99 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 40053 0 0 0 172062 37 0 0 25 0 1 0 147811082 158228480 35788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30699/statm: 38630 35788 170 317 0 38309 0 Current children cumulated CPU time (s) 1720.99 Current children cumulated vsize (KiB) 154520 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30702 /proc/meminfo: memFree=1687656/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=157156 CPUtime=1780.94 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 40829 0 0 0 178055 39 0 0 25 0 1 0 147811082 160927744 36499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 39289 36499 170 317 0 38968 0 Current children cumulated CPU time (s) 1780.94 Current children cumulated vsize (KiB) 157156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30702 /proc/meminfo: memFree=1686440/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=158076 CPUtime=1800.03 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 41108 0 0 0 179964 39 0 0 25 0 1 0 147811082 161869824 36778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 39519 36778 170 317 0 39198 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 158076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30702 /proc/meminfo: memFree=1686440/2055920 swapFree=4182972/4192956 [pid=30699] ppid=30697 vsize=158076 CPUtime=1800.03 /proc/30699/stat : 30699 (oree) R 30697 30699 30401 0 -1 4194304 41108 0 0 0 179964 39 0 0 25 0 1 0 147811082 161869824 36778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/30699/statm: 39519 36778 170 317 0 39198 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 158076 Child status: 0 Real time (s): 1801.44 CPU time (s): 1800.07 CPU user time (s): 1799.66 CPU system time (s): 0.418936 CPU usage (%): 99.9242 Max. virtual memory (cumulated for all children) (KiB): 158076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.418936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41124 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= 7 involuntary context switches= 8494 runsolver used 1.89771 second user time and 4.85426 second system time The end
Begin job on node25 on Thu Apr 19 16:09:00 UTC 2007 IDJOB= 357439 IDBENCH= 2636 IDSOLVER= 172 FILE ID= node25/357439-1176998940 PBS_JOBID= 4630482 Free space on /tmp= 66367 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb COMMAND LINE= oree /tmp/evaluation/357439-1176998940/instance-357439-1176998940.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-357439-1176998940 -o ROOT/results/node25/solver-357439-1176998940 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357439-1176998940/instance-357439-1176998940.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= fe9b3ae0ed0deb400897e8cf071ce6eb RANDOM SEED= 469557391 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1834232 kB Buffers: 27368 kB Cached: 147516 kB SwapCached: 3684 kB Active: 76380 kB Inactive: 107824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834232 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 2084 kB Writeback: 0 kB Mapped: 15336 kB Slab: 23560 kB Committed_AS: 2175692 kB PageTables: 1472 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= 66367 MiB End job on node25 on Thu Apr 19 16:39:04 UTC 2007