Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb |
MD5SUM | 1be7a0a5556e21a359d6f31cb8a3ccd8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 256 |
Best CPU time to get the best result obtained on this benchmark | 1802.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 240 |
Optimality of the best value was proved | NO |
Number of variables | 17600 |
Total number of constraints | 632 |
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 | 632 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 150 |
Number of terms in the objective function | 10400 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 533864 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261895 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533864 |
Number of bits of the biggest sum of numbers | 20 |
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.09/0.16 c ...done 0.09/0.16 c #vars=17600 #constraints=873 hasObjective=yes 0.29/0.30 c res. mode=mod 0.29/0.30 c VSIDS like heuristics 0.29/0.30 c complete search running 0.29/0.37 c restart after 401 decisions 0.29/0.39 c nbDecision=500 #constraints=873 0.39/0.44 c restart after 801 decisions 0.39/0.47 c nbDecision=1000 #constraints=873 0.49/0.55 c nbDecision=1500 #constraints=873 0.49/0.57 c restart after 1601 decisions 0.59/0.64 c nbDecision=2000 #constraints=873 0.69/0.72 c nbDecision=2500 #constraints=873 0.79/0.80 c nbDecision=3000 #constraints=873 0.79/0.83 c restart after 3201 decisions 0.79/0.88 c nbDecision=3500 #constraints=873 0.89/0.96 c nbDecision=4000 #constraints=873 0.99/1.04 c nbDecision=4500 #constraints=873 1.09/1.12 c nbDecision=5000 #constraints=873 1.19/1.20 c nbDecision=5500 #constraints=873 1.19/1.27 c nbDecision=6000 #constraints=873 1.29/1.33 c restart after 6401 decisions 1.29/1.35 c nbDecision=6500 #constraints=873 1.39/1.43 c nbDecision=7000 #constraints=873 1.49/1.51 c nbDecision=7500 #constraints=873 1.49/1.59 c nbDecision=8000 #constraints=873 1.59/1.67 c nbDecision=8500 #constraints=873 1.69/1.74 c nbDecision=9000 #constraints=873 1.79/1.81 c nbDecision=9500 #constraints=873 1.79/1.88 c nbDecision=10000 #constraints=873 1.89/1.95 c nbDecision=10500 #constraints=873 1.99/2.02 c nbDecision=11000 #constraints=873 1.99/2.08 c nbDecision=11500 #constraints=873 2.09/2.14 c nbDecision=12000 #constraints=873 2.09/2.20 c nbDecision=12500 #constraints=873 2.19/2.23 c restart after 12801 decisions 2.19/2.27 c nbDecision=13000 #constraints=873 2.29/2.36 c nbDecision=13500 #constraints=873 2.39/2.44 c nbDecision=14000 #constraints=873 2.49/2.52 c nbDecision=14500 #constraints=873 2.49/2.59 c nbDecision=15000 #constraints=873 2.59/2.67 c nbDecision=15500 #constraints=873 2.69/2.74 c nbDecision=16000 #constraints=873 2.79/2.81 c nbDecision=16500 #constraints=873 2.79/2.87 c nbDecision=17000 #constraints=873 2.89/2.94 c nbDecision=17500 #constraints=873 2.99/3.00 c nbDecision=18000 #constraints=873 2.99/3.06 c nbDecision=18500 #constraints=873 3.09/3.12 c nbDecision=19000 #constraints=873 3.09/3.18 c nbDecision=19500 #constraints=873 3.19/3.23 c nbDecision=20000 #constraints=873 3.29/3.37 c nbDecision=20500 #constraints=892 3.49/3.50 c nbDecision=21000 #constraints=909 3.49/3.58 c nbDecision=21500 #constraints=909 3.60/3.66 c nbDecision=22000 #constraints=909 3.70/3.74 c nbDecision=22500 #constraints=909 3.80/3.81 c nbDecision=23000 #constraints=909 3.80/3.89 c nbDecision=23500 #constraints=909 3.90/3.96 c nbDecision=24000 #constraints=909 4.00/4.02 c nbDecision=24500 #constraints=909 4.00/4.09 c nbDecision=25000 #constraints=909 4.10/4.15 c nbDecision=25500 #constraints=909 4.10/4.17 c restart after 25601 decisions 4.20/4.24 c nbDecision=26000 #constraints=909 4.30/4.32 c nbDecision=26500 #constraints=909 4.40/4.40 c nbDecision=27000 #constraints=909 4.40/4.48 c nbDecision=27500 #constraints=909 4.50/4.56 c nbDecision=28000 #constraints=909 4.60/4.63 c nbDecision=28500 #constraints=909 4.70/4.70 c nbDecision=29000 #constraints=909 4.70/4.77 c nbDecision=29500 #constraints=909 4.80/4.84 c nbDecision=30000 #constraints=909 4.90/4.90 c nbDecision=30500 #constraints=909 4.90/4.96 c nbDecision=31000 #constraints=909 5.00/5.02 c nbDecision=31500 #constraints=909 5.00/5.08 c nbDecision=32000 #constraints=909 5.10/5.13 c nbDecision=32500 #constraints=909 5.20/5.21 c nbDecision=33000 #constraints=909 5.30/5.39 c nbDecision=33500 #constraints=952 5.40/5.47 c nbDecision=34000 #constraints=952 5.50/5.56 c nbDecision=34500 #constraints=952 5.59/5.63 c nbDecision=35000 #constraints=952 5.69/5.71 c nbDecision=35500 #constraints=952 5.69/5.79 c nbDecision=36000 #constraints=952 5.79/5.86 c nbDecision=36500 #constraints=952 5.89/5.93 c nbDecision=37000 #constraints=952 5.89/5.99 c nbDecision=37500 #constraints=952 5.99/6.06 c nbDecision=38000 #constraints=952 6.10/6.12 c nbDecision=38500 #constraints=952 6.10/6.18 c nbDecision=39000 #constraints=952 6.20/6.24 c nbDecision=39500 #constraints=952 6.30/6.30 c nbDecision=40000 #constraints=952 6.30/6.35 c nbDecision=40500 #constraints=952 6.40/6.47 c nbDecision=41000 #constraints=962 6.50/6.60 c nbDecision=41500 #constraints=1010 6.60/6.68 c nbDecision=42000 #constraints=1010 6.69/6.76 c nbDecision=42500 #constraints=1010 6.79/6.84 c nbDecision=43000 #constraints=1010 6.89/6.92 c nbDecision=43500 #constraints=1010 6.89/6.99 c nbDecision=44000 #constraints=1010 6.99/7.06 c nbDecision=44500 #constraints=1010 7.09/7.13 c nbDecision=45000 #constraints=1010 7.09/7.20 c nbDecision=45500 #constraints=1010 7.19/7.26 c nbDecision=46000 #constraints=1010 7.29/7.32 c nbDecision=46500 #constraints=1010 7.29/7.37 c nbDecision=47000 #constraints=1010 7.39/7.43 c nbDecision=47500 #constraints=1010 7.39/7.47 c nbDecision=48000 #constraints=1010 7.49/7.53 c nbDecision=48500 #constraints=1010 7.69/7.72 c nbDecision=49000 #constraints=1074 7.79/7.82 c nbDecision=49500 #constraints=1085 7.89/7.90 c nbDecision=50000 #constraints=1085 7.89/7.98 c nbDecision=50500 #constraints=1085 7.99/8.06 c nbDecision=51000 #constraints=1085 7.99/8.09 c restart after 51201 decisions 8.09/8.15 c nbDecision=51500 #constraints=1085 8.19/8.23 c nbDecision=52000 #constraints=1085 8.29/8.31 c nbDecision=52500 #constraints=1085 8.29/8.39 c nbDecision=53000 #constraints=1085 8.39/8.46 c nbDecision=53500 #constraints=1085 8.49/8.54 c nbDecision=54000 #constraints=1085 8.59/8.61 c nbDecision=54500 #constraints=1085 8.59/8.68 c nbDecision=55000 #constraints=1085 8.69/8.75 c nbDecision=55500 #constraints=1085 8.79/8.81 c nbDecision=56000 #constraints=1085 8.79/8.87 c nbDecision=56500 #constraints=1085 8.89/8.93 c nbDecision=57000 #constraints=1085 8.89/8.99 c nbDecision=57500 #constraints=1085 8.99/9.05 c nbDecision=58000 #constraints=1085 9.09/9.11 c nbDecision=58500 #constraints=1085 9.19/9.26 c nbDecision=59000 #constraints=1102 9.29/9.34 c nbDecision=59500 #constraints=1102 9.39/9.42 c nbDecision=60000 #constraints=1102 9.49/9.50 c nbDecision=60500 #constraints=1102 9.49/9.58 c nbDecision=61000 #constraints=1102 9.59/9.65 c nbDecision=61500 #constraints=1102 9.69/9.73 c nbDecision=62000 #constraints=1102 9.69/9.80 c nbDecision=62500 #constraints=1102 9.79/9.86 c nbDecision=63000 #constraints=1102 9.89/9.92 c nbDecision=63500 #constraints=1102 9.89/9.98 c nbDecision=64000 #constraints=1102 9.99/10.04 c nbDecision=64500 #constraints=1102 10.09/10.10 c nbDecision=65000 #constraints=1102 10.09/10.16 c nbDecision=65500 #constraints=1102 10.19/10.22 c nbDecision=66000 #constraints=1102 10.29/10.33 c nbDecision=66500 #constraints=1115 10.49/10.52 c nbDecision=67000 #constraints=1181 10.59/10.60 c nbDecision=67500 #constraints=1181 10.59/10.68 c nbDecision=68000 #constraints=1181 10.69/10.76 c nbDecision=68500 #constraints=1181 10.79/10.84 c nbDecision=69000 #constraints=1181 10.89/10.91 c nbDecision=69500 #constraints=1181 10.89/10.98 c nbDecision=70000 #constraints=1181 10.99/11.05 c nbDecision=70500 #constraints=1181 11.09/11.12 c nbDecision=71000 #constraints=1181 11.09/11.18 c nbDecision=71500 #constraints=1181 11.19/11.25 c nbDecision=72000 #constraints=1181 11.29/11.31 c nbDecision=72500 #constraints=1181 11.29/11.36 c nbDecision=73000 #constraints=1181 11.39/11.42 c nbDecision=73500 #constraints=1181 11.39/11.48 c nbDecision=74000 #constraints=1181 11.59/11.62 c nbDecision=74500 #constraints=1200 11.69/11.77 c nbDecision=75000 #constraints=1242 11.79/11.86 c nbDecision=75500 #constraints=1242 11.89/11.94 c nbDecision=76000 #constraints=1242 11.99/12.02 c nbDecision=76500 #constraints=1242 11.99/12.09 c nbDecision=77000 #constraints=1242 12.09/12.16 c nbDecision=77500 #constraints=1242 12.19/12.24 c nbDecision=78000 #constraints=1242 12.29/12.30 c nbDecision=78500 #constraints=1242 12.29/12.37 c nbDecision=79000 #constraints=1242 12.39/12.44 c nbDecision=79500 #constraints=1242 12.39/12.50 c nbDecision=80000 #constraints=1242 12.49/12.56 c nbDecision=80500 #constraints=1242 12.59/12.61 c nbDecision=81000 #constraints=1242 12.59/12.67 c nbDecision=81500 #constraints=1242 12.69/12.73 c nbDecision=82000 #constraints=1242 12.89/12.90 c nbDecision=82500 #constraints=1287 12.99/13.01 c nbDecision=83000 #constraints=1299 12.99/13.09 c nbDecision=83500 #constraints=1299 13.09/13.17 c nbDecision=84000 #constraints=1299 13.19/13.24 c nbDecision=84500 #constraints=1299 13.29/13.32 c nbDecision=85000 #constraints=1299 13.29/13.39 c nbDecision=85500 #constraints=1299 13.39/13.45 c nbDecision=86000 #constraints=1299 13.49/13.52 c nbDecision=86500 #constraints=1299 13.49/13.59 c nbDecision=87000 #constraints=1299 13.59/13.65 c nbDecision=87500 #constraints=1299 13.69/13.71 c nbDecision=88000 #constraints=1299 13.69/13.77 c nbDecision=88500 #constraints=1299 13.79/13.83 c nbDecision=89000 #constraints=1299 13.79/13.88 c nbDecision=89500 #constraints=1299 13.89/13.96 c nbDecision=90000 #constraints=1299 14.19/14.21 c nbDecision=90500 #constraints=1413 14.48/14.56 c nbDecision=91000 #constraints=1677 14.69/14.71 c nbDecision=91500 #constraints=1699 14.99/15.04 c nbDecision=92000 #constraints=1953 15.09/15.13 c nbDecision=92500 #constraints=1962 15.19/15.20 c nbDecision=93000 #constraints=1962 15.19/15.26 c nbDecision=93500 #constraints=1962 15.29/15.32 c nbDecision=94000 #constraints=1962 15.29/15.38 c nbDecision=94500 #constraints=1962 15.39/15.44 c nbDecision=95000 #constraints=1962 15.39/15.49 c nbDecision=95500 #constraints=1962 15.59/15.62 c nbDecision=96000 #constraints=1978 15.88/15.91 c nbDecision=96500 #constraints=2137 16.19/16.22 c nbDecision=97000 #constraints=2352 16.69/16.70 c nbDecision=97500 #constraints=2433 16.99/17.01 c nbDecision=98000 #constraints=2618 17.19/17.29 c nbDecision=98500 #constraints=2763 17.49/17.59 c nbDecision=99000 #constraints=2898 17.79/17.87 c nbDecision=99500 #constraints=3050 18.09/18.19 c nbDecision=100000 #constraints=3207 18.49/18.59 c nbDecision=100500 #constraints=3356 18.69/18.79 c nbDecision=101000 #constraints=3378 19.19/19.26 c nbDecision=101500 #constraints=3539 19.48/19.53 c nbDecision=102000 #constraints=3613 19.58/19.67 c restart after 102401 decisions 19.69/19.75 c nbDecision=102500 #constraints=3660 19.79/19.84 c nbDecision=103000 #constraints=3660 19.88/19.93 c nbDecision=103500 #constraints=3660 19.98/20.01 c nbDecision=104000 #constraints=3660 19.98/20.09 c nbDecision=104500 #constraints=3660 20.08/20.18 c nbDecision=105000 #constraints=3660 20.18/20.25 c nbDecision=105500 #constraints=3660 20.28/20.32 c nbDecision=106000 #constraints=3660 20.38/20.40 c nbDecision=106500 #constraints=3660 20.38/20.47 c nbDecision=107000 #constraints=3660 20.48/20.54 c nbDecision=107500 #constraints=3660 20.48/20.59 c nbDecision=108000 #constraints=3660 20.58/20.65 c nbDecision=108500 #constraints=3660 20.68/20.71 c nbDecision=109000 #constraints=3660 20.68/20.77 c nbDecision=109500 #constraints=3660 20.89/20.91 c nbDecision=110000 #constraints=3676 21.19/21.25 c nbDecision=110500 #constraints=3820 21.39/21.48 c nbDecision=111000 #constraints=3865 21.79/21.80 c nbDecision=111500 #constraints=3999 21.89/22.00 c nbDecision=112000 #constraints=4046 22.19/22.20 c nbDecision=112500 #constraints=4109 22.59/22.64 c nbDecision=113000 #constraints=4230 22.79/22.86 c nbDecision=113500 #constraints=4276 23.09/23.16 c nbDecision=114000 #constraints=4392 23.29/23.38 c nbDecision=114500 #constraints=4445 23.68/23.74 c nbDecision=115000 #constraints=4506 24.19/24.20 c nbDecision=115500 #constraints=4607 24.29/24.36 c nbDecision=116000 #constraints=4622 24.59/24.64 c nbDecision=116500 #constraints=4672 24.89/24.93 c nbDecision=117000 #constraints=4771 25.09/25.11 c nbDecision=117500 #constraints=4796 25.49/25.54 c nbDecision=118000 #constraints=4899 25.69/25.79 c nbDecision=118500 #constraints=4953 26.08/26.12 c nbDecision=119000 #constraints=5014 26.39/26.44 c nbDecision=119500 #constraints=5103 26.59/26.68 c nbDecision=120000 #constraints=5153 26.99/27.05 c nbDecision=120500 #constraints=5286 27.19/27.27 c nbDecision=121000 #constraints=5323 27.59/27.60 c nbDecision=121500 #constraints=5446 27.88/27.91 c nbDecision=122000 #constraints=5539 28.28/28.31 c nbDecision=122500 #constraints=5624 28.59/28.68 c nbDecision=123000 #constraints=5719 28.79/28.87 c nbDecision=123500 #constraints=5744 29.08/29.16 c nbDecision=124000 #constraints=5820 29.38/29.49 c nbDecision=124500 #constraints=5900 29.59/29.68 c nbDecision=125000 #constraints=5932 29.88/29.94 c nbDecision=125500 #constraints=5997 30.08/30.16 c nbDecision=126000 #constraints=6032 30.39/30.49 c nbDecision=126500 #constraints=6133 30.69/30.78 c nbDecision=127000 #constraints=6196 30.99/31.02 c nbDecision=127500 #constraints=6262 31.28/31.39 c nbDecision=128000 #constraints=6380 31.58/31.61 c nbDecision=128500 #constraints=6410 31.79/31.81 c nbDecision=129000 #constraints=6443 32.08/32.19 c nbDecision=129500 #constraints=6560 32.28/32.35 c nbDecision=130000 #constraints=6578 32.58/32.69 c nbDecision=130500 #constraints=6655 32.88/32.98 c nbDecision=131000 #constraints=6723 33.18/33.29 c nbDecision=131500 #constraints=6797 33.68/33.73 c nbDecision=132000 #constraints=6880 33.88/33.94 c nbDecision=132500 #constraints=6899 34.08/34.18 c nbDecision=133000 #constraints=6932 34.48/34.58 c nbDecision=133500 #constraints=7027 34.68/34.78 c nbDecision=134000 #constraints=7051 34.99/35.08 c nbDecision=134500 #constraints=7113 35.38/35.41 c nbDecision=135000 #constraints=7188 35.48/35.59 c nbDecision=135500 #constraints=7209 35.68/35.77 c nbDecision=136000 #constraints=7227 35.88/35.99 c nbDecision=136500 #constraints=7260 36.29/36.33 c nbDecision=137000 #constraints=7331 36.48/36.52 c nbDecision=137500 #constraints=7351 36.78/36.90 c nbDecision=138000 #constraints=7411 37.08/37.19 c nbDecision=138500 #constraints=7480 37.48/37.52 c nbDecision=139000 #constraints=7504 37.78/37.82 c nbDecision=139500 #constraints=7570 37.98/38.02 c nbDecision=140000 #constraints=7601 38.38/38.42 c nbDecision=140500 #constraints=7664 38.58/38.64 c nbDecision=141000 #constraints=7697 38.89/38.99 c nbDecision=141500 #constraints=7768 39.19/39.23 c nbDecision=142000 #constraints=7805 39.49/39.58 c nbDecision=142500 #constraints=7865 39.68/39.78 c nbDecision=143000 #constraints=7885 39.88/39.99 c nbDecision=143500 #constraints=7911 40.28/40.35 c nbDecision=144000 #constraints=7993 40.48/40.52 c nbDecision=144500 #constraints=8005 40.69/40.71 c nbDecision=145000 #constraints=8028 40.98/41.09 c nbDecision=145500 #constraints=8067 41.28/41.36 c nbDecision=146000 #constraints=8119 41.78/41.83 c nbDecision=146500 #constraints=8177 42.08/42.13 c nbDecision=147000 #constraints=8231 42.18/42.29 c nbDecision=147500 #constraints=8238 42.48/42.54 c nbDecision=148000 #constraints=8270 42.88/42.98 c nbDecision=148500 #constraints=8345 43.08/43.19 c nbDecision=149000 #constraints=8371 43.48/43.59 c nbDecision=149500 #constraints=8443 43.78/43.82 c nbDecision=150000 #constraints=8467 43.99/44.05 c nbDecision=150500 #constraints=8503 44.18/44.25 c nbDecision=151000 #constraints=8521 44.48/44.52 c nbDecision=151500 #constraints=8562 44.68/44.77 c nbDecision=152000 #constraints=8591 44.99/45.04 c nbDecision=152500 #constraints=8621 45.28/45.39 c nbDecision=153000 #constraints=8690 45.58/45.64 c nbDecision=153500 #constraints=8727 45.78/45.88 c nbDecision=154000 #constraints=8746 46.08/46.18 c nbDecision=154500 #constraints=8791 46.48/46.55 c nbDecision=155000 #constraints=8863 46.68/46.72 c nbDecision=155500 #constraints=8875 46.98/47.01 c nbDecision=156000 #constraints=8923 47.37/47.42 c nbDecision=156500 #constraints=9015 47.58/47.61 c nbDecision=157000 #constraints=9029 47.88/47.96 c nbDecision=157500 #constraints=9075 48.08/48.18 c nbDecision=158000 #constraints=9099 48.48/48.54 c nbDecision=158500 #constraints=9135 48.78/48.87 c nbDecision=159000 #constraints=9190 48.98/49.08 c nbDecision=159500 #constraints=9209 49.18/49.27 c nbDecision=160000 #constraints=9219 49.48/49.58 c nbDecision=160500 #constraints=9287 49.78/49.85 c nbDecision=161000 #constraints=9324 50.08/50.20 c nbDecision=161500 #constraints=9391 50.58/50.64 c nbDecision=162000 #constraints=9492 50.98/51.00 c nbDecision=162500 #constraints=9542 51.28/51.36 c nbDecision=163000 #constraints=9601 51.48/51.59 c nbDecision=163500 #constraints=9624 51.78/51.81 c nbDecision=164000 #constraints=9636 52.07/52.13 c nbDecision=164500 #constraints=9690 52.37/52.41 c nbDecision=165000 #constraints=9727 52.69/52.77 c nbDecision=165500 #constraints=9761 53.18/53.20 c nbDecision=166000 #constraints=9841 53.38/53.49 c nbDecision=166500 #constraints=9876 53.68/53.70 c nbDecision=167000 #constraints=9897 54.18/54.22 c nbDecision=167500 #constraints=9975 54.38/54.48 c nbDecision=168000 #constraints=10010 54.68/54.70 c nbDecision=168500 #constraints=10030 54.98/55.03 c nbDecision=169000 #constraints=10082 55.18/55.21 c nbDecision=169500 #constraints=10093 55.58/55.62 c nbDecision=170000 #constraints=10148 55.88/55.98 c nbDecision=170500 #constraints=10209 56.08/56.17 c nbDecision=171000 #constraints=10221 56.48/56.52 c nbDecision=171500 #constraints=10284 56.78/56.83 c nbDecision=172000 #constraints=10338 56.98/57.08 c nbDecision=172500 #constraints=10368 57.38/57.42 c nbDecision=173000 #constraints=10418 57.58/57.64 c nbDecision=173500 #constraints=10441 57.87/57.94 c nbDecision=174000 #constraints=10478 58.18/58.26 c nbDecision=174500 #constraints=10524 58.47/58.50 c nbDecision=175000 #constraints=10545 58.67/58.77 c nbDecision=175500 #constraints=10583 59.08/59.10 c nbDecision=176000 #constraints=10629 59.18/59.29 c nbDecision=176500 #constraints=10640 59.58/59.60 c nbDecision=177000 #constraints=10690 59.88/59.93 c nbDecision=177500 #constraints=10730 59.98/60.09 c nbDecision=178000 #constraints=10736 60.28/60.39 c nbDecision=178500 #constraints=10769 60.78/60.86 c nbDecision=179000 #constraints=10825 61.08/61.10 c nbDecision=179500 #constraints=10855 61.28/61.39 c nbDecision=180000 #constraints=10874 61.68/61.72 c nbDecision=180500 #constraints=10926 61.88/61.93 c nbDecision=181000 #constraints=10946 62.18/62.29 c nbDecision=181500 #constraints=10965 62.48/62.55 c nbDecision=182000 #constraints=10994 62.78/62.86 c nbDecision=182500 #constraints=11035 62.98/63.02 c nbDecision=183000 #constraints=11041 63.17/63.26 c nbDecision=183500 #constraints=11059 63.57/63.61 c nbDecision=184000 #constraints=11103 63.68/63.79 c nbDecision=184500 #constraints=11113 64.17/64.27 c nbDecision=185000 #constraints=11177 64.57/64.63 c nbDecision=185500 #constraints=11221 64.78/64.86 c nbDecision=186000 #constraints=11234 65.07/65.14 c nbDecision=186500 #constraints=11273 65.47/65.58 c nbDecision=187000 #constraints=11352 65.67/65.79 c nbDecision=187500 #constraints=11374 65.98/66.08 c nbDecision=188000 #constraints=11412 66.28/66.34 c nbDecision=188500 #constraints=11432 66.48/66.57 c nbDecision=189000 #constraints=11453 66.88/66.98 c nbDecision=189500 #constraints=11487 67.28/67.33 c nbDecision=190000 #constraints=11533 67.48/67.55 c nbDecision=190500 #constraints=11554 67.97/68.01 c nbDecision=191000 #constraints=11602 68.27/68.37 c nbDecision=191500 #constraints=11635 68.67/68.74 c nbDecision=192000 #constraints=11683 68.77/68.89 c nbDecision=192500 #constraints=11687 69.07/69.12 c nbDecision=193000 #constraints=11703 69.37/69.45 c nbDecision=193500 #constraints=11746 69.57/69.64 c nbDecision=194000 #constraints=11757 69.87/69.91 c nbDecision=194500 #constraints=11787 70.07/70.18 c nbDecision=195000 #constraints=11815 70.38/70.48 c nbDecision=195500 #constraints=11841 70.77/70.82 c nbDecision=196000 #constraints=11886 71.07/71.12 c nbDecision=196500 #constraints=11932 71.27/71.35 c nbDecision=197000 #constraints=11943 71.57/71.66 c nbDecision=197500 #constraints=11974 71.87/71.95 c nbDecision=198000 #constraints=12002 72.07/72.16 c nbDecision=198500 #constraints=12015 72.48/72.51 c nbDecision=199000 #constraints=12063 72.78/72.88 c nbDecision=199500 #constraints=12124 73.08/73.10 c nbDecision=200000 #constraints=12141 73.28/73.36 c nbDecision=200500 #constraints=12169 73.58/73.68 c nbDecision=201000 #constraints=12208 73.78/73.85 c nbDecision=201500 #constraints=12216 74.17/74.23 c nbDecision=202000 #constraints=12284 74.47/74.51 c nbDecision=202500 #constraints=12320 74.78/74.85 c nbDecision=203000 #constraints=12344 75.07/75.11 c nbDecision=203500 #constraints=12366 75.37/75.44 c nbDecision=204000 #constraints=12408 75.57/75.63 c nbDecision=204500 #constraints=12410 75.77/75.90 c restart after 204801 decisions 76.27/76.30 c nbDecision=205000 #constraints=12448 76.37/76.44 c nbDecision=205500 #constraints=12448 76.47/76.53 c nbDecision=206000 #constraints=12448 76.57/76.62 c nbDecision=206500 #constraints=12448 76.67/76.74 c nbDecision=207000 #constraints=12448 76.87/76.90 c nbDecision=207500 #constraints=12448 76.97/77.01 c nbDecision=208000 #constraints=12448 77.07/77.10 c nbDecision=208500 #constraints=12448 77.17/77.23 c nbDecision=209000 #constraints=12448 77.27/77.34 c nbDecision=209500 #constraints=12448 77.37/77.40 c nbDecision=210000 #constraints=12448 77.37/77.46 c nbDecision=210500 #constraints=12448 77.47/77.52 c nbDecision=211000 #constraints=12448 77.47/77.58 c nbDecision=211500 #constraints=12448 77.57/77.63 c nbDecision=212000 #constraints=12448 77.77/77.81 c nbDecision=212500 #constraints=12458 78.27/78.34 c nbDecision=213000 #constraints=12539 79.08/79.16 c nbDecision=213500 #constraints=12666 79.57/79.68 c nbDecision=214000 #constraints=12745 80.28/80.33 c nbDecision=214500 #constraints=12851 80.97/81.01 c nbDecision=215000 #constraints=12964 81.67/81.77 c nbDecision=215500 #constraints=13067 82.27/82.33 c nbDecision=216000 #constraints=13130 82.97/83.02 c nbDecision=216500 #constraints=13196 83.58/83.65 c nbDecision=217000 #constraints=13262 84.07/84.18 c nbDecision=217500 #constraints=13324 84.68/84.79 c nbDecision=218000 #constraints=13398 85.27/85.31 c nbDecision=218500 #constraints=13465 85.87/85.97 c nbDecision=219000 #constraints=13544 86.47/86.57 c nbDecision=219500 #constraints=13602 87.17/87.29 c nbDecision=220000 #constraints=13669 87.87/87.94 c nbDecision=220500 #constraints=13729 88.47/88.56 c nbDecision=221000 #constraints=13788 89.17/89.22 c nbDecision=221500 #constraints=13866 89.67/89.76 c nbDecision=222000 #constraints=13931 90.17/90.22 c nbDecision=222500 #constraints=13968 90.76/90.81 c nbDecision=223000 #constraints=14037 91.46/91.58 c nbDecision=223500 #constraints=14110 91.77/91.83 c nbDecision=224000 #constraints=14126 92.06/92.10 c nbDecision=224500 #constraints=14136 92.37/92.49 c nbDecision=225000 #constraints=14178 92.86/92.92 c nbDecision=225500 #constraints=14200 93.16/93.20 c nbDecision=226000 #constraints=14227 93.57/93.64 c nbDecision=226500 #constraints=14276 93.77/93.84 c nbDecision=227000 #constraints=14279 94.17/94.22 c nbDecision=227500 #constraints=14316 94.67/94.79 c nbDecision=228000 #constraints=14378 95.07/95.18 c nbDecision=228500 #constraints=14418 95.27/95.35 c nbDecision=229000 #constraints=14425 95.57/95.62 c nbDecision=229500 #constraints=14444 95.97/96.04 c nbDecision=230000 #constraints=14485 96.17/96.25 c nbDecision=230500 #constraints=14497 96.47/96.56 c nbDecision=231000 #constraints=14511 96.96/97.03 c nbDecision=231500 #constraints=14563 97.26/97.33 c nbDecision=232000 #constraints=14589 97.66/97.74 c nbDecision=232500 #constraints=14627 97.96/98.08 c nbDecision=233000 #constraints=14661 98.16/98.24 c nbDecision=233500 #constraints=14661 98.56/98.68 c nbDecision=234000 #constraints=14720 98.88/98.91 c nbDecision=234500 #constraints=14726 99.17/99.27 c nbDecision=235000 #constraints=14765 99.47/99.59 c nbDecision=235500 #constraints=14796 99.97/100.10 c nbDecision=236000 #constraints=14842 100.37/100.45 c nbDecision=236500 #constraints=14870 100.97/101.03 c nbDecision=237000 #constraints=14944 101.37/101.43 c nbDecision=237500 #constraints=14979 101.77/101.85 c nbDecision=238000 #constraints=15025 101.97/102.06 c nbDecision=238500 #constraints=15035 102.27/102.34 c nbDecision=239000 #constraints=15051 102.57/102.69 c nbDecision=239500 #constraints=15073 102.97/103.08 c nbDecision=240000 #constraints=15112 103.27/103.31 c nbDecision=240500 #constraints=15119 103.57/103.64 c nbDecision=241000 #constraints=15147 103.87/103.93 c nbDecision=241500 #constraints=15159 103.97/104.07 c nbDecision=242000 #constraints=15159 104.27/104.35 c nbDecision=242500 #constraints=15173 104.76/104.86 c nbDecision=243000 #constraints=15226 105.16/105.23 c nbDecision=243500 #constraints=15265 105.86/105.91 c nbDecision=244000 #constraints=15355 105.96/106.09 c nbDecision=244500 #constraints=15361 106.46/106.54 c nbDecision=245000 #constraints=15401 106.86/106.95 c nbDecision=245500 #constraints=15434 107.16/107.24 c nbDecision=246000 #constraints=15450 107.47/107.53 c nbDecision=246500 #constraints=15466 107.97/108.02 c nbDecision=247000 #constraints=15500 108.17/108.29 c nbDecision=247500 #constraints=15524 108.67/108.75 c nbDecision=248000 #constraints=15566 109.17/109.27 c nbDecision=248500 #constraints=15596 109.67/109.76 c nbDecision=249000 #constraints=15627 109.97/110.05 c nbDecision=249500 #constraints=15650 110.36/110.45 c nbDecision=250000 #constraints=15691 110.86/110.98 c nbDecision=250500 #constraints=15751 111.16/111.29 c nbDecision=251000 #constraints=15774 111.66/111.75 c nbDecision=251500 #constraints=15811 112.07/112.10 c nbDecision=252000 #constraints=15827 112.57/112.69 c nbDecision=252500 #constraints=15884 112.97/113.05 c nbDecision=253000 #constraints=15899 113.46/113.56 c nbDecision=253500 #constraints=15950 113.86/113.90 c nbDecision=254000 #constraints=15978 114.06/114.19 c nbDecision=254500 #constraints=16000 114.37/114.45 c nbDecision=255000 #constraints=16011 114.76/114.85 c nbDecision=255500 #constraints=16050 115.06/115.16 c nbDecision=256000 #constraints=16079 115.56/115.69 c nbDecision=256500 #constraints=16121 116.06/116.20 c nbDecision=257000 #constraints=16170 116.47/116.58 c nbDecision=257500 #constraints=16207 116.96/117.05 c nbDecision=258000 #constraints=16257 117.36/117.49 c nbDecision=258500 #constraints=16293 117.66/117.72 c nbDecision=259000 #constraints=16305 117.86/117.99 c nbDecision=259500 #constraints=16319 118.46/118.53 c nbDecision=260000 #constraints=16366 118.86/118.96 c nbDecision=260500 #constraints=16408 119.16/119.26 c nbDecision=261000 #constraints=16422 119.36/119.43 c nbDecision=261500 #constraints=16422 119.66/119.70 c nbDecision=262000 #constraints=16434 120.06/120.14 c nbDecision=262500 #constraints=16473 120.36/120.50 c nbDecision=263000 #constraints=16515 120.66/120.73 c nbDecision=263500 #constraints=16522 120.96/121.08 c nbDecision=264000 #constraints=16548 121.36/121.49 c nbDecision=264500 #constraints=16578 121.76/121.83 c nbDecision=265000 #constraints=16604 122.06/122.11 c nbDecision=265500 #constraints=16624 122.36/122.45 c nbDecision=266000 #constraints=16642 122.86/122.99 c nbDecision=266500 #constraints=16691 123.26/123.32 c nbDecision=267000 #constraints=16720 123.66/123.71 c nbDecision=267500 #constraints=16739 124.06/124.11 c nbDecision=268000 #constraints=16777 124.46/124.53 c nbDecision=268500 #constraints=16818 124.76/124.89 c nbDecision=269000 #constraints=16849 125.16/125.28 c nbDecision=269500 #constraints=16873 125.46/125.52 c nbDecision=270000 #constraints=16887 125.86/125.98 c nbDecision=270500 #constraints=16925 126.16/126.30 c nbDecision=271000 #constraints=16939 126.76/126.85 c nbDecision=271500 #constraints=16978 127.16/127.24 c nbDecision=272000 #constraints=17010 127.56/127.67 c nbDecision=272500 #constraints=17037 128.06/128.15 c nbDecision=273000 #constraints=17072 128.46/128.52 c nbDecision=273500 #constraints=17097 128.76/128.90 c nbDecision=274000 #constraints=17134 129.46/129.57 c nbDecision=274500 #constraints=17185 129.76/129.88 c nbDecision=275000 #constraints=17197 130.06/130.10 c nbDecision=275500 #constraints=17203 130.66/130.76 c nbDecision=276000 #constraints=17250 131.06/131.15 c nbDecision=276500 #constraints=17279 131.46/131.52 c nbDecision=277000 #constraints=17310 131.65/131.79 c nbDecision=277500 #constraints=17322 132.06/132.14 c nbDecision=278000 #constraints=17349 132.46/132.55 c nbDecision=278500 #constraints=17383 132.66/132.79 c nbDecision=279000 #constraints=17397 133.06/133.17 c nbDecision=279500 #constraints=17428 133.46/133.55 c nbDecision=280000 #constraints=17460 133.66/133.74 c nbDecision=280500 #constraints=17464 134.26/134.30 c nbDecision=281000 #constraints=17516 134.56/134.63 c nbDecision=281500 #constraints=17527 135.06/135.19 c nbDecision=282000 #constraints=17577 135.36/135.49 c nbDecision=282500 #constraints=17587 135.96/136.04 c nbDecision=283000 #constraints=17643 136.26/136.30 c nbDecision=283500 #constraints=17653 136.76/136.80 c nbDecision=284000 #constraints=17697 137.16/137.27 c nbDecision=284500 #constraints=17740 137.86/137.94 c nbDecision=285000 #constraints=17807 138.16/138.21 c nbDecision=285500 #constraints=17817 138.56/138.69 c nbDecision=286000 #constraints=17870 138.85/138.93 c nbDecision=286500 #constraints=17883 139.15/139.20 c nbDecision=287000 #constraints=17893 139.56/139.68 c nbDecision=287500 #constraints=17937 139.95/140.08 c nbDecision=288000 #constraints=17980 140.25/140.38 c nbDecision=288500 #constraints=17996 140.85/140.91 c nbDecision=289000 #constraints=18038 141.15/141.21 c nbDecision=289500 #constraints=18050 141.55/141.64 c nbDecision=290000 #constraints=18079 141.76/141.87 c nbDecision=290500 #constraints=18089 142.15/142.22 c nbDecision=291000 #constraints=18115 142.45/142.59 c nbDecision=291500 #constraints=18140 143.05/143.10 c nbDecision=292000 #constraints=18173 143.25/143.33 c nbDecision=292500 #constraints=18183 143.75/143.81 c nbDecision=293000 #constraints=18225 144.16/144.25 c nbDecision=293500 #constraints=18247 144.56/144.62 c nbDecision=294000 #constraints=18268 144.76/144.85 c nbDecision=294500 #constraints=18279 145.16/145.20 c nbDecision=295000 #constraints=18305 145.66/145.77 c nbDecision=295500 #constraints=18347 146.36/146.44 c nbDecision=296000 #constraints=18396 147.16/147.23 c nbDecision=296500 #constraints=18470 147.96/148.05 c nbDecision=297000 #constraints=18537 148.56/148.65 c nbDecision=297500 #constraints=18568 149.16/149.27 c nbDecision=298000 #constraints=18602 149.75/149.85 c nbDecision=298500 #constraints=18641 150.45/150.57 c nbDecision=299000 #constraints=18695 151.15/151.29 c nbDecision=299500 #constraints=18737 151.95/152.05 c nbDecision=300000 #constraints=18785 152.75/152.86 c nbDecision=300500 #constraints=18853 153.56/153.61 c nbDecision=301000 #constraints=18913 154.16/154.22 c nbDecision=301500 #constraints=18968 154.85/154.92 c nbDecision=302000 #constraints=19031 155.55/155.69 c nbDecision=302500 #constraints=19099 156.45/156.51 c nbDecision=303000 #constraints=19168 157.05/157.20 c nbDecision=303500 #constraints=19210 157.75/157.87 c nbDecision=304000 #constraints=19255 158.25/158.40 c nbDecision=304500 #constraints=19276 159.05/159.15 c nbDecision=305000 #constraints=19329 159.75/159.80 c nbDecision=305500 #constraints=19373 160.35/160.44 c nbDecision=306000 #constraints=19417 160.95/161.03 c nbDecision=306500 #constraints=19444 161.45/161.53 c nbDecision=307000 #constraints=19480 161.95/162.00 c nbDecision=307500 #constraints=19512 162.25/162.36 c nbDecision=308000 #constraints=19526 162.95/163.06 c nbDecision=308500 #constraints=19589 163.65/163.74 c nbDecision=309000 #constraints=19645 164.15/164.28 c nbDecision=309500 #constraints=19682 164.55/164.69 c nbDecision=310000 #constraints=19696 165.25/165.39 c nbDecision=310500 #constraints=19756 165.65/165.71 c nbDecision=311000 #constraints=19762 166.14/166.25 c nbDecision=311500 #constraints=19799 166.54/166.60 c nbDecision=312000 #constraints=19810 166.95/167.06 c nbDecision=312500 #constraints=19851 167.25/167.36 c nbDecision=313000 #constraints=19861 167.75/167.87 c nbDecision=313500 #constraints=19897 168.05/168.19 c nbDecision=314000 #constraints=19906 168.55/168.66 c nbDecision=314500 #constraints=19933 169.15/169.27 c nbDecision=315000 #constraints=19978 169.75/169.89 c nbDecision=315500 #constraints=20011 170.05/170.18 c nbDecision=316000 #constraints=20027 170.55/170.62 c nbDecision=316500 #constraints=20054 170.94/171.09 c nbDecision=317000 #constraints=20075 171.34/171.48 c nbDecision=317500 #constraints=20104 171.74/171.84 c nbDecision=318000 #constraints=20121 172.35/172.41 c nbDecision=318500 #constraints=20156 172.65/172.71 c nbDecision=319000 #constraints=20164 173.15/173.22 c nbDecision=319500 #constraints=20200 173.75/173.85 c nbDecision=320000 #constraints=20233 174.25/174.34 c nbDecision=320500 #constraints=20268 174.55/174.68 c nbDecision=321000 #constraints=20288 174.85/174.99 c nbDecision=321500 #constraints=20303 175.25/175.34 c nbDecision=322000 #constraints=20321 175.65/175.79 c nbDecision=322500 #constraints=20339 175.85/175.98 c nbDecision=323000 #constraints=20343 176.24/176.35 c nbDecision=323500 #constraints=20359 176.54/176.68 c nbDecision=324000 #constraints=20369 177.05/177.10 c nbDecision=324500 #constraints=20393 177.24/177.34 c nbDecision=325000 #constraints=20402 178.04/178.20 c nbDecision=325500 #constraints=20472 178.85/179.00 c nbDecision=326000 #constraints=20530 179.75/179.88 c nbDecision=326500 #constraints=20595 180.55/180.63 c nbDecision=327000 #constraints=20630 181.54/181.66 c nbDecision=327500 #constraints=20698 182.24/182.34 c nbDecision=328000 #constraints=20730 182.64/182.79 c nbDecision=328500 #constraints=20753 183.04/183.11 c nbDecision=329000 #constraints=20757 183.44/183.54 c nbDecision=329500 #constraints=20775 183.74/183.89 c nbDecision=330000 #constraints=20801 184.34/184.48 c nbDecision=330500 #constraints=20847 184.75/184.81 c nbDecision=331000 #constraints=20855 185.24/185.30 c nbDecision=331500 #constraints=20885 185.44/185.59 c nbDecision=332000 #constraints=20895 185.75/185.87 c nbDecision=332500 #constraints=20901 186.34/186.48 c nbDecision=333000 #constraints=20937 187.04/187.13 c nbDecision=333500 #constraints=20994 187.34/187.49 c nbDecision=334000 #constraints=21014 187.95/188.04 c nbDecision=334500 #constraints=21048 188.14/188.25 c nbDecision=335000 #constraints=21053 188.54/188.62 c nbDecision=335500 #constraints=21070 188.94/189.09 c nbDecision=336000 #constraints=21092 189.24/189.38 c nbDecision=336500 #constraints=21105 189.64/189.71 c nbDecision=337000 #constraints=21120 189.94/190.08 c nbDecision=337500 #constraints=21127 190.54/190.67 c nbDecision=338000 #constraints=21159 190.94/191.04 c nbDecision=338500 #constraints=21174 191.24/191.39 c nbDecision=339000 #constraints=21181 192.04/192.18 c nbDecision=339500 #constraints=21230 192.44/192.58 c nbDecision=340000 #constraints=21238 193.14/193.22 c nbDecision=340500 #constraints=21277 193.54/193.69 c nbDecision=341000 #constraints=21304 194.24/194.30 c nbDecision=341500 #constraints=21337 194.54/194.67 c nbDecision=342000 #constraints=21349 195.03/195.18 c nbDecision=342500 #constraints=21381 195.64/195.79 c nbDecision=343000 #constraints=21413 196.13/196.29 c nbDecision=343500 #constraints=21448 196.43/196.54 c nbDecision=344000 #constraints=21454 197.14/197.25 c nbDecision=344500 #constraints=21504 197.74/197.88 c nbDecision=345000 #constraints=21548 198.04/198.16 c nbDecision=345500 #constraints=21557 198.74/198.82 c nbDecision=346000 #constraints=21606 199.04/199.17 c nbDecision=346500 #constraints=21619 199.54/199.62 c nbDecision=347000 #constraints=21640 199.84/199.90 c nbDecision=347500 #constraints=21652 200.14/200.24 c nbDecision=348000 #constraints=21661 200.44/200.59 c nbDecision=348500 #constraints=21671 200.74/200.80 c nbDecision=349000 #constraints=21674 201.44/201.52 c nbDecision=349500 #constraints=21706 201.54/201.69 c nbDecision=350000 #constraints=21706 201.94/202.07 c nbDecision=350500 #constraints=21717 202.64/202.73 c nbDecision=351000 #constraints=21761 203.04/203.13 c nbDecision=351500 #constraints=21777 203.74/203.85 c nbDecision=352000 #constraints=21815 204.04/204.17 c nbDecision=352500 #constraints=21823 204.44/204.55 c nbDecision=353000 #constraints=21834 204.84/204.97 c nbDecision=353500 #constraints=21863 205.24/205.38 c nbDecision=354000 #constraints=21886 205.64/205.75 c nbDecision=354500 #constraints=21899 206.23/206.39 c nbDecision=355000 #constraints=21935 206.53/206.62 c nbDecision=355500 #constraints=21942 207.13/207.23 c nbDecision=356000 #constraints=21971 207.43/207.55 c nbDecision=356500 #constraints=21979 208.03/208.10 c nbDecision=357000 #constraints=22010 208.33/208.44 c nbDecision=357500 #constraints=22019 208.73/208.83 c nbDecision=358000 #constraints=22027 209.03/209.19 c nbDecision=358500 #constraints=22049 209.43/209.55 c nbDecision=359000 #constraints=22071 210.13/210.25 c nbDecision=359500 #constraints=22113 210.53/210.64 c nbDecision=360000 #constraints=22128 210.93/211.06 c nbDecision=360500 #constraints=22144 211.23/211.31 c nbDecision=361000 #constraints=22151 211.53/211.68 c nbDecision=361500 #constraints=22160 211.93/212.06 c nbDecision=362000 #constraints=22175 212.43/212.55 c nbDecision=362500 #constraints=22199 212.93/213.07 c nbDecision=363000 #constraints=22222 213.43/213.59 c nbDecision=363500 #constraints=22261 214.23/214.31 c nbDecision=364000 #constraints=22300 214.34/214.50 c nbDecision=364500 #constraints=22300 214.73/214.87 c nbDecision=365000 #constraints=22314 215.23/215.31 c nbDecision=365500 #constraints=22336 215.63/215.74 c nbDecision=366000 #constraints=22371 216.03/216.14 c nbDecision=366500 #constraints=22395 216.43/216.56 c nbDecision=367000 #constraints=22415 216.83/216.92 c nbDecision=367500 #constraints=22433 217.13/217.25 c nbDecision=368000 #constraints=22447 217.53/217.69 c nbDecision=368500 #constraints=22469 217.93/218.07 c nbDecision=369000 #constraints=22478 218.13/218.24 c nbDecision=369500 #constraints=22479 218.63/218.75 c nbDecision=370000 #constraints=22506 219.33/219.42 c nbDecision=370500 #constraints=22550 219.93/220.05 c nbDecision=371000 #constraints=22583 220.33/220.41 c nbDecision=371500 #constraints=22591 220.93/221.03 c nbDecision=372000 #constraints=22628 221.53/221.61 c nbDecision=372500 #constraints=22654 222.23/222.33 c nbDecision=373000 #constraints=22695 222.72/222.86 c nbDecision=373500 #constraints=22720 222.92/223.05 c nbDecision=374000 #constraints=22723 223.42/223.51 c nbDecision=374500 #constraints=22751 223.92/224.05 c nbDecision=375000 #constraints=22769 224.23/224.33 c nbDecision=375500 #constraints=22775 224.52/224.67 c nbDecision=376000 #constraints=22789 225.12/225.21 c nbDecision=376500 #constraints=22819 225.62/225.78 c nbDecision=377000 #constraints=22858 226.02/226.15 c nbDecision=377500 #constraints=22874 226.72/226.84 c nbDecision=378000 #constraints=22919 227.12/227.21 c nbDecision=378500 #constraints=22933 227.73/227.81 c nbDecision=379000 #constraints=22978 227.93/228.06 c nbDecision=379500 #constraints=22984 228.53/228.65 c nbDecision=380000 #constraints=23019 229.33/229.41 c nbDecision=380500 #constraints=23069 229.62/229.78 c nbDecision=381000 #constraints=23089 230.12/230.22 c nbDecision=381500 #constraints=23110 230.52/230.69 c nbDecision=382000 #constraints=23132 230.93/231.09 c nbDecision=382500 #constraints=23153 231.32/231.40 c nbDecision=383000 #constraints=23162 231.72/231.86 c nbDecision=383500 #constraints=23189 232.32/232.42 c nbDecision=384000 #constraints=23220 232.52/232.65 c nbDecision=384500 #constraints=23226 233.02/233.12 c nbDecision=385000 #constraints=23257 233.42/233.51 c nbDecision=385500 #constraints=23274 233.72/233.81 c nbDecision=386000 #constraints=23281 234.02/234.14 c nbDecision=386500 #constraints=23292 234.52/234.65 c nbDecision=387000 #constraints=23324 234.82/234.94 c nbDecision=387500 #constraints=23331 235.12/235.27 c nbDecision=388000 #constraints=23338 235.62/235.76 c nbDecision=388500 #constraints=23372 236.12/236.25 c nbDecision=389000 #constraints=23400 236.92/237.02 c nbDecision=389500 #constraints=23439 237.31/237.41 c nbDecision=390000 #constraints=23465 237.82/237.94 c nbDecision=390500 #constraints=23490 238.72/238.82 c nbDecision=391000 #constraints=23552 239.02/239.12 c nbDecision=391500 #constraints=23555 239.63/239.72 c nbDecision=392000 #constraints=23583 240.22/240.36 c nbDecision=392500 #constraints=23624 240.52/240.61 c nbDecision=393000 #constraints=23633 241.22/241.31 c nbDecision=393500 #constraints=23661 241.62/241.79 c nbDecision=394000 #constraints=23683 242.22/242.32 c nbDecision=394500 #constraints=23700 242.72/242.81 c nbDecision=395000 #constraints=23724 243.22/243.32 c nbDecision=395500 #constraints=23749 243.82/243.99 c nbDecision=396000 #constraints=23782 244.42/244.50 c nbDecision=396500 #constraints=23815 244.82/244.90 c nbDecision=397000 #constraints=23833 245.12/245.25 c nbDecision=397500 #constraints=23843 245.52/245.66 c nbDecision=398000 #constraints=23862 245.92/246.03 c nbDecision=398500 #constraints=23867 246.12/246.22 c nbDecision=399000 #constraints=23867 246.52/246.63 c nbDecision=399500 #constraints=23885 246.91/247.08 c nbDecision=400000 #constraints=23902 247.32/247.46 c nbDecision=400500 #constraints=23907 247.61/247.79 c nbDecision=401000 #constraints=23925 248.11/248.25 c nbDecision=401500 #constraints=23948 248.52/248.68 c nbDecision=402000 #constraints=23964 248.91/249.04 c nbDecision=402500 #constraints=23978 249.41/249.57 c nbDecision=403000 #constraints=24009 250.11/250.22 c nbDecision=403500 #constraints=24028 250.41/250.54 c nbDecision=404000 #constraints=24044 250.91/251.01 c nbDecision=404500 #constraints=24064 251.31/251.47 c nbDecision=405000 #constraints=24084 251.61/251.77 c nbDecision=405500 #constraints=24095 252.11/252.23 c nbDecision=406000 #constraints=24114 252.61/252.79 c nbDecision=406500 #constraints=24147 253.31/253.41 c nbDecision=407000 #constraints=24177 253.61/253.77 c nbDecision=407500 #constraints=24184 254.31/254.41 c nbDecision=408000 #constraints=24226 254.51/254.66 c nbDecision=408500 #constraints=24232 255.41/255.55 c nbDecision=409000 #constraints=24292 255.71/255.89 c nbDecision=409500 #constraints=24305 255.81/255.93 c restart after 409601 decisions 257.11/257.30 c nbDecision=410000 #constraints=24305 257.31/257.44 c nbDecision=410500 #constraints=24305 257.41/257.55 c nbDecision=411000 #constraints=24305 257.61/257.71 c nbDecision=411500 #constraints=24305 257.91/258.08 c nbDecision=412000 #constraints=24305 258.21/258.30 c nbDecision=412500 #constraints=24305 258.31/258.44 c nbDecision=413000 #constraints=24305 258.51/258.69 c nbDecision=413500 #constraints=24305 258.81/258.91 c nbDecision=414000 #constraints=24305 258.91/259.04 c nbDecision=414500 #constraints=24305 259.01/259.17 c nbDecision=415000 #constraints=24305 259.11/259.23 c nbDecision=415500 #constraints=24305 259.11/259.29 c nbDecision=416000 #constraints=24305 259.21/259.35 c nbDecision=416500 #constraints=24305 259.31/259.44 c nbDecision=417000 #constraints=24305 259.81/259.96 c nbDecision=417500 #constraints=24333 260.71/260.88 c nbDecision=418000 #constraints=24391 261.01/261.17 c nbDecision=418500 #constraints=24393 261.61/261.74 c nbDecision=419000 #constraints=24429 262.42/262.58 c nbDecision=419500 #constraints=24490 262.92/263.07 c nbDecision=420000 #constraints=24513 263.32/263.44 c nbDecision=420500 #constraints=24534 263.71/263.81 c nbDecision=421000 #constraints=24543 264.21/264.37 c nbDecision=421500 #constraints=24573 264.51/264.67 c nbDecision=422000 #constraints=24579 264.92/265.06 c nbDecision=422500 #constraints=24594 265.61/265.74 c nbDecision=423000 #constraints=24637 266.01/266.18 c nbDecision=423500 #constraints=24654 266.51/266.61 c nbDecision=424000 #constraints=24674 267.21/267.39 c nbDecision=424500 #constraints=24700 267.51/267.70 c nbDecision=425000 #constraints=24712 268.11/268.23 c nbDecision=425500 #constraints=24741 268.61/268.71 c nbDecision=426000 #constraints=24759 268.91/269.03 c nbDecision=426500 #constraints=24773 269.31/269.47 c nbDecision=427000 #constraints=24789 270.01/270.11 c nbDecision=427500 #constraints=24833 270.41/270.55 c nbDecision=428000 #constraints=24859 271.70/271.88 c nbDecision=428500 #constraints=24939 272.20/272.32 c nbDecision=429000 #constraints=24951 272.61/272.79 c nbDecision=429500 #constraints=24969 273.50/273.65 c nbDecision=430000 #constraints=25012 273.71/273.81 c nbDecision=430500 #constraints=25012 274.70/274.80 c nbDecision=431000 #constraints=25058 276.01/276.12 c nbDecision=431500 #constraints=25127 277.31/277.47 c nbDecision=432000 #constraints=25196 278.21/278.36 c nbDecision=432500 #constraints=25239 279.01/279.15 c nbDecision=433000 #constraints=25279 280.21/280.30 c nbDecision=433500 #constraints=25338 281.10/281.21 c nbDecision=434000 #constraints=25376 282.10/282.24 c nbDecision=434500 #constraints=25414 283.00/283.19 c nbDecision=435000 #constraints=25454 283.80/283.94 c nbDecision=435500 #constraints=25489 284.50/284.65 c nbDecision=436000 #constraints=25517 285.50/285.64 c nbDecision=436500 #constraints=25570 286.80/286.92 c nbDecision=437000 #constraints=25632 287.60/287.76 c nbDecision=437500 #constraints=25667 288.50/288.69 c nbDecision=438000 #constraints=25715 289.30/289.49 c nbDecision=438500 #constraints=25748 290.19/290.38 c nbDecision=439000 #constraints=25777 290.78/290.96 c nbDecision=439500 #constraints=25787 291.28/291.49 c nbDecision=440000 #constraints=25806 291.58/291.73 c nbDecision=440500 #constraints=25813 292.18/292.39 c nbDecision=441000 #constraints=25845 292.78/292.98 c nbDecision=441500 #constraints=25867 292.98/293.19 c nbDecision=442000 #constraints=25868 293.58/293.74 c nbDecision=442500 #constraints=25890 294.28/294.45 c nbDecision=443000 #constraints=25922 294.48/294.68 c nbDecision=443500 #constraints=25930 295.17/295.35 c nbDecision=444000 #constraints=25955 295.97/296.14 c nbDecision=444500 #constraints=25990 296.57/296.72 c nbDecision=445000 #constraints=26020 296.87/297.01 c nbDecision=445500 #constraints=26026 297.37/297.50 c nbDecision=446000 #constraints=26048 297.77/297.94 c nbDecision=446500 #constraints=26060 298.17/298.35 c nbDecision=447000 #constraints=26087 298.56/298.72 c nbDecision=447500 #constraints=26097 299.27/299.48 c nbDecision=448000 #constraints=26141 299.77/299.92 c nbDecision=448500 #constraints=26152 300.77/300.95 c nbDecision=449000 #constraints=26207 301.47/301.68 c nbDecision=449500 #constraints=26229 301.95/302.15 c nbDecision=450000 #constraints=26245 302.36/302.54 c nbDecision=450500 #constraints=26267 302.95/303.18 c nbDecision=451000 #constraints=26293 303.75/303.91 c nbDecision=451500 #constraints=26340 304.05/304.25 c nbDecision=452000 #constraints=26356 304.65/304.85 c nbDecision=452500 #constraints=26388 305.54/305.73 c nbDecision=453000 #constraints=26424 305.95/306.18 c nbDecision=453500 #constraints=26437 306.35/306.55 c nbDecision=454000 #constraints=26455 307.05/307.25 c nbDecision=454500 #constraints=26481 307.75/307.94 c nbDecision=455000 #constraints=26503 308.34/308.52 c nbDecision=455500 #constraints=26533 309.04/309.26 c nbDecision=456000 #constraints=26563 309.24/309.47 c nbDecision=456500 #constraints=26567 310.14/310.33 c nbDecision=457000 #constraints=26608 310.93/311.11 c nbDecision=457500 #constraints=26643 311.23/311.45 c nbDecision=458000 #constraints=26658 311.63/311.84 c nbDecision=458500 #constraints=26669 312.23/312.44 c nbDecision=459000 #constraints=26697 313.03/313.24 c nbDecision=459500 #constraints=26729 313.33/313.58 c nbDecision=460000 #constraints=26732 314.02/314.22 c nbDecision=460500 #constraints=26760 314.32/314.57 c nbDecision=461000 #constraints=26772 314.92/315.15 c nbDecision=461500 #constraints=26797 315.42/315.67 c nbDecision=462000 #constraints=26814 316.12/316.33 c nbDecision=462500 #constraints=26837 316.62/316.84 c nbDecision=463000 #constraints=26864 317.31/317.52 c nbDecision=463500 #constraints=26898 317.51/317.72 c nbDecision=464000 #constraints=26898 317.81/318.09 c nbDecision=464500 #constraints=26904 318.31/318.57 c nbDecision=465000 #constraints=26925 318.82/319.05 c nbDecision=465500 #constraints=26955 319.21/319.44 c nbDecision=466000 #constraints=26967 319.71/319.98 c nbDecision=466500 #constraints=26986 320.41/320.66 c nbDecision=467000 #constraints=27007 321.02/321.25 c nbDecision=467500 #constraints=27027 321.41/321.68 c nbDecision=468000 #constraints=27046 322.01/322.27 c nbDecision=468500 #constraints=27071 322.91/323.13 c nbDecision=469000 #constraints=27125 323.31/323.53 c nbDecision=469500 #constraints=27141 323.91/324.12 c nbDecision=470000 #constraints=27169 324.61/324.89 c nbDecision=470500 #constraints=27218 325.21/325.43 c nbDecision=471000 #constraints=27234 325.81/326.04 c nbDecision=471500 #constraints=27266 326.71/326.99 c nbDecision=472000 #constraints=27304 327.31/327.51 c nbDecision=472500 #constraints=27320 327.61/327.85 c nbDecision=473000 #constraints=27337 328.01/328.28 c nbDecision=473500 #constraints=27352 328.81/329.01 c nbDecision=474000 #constraints=27380 329.61/329.85 c nbDecision=474500 #constraints=27414 330.41/330.65 c nbDecision=475000 #constraints=27429 330.61/330.89 c nbDecision=475500 #constraints=27433 331.11/331.39 c nbDecision=476000 #constraints=27452 331.60/331.81 c nbDecision=476500 #constraints=27458 331.91/332.15 c nbDecision=477000 #constraints=27468 332.30/332.58 c nbDecision=477500 #constraints=27477 332.80/333.04 c nbDecision=478000 #constraints=27489 333.50/333.78 c nbDecision=478500 #constraints=27518 333.80/334.08 c nbDecision=479000 #constraints=27525 334.21/334.47 c nbDecision=479500 #constraints=27534 335.00/335.23 c nbDecision=480000 #constraints=27569 335.80/336.06 c nbDecision=480500 #constraints=27613 336.20/336.47 c nbDecision=481000 #constraints=27620 336.70/336.96 c nbDecision=481500 #constraints=27637 337.70/337.99 c nbDecision=482000 #constraints=27677 338.00/338.23 c nbDecision=482500 #constraints=27681 338.40/338.69 c nbDecision=483000 #constraints=27695 339.21/339.50 c nbDecision=483500 #constraints=27752 339.81/340.01 c nbDecision=484000 #constraints=27773 340.01/340.28 c nbDecision=484500 #constraints=27783 340.41/340.67 c nbDecision=485000 #constraints=27793 340.99/341.23 c nbDecision=485500 #constraints=27805 341.19/341.41 c nbDecision=486000 #constraints=27805 341.59/341.88 c nbDecision=486500 #constraints=27822 342.29/342.51 c nbDecision=487000 #constraints=27848 342.58/342.89 c nbDecision=487500 #constraints=27861 343.58/343.88 c nbDecision=488000 #constraints=27902 343.78/344.04 c nbDecision=488500 #constraints=27902 344.18/344.47 c nbDecision=489000 #constraints=27910 344.78/345.04 c nbDecision=489500 #constraints=27948 345.18/345.48 c nbDecision=490000 #constraints=27961 345.78/346.00 c nbDecision=490500 #constraints=27971 346.28/346.55 c nbDecision=491000 #constraints=27990 346.58/346.89 c nbDecision=491500 #constraints=27999 347.28/347.51 c nbDecision=492000 #constraints=28033 348.08/348.33 c nbDecision=492500 #constraints=28077 348.38/348.67 c nbDecision=493000 #constraints=28086 348.98/349.23 c nbDecision=493500 #constraints=28107 349.48/349.79 c nbDecision=494000 #constraints=28131 350.27/350.54 c nbDecision=494500 #constraints=28166 350.58/350.84 c nbDecision=495000 #constraints=28172 351.37/351.68 c nbDecision=495500 #constraints=28195 351.78/352.07 c nbDecision=496000 #constraints=28209 352.37/352.63 c nbDecision=496500 #constraints=28223 352.88/353.14 c nbDecision=497000 #constraints=28243 353.37/353.69 c nbDecision=497500 #constraints=28268 354.27/354.52 c nbDecision=498000 #constraints=28316 354.57/354.88 c nbDecision=498500 #constraints=28328 355.07/355.32 c nbDecision=499000 #constraints=28337 355.58/355.86 c nbDecision=499500 #constraints=28360 356.18/356.49 c nbDecision=500000 #constraints=28384 356.48/356.71 c nbDecision=500500 #constraints=28384 357.18/357.44 c nbDecision=501000 #constraints=28412 358.18/358.41 c nbDecision=501500 #constraints=28450 358.58/358.84 c nbDecision=502000 #constraints=28467 359.18/359.42 c nbDecision=502500 #constraints=28494 359.48/359.70 c nbDecision=503000 #constraints=28499 359.98/360.21 c nbDecision=503500 #constraints=28517 360.58/360.86 c nbDecision=504000 #constraints=28543 361.18/361.42 c nbDecision=504500 #constraints=28561 361.48/361.76 c nbDecision=505000 #constraints=28571 361.98/362.27 c nbDecision=505500 #constraints=28587 362.47/362.70 c nbDecision=506000 #constraints=28596 363.07/363.30 c nbDecision=506500 #constraints=28624 363.57/363.80 c nbDecision=507000 #constraints=28642 364.57/364.83 c nbDecision=507500 #constraints=28689 364.87/365.17 c nbDecision=508000 #constraints=28698 366.07/366.31 c nbDecision=508500 #constraints=28758 366.37/366.69 c nbDecision=509000 #constraints=28760 366.87/367.13 c nbDecision=509500 #constraints=28769 367.37/367.61 c nbDecision=510000 #constraints=28777 367.67/367.91 c nbDecision=510500 #constraints=28783 368.07/368.30 c nbDecision=511000 #constraints=28789 368.57/368.82 c nbDecision=511500 #constraints=28809 369.17/369.48 c nbDecision=512000 #constraints=28832 369.37/369.69 c nbDecision=512500 #constraints=28833 369.87/370.17 c nbDecision=513000 #constraints=28845 370.37/370.63 c nbDecision=513500 #constraints=28858 370.77/371.09 c nbDecision=514000 #constraints=28868 371.07/371.39 c nbDecision=514500 #constraints=28875 371.47/371.73 c nbDecision=515000 #constraints=28877 371.77/372.08 c nbDecision=515500 #constraints=28878 372.37/372.66 c nbDecision=516000 #constraints=28900 372.57/372.84 c nbDecision=516500 #constraints=28900 373.07/373.30 c nbDecision=517000 #constraints=28914 373.57/373.86 c nbDecision=517500 #constraints=28927 373.87/374.18 c nbDecision=518000 #constraints=28941 374.37/374.61 c nbDecision=518500 #constraints=28953 374.77/375.09 c nbDecision=519000 #constraints=28966 375.07/375.36 c nbDecision=519500 #constraints=28966 375.56/375.82 c nbDecision=520000 #constraints=28983 376.06/376.30 c nbDecision=520500 #constraints=29002 376.56/376.85 c nbDecision=521000 #constraints=29019 376.86/377.18 c nbDecision=521500 #constraints=29031 377.36/377.60 c nbDecision=522000 #constraints=29034 377.96/378.20 c nbDecision=522500 #constraints=29061 378.26/378.54 c nbDecision=523000 #constraints=29076 378.66/378.94 c nbDecision=523500 #constraints=29088 379.26/379.50 c nbDecision=524000 #constraints=29102 379.56/379.81 c nbDecision=524500 #constraints=29110 379.96/380.23 c nbDecision=525000 #constraints=29122 380.36/380.69 c nbDecision=525500 #constraints=29131 380.96/381.23 c nbDecision=526000 #constraints=29150 381.26/381.55 c nbDecision=526500 #constraints=29152 381.66/381.97 c nbDecision=527000 #constraints=29161 382.26/382.53 c nbDecision=527500 #constraints=29181 382.56/382.85 c nbDecision=528000 #constraints=29195 382.96/383.28 c nbDecision=528500 #constraints=29204 383.66/383.92 c nbDecision=529000 #constraints=29238 384.06/384.30 c nbDecision=529500 #constraints=29255 384.36/384.68 c nbDecision=530000 #constraints=29263 384.86/385.14 c nbDecision=530500 #constraints=29271 385.26/385.58 c nbDecision=531000 #constraints=29279 385.66/385.91 c nbDecision=531500 #constraints=29288 386.06/386.38 c nbDecision=532000 #constraints=29306 386.65/386.96 c nbDecision=532500 #constraints=29332 387.05/387.36 c nbDecision=533000 #constraints=29349 387.46/387.77 c nbDecision=533500 #constraints=29359 387.97/388.28 c nbDecision=534000 #constraints=29377 388.56/388.89 c nbDecision=534500 #constraints=29395 388.86/389.11 c nbDecision=535000 #constraints=29397 389.36/389.62 c nbDecision=535500 #constraints=29422 389.86/390.17 c nbDecision=536000 #constraints=29438 390.16/390.48 c nbDecision=536500 #constraints=29444 390.56/390.82 c nbDecision=537000 #constraints=29448 390.96/391.25 c nbDecision=537500 #constraints=29456 391.46/391.78 c nbDecision=538000 #constraints=29471 391.76/392.08 c nbDecision=538500 #constraints=29479 392.16/392.43 c nbDecision=539000 #constraints=29485 392.66/392.98 c nbDecision=539500 #constraints=29505 393.36/393.60 c nbDecision=540000 #constraints=29527 393.56/393.82 c nbDecision=540500 #constraints=29531 394.16/394.44 c nbDecision=541000 #constraints=29566 394.56/394.87 c nbDecision=541500 #constraints=29568 395.06/395.30 c nbDecision=542000 #constraints=29576 395.46/395.70 c nbDecision=542500 #constraints=29583 395.96/396.23 c nbDecision=543000 #constraints=29604 396.56/396.82 c nbDecision=543500 #constraints=29624 396.86/397.14 c nbDecision=544000 #constraints=29637 397.25/397.59 c nbDecision=544500 #constraints=29648 397.75/398.09 c nbDecision=545000 #constraints=29667 398.35/398.64 c nbDecision=545500 #constraints=29682 398.65/398.98 c nbDecision=546000 #constraints=29699 399.06/399.39 c nbDecision=546500 #constraints=29705 399.75/400.00 c nbDecision=547000 #constraints=29728 399.95/400.22 c nbDecision=547500 #constraints=29732 400.55/400.88 c nbDecision=548000 #constraints=29756 401.05/401.34 c nbDecision=548500 #constraints=29765 401.35/401.65 c nbDecision=549000 #constraints=29771 401.75/402.04 c nbDecision=549500 #constraints=29779 402.25/402.51 c nbDecision=550000 #constraints=29795 402.85/403.18 c nbDecision=550500 #constraints=29815 403.15/403.43 c nbDecision=551000 #constraints=29815 403.55/403.89 c nbDecision=551500 #constraints=29830 404.25/404.54 c nbDecision=552000 #constraints=29858 404.75/405.05 c nbDecision=552500 #constraints=29872 405.15/405.41 c nbDecision=553000 #constraints=29885 405.45/405.74 c nbDecision=553500 #constraints=29888 405.85/406.16 c nbDecision=554000 #constraints=29898 406.45/406.70 c nbDecision=554500 #constraints=29910 406.65/406.97 c nbDecision=555000 #constraints=29919 407.25/407.55 c nbDecision=555500 #constraints=29947 408.15/408.49 c nbDecision=556000 #constraints=29993 408.75/409.08 c nbDecision=556500 #constraints=30013 409.15/409.44 c nbDecision=557000 #constraints=30022 409.55/409.82 c nbDecision=557500 #constraints=30029 410.06/410.33 c nbDecision=558000 #constraints=30045 410.55/410.88 c nbDecision=558500 #constraints=30061 410.95/411.25 c nbDecision=559000 #constraints=30075 411.35/411.61 c nbDecision=559500 #constraints=30077 411.95/412.22 c nbDecision=560000 #constraints=30106 412.35/412.66 c nbDecision=560500 #constraints=30108 412.75/413.01 c nbDecision=561000 #constraints=30124 413.25/413.56 c nbDecision=561500 #constraints=30143 413.75/414.08 c nbDecision=562000 #constraints=30161 413.95/414.26 c nbDecision=562500 #constraints=30161 414.35/414.69 c nbDecision=563000 #constraints=30167 414.95/415.28 c nbDecision=563500 #constraints=30187 415.35/415.64 c nbDecision=564000 #constraints=30203 416.75/417.09 c nbDecision=564500 #constraints=30251 417.85/418.10 c nbDecision=565000 #constraints=30263 419.44/419.76 c nbDecision=565500 #constraints=30319 420.84/421.14 c nbDecision=566000 #constraints=30366 422.15/422.41 c nbDecision=566500 #constraints=30403 423.65/423.96 c nbDecision=567000 #constraints=30452 424.85/425.19 c nbDecision=567500 #constraints=30476 426.15/426.47 c nbDecision=568000 #constraints=30521 427.85/428.12 c nbDecision=568500 #constraints=30577 429.55/429.83 c nbDecision=569000 #constraints=30623 430.75/431.08 c nbDecision=569500 #constraints=30657 432.05/432.31 c nbDecision=570000 #constraints=30677 433.15/433.40 c nbDecision=570500 #constraints=30707 434.15/434.48 c nbDecision=571000 #constraints=30745 435.94/436.29 c nbDecision=571500 #constraints=30791 438.14/438.49 c nbDecision=572000 #constraints=30860 439.54/439.84 c nbDecision=572500 #constraints=30901 440.74/441.09 c nbDecision=573000 #constraints=30947 441.74/442.05 c nbDecision=573500 #constraints=30975 442.24/442.56 c nbDecision=574000 #constraints=30989 442.84/443.16 c nbDecision=574500 #constraints=31014 443.34/443.69 c nbDecision=575000 #constraints=31029 443.84/444.12 c nbDecision=575500 #constraints=31039 444.24/444.54 c nbDecision=576000 #constraints=31042 444.63/444.96 c nbDecision=576500 #constraints=31043 445.14/445.46 c nbDecision=577000 #constraints=31047 445.33/445.69 c nbDecision=577500 #constraints=31050 445.93/446.23 c nbDecision=578000 #constraints=31067 446.63/446.92 c nbDecision=578500 #constraints=31090 447.03/447.31 c nbDecision=579000 #constraints=31102 447.33/447.69 c nbDecision=579500 #constraints=31107 448.03/448.37 c nbDecision=580000 #constraints=31137 448.64/448.99 c nbDecision=580500 #constraints=31154 449.04/449.32 c nbDecision=581000 #constraints=31158 449.44/449.70 c nbDecision=581500 #constraints=31162 449.94/450.26 c nbDecision=582000 #constraints=31184 450.54/450.83 c nbDecision=582500 #constraints=31194 450.84/451.17 c nbDecision=583000 #constraints=31208 451.44/451.72 c nbDecision=583500 #constraints=31221 452.04/452.34 c nbDecision=584000 #constraints=31238 452.34/452.66 c nbDecision=584500 #constraints=31244 452.74/453.02 c nbDecision=585000 #constraints=31246 453.14/453.48 c nbDecision=585500 #constraints=31254 453.64/453.92 c nbDecision=586000 #constraints=31256 454.24/454.50 c nbDecision=586500 #constraints=31278 454.54/454.83 c nbDecision=587000 #constraints=31279 454.94/455.26 c nbDecision=587500 #constraints=31282 455.44/455.75 c nbDecision=588000 #constraints=31293 455.94/456.30 c nbDecision=588500 #constraints=31321 456.44/456.77 c nbDecision=589000 #constraints=31330 456.93/457.27 c nbDecision=589500 #constraints=31341 457.63/457.91 c nbDecision=590000 #constraints=31355 457.83/458.12 c nbDecision=590500 #constraints=31355 458.34/458.63 c nbDecision=591000 #constraints=31366 458.73/459.01 c nbDecision=591500 #constraints=31367 459.33/459.63 c nbDecision=592000 #constraints=31386 459.54/459.85 c nbDecision=592500 #constraints=31389 460.03/460.34 c nbDecision=593000 #constraints=31401 460.64/460.91 c nbDecision=593500 #constraints=31423 461.33/461.67 c nbDecision=594000 #constraints=31452 461.53/461.86 c nbDecision=594500 #constraints=31452 462.03/462.35 c nbDecision=595000 #constraints=31465 462.63/462.91 c nbDecision=595500 #constraints=31483 462.93/463.20 c nbDecision=596000 #constraints=31483 463.23/463.53 c nbDecision=596500 #constraints=31484 463.73/464.06 c nbDecision=597000 #constraints=31501 464.33/464.66 c nbDecision=597500 #constraints=31526 464.53/464.87 c nbDecision=598000 #constraints=31528 465.13/465.40 c nbDecision=598500 #constraints=31544 465.73/466.05 c nbDecision=599000 #constraints=31555 466.03/466.38 c nbDecision=599500 #constraints=31562 467.13/467.41 c nbDecision=600000 #constraints=31592 467.63/467.94 c nbDecision=600500 #constraints=31604 468.03/468.37 c nbDecision=601000 #constraints=31621 468.43/468.79 c nbDecision=601500 #constraints=31630 469.03/469.35 c nbDecision=602000 #constraints=31652 469.33/469.66 c nbDecision=602500 #constraints=31658 469.73/470.00 c nbDecision=603000 #constraints=31660 470.23/470.60 c nbDecision=603500 #constraints=31680 470.63/470.97 c nbDecision=604000 #constraints=31691 471.03/471.40 c nbDecision=604500 #constraints=31699 471.63/472.00 c nbDecision=605000 #constraints=31720 472.22/472.52 c nbDecision=605500 #constraints=31731 472.73/473.03 c nbDecision=606000 #constraints=31756 473.12/473.40 c nbDecision=606500 #constraints=31758 473.52/473.82 c nbDecision=607000 #constraints=31760 474.12/474.40 c nbDecision=607500 #constraints=31774 474.32/474.65 c nbDecision=608000 #constraints=31779 475.02/475.35 c nbDecision=608500 #constraints=31802 475.72/476.07 c nbDecision=609000 #constraints=31832 476.53/476.87 c nbDecision=609500 #constraints=31853 477.33/477.64 c nbDecision=610000 #constraints=31885 477.83/478.15 c nbDecision=610500 #constraints=31892 478.33/478.67 c nbDecision=611000 #constraints=31899 478.63/478.95 c nbDecision=611500 #constraints=31908 479.03/479.37 c nbDecision=612000 #constraints=31915 479.73/480.02 c nbDecision=612500 #constraints=31929 480.13/480.40 c nbDecision=613000 #constraints=31942 480.53/480.81 c nbDecision=613500 #constraints=31950 481.13/481.42 c nbDecision=614000 #constraints=31960 481.73/482.04 c nbDecision=614500 #constraints=31979 482.03/482.37 c nbDecision=615000 #constraints=31988 482.53/482.86 c nbDecision=615500 #constraints=32010 483.23/483.52 c nbDecision=616000 #constraints=32025 483.93/484.25 c nbDecision=616500 #constraints=32048 484.73/485.04 c nbDecision=617000 #constraints=32073 485.03/485.39 c nbDecision=617500 #constraints=32080 485.53/485.83 c nbDecision=618000 #constraints=32090 486.03/486.37 c nbDecision=618500 #constraints=32103 486.72/487.01 c nbDecision=619000 #constraints=32128 486.93/487.24 c nbDecision=619500 #constraints=32131 487.42/487.78 c nbDecision=620000 #constraints=32143 487.92/488.25 c nbDecision=620500 #constraints=32145 488.22/488.54 c nbDecision=621000 #constraints=32150 488.62/488.93 c nbDecision=621500 #constraints=32151 489.13/489.45 c nbDecision=622000 #constraints=32162 489.42/489.72 c nbDecision=622500 #constraints=32162 489.82/490.18 c nbDecision=623000 #constraints=32175 490.62/490.94 c nbDecision=623500 #constraints=32216 491.12/491.48 c nbDecision=624000 #constraints=32225 491.43/491.74 c nbDecision=624500 #constraints=32232 491.82/492.17 c nbDecision=625000 #constraints=32234 492.32/492.64 c nbDecision=625500 #constraints=32242 492.72/493.02 c nbDecision=626000 #constraints=32254 493.12/493.49 c nbDecision=626500 #constraints=32267 493.72/494.00 c nbDecision=627000 #constraints=32280 494.22/494.55 c nbDecision=627500 #constraints=32289 494.52/494.88 c nbDecision=628000 #constraints=32297 495.01/495.31 c nbDecision=628500 #constraints=32311 495.41/495.71 c nbDecision=629000 #constraints=32312 496.01/496.39 c nbDecision=629500 #constraints=32327 496.21/496.58 c nbDecision=630000 #constraints=32328 496.82/497.14 c nbDecision=630500 #constraints=32351 497.31/497.63 c nbDecision=631000 #constraints=32358 497.61/497.93 c nbDecision=631500 #constraints=32368 498.02/498.38 c nbDecision=632000 #constraints=32377 498.71/499.04 c nbDecision=632500 #constraints=32400 499.02/499.32 c nbDecision=633000 #constraints=32407 499.41/499.78 c nbDecision=633500 #constraints=32415 500.12/500.44 c nbDecision=634000 #constraints=32433 500.61/500.99 c nbDecision=634500 #constraints=32449 501.22/501.57 c nbDecision=635000 #constraints=32470 501.72/502.06 c nbDecision=635500 #constraints=32478 502.42/502.71 c nbDecision=636000 #constraints=32486 503.22/503.51 c nbDecision=636500 #constraints=32510 503.62/503.99 c nbDecision=637000 #constraints=32517 504.52/504.88 c nbDecision=637500 #constraints=32563 504.82/505.13 c nbDecision=638000 #constraints=32566 505.32/505.63 c nbDecision=638500 #constraints=32573 505.72/506.04 c nbDecision=639000 #constraints=32574 506.32/506.60 c nbDecision=639500 #constraints=32583 506.52/506.85 c nbDecision=640000 #constraints=32583 507.02/507.31 c nbDecision=640500 #constraints=32595 507.42/507.71 c nbDecision=641000 #constraints=32596 507.92/508.23 c nbDecision=641500 #constraints=32604 508.32/508.66 c nbDecision=642000 #constraints=32618 508.72/509.06 c nbDecision=642500 #constraints=32620 509.31/509.64 c nbDecision=643000 #constraints=32633 510.31/510.68 c nbDecision=643500 #constraints=32669 510.82/511.12 c nbDecision=644000 #constraints=32680 511.31/511.67 c nbDecision=644500 #constraints=32698 512.01/512.36 c nbDecision=645000 #constraints=32724 512.32/512.65 c nbDecision=645500 #constraints=32733 513.11/513.45 c nbDecision=646000 #constraints=32754 514.01/514.39 c nbDecision=646500 #constraints=32779 514.31/514.65 c nbDecision=647000 #constraints=32785 515.01/515.30 c nbDecision=647500 #constraints=32801 515.81/516.12 c nbDecision=648000 #constraints=32817 516.31/516.60 c nbDecision=648500 #constraints=32833 517.91/518.20 c nbDecision=649000 #constraints=32906 518.31/518.66 c nbDecision=649500 #constraints=32909 518.91/519.28 c nbDecision=650000 #constraints=32927 519.31/519.60 c nbDecision=650500 #constraints=32934 519.81/520.10 c nbDecision=651000 #constraints=32941 520.21/520.55 c nbDecision=651500 #constraints=32946 520.61/520.90 c nbDecision=652000 #constraints=32955 520.91/521.29 c nbDecision=652500 #constraints=32966 521.41/521.73 c nbDecision=653000 #constraints=32969 522.21/522.58 c nbDecision=653500 #constraints=32991 522.61/522.97 c nbDecision=654000 #constraints=33005 523.21/523.59 c nbDecision=654500 #constraints=33015 523.80/524.19 c nbDecision=655000 #constraints=33033 524.60/524.99 c nbDecision=655500 #constraints=33050 525.51/525.86 c nbDecision=656000 #constraints=33095 525.80/526.14 c nbDecision=656500 #constraints=33096 526.71/527.02 c nbDecision=657000 #constraints=33131 527.41/527.74 c nbDecision=657500 #constraints=33149 528.31/528.61 c nbDecision=658000 #constraints=33165 529.01/529.34 c nbDecision=658500 #constraints=33189 529.71/530.02 c nbDecision=659000 #constraints=33205 530.21/530.59 c nbDecision=659500 #constraints=33221 530.81/531.14 c nbDecision=660000 #constraints=33240 531.51/531.82 c nbDecision=660500 #constraints=33261 532.01/532.35 c nbDecision=661000 #constraints=33267 532.31/532.65 c nbDecision=661500 #constraints=33273 532.81/533.18 c nbDecision=662000 #constraints=33284 533.60/533.92 c nbDecision=662500 #constraints=33313 534.00/534.31 c nbDecision=663000 #constraints=33321 534.31/534.68 c nbDecision=663500 #constraints=33326 534.80/535.14 c nbDecision=664000 #constraints=33331 535.60/535.92 c nbDecision=664500 #constraints=33360 535.80/536.13 c nbDecision=665000 #constraints=33362 536.60/536.95 c nbDecision=665500 #constraints=33391 537.10/537.47 c nbDecision=666000 #constraints=33400 537.51/537.81 c nbDecision=666500 #constraints=33404 537.90/538.22 c nbDecision=667000 #constraints=33412 538.40/538.79 c nbDecision=667500 #constraints=33428 538.80/539.17 c nbDecision=668000 #constraints=33442 539.20/539.54 c nbDecision=668500 #constraints=33447 539.60/539.96 c nbDecision=669000 #constraints=33449 540.20/540.51 c nbDecision=669500 #constraints=33461 540.60/540.92 c nbDecision=670000 #constraints=33473 541.00/541.34 c nbDecision=670500 #constraints=33483 541.50/541.87 c nbDecision=671000 #constraints=33493 541.90/542.29 c nbDecision=671500 #constraints=33510 542.40/542.70 c nbDecision=672000 #constraints=33517 542.90/543.20 c nbDecision=672500 #constraints=33525 543.30/543.62 c nbDecision=673000 #constraints=33538 543.70/544.00 c nbDecision=673500 #constraints=33540 544.10/544.47 c nbDecision=674000 #constraints=33544 544.90/545.23 c nbDecision=674500 #constraints=33569 545.70/546.04 c nbDecision=675000 #constraints=33594 546.20/546.57 c nbDecision=675500 #constraints=33598 546.80/547.11 c nbDecision=676000 #constraints=33607 547.10/547.47 c nbDecision=676500 #constraints=33615 547.50/547.89 c nbDecision=677000 #constraints=33623 548.00/548.37 c nbDecision=677500 #constraints=33626 548.50/548.86 c nbDecision=678000 #constraints=33628 549.00/549.35 c nbDecision=678500 #constraints=33652 549.60/549.90 c nbDecision=679000 #constraints=33669 550.10/550.41 c nbDecision=679500 #constraints=33680 550.40/550.72 c nbDecision=680000 #constraints=33682 550.70/551.07 c nbDecision=680500 #constraints=33684 551.30/551.60 c nbDecision=681000 #constraints=33698 551.80/552.20 c nbDecision=681500 #constraints=33712 552.20/552.52 c nbDecision=682000 #constraints=33721 552.70/553.05 c nbDecision=682500 #constraints=33737 553.29/553.66 c nbDecision=683000 #constraints=33755 554.10/554.43 c nbDecision=683500 #constraints=33781 554.29/554.61 c nbDecision=684000 #constraints=33781 554.90/555.22 c nbDecision=684500 #constraints=33804 555.60/555.95 c nbDecision=685000 #constraints=33827 555.90/556.25 c nbDecision=685500 #constraints=33836 556.40/556.79 c nbDecision=686000 #constraints=33847 557.00/557.33 c nbDecision=686500 #constraints=33861 557.30/557.61 c nbDecision=687000 #constraints=33866 557.70/558.06 c nbDecision=687500 #constraints=33868 558.20/558.58 c nbDecision=688000 #constraints=33884 558.60/558.96 c nbDecision=688500 #constraints=33890 559.00/559.33 c nbDecision=689000 #constraints=33892 559.70/560.01 c nbDecision=689500 #constraints=33908 561.00/561.35 c nbDecision=690000 #constraints=33947 561.30/561.68 c nbDecision=690500 #constraints=33955 561.80/562.16 c nbDecision=691000 #constraints=33965 562.30/562.65 c nbDecision=691500 #constraints=33970 562.90/563.21 c nbDecision=692000 #constraints=33976 563.10/563.41 c nbDecision=692500 #constraints=33976 563.69/564.00 c nbDecision=693000 #constraints=33995 564.29/564.68 c nbDecision=693500 #constraints=34010 564.59/564.99 c nbDecision=694000 #constraints=34012 565.10/565.44 c nbDecision=694500 #constraints=34023 565.69/566.04 c nbDecision=695000 #constraints=34047 566.10/566.42 c nbDecision=695500 #constraints=34054 566.69/567.08 c nbDecision=696000 #constraints=34073 567.29/567.62 c nbDecision=696500 #constraints=34081 567.89/568.25 c nbDecision=697000 #constraints=34092 568.19/568.60 c nbDecision=697500 #constraints=34095 568.79/569.14 c nbDecision=698000 #constraints=34108 569.39/569.79 c nbDecision=698500 #constraints=34129 570.19/570.50 c nbDecision=699000 #constraints=34142 570.49/570.82 c nbDecision=699500 #constraints=34145 570.89/571.24 c nbDecision=700000 #constraints=34147 571.39/571.75 c nbDecision=700500 #constraints=34152 571.99/572.36 c nbDecision=701000 #constraints=34165 572.49/572.80 c nbDecision=701500 #constraints=34180 572.89/573.22 c nbDecision=702000 #constraints=34187 573.39/573.71 c nbDecision=702500 #constraints=34194 574.09/574.42 c nbDecision=703000 #constraints=34220 574.39/574.70 c nbDecision=703500 #constraints=34220 574.79/575.12 c nbDecision=704000 #constraints=34222 576.00/576.38 c nbDecision=704500 #constraints=34267 576.59/576.90 c nbDecision=705000 #constraints=34275 577.10/577.43 c nbDecision=705500 #constraints=34288 577.59/577.95 c nbDecision=706000 #constraints=34296 577.79/578.14 c nbDecision=706500 #constraints=34296 578.20/578.59 c nbDecision=707000 #constraints=34301 578.89/579.30 c nbDecision=707500 #constraints=34334 579.30/579.63 c nbDecision=708000 #constraints=34338 579.89/580.23 c nbDecision=708500 #constraints=34351 580.39/580.71 c nbDecision=709000 #constraints=34360 580.89/581.23 c nbDecision=709500 #constraints=34366 581.29/581.61 c nbDecision=710000 #constraints=34376 581.69/582.02 c nbDecision=710500 #constraints=34378 582.39/582.77 c nbDecision=711000 #constraints=34411 582.99/583.33 c nbDecision=711500 #constraints=34420 583.28/583.67 c nbDecision=712000 #constraints=34429 584.28/584.61 c nbDecision=712500 #constraints=34473 585.28/585.69 c nbDecision=713000 #constraints=34497 585.48/585.90 c nbDecision=713500 #constraints=34497 586.18/586.54 c nbDecision=714000 #constraints=34513 587.18/587.56 c nbDecision=714500 #constraints=34535 587.78/588.14 c nbDecision=715000 #constraints=34552 588.28/588.65 c nbDecision=715500 #constraints=34558 588.88/589.22 c nbDecision=716000 #constraints=34564 589.19/589.51 c nbDecision=716500 #constraints=34572 589.58/589.92 c nbDecision=717000 #constraints=34573 590.48/590.80 c nbDecision=717500 #constraints=34615 590.88/591.20 c nbDecision=718000 #constraints=34626 591.28/591.67 c nbDecision=718500 #constraints=34639 591.78/592.13 c nbDecision=719000 #constraints=34641 592.28/592.69 c nbDecision=719500 #constraints=34654 592.68/593.09 c nbDecision=720000 #constraints=34665 593.28/593.61 c nbDecision=720500 #constraints=34681 594.39/594.79 c nbDecision=721000 #constraints=34725 594.89/595.26 c nbDecision=721500 #constraints=34727 595.49/595.82 c nbDecision=722000 #constraints=34737 595.89/596.24 c nbDecision=722500 #constraints=34747 596.29/596.62 c nbDecision=723000 #constraints=34749 596.78/597.12 c nbDecision=723500 #constraints=34753 597.38/597.78 c nbDecision=724000 #constraints=34768 597.99/598.32 c nbDecision=724500 #constraints=34792 599.18/599.57 c nbDecision=725000 #constraints=34840 599.38/599.76 c nbDecision=725500 #constraints=34840 599.98/600.39 c nbDecision=726000 #constraints=34858 600.78/601.11 c nbDecision=726500 #constraints=34876 601.18/601.50 c nbDecision=727000 #constraints=34889 601.78/602.15 c nbDecision=727500 #constraints=34901 602.48/602.82 c nbDecision=728000 #constraints=34916 603.58/603.94 c nbDecision=728500 #constraints=34942 604.28/604.64 c nbDecision=729000 #constraints=34957 604.98/605.35 c nbDecision=729500 #constraints=34977 606.08/606.47 c nbDecision=730000 #constraints=35008 606.58/606.98 c nbDecision=730500 #constraints=35014 607.78/608.10 c nbDecision=731000 #constraints=35045 608.18/608.59 c nbDecision=731500 #constraints=35049 608.78/609.12 c nbDecision=732000 #constraints=35053 609.18/609.57 c nbDecision=732500 #constraints=35069 609.58/609.98 c nbDecision=733000 #constraints=35072 610.47/610.84 c nbDecision=733500 #constraints=35097 611.07/611.43 c nbDecision=734000 #constraints=35107 611.67/612.05 c nbDecision=734500 #constraints=35117 611.97/612.31 c nbDecision=735000 #constraints=35117 612.57/612.91 c nbDecision=735500 #constraints=35132 613.97/614.40 c nbDecision=736000 #constraints=35184 614.57/614.99 c nbDecision=736500 #constraints=35191 615.47/615.82 c nbDecision=737000 #constraints=35206 615.68/616.05 c nbDecision=737500 #constraints=35206 616.27/616.64 c nbDecision=738000 #constraints=35228 616.87/617.24 c nbDecision=738500 #constraints=35246 617.17/617.60 c nbDecision=739000 #constraints=35255 617.67/618.08 c nbDecision=739500 #constraints=35261 618.17/618.55 c nbDecision=740000 #constraints=35267 618.77/619.12 c nbDecision=740500 #constraints=35294 619.17/619.51 c nbDecision=741000 #constraints=35296 619.67/620.03 c nbDecision=741500 #constraints=35302 620.37/620.72 c nbDecision=742000 #constraints=35325 620.77/621.19 c nbDecision=742500 #constraints=35341 621.27/621.66 c nbDecision=743000 #constraints=35351 621.98/622.36 c nbDecision=743500 #constraints=35359 622.98/623.36 c nbDecision=744000 #constraints=35380 623.97/624.36 c nbDecision=744500 #constraints=35415 624.17/624.56 c nbDecision=745000 #constraints=35415 624.77/625.15 c nbDecision=745500 #constraints=35433 625.48/625.86 c nbDecision=746000 #constraints=35453 625.77/626.19 c nbDecision=746500 #constraints=35455 626.17/626.56 c nbDecision=747000 #constraints=35456 626.87/627.23 c nbDecision=747500 #constraints=35469 627.97/628.30 c nbDecision=748000 #constraints=35497 628.57/628.97 c nbDecision=748500 #constraints=35517 628.97/629.34 c nbDecision=749000 #constraints=35522 629.37/629.76 c nbDecision=749500 #constraints=35526 629.97/630.31 c nbDecision=750000 #constraints=35531 630.67/631.05 c nbDecision=750500 #constraints=35547 631.07/631.41 c nbDecision=751000 #constraints=35552 631.47/631.83 c nbDecision=751500 #constraints=35557 632.07/632.45 c nbDecision=752000 #constraints=35568 633.06/633.50 c nbDecision=752500 #constraints=35607 633.56/633.96 c nbDecision=753000 #constraints=35611 634.56/634.99 c nbDecision=753500 #constraints=35644 635.16/635.59 c nbDecision=754000 #constraints=35658 635.66/636.09 c nbDecision=754500 #constraints=35665 635.96/636.35 c nbDecision=755000 #constraints=35666 636.36/636.76 c nbDecision=755500 #constraints=35668 636.96/637.38 c nbDecision=756000 #constraints=35680 637.46/637.85 c nbDecision=756500 #constraints=35692 637.96/638.36 c nbDecision=757000 #constraints=35703 639.07/639.47 c nbDecision=757500 #constraints=35731 639.77/640.16 c nbDecision=758000 #constraints=35752 640.57/640.93 c nbDecision=758500 #constraints=35766 640.97/641.35 c nbDecision=759000 #constraints=35782 641.77/642.12 c nbDecision=759500 #constraints=35801 642.47/642.85 c nbDecision=760000 #constraints=35821 642.97/643.31 c nbDecision=760500 #constraints=35829 644.27/644.61 c nbDecision=761000 #constraints=35866 644.57/644.92 c nbDecision=761500 #constraints=35871 645.07/645.41 c nbDecision=762000 #constraints=35876 645.96/646.37 c nbDecision=762500 #constraints=35921 646.26/646.69 c nbDecision=763000 #constraints=35921 646.76/647.14 c nbDecision=763500 #constraints=35925 648.76/649.13 c nbDecision=764000 #constraints=35991 650.56/650.93 c nbDecision=764500 #constraints=36029 652.56/652.90 c nbDecision=765000 #constraints=36104 654.66/655.05 c nbDecision=765500 #constraints=36147 656.66/657.05 c nbDecision=766000 #constraints=36199 658.66/659.01 c nbDecision=766500 #constraints=36261 660.16/660.50 c nbDecision=767000 #constraints=36327 661.36/661.75 c nbDecision=767500 #constraints=36364 662.76/663.14 c nbDecision=768000 #constraints=36407 664.16/664.52 c nbDecision=768500 #constraints=36444 665.86/666.28 c nbDecision=769000 #constraints=36509 667.55/667.92 c nbDecision=769500 #constraints=36573 668.95/669.34 c nbDecision=770000 #constraints=36637 670.06/670.41 c nbDecision=770500 #constraints=36660 671.06/671.46 c nbDecision=771000 #constraints=36682 672.56/672.95 c nbDecision=771500 #constraints=36724 674.06/674.48 c nbDecision=772000 #constraints=36774 675.56/675.95 c nbDecision=772500 #constraints=36820 676.76/677.18 c nbDecision=773000 #constraints=36860 677.76/678.19 c nbDecision=773500 #constraints=36875 678.85/679.27 c nbDecision=774000 #constraints=36907 681.15/681.55 c nbDecision=774500 #constraints=36971 682.65/683.01 c nbDecision=775000 #constraints=37023 684.55/684.95 c nbDecision=775500 #constraints=37064 686.06/686.44 c nbDecision=776000 #constraints=37107 687.26/687.69 c nbDecision=776500 #constraints=37132 688.85/689.28 c nbDecision=777000 #constraints=37174 690.25/690.69 c nbDecision=777500 #constraints=37199 691.95/692.38 c nbDecision=778000 #constraints=37252 693.35/693.79 c nbDecision=778500 #constraints=37289 694.85/695.27 c nbDecision=779000 #constraints=37332 696.05/696.42 c nbDecision=779500 #constraints=37362 697.25/697.67 c nbDecision=780000 #constraints=37384 698.35/698.74 c nbDecision=780500 #constraints=37403 699.84/700.29 c nbDecision=781000 #constraints=37468 701.14/701.55 c nbDecision=781500 #constraints=37516 702.64/703.02 c nbDecision=782000 #constraints=37549 703.74/704.14 c nbDecision=782500 #constraints=37579 705.04/705.47 c nbDecision=783000 #constraints=37615 706.25/706.67 c nbDecision=783500 #constraints=37640 707.85/708.26 c nbDecision=784000 #constraints=37685 709.05/709.42 c nbDecision=784500 #constraints=37702 710.44/710.87 c nbDecision=785000 #constraints=37748 711.74/712.12 c nbDecision=785500 #constraints=37775 713.24/713.64 c nbDecision=786000 #constraints=37809 714.64/715.08 c nbDecision=786500 #constraints=37839 715.84/716.27 c nbDecision=787000 #constraints=37864 717.35/717.74 c nbDecision=787500 #constraints=37899 718.45/718.89 c nbDecision=788000 #constraints=37913 719.94/720.38 c nbDecision=788500 #constraints=37948 721.44/721.88 c nbDecision=789000 #constraints=37976 723.04/723.43 c nbDecision=789500 #constraints=38017 724.14/724.51 c nbDecision=790000 #constraints=38038 725.54/725.96 c nbDecision=790500 #constraints=38075 726.84/727.24 c nbDecision=791000 #constraints=38096 727.74/728.20 c nbDecision=791500 #constraints=38114 728.64/729.01 c nbDecision=792000 #constraints=38130 729.84/730.23 c nbDecision=792500 #constraints=38162 730.34/730.78 c nbDecision=793000 #constraints=38165 731.34/731.77 c nbDecision=793500 #constraints=38186 732.14/732.53 c nbDecision=794000 #constraints=38207 732.44/732.83 c nbDecision=794500 #constraints=38207 733.13/733.56 c nbDecision=795000 #constraints=38222 734.53/734.90 c nbDecision=795500 #constraints=38247 734.93/735.36 c nbDecision=796000 #constraints=38251 735.44/735.86 c nbDecision=796500 #constraints=38256 736.73/737.13 c nbDecision=797000 #constraints=38300 738.74/739.17 c nbDecision=797500 #constraints=38382 740.83/741.22 c nbDecision=798000 #constraints=38466 742.33/742.76 c nbDecision=798500 #constraints=38517 744.23/744.68 c nbDecision=799000 #constraints=38598 746.23/746.69 c nbDecision=799500 #constraints=38652 747.83/748.29 c nbDecision=800000 #constraints=38698 749.54/749.99 c nbDecision=800500 #constraints=38772 750.94/751.34 c nbDecision=801000 #constraints=38808 752.23/752.63 c nbDecision=801500 #constraints=38852 753.93/754.32 c nbDecision=802000 #constraints=38917 755.53/755.90 c nbDecision=802500 #constraints=38979 757.03/757.44 c nbDecision=803000 #constraints=39013 758.13/758.56 c nbDecision=803500 #constraints=39032 759.53/759.90 c nbDecision=804000 #constraints=39061 761.33/761.71 c nbDecision=804500 #constraints=39128 762.73/763.17 c nbDecision=805000 #constraints=39166 764.33/764.74 c nbDecision=805500 #constraints=39210 765.83/766.25 c nbDecision=806000 #constraints=39244 767.72/768.11 c nbDecision=806500 #constraints=39297 769.22/769.68 c nbDecision=807000 #constraints=39343 770.92/771.39 c nbDecision=807500 #constraints=39391 772.22/772.70 c nbDecision=808000 #constraints=39424 773.72/774.14 c nbDecision=808500 #constraints=39459 774.92/775.31 c nbDecision=809000 #constraints=39473 776.52/776.96 c nbDecision=809500 #constraints=39518 777.62/778.05 c nbDecision=810000 #constraints=39542 778.92/779.33 c nbDecision=810500 #constraints=39572 780.22/780.65 c nbDecision=811000 #constraints=39590 781.82/782.26 c nbDecision=811500 #constraints=39638 783.13/783.58 c nbDecision=812000 #constraints=39670 785.32/785.71 c nbDecision=812500 #constraints=39723 787.23/787.63 c nbDecision=813000 #constraints=39793 788.72/789.17 c nbDecision=813500 #constraints=39837 790.72/791.12 c nbDecision=814000 #constraints=39907 792.52/792.90 c nbDecision=814500 #constraints=39953 794.02/794.43 c nbDecision=815000 #constraints=39988 795.32/795.80 c nbDecision=815500 #constraints=40017 796.72/797.10 c nbDecision=816000 #constraints=40051 798.22/798.62 c nbDecision=816500 #constraints=40093 799.41/799.88 c nbDecision=817000 #constraints=40133 800.71/801.15 c nbDecision=817500 #constraints=40155 802.32/802.78 c nbDecision=818000 #constraints=40194 803.92/804.31 c nbDecision=818500 #constraints=40229 805.72/806.16 c nbDecision=819000 #constraints=40285 806.32/806.78 c restart after 819201 decisions 809.12/809.56 c nbDecision=819500 #constraints=40299 809.42/809.80 c nbDecision=820000 #constraints=40299 809.52/809.94 c nbDecision=820500 #constraints=40299 809.81/810.22 c nbDecision=821000 #constraints=40299 810.32/810.75 c nbDecision=821500 #constraints=40299 810.71/811.12 c nbDecision=822000 #constraints=40299 811.01/811.48 c nbDecision=822500 #constraints=40299 811.42/811.86 c nbDecision=823000 #constraints=40299 811.81/812.27 c nbDecision=823500 #constraints=40299 812.11/812.56 c nbDecision=824000 #constraints=40299 812.31/812.79 c nbDecision=824500 #constraints=40299 812.42/812.85 c nbDecision=825000 #constraints=40299 812.52/812.91 c nbDecision=825500 #constraints=40299 812.52/812.97 c nbDecision=826000 #constraints=40299 812.71/813.10 c nbDecision=826500 #constraints=40299 813.11/813.51 c nbDecision=827000 #constraints=40306 813.71/814.13 c nbDecision=827500 #constraints=40322 814.51/814.95 c nbDecision=828000 #constraints=40338 814.91/815.35 c nbDecision=828500 #constraints=40344 815.41/815.82 c nbDecision=829000 #constraints=40346 816.11/816.53 c nbDecision=829500 #constraints=40361 816.71/817.16 c nbDecision=830000 #constraints=40363 817.11/817.55 c nbDecision=830500 #constraints=40372 817.71/818.17 c nbDecision=831000 #constraints=40379 818.51/818.94 c nbDecision=831500 #constraints=40398 818.91/819.37 c nbDecision=832000 #constraints=40407 819.41/819.85 c nbDecision=832500 #constraints=40410 820.21/820.65 c nbDecision=833000 #constraints=40423 821.01/821.44 c nbDecision=833500 #constraints=40429 821.41/821.89 c nbDecision=834000 #constraints=40439 822.01/822.45 c nbDecision=834500 #constraints=40447 822.61/823.03 c nbDecision=835000 #constraints=40450 823.10/823.53 c nbDecision=835500 #constraints=40465 823.70/824.11 c nbDecision=836000 #constraints=40474 824.30/824.72 c nbDecision=836500 #constraints=40476 824.90/825.36 c nbDecision=837000 #constraints=40478 825.20/825.64 c nbDecision=837500 #constraints=40483 825.90/826.32 c nbDecision=838000 #constraints=40491 826.50/826.96 c nbDecision=838500 #constraints=40496 827.20/827.62 c nbDecision=839000 #constraints=40498 827.40/827.85 c nbDecision=839500 #constraints=40498 828.61/829.10 c nbDecision=840000 #constraints=40529 829.21/829.68 c nbDecision=840500 #constraints=40532 830.11/830.59 c nbDecision=841000 #constraints=40555 831.00/831.45 c nbDecision=841500 #constraints=40583 831.40/831.85 c nbDecision=842000 #constraints=40589 832.00/832.41 c nbDecision=842500 #constraints=40597 832.70/833.16 c nbDecision=843000 #constraints=40611 833.41/833.87 c nbDecision=843500 #constraints=40627 834.00/834.41 c nbDecision=844000 #constraints=40647 834.41/834.89 c nbDecision=844500 #constraints=40650 835.20/835.68 c nbDecision=845000 #constraints=40668 835.90/836.36 c nbDecision=845500 #constraints=40676 836.20/836.66 c nbDecision=846000 #constraints=40676 836.90/837.30 c nbDecision=846500 #constraints=40691 837.50/837.92 c nbDecision=847000 #constraints=40700 838.20/838.66 c nbDecision=847500 #constraints=40721 838.50/838.90 c nbDecision=848000 #constraints=40721 839.10/839.51 c nbDecision=848500 #constraints=40724 839.70/840.18 c nbDecision=849000 #constraints=40731 840.50/840.97 c nbDecision=849500 #constraints=40748 840.80/841.25 c nbDecision=850000 #constraints=40749 841.40/841.88 c nbDecision=850500 #constraints=40760 842.00/842.48 c nbDecision=851000 #constraints=40763 842.80/843.24 c nbDecision=851500 #constraints=40773 843.00/843.48 c nbDecision=852000 #constraints=40775 844.00/844.42 c nbDecision=852500 #constraints=40793 844.70/845.15 c nbDecision=853000 #constraints=40803 845.30/845.71 c nbDecision=853500 #constraints=40810 845.70/846.18 c nbDecision=854000 #constraints=40811 846.39/846.88 c nbDecision=854500 #constraints=40825 847.19/847.65 c nbDecision=855000 #constraints=40838 847.49/847.96 c nbDecision=855500 #constraints=40843 848.29/848.74 c nbDecision=856000 #constraints=40862 849.09/849.56 c nbDecision=856500 #constraints=40884 849.69/850.18 c nbDecision=857000 #constraints=40886 850.09/850.54 c nbDecision=857500 #constraints=40893 850.69/851.15 c nbDecision=858000 #constraints=40907 851.29/851.72 c nbDecision=858500 #constraints=40911 852.00/852.47 c nbDecision=859000 #constraints=40923 852.39/852.83 c nbDecision=859500 #constraints=40933 853.10/853.59 c nbDecision=860000 #constraints=40941 854.00/854.44 c nbDecision=860500 #constraints=40950 854.30/854.72 c nbDecision=861000 #constraints=40950 854.90/855.38 c nbDecision=861500 #constraints=40959 855.60/856.09 c nbDecision=862000 #constraints=40971 856.50/856.93 c nbDecision=862500 #constraints=40988 856.90/857.30 c nbDecision=863000 #constraints=40990 857.50/857.95 c nbDecision=863500 #constraints=41001 858.20/858.65 c nbDecision=864000 #constraints=41015 859.10/859.51 c nbDecision=864500 #constraints=41032 859.40/859.81 c nbDecision=865000 #constraints=41037 860.10/860.50 c nbDecision=865500 #constraints=41053 861.00/861.40 c nbDecision=866000 #constraints=41062 861.40/861.88 c nbDecision=866500 #constraints=41073 861.90/862.39 c nbDecision=867000 #constraints=41075 862.49/862.96 c nbDecision=867500 #constraints=41079 863.29/863.73 c nbDecision=868000 #constraints=41092 863.59/864.06 c nbDecision=868500 #constraints=41096 864.39/864.87 c nbDecision=869000 #constraints=41104 865.49/865.92 c nbDecision=869500 #constraints=41133 865.89/866.31 c nbDecision=870000 #constraints=41136 866.30/866.75 c nbDecision=870500 #constraints=41138 866.89/867.30 c nbDecision=871000 #constraints=41141 867.29/867.73 c nbDecision=871500 #constraints=41149 867.79/868.29 c nbDecision=872000 #constraints=41155 868.50/868.99 c nbDecision=872500 #constraints=41168 869.39/869.83 c nbDecision=873000 #constraints=41175 869.70/870.19 c nbDecision=873500 #constraints=41180 870.19/870.65 c nbDecision=874000 #constraints=41182 870.89/871.31 c nbDecision=874500 #constraints=41188 871.49/871.97 c nbDecision=875000 #constraints=41191 871.69/872.20 c nbDecision=875500 #constraints=41191 872.39/872.86 c nbDecision=876000 #constraints=41195 873.09/873.55 c nbDecision=876500 #constraints=41201 873.59/874.07 c nbDecision=877000 #constraints=41213 874.10/874.52 c nbDecision=877500 #constraints=41215 874.59/875.08 c nbDecision=878000 #constraints=41218 875.49/875.92 c nbDecision=878500 #constraints=41244 875.89/876.38 c nbDecision=879000 #constraints=41256 876.39/876.88 c nbDecision=879500 #constraints=41258 877.09/877.54 c nbDecision=880000 #constraints=41266 877.69/878.18 c nbDecision=880500 #constraints=41268 878.29/878.72 c nbDecision=881000 #constraints=41280 878.79/879.24 c nbDecision=881500 #constraints=41282 879.39/879.84 c nbDecision=882000 #constraints=41284 880.19/880.65 c nbDecision=882500 #constraints=41303 880.89/881.31 c nbDecision=883000 #constraints=41325 881.39/881.83 c nbDecision=883500 #constraints=41331 881.99/882.47 c nbDecision=884000 #constraints=41335 882.79/883.27 c nbDecision=884500 #constraints=41349 883.18/883.68 c nbDecision=885000 #constraints=41351 883.78/884.29 c nbDecision=885500 #constraints=41361 884.38/884.89 c nbDecision=886000 #constraints=41369 885.18/885.60 c nbDecision=886500 #constraints=41378 885.88/886.39 c nbDecision=887000 #constraints=41396 886.38/886.85 c nbDecision=887500 #constraints=41397 886.98/887.45 c nbDecision=888000 #constraints=41404 887.78/888.20 c nbDecision=888500 #constraints=41412 888.08/888.59 c nbDecision=889000 #constraints=41424 888.68/889.16 c nbDecision=889500 #constraints=41426 889.38/889.90 c nbDecision=890000 #constraints=41438 889.88/890.33 c nbDecision=890500 #constraints=41443 890.98/891.41 c nbDecision=891000 #constraints=41458 891.88/892.33 c nbDecision=891500 #constraints=41467 892.78/893.26 c nbDecision=892000 #constraints=41486 893.18/893.69 c nbDecision=892500 #constraints=41495 893.78/894.28 c nbDecision=893000 #constraints=41509 894.58/895.08 c nbDecision=893500 #constraints=41528 895.07/895.57 c nbDecision=894000 #constraints=41538 895.47/895.99 c nbDecision=894500 #constraints=41539 896.18/896.61 c nbDecision=895000 #constraints=41548 896.88/897.35 c nbDecision=895500 #constraints=41559 897.09/897.56 c nbDecision=896000 #constraints=41559 897.78/898.22 c nbDecision=896500 #constraints=41568 898.48/898.94 c nbDecision=897000 #constraints=41577 898.88/899.37 c nbDecision=897500 #constraints=41584 899.39/899.83 c nbDecision=898000 #constraints=41585 900.08/900.52 c nbDecision=898500 #constraints=41599 900.98/901.42 c nbDecision=899000 #constraints=41642 901.49/901.91 c nbDecision=899500 #constraints=41644 902.08/902.54 c nbDecision=900000 #constraints=41646 902.68/903.17 c nbDecision=900500 #constraints=41648 903.08/903.54 c nbDecision=901000 #constraints=41648 903.58/904.07 c nbDecision=901500 #constraints=41652 904.28/904.73 c nbDecision=902000 #constraints=41660 904.98/905.47 c nbDecision=902500 #constraints=41671 905.38/905.81 c nbDecision=903000 #constraints=41671 905.88/906.34 c nbDecision=903500 #constraints=41673 906.48/906.93 c nbDecision=904000 #constraints=41676 907.18/907.60 c nbDecision=904500 #constraints=41678 907.38/907.90 c nbDecision=905000 #constraints=41678 907.98/908.49 c nbDecision=905500 #constraints=41680 909.28/909.72 c nbDecision=906000 #constraints=41701 909.98/910.49 c nbDecision=906500 #constraints=41714 910.88/911.35 c nbDecision=907000 #constraints=41735 911.28/911.70 c nbDecision=907500 #constraints=41735 911.78/912.21 c nbDecision=908000 #constraints=41741 912.38/912.81 c nbDecision=908500 #constraints=41746 912.88/913.36 c nbDecision=909000 #constraints=41763 913.38/913.86 c nbDecision=909500 #constraints=41765 913.98/914.42 c nbDecision=910000 #constraints=41766 914.78/915.24 c nbDecision=910500 #constraints=41788 915.17/915.61 c nbDecision=911000 #constraints=41788 915.67/916.13 c nbDecision=911500 #constraints=41790 916.27/916.77 c nbDecision=912000 #constraints=41796 917.07/917.55 c nbDecision=912500 #constraints=41813 917.27/917.77 c nbDecision=913000 #constraints=41813 917.98/918.48 c nbDecision=913500 #constraints=41827 918.87/919.31 c nbDecision=914000 #constraints=41842 919.37/919.83 c nbDecision=914500 #constraints=41854 919.87/920.32 c nbDecision=915000 #constraints=41856 920.47/920.94 c nbDecision=915500 #constraints=41861 921.17/921.61 c nbDecision=916000 #constraints=41867 921.57/922.06 c nbDecision=916500 #constraints=41874 922.07/922.54 c nbDecision=917000 #constraints=41876 922.87/923.33 c nbDecision=917500 #constraints=41892 923.47/923.90 c nbDecision=918000 #constraints=41907 923.97/924.43 c nbDecision=918500 #constraints=41909 924.67/925.16 c nbDecision=919000 #constraints=41916 925.57/926.06 c nbDecision=919500 #constraints=41930 925.97/926.42 c nbDecision=920000 #constraints=41939 926.67/927.20 c nbDecision=920500 #constraints=41961 927.37/927.84 c nbDecision=921000 #constraints=41965 928.07/928.57 c nbDecision=921500 #constraints=41975 928.36/928.84 c nbDecision=922000 #constraints=41979 928.97/929.44 c nbDecision=922500 #constraints=41988 929.66/930.20 c nbDecision=923000 #constraints=41996 930.17/930.67 c nbDecision=923500 #constraints=42006 930.66/931.14 c nbDecision=924000 #constraints=42008 931.27/931.73 c nbDecision=924500 #constraints=42013 931.96/932.45 c nbDecision=925000 #constraints=42021 932.56/933.00 c nbDecision=925500 #constraints=42034 932.96/933.47 c nbDecision=926000 #constraints=42035 933.56/934.07 c nbDecision=926500 #constraints=42044 934.86/935.32 c nbDecision=927000 #constraints=42075 935.67/936.16 c nbDecision=927500 #constraints=42090 936.26/936.70 c nbDecision=928000 #constraints=42099 936.67/937.18 c nbDecision=928500 #constraints=42103 937.36/937.85 c nbDecision=929000 #constraints=42112 938.06/938.50 c nbDecision=929500 #constraints=42114 938.46/938.97 c nbDecision=930000 #constraints=42123 939.06/939.51 c nbDecision=930500 #constraints=42130 940.07/940.54 c nbDecision=931000 #constraints=42157 940.76/941.21 c nbDecision=931500 #constraints=42162 941.07/941.57 c nbDecision=932000 #constraints=42168 941.86/942.36 c nbDecision=932500 #constraints=42178 942.76/943.26 c nbDecision=933000 #constraints=42195 944.16/944.61 c nbDecision=933500 #constraints=42215 944.86/945.35 c nbDecision=934000 #constraints=42221 945.76/946.23 c nbDecision=934500 #constraints=42237 945.96/946.46 c nbDecision=935000 #constraints=42237 946.76/947.20 c nbDecision=935500 #constraints=42253 947.36/947.83 c nbDecision=936000 #constraints=42256 947.76/948.25 c nbDecision=936500 #constraints=42263 948.36/948.82 c nbDecision=937000 #constraints=42268 948.86/949.39 c nbDecision=937500 #constraints=42269 949.56/950.07 c nbDecision=938000 #constraints=42275 949.96/950.46 c nbDecision=938500 #constraints=42278 950.46/950.97 c nbDecision=939000 #constraints=42282 951.06/951.54 c nbDecision=939500 #constraints=42285 951.76/952.26 c nbDecision=940000 #constraints=42293 952.06/952.58 c nbDecision=940500 #constraints=42293 952.66/953.16 c nbDecision=941000 #constraints=42297 953.66/954.13 c nbDecision=941500 #constraints=42316 953.96/954.45 c nbDecision=942000 #constraints=42318 954.46/954.99 c nbDecision=942500 #constraints=42323 955.15/955.65 c nbDecision=943000 #constraints=42326 955.66/956.12 c nbDecision=943500 #constraints=42333 956.05/956.55 c nbDecision=944000 #constraints=42334 956.65/957.19 c nbDecision=944500 #constraints=42343 957.56/958.02 c nbDecision=945000 #constraints=42365 957.85/958.35 c nbDecision=945500 #constraints=42365 958.35/958.88 c nbDecision=946000 #constraints=42367 959.05/959.53 c nbDecision=946500 #constraints=42375 959.86/960.37 c nbDecision=947000 #constraints=42389 960.25/960.71 c nbDecision=947500 #constraints=42391 960.86/961.39 c nbDecision=948000 #constraints=42398 961.45/961.94 c nbDecision=948500 #constraints=42399 961.95/962.41 c nbDecision=949000 #constraints=42405 962.45/962.91 c nbDecision=949500 #constraints=42409 963.05/963.53 c nbDecision=950000 #constraints=42415 963.75/964.26 c nbDecision=950500 #constraints=42420 964.05/964.54 c nbDecision=951000 #constraints=42424 964.75/965.20 c nbDecision=951500 #constraints=42433 965.55/966.01 c nbDecision=952000 #constraints=42450 966.15/966.61 c nbDecision=952500 #constraints=42468 966.55/967.04 c nbDecision=953000 #constraints=42469 967.05/967.60 c nbDecision=953500 #constraints=42471 968.26/968.72 c nbDecision=954000 #constraints=42504 968.46/968.98 c nbDecision=954500 #constraints=42506 969.26/969.70 c nbDecision=955000 #constraints=42520 969.96/970.43 c nbDecision=955500 #constraints=42524 970.96/971.40 c nbDecision=956000 #constraints=42548 971.36/971.90 c nbDecision=956500 #constraints=42550 972.16/972.61 c nbDecision=957000 #constraints=42561 972.96/973.49 c nbDecision=957500 #constraints=42569 973.46/973.91 c nbDecision=958000 #constraints=42573 973.96/974.48 c nbDecision=958500 #constraints=42578 974.65/975.13 c nbDecision=959000 #constraints=42590 975.45/975.90 c nbDecision=959500 #constraints=42607 975.85/976.34 c nbDecision=960000 #constraints=42612 976.36/976.84 c nbDecision=960500 #constraints=42614 976.95/977.47 c nbDecision=961000 #constraints=42622 977.85/978.32 c nbDecision=961500 #constraints=42640 978.25/978.77 c nbDecision=962000 #constraints=42645 978.85/979.30 c nbDecision=962500 #constraints=42654 979.35/979.89 c nbDecision=963000 #constraints=42656 980.25/980.70 c nbDecision=963500 #constraints=42668 980.55/981.03 c nbDecision=964000 #constraints=42670 981.25/981.76 c nbDecision=964500 #constraints=42684 982.15/982.62 c nbDecision=965000 #constraints=42708 982.55/983.04 c nbDecision=965500 #constraints=42712 983.05/983.59 c nbDecision=966000 #constraints=42722 983.75/984.22 c nbDecision=966500 #constraints=42730 984.45/984.98 c nbDecision=967000 #constraints=42739 984.85/985.39 c nbDecision=967500 #constraints=42743 985.55/986.03 c nbDecision=968000 #constraints=42757 986.25/986.75 c nbDecision=968500 #constraints=42772 987.05/987.54 c nbDecision=969000 #constraints=42786 987.35/987.86 c nbDecision=969500 #constraints=42788 988.25/988.72 c nbDecision=970000 #constraints=42797 988.85/989.35 c nbDecision=970500 #constraints=42806 989.85/990.34 c nbDecision=971000 #constraints=42816 990.05/990.59 c nbDecision=971500 #constraints=42816 990.84/991.33 c nbDecision=972000 #constraints=42825 991.65/992.16 c nbDecision=972500 #constraints=42836 992.24/992.78 c nbDecision=973000 #constraints=42837 992.54/993.02 c nbDecision=973500 #constraints=42837 993.04/993.58 c nbDecision=974000 #constraints=42839 993.85/994.35 c nbDecision=974500 #constraints=42848 995.05/995.53 c nbDecision=975000 #constraints=42862 995.64/996.17 c nbDecision=975500 #constraints=42865 996.24/996.77 c nbDecision=976000 #constraints=42867 997.04/997.52 c nbDecision=976500 #constraints=42877 997.54/998.10 c nbDecision=977000 #constraints=42893 998.14/998.63 c nbDecision=977500 #constraints=42895 998.84/999.32 c nbDecision=978000 #constraints=42905 999.64/1000.18 c nbDecision=978500 #constraints=42924 1000.14/1000.61 c nbDecision=979000 #constraints=42928 1000.54/1001.07 c nbDecision=979500 #constraints=42929 1001.14/1001.68 c nbDecision=980000 #constraints=42931 1001.74/1002.27 c nbDecision=980500 #constraints=42932 1002.24/1002.76 c nbDecision=981000 #constraints=42938 1002.74/1003.27 c nbDecision=981500 #constraints=42940 1003.34/1003.84 c nbDecision=982000 #constraints=42941 1004.14/1004.61 c nbDecision=982500 #constraints=42953 1004.34/1004.84 c nbDecision=983000 #constraints=42953 1004.94/1005.48 c nbDecision=983500 #constraints=42955 1005.64/1006.11 c nbDecision=984000 #constraints=42957 1006.24/1006.78 c nbDecision=984500 #constraints=42959 1006.74/1007.28 c nbDecision=985000 #constraints=42971 1007.54/1008.06 c nbDecision=985500 #constraints=42983 1008.33/1008.81 c nbDecision=986000 #constraints=42996 1009.34/1009.82 c nbDecision=986500 #constraints=43028 1011.13/1011.66 c nbDecision=987000 #constraints=43056 1014.23/1014.78 c nbDecision=987500 #constraints=43130 1016.33/1016.82 c nbDecision=988000 #constraints=43178 1018.83/1019.33 c nbDecision=988500 #constraints=43234 1020.93/1021.46 c nbDecision=989000 #constraints=43273 1022.33/1022.88 c nbDecision=989500 #constraints=43297 1023.03/1023.52 c nbDecision=990000 #constraints=43299 1023.23/1023.78 c nbDecision=990500 #constraints=43300 1024.04/1024.50 c nbDecision=991000 #constraints=43310 1024.74/1025.21 c nbDecision=991500 #constraints=43318 1025.14/1025.67 c nbDecision=992000 #constraints=43325 1025.64/1026.15 c nbDecision=992500 #constraints=43328 1026.43/1026.91 c nbDecision=993000 #constraints=43340 1027.33/1027.84 c nbDecision=993500 #constraints=43360 1027.83/1028.37 c nbDecision=994000 #constraints=43369 1028.53/1029.04 c nbDecision=994500 #constraints=43382 1030.53/1031.04 c nbDecision=995000 #constraints=43413 1032.53/1033.04 c nbDecision=995500 #constraints=43451 1035.93/1036.41 c nbDecision=996000 #constraints=43511 1037.33/1037.83 c nbDecision=996500 #constraints=43537 1040.13/1040.69 c nbDecision=997000 #constraints=43582 1042.63/1043.12 c nbDecision=997500 #constraints=43625 1044.93/1045.48 c nbDecision=998000 #constraints=43667 1046.53/1047.05 c nbDecision=998500 #constraints=43690 1048.72/1049.24 c nbDecision=999000 #constraints=43719 1051.13/1051.65 c nbDecision=999500 #constraints=43757 1054.12/1054.62 c nbDecision=1000000 #constraints=43808 1057.32/1057.80 c nbDecision=1000500 #constraints=43860 1059.73/1060.26 c nbDecision=1001000 #constraints=43900 1061.83/1062.33 c nbDecision=1001500 #constraints=43941 1064.02/1064.58 c nbDecision=1002000 #constraints=43985 1067.42/1067.91 c nbDecision=1002500 #constraints=44041 1069.12/1069.60 c nbDecision=1003000 #constraints=44080 1070.83/1071.31 c nbDecision=1003500 #constraints=44104 1072.32/1072.87 c nbDecision=1004000 #constraints=44133 1074.22/1074.73 c nbDecision=1004500 #constraints=44172 1076.12/1076.63 c nbDecision=1005000 #constraints=44195 1078.32/1078.88 c nbDecision=1005500 #constraints=44220 1079.72/1080.23 c nbDecision=1006000 #constraints=44249 1081.71/1082.22 c nbDecision=1006500 #constraints=44285 1083.21/1083.72 c nbDecision=1007000 #constraints=44312 1085.22/1085.75 c nbDecision=1007500 #constraints=44367 1087.21/1087.78 c nbDecision=1008000 #constraints=44398 1088.61/1089.17 c nbDecision=1008500 #constraints=44414 1090.81/1091.37 c nbDecision=1009000 #constraints=44449 1092.41/1092.90 c nbDecision=1009500 #constraints=44472 1095.21/1095.74 c nbDecision=1010000 #constraints=44521 1097.81/1098.36 c nbDecision=1010500 #constraints=44552 1099.41/1099.93 c nbDecision=1011000 #constraints=44583 1101.41/1101.98 c nbDecision=1011500 #constraints=44616 1103.81/1104.31 c nbDecision=1012000 #constraints=44648 1105.81/1106.34 c nbDecision=1012500 #constraints=44666 1107.90/1108.47 c nbDecision=1013000 #constraints=44710 1109.41/1109.96 c nbDecision=1013500 #constraints=44742 1110.80/1111.37 c nbDecision=1014000 #constraints=44759 1112.11/1112.66 c nbDecision=1014500 #constraints=44769 1113.51/1114.00 c nbDecision=1015000 #constraints=44785 1114.91/1115.49 c nbDecision=1015500 #constraints=44810 1117.11/1117.67 c nbDecision=1016000 #constraints=44839 1120.01/1120.57 c nbDecision=1016500 #constraints=44879 1121.80/1122.33 c nbDecision=1017000 #constraints=44917 1123.61/1124.19 c nbDecision=1017500 #constraints=44940 1125.60/1126.13 c nbDecision=1018000 #constraints=44960 1127.30/1127.85 c nbDecision=1018500 #constraints=44992 1129.01/1129.58 c nbDecision=1019000 #constraints=45022 1130.91/1131.48 c nbDecision=1019500 #constraints=45053 1133.01/1133.59 c nbDecision=1020000 #constraints=45089 1134.91/1135.47 c nbDecision=1020500 #constraints=45108 1136.50/1137.06 c nbDecision=1021000 #constraints=45131 1138.70/1139.22 c nbDecision=1021500 #constraints=45168 1140.60/1141.19 c nbDecision=1022000 #constraints=45197 1142.50/1143.04 c nbDecision=1022500 #constraints=45238 1144.40/1144.90 c nbDecision=1023000 #constraints=45266 1146.00/1146.59 c nbDecision=1023500 #constraints=45289 1147.50/1148.07 c nbDecision=1024000 #constraints=45314 1149.70/1150.28 c nbDecision=1024500 #constraints=45348 1151.80/1152.34 c nbDecision=1025000 #constraints=45399 1153.60/1154.15 c nbDecision=1025500 #constraints=45413 1155.50/1156.02 c nbDecision=1026000 #constraints=45435 1157.29/1157.85 c nbDecision=1026500 #constraints=45458 1159.39/1159.91 c nbDecision=1027000 #constraints=45500 1161.19/1161.77 c nbDecision=1027500 #constraints=45523 1163.09/1163.66 c nbDecision=1028000 #constraints=45541 1164.89/1165.46 c nbDecision=1028500 #constraints=45557 1166.99/1167.57 c nbDecision=1029000 #constraints=45591 1168.69/1169.24 c nbDecision=1029500 #constraints=45603 1170.49/1171.05 c nbDecision=1030000 #constraints=45633 1171.89/1172.49 c nbDecision=1030500 #constraints=45649 1173.49/1174.08 c nbDecision=1031000 #constraints=45661 1175.10/1175.65 c nbDecision=1031500 #constraints=45673 1176.60/1177.18 c nbDecision=1032000 #constraints=45687 1177.00/1177.57 c nbDecision=1032500 #constraints=45691 1177.70/1178.25 c nbDecision=1033000 #constraints=45696 1178.40/1178.90 c nbDecision=1033500 #constraints=45698 1178.80/1179.40 c nbDecision=1034000 #constraints=45704 1179.50/1180.05 c nbDecision=1034500 #constraints=45712 1180.10/1180.69 c nbDecision=1035000 #constraints=45717 1180.80/1181.39 c nbDecision=1035500 #constraints=45718 1181.30/1181.81 c nbDecision=1036000 #constraints=45718 1181.80/1182.34 c nbDecision=1036500 #constraints=45720 1182.70/1183.27 c nbDecision=1037000 #constraints=45732 1183.40/1183.98 c nbDecision=1037500 #constraints=45734 1184.10/1184.64 c nbDecision=1038000 #constraints=45749 1185.59/1186.13 c nbDecision=1038500 #constraints=45769 1185.79/1186.37 c nbDecision=1039000 #constraints=45769 1187.19/1187.78 c nbDecision=1039500 #constraints=45795 1187.99/1188.56 c nbDecision=1040000 #constraints=45809 1188.89/1189.49 c nbDecision=1040500 #constraints=45822 1189.39/1189.95 c nbDecision=1041000 #constraints=45826 1190.09/1190.61 c nbDecision=1041500 #constraints=45833 1191.09/1191.62 c nbDecision=1042000 #constraints=45848 1191.90/1192.45 c nbDecision=1042500 #constraints=45857 1192.19/1192.79 c nbDecision=1043000 #constraints=45857 1192.90/1193.40 c nbDecision=1043500 #constraints=45859 1193.69/1194.26 c nbDecision=1044000 #constraints=45876 1194.79/1195.32 c nbDecision=1044500 #constraints=45890 1194.99/1195.58 c nbDecision=1045000 #constraints=45892 1195.79/1196.31 c nbDecision=1045500 #constraints=45899 1196.39/1196.96 c nbDecision=1046000 #constraints=45901 1196.89/1197.47 c nbDecision=1046500 #constraints=45907 1197.39/1197.99 c nbDecision=1047000 #constraints=45909 1198.09/1198.68 c nbDecision=1047500 #constraints=45921 1198.79/1199.38 c nbDecision=1048000 #constraints=45928 1199.09/1199.61 c nbDecision=1048500 #constraints=45928 1199.89/1200.41 c nbDecision=1049000 #constraints=45941 1200.69/1201.22 c nbDecision=1049500 #constraints=45950 1201.29/1201.89 c nbDecision=1050000 #constraints=45969 1201.89/1202.48 c nbDecision=1050500 #constraints=45973 1202.69/1203.21 c nbDecision=1051000 #constraints=45986 1203.59/1204.15 c nbDecision=1051500 #constraints=46000 1203.99/1204.53 c nbDecision=1052000 #constraints=46005 1204.49/1205.09 c nbDecision=1052500 #constraints=46006 1205.19/1205.78 c nbDecision=1053000 #constraints=46014 1206.09/1206.66 c nbDecision=1053500 #constraints=46030 1206.48/1207.08 c nbDecision=1054000 #constraints=46036 1207.19/1207.74 c nbDecision=1054500 #constraints=46040 1207.88/1208.47 c nbDecision=1055000 #constraints=46049 1208.58/1209.18 c nbDecision=1055500 #constraints=46052 1209.08/1209.60 c nbDecision=1056000 #constraints=46062 1209.68/1210.23 c nbDecision=1056500 #constraints=46064 1210.49/1211.04 c nbDecision=1057000 #constraints=46069 1211.28/1211.88 c nbDecision=1057500 #constraints=46077 1211.59/1212.10 c nbDecision=1058000 #constraints=46077 1212.28/1212.85 c nbDecision=1058500 #constraints=46088 1213.28/1213.81 c nbDecision=1059000 #constraints=46105 1213.58/1214.15 c nbDecision=1059500 #constraints=46110 1214.38/1214.95 c nbDecision=1060000 #constraints=46128 1215.38/1215.94 c nbDecision=1060500 #constraints=46149 1215.78/1216.38 c nbDecision=1061000 #constraints=46149 1216.38/1216.91 c nbDecision=1061500 #constraints=46151 1217.08/1217.62 c nbDecision=1062000 #constraints=46155 1217.98/1218.52 c nbDecision=1062500 #constraints=46168 1218.18/1218.77 c nbDecision=1063000 #constraints=46168 1218.88/1219.44 c nbDecision=1063500 #constraints=46170 1219.68/1220.29 c nbDecision=1064000 #constraints=46186 1220.18/1220.75 c nbDecision=1064500 #constraints=46191 1220.88/1221.45 c nbDecision=1065000 #constraints=46203 1221.68/1222.29 c nbDecision=1065500 #constraints=46214 1222.58/1223.16 c nbDecision=1066000 #constraints=46226 1222.98/1223.51 c nbDecision=1066500 #constraints=46232 1223.68/1224.20 c nbDecision=1067000 #constraints=46234 1224.27/1224.87 c nbDecision=1067500 #constraints=46236 1225.07/1225.69 c nbDecision=1068000 #constraints=46243 1225.57/1226.11 c nbDecision=1068500 #constraints=46248 1226.17/1226.78 c nbDecision=1069000 #constraints=46256 1227.27/1227.81 c nbDecision=1069500 #constraints=46269 1227.77/1228.33 c nbDecision=1070000 #constraints=46274 1228.37/1228.92 c nbDecision=1070500 #constraints=46279 1229.07/1229.61 c nbDecision=1071000 #constraints=46281 1229.97/1230.58 c nbDecision=1071500 #constraints=46304 1230.47/1231.05 c nbDecision=1072000 #constraints=46311 1231.37/1231.96 c nbDecision=1072500 #constraints=46323 1232.17/1232.75 c nbDecision=1073000 #constraints=46333 1232.67/1233.22 c nbDecision=1073500 #constraints=46339 1233.17/1233.74 c nbDecision=1074000 #constraints=46341 1233.97/1234.56 c nbDecision=1074500 #constraints=46351 1234.77/1235.37 c nbDecision=1075000 #constraints=46360 1234.98/1235.60 c nbDecision=1075500 #constraints=46360 1235.68/1236.26 c nbDecision=1076000 #constraints=46363 1236.48/1237.02 c nbDecision=1076500 #constraints=46365 1236.88/1237.48 c nbDecision=1077000 #constraints=46371 1237.48/1238.01 c nbDecision=1077500 #constraints=46372 1238.08/1238.61 c nbDecision=1078000 #constraints=46374 1238.88/1239.41 c nbDecision=1078500 #constraints=46380 1239.18/1239.74 c nbDecision=1079000 #constraints=46380 1240.08/1240.65 c nbDecision=1079500 #constraints=46399 1240.87/1241.49 c nbDecision=1080000 #constraints=46415 1241.77/1242.30 c nbDecision=1080500 #constraints=46420 1242.07/1242.63 c nbDecision=1081000 #constraints=46420 1242.67/1243.24 c nbDecision=1081500 #constraints=46422 1243.37/1243.92 c nbDecision=1082000 #constraints=46424 1244.17/1244.74 c nbDecision=1082500 #constraints=46435 1244.67/1245.22 c nbDecision=1083000 #constraints=46444 1245.47/1246.01 c nbDecision=1083500 #constraints=46455 1246.17/1246.73 c nbDecision=1084000 #constraints=46460 1246.87/1247.45 c nbDecision=1084500 #constraints=46461 1247.07/1247.68 c nbDecision=1085000 #constraints=46461 1248.17/1248.74 c nbDecision=1085500 #constraints=46477 1248.97/1249.57 c nbDecision=1086000 #constraints=46494 1249.67/1250.26 c nbDecision=1086500 #constraints=46518 1250.27/1250.84 c nbDecision=1087000 #constraints=46524 1251.87/1252.44 c nbDecision=1087500 #constraints=46546 1252.66/1253.24 c nbDecision=1088000 #constraints=46558 1253.37/1253.98 c nbDecision=1088500 #constraints=46562 1253.96/1254.51 c nbDecision=1089000 #constraints=46575 1254.57/1255.18 c nbDecision=1089500 #constraints=46584 1255.26/1255.82 c nbDecision=1090000 #constraints=46586 1256.06/1256.62 c nbDecision=1090500 #constraints=46597 1256.26/1256.85 c nbDecision=1091000 #constraints=46597 1256.96/1257.52 c nbDecision=1091500 #constraints=46605 1258.46/1259.01 c nbDecision=1092000 #constraints=46638 1259.76/1260.35 c nbDecision=1092500 #constraints=46656 1260.56/1261.16 c nbDecision=1093000 #constraints=46661 1262.06/1262.64 c nbDecision=1093500 #constraints=46688 1262.86/1263.40 c nbDecision=1094000 #constraints=46691 1263.66/1264.20 c nbDecision=1094500 #constraints=46696 1263.96/1264.52 c nbDecision=1095000 #constraints=46696 1264.56/1265.18 c nbDecision=1095500 #constraints=46701 1265.66/1266.27 c nbDecision=1096000 #constraints=46719 1267.66/1268.23 c nbDecision=1096500 #constraints=46777 1269.36/1269.95 c nbDecision=1097000 #constraints=46818 1271.36/1271.91 c nbDecision=1097500 #constraints=46848 1273.06/1273.65 c nbDecision=1098000 #constraints=46883 1274.56/1275.17 c nbDecision=1098500 #constraints=46912 1276.46/1277.01 c nbDecision=1099000 #constraints=46956 1278.06/1278.65 c nbDecision=1099500 #constraints=46976 1280.06/1280.69 c nbDecision=1100000 #constraints=47005 1282.06/1282.67 c nbDecision=1100500 #constraints=47030 1283.75/1284.34 c nbDecision=1101000 #constraints=47064 1285.36/1285.93 c nbDecision=1101500 #constraints=47088 1286.75/1287.36 c nbDecision=1102000 #constraints=47108 1288.35/1288.92 c nbDecision=1102500 #constraints=47127 1289.85/1290.49 c nbDecision=1103000 #constraints=47154 1291.86/1292.50 c nbDecision=1103500 #constraints=47200 1293.05/1293.63 c nbDecision=1104000 #constraints=47212 1294.15/1294.73 c nbDecision=1104500 #constraints=47220 1295.55/1296.11 c nbDecision=1105000 #constraints=47231 1297.05/1297.66 c nbDecision=1105500 #constraints=47254 1298.75/1299.36 c nbDecision=1106000 #constraints=47282 1300.55/1301.16 c nbDecision=1106500 #constraints=47311 1302.15/1302.72 c nbDecision=1107000 #constraints=47329 1303.75/1304.36 c nbDecision=1107500 #constraints=47350 1305.06/1305.64 c nbDecision=1108000 #constraints=47368 1306.56/1307.17 c nbDecision=1108500 #constraints=47394 1307.95/1308.57 c nbDecision=1109000 #constraints=47413 1309.05/1309.67 c nbDecision=1109500 #constraints=47424 1309.75/1310.31 c nbDecision=1110000 #constraints=47438 1310.56/1311.13 c nbDecision=1110500 #constraints=47447 1311.25/1311.83 c nbDecision=1111000 #constraints=47456 1311.95/1312.59 c nbDecision=1111500 #constraints=47459 1312.55/1313.15 c nbDecision=1112000 #constraints=47469 1314.35/1314.92 c nbDecision=1112500 #constraints=47514 1314.96/1315.55 c nbDecision=1113000 #constraints=47519 1315.85/1316.42 c nbDecision=1113500 #constraints=47537 1316.75/1317.31 c nbDecision=1114000 #constraints=47549 1317.15/1317.80 c nbDecision=1114500 #constraints=47560 1317.95/1318.50 c nbDecision=1115000 #constraints=47567 1318.65/1319.24 c nbDecision=1115500 #constraints=47578 1319.75/1320.35 c nbDecision=1116000 #constraints=47608 1320.45/1321.02 c nbDecision=1116500 #constraints=47620 1321.25/1321.88 c nbDecision=1117000 #constraints=47631 1322.15/1322.76 c nbDecision=1117500 #constraints=47642 1322.55/1323.13 c nbDecision=1118000 #constraints=47649 1323.45/1324.00 c nbDecision=1118500 #constraints=47663 1324.35/1324.98 c nbDecision=1119000 #constraints=47674 1325.45/1326.06 c nbDecision=1119500 #constraints=47690 1325.95/1326.56 c nbDecision=1120000 #constraints=47691 1326.65/1327.24 c nbDecision=1120500 #constraints=47693 1327.65/1328.25 c nbDecision=1121000 #constraints=47709 1328.34/1328.98 c nbDecision=1121500 #constraints=47710 1328.64/1329.22 c nbDecision=1122000 #constraints=47710 1329.44/1330.00 c nbDecision=1122500 #constraints=47723 1330.74/1331.34 c nbDecision=1123000 #constraints=47745 1331.55/1332.15 c nbDecision=1123500 #constraints=47753 1332.44/1333.02 c nbDecision=1124000 #constraints=47767 1332.84/1333.49 c nbDecision=1124500 #constraints=47770 1333.54/1334.11 c nbDecision=1125000 #constraints=47779 1334.34/1334.96 c nbDecision=1125500 #constraints=47801 1335.44/1336.05 c nbDecision=1126000 #constraints=47825 1335.95/1336.52 c nbDecision=1126500 #constraints=47830 1336.54/1337.16 c nbDecision=1127000 #constraints=47838 1337.24/1337.84 c nbDecision=1127500 #constraints=47839 1337.74/1338.30 c nbDecision=1128000 #constraints=47842 1338.34/1338.93 c nbDecision=1128500 #constraints=47847 1339.24/1339.82 c nbDecision=1129000 #constraints=47863 1340.04/1340.61 c nbDecision=1129500 #constraints=47866 1340.44/1341.03 c nbDecision=1130000 #constraints=47871 1341.14/1341.77 c nbDecision=1130500 #constraints=47887 1342.04/1342.64 c nbDecision=1131000 #constraints=47897 1342.44/1343.09 c nbDecision=1131500 #constraints=47898 1343.24/1343.81 c nbDecision=1132000 #constraints=47906 1344.04/1344.63 c nbDecision=1132500 #constraints=47918 1344.94/1345.51 c nbDecision=1133000 #constraints=47929 1346.24/1346.80 c nbDecision=1133500 #constraints=47945 1347.04/1347.64 c nbDecision=1134000 #constraints=47954 1347.94/1348.52 c nbDecision=1134500 #constraints=47960 1348.14/1348.78 c nbDecision=1135000 #constraints=47961 1349.04/1349.60 c nbDecision=1135500 #constraints=47967 1350.33/1351.00 c nbDecision=1136000 #constraints=47979 1351.03/1351.66 c nbDecision=1136500 #constraints=47982 1352.13/1352.71 c nbDecision=1137000 #constraints=48000 1353.63/1354.28 c nbDecision=1137500 #constraints=48024 1354.43/1355.02 c nbDecision=1138000 #constraints=48026 1355.33/1355.91 c nbDecision=1138500 #constraints=48035 1355.53/1356.14 c nbDecision=1139000 #constraints=48035 1356.33/1356.91 c nbDecision=1139500 #constraints=48043 1357.03/1357.67 c nbDecision=1140000 #constraints=48045 1357.53/1358.16 c nbDecision=1140500 #constraints=48052 1358.13/1358.76 c nbDecision=1141000 #constraints=48054 1359.04/1359.69 c nbDecision=1141500 #constraints=48078 1359.83/1360.50 c nbDecision=1142000 #constraints=48084 1360.13/1360.74 c nbDecision=1142500 #constraints=48084 1360.83/1361.45 c nbDecision=1143000 #constraints=48090 1361.53/1362.18 c nbDecision=1143500 #constraints=48092 1362.03/1362.69 c nbDecision=1144000 #constraints=48097 1362.63/1363.22 c nbDecision=1144500 #constraints=48098 1363.33/1363.99 c nbDecision=1145000 #constraints=48102 1364.23/1364.85 c nbDecision=1145500 #constraints=48109 1364.73/1365.32 c nbDecision=1146000 #constraints=48113 1365.33/1365.92 c nbDecision=1146500 #constraints=48115 1365.93/1366.58 c nbDecision=1147000 #constraints=48116 1366.93/1367.53 c nbDecision=1147500 #constraints=48131 1367.23/1367.84 c nbDecision=1148000 #constraints=48133 1368.03/1368.69 c nbDecision=1148500 #constraints=48144 1369.43/1370.03 c nbDecision=1149000 #constraints=48159 1370.33/1370.93 c nbDecision=1149500 #constraints=48169 1370.53/1371.17 c nbDecision=1150000 #constraints=48169 1371.33/1371.93 c nbDecision=1150500 #constraints=48173 1372.03/1372.69 c nbDecision=1151000 #constraints=48175 1372.73/1373.31 c nbDecision=1151500 #constraints=48189 1373.53/1374.13 c nbDecision=1152000 #constraints=48208 1374.23/1374.82 c nbDecision=1152500 #constraints=48214 1375.03/1375.65 c nbDecision=1153000 #constraints=48224 1375.33/1375.98 c nbDecision=1153500 #constraints=48224 1376.03/1376.63 c nbDecision=1154000 #constraints=48236 1376.73/1377.38 c nbDecision=1154500 #constraints=48238 1377.93/1378.56 c nbDecision=1155000 #constraints=48252 1378.23/1378.81 c nbDecision=1155500 #constraints=48252 1378.93/1379.51 c nbDecision=1156000 #constraints=48254 1379.63/1380.29 c nbDecision=1156500 #constraints=48256 1380.63/1381.20 c nbDecision=1157000 #constraints=48266 1380.93/1381.55 c nbDecision=1157500 #constraints=48269 1381.63/1382.23 c nbDecision=1158000 #constraints=48271 1382.63/1383.26 c nbDecision=1158500 #constraints=48285 1384.33/1384.96 c nbDecision=1159000 #constraints=48307 1385.03/1385.61 c nbDecision=1159500 #constraints=48309 1385.73/1386.34 c nbDecision=1160000 #constraints=48316 1387.13/1387.77 c nbDecision=1160500 #constraints=48339 1387.93/1388.54 c nbDecision=1161000 #constraints=48343 1388.93/1389.56 c nbDecision=1161500 #constraints=48353 1389.23/1389.83 c nbDecision=1162000 #constraints=48353 1390.43/1391.08 c nbDecision=1162500 #constraints=48376 1392.33/1392.96 c nbDecision=1163000 #constraints=48393 1392.63/1393.28 c nbDecision=1163500 #constraints=48393 1393.32/1393.97 c nbDecision=1164000 #constraints=48399 1394.13/1394.74 c nbDecision=1164500 #constraints=48407 1395.02/1395.65 c nbDecision=1165000 #constraints=48415 1395.23/1395.89 c nbDecision=1165500 #constraints=48415 1396.12/1396.71 c nbDecision=1166000 #constraints=48425 1397.02/1397.66 c nbDecision=1166500 #constraints=48441 1397.52/1398.14 c nbDecision=1167000 #constraints=48446 1398.02/1398.68 c nbDecision=1167500 #constraints=48447 1398.72/1399.35 c nbDecision=1168000 #constraints=48450 1399.82/1400.49 c nbDecision=1168500 #constraints=48464 1400.12/1400.75 c nbDecision=1169000 #constraints=48464 1401.02/1401.61 c nbDecision=1169500 #constraints=48468 1401.72/1402.30 c nbDecision=1170000 #constraints=48470 1402.22/1402.84 c nbDecision=1170500 #constraints=48479 1402.82/1403.50 c nbDecision=1171000 #constraints=48488 1403.62/1404.25 c nbDecision=1171500 #constraints=48495 1404.52/1405.14 c nbDecision=1172000 #constraints=48507 1404.72/1405.39 c nbDecision=1172500 #constraints=48507 1405.52/1406.10 c nbDecision=1173000 #constraints=48509 1407.02/1407.62 c nbDecision=1173500 #constraints=48532 1407.82/1408.41 c nbDecision=1174000 #constraints=48536 1408.72/1409.34 c nbDecision=1174500 #constraints=48548 1409.02/1409.61 c nbDecision=1175000 #constraints=48548 1410.22/1410.87 c nbDecision=1175500 #constraints=48582 1412.22/1412.81 c nbDecision=1176000 #constraints=48614 1412.42/1413.06 c nbDecision=1176500 #constraints=48614 1413.22/1413.90 c nbDecision=1177000 #constraints=48625 1414.12/1414.74 c nbDecision=1177500 #constraints=48639 1414.52/1415.17 c nbDecision=1178000 #constraints=48639 1415.32/1415.97 c nbDecision=1178500 #constraints=48648 1416.32/1416.91 c nbDecision=1179000 #constraints=48663 1417.22/1417.82 c nbDecision=1179500 #constraints=48676 1417.52/1418.16 c nbDecision=1180000 #constraints=48682 1418.62/1419.29 c nbDecision=1180500 #constraints=48708 1419.42/1420.07 c nbDecision=1181000 #constraints=48714 1420.02/1420.63 c nbDecision=1181500 #constraints=48723 1420.62/1421.24 c nbDecision=1182000 #constraints=48728 1421.32/1421.98 c nbDecision=1182500 #constraints=48731 1422.42/1423.00 c nbDecision=1183000 #constraints=48743 1422.92/1423.51 c nbDecision=1183500 #constraints=48750 1423.62/1424.23 c nbDecision=1184000 #constraints=48759 1424.62/1425.28 c nbDecision=1184500 #constraints=48780 1426.31/1426.99 c nbDecision=1185000 #constraints=48818 1427.41/1428.04 c nbDecision=1185500 #constraints=48839 1429.01/1429.60 c nbDecision=1186000 #constraints=48864 1429.81/1430.47 c nbDecision=1186500 #constraints=48875 1430.91/1431.50 c nbDecision=1187000 #constraints=48892 1431.91/1432.57 c nbDecision=1187500 #constraints=48915 1433.21/1433.84 c nbDecision=1188000 #constraints=48932 1434.11/1434.74 c nbDecision=1188500 #constraints=48941 1435.01/1435.67 c nbDecision=1189000 #constraints=48958 1435.61/1436.29 c nbDecision=1189500 #constraints=48974 1436.51/1437.13 c nbDecision=1190000 #constraints=48981 1437.41/1438.03 c nbDecision=1190500 #constraints=48988 1438.21/1438.88 c nbDecision=1191000 #constraints=48994 1438.61/1439.29 c nbDecision=1191500 #constraints=48994 1439.51/1440.15 c nbDecision=1192000 #constraints=49012 1440.41/1441.09 c nbDecision=1192500 #constraints=49021 1442.41/1443.04 c nbDecision=1193000 #constraints=49041 1442.71/1443.32 c nbDecision=1193500 #constraints=49044 1444.41/1445.01 c nbDecision=1194000 #constraints=49075 1445.71/1446.38 c nbDecision=1194500 #constraints=49095 1446.31/1446.94 c nbDecision=1195000 #constraints=49110 1448.41/1449.01 c nbDecision=1195500 #constraints=49153 1449.01/1449.64 c nbDecision=1196000 #constraints=49155 1449.81/1450.41 c nbDecision=1196500 #constraints=49157 1450.71/1451.31 c nbDecision=1197000 #constraints=49165 1450.91/1451.57 c nbDecision=1197500 #constraints=49165 1451.71/1452.30 c nbDecision=1198000 #constraints=49172 1452.51/1453.10 c nbDecision=1198500 #constraints=49178 1453.01/1453.67 c nbDecision=1199000 #constraints=49187 1453.71/1454.37 c nbDecision=1199500 #constraints=49198 1454.41/1455.06 c nbDecision=1200000 #constraints=49202 1455.20/1455.85 c nbDecision=1200500 #constraints=49205 1455.71/1456.31 c nbDecision=1201000 #constraints=49206 1456.20/1456.83 c nbDecision=1201500 #constraints=49208 1457.00/1457.63 c nbDecision=1202000 #constraints=49224 1457.91/1458.58 c nbDecision=1202500 #constraints=49241 1458.40/1459.03 c nbDecision=1203000 #constraints=49246 1459.01/1459.61 c nbDecision=1203500 #constraints=49247 1459.60/1460.30 c nbDecision=1204000 #constraints=49249 1460.40/1461.09 c nbDecision=1204500 #constraints=49255 1460.70/1461.36 c nbDecision=1205000 #constraints=49255 1461.50/1462.10 c nbDecision=1205500 #constraints=49262 1462.31/1462.99 c nbDecision=1206000 #constraints=49274 1462.90/1463.53 c nbDecision=1206500 #constraints=49279 1463.51/1464.18 c nbDecision=1207000 #constraints=49288 1464.30/1464.94 c nbDecision=1207500 #constraints=49290 1465.10/1465.76 c nbDecision=1208000 #constraints=49293 1465.71/1466.32 c nbDecision=1208500 #constraints=49301 1466.30/1466.95 c nbDecision=1209000 #constraints=49308 1467.20/1467.82 c nbDecision=1209500 #constraints=49314 1468.20/1468.87 c nbDecision=1210000 #constraints=49333 1468.70/1469.36 c nbDecision=1210500 #constraints=49344 1469.40/1470.03 c nbDecision=1211000 #constraints=49346 1470.10/1470.75 c nbDecision=1211500 #constraints=49348 1470.60/1471.25 c nbDecision=1212000 #constraints=49356 1471.20/1471.82 c nbDecision=1212500 #constraints=49360 1472.10/1472.73 c nbDecision=1213000 #constraints=49379 1473.30/1473.92 c nbDecision=1213500 #constraints=49395 1473.60/1474.28 c nbDecision=1214000 #constraints=49397 1474.40/1475.00 c nbDecision=1214500 #constraints=49403 1475.40/1476.05 c nbDecision=1215000 #constraints=49427 1476.10/1476.71 c nbDecision=1215500 #constraints=49433 1476.80/1477.46 c nbDecision=1216000 #constraints=49445 1477.51/1478.19 c nbDecision=1216500 #constraints=49447 1478.51/1479.15 c nbDecision=1217000 #constraints=49464 1479.11/1479.74 c nbDecision=1217500 #constraints=49474 1479.71/1480.37 c nbDecision=1218000 #constraints=49476 1480.80/1481.47 c nbDecision=1218500 #constraints=49506 1481.70/1482.38 c nbDecision=1219000 #constraints=49516 1482.21/1482.86 c nbDecision=1219500 #constraints=49517 1482.90/1483.53 c nbDecision=1220000 #constraints=49523 1483.60/1484.29 c nbDecision=1220500 #constraints=49533 1484.60/1485.22 c nbDecision=1221000 #constraints=49547 1484.90/1485.57 c nbDecision=1221500 #constraints=49547 1485.60/1486.23 c nbDecision=1222000 #constraints=49549 1486.40/1487.10 c nbDecision=1222500 #constraints=49562 1487.20/1487.85 c nbDecision=1223000 #constraints=49565 1487.50/1488.16 c nbDecision=1223500 #constraints=49565 1488.20/1488.89 c nbDecision=1224000 #constraints=49573 1489.00/1489.64 c nbDecision=1224500 #constraints=49579 1489.40/1490.09 c nbDecision=1225000 #constraints=49579 1490.20/1490.84 c nbDecision=1225500 #constraints=49599 1491.01/1491.61 c nbDecision=1226000 #constraints=49607 1491.90/1492.50 c nbDecision=1226500 #constraints=49621 1492.20/1492.88 c nbDecision=1227000 #constraints=49624 1492.90/1493.57 c nbDecision=1227500 #constraints=49632 1493.80/1494.42 c nbDecision=1228000 #constraints=49645 1494.21/1494.86 c nbDecision=1228500 #constraints=49648 1494.90/1495.50 c nbDecision=1229000 #constraints=49651 1495.80/1496.41 c nbDecision=1229500 #constraints=49666 1496.80/1497.43 c nbDecision=1230000 #constraints=49680 1497.10/1497.75 c nbDecision=1230500 #constraints=49686 1498.00/1498.61 c nbDecision=1231000 #constraints=49700 1498.90/1499.51 c nbDecision=1231500 #constraints=49708 1499.40/1500.00 c nbDecision=1232000 #constraints=49717 1500.20/1500.84 c nbDecision=1232500 #constraints=49730 1500.90/1501.58 c nbDecision=1233000 #constraints=49732 1501.80/1502.47 c nbDecision=1233500 #constraints=49746 1502.10/1502.74 c nbDecision=1234000 #constraints=49746 1503.00/1503.61 c nbDecision=1234500 #constraints=49760 1503.90/1504.52 c nbDecision=1235000 #constraints=49769 1504.80/1505.42 c nbDecision=1235500 #constraints=49778 1505.00/1505.66 c nbDecision=1236000 #constraints=49778 1505.70/1506.34 c nbDecision=1236500 #constraints=49780 1506.60/1507.20 c nbDecision=1237000 #constraints=49787 1507.00/1507.68 c nbDecision=1237500 #constraints=49793 1507.60/1508.28 c nbDecision=1238000 #constraints=49798 1508.50/1509.17 c nbDecision=1238500 #constraints=49816 1509.30/1509.99 c nbDecision=1239000 #constraints=49818 1509.60/1510.30 c nbDecision=1239500 #constraints=49822 1510.40/1511.00 c nbDecision=1240000 #constraints=49825 1511.10/1511.78 c nbDecision=1240500 #constraints=49831 1511.60/1512.20 c nbDecision=1241000 #constraints=49835 1512.20/1512.83 c nbDecision=1241500 #constraints=49836 1512.90/1513.60 c nbDecision=1242000 #constraints=49842 1514.00/1514.61 c nbDecision=1242500 #constraints=49862 1514.19/1514.84 c nbDecision=1243000 #constraints=49862 1514.79/1515.48 c nbDecision=1243500 #constraints=49864 1515.69/1516.30 c nbDecision=1244000 #constraints=49866 1516.20/1516.84 c nbDecision=1244500 #constraints=49871 1516.69/1517.37 c nbDecision=1245000 #constraints=49872 1517.40/1518.08 c nbDecision=1245500 #constraints=49874 1518.40/1519.07 c nbDecision=1246000 #constraints=49892 1518.69/1519.33 c nbDecision=1246500 #constraints=49892 1519.50/1520.15 c nbDecision=1247000 #constraints=49895 1520.29/1520.97 c nbDecision=1247500 #constraints=49907 1521.09/1521.73 c nbDecision=1248000 #constraints=49910 1521.39/1522.06 c nbDecision=1248500 #constraints=49910 1522.09/1522.70 c nbDecision=1249000 #constraints=49912 1522.79/1523.45 c nbDecision=1249500 #constraints=49914 1523.59/1524.23 c nbDecision=1250000 #constraints=49916 1524.29/1524.98 c nbDecision=1250500 #constraints=49926 1525.09/1525.77 c nbDecision=1251000 #constraints=49940 1526.09/1526.71 c nbDecision=1251500 #constraints=49955 1526.99/1527.68 c nbDecision=1252000 #constraints=49978 1527.49/1528.11 c nbDecision=1252500 #constraints=49980 1528.09/1528.75 c nbDecision=1253000 #constraints=49986 1528.79/1529.49 c nbDecision=1253500 #constraints=49994 1529.69/1530.39 c nbDecision=1254000 #constraints=50010 1530.19/1530.86 c nbDecision=1254500 #constraints=50025 1531.19/1531.82 c nbDecision=1255000 #constraints=50042 1532.09/1532.71 c nbDecision=1255500 #constraints=50056 1533.09/1533.73 c nbDecision=1256000 #constraints=50066 1533.49/1534.11 c nbDecision=1256500 #constraints=50069 1534.18/1534.83 c nbDecision=1257000 #constraints=50071 1534.99/1535.68 c nbDecision=1257500 #constraints=50081 1536.48/1537.14 c nbDecision=1258000 #constraints=50099 1538.28/1538.93 c nbDecision=1258500 #constraints=50137 1540.98/1541.60 c nbDecision=1259000 #constraints=50188 1544.18/1544.84 c nbDecision=1259500 #constraints=50234 1547.08/1547.73 c nbDecision=1260000 #constraints=50273 1550.48/1551.17 c nbDecision=1260500 #constraints=50334 1551.98/1552.65 c nbDecision=1261000 #constraints=50343 1552.88/1553.51 c nbDecision=1261500 #constraints=50351 1553.38/1554.07 c nbDecision=1262000 #constraints=50360 1554.18/1554.89 c nbDecision=1262500 #constraints=50368 1555.08/1555.74 c nbDecision=1263000 #constraints=50377 1555.88/1556.51 c nbDecision=1263500 #constraints=50379 1556.38/1557.04 c nbDecision=1264000 #constraints=50387 1556.98/1557.61 c nbDecision=1264500 #constraints=50388 1557.68/1558.33 c nbDecision=1265000 #constraints=50395 1558.68/1559.32 c nbDecision=1265500 #constraints=50411 1559.08/1559.71 c nbDecision=1266000 #constraints=50415 1559.78/1560.47 c nbDecision=1266500 #constraints=50423 1560.68/1561.31 c nbDecision=1267000 #constraints=50430 1561.08/1561.78 c nbDecision=1267500 #constraints=50431 1561.68/1562.32 c nbDecision=1268000 #constraints=50432 1562.48/1563.13 c nbDecision=1268500 #constraints=50439 1563.37/1564.01 c nbDecision=1269000 #constraints=50443 1563.77/1564.46 c nbDecision=1269500 #constraints=50448 1564.68/1565.33 c nbDecision=1270000 #constraints=50460 1565.47/1566.17 c nbDecision=1270500 #constraints=50467 1566.87/1567.51 c nbDecision=1271000 #constraints=50492 1567.07/1567.78 c nbDecision=1271500 #constraints=50492 1568.07/1568.77 c nbDecision=1272000 #constraints=50500 1568.77/1569.49 c nbDecision=1272500 #constraints=50502 1569.77/1570.41 c nbDecision=1273000 #constraints=50510 1570.27/1570.94 c nbDecision=1273500 #constraints=50515 1570.87/1571.53 c nbDecision=1274000 #constraints=50520 1571.57/1572.21 c nbDecision=1274500 #constraints=50525 1572.37/1573.09 c nbDecision=1275000 #constraints=50533 1572.77/1573.43 c nbDecision=1275500 #constraints=50533 1573.37/1574.01 c nbDecision=1276000 #constraints=50535 1574.17/1574.86 c nbDecision=1276500 #constraints=50543 1575.07/1575.79 c nbDecision=1277000 #constraints=50556 1575.47/1576.10 c nbDecision=1277500 #constraints=50560 1576.27/1576.94 c nbDecision=1278000 #constraints=50574 1577.07/1577.73 c nbDecision=1278500 #constraints=50581 1577.57/1578.24 c nbDecision=1279000 #constraints=50588 1578.17/1578.81 c nbDecision=1279500 #constraints=50590 1579.77/1580.40 c nbDecision=1280000 #constraints=50617 1580.67/1581.30 c nbDecision=1280500 #constraints=50627 1581.37/1582.08 c nbDecision=1281000 #constraints=50629 1582.57/1583.23 c nbDecision=1281500 #constraints=50643 1585.87/1586.57 c nbDecision=1282000 #constraints=50704 1588.57/1589.26 c nbDecision=1282500 #constraints=50771 1590.77/1591.41 c nbDecision=1283000 #constraints=50817 1592.17/1592.81 c nbDecision=1283500 #constraints=50832 1592.97/1593.67 c nbDecision=1284000 #constraints=50836 1593.27/1593.95 c nbDecision=1284500 #constraints=50836 1594.07/1594.71 c nbDecision=1285000 #constraints=50840 1595.17/1595.87 c nbDecision=1285500 #constraints=50857 1595.67/1596.39 c nbDecision=1286000 #constraints=50863 1596.37/1597.09 c nbDecision=1286500 #constraints=50873 1597.37/1598.07 c nbDecision=1287000 #constraints=50891 1598.17/1598.90 c nbDecision=1287500 #constraints=50894 1598.67/1599.30 c nbDecision=1288000 #constraints=50900 1599.67/1600.39 c nbDecision=1288500 #constraints=50921 1600.57/1601.25 c nbDecision=1289000 #constraints=50929 1601.07/1601.79 c nbDecision=1289500 #constraints=50933 1601.67/1602.30 c nbDecision=1290000 #constraints=50934 1602.57/1603.21 c nbDecision=1290500 #constraints=50952 1603.37/1604.08 c nbDecision=1291000 #constraints=50959 1603.67/1604.34 c nbDecision=1291500 #constraints=50959 1604.77/1605.43 c nbDecision=1292000 #constraints=50974 1605.77/1606.45 c nbDecision=1292500 #constraints=50994 1606.66/1607.35 c nbDecision=1293000 #constraints=51002 1606.96/1607.67 c nbDecision=1293500 #constraints=51005 1609.46/1610.19 c nbDecision=1294000 #constraints=51038 1611.76/1612.41 c nbDecision=1294500 #constraints=51059 1612.06/1612.74 c nbDecision=1295000 #constraints=51059 1612.76/1613.43 c nbDecision=1295500 #constraints=51063 1613.56/1614.28 c nbDecision=1296000 #constraints=51067 1613.96/1614.60 c nbDecision=1296500 #constraints=51071 1614.76/1615.42 c nbDecision=1297000 #constraints=51080 1616.36/1617.03 c nbDecision=1297500 #constraints=51102 1617.16/1617.88 c nbDecision=1298000 #constraints=51110 1617.76/1618.48 c nbDecision=1298500 #constraints=51116 1618.56/1619.23 c nbDecision=1299000 #constraints=51125 1620.16/1620.83 c nbDecision=1299500 #constraints=51150 1620.96/1621.67 c nbDecision=1300000 #constraints=51157 1621.86/1622.53 c nbDecision=1300500 #constraints=51166 1622.26/1622.97 c nbDecision=1301000 #constraints=51166 1622.86/1623.57 c nbDecision=1301500 #constraints=51168 1623.76/1624.44 c nbDecision=1302000 #constraints=51176 1624.76/1625.45 c nbDecision=1302500 #constraints=51190 1625.06/1625.71 c nbDecision=1303000 #constraints=51191 1625.75/1626.47 c nbDecision=1303500 #constraints=51193 1626.55/1627.27 c nbDecision=1304000 #constraints=51202 1627.55/1628.25 c nbDecision=1304500 #constraints=51213 1627.85/1628.52 c nbDecision=1305000 #constraints=51213 1628.65/1629.36 c nbDecision=1305500 #constraints=51224 1629.46/1630.20 c nbDecision=1306000 #constraints=51228 1629.95/1630.68 c nbDecision=1306500 #constraints=51228 1630.75/1631.49 c nbDecision=1307000 #constraints=51241 1631.75/1632.43 c nbDecision=1307500 #constraints=51255 1632.65/1633.39 c nbDecision=1308000 #constraints=51273 1633.15/1633.80 c nbDecision=1308500 #constraints=51277 1633.75/1634.42 c nbDecision=1309000 #constraints=51278 1634.55/1635.22 c nbDecision=1309500 #constraints=51282 1635.05/1635.75 c nbDecision=1310000 #constraints=51288 1635.65/1636.31 c nbDecision=1310500 #constraints=51289 1636.45/1637.17 c nbDecision=1311000 #constraints=51300 1637.25/1637.99 c nbDecision=1311500 #constraints=51302 1637.55/1638.25 c nbDecision=1312000 #constraints=51302 1638.35/1639.04 c nbDecision=1312500 #constraints=51307 1639.25/1639.92 c nbDecision=1313000 #constraints=51316 1639.85/1640.53 c nbDecision=1313500 #constraints=51328 1640.45/1641.16 c nbDecision=1314000 #constraints=51330 1641.46/1642.12 c nbDecision=1314500 #constraints=51349 1642.26/1642.95 c nbDecision=1315000 #constraints=51356 1642.56/1643.28 c nbDecision=1315500 #constraints=51356 1643.26/1643.91 c nbDecision=1316000 #constraints=51360 1644.26/1644.92 c nbDecision=1316500 #constraints=51376 1644.76/1645.40 c nbDecision=1317000 #constraints=51383 1645.36/1646.07 c nbDecision=1317500 #constraints=51389 1646.26/1646.93 c nbDecision=1318000 #constraints=51397 1646.75/1647.45 c nbDecision=1318500 #constraints=51400 1647.65/1648.31 c nbDecision=1319000 #constraints=51410 1648.45/1649.12 c nbDecision=1319500 #constraints=51423 1648.85/1649.56 c nbDecision=1320000 #constraints=51423 1649.36/1650.07 c nbDecision=1320500 #constraints=51424 1650.15/1650.80 c nbDecision=1321000 #constraints=51426 1651.35/1652.10 c nbDecision=1321500 #constraints=51446 1651.65/1652.38 c nbDecision=1322000 #constraints=51446 1652.35/1653.07 c nbDecision=1322500 #constraints=51447 1653.25/1653.92 c nbDecision=1323000 #constraints=51456 1654.15/1654.82 c nbDecision=1323500 #constraints=51462 1654.45/1655.16 c nbDecision=1324000 #constraints=51462 1655.15/1655.82 c nbDecision=1324500 #constraints=51464 1656.15/1656.81 c nbDecision=1325000 #constraints=51478 1656.55/1657.25 c nbDecision=1325500 #constraints=51478 1657.15/1657.80 c nbDecision=1326000 #constraints=51479 1657.85/1658.55 c nbDecision=1326500 #constraints=51481 1658.55/1659.28 c nbDecision=1327000 #constraints=51482 1659.15/1659.84 c nbDecision=1327500 #constraints=51488 1659.85/1660.52 c nbDecision=1328000 #constraints=51495 1660.65/1661.33 c nbDecision=1328500 #constraints=51501 1661.45/1662.12 c nbDecision=1329000 #constraints=51508 1661.85/1662.59 c nbDecision=1329500 #constraints=51510 1662.45/1663.18 c nbDecision=1330000 #constraints=51511 1663.35/1664.05 c nbDecision=1330500 #constraints=51520 1664.14/1664.88 c nbDecision=1331000 #constraints=51522 1664.54/1665.24 c nbDecision=1331500 #constraints=51527 1665.34/1666.00 c nbDecision=1332000 #constraints=51535 1666.44/1667.14 c nbDecision=1332500 #constraints=51552 1666.85/1667.60 c nbDecision=1333000 #constraints=51552 1667.54/1668.22 c nbDecision=1333500 #constraints=51554 1668.44/1669.11 c nbDecision=1334000 #constraints=51563 1669.34/1670.00 c nbDecision=1334500 #constraints=51570 1669.74/1670.46 c nbDecision=1335000 #constraints=51575 1670.44/1671.12 c nbDecision=1335500 #constraints=51579 1671.44/1672.13 c nbDecision=1336000 #constraints=51604 1672.74/1673.40 c nbDecision=1336500 #constraints=51616 1673.84/1674.51 c nbDecision=1337000 #constraints=51632 1674.34/1675.00 c nbDecision=1337500 #constraints=51639 1675.14/1675.82 c nbDecision=1338000 #constraints=51652 1675.84/1676.55 c nbDecision=1338500 #constraints=51654 1676.64/1677.37 c nbDecision=1339000 #constraints=51656 1676.94/1677.66 c nbDecision=1339500 #constraints=51656 1677.64/1678.37 c nbDecision=1340000 #constraints=51658 1678.64/1679.37 c nbDecision=1340500 #constraints=51668 1679.24/1679.91 c nbDecision=1341000 #constraints=51676 1679.84/1680.54 c nbDecision=1341500 #constraints=51681 1680.54/1681.28 c nbDecision=1342000 #constraints=51683 1681.14/1681.85 c nbDecision=1342500 #constraints=51687 1681.74/1682.44 c nbDecision=1343000 #constraints=51691 1682.54/1683.28 c nbDecision=1343500 #constraints=51703 1683.54/1684.26 c nbDecision=1344000 #constraints=51720 1684.04/1684.79 c nbDecision=1344500 #constraints=51729 1684.93/1685.60 c nbDecision=1345000 #constraints=51748 1685.93/1686.69 c nbDecision=1345500 #constraints=51767 1686.53/1687.21 c nbDecision=1346000 #constraints=51772 1687.33/1688.00 c nbDecision=1346500 #constraints=51784 1688.73/1689.44 c nbDecision=1347000 #constraints=51820 1689.73/1690.45 c nbDecision=1347500 #constraints=51831 1690.13/1690.87 c nbDecision=1348000 #constraints=51835 1691.23/1691.97 c nbDecision=1348500 #constraints=51852 1692.03/1692.77 c nbDecision=1349000 #constraints=51854 1692.63/1693.35 c nbDecision=1349500 #constraints=51863 1693.34/1694.02 c nbDecision=1350000 #constraints=51872 1693.94/1694.69 c nbDecision=1350500 #constraints=51873 1695.14/1695.80 c nbDecision=1351000 #constraints=51895 1695.54/1696.28 c nbDecision=1351500 #constraints=51895 1696.14/1696.87 c nbDecision=1352000 #constraints=51897 1697.54/1698.23 c nbDecision=1352500 #constraints=51912 1698.33/1699.01 c nbDecision=1353000 #constraints=51913 1698.74/1699.50 c nbDecision=1353500 #constraints=51916 1699.54/1700.25 c nbDecision=1354000 #constraints=51928 1700.43/1701.10 c nbDecision=1354500 #constraints=51933 1701.33/1702.03 c nbDecision=1355000 #constraints=51947 1702.23/1702.91 c nbDecision=1355500 #constraints=51955 1702.43/1703.17 c nbDecision=1356000 #constraints=51955 1703.63/1704.36 c nbDecision=1356500 #constraints=51991 1704.83/1705.59 c nbDecision=1357000 #constraints=52014 1705.13/1705.84 c nbDecision=1357500 #constraints=52014 1705.93/1706.61 c nbDecision=1358000 #constraints=52017 1707.13/1707.84 c nbDecision=1358500 #constraints=52034 1708.43/1709.12 c nbDecision=1359000 #constraints=52048 1709.23/1709.91 c nbDecision=1359500 #constraints=52052 1710.13/1710.87 c nbDecision=1360000 #constraints=52060 1710.63/1711.36 c nbDecision=1360500 #constraints=52062 1711.33/1712.02 c nbDecision=1361000 #constraints=52065 1712.53/1713.25 c nbDecision=1361500 #constraints=52087 1713.43/1714.12 c nbDecision=1362000 #constraints=52091 1713.63/1714.37 c nbDecision=1362500 #constraints=52091 1714.53/1715.23 c nbDecision=1363000 #constraints=52096 1715.33/1716.03 c nbDecision=1363500 #constraints=52101 1715.83/1716.57 c nbDecision=1364000 #constraints=52105 1716.53/1717.22 c nbDecision=1364500 #constraints=52110 1717.23/1717.94 c nbDecision=1365000 #constraints=52112 1718.13/1718.81 c nbDecision=1365500 #constraints=52114 1718.53/1719.27 c nbDecision=1366000 #constraints=52114 1719.23/1719.97 c nbDecision=1366500 #constraints=52121 1720.33/1721.07 c nbDecision=1367000 #constraints=52150 1721.23/1721.93 c nbDecision=1367500 #constraints=52155 1721.83/1722.50 c nbDecision=1368000 #constraints=52167 1722.53/1723.26 c nbDecision=1368500 #constraints=52169 1723.33/1724.08 c nbDecision=1369000 #constraints=52177 1724.23/1724.90 c nbDecision=1369500 #constraints=52179 1724.82/1725.53 c nbDecision=1370000 #constraints=52196 1725.53/1726.24 c nbDecision=1370500 #constraints=52198 1726.42/1727.10 c nbDecision=1371000 #constraints=52204 1727.52/1728.28 c nbDecision=1371500 #constraints=52215 1728.12/1728.80 c nbDecision=1372000 #constraints=52226 1729.02/1729.72 c nbDecision=1372500 #constraints=52242 1729.92/1730.61 c nbDecision=1373000 #constraints=52251 1730.42/1731.10 c nbDecision=1373500 #constraints=52251 1731.42/1732.15 c nbDecision=1374000 #constraints=52266 1732.32/1733.03 c nbDecision=1374500 #constraints=52276 1733.22/1733.93 c nbDecision=1375000 #constraints=52283 1734.03/1734.77 c nbDecision=1375500 #constraints=52287 1734.42/1735.10 c nbDecision=1376000 #constraints=52291 1735.32/1736.02 c nbDecision=1376500 #constraints=52304 1736.42/1737.11 c nbDecision=1377000 #constraints=52316 1736.62/1737.35 c nbDecision=1377500 #constraints=52316 1737.72/1738.42 c nbDecision=1378000 #constraints=52325 1738.72/1739.45 c nbDecision=1378500 #constraints=52336 1739.42/1740.13 c nbDecision=1379000 #constraints=52352 1740.02/1740.76 c nbDecision=1379500 #constraints=52355 1743.02/1743.76 c nbDecision=1380000 #constraints=52399 1745.72/1746.44 c nbDecision=1380500 #constraints=52435 1748.51/1749.25 c nbDecision=1381000 #constraints=52477 1750.91/1751.69 c nbDecision=1381500 #constraints=52506 1752.31/1753.08 c nbDecision=1382000 #constraints=52519 1753.31/1754.02 c nbDecision=1382500 #constraints=52529 1754.01/1754.78 c nbDecision=1383000 #constraints=52536 1754.71/1755.48 c nbDecision=1383500 #constraints=52543 1755.51/1756.25 c nbDecision=1384000 #constraints=52545 1756.81/1757.52 c nbDecision=1384500 #constraints=52562 1757.21/1757.93 c nbDecision=1385000 #constraints=52569 1758.01/1758.75 c nbDecision=1385500 #constraints=52572 1758.91/1759.64 c nbDecision=1386000 #constraints=52587 1759.41/1760.15 c nbDecision=1386500 #constraints=52592 1760.01/1760.72 c nbDecision=1387000 #constraints=52593 1760.71/1761.45 c nbDecision=1387500 #constraints=52595 1761.61/1762.32 c nbDecision=1388000 #constraints=52605 1762.11/1762.82 c nbDecision=1388500 #constraints=52613 1762.91/1763.66 c nbDecision=1389000 #constraints=52625 1763.61/1764.38 c nbDecision=1389500 #constraints=52627 1764.52/1765.27 c nbDecision=1390000 #constraints=52637 1765.02/1765.76 c nbDecision=1390500 #constraints=52637 1765.62/1766.36 c nbDecision=1391000 #constraints=52639 1766.42/1767.17 c nbDecision=1391500 #constraints=52646 1767.62/1768.37 c nbDecision=1392000 #constraints=52656 1768.12/1768.89 c nbDecision=1392500 #constraints=52660 1768.72/1769.42 c nbDecision=1393000 #constraints=52661 1769.52/1770.22 c nbDecision=1393500 #constraints=52667 1770.61/1771.34 c nbDecision=1394000 #constraints=52677 1770.91/1771.64 c nbDecision=1394500 #constraints=52677 1771.61/1772.36 c nbDecision=1395000 #constraints=52680 1772.31/1773.10 c nbDecision=1395500 #constraints=52682 1774.01/1774.74 c nbDecision=1396000 #constraints=52722 1774.91/1775.68 c nbDecision=1396500 #constraints=52728 1775.41/1776.17 c nbDecision=1397000 #constraints=52736 1776.21/1776.92 c nbDecision=1397500 #constraints=52744 1777.01/1777.70 c nbDecision=1398000 #constraints=52751 1778.51/1779.22 c nbDecision=1398500 #constraints=52772 1779.31/1780.07 c nbDecision=1399000 #constraints=52774 1780.31/1781.06 c nbDecision=1399500 #constraints=52783 1781.91/1782.67 c nbDecision=1400000 #constraints=52796 1782.81/1783.57 c nbDecision=1400500 #constraints=52804 1784.11/1784.87 c nbDecision=1401000 #constraints=52821 1784.61/1785.33 c nbDecision=1401500 #constraints=52827 1785.51/1786.21 c nbDecision=1402000 #constraints=52833 1786.71/1787.48 c nbDecision=1402500 #constraints=52865 1787.91/1788.61 c nbDecision=1403000 #constraints=52887 1788.11/1788.89 c nbDecision=1403500 #constraints=52889 1789.11/1789.83 c nbDecision=1404000 #constraints=52895 1789.91/1790.61 c nbDecision=1404500 #constraints=52897 1790.91/1791.66 c nbDecision=1405000 #constraints=52912 1791.41/1792.12 c nbDecision=1405500 #constraints=52922 1792.31/1793.07 c nbDecision=1406000 #constraints=52935 1793.31/1794.01 c nbDecision=1406500 #constraints=52947 1793.71/1794.47 c nbDecision=1407000 #constraints=52948 1794.61/1795.35 c nbDecision=1407500 #constraints=52967 1795.51/1796.24 c nbDecision=1408000 #constraints=52977 1797.00/1797.71 c nbDecision=1408500 #constraints=53008 1797.71/1798.40 c nbDecision=1409000 #constraints=53023 1798.30/1799.07 c nbDecision=1409500 #constraints=53030 1799.20/1799.96 c nbDecision=1410000 #constraints=53043 1800.01/1800.71 Received signal 15 1800.01/1800.76 1800.01/1800.76 s UNKNOWN 1800.01/1800.76 1800.01/1800.76 c user time= 1799.21 s 1800.01/1800.76 c system time= 0.873867 s 1800.01/1800.76 c wall clock time=1800.77
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-356878-1176846974 -o ROOT/results/node48/solver-356878-1176846974 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356878-1176846974/instance-356878-1176846974.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.97 3/64 21400 /proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=1620 CPUtime=0 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 39542740 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 405 175 126 317 0 84 0 [startup+0.096379 s] /proc/loadavg: 0.91 0.95 0.97 3/64 21400 /proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=3752 CPUtime=0.09 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 767 0 0 0 9 0 0 0 18 0 1 0 39542740 3842048 716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 938 716 131 317 0 617 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3752 [startup+0.101378 s] /proc/loadavg: 0.91 0.95 0.97 3/64 21400 /proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=3884 CPUtime=0.09 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 798 0 0 0 9 0 0 0 18 0 1 0 39542740 3977216 747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 971 747 131 317 0 650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3884 [startup+0.301397 s] /proc/loadavg: 0.91 0.95 0.97 3/64 21400 /proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=7428 CPUtime=0.29 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1693 0 0 0 29 0 0 0 19 0 1 0 39542740 7606272 1642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 1857 1642 137 317 0 1536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7428 [startup+0.701433 s] /proc/loadavg: 0.91 0.95 0.97 3/64 21400 /proc/meminfo: memFree=1644408/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=7428 CPUtime=0.69 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1698 0 0 0 69 0 0 0 22 0 1 0 39542740 7606272 1647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 1857 1647 138 317 0 1536 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7428 [startup+1.50151 s] /proc/loadavg: 0.91 0.95 0.97 2/65 21401 /proc/meminfo: memFree=1638256/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=7556 CPUtime=1.49 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1701 0 0 0 149 0 0 0 25 0 1 0 39542740 7737344 1650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 1889 1650 138 317 0 1568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7556 [startup+3.10165 s] /proc/loadavg: 0.91 0.95 0.97 2/65 21401 /proc/meminfo: memFree=1638064/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=7556 CPUtime=3.09 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1705 0 0 0 309 0 0 0 25 0 1 0 39542740 7737344 1654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 1889 1654 138 317 0 1568 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7556 [startup+6.30295 s] /proc/loadavg: 0.92 0.95 0.97 2/65 21401 /proc/meminfo: memFree=1637296/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=8340 CPUtime=6.3 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 1896 0 0 0 629 1 0 0 25 0 1 0 39542740 8540160 1845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 2085 1845 139 317 0 1764 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 8340 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.97 2/65 21401 /proc/meminfo: memFree=1635504/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=10044 CPUtime=12.69 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 2350 0 0 0 1268 1 0 0 25 0 1 0 39542740 10285056 2299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 2511 2299 139 317 0 2190 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10044 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.97 2/65 21401 /proc/meminfo: memFree=1606256/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=40256 CPUtime=25.49 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 9874 0 0 0 2543 6 0 0 25 0 1 0 39542740 41222144 9823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 10064 9823 139 317 0 9743 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40256 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.97 2/65 21401 /proc/meminfo: memFree=1565872/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=80636 CPUtime=51.08 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 20021 0 0 0 5094 14 0 0 25 0 1 0 39542740 82571264 19927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 20159 19927 170 317 0 19838 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 80636 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/65 21401 /proc/meminfo: memFree=1514096/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=131924 CPUtime=102.27 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 32798 0 0 0 10205 22 0 0 25 0 1 0 39542740 135090176 32618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 32981 32618 170 317 0 32660 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 131924 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21401 /proc/meminfo: memFree=1469296/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=176692 CPUtime=162.25 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 44059 0 0 0 16196 29 0 0 25 0 1 0 39542740 180932608 43879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 44173 43879 170 317 0 43852 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 176692 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21401 /proc/meminfo: memFree=1437168/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=210216 CPUtime=222.23 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 52005 0 0 0 22188 35 0 0 25 0 1 0 39542740 215261184 51825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 52554 51825 170 317 0 52233 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 210216 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21401 /proc/meminfo: memFree=1412336/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=234864 CPUtime=282.2 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 58443 0 0 0 28181 39 0 0 25 0 1 0 39542740 240500736 58093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 58716 58093 170 317 0 58395 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 234864 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21599 /proc/meminfo: memFree=1385904/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=263616 CPUtime=342.09 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 64916 0 0 0 34164 45 0 0 25 0 1 0 39542740 269942784 64566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 0 0 0 /proc/21400/statm: 65904 64566 170 317 0 65583 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 263616 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21599 /proc/meminfo: memFree=1369264/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=279808 CPUtime=402.05 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 69119 0 0 0 40158 47 0 0 25 0 1 0 39542740 286523392 68769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 69952 68769 170 317 0 69631 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 279808 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21599 /proc/meminfo: memFree=1351792/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=296736 CPUtime=462.03 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 73428 0 0 0 46153 50 0 0 25 0 1 0 39542740 303857664 73078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 74184 73078 170 317 0 73863 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 296736 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21599 /proc/meminfo: memFree=1336880/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=312352 CPUtime=522.01 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 77220 0 0 0 52149 52 0 0 25 0 1 0 39542740 319848448 76837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 78088 76837 170 317 0 77767 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 312352 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21599 /proc/meminfo: memFree=1322736/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=325916 CPUtime=581.99 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 80718 0 0 0 58144 55 0 0 25 0 1 0 39542740 333737984 80335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 81479 80335 170 317 0 81158 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 325916 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 21599 /proc/meminfo: memFree=1307568/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=341768 CPUtime=641.97 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 84467 0 0 0 64139 58 0 0 25 0 1 0 39542740 349970432 84084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 85442 84084 170 317 0 85121 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 341768 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.08 1.01 0.99 2/65 21601 /proc/meminfo: memFree=1239216/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=417964 CPUtime=881.89 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 101540 0 0 0 88120 69 0 0 25 0 1 0 39542740 427995136 101157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 104491 101157 170 317 0 104170 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 417964 [startup+942.301 s] /proc/loadavg: 1.03 1.01 0.99 2/65 21601 /proc/meminfo: memFree=1231088/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=426940 CPUtime=941.86 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 103604 0 0 0 94116 70 0 0 25 0 1 0 39542740 437186560 103221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 106735 103221 170 317 0 106414 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 426940 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1223920/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=433428 CPUtime=1001.84 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 105357 0 0 0 100113 71 0 0 25 0 1 0 39542740 443830272 104974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 108357 104974 170 317 0 108036 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 433428 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1211760/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=445652 CPUtime=1061.83 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 108439 0 0 0 106110 73 0 0 25 0 1 0 39542740 456347648 108056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 111413 108056 170 317 0 111092 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 445652 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1199088/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=457792 CPUtime=1121.8 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 111558 0 0 0 112106 74 0 0 25 0 1 0 39542740 468779008 111175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 114448 111175 170 317 0 114127 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 457792 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1188272/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=468616 CPUtime=1181.8 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 114242 0 0 0 118104 76 0 0 25 0 1 0 39542740 479862784 113859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 117154 113859 170 317 0 116833 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 468616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1182256/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=474284 CPUtime=1241.77 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 115759 0 0 0 124100 77 0 0 25 0 1 0 39542740 485666816 115376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 118571 115376 170 317 0 118250 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 474284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1171632/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=483960 CPUtime=1301.75 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 118399 0 0 0 130097 78 0 0 25 0 1 0 39542740 495575040 118016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 120990 118016 170 317 0 120669 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 483960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1164272/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=491272 CPUtime=1361.73 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 120228 0 0 0 136094 79 0 0 25 0 1 0 39542740 503062528 119845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 122818 119845 170 317 0 122497 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 491272 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1158000/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=497600 CPUtime=1421.72 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 121781 0 0 0 142091 81 0 0 25 0 1 0 39542740 509542400 121398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 124400 121398 170 317 0 124079 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 497600 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1149360/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=507012 CPUtime=1481.7 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 124222 0 0 0 148088 82 0 0 25 0 1 0 39542740 519180288 123500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 126753 123500 170 317 0 126432 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 507012 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1144816/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=511784 CPUtime=1541.68 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 125436 0 0 0 154086 82 0 0 25 0 1 0 39542740 524066816 124714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710969 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 127946 124714 170 317 0 127625 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 511784 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1137008/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=518824 CPUtime=1601.67 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 127378 0 0 0 160083 84 0 0 25 0 1 0 39542740 531275776 126656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 129706 126656 170 317 0 129385 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 518824 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1132080/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=523824 CPUtime=1661.65 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 128610 0 0 0 166080 85 0 0 25 0 1 0 39542740 536395776 127888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 130956 127888 170 317 0 130635 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 523824 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1126128/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=529732 CPUtime=1721.63 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 130135 0 0 0 172077 86 0 0 25 0 1 0 39542740 542445568 129413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 132433 129413 170 317 0 132112 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 529732 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1119408/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=535952 CPUtime=1781.61 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 131768 0 0 0 178074 87 0 0 25 0 1 0 39542740 548814848 131046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 133988 131046 170 317 0 133667 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 535952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1117168/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=538236 CPUtime=1800.01 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194304 132314 0 0 0 179914 87 0 0 25 0 1 0 39542740 551153664 131592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 134559 131592 170 317 0 134238 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 538236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.99 2/65 21601 /proc/meminfo: memFree=1117168/2055920 swapFree=4184680/4192956 [pid=21400] ppid=21398 vsize=0 CPUtime=1800.1 /proc/21400/stat : 21400 (oree) R 21398 21400 20443 0 -1 4194308 132332 0 0 0 179921 89 0 0 25 0 1 0 39542740 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21400/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.17 CPU user time (s): 1799.22 CPU system time (s): 0.954854 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 538236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 0.954854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132332 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 3976 runsolver used 1.38579 second user time and 3.74543 second system time The end
Begin job on node48 on Tue Apr 17 21:56:14 UTC 2007 IDJOB= 356878 IDBENCH= 1584 IDSOLVER= 172 FILE ID= node48/356878-1176846974 PBS_JOBID= 4590167 Free space on /tmp= 66547 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos15.opb COMMAND LINE= oree /tmp/evaluation/356878-1176846974/instance-356878-1176846974.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-356878-1176846974 -o ROOT/results/node48/solver-356878-1176846974 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356878-1176846974/instance-356878-1176846974.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1be7a0a5556e21a359d6f31cb8a3ccd8 RANDOM SEED= 748748258 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1644816 kB Buffers: 48488 kB Cached: 288984 kB SwapCached: 2392 kB Active: 143924 kB Inactive: 203776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1644816 kB SwapTotal: 4192956 kB SwapFree: 4184680 kB Dirty: 1896 kB Writeback: 0 kB Mapped: 16480 kB Slab: 49428 kB Committed_AS: 940492 kB PageTables: 1388 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= 66547 MiB End job on node48 on Tue Apr 17 22:26:17 UTC 2007