Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-degen2.opb |
MD5SUM | ef301ecece8b2033bfa1fe9b39eee48a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 24.6553 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 16020 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 2550 |
Number of terms in the objective function | 14100 |
Biggest coefficient in the objective function | 3337 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 535636 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131073 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535636 |
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.29/0.34 c ...done 0.29/0.34 c #vars=16020 #constraints=666 hasObjective=yes 0.59/0.64 c res. mode=mod 0.59/0.64 c VSIDS like heuristics 0.59/0.64 c complete search running 1.29/1.34 c restart after 401 decisions 1.29/1.36 c nbDecision=500 #constraints=694 1.89/1.99 c restart after 801 decisions 1.99/2.03 c nbDecision=1000 #constraints=722 2.29/2.31 c nbDecision=1500 #constraints=732 2.29/2.36 c restart after 1601 decisions 2.49/2.51 c nbDecision=2000 #constraints=738 3.09/3.10 c nbDecision=2500 #constraints=763 3.49/3.57 c nbDecision=3000 #constraints=782 3.59/3.69 c restart after 3201 decisions 4.19/4.29 c nbDecision=3500 #constraints=812 4.49/4.57 c nbDecision=4000 #constraints=822 4.79/4.86 c nbDecision=4500 #constraints=832 5.59/5.64 c nbDecision=5000 #constraints=866 5.89/5.93 c nbDecision=5500 #constraints=876 6.19/6.21 c nbDecision=6000 #constraints=886 6.69/6.72 c restart after 6401 decisions 6.69/6.75 c nbDecision=6500 #constraints=908 7.49/7.50 c nbDecision=7000 #constraints=940 7.69/7.79 c nbDecision=7500 #constraints=950 7.99/8.07 c nbDecision=8000 #constraints=960 8.79/8.86 c nbDecision=8500 #constraints=994 9.08/9.15 c nbDecision=9000 #constraints=1004 9.38/9.44 c nbDecision=9500 #constraints=1014 10.18/10.22 c nbDecision=10000 #constraints=1048 10.48/10.51 c nbDecision=10500 #constraints=1058 10.68/10.80 c nbDecision=11000 #constraints=1068 11.48/11.59 c nbDecision=11500 #constraints=1102 11.78/11.87 c nbDecision=12000 #constraints=1112 12.09/12.16 c nbDecision=12500 #constraints=1122 12.78/12.84 c restart after 12801 decisions 12.78/12.88 c nbDecision=13000 #constraints=1152 13.09/13.17 c nbDecision=13500 #constraints=1162 13.88/13.96 c nbDecision=14000 #constraints=1196 14.19/14.24 c nbDecision=14500 #constraints=1206 14.48/14.53 c nbDecision=15000 #constraints=1216 15.29/15.31 c nbDecision=15500 #constraints=1250 15.48/15.59 c nbDecision=16000 #constraints=1260 15.79/15.88 c nbDecision=16500 #constraints=1270 16.59/16.66 c nbDecision=17000 #constraints=1304 16.89/16.95 c nbDecision=17500 #constraints=1314 17.19/17.24 c nbDecision=18000 #constraints=1324 17.99/18.03 c nbDecision=18500 #constraints=1358 18.29/18.31 c nbDecision=19000 #constraints=1368 18.49/18.60 c nbDecision=19500 #constraints=1378 19.29/19.39 c nbDecision=20000 #constraints=1412 19.59/19.68 c nbDecision=20500 #constraints=1422 19.89/19.97 c nbDecision=21000 #constraints=1432 20.69/20.75 c nbDecision=21500 #constraints=1466 20.99/21.04 c nbDecision=22000 #constraints=1476 21.29/21.32 c nbDecision=22500 #constraints=1486 22.09/22.12 c nbDecision=23000 #constraints=1520 22.39/22.40 c nbDecision=23500 #constraints=1530 22.59/22.69 c nbDecision=24000 #constraints=1540 23.38/23.48 c nbDecision=24500 #constraints=1574 23.68/23.77 c nbDecision=25000 #constraints=1584 23.98/24.06 c nbDecision=25500 #constraints=1594 24.09/24.12 c restart after 25601 decisions 24.48/24.54 c nbDecision=26000 #constraints=1611 24.78/24.83 c nbDecision=26500 #constraints=1621 25.08/25.12 c nbDecision=27000 #constraints=1631 25.88/25.92 c nbDecision=27500 #constraints=1665 26.18/26.21 c nbDecision=28000 #constraints=1675 26.48/26.50 c nbDecision=28500 #constraints=1685 27.28/27.31 c nbDecision=29000 #constraints=1719 27.58/27.60 c nbDecision=29500 #constraints=1729 27.78/27.89 c nbDecision=30000 #constraints=1739 28.68/28.70 c nbDecision=30500 #constraints=1773 28.88/28.99 c nbDecision=31000 #constraints=1783 29.18/29.28 c nbDecision=31500 #constraints=1793 29.98/30.09 c nbDecision=32000 #constraints=1827 30.28/30.38 c nbDecision=32500 #constraints=1837 30.58/30.68 c nbDecision=33000 #constraints=1847 31.38/31.49 c nbDecision=33500 #constraints=1881 31.68/31.78 c nbDecision=34000 #constraints=1891 31.98/32.07 c nbDecision=34500 #constraints=1901 32.78/32.88 c nbDecision=35000 #constraints=1935 33.08/33.18 c nbDecision=35500 #constraints=1945 33.38/33.47 c nbDecision=36000 #constraints=1955 34.18/34.28 c nbDecision=36500 #constraints=1989 34.48/34.57 c nbDecision=37000 #constraints=1999 34.78/34.86 c nbDecision=37500 #constraints=2009 35.58/35.67 c nbDecision=38000 #constraints=2043 35.88/35.96 c nbDecision=38500 #constraints=2053 36.18/36.25 c nbDecision=39000 #constraints=2063 36.98/37.06 c nbDecision=39500 #constraints=2097 37.28/37.35 c nbDecision=40000 #constraints=2107 37.58/37.64 c nbDecision=40500 #constraints=2117 38.38/38.46 c nbDecision=41000 #constraints=2151 38.68/38.75 c nbDecision=41500 #constraints=2161 38.98/39.04 c nbDecision=42000 #constraints=2171 39.58/39.60 c nbDecision=42500 #constraints=2194 39.88/39.91 c nbDecision=43000 #constraints=2205 40.08/40.19 c nbDecision=43500 #constraints=2215 40.68/40.75 c nbDecision=44000 #constraints=2238 40.98/41.06 c nbDecision=44500 #constraints=2249 41.58/41.62 c nbDecision=45000 #constraints=2272 41.88/41.93 c nbDecision=45500 #constraints=2283 42.18/42.21 c nbDecision=46000 #constraints=2293 42.67/42.78 c nbDecision=46500 #constraints=2316 42.98/43.08 c nbDecision=47000 #constraints=2327 43.28/43.37 c nbDecision=47500 #constraints=2337 43.89/43.96 c nbDecision=48000 #constraints=2361 44.18/44.25 c nbDecision=48500 #constraints=2371 44.78/44.81 c nbDecision=49000 #constraints=2394 45.09/45.13 c nbDecision=49500 #constraints=2405 45.38/45.41 c nbDecision=50000 #constraints=2415 45.98/46.01 c nbDecision=50500 #constraints=2439 46.18/46.29 c nbDecision=51000 #constraints=2449 46.38/46.41 c restart after 51201 decisions 46.48/46.56 c nbDecision=51500 #constraints=2455 46.78/46.85 c nbDecision=52000 #constraints=2465 47.08/47.15 c nbDecision=52500 #constraints=2475 47.88/47.98 c nbDecision=53000 #constraints=2509 48.18/48.27 c nbDecision=53500 #constraints=2519 48.48/48.57 c nbDecision=54000 #constraints=2529 49.28/49.40 c nbDecision=54500 #constraints=2563 49.58/49.69 c nbDecision=55000 #constraints=2573 49.88/49.99 c nbDecision=55500 #constraints=2583 50.78/50.82 c nbDecision=56000 #constraints=2617 51.08/51.12 c nbDecision=56500 #constraints=2627 51.38/51.41 c nbDecision=57000 #constraints=2637 52.18/52.25 c nbDecision=57500 #constraints=2671 52.48/52.54 c nbDecision=58000 #constraints=2681 52.78/52.84 c nbDecision=58500 #constraints=2691 53.57/53.67 c nbDecision=59000 #constraints=2725 53.88/53.97 c nbDecision=59500 #constraints=2735 54.17/54.26 c nbDecision=60000 #constraints=2745 54.98/55.09 c nbDecision=60500 #constraints=2779 55.27/55.38 c nbDecision=61000 #constraints=2789 55.57/55.68 c nbDecision=61500 #constraints=2799 56.47/56.51 c nbDecision=62000 #constraints=2833 56.77/56.81 c nbDecision=62500 #constraints=2843 57.08/57.10 c nbDecision=63000 #constraints=2853 57.87/57.93 c nbDecision=63500 #constraints=2887 58.18/58.23 c nbDecision=64000 #constraints=2897 58.47/58.53 c nbDecision=64500 #constraints=2907 59.07/59.10 c nbDecision=65000 #constraints=2930 59.37/59.41 c nbDecision=65500 #constraints=2941 59.67/59.73 c nbDecision=66000 #constraints=2953 60.17/60.29 c nbDecision=66500 #constraints=2975 60.47/60.58 c nbDecision=67000 #constraints=2985 61.07/61.15 c nbDecision=67500 #constraints=3008 61.37/61.46 c nbDecision=68000 #constraints=3019 61.67/61.75 c nbDecision=68500 #constraints=3029 62.27/62.34 c nbDecision=69000 #constraints=3053 62.57/62.63 c nbDecision=69500 #constraints=3063 62.87/62.92 c nbDecision=70000 #constraints=3073 63.47/63.52 c nbDecision=70500 #constraints=3097 63.77/63.81 c nbDecision=71000 #constraints=3107 64.37/64.41 c nbDecision=71500 #constraints=3131 64.67/64.70 c nbDecision=72000 #constraints=3141 64.87/64.99 c nbDecision=72500 #constraints=3151 65.47/65.59 c nbDecision=73000 #constraints=3175 65.77/65.88 c nbDecision=73500 #constraints=3185 66.07/66.20 c nbDecision=74000 #constraints=3196 66.67/66.78 c nbDecision=74500 #constraints=3219 66.97/67.10 c nbDecision=75000 #constraints=3230 67.58/67.67 c nbDecision=75500 #constraints=3253 67.88/67.98 c nbDecision=76000 #constraints=3264 68.18/68.27 c nbDecision=76500 #constraints=3274 68.77/68.85 c nbDecision=77000 #constraints=3297 69.07/69.16 c nbDecision=77500 #constraints=3308 69.37/69.45 c nbDecision=78000 #constraints=3318 69.97/70.06 c nbDecision=78500 #constraints=3342 70.28/70.35 c nbDecision=79000 #constraints=3352 70.87/70.93 c nbDecision=79500 #constraints=3375 71.17/71.25 c nbDecision=80000 #constraints=3386 71.48/71.54 c nbDecision=80500 #constraints=3396 72.07/72.15 c nbDecision=81000 #constraints=3420 72.37/72.44 c nbDecision=81500 #constraints=3430 72.67/72.73 c nbDecision=82000 #constraints=3440 72.97/73.06 c nbDecision=82500 #constraints=3452 73.27/73.38 c nbDecision=83000 #constraints=3463 73.57/73.68 c nbDecision=83500 #constraints=3474 73.87/73.99 c nbDecision=84000 #constraints=3485 74.27/74.30 c nbDecision=84500 #constraints=3496 74.57/74.61 c nbDecision=85000 #constraints=3507 74.87/74.92 c nbDecision=85500 #constraints=3518 75.17/75.23 c nbDecision=86000 #constraints=3529 75.47/75.54 c nbDecision=86500 #constraints=3540 75.77/75.85 c nbDecision=87000 #constraints=3551 76.07/76.16 c nbDecision=87500 #constraints=3562 76.37/76.47 c nbDecision=88000 #constraints=3573 76.67/76.77 c nbDecision=88500 #constraints=3584 77.07/77.11 c nbDecision=89000 #constraints=3596 77.37/77.40 c nbDecision=89500 #constraints=3606 77.67/77.73 c nbDecision=90000 #constraints=3618 77.97/78.04 c nbDecision=90500 #constraints=3629 78.27/78.34 c nbDecision=91000 #constraints=3640 78.57/78.66 c nbDecision=91500 #constraints=3651 78.87/78.97 c nbDecision=92000 #constraints=3662 79.17/79.28 c nbDecision=92500 #constraints=3673 79.46/79.59 c nbDecision=93000 #constraints=3684 79.76/79.88 c nbDecision=93500 #constraints=3694 80.17/80.21 c nbDecision=94000 #constraints=3706 80.46/80.53 c nbDecision=94500 #constraints=3717 80.76/80.84 c nbDecision=95000 #constraints=3728 81.07/81.15 c nbDecision=95500 #constraints=3739 81.38/81.46 c nbDecision=96000 #constraints=3750 81.67/81.77 c nbDecision=96500 #constraints=3761 81.97/82.08 c nbDecision=97000 #constraints=3772 82.38/82.41 c nbDecision=97500 #constraints=3784 82.67/82.72 c nbDecision=98000 #constraints=3795 82.97/83.01 c nbDecision=98500 #constraints=3805 84.37/84.46 c nbDecision=99000 #constraints=3868 86.17/86.25 c nbDecision=99500 #constraints=3945 87.67/87.70 c nbDecision=100000 #constraints=4007 87.97/88.08 c nbDecision=100500 #constraints=4021 88.87/89.00 c nbDecision=101000 #constraints=4058 89.27/89.31 c nbDecision=101500 #constraints=4068 89.57/89.62 c nbDecision=102000 #constraints=4078 89.97/90.02 c restart after 102401 decisions 90.07/90.14 c nbDecision=102500 #constraints=4093 90.37/90.43 c nbDecision=103000 #constraints=4101 90.67/90.74 c nbDecision=103500 #constraints=4111 91.57/91.60 c nbDecision=104000 #constraints=4145 91.86/91.91 c nbDecision=104500 #constraints=4155 92.16/92.22 c nbDecision=105000 #constraints=4165 92.96/93.09 c nbDecision=105500 #constraints=4199 93.26/93.40 c nbDecision=106000 #constraints=4209 93.66/93.71 c nbDecision=106500 #constraints=4219 94.46/94.57 c nbDecision=107000 #constraints=4253 94.76/94.88 c nbDecision=107500 #constraints=4263 95.16/95.20 c nbDecision=108000 #constraints=4273 95.96/96.08 c nbDecision=108500 #constraints=4307 96.26/96.40 c nbDecision=109000 #constraints=4317 96.66/96.71 c nbDecision=109500 #constraints=4327 97.46/97.60 c nbDecision=110000 #constraints=4361 97.86/97.91 c nbDecision=110500 #constraints=4371 98.16/98.23 c nbDecision=111000 #constraints=4381 99.07/99.11 c nbDecision=111500 #constraints=4415 99.37/99.43 c nbDecision=112000 #constraints=4425 99.67/99.75 c nbDecision=112500 #constraints=4435 100.56/100.63 c nbDecision=113000 #constraints=4469 100.86/100.95 c nbDecision=113500 #constraints=4479 101.17/101.27 c nbDecision=114000 #constraints=4489 102.06/102.15 c nbDecision=114500 #constraints=4523 102.36/102.47 c nbDecision=115000 #constraints=4533 102.66/102.79 c nbDecision=115500 #constraints=4543 103.56/103.67 c nbDecision=116000 #constraints=4577 103.86/103.99 c nbDecision=116500 #constraints=4587 104.26/104.31 c nbDecision=117000 #constraints=4597 105.06/105.20 c nbDecision=117500 #constraints=4631 105.46/105.52 c nbDecision=118000 #constraints=4641 105.76/105.84 c nbDecision=118500 #constraints=4651 106.66/106.73 c nbDecision=119000 #constraints=4685 106.96/107.05 c nbDecision=119500 #constraints=4695 107.26/107.37 c nbDecision=120000 #constraints=4705 108.16/108.25 c nbDecision=120500 #constraints=4739 108.46/108.58 c nbDecision=121000 #constraints=4749 108.76/108.90 c nbDecision=121500 #constraints=4759 109.46/109.52 c nbDecision=122000 #constraints=4782 109.76/109.85 c nbDecision=122500 #constraints=4793 110.06/110.16 c nbDecision=123000 #constraints=4803 110.65/110.78 c nbDecision=123500 #constraints=4826 111.06/111.11 c nbDecision=124000 #constraints=4837 111.35/111.42 c nbDecision=124500 #constraints=4847 111.95/112.06 c nbDecision=125000 #constraints=4871 112.25/112.37 c nbDecision=125500 #constraints=4881 112.85/112.99 c nbDecision=126000 #constraints=4904 113.25/113.32 c nbDecision=126500 #constraints=4915 113.55/113.64 c nbDecision=127000 #constraints=4925 114.15/114.28 c nbDecision=127500 #constraints=4949 114.45/114.58 c nbDecision=128000 #constraints=4959 114.75/114.89 c nbDecision=128500 #constraints=4969 115.45/115.53 c nbDecision=129000 #constraints=4993 115.75/115.84 c nbDecision=129500 #constraints=5003 116.35/116.47 c nbDecision=130000 #constraints=5027 116.65/116.78 c nbDecision=130500 #constraints=5037 117.05/117.11 c nbDecision=131000 #constraints=5048 117.65/117.73 c nbDecision=131500 #constraints=5071 117.95/118.06 c nbDecision=132000 #constraints=5082 118.25/118.36 c nbDecision=132500 #constraints=5092 118.85/118.98 c nbDecision=133000 #constraints=5115 119.26/119.31 c nbDecision=133500 #constraints=5126 119.86/119.91 c nbDecision=134000 #constraints=5149 120.16/120.25 c nbDecision=134500 #constraints=5160 120.46/120.56 c nbDecision=135000 #constraints=5170 121.05/121.17 c nbDecision=135500 #constraints=5193 121.45/121.50 c nbDecision=136000 #constraints=5204 121.75/121.81 c nbDecision=136500 #constraints=5214 122.35/122.45 c nbDecision=137000 #constraints=5238 122.65/122.75 c nbDecision=137500 #constraints=5248 123.16/123.30 c nbDecision=138000 #constraints=5268 123.65/123.70 c nbDecision=138500 #constraints=5282 123.95/124.02 c nbDecision=139000 #constraints=5292 124.26/124.35 c nbDecision=139500 #constraints=5303 124.55/124.67 c nbDecision=140000 #constraints=5314 124.95/125.00 c nbDecision=140500 #constraints=5325 125.26/125.36 c nbDecision=141000 #constraints=5337 125.55/125.67 c nbDecision=141500 #constraints=5347 125.95/126.02 c nbDecision=142000 #constraints=5359 126.25/126.35 c nbDecision=142500 #constraints=5370 126.55/126.66 c nbDecision=143000 #constraints=5380 126.95/127.01 c nbDecision=143500 #constraints=5392 127.25/127.35 c nbDecision=144000 #constraints=5403 127.55/127.67 c nbDecision=144500 #constraints=5414 127.95/128.00 c nbDecision=145000 #constraints=5425 128.25/128.33 c nbDecision=145500 #constraints=5436 128.55/128.67 c nbDecision=146000 #constraints=5447 128.95/129.00 c nbDecision=146500 #constraints=5458 129.25/129.32 c nbDecision=147000 #constraints=5469 129.55/129.65 c nbDecision=147500 #constraints=5480 129.85/129.99 c nbDecision=148000 #constraints=5491 130.25/130.32 c nbDecision=148500 #constraints=5502 130.55/130.65 c nbDecision=149000 #constraints=5513 130.85/130.97 c nbDecision=149500 #constraints=5524 131.25/131.33 c nbDecision=150000 #constraints=5536 131.55/131.64 c nbDecision=150500 #constraints=5546 131.85/132.00 c nbDecision=151000 #constraints=5558 132.25/132.33 c nbDecision=151500 #constraints=5569 132.55/132.65 c nbDecision=152000 #constraints=5580 132.85/132.99 c nbDecision=152500 #constraints=5591 133.24/133.33 c nbDecision=153000 #constraints=5602 133.54/133.65 c nbDecision=153500 #constraints=5613 133.84/133.98 c nbDecision=154000 #constraints=5624 134.15/134.28 c nbDecision=154500 #constraints=5634 134.54/134.64 c nbDecision=155000 #constraints=5646 134.84/134.97 c nbDecision=155500 #constraints=5657 135.84/135.90 c nbDecision=156000 #constraints=5694 137.64/137.75 c nbDecision=156500 #constraints=5769 139.64/139.79 c nbDecision=157000 #constraints=5852 140.24/140.31 c nbDecision=157500 #constraints=5871 140.64/140.72 c nbDecision=158000 #constraints=5885 141.54/141.66 c nbDecision=158500 #constraints=5920 141.84/141.98 c nbDecision=159000 #constraints=5930 142.14/142.27 c nbDecision=159500 #constraints=5939 143.14/143.20 c nbDecision=160000 #constraints=5974 143.44/143.52 c nbDecision=160500 #constraints=5984 143.74/143.82 c nbDecision=161000 #constraints=5993 144.64/144.76 c nbDecision=161500 #constraints=6028 144.94/145.08 c nbDecision=162000 #constraints=6038 145.24/145.38 c nbDecision=162500 #constraints=6047 146.24/146.32 c nbDecision=163000 #constraints=6082 146.54/146.64 c nbDecision=163500 #constraints=6092 146.84/146.94 c nbDecision=164000 #constraints=6101 147.74/147.88 c nbDecision=164500 #constraints=6136 148.14/148.21 c nbDecision=165000 #constraints=6146 148.34/148.50 c nbDecision=165500 #constraints=6155 149.35/149.45 c nbDecision=166000 #constraints=6190 149.65/149.77 c nbDecision=166500 #constraints=6200 149.94/150.07 c nbDecision=167000 #constraints=6209 150.94/151.02 c nbDecision=167500 #constraints=6244 151.24/151.34 c nbDecision=168000 #constraints=6254 151.54/151.63 c nbDecision=168500 #constraints=6263 152.44/152.59 c nbDecision=169000 #constraints=6298 152.84/152.91 c nbDecision=169500 #constraints=6308 153.14/153.20 c nbDecision=170000 #constraints=6317 154.04/154.15 c nbDecision=170500 #constraints=6352 154.34/154.47 c nbDecision=171000 #constraints=6362 154.64/154.77 c nbDecision=171500 #constraints=6371 155.64/155.71 c nbDecision=172000 #constraints=6406 155.94/156.03 c nbDecision=172500 #constraints=6416 156.24/156.33 c nbDecision=173000 #constraints=6425 157.14/157.27 c nbDecision=173500 #constraints=6460 157.44/157.60 c nbDecision=174000 #constraints=6470 157.74/157.89 c nbDecision=174500 #constraints=6479 158.73/158.84 c nbDecision=175000 #constraints=6514 159.03/159.16 c nbDecision=175500 #constraints=6524 159.34/159.45 c nbDecision=176000 #constraints=6533 160.33/160.40 c nbDecision=176500 #constraints=6568 160.63/160.73 c nbDecision=177000 #constraints=6578 160.93/161.02 c nbDecision=177500 #constraints=6587 161.54/161.69 c nbDecision=178000 #constraints=6611 161.93/162.01 c nbDecision=178500 #constraints=6621 162.53/162.66 c nbDecision=179000 #constraints=6645 162.83/162.98 c nbDecision=179500 #constraints=6655 163.23/163.30 c nbDecision=180000 #constraints=6665 163.84/163.96 c nbDecision=180500 #constraints=6689 164.14/164.28 c nbDecision=181000 #constraints=6699 164.54/164.62 c nbDecision=181500 #constraints=6710 165.14/165.27 c nbDecision=182000 #constraints=6733 165.54/165.61 c nbDecision=182500 #constraints=6744 166.14/166.25 c nbDecision=183000 #constraints=6767 166.44/166.57 c nbDecision=183500 #constraints=6777 166.83/166.92 c nbDecision=184000 #constraints=6788 167.43/167.56 c nbDecision=184500 #constraints=6811 167.83/167.90 c nbDecision=185000 #constraints=6822 168.14/168.22 c nbDecision=185500 #constraints=6832 168.73/168.87 c nbDecision=186000 #constraints=6855 169.13/169.21 c nbDecision=186500 #constraints=6866 169.53/169.65 c nbDecision=187000 #constraints=6881 170.03/170.20 c nbDecision=187500 #constraints=6900 170.44/170.52 c nbDecision=188000 #constraints=6910 171.03/171.16 c nbDecision=188500 #constraints=6933 171.33/171.50 c nbDecision=189000 #constraints=6944 171.73/171.83 c nbDecision=189500 #constraints=6954 172.43/172.50 c nbDecision=190000 #constraints=6978 172.73/172.82 c nbDecision=190500 #constraints=6988 173.03/173.13 c nbDecision=191000 #constraints=6998 173.73/173.80 c nbDecision=191500 #constraints=7022 174.03/174.12 c nbDecision=192000 #constraints=7032 174.63/174.79 c nbDecision=192500 #constraints=7056 175.03/175.10 c nbDecision=193000 #constraints=7066 175.33/175.45 c nbDecision=193500 #constraints=7077 175.93/176.09 c nbDecision=194000 #constraints=7100 176.33/176.44 c nbDecision=194500 #constraints=7111 176.62/176.75 c nbDecision=195000 #constraints=7121 176.93/177.10 c nbDecision=195500 #constraints=7132 177.32/177.44 c nbDecision=196000 #constraints=7143 177.62/177.78 c nbDecision=196500 #constraints=7154 178.03/178.12 c nbDecision=197000 #constraints=7165 178.32/178.46 c nbDecision=197500 #constraints=7176 178.72/178.83 c nbDecision=198000 #constraints=7188 179.02/179.15 c nbDecision=198500 #constraints=7198 179.42/179.51 c nbDecision=199000 #constraints=7210 179.72/179.85 c nbDecision=199500 #constraints=7221 180.02/180.16 c nbDecision=200000 #constraints=7231 180.43/180.54 c nbDecision=200500 #constraints=7243 180.73/180.88 c nbDecision=201000 #constraints=7254 181.13/181.22 c nbDecision=201500 #constraints=7265 181.43/181.55 c nbDecision=202000 #constraints=7276 181.83/181.90 c nbDecision=202500 #constraints=7287 182.13/182.25 c nbDecision=203000 #constraints=7298 182.43/182.59 c nbDecision=203500 #constraints=7309 182.83/182.92 c nbDecision=204000 #constraints=7320 183.13/183.27 c nbDecision=204500 #constraints=7331 183.33/183.49 c restart after 204801 decisions 183.93/184.05 c nbDecision=205000 #constraints=7349 184.43/184.56 c nbDecision=205500 #constraints=7366 184.83/184.90 c nbDecision=206000 #constraints=7376 185.52/185.66 c nbDecision=206500 #constraints=7403 186.02/186.18 c nbDecision=207000 #constraints=7420 186.42/186.51 c nbDecision=207500 #constraints=7430 187.12/187.28 c nbDecision=208000 #constraints=7457 187.62/187.80 c nbDecision=208500 #constraints=7474 188.03/188.13 c nbDecision=209000 #constraints=7484 188.72/188.89 c nbDecision=209500 #constraints=7511 189.32/189.41 c nbDecision=210000 #constraints=7528 189.62/189.75 c nbDecision=210500 #constraints=7538 190.42/190.51 c nbDecision=211000 #constraints=7565 190.92/191.03 c nbDecision=211500 #constraints=7582 191.22/191.37 c nbDecision=212000 #constraints=7592 192.02/192.13 c nbDecision=212500 #constraints=7619 192.52/192.65 c nbDecision=213000 #constraints=7636 192.82/192.98 c nbDecision=213500 #constraints=7646 193.62/193.74 c nbDecision=214000 #constraints=7673 194.12/194.25 c nbDecision=214500 #constraints=7690 194.42/194.58 c nbDecision=215000 #constraints=7700 195.22/195.34 c nbDecision=215500 #constraints=7727 195.72/195.85 c nbDecision=216000 #constraints=7744 196.02/196.19 c nbDecision=216500 #constraints=7754 196.83/196.94 c nbDecision=217000 #constraints=7781 197.32/197.46 c nbDecision=217500 #constraints=7798 197.62/197.79 c nbDecision=218000 #constraints=7808 198.42/198.55 c nbDecision=218500 #constraints=7835 198.93/199.07 c nbDecision=219000 #constraints=7852 199.32/199.41 c nbDecision=219500 #constraints=7862 200.03/200.17 c nbDecision=220000 #constraints=7889 200.52/200.68 c nbDecision=220500 #constraints=7906 200.92/201.02 c nbDecision=221000 #constraints=7916 201.62/201.78 c nbDecision=221500 #constraints=7943 202.12/202.30 c nbDecision=222000 #constraints=7960 202.52/202.63 c nbDecision=222500 #constraints=7970 203.12/203.26 c nbDecision=223000 #constraints=7992 203.52/203.62 c nbDecision=223500 #constraints=8003 203.82/203.95 c nbDecision=224000 #constraints=8013 204.52/204.64 c nbDecision=224500 #constraints=8037 204.82/204.96 c nbDecision=225000 #constraints=8047 205.12/205.29 c nbDecision=225500 #constraints=8057 205.82/205.99 c nbDecision=226000 #constraints=8081 206.22/206.32 c nbDecision=226500 #constraints=8091 206.92/207.00 c nbDecision=227000 #constraints=8115 207.22/207.33 c nbDecision=227500 #constraints=8125 207.52/207.69 c nbDecision=228000 #constraints=8136 208.22/208.34 c nbDecision=228500 #constraints=8159 208.52/208.69 c nbDecision=229000 #constraints=8170 208.92/209.02 c nbDecision=229500 #constraints=8180 209.52/209.69 c nbDecision=230000 #constraints=8203 209.92/210.04 c nbDecision=230500 #constraints=8214 210.21/210.38 c nbDecision=231000 #constraints=8225 210.91/211.06 c nbDecision=231500 #constraints=8248 211.21/211.39 c nbDecision=232000 #constraints=8258 211.91/212.05 c nbDecision=232500 #constraints=8281 212.31/212.40 c nbDecision=233000 #constraints=8292 212.61/212.73 c nbDecision=233500 #constraints=8302 213.31/213.43 c nbDecision=234000 #constraints=8326 213.61/213.76 c nbDecision=234500 #constraints=8336 213.91/214.07 c nbDecision=235000 #constraints=8346 214.61/214.77 c nbDecision=235500 #constraints=8370 215.01/215.11 c nbDecision=236000 #constraints=8380 215.71/215.82 c nbDecision=236500 #constraints=8404 216.01/216.16 c nbDecision=237000 #constraints=8414 216.41/216.51 c nbDecision=237500 #constraints=8424 217.11/217.22 c nbDecision=238000 #constraints=8448 217.41/217.56 c nbDecision=238500 #constraints=8458 217.81/217.92 c nbDecision=239000 #constraints=8469 218.51/218.62 c nbDecision=239500 #constraints=8492 218.81/218.99 c nbDecision=240000 #constraints=8503 219.21/219.32 c nbDecision=240500 #constraints=8513 219.61/219.71 c nbDecision=241000 #constraints=8525 219.91/220.05 c nbDecision=241500 #constraints=8535 220.31/220.45 c nbDecision=242000 #constraints=8547 220.71/220.81 c nbDecision=242500 #constraints=8558 221.01/221.17 c nbDecision=243000 #constraints=8569 221.41/221.53 c nbDecision=243500 #constraints=8580 221.80/221.90 c nbDecision=244000 #constraints=8591 222.12/222.27 c nbDecision=244500 #constraints=8602 222.51/222.63 c nbDecision=245000 #constraints=8613 222.81/222.99 c nbDecision=245500 #constraints=8624 223.22/223.36 c nbDecision=246000 #constraints=8635 223.61/223.73 c nbDecision=246500 #constraints=8646 223.91/224.09 c nbDecision=247000 #constraints=8657 224.31/224.46 c nbDecision=247500 #constraints=8668 224.71/224.83 c nbDecision=248000 #constraints=8680 225.01/225.19 c nbDecision=248500 #constraints=8690 225.41/225.56 c nbDecision=249000 #constraints=8701 225.81/225.96 c nbDecision=249500 #constraints=8713 226.21/226.32 c nbDecision=250000 #constraints=8724 226.51/226.65 c nbDecision=250500 #constraints=8734 226.91/227.06 c nbDecision=251000 #constraints=8746 227.31/227.43 c nbDecision=251500 #constraints=8757 227.61/227.79 c nbDecision=252000 #constraints=8768 228.01/228.16 c nbDecision=252500 #constraints=8779 228.31/228.49 c nbDecision=253000 #constraints=8789 228.71/228.90 c nbDecision=253500 #constraints=8801 229.11/229.27 c nbDecision=254000 #constraints=8812 229.51/229.63 c nbDecision=254500 #constraints=8823 229.81/229.99 c nbDecision=255000 #constraints=8834 230.21/230.36 c nbDecision=255500 #constraints=8845 230.61/230.74 c nbDecision=256000 #constraints=8856 231.01/231.11 c nbDecision=256500 #constraints=8867 231.71/231.81 c nbDecision=257000 #constraints=8891 233.90/234.08 c nbDecision=257500 #constraints=8971 236.20/236.37 c nbDecision=258000 #constraints=9054 237.00/237.19 c nbDecision=258500 #constraints=9081 237.51/237.67 c nbDecision=259000 #constraints=9095 238.61/238.72 c nbDecision=259500 #constraints=9130 238.90/239.07 c nbDecision=260000 #constraints=9140 239.30/239.41 c nbDecision=260500 #constraints=9150 240.30/240.41 c nbDecision=261000 #constraints=9184 240.60/240.75 c nbDecision=261500 #constraints=9194 240.90/241.09 c nbDecision=262000 #constraints=9204 241.91/242.09 c nbDecision=262500 #constraints=9238 242.30/242.42 c nbDecision=263000 #constraints=9248 242.60/242.77 c nbDecision=263500 #constraints=9258 243.60/243.77 c nbDecision=264000 #constraints=9292 244.00/244.11 c nbDecision=264500 #constraints=9302 244.31/244.46 c nbDecision=265000 #constraints=9312 245.31/245.47 c nbDecision=265500 #constraints=9346 245.71/245.81 c nbDecision=266000 #constraints=9356 246.01/246.16 c nbDecision=266500 #constraints=9366 247.01/247.17 c nbDecision=267000 #constraints=9400 247.41/247.51 c nbDecision=267500 #constraints=9410 247.71/247.86 c nbDecision=268000 #constraints=9420 248.71/248.86 c nbDecision=268500 #constraints=9454 249.11/249.20 c nbDecision=269000 #constraints=9464 249.40/249.55 c nbDecision=269500 #constraints=9474 250.40/250.55 c nbDecision=270000 #constraints=9508 250.71/250.89 c nbDecision=270500 #constraints=9518 251.10/251.24 c nbDecision=271000 #constraints=9528 252.10/252.24 c nbDecision=271500 #constraints=9562 252.40/252.58 c nbDecision=272000 #constraints=9572 252.80/252.94 c nbDecision=272500 #constraints=9582 253.80/253.94 c nbDecision=273000 #constraints=9616 254.10/254.27 c nbDecision=273500 #constraints=9626 254.50/254.62 c nbDecision=274000 #constraints=9636 255.50/255.62 c nbDecision=274500 #constraints=9670 255.80/255.95 c nbDecision=275000 #constraints=9680 256.10/256.30 c nbDecision=275500 #constraints=9690 257.10/257.29 c nbDecision=276000 #constraints=9724 257.50/257.62 c nbDecision=276500 #constraints=9734 257.80/257.97 c nbDecision=277000 #constraints=9744 258.80/258.96 c nbDecision=277500 #constraints=9778 259.20/259.30 c nbDecision=278000 #constraints=9788 259.50/259.65 c nbDecision=278500 #constraints=9798 260.20/260.35 c nbDecision=279000 #constraints=9821 260.60/260.71 c nbDecision=279500 #constraints=9832 260.89/261.01 c nbDecision=280000 #constraints=9841 261.60/261.74 c nbDecision=280500 #constraints=9865 261.99/262.11 c nbDecision=281000 #constraints=9876 262.59/262.79 c nbDecision=281500 #constraints=9899 262.99/263.15 c nbDecision=282000 #constraints=9910 263.39/263.50 c nbDecision=282500 #constraints=9920 264.10/264.20 c nbDecision=283000 #constraints=9943 264.40/264.56 c nbDecision=283500 #constraints=9954 264.70/264.89 c nbDecision=284000 #constraints=9964 265.50/265.63 c nbDecision=284500 #constraints=9988 265.80/265.98 c nbDecision=285000 #constraints=9998 266.50/266.66 c nbDecision=285500 #constraints=10021 266.90/267.03 c nbDecision=286000 #constraints=10032 267.20/267.38 c nbDecision=286500 #constraints=10042 268.00/268.11 c nbDecision=287000 #constraints=10066 268.30/268.45 c nbDecision=287500 #constraints=10076 268.60/268.79 c nbDecision=288000 #constraints=10086 269.40/269.52 c nbDecision=288500 #constraints=10110 269.70/269.87 c nbDecision=289000 #constraints=10120 270.40/270.58 c nbDecision=289500 #constraints=10144 270.80/270.93 c nbDecision=290000 #constraints=10154 271.20/271.30 c nbDecision=290500 #constraints=10165 271.90/272.00 c nbDecision=291000 #constraints=10188 272.20/272.37 c nbDecision=291500 #constraints=10199 272.60/272.71 c nbDecision=292000 #constraints=10209 273.29/273.42 c nbDecision=292500 #constraints=10232 273.59/273.79 c nbDecision=293000 #constraints=10243 274.29/274.47 c nbDecision=293500 #constraints=10266 274.69/274.85 c nbDecision=294000 #constraints=10277 274.99/275.19 c nbDecision=294500 #constraints=10287 275.69/275.89 c nbDecision=295000 #constraints=10310 276.09/276.25 c nbDecision=295500 #constraints=10321 276.39/276.59 c nbDecision=296000 #constraints=10331 276.89/277.00 c nbDecision=296500 #constraints=10343 277.19/277.34 c nbDecision=297000 #constraints=10353 277.59/277.73 c nbDecision=297500 #constraints=10365 277.89/278.09 c nbDecision=298000 #constraints=10376 278.29/278.44 c nbDecision=298500 #constraints=10386 278.69/278.84 c nbDecision=299000 #constraints=10398 279.09/279.21 c nbDecision=299500 #constraints=10409 279.39/279.57 c nbDecision=300000 #constraints=10420 279.79/279.93 c nbDecision=300500 #constraints=10431 280.19/280.30 c nbDecision=301000 #constraints=10442 280.49/280.68 c nbDecision=301500 #constraints=10453 280.89/281.04 c nbDecision=302000 #constraints=10464 281.19/281.39 c nbDecision=302500 #constraints=10475 281.59/281.77 c nbDecision=303000 #constraints=10486 281.99/282.14 c nbDecision=303500 #constraints=10497 282.39/282.51 c nbDecision=304000 #constraints=10508 282.69/282.87 c nbDecision=304500 #constraints=10519 283.08/283.24 c nbDecision=305000 #constraints=10531 283.48/283.63 c nbDecision=305500 #constraints=10542 283.78/283.98 c nbDecision=306000 #constraints=10552 284.18/284.38 c nbDecision=306500 #constraints=10564 284.58/284.74 c nbDecision=307000 #constraints=10575 284.88/285.07 c nbDecision=307500 #constraints=10585 285.28/285.49 c nbDecision=308000 #constraints=10597 285.68/285.86 c nbDecision=308500 #constraints=10608 286.08/286.23 c nbDecision=309000 #constraints=10619 286.48/286.60 c nbDecision=309500 #constraints=10630 286.78/286.96 c nbDecision=310000 #constraints=10641 287.18/287.35 c nbDecision=310500 #constraints=10652 287.59/287.72 c nbDecision=311000 #constraints=10663 287.89/288.09 c nbDecision=311500 #constraints=10674 288.29/288.45 c nbDecision=312000 #constraints=10685 288.69/288.82 c nbDecision=312500 #constraints=10696 290.49/290.63 c nbDecision=313000 #constraints=10759 292.59/292.79 c nbDecision=313500 #constraints=10834 294.49/294.65 c nbDecision=314000 #constraints=10898 294.99/295.17 c nbDecision=314500 #constraints=10912 296.19/296.32 c nbDecision=315000 #constraints=10949 296.49/296.69 c nbDecision=315500 #constraints=10959 296.89/297.02 c nbDecision=316000 #constraints=10968 297.89/298.05 c nbDecision=316500 #constraints=11003 298.29/298.42 c nbDecision=317000 #constraints=11013 298.59/298.75 c nbDecision=317500 #constraints=11022 299.59/299.79 c nbDecision=318000 #constraints=11057 299.99/300.15 c nbDecision=318500 #constraints=11067 300.29/300.49 c nbDecision=319000 #constraints=11076 301.39/301.52 c nbDecision=319500 #constraints=11111 301.69/301.89 c nbDecision=320000 #constraints=11121 302.09/302.23 c nbDecision=320500 #constraints=11130 303.09/303.27 c nbDecision=321000 #constraints=11165 303.49/303.64 c nbDecision=321500 #constraints=11175 303.78/303.98 c nbDecision=322000 #constraints=11184 304.88/305.02 c nbDecision=322500 #constraints=11219 305.18/305.39 c nbDecision=323000 #constraints=11229 305.59/305.73 c nbDecision=323500 #constraints=11238 306.58/306.77 c nbDecision=324000 #constraints=11273 306.98/307.15 c nbDecision=324500 #constraints=11283 307.28/307.48 c nbDecision=325000 #constraints=11292 308.38/308.53 c nbDecision=325500 #constraints=11327 308.78/308.90 c nbDecision=326000 #constraints=11337 309.08/309.24 c nbDecision=326500 #constraints=11346 310.08/310.29 c nbDecision=327000 #constraints=11381 310.47/310.67 c nbDecision=327500 #constraints=11391 310.87/311.01 c nbDecision=328000 #constraints=11400 311.87/312.06 c nbDecision=328500 #constraints=11435 312.28/312.43 c nbDecision=329000 #constraints=11445 312.57/312.77 c nbDecision=329500 #constraints=11454 313.68/313.82 c nbDecision=330000 #constraints=11489 313.98/314.19 c nbDecision=330500 #constraints=11499 314.38/314.53 c nbDecision=331000 #constraints=11508 315.38/315.57 c nbDecision=331500 #constraints=11543 315.78/315.94 c nbDecision=332000 #constraints=11553 316.08/316.28 c nbDecision=332500 #constraints=11562 317.18/317.33 c nbDecision=333000 #constraints=11597 317.58/317.70 c nbDecision=333500 #constraints=11607 317.88/318.04 c nbDecision=334000 #constraints=11616 318.58/318.75 c nbDecision=334500 #constraints=11639 318.98/319.13 c nbDecision=335000 #constraints=11650 319.38/319.50 c nbDecision=335500 #constraints=11660 320.08/320.25 c nbDecision=336000 #constraints=11684 320.38/320.60 c nbDecision=336500 #constraints=11694 320.78/320.94 c nbDecision=337000 #constraints=11704 321.58/321.71 c nbDecision=337500 #constraints=11728 321.88/322.06 c nbDecision=338000 #constraints=11738 322.57/322.79 c nbDecision=338500 #constraints=11762 322.97/323.15 c nbDecision=339000 #constraints=11772 323.37/323.51 c nbDecision=339500 #constraints=11782 324.07/324.26 c nbDecision=340000 #constraints=11806 324.47/324.61 c nbDecision=340500 #constraints=11816 324.77/324.99 c nbDecision=341000 #constraints=11827 325.57/325.73 c nbDecision=341500 #constraints=11850 325.97/326.12 c nbDecision=342000 #constraints=11861 326.67/326.83 c nbDecision=342500 #constraints=11884 327.07/327.20 c nbDecision=343000 #constraints=11894 327.37/327.59 c nbDecision=343500 #constraints=11905 328.17/328.31 c nbDecision=344000 #constraints=11928 328.47/328.69 c nbDecision=344500 #constraints=11939 328.87/329.05 c nbDecision=345000 #constraints=11949 329.57/329.79 c nbDecision=345500 #constraints=11972 329.97/330.18 c nbDecision=346000 #constraints=11983 330.47/330.67 c nbDecision=346500 #constraints=11998 331.07/331.28 c nbDecision=347000 #constraints=12017 331.47/331.65 c nbDecision=347500 #constraints=12027 332.17/332.36 c nbDecision=348000 #constraints=12050 332.57/332.74 c nbDecision=348500 #constraints=12061 332.97/333.11 c nbDecision=349000 #constraints=12071 333.67/333.87 c nbDecision=349500 #constraints=12095 334.07/334.22 c nbDecision=350000 #constraints=12105 334.37/334.56 c nbDecision=350500 #constraints=12115 335.17/335.33 c nbDecision=351000 #constraints=12139 335.47/335.69 c nbDecision=351500 #constraints=12149 335.87/336.07 c nbDecision=352000 #constraints=12160 336.27/336.45 c nbDecision=352500 #constraints=12171 336.67/336.83 c nbDecision=353000 #constraints=12182 337.07/337.26 c nbDecision=353500 #constraints=12194 337.47/337.61 c nbDecision=354000 #constraints=12204 337.87/338.02 c nbDecision=354500 #constraints=12216 338.17/338.39 c nbDecision=355000 #constraints=12227 338.57/338.76 c nbDecision=355500 #constraints=12237 338.97/339.18 c nbDecision=356000 #constraints=12249 339.37/339.56 c nbDecision=356500 #constraints=12260 339.77/339.93 c nbDecision=357000 #constraints=12271 340.17/340.31 c nbDecision=357500 #constraints=12282 340.57/340.70 c nbDecision=358000 #constraints=12293 340.87/341.10 c nbDecision=358500 #constraints=12304 341.27/341.48 c nbDecision=359000 #constraints=12315 341.67/341.85 c nbDecision=359500 #constraints=12326 342.07/342.24 c nbDecision=360000 #constraints=12337 342.46/342.63 c nbDecision=360500 #constraints=12348 342.86/343.01 c nbDecision=361000 #constraints=12359 343.16/343.39 c nbDecision=361500 #constraints=12370 343.66/343.80 c nbDecision=362000 #constraints=12382 343.96/344.19 c nbDecision=362500 #constraints=12393 344.36/344.56 c nbDecision=363000 #constraints=12403 344.76/344.98 c nbDecision=363500 #constraints=12415 345.17/345.36 c nbDecision=364000 #constraints=12426 345.56/345.70 c nbDecision=364500 #constraints=12436 345.96/346.14 c nbDecision=365000 #constraints=12448 346.37/346.53 c nbDecision=365500 #constraints=12459 346.76/346.92 c nbDecision=366000 #constraints=12470 347.16/347.30 c nbDecision=366500 #constraints=12481 347.47/347.67 c nbDecision=367000 #constraints=12492 347.86/348.08 c nbDecision=367500 #constraints=12503 348.26/348.47 c nbDecision=368000 #constraints=12514 349.36/349.57 c nbDecision=368500 #constraints=12550 351.66/351.89 c nbDecision=369000 #constraints=12627 353.97/354.15 c nbDecision=369500 #constraints=12702 354.87/355.09 c nbDecision=370000 #constraints=12729 355.46/355.63 c nbDecision=370500 #constraints=12743 356.56/356.74 c nbDecision=371000 #constraints=12777 356.96/357.11 c nbDecision=371500 #constraints=12787 357.27/357.47 c nbDecision=372000 #constraints=12797 358.37/358.55 c nbDecision=372500 #constraints=12831 358.76/358.92 c nbDecision=373000 #constraints=12841 359.06/359.28 c nbDecision=373500 #constraints=12851 360.16/360.37 c nbDecision=374000 #constraints=12885 360.57/360.73 c nbDecision=374500 #constraints=12895 360.86/361.10 c nbDecision=375000 #constraints=12905 361.96/362.18 c nbDecision=375500 #constraints=12939 362.36/362.55 c nbDecision=376000 #constraints=12949 362.77/362.91 c nbDecision=376500 #constraints=12959 363.86/364.01 c nbDecision=377000 #constraints=12993 364.16/364.38 c nbDecision=377500 #constraints=13003 364.56/364.74 c nbDecision=378000 #constraints=13013 365.66/365.83 c nbDecision=378500 #constraints=13047 365.96/366.20 c nbDecision=379000 #constraints=13057 366.36/366.57 c nbDecision=379500 #constraints=13067 367.46/367.66 c nbDecision=380000 #constraints=13101 367.86/368.03 c nbDecision=380500 #constraints=13111 368.16/368.40 c nbDecision=381000 #constraints=13121 369.26/369.49 c nbDecision=381500 #constraints=13155 369.66/369.86 c nbDecision=382000 #constraints=13165 370.06/370.23 c nbDecision=382500 #constraints=13175 371.16/371.33 c nbDecision=383000 #constraints=13209 371.56/371.70 c nbDecision=383500 #constraints=13219 371.86/372.07 c nbDecision=384000 #constraints=13229 372.95/373.17 c nbDecision=384500 #constraints=13263 373.35/373.54 c nbDecision=385000 #constraints=13273 373.76/373.91 c nbDecision=385500 #constraints=13283 374.85/375.00 c nbDecision=386000 #constraints=13317 375.15/375.37 c nbDecision=386500 #constraints=13327 375.56/375.74 c nbDecision=387000 #constraints=13337 376.66/376.83 c nbDecision=387500 #constraints=13371 376.96/377.20 c nbDecision=388000 #constraints=13381 377.36/377.57 c nbDecision=388500 #constraints=13391 378.46/378.66 c nbDecision=389000 #constraints=13425 378.86/379.03 c nbDecision=389500 #constraints=13435 379.16/379.40 c nbDecision=390000 #constraints=13445 379.96/380.17 c nbDecision=390500 #constraints=13468 380.36/380.54 c nbDecision=391000 #constraints=13478 381.16/381.31 c nbDecision=391500 #constraints=13502 381.46/381.69 c nbDecision=392000 #constraints=13512 381.86/382.09 c nbDecision=392500 #constraints=13523 382.66/382.84 c nbDecision=393000 #constraints=13546 383.06/383.23 c nbDecision=393500 #constraints=13557 383.46/383.61 c nbDecision=394000 #constraints=13567 384.16/384.38 c nbDecision=394500 #constraints=13590 384.56/384.78 c nbDecision=395000 #constraints=13601 384.96/385.17 c nbDecision=395500 #constraints=13612 385.76/385.94 c nbDecision=396000 #constraints=13635 386.16/386.32 c nbDecision=396500 #constraints=13645 386.86/387.07 c nbDecision=397000 #constraints=13668 387.26/387.46 c nbDecision=397500 #constraints=13679 387.66/387.85 c nbDecision=398000 #constraints=13689 388.46/388.65 c nbDecision=398500 #constraints=13713 388.85/389.02 c nbDecision=399000 #constraints=13723 389.16/389.37 c nbDecision=399500 #constraints=13733 389.95/390.19 c nbDecision=400000 #constraints=13757 390.36/390.57 c nbDecision=400500 #constraints=13767 391.15/391.35 c nbDecision=401000 #constraints=13791 391.55/391.72 c nbDecision=401500 #constraints=13801 391.95/392.10 c nbDecision=402000 #constraints=13811 392.75/392.90 c nbDecision=402500 #constraints=13835 393.05/393.26 c nbDecision=403000 #constraints=13845 393.45/393.65 c nbDecision=403500 #constraints=13856 394.25/394.43 c nbDecision=404000 #constraints=13879 394.66/394.84 c nbDecision=404500 #constraints=13890 395.35/395.58 c nbDecision=405000 #constraints=13913 395.76/395.98 c nbDecision=405500 #constraints=13924 396.15/396.36 c nbDecision=406000 #constraints=13934 396.96/397.12 c nbDecision=406500 #constraints=13957 397.35/397.52 c nbDecision=407000 #constraints=13968 397.65/397.88 c nbDecision=407500 #constraints=13978 398.15/398.30 c nbDecision=408000 #constraints=13989 398.55/398.70 c nbDecision=408500 #constraints=14000 398.95/399.13 c nbDecision=409000 #constraints=14012 399.35/399.52 c nbDecision=409500 #constraints=14023 399.45/399.60 c restart after 409601 decisions 400.05/400.28 c nbDecision=410000 #constraints=14029 400.85/401.07 c nbDecision=410500 #constraints=14053 401.25/401.43 c nbDecision=411000 #constraints=14063 401.65/401.81 c nbDecision=411500 #constraints=14074 402.35/402.60 c nbDecision=412000 #constraints=14097 402.85/403.00 c nbDecision=412500 #constraints=14108 403.55/403.74 c nbDecision=413000 #constraints=14131 403.95/404.15 c nbDecision=413500 #constraints=14142 404.35/404.53 c nbDecision=414000 #constraints=14152 405.15/405.30 c nbDecision=414500 #constraints=14175 405.55/405.70 c nbDecision=415000 #constraints=14186 405.85/406.07 c nbDecision=415500 #constraints=14196 406.65/406.88 c nbDecision=416000 #constraints=14220 407.05/407.26 c nbDecision=416500 #constraints=14230 407.85/408.01 c nbDecision=417000 #constraints=14253 408.25/408.43 c nbDecision=417500 #constraints=14264 408.65/408.81 c nbDecision=418000 #constraints=14274 409.05/409.23 c nbDecision=418500 #constraints=14285 409.44/409.62 c nbDecision=419000 #constraints=14296 409.84/410.01 c nbDecision=419500 #constraints=14307 410.24/410.44 c nbDecision=420000 #constraints=14318 410.64/410.85 c nbDecision=420500 #constraints=14329 411.04/411.29 c nbDecision=421000 #constraints=14341 411.44/411.68 c nbDecision=421500 #constraints=14352 411.84/412.05 c nbDecision=422000 #constraints=14362 412.35/412.51 c nbDecision=422500 #constraints=14374 412.74/412.91 c nbDecision=423000 #constraints=14385 413.14/413.32 c nbDecision=423500 #constraints=14396 413.54/413.71 c nbDecision=424000 #constraints=14407 413.94/414.11 c nbDecision=424500 #constraints=14418 414.34/414.54 c nbDecision=425000 #constraints=14429 414.74/414.94 c nbDecision=425500 #constraints=14440 415.14/415.33 c nbDecision=426000 #constraints=14451 415.54/415.72 c nbDecision=426500 #constraints=14462 415.94/416.14 c nbDecision=427000 #constraints=14473 416.34/416.55 c nbDecision=427500 #constraints=14484 416.74/416.96 c nbDecision=428000 #constraints=14495 417.14/417.35 c nbDecision=428500 #constraints=14506 417.54/417.77 c nbDecision=429000 #constraints=14518 417.94/418.16 c nbDecision=429500 #constraints=14528 418.44/418.60 c nbDecision=430000 #constraints=14540 418.84/419.01 c nbDecision=430500 #constraints=14551 419.14/419.39 c nbDecision=431000 #constraints=14562 419.54/419.79 c nbDecision=431500 #constraints=14573 419.94/420.18 c nbDecision=432000 #constraints=14583 420.44/420.61 c nbDecision=432500 #constraints=14595 420.84/421.01 c nbDecision=433000 #constraints=14606 421.24/421.40 c nbDecision=433500 #constraints=14617 421.64/421.81 c nbDecision=434000 #constraints=14628 422.04/422.22 c nbDecision=434500 #constraints=14639 423.44/423.69 c nbDecision=435000 #constraints=14684 426.04/426.20 c nbDecision=435500 #constraints=14763 428.44/428.66 c nbDecision=436000 #constraints=14840 429.04/429.28 c nbDecision=436500 #constraints=14854 429.64/429.84 c nbDecision=437000 #constraints=14867 430.84/431.06 c nbDecision=437500 #constraints=14902 431.24/431.45 c nbDecision=438000 #constraints=14912 431.54/431.78 c nbDecision=438500 #constraints=14921 432.74/432.97 c nbDecision=439000 #constraints=14956 433.15/433.36 c nbDecision=439500 #constraints=14966 433.54/433.70 c nbDecision=440000 #constraints=14975 434.64/434.88 c nbDecision=440500 #constraints=15010 435.04/435.27 c nbDecision=441000 #constraints=15020 435.35/435.60 c nbDecision=441500 #constraints=15029 436.54/436.78 c nbDecision=442000 #constraints=15064 436.94/437.17 c nbDecision=442500 #constraints=15074 437.34/437.50 c nbDecision=443000 #constraints=15083 438.44/438.68 c nbDecision=443500 #constraints=15118 438.84/439.06 c nbDecision=444000 #constraints=15128 439.14/439.39 c nbDecision=444500 #constraints=15137 440.34/440.58 c nbDecision=445000 #constraints=15172 440.74/440.96 c nbDecision=445500 #constraints=15182 441.04/441.30 c nbDecision=446000 #constraints=15191 442.24/442.48 c nbDecision=446500 #constraints=15226 442.64/442.87 c nbDecision=447000 #constraints=15236 442.94/443.20 c nbDecision=447500 #constraints=15245 444.14/444.39 c nbDecision=448000 #constraints=15280 444.54/444.79 c nbDecision=448500 #constraints=15290 444.94/445.12 c nbDecision=449000 #constraints=15299 446.13/446.32 c nbDecision=449500 #constraints=15334 446.53/446.71 c nbDecision=450000 #constraints=15344 446.83/447.04 c nbDecision=450500 #constraints=15353 448.03/448.23 c nbDecision=451000 #constraints=15388 448.43/448.62 c nbDecision=451500 #constraints=15398 448.73/448.96 c nbDecision=452000 #constraints=15407 449.93/450.16 c nbDecision=452500 #constraints=15442 450.33/450.55 c nbDecision=453000 #constraints=15452 450.63/450.89 c nbDecision=453500 #constraints=15461 451.83/452.09 c nbDecision=454000 #constraints=15496 452.23/452.48 c nbDecision=454500 #constraints=15506 452.63/452.82 c nbDecision=455000 #constraints=15515 453.83/454.01 c nbDecision=455500 #constraints=15550 454.23/454.40 c nbDecision=456000 #constraints=15560 454.53/454.74 c nbDecision=456500 #constraints=15569 455.33/455.59 c nbDecision=457000 #constraints=15593 455.73/455.98 c nbDecision=457500 #constraints=15603 456.53/456.75 c nbDecision=458000 #constraints=15626 456.93/457.17 c nbDecision=458500 #constraints=15637 457.33/457.56 c nbDecision=459000 #constraints=15647 458.12/458.39 c nbDecision=459500 #constraints=15671 458.53/458.77 c nbDecision=460000 #constraints=15681 458.92/459.14 c nbDecision=460500 #constraints=15691 459.72/459.99 c nbDecision=461000 #constraints=15715 460.12/460.37 c nbDecision=461500 #constraints=15725 460.92/461.18 c nbDecision=462000 #constraints=15749 461.32/461.57 c nbDecision=462500 #constraints=15759 461.74/462.00 c nbDecision=463000 #constraints=15770 462.53/462.79 c nbDecision=463500 #constraints=15793 463.03/463.20 c nbDecision=464000 #constraints=15804 463.33/463.58 c nbDecision=464500 #constraints=15814 464.13/464.40 c nbDecision=465000 #constraints=15837 464.63/464.82 c nbDecision=465500 #constraints=15848 465.33/465.60 c nbDecision=466000 #constraints=15871 465.83/466.03 c nbDecision=466500 #constraints=15882 466.23/466.43 c nbDecision=467000 #constraints=15892 467.03/467.22 c nbDecision=467500 #constraints=15915 467.43/467.64 c nbDecision=468000 #constraints=15926 467.83/468.03 c nbDecision=468500 #constraints=15936 468.63/468.87 c nbDecision=469000 #constraints=15960 469.03/469.26 c nbDecision=469500 #constraints=15970 469.73/469.97 c nbDecision=470000 #constraints=15990 470.23/470.48 c nbDecision=470500 #constraints=16004 470.63/470.88 c nbDecision=471000 #constraints=16014 471.52/471.71 c nbDecision=471500 #constraints=16038 471.82/472.08 c nbDecision=472000 #constraints=16048 472.22/472.49 c nbDecision=472500 #constraints=16058 473.12/473.33 c nbDecision=473000 #constraints=16082 473.52/473.71 c nbDecision=473500 #constraints=16092 473.82/474.08 c nbDecision=474000 #constraints=16102 474.32/474.55 c nbDecision=474500 #constraints=16114 474.72/474.98 c nbDecision=475000 #constraints=16125 475.12/475.40 c nbDecision=475500 #constraints=16136 475.62/475.80 c nbDecision=476000 #constraints=16147 475.92/476.20 c nbDecision=476500 #constraints=16158 476.42/476.67 c nbDecision=477000 #constraints=16170 476.82/477.07 c nbDecision=477500 #constraints=16180 477.32/477.52 c nbDecision=478000 #constraints=16192 477.72/477.93 c nbDecision=478500 #constraints=16203 478.12/478.30 c nbDecision=479000 #constraints=16213 478.52/478.77 c nbDecision=479500 #constraints=16225 478.92/479.19 c nbDecision=480000 #constraints=16236 479.43/479.61 c nbDecision=480500 #constraints=16247 479.82/480.02 c nbDecision=481000 #constraints=16258 480.22/480.43 c nbDecision=481500 #constraints=16269 480.62/480.87 c nbDecision=482000 #constraints=16280 481.02/481.29 c nbDecision=482500 #constraints=16291 481.52/481.70 c nbDecision=483000 #constraints=16302 481.92/482.10 c nbDecision=483500 #constraints=16313 482.32/482.53 c nbDecision=484000 #constraints=16324 482.72/482.97 c nbDecision=484500 #constraints=16335 483.12/483.39 c nbDecision=485000 #constraints=16346 483.62/483.83 c nbDecision=485500 #constraints=16358 484.02/484.24 c nbDecision=486000 #constraints=16369 484.42/484.65 c nbDecision=486500 #constraints=16379 484.92/485.11 c nbDecision=487000 #constraints=16391 485.32/485.54 c nbDecision=487500 #constraints=16402 485.72/485.94 c nbDecision=488000 #constraints=16413 486.12/486.37 c nbDecision=488500 #constraints=16424 486.62/486.80 c nbDecision=489000 #constraints=16435 487.02/487.23 c nbDecision=489500 #constraints=16446 487.41/487.65 c nbDecision=490000 #constraints=16457 487.81/488.04 c nbDecision=490500 #constraints=16468 490.42/490.64 c nbDecision=491000 #constraints=16544 493.41/493.60 c nbDecision=491500 #constraints=16629 494.91/495.19 c nbDecision=492000 #constraints=16671 495.61/495.84 c nbDecision=492500 #constraints=16685 497.01/497.22 c nbDecision=493000 #constraints=16720 497.41/497.64 c nbDecision=493500 #constraints=16730 497.81/498.08 c nbDecision=494000 #constraints=16740 499.11/499.34 c nbDecision=494500 #constraints=16774 499.51/499.77 c nbDecision=495000 #constraints=16784 500.01/500.22 c nbDecision=495500 #constraints=16794 501.21/501.48 c nbDecision=496000 #constraints=16828 501.61/501.90 c nbDecision=496500 #constraints=16838 502.11/502.34 c nbDecision=497000 #constraints=16848 503.41/503.60 c nbDecision=497500 #constraints=16882 503.81/504.03 c nbDecision=498000 #constraints=16892 504.21/504.48 c nbDecision=498500 #constraints=16902 505.51/505.74 c nbDecision=499000 #constraints=16936 505.91/506.17 c nbDecision=499500 #constraints=16946 506.41/506.62 c nbDecision=500000 #constraints=16956 507.61/507.89 c nbDecision=500500 #constraints=16990 508.11/508.32 c nbDecision=501000 #constraints=17000 508.51/508.77 c nbDecision=501500 #constraints=17010 509.81/510.04 c nbDecision=502000 #constraints=17044 510.21/510.47 c nbDecision=502500 #constraints=17054 510.71/510.92 c nbDecision=503000 #constraints=17064 511.91/512.19 c nbDecision=503500 #constraints=17098 512.41/512.62 c nbDecision=504000 #constraints=17108 512.81/513.08 c nbDecision=504500 #constraints=17118 514.11/514.33 c nbDecision=505000 #constraints=17152 514.51/514.76 c nbDecision=505500 #constraints=17162 515.01/515.20 c nbDecision=506000 #constraints=17172 516.21/516.45 c nbDecision=506500 #constraints=17206 516.61/516.87 c nbDecision=507000 #constraints=17216 517.11/517.32 c nbDecision=507500 #constraints=17226 518.31/518.57 c nbDecision=508000 #constraints=17260 518.70/518.99 c nbDecision=508500 #constraints=17270 519.20/519.44 c nbDecision=509000 #constraints=17280 520.50/520.70 c nbDecision=509500 #constraints=17314 520.90/521.12 c nbDecision=510000 #constraints=17324 521.30/521.57 c nbDecision=510500 #constraints=17334 522.60/522.81 c nbDecision=511000 #constraints=17368 523.00/523.23 c nbDecision=511500 #constraints=17378 523.41/523.68 c nbDecision=512000 #constraints=17388 524.30/524.57 c nbDecision=512500 #constraints=17411 524.70/524.98 c nbDecision=513000 #constraints=17421 525.20/525.44 c nbDecision=513500 #constraints=17432 526.10/526.34 c nbDecision=514000 #constraints=17455 526.60/526.81 c nbDecision=514500 #constraints=17466 527.40/527.66 c nbDecision=515000 #constraints=17489 527.90/528.10 c nbDecision=515500 #constraints=17499 528.30/528.57 c nbDecision=516000 #constraints=17510 529.20/529.45 c nbDecision=516500 #constraints=17533 529.70/529.90 c nbDecision=517000 #constraints=17544 530.10/530.33 c nbDecision=517500 #constraints=17554 531.00/531.23 c nbDecision=518000 #constraints=17577 531.40/531.69 c nbDecision=518500 #constraints=17588 532.11/532.33 c nbDecision=519000 #constraints=17604 532.80/533.03 c nbDecision=519500 #constraints=17622 533.21/533.46 c nbDecision=520000 #constraints=17632 534.10/534.33 c nbDecision=520500 #constraints=17655 534.50/534.77 c nbDecision=521000 #constraints=17666 535.00/535.22 c nbDecision=521500 #constraints=17676 535.90/536.14 c nbDecision=522000 #constraints=17700 536.30/536.55 c nbDecision=522500 #constraints=17710 536.70/536.95 c nbDecision=523000 #constraints=17720 537.60/537.89 c nbDecision=523500 #constraints=17744 538.10/538.32 c nbDecision=524000 #constraints=17754 539.00/539.22 c nbDecision=524500 #constraints=17778 539.40/539.64 c nbDecision=525000 #constraints=17788 539.90/540.11 c nbDecision=525500 #constraints=17799 540.70/540.99 c nbDecision=526000 #constraints=17822 541.20/541.45 c nbDecision=526500 #constraints=17833 541.60/541.85 c nbDecision=527000 #constraints=17843 542.50/542.75 c nbDecision=527500 #constraints=17866 543.00/543.22 c nbDecision=528000 #constraints=17877 543.80/544.08 c nbDecision=528500 #constraints=17900 544.30/544.54 c nbDecision=529000 #constraints=17911 544.70/544.98 c nbDecision=529500 #constraints=17921 545.20/545.45 c nbDecision=530000 #constraints=17932 545.70/545.90 c nbDecision=530500 #constraints=17943 546.00/546.30 c nbDecision=531000 #constraints=17953 546.60/546.82 c nbDecision=531500 #constraints=17965 547.00/547.29 c nbDecision=532000 #constraints=17976 547.50/547.75 c nbDecision=532500 #constraints=17987 547.89/548.19 c nbDecision=533000 #constraints=17998 548.39/548.63 c nbDecision=533500 #constraints=18009 548.89/549.16 c nbDecision=534000 #constraints=18021 549.29/549.59 c nbDecision=534500 #constraints=18031 549.80/550.08 c nbDecision=535000 #constraints=18043 550.29/550.53 c nbDecision=535500 #constraints=18054 550.69/550.94 c nbDecision=536000 #constraints=18064 551.19/551.46 c nbDecision=536500 #constraints=18076 551.69/551.93 c nbDecision=537000 #constraints=18087 552.09/552.38 c nbDecision=537500 #constraints=18098 552.59/552.83 c nbDecision=538000 #constraints=18109 553.00/553.28 c nbDecision=538500 #constraints=18120 553.49/553.76 c nbDecision=539000 #constraints=18131 553.99/554.22 c nbDecision=539500 #constraints=18142 554.39/554.67 c nbDecision=540000 #constraints=18153 554.89/555.10 c nbDecision=540500 #constraints=18164 555.30/555.57 c nbDecision=541000 #constraints=18175 555.79/556.08 c nbDecision=541500 #constraints=18187 556.30/556.50 c nbDecision=542000 #constraints=18197 556.69/556.98 c nbDecision=542500 #constraints=18209 557.19/557.42 c nbDecision=543000 #constraints=18220 557.59/557.86 c nbDecision=543500 #constraints=18230 558.09/558.36 c nbDecision=544000 #constraints=18242 558.60/558.82 c nbDecision=544500 #constraints=18253 558.99/559.25 c nbDecision=545000 #constraints=18264 559.49/559.71 c nbDecision=545500 #constraints=18275 559.89/560.18 c nbDecision=546000 #constraints=18286 561.79/562.01 c nbDecision=546500 #constraints=18336 564.49/564.77 c nbDecision=547000 #constraints=18411 567.30/567.55 c nbDecision=547500 #constraints=18486 567.99/568.25 c nbDecision=548000 #constraints=18500 568.79/569.01 c nbDecision=548500 #constraints=18516 569.99/570.24 c nbDecision=549000 #constraints=18549 570.39/570.63 c nbDecision=549500 #constraints=18558 570.89/571.12 c nbDecision=550000 #constraints=18570 572.09/572.35 c nbDecision=550500 #constraints=18603 572.49/572.75 c nbDecision=551000 #constraints=18612 572.99/573.23 c nbDecision=551500 #constraints=18624 574.19/574.46 c nbDecision=552000 #constraints=18657 574.59/574.85 c nbDecision=552500 #constraints=18666 575.09/575.33 c nbDecision=553000 #constraints=18678 576.29/576.55 c nbDecision=553500 #constraints=18711 576.69/576.94 c nbDecision=554000 #constraints=18720 577.19/577.42 c nbDecision=554500 #constraints=18732 578.39/578.63 c nbDecision=555000 #constraints=18765 578.78/579.02 c nbDecision=555500 #constraints=18774 579.28/579.50 c nbDecision=556000 #constraints=18786 580.48/580.72 c nbDecision=556500 #constraints=18819 580.88/581.11 c nbDecision=557000 #constraints=18828 581.28/581.59 c nbDecision=557500 #constraints=18840 582.58/582.81 c nbDecision=558000 #constraints=18873 582.98/583.20 c nbDecision=558500 #constraints=18882 583.38/583.68 c nbDecision=559000 #constraints=18894 584.68/584.91 c nbDecision=559500 #constraints=18927 585.08/585.31 c nbDecision=560000 #constraints=18936 585.48/585.79 c nbDecision=560500 #constraints=18948 586.78/587.02 c nbDecision=561000 #constraints=18981 587.18/587.42 c nbDecision=561500 #constraints=18990 587.68/587.90 c nbDecision=562000 #constraints=19002 588.88/589.13 c nbDecision=562500 #constraints=19035 589.28/589.52 c nbDecision=563000 #constraints=19044 589.78/590.01 c nbDecision=563500 #constraints=19056 590.98/591.24 c nbDecision=564000 #constraints=19089 591.38/591.64 c nbDecision=564500 #constraints=19098 591.88/592.12 c nbDecision=565000 #constraints=19110 593.08/593.35 c nbDecision=565500 #constraints=19143 593.48/593.75 c nbDecision=566000 #constraints=19152 593.98/594.23 c nbDecision=566500 #constraints=19164 595.18/595.46 c nbDecision=567000 #constraints=19197 595.58/595.85 c nbDecision=567500 #constraints=19206 595.99/596.29 c nbDecision=568000 #constraints=19217 596.88/597.17 c nbDecision=568500 #constraints=19240 597.38/597.60 c nbDecision=569000 #constraints=19250 598.18/598.45 c nbDecision=569500 #constraints=19273 598.58/598.89 c nbDecision=570000 #constraints=19284 599.08/599.33 c nbDecision=570500 #constraints=19294 599.98/600.24 c nbDecision=571000 #constraints=19318 600.38/600.65 c nbDecision=571500 #constraints=19328 600.78/601.04 c nbDecision=572000 #constraints=19338 601.68/601.97 c nbDecision=572500 #constraints=19362 602.18/602.40 c nbDecision=573000 #constraints=19372 602.98/603.29 c nbDecision=573500 #constraints=19396 603.48/603.70 c nbDecision=574000 #constraints=19406 603.88/604.14 c nbDecision=574500 #constraints=19416 604.78/605.05 c nbDecision=575000 #constraints=19440 605.18/605.46 c nbDecision=575500 #constraints=19450 605.57/605.89 c nbDecision=576000 #constraints=19461 606.47/606.79 c nbDecision=576500 #constraints=19484 606.98/607.25 c nbDecision=577000 #constraints=19495 607.87/608.10 c nbDecision=577500 #constraints=19518 608.27/608.55 c nbDecision=578000 #constraints=19529 608.67/608.99 c nbDecision=578500 #constraints=19539 609.57/609.86 c nbDecision=579000 #constraints=19562 610.07/610.31 c nbDecision=579500 #constraints=19573 610.47/610.72 c nbDecision=580000 #constraints=19583 611.38/611.65 c nbDecision=580500 #constraints=19607 611.77/612.07 c nbDecision=581000 #constraints=19617 612.67/612.91 c nbDecision=581500 #constraints=19640 613.07/613.38 c nbDecision=582000 #constraints=19651 613.58/613.82 c nbDecision=582500 #constraints=19661 614.47/614.71 c nbDecision=583000 #constraints=19685 614.87/615.11 c nbDecision=583500 #constraints=19695 615.27/615.54 c nbDecision=584000 #constraints=19705 616.17/616.45 c nbDecision=584500 #constraints=19729 616.57/616.87 c nbDecision=585000 #constraints=19739 617.07/617.31 c nbDecision=585500 #constraints=19750 617.47/617.77 c nbDecision=586000 #constraints=19761 617.97/618.23 c nbDecision=586500 #constraints=19772 618.47/618.70 c nbDecision=587000 #constraints=19783 618.87/619.14 c nbDecision=587500 #constraints=19794 619.27/619.59 c nbDecision=588000 #constraints=19806 619.77/620.08 c nbDecision=588500 #constraints=19817 620.27/620.51 c nbDecision=589000 #constraints=19827 620.77/621.00 c nbDecision=589500 #constraints=19839 621.17/621.45 c nbDecision=590000 #constraints=19850 621.57/621.84 c nbDecision=590500 #constraints=19860 622.07/622.36 c nbDecision=591000 #constraints=19872 622.57/622.82 c nbDecision=591500 #constraints=19883 622.97/623.27 c nbDecision=592000 #constraints=19894 623.47/623.72 c nbDecision=592500 #constraints=19905 623.87/624.15 c nbDecision=593000 #constraints=19916 624.37/624.64 c nbDecision=593500 #constraints=19927 624.86/625.10 c nbDecision=594000 #constraints=19938 625.26/625.55 c nbDecision=594500 #constraints=19949 625.67/625.99 c nbDecision=595000 #constraints=19960 626.16/626.44 c nbDecision=595500 #constraints=19971 626.67/626.92 c nbDecision=596000 #constraints=19982 627.06/627.38 c nbDecision=596500 #constraints=19993 627.56/627.83 c nbDecision=597000 #constraints=20004 628.06/628.31 c nbDecision=597500 #constraints=20016 628.46/628.73 c nbDecision=598000 #constraints=20026 628.97/629.24 c nbDecision=598500 #constraints=20038 629.47/629.70 c nbDecision=599000 #constraints=20049 629.87/630.14 c nbDecision=599500 #constraints=20060 630.27/630.58 c nbDecision=600000 #constraints=20071 630.77/631.02 c nbDecision=600500 #constraints=20081 631.27/631.53 c nbDecision=601000 #constraints=20093 631.67/631.98 c nbDecision=601500 #constraints=20104 632.57/632.82 c nbDecision=602000 #constraints=20126 635.37/635.67 c nbDecision=602500 #constraints=20204 638.17/638.42 c nbDecision=603000 #constraints=20279 639.67/639.94 c nbDecision=603500 #constraints=20317 640.36/640.69 c nbDecision=604000 #constraints=20331 641.76/642.08 c nbDecision=604500 #constraints=20367 642.17/642.49 c nbDecision=605000 #constraints=20377 642.66/642.95 c nbDecision=605500 #constraints=20387 643.96/644.21 c nbDecision=606000 #constraints=20421 644.37/644.62 c nbDecision=606500 #constraints=20431 644.76/645.08 c nbDecision=607000 #constraints=20441 646.06/646.34 c nbDecision=607500 #constraints=20475 646.47/646.75 c nbDecision=608000 #constraints=20485 646.96/647.21 c nbDecision=608500 #constraints=20495 648.16/648.48 c nbDecision=609000 #constraints=20529 648.56/648.89 c nbDecision=609500 #constraints=20539 649.06/649.35 c nbDecision=610000 #constraints=20549 650.36/650.62 c nbDecision=610500 #constraints=20583 650.76/651.03 c nbDecision=611000 #constraints=20593 651.16/651.49 c nbDecision=611500 #constraints=20603 652.46/652.76 c nbDecision=612000 #constraints=20637 652.86/653.17 c nbDecision=612500 #constraints=20647 653.36/653.63 c nbDecision=613000 #constraints=20657 654.56/654.89 c nbDecision=613500 #constraints=20691 655.06/655.30 c nbDecision=614000 #constraints=20701 655.46/655.76 c nbDecision=614500 #constraints=20711 656.76/657.02 c nbDecision=615000 #constraints=20745 657.16/657.43 c nbDecision=615500 #constraints=20755 657.56/657.89 c nbDecision=616000 #constraints=20765 658.85/659.15 c nbDecision=616500 #constraints=20799 659.25/659.56 c nbDecision=617000 #constraints=20809 659.76/660.02 c nbDecision=617500 #constraints=20819 660.95/661.28 c nbDecision=618000 #constraints=20853 661.35/661.69 c nbDecision=618500 #constraints=20863 661.86/662.15 c nbDecision=619000 #constraints=20873 663.15/663.41 c nbDecision=619500 #constraints=20907 663.55/663.82 c nbDecision=620000 #constraints=20917 663.95/664.29 c nbDecision=620500 #constraints=20927 665.25/665.56 c nbDecision=621000 #constraints=20961 665.65/665.98 c nbDecision=621500 #constraints=20971 666.15/666.44 c nbDecision=622000 #constraints=20981 667.45/667.71 c nbDecision=622500 #constraints=21015 667.85/668.12 c nbDecision=623000 #constraints=21025 668.25/668.58 c nbDecision=623500 #constraints=21035 669.15/669.49 c nbDecision=624000 #constraints=21058 669.65/669.91 c nbDecision=624500 #constraints=21068 670.05/670.33 c nbDecision=625000 #constraints=21078 670.96/671.29 c nbDecision=625500 #constraints=21102 671.45/671.72 c nbDecision=626000 #constraints=21112 672.35/672.64 c nbDecision=626500 #constraints=21136 672.75/673.07 c nbDecision=627000 #constraints=21146 673.25/673.55 c nbDecision=627500 #constraints=21157 674.15/674.45 c nbDecision=628000 #constraints=21180 674.65/674.90 c nbDecision=628500 #constraints=21191 675.06/675.32 c nbDecision=629000 #constraints=21201 675.95/676.24 c nbDecision=629500 #constraints=21224 676.45/676.70 c nbDecision=630000 #constraints=21235 677.26/677.56 c nbDecision=630500 #constraints=21258 677.75/678.04 c nbDecision=631000 #constraints=21269 678.15/678.48 c nbDecision=631500 #constraints=21279 679.05/679.36 c nbDecision=632000 #constraints=21302 679.55/679.81 c nbDecision=632500 #constraints=21313 679.95/680.25 c nbDecision=633000 #constraints=21323 680.85/681.19 c nbDecision=633500 #constraints=21347 681.35/681.62 c nbDecision=634000 #constraints=21357 682.15/682.43 c nbDecision=634500 #constraints=21378 682.65/682.97 c nbDecision=635000 #constraints=21391 683.15/683.41 c nbDecision=635500 #constraints=21401 684.05/684.33 c nbDecision=636000 #constraints=21425 684.45/684.74 c nbDecision=636500 #constraints=21435 684.95/685.23 c nbDecision=637000 #constraints=21446 685.85/686.15 c nbDecision=637500 #constraints=21469 686.25/686.57 c nbDecision=638000 #constraints=21479 686.65/686.97 c nbDecision=638500 #constraints=21489 687.65/687.94 c nbDecision=639000 #constraints=21513 688.15/688.42 c nbDecision=639500 #constraints=21524 688.95/689.29 c nbDecision=640000 #constraints=21547 689.45/689.74 c nbDecision=640500 #constraints=21558 689.95/690.20 c nbDecision=641000 #constraints=21568 690.35/690.70 c nbDecision=641500 #constraints=21579 690.85/691.16 c nbDecision=642000 #constraints=21590 691.35/691.62 c nbDecision=642500 #constraints=21601 691.75/692.10 c nbDecision=643000 #constraints=21612 692.25/692.58 c nbDecision=643500 #constraints=21623 692.75/693.06 c nbDecision=644000 #constraints=21634 693.24/693.52 c nbDecision=644500 #constraints=21645 693.75/694.01 c nbDecision=645000 #constraints=21657 694.14/694.49 c nbDecision=645500 #constraints=21668 694.64/694.94 c nbDecision=646000 #constraints=21678 695.14/695.45 c nbDecision=646500 #constraints=21690 695.64/695.91 c nbDecision=647000 #constraints=21701 696.05/696.30 c nbDecision=647500 #constraints=21711 696.54/696.84 c nbDecision=648000 #constraints=21723 697.05/697.32 c nbDecision=648500 #constraints=21734 697.44/697.79 c nbDecision=649000 #constraints=21745 697.94/698.24 c nbDecision=649500 #constraints=21756 698.34/698.69 c nbDecision=650000 #constraints=21767 698.84/699.19 c nbDecision=650500 #constraints=21778 699.35/699.67 c nbDecision=651000 #constraints=21789 699.84/700.13 c nbDecision=651500 #constraints=21800 700.24/700.58 c nbDecision=652000 #constraints=21811 700.74/701.05 c nbDecision=652500 #constraints=21822 701.24/701.54 c nbDecision=653000 #constraints=21833 701.74/702.02 c nbDecision=653500 #constraints=21844 702.24/702.51 c nbDecision=654000 #constraints=21856 702.64/702.96 c nbDecision=654500 #constraints=21867 703.14/703.40 c nbDecision=655000 #constraints=21877 703.64/703.93 c nbDecision=655500 #constraints=21889 704.14/704.41 c nbDecision=656000 #constraints=21900 704.54/704.87 c nbDecision=656500 #constraints=21911 705.04/705.32 c nbDecision=657000 #constraints=21922 705.54/705.81 c nbDecision=657500 #constraints=21933 707.54/707.87 c nbDecision=658000 #constraints=21985 710.73/711.09 c nbDecision=658500 #constraints=22070 713.24/713.58 c nbDecision=659000 #constraints=22134 714.04/714.35 c nbDecision=659500 #constraints=22148 715.24/715.56 c nbDecision=660000 #constraints=22175 716.04/716.39 c nbDecision=660500 #constraints=22195 716.54/716.84 c nbDecision=661000 #constraints=22205 717.44/717.75 c nbDecision=661500 #constraints=22229 718.24/718.58 c nbDecision=662000 #constraints=22249 718.74/719.03 c nbDecision=662500 #constraints=22259 719.64/719.94 c nbDecision=663000 #constraints=22283 720.44/720.77 c nbDecision=663500 #constraints=22303 720.94/721.22 c nbDecision=664000 #constraints=22313 721.84/722.14 c nbDecision=664500 #constraints=22337 722.64/722.97 c nbDecision=665000 #constraints=22357 723.14/723.42 c nbDecision=665500 #constraints=22367 724.03/724.34 c nbDecision=666000 #constraints=22391 724.83/725.18 c nbDecision=666500 #constraints=22411 725.33/725.64 c nbDecision=667000 #constraints=22421 726.23/726.56 c nbDecision=667500 #constraints=22445 727.13/727.41 c nbDecision=668000 #constraints=22465 727.53/727.86 c nbDecision=668500 #constraints=22475 728.43/728.78 c nbDecision=669000 #constraints=22499 729.33/729.63 c nbDecision=669500 #constraints=22519 729.73/730.08 c nbDecision=670000 #constraints=22529 730.63/731.00 c nbDecision=670500 #constraints=22553 731.53/731.84 c nbDecision=671000 #constraints=22573 731.93/732.29 c nbDecision=671500 #constraints=22583 732.93/733.21 c nbDecision=672000 #constraints=22607 733.73/734.05 c nbDecision=672500 #constraints=22627 734.23/734.50 c nbDecision=673000 #constraints=22637 735.13/735.42 c nbDecision=673500 #constraints=22661 735.93/736.25 c nbDecision=674000 #constraints=22681 736.43/736.70 c nbDecision=674500 #constraints=22691 737.33/737.62 c nbDecision=675000 #constraints=22715 738.13/738.46 c nbDecision=675500 #constraints=22735 738.63/738.91 c nbDecision=676000 #constraints=22745 739.53/739.83 c nbDecision=676500 #constraints=22769 740.33/740.66 c nbDecision=677000 #constraints=22789 740.83/741.11 c nbDecision=677500 #constraints=22799 741.73/742.03 c nbDecision=678000 #constraints=22823 742.53/742.87 c nbDecision=678500 #constraints=22843 743.03/743.33 c nbDecision=679000 #constraints=22853 743.93/744.23 c nbDecision=679500 #constraints=22876 744.43/744.73 c nbDecision=680000 #constraints=22887 744.83/745.19 c nbDecision=680500 #constraints=22897 745.82/746.12 c nbDecision=681000 #constraints=22920 746.22/746.59 c nbDecision=681500 #constraints=22931 746.72/747.04 c nbDecision=682000 #constraints=22941 747.73/748.03 c nbDecision=682500 #constraints=22965 748.13/748.48 c nbDecision=683000 #constraints=22975 748.83/749.15 c nbDecision=683500 #constraints=22991 749.53/749.89 c nbDecision=684000 #constraints=23009 750.03/750.35 c nbDecision=684500 #constraints=23019 751.03/751.31 c nbDecision=685000 #constraints=23043 751.43/751.73 c nbDecision=685500 #constraints=23053 751.93/752.20 c nbDecision=686000 #constraints=23063 752.83/753.18 c nbDecision=686500 #constraints=23087 753.33/753.62 c nbDecision=687000 #constraints=23097 753.73/754.04 c nbDecision=687500 #constraints=23107 754.73/755.04 c nbDecision=688000 #constraints=23131 755.13/755.49 c nbDecision=688500 #constraints=23141 756.13/756.43 c nbDecision=689000 #constraints=23165 756.53/756.87 c nbDecision=689500 #constraints=23175 757.03/757.37 c nbDecision=690000 #constraints=23186 758.03/758.30 c nbDecision=690500 #constraints=23209 758.43/758.78 c nbDecision=691000 #constraints=23220 758.83/759.19 c nbDecision=691500 #constraints=23230 759.83/760.15 c nbDecision=692000 #constraints=23253 760.33/760.64 c nbDecision=692500 #constraints=23264 761.23/761.54 c nbDecision=693000 #constraints=23287 761.73/762.02 c nbDecision=693500 #constraints=23298 762.13/762.48 c nbDecision=694000 #constraints=23308 763.13/763.40 c nbDecision=694500 #constraints=23331 763.53/763.88 c nbDecision=695000 #constraints=23342 764.03/764.31 c nbDecision=695500 #constraints=23352 765.03/765.31 c nbDecision=696000 #constraints=23376 765.43/765.76 c nbDecision=696500 #constraints=23386 765.93/766.24 c nbDecision=697000 #constraints=23397 766.43/766.72 c nbDecision=697500 #constraints=23408 766.92/767.22 c nbDecision=698000 #constraints=23419 767.43/767.73 c nbDecision=698500 #constraints=23430 767.92/768.21 c nbDecision=699000 #constraints=23441 768.32/768.68 c nbDecision=699500 #constraints=23452 768.82/769.18 c nbDecision=700000 #constraints=23463 769.32/769.68 c nbDecision=700500 #constraints=23474 769.92/770.22 c nbDecision=701000 #constraints=23486 770.32/770.66 c nbDecision=701500 #constraints=23496 770.82/771.17 c nbDecision=702000 #constraints=23508 771.32/771.67 c nbDecision=702500 #constraints=23519 771.82/772.13 c nbDecision=703000 #constraints=23529 772.32/772.67 c nbDecision=703500 #constraints=23541 772.82/773.15 c nbDecision=704000 #constraints=23552 773.22/773.56 c nbDecision=704500 #constraints=23562 773.82/774.12 c nbDecision=705000 #constraints=23574 774.32/774.62 c nbDecision=705500 #constraints=23585 774.82/775.10 c nbDecision=706000 #constraints=23596 775.22/775.57 c nbDecision=706500 #constraints=23607 775.72/776.03 c nbDecision=707000 #constraints=23618 776.22/776.56 c nbDecision=707500 #constraints=23629 776.72/777.05 c nbDecision=708000 #constraints=23640 777.22/777.53 c nbDecision=708500 #constraints=23651 777.61/778.00 c nbDecision=709000 #constraints=23662 778.11/778.48 c nbDecision=709500 #constraints=23673 778.71/779.03 c nbDecision=710000 #constraints=23685 779.11/779.48 c nbDecision=710500 #constraints=23695 779.72/780.00 c nbDecision=711000 #constraints=23707 780.12/780.47 c nbDecision=711500 #constraints=23718 780.63/780.92 c nbDecision=712000 #constraints=23728 781.12/781.46 c nbDecision=712500 #constraints=23740 781.62/781.95 c nbDecision=713000 #constraints=23751 782.62/782.90 c nbDecision=713500 #constraints=23775 785.62/785.91 c nbDecision=714000 #constraints=23850 788.82/789.19 c nbDecision=714500 #constraints=23930 790.42/790.71 c nbDecision=715000 #constraints=23965 791.22/791.50 c nbDecision=715500 #constraints=23979 792.72/793.01 c nbDecision=716000 #constraints=24014 793.12/793.45 c nbDecision=716500 #constraints=24024 793.52/793.89 c nbDecision=717000 #constraints=24033 794.92/795.28 c nbDecision=717500 #constraints=24068 795.42/795.72 c nbDecision=718000 #constraints=24078 795.82/796.16 c nbDecision=718500 #constraints=24087 797.22/797.55 c nbDecision=719000 #constraints=24122 797.62/797.99 c nbDecision=719500 #constraints=24132 798.12/798.43 c nbDecision=720000 #constraints=24141 799.51/799.82 c nbDecision=720500 #constraints=24176 799.91/800.26 c nbDecision=721000 #constraints=24186 800.42/800.70 c nbDecision=721500 #constraints=24195 801.81/802.10 c nbDecision=722000 #constraints=24230 802.21/802.54 c nbDecision=722500 #constraints=24240 802.62/802.98 c nbDecision=723000 #constraints=24249 804.01/804.38 c nbDecision=723500 #constraints=24284 804.51/804.82 c nbDecision=724000 #constraints=24294 804.91/805.27 c nbDecision=724500 #constraints=24303 806.31/806.67 c nbDecision=725000 #constraints=24338 806.81/807.11 c nbDecision=725500 #constraints=24348 807.21/807.56 c nbDecision=726000 #constraints=24357 808.61/808.96 c nbDecision=726500 #constraints=24392 809.11/809.40 c nbDecision=727000 #constraints=24402 809.51/809.85 c nbDecision=727500 #constraints=24411 810.91/811.25 c nbDecision=728000 #constraints=24446 811.31/811.70 c nbDecision=728500 #constraints=24456 811.81/812.14 c nbDecision=729000 #constraints=24465 813.20/813.55 c nbDecision=729500 #constraints=24500 813.61/813.99 c nbDecision=730000 #constraints=24510 814.10/814.43 c nbDecision=730500 #constraints=24519 815.50/815.83 c nbDecision=731000 #constraints=24554 815.91/816.28 c nbDecision=731500 #constraints=24564 816.40/816.72 c nbDecision=732000 #constraints=24573 817.80/818.12 c nbDecision=732500 #constraints=24608 818.20/818.56 c nbDecision=733000 #constraints=24618 818.70/819.00 c nbDecision=733500 #constraints=24627 820.10/820.40 c nbDecision=734000 #constraints=24662 820.50/820.84 c nbDecision=734500 #constraints=24672 820.91/821.28 c nbDecision=735000 #constraints=24681 822.01/822.30 c nbDecision=735500 #constraints=24705 822.41/822.75 c nbDecision=736000 #constraints=24715 822.81/823.17 c nbDecision=736500 #constraints=24725 823.91/824.21 c nbDecision=737000 #constraints=24749 824.31/824.68 c nbDecision=737500 #constraints=24759 825.31/825.67 c nbDecision=738000 #constraints=24783 825.81/826.12 c nbDecision=738500 #constraints=24793 826.31/826.61 c nbDecision=739000 #constraints=24803 827.31/827.62 c nbDecision=739500 #constraints=24827 827.71/828.06 c nbDecision=740000 #constraints=24837 828.21/828.54 c nbDecision=740500 #constraints=24848 829.21/829.55 c nbDecision=741000 #constraints=24871 829.71/830.05 c nbDecision=741500 #constraints=24882 830.61/830.99 c nbDecision=742000 #constraints=24905 831.11/831.49 c nbDecision=742500 #constraints=24916 831.61/831.98 c nbDecision=743000 #constraints=24926 832.60/832.95 c nbDecision=743500 #constraints=24949 833.11/833.43 c nbDecision=744000 #constraints=24960 833.51/833.88 c nbDecision=744500 #constraints=24970 834.61/834.91 c nbDecision=745000 #constraints=24994 835.00/835.38 c nbDecision=745500 #constraints=25004 835.90/836.30 c nbDecision=746000 #constraints=25027 836.50/836.81 c nbDecision=746500 #constraints=25038 836.90/837.29 c nbDecision=747000 #constraints=25048 837.90/838.29 c nbDecision=747500 #constraints=25072 838.40/838.72 c nbDecision=748000 #constraints=25082 838.80/839.19 c nbDecision=748500 #constraints=25092 839.90/840.20 c nbDecision=749000 #constraints=25116 840.30/840.66 c nbDecision=749500 #constraints=25126 841.30/841.62 c nbDecision=750000 #constraints=25150 841.80/842.10 c nbDecision=750500 #constraints=25160 842.30/842.61 c nbDecision=751000 #constraints=25171 843.19/843.56 c nbDecision=751500 #constraints=25194 843.69/844.04 c nbDecision=752000 #constraints=25205 844.19/844.52 c nbDecision=752500 #constraints=25215 844.69/845.06 c nbDecision=753000 #constraints=25226 845.19/845.56 c nbDecision=753500 #constraints=25237 845.70/846.05 c nbDecision=754000 #constraints=25248 846.20/846.55 c nbDecision=754500 #constraints=25259 846.71/847.07 c nbDecision=755000 #constraints=25270 847.20/847.59 c nbDecision=755500 #constraints=25281 847.70/848.09 c nbDecision=756000 #constraints=25292 848.20/848.57 c nbDecision=756500 #constraints=25303 848.80/849.12 c nbDecision=757000 #constraints=25315 849.30/849.61 c nbDecision=757500 #constraints=25325 849.80/850.17 c nbDecision=758000 #constraints=25337 850.30/850.66 c nbDecision=758500 #constraints=25348 850.80/851.14 c nbDecision=759000 #constraints=25359 851.30/851.66 c nbDecision=759500 #constraints=25370 851.80/852.18 c nbDecision=760000 #constraints=25381 852.40/852.70 c nbDecision=760500 #constraints=25392 852.80/853.19 c nbDecision=761000 #constraints=25403 853.30/853.62 c nbDecision=761500 #constraints=25413 853.90/854.20 c nbDecision=762000 #constraints=25425 854.40/854.71 c nbDecision=762500 #constraints=25436 854.90/855.21 c nbDecision=763000 #constraints=25447 855.30/855.70 c nbDecision=763500 #constraints=25458 855.80/856.17 c nbDecision=764000 #constraints=25469 856.40/856.72 c nbDecision=764500 #constraints=25480 856.90/857.23 c nbDecision=765000 #constraints=25491 857.40/857.77 c nbDecision=765500 #constraints=25503 857.89/858.25 c nbDecision=766000 #constraints=25514 858.39/858.70 c nbDecision=766500 #constraints=25524 858.90/859.27 c nbDecision=767000 #constraints=25536 859.39/859.78 c nbDecision=767500 #constraints=25547 859.90/860.27 c nbDecision=768000 #constraints=25558 860.39/860.75 c nbDecision=768500 #constraints=25569 860.90/861.22 c nbDecision=769000 #constraints=25579 863.49/863.86 c nbDecision=769500 #constraints=25643 866.59/866.99 c nbDecision=770000 #constraints=25718 869.39/869.75 c nbDecision=770500 #constraints=25782 870.19/870.59 c nbDecision=771000 #constraints=25796 871.79/872.15 c nbDecision=771500 #constraints=25829 872.39/872.75 c nbDecision=772000 #constraints=25842 872.89/873.24 c nbDecision=772500 #constraints=25852 874.19/874.50 c nbDecision=773000 #constraints=25883 874.70/875.09 c nbDecision=773500 #constraints=25896 875.20/875.58 c nbDecision=774000 #constraints=25906 876.49/876.84 c nbDecision=774500 #constraints=25937 877.09/877.43 c nbDecision=775000 #constraints=25950 877.59/877.92 c nbDecision=775500 #constraints=25960 878.79/879.18 c nbDecision=776000 #constraints=25991 879.39/879.78 c nbDecision=776500 #constraints=26004 879.89/880.26 c nbDecision=777000 #constraints=26014 881.19/881.53 c nbDecision=777500 #constraints=26045 881.79/882.13 c nbDecision=778000 #constraints=26058 882.29/882.61 c nbDecision=778500 #constraints=26068 883.49/883.88 c nbDecision=779000 #constraints=26099 884.09/884.48 c nbDecision=779500 #constraints=26112 884.59/884.97 c nbDecision=780000 #constraints=26122 885.89/886.24 c nbDecision=780500 #constraints=26153 886.49/886.84 c nbDecision=781000 #constraints=26166 886.99/887.33 c nbDecision=781500 #constraints=26176 888.29/888.61 c nbDecision=782000 #constraints=26207 888.89/889.21 c nbDecision=782500 #constraints=26220 889.39/889.70 c nbDecision=783000 #constraints=26230 890.59/890.97 c nbDecision=783500 #constraints=26261 891.19/891.58 c nbDecision=784000 #constraints=26274 891.69/892.07 c nbDecision=784500 #constraints=26284 892.99/893.35 c nbDecision=785000 #constraints=26315 893.58/893.95 c nbDecision=785500 #constraints=26328 894.08/894.44 c nbDecision=786000 #constraints=26338 895.38/895.70 c nbDecision=786500 #constraints=26369 895.98/896.30 c nbDecision=787000 #constraints=26382 896.38/896.79 c nbDecision=787500 #constraints=26392 897.68/898.06 c nbDecision=788000 #constraints=26423 898.29/898.66 c nbDecision=788500 #constraints=26436 898.79/899.15 c nbDecision=789000 #constraints=26446 900.09/900.42 c nbDecision=789500 #constraints=26477 900.69/901.02 c nbDecision=790000 #constraints=26490 901.19/901.51 c nbDecision=790500 #constraints=26500 902.08/902.48 c nbDecision=791000 #constraints=26523 902.58/902.95 c nbDecision=791500 #constraints=26533 903.08/903.48 c nbDecision=792000 #constraints=26544 904.08/904.48 c nbDecision=792500 #constraints=26567 904.58/904.98 c nbDecision=793000 #constraints=26578 905.08/905.45 c nbDecision=793500 #constraints=26588 906.09/906.48 c nbDecision=794000 #constraints=26611 906.68/907.00 c nbDecision=794500 #constraints=26622 907.58/907.95 c nbDecision=795000 #constraints=26645 908.08/908.49 c nbDecision=795500 #constraints=26656 908.58/908.98 c nbDecision=796000 #constraints=26666 909.58/909.97 c nbDecision=796500 #constraints=26689 910.08/910.46 c nbDecision=797000 #constraints=26700 910.58/910.95 c nbDecision=797500 #constraints=26710 911.68/912.01 c nbDecision=798000 #constraints=26734 912.08/912.48 c nbDecision=798500 #constraints=26744 912.98/913.39 c nbDecision=799000 #constraints=26765 913.58/913.98 c nbDecision=799500 #constraints=26778 914.07/914.47 c nbDecision=800000 #constraints=26788 915.07/915.49 c nbDecision=800500 #constraints=26812 915.57/915.93 c nbDecision=801000 #constraints=26822 916.07/916.47 c nbDecision=801500 #constraints=26833 917.08/917.48 c nbDecision=802000 #constraints=26856 917.57/917.99 c nbDecision=802500 #constraints=26867 917.97/918.38 c nbDecision=803000 #constraints=26876 919.07/919.45 c nbDecision=803500 #constraints=26900 919.57/919.98 c nbDecision=804000 #constraints=26911 920.57/920.95 c nbDecision=804500 #constraints=26934 921.07/921.43 c nbDecision=805000 #constraints=26945 921.57/921.94 c nbDecision=805500 #constraints=26955 922.58/922.94 c nbDecision=806000 #constraints=26978 923.07/923.45 c nbDecision=806500 #constraints=26989 923.47/923.89 c nbDecision=807000 #constraints=26999 924.57/924.97 c nbDecision=807500 #constraints=27023 925.07/925.46 c nbDecision=808000 #constraints=27033 925.57/925.98 c nbDecision=808500 #constraints=27044 926.07/926.47 c nbDecision=809000 #constraints=27055 926.67/927.01 c nbDecision=809500 #constraints=27066 927.17/927.57 c nbDecision=810000 #constraints=27077 927.67/928.09 c nbDecision=810500 #constraints=27088 928.17/928.59 c nbDecision=811000 #constraints=27099 928.77/929.11 c nbDecision=811500 #constraints=27110 929.27/929.64 c nbDecision=812000 #constraints=27121 929.77/930.19 c nbDecision=812500 #constraints=27132 930.37/930.70 c nbDecision=813000 #constraints=27143 930.87/931.25 c nbDecision=813500 #constraints=27155 931.37/931.77 c nbDecision=814000 #constraints=27166 931.87/932.27 c nbDecision=814500 #constraints=27176 932.47/932.85 c nbDecision=815000 #constraints=27188 932.97/933.36 c nbDecision=815500 #constraints=27199 933.47/933.86 c nbDecision=816000 #constraints=27210 933.97/934.39 c nbDecision=816500 #constraints=27221 934.57/934.92 c nbDecision=817000 #constraints=27232 935.06/935.45 c nbDecision=817500 #constraints=27243 935.56/935.96 c nbDecision=818000 #constraints=27254 935.96/936.39 c nbDecision=818500 #constraints=27264 936.66/937.00 c nbDecision=819000 #constraints=27276 936.87/937.22 c restart after 819201 decisions 937.98/938.32 c nbDecision=819500 #constraints=27283 939.47/939.84 c nbDecision=820000 #constraints=27318 939.97/940.32 c nbDecision=820500 #constraints=27328 940.37/940.72 c nbDecision=821000 #constraints=27337 941.87/942.23 c nbDecision=821500 #constraints=27372 942.37/942.72 c nbDecision=822000 #constraints=27382 942.77/943.11 c nbDecision=822500 #constraints=27391 944.27/944.63 c nbDecision=823000 #constraints=27426 944.77/945.12 c nbDecision=823500 #constraints=27436 945.17/945.52 c nbDecision=824000 #constraints=27445 946.27/946.62 c nbDecision=824500 #constraints=27469 946.77/947.11 c nbDecision=825000 #constraints=27479 947.77/948.14 c nbDecision=825500 #constraints=27503 948.26/948.61 c nbDecision=826000 #constraints=27513 948.76/949.12 c nbDecision=826500 #constraints=27523 949.76/950.19 c nbDecision=827000 #constraints=27547 950.26/950.65 c nbDecision=827500 #constraints=27557 950.76/951.14 c nbDecision=828000 #constraints=27568 951.86/952.21 c nbDecision=828500 #constraints=27591 952.36/952.74 c nbDecision=829000 #constraints=27602 953.36/953.72 c nbDecision=829500 #constraints=27625 953.86/954.24 c nbDecision=830000 #constraints=27636 954.36/954.75 c nbDecision=830500 #constraints=27646 955.36/955.76 c nbDecision=831000 #constraints=27669 955.86/956.26 c nbDecision=831500 #constraints=27680 956.36/956.73 c nbDecision=832000 #constraints=27690 957.46/957.81 c nbDecision=832500 #constraints=27714 957.86/958.30 c nbDecision=833000 #constraints=27724 958.86/959.26 c nbDecision=833500 #constraints=27747 959.46/959.80 c nbDecision=834000 #constraints=27758 959.96/960.31 c nbDecision=834500 #constraints=27768 960.96/961.35 c nbDecision=835000 #constraints=27792 961.46/961.81 c nbDecision=835500 #constraints=27802 961.86/962.30 c nbDecision=836000 #constraints=27812 962.96/963.37 c nbDecision=836500 #constraints=27836 963.46/963.85 c nbDecision=837000 #constraints=27846 964.46/964.87 c nbDecision=837500 #constraints=27870 964.95/965.39 c nbDecision=838000 #constraints=27880 965.46/965.89 c nbDecision=838500 #constraints=27890 966.56/966.93 c nbDecision=839000 #constraints=27914 966.95/967.38 c nbDecision=839500 #constraints=27924 967.56/967.93 c nbDecision=840000 #constraints=27935 968.55/968.97 c nbDecision=840500 #constraints=27958 969.05/969.49 c nbDecision=841000 #constraints=27969 969.55/969.96 c nbDecision=841500 #constraints=27980 970.15/970.51 c nbDecision=842000 #constraints=27990 970.65/971.05 c nbDecision=842500 #constraints=28001 971.25/971.63 c nbDecision=843000 #constraints=28013 971.75/972.15 c nbDecision=843500 #constraints=28024 972.15/972.59 c nbDecision=844000 #constraints=28034 972.85/973.21 c nbDecision=844500 #constraints=28046 973.35/973.75 c nbDecision=845000 #constraints=28057 973.85/974.28 c nbDecision=845500 #constraints=28068 974.35/974.78 c nbDecision=846000 #constraints=28079 974.85/975.27 c nbDecision=846500 #constraints=28090 975.45/975.86 c nbDecision=847000 #constraints=28101 975.95/976.39 c nbDecision=847500 #constraints=28112 976.55/976.91 c nbDecision=848000 #constraints=28123 977.05/977.41 c nbDecision=848500 #constraints=28134 977.55/977.93 c nbDecision=849000 #constraints=28145 978.15/978.50 c nbDecision=849500 #constraints=28156 978.65/979.03 c nbDecision=850000 #constraints=28167 979.15/979.54 c nbDecision=850500 #constraints=28178 979.65/980.08 c nbDecision=851000 #constraints=28190 980.15/980.57 c nbDecision=851500 #constraints=28200 980.75/981.17 c nbDecision=852000 #constraints=28212 981.25/981.65 c nbDecision=852500 #constraints=28222 981.85/982.20 c nbDecision=853000 #constraints=28234 982.25/982.70 c nbDecision=853500 #constraints=28245 982.85/983.21 c nbDecision=854000 #constraints=28255 983.45/983.80 c nbDecision=854500 #constraints=28267 983.95/984.32 c nbDecision=855000 #constraints=28278 984.45/984.83 c nbDecision=855500 #constraints=28289 984.95/985.35 c nbDecision=856000 #constraints=28300 985.55/985.90 c nbDecision=856500 #constraints=28311 986.05/986.45 c nbDecision=857000 #constraints=28322 986.55/986.97 c nbDecision=857500 #constraints=28333 987.05/987.44 c nbDecision=858000 #constraints=28344 990.65/991.07 c nbDecision=858500 #constraints=28424 994.25/994.65 c nbDecision=859000 #constraints=28507 996.15/996.57 c nbDecision=859500 #constraints=28547 997.04/997.45 c nbDecision=860000 #constraints=28561 998.74/999.13 c nbDecision=860500 #constraints=28596 999.24/999.61 c nbDecision=861000 #constraints=28606 999.74/1000.14 c nbDecision=861500 #constraints=28616 1001.14/1001.59 c nbDecision=862000 #constraints=28650 1001.65/1002.07 c nbDecision=862500 #constraints=28660 1002.24/1002.60 c nbDecision=863000 #constraints=28670 1003.64/1004.05 c nbDecision=863500 #constraints=28704 1004.14/1004.54 c nbDecision=864000 #constraints=28714 1004.64/1005.07 c nbDecision=864500 #constraints=28724 1006.14/1006.53 c nbDecision=865000 #constraints=28758 1006.64/1007.02 c nbDecision=865500 #constraints=28768 1007.14/1007.55 c nbDecision=866000 #constraints=28778 1008.65/1009.02 c nbDecision=866500 #constraints=28812 1009.15/1009.51 c nbDecision=867000 #constraints=28822 1009.65/1010.04 c nbDecision=867500 #constraints=28832 1011.14/1011.51 c nbDecision=868000 #constraints=28866 1011.55/1011.99 c nbDecision=868500 #constraints=28876 1012.14/1012.53 c nbDecision=869000 #constraints=28886 1013.54/1013.99 c nbDecision=869500 #constraints=28920 1014.04/1014.48 c nbDecision=870000 #constraints=28930 1014.64/1015.01 c nbDecision=870500 #constraints=28940 1016.04/1016.46 c nbDecision=871000 #constraints=28974 1016.54/1016.95 c nbDecision=871500 #constraints=28984 1017.04/1017.48 c nbDecision=872000 #constraints=28994 1018.54/1018.93 c nbDecision=872500 #constraints=29028 1019.04/1019.42 c nbDecision=873000 #constraints=29038 1019.54/1019.95 c nbDecision=873500 #constraints=29048 1021.04/1021.40 c nbDecision=874000 #constraints=29082 1021.44/1021.89 c nbDecision=874500 #constraints=29092 1022.04/1022.42 c nbDecision=875000 #constraints=29102 1023.44/1023.88 c nbDecision=875500 #constraints=29136 1023.94/1024.37 c nbDecision=876000 #constraints=29146 1024.54/1024.90 c nbDecision=876500 #constraints=29156 1025.94/1026.37 c nbDecision=877000 #constraints=29190 1026.43/1026.86 c nbDecision=877500 #constraints=29200 1026.94/1027.39 c nbDecision=878000 #constraints=29210 1028.43/1028.86 c nbDecision=878500 #constraints=29244 1028.93/1029.35 c nbDecision=879000 #constraints=29254 1029.43/1029.89 c nbDecision=879500 #constraints=29264 1030.53/1030.95 c nbDecision=880000 #constraints=29287 1031.03/1031.47 c nbDecision=880500 #constraints=29298 1031.53/1031.96 c nbDecision=881000 #constraints=29308 1032.63/1033.05 c nbDecision=881500 #constraints=29331 1033.13/1033.59 c nbDecision=882000 #constraints=29342 1034.13/1034.59 c nbDecision=882500 #constraints=29365 1034.73/1035.14 c nbDecision=883000 #constraints=29376 1035.23/1035.66 c nbDecision=883500 #constraints=29386 1036.23/1036.69 c nbDecision=884000 #constraints=29409 1036.83/1037.21 c nbDecision=884500 #constraints=29420 1037.33/1037.71 c nbDecision=885000 #constraints=29430 1038.43/1038.82 c nbDecision=885500 #constraints=29454 1038.94/1039.31 c nbDecision=886000 #constraints=29464 1039.83/1040.23 c nbDecision=886500 #constraints=29484 1040.43/1040.88 c nbDecision=887000 #constraints=29498 1040.93/1041.39 c nbDecision=887500 #constraints=29508 1042.03/1042.46 c nbDecision=888000 #constraints=29532 1042.53/1042.92 c nbDecision=888500 #constraints=29542 1043.03/1043.45 c nbDecision=889000 #constraints=29552 1044.13/1044.56 c nbDecision=889500 #constraints=29576 1044.64/1045.05 c nbDecision=890000 #constraints=29586 1045.13/1045.50 c nbDecision=890500 #constraints=29596 1046.23/1046.64 c nbDecision=891000 #constraints=29620 1046.74/1047.20 c nbDecision=891500 #constraints=29631 1047.83/1048.22 c nbDecision=892000 #constraints=29654 1048.33/1048.74 c nbDecision=892500 #constraints=29665 1048.83/1049.27 c nbDecision=893000 #constraints=29675 1049.93/1050.34 c nbDecision=893500 #constraints=29698 1050.43/1050.87 c nbDecision=894000 #constraints=29709 1050.93/1051.32 c nbDecision=894500 #constraints=29719 1052.03/1052.46 c nbDecision=895000 #constraints=29743 1052.53/1052.97 c nbDecision=895500 #constraints=29753 1053.53/1053.98 c nbDecision=896000 #constraints=29776 1054.13/1054.51 c nbDecision=896500 #constraints=29787 1054.63/1055.04 c nbDecision=897000 #constraints=29797 1055.23/1055.61 c nbDecision=897500 #constraints=29808 1055.73/1056.13 c nbDecision=898000 #constraints=29819 1056.23/1056.66 c nbDecision=898500 #constraints=29831 1056.83/1057.25 c nbDecision=899000 #constraints=29842 1057.33/1057.77 c nbDecision=899500 #constraints=29852 1057.93/1058.37 c nbDecision=900000 #constraints=29864 1058.43/1058.89 c nbDecision=900500 #constraints=29875 1058.93/1059.34 c nbDecision=901000 #constraints=29885 1059.52/1059.98 c nbDecision=901500 #constraints=29897 1060.12/1060.53 c nbDecision=902000 #constraints=29908 1060.62/1061.08 c nbDecision=902500 #constraints=29919 1061.22/1061.60 c nbDecision=903000 #constraints=29930 1061.72/1062.10 c nbDecision=903500 #constraints=29941 1062.32/1062.71 c nbDecision=904000 #constraints=29952 1062.82/1063.26 c nbDecision=904500 #constraints=29963 1063.33/1063.79 c nbDecision=905000 #constraints=29974 1063.92/1064.31 c nbDecision=905500 #constraints=29985 1064.43/1064.85 c nbDecision=906000 #constraints=29996 1065.02/1065.44 c nbDecision=906500 #constraints=30007 1065.53/1065.99 c nbDecision=907000 #constraints=30018 1066.12/1066.57 c nbDecision=907500 #constraints=30030 1066.62/1067.09 c nbDecision=908000 #constraints=30041 1067.22/1067.60 c nbDecision=908500 #constraints=30051 1067.82/1068.22 c nbDecision=909000 #constraints=30063 1068.32/1068.77 c nbDecision=909500 #constraints=30074 1068.92/1069.30 c nbDecision=910000 #constraints=30085 1069.42/1069.81 c nbDecision=910500 #constraints=30096 1069.92/1070.38 c nbDecision=911000 #constraints=30107 1070.52/1070.96 c nbDecision=911500 #constraints=30118 1071.12/1071.50 c nbDecision=912000 #constraints=30129 1071.62/1072.02 c nbDecision=912500 #constraints=30140 1072.12/1072.56 c nbDecision=913000 #constraints=30151 1072.72/1073.13 c nbDecision=913500 #constraints=30162 1074.92/1075.39 c nbDecision=914000 #constraints=30212 1078.31/1078.79 c nbDecision=914500 #constraints=30287 1081.81/1082.25 c nbDecision=915000 #constraints=30362 1082.81/1083.26 c nbDecision=915500 #constraints=30378 1083.91/1084.36 c nbDecision=916000 #constraints=30395 1085.32/1085.72 c nbDecision=916500 #constraints=30425 1085.71/1086.19 c nbDecision=917000 #constraints=30434 1086.51/1086.91 c nbDecision=917500 #constraints=30449 1087.82/1088.27 c nbDecision=918000 #constraints=30479 1088.32/1088.74 c nbDecision=918500 #constraints=30488 1089.02/1089.46 c nbDecision=919000 #constraints=30503 1090.42/1090.83 c nbDecision=919500 #constraints=30533 1090.82/1091.29 c nbDecision=920000 #constraints=30542 1091.62/1092.02 c nbDecision=920500 #constraints=30557 1092.92/1093.38 c nbDecision=921000 #constraints=30587 1093.42/1093.85 c nbDecision=921500 #constraints=30596 1094.12/1094.57 c nbDecision=922000 #constraints=30611 1095.52/1095.92 c nbDecision=922500 #constraints=30641 1095.92/1096.39 c nbDecision=923000 #constraints=30650 1096.72/1097.11 c nbDecision=923500 #constraints=30665 1098.02/1098.46 c nbDecision=924000 #constraints=30695 1098.52/1098.92 c nbDecision=924500 #constraints=30704 1099.22/1099.64 c nbDecision=925000 #constraints=30719 1100.52/1101.00 c nbDecision=925500 #constraints=30749 1101.01/1101.46 c nbDecision=926000 #constraints=30758 1101.72/1102.18 c nbDecision=926500 #constraints=30773 1103.11/1103.54 c nbDecision=927000 #constraints=30803 1103.61/1104.01 c nbDecision=927500 #constraints=30812 1104.31/1104.73 c nbDecision=928000 #constraints=30827 1105.71/1106.10 c nbDecision=928500 #constraints=30857 1106.12/1106.57 c nbDecision=929000 #constraints=30866 1106.81/1107.29 c nbDecision=929500 #constraints=30881 1108.21/1108.66 c nbDecision=930000 #constraints=30911 1108.71/1109.13 c nbDecision=930500 #constraints=30920 1109.41/1109.85 c nbDecision=931000 #constraints=30935 1110.81/1111.22 c nbDecision=931500 #constraints=30965 1111.21/1111.70 c nbDecision=932000 #constraints=30974 1112.01/1112.42 c nbDecision=932500 #constraints=30989 1113.31/1113.79 c nbDecision=933000 #constraints=31019 1113.81/1114.26 c nbDecision=933500 #constraints=31028 1114.51/1114.97 c nbDecision=934000 #constraints=31043 1115.91/1116.34 c nbDecision=934500 #constraints=31073 1116.41/1116.80 c nbDecision=935000 #constraints=31082 1117.11/1117.60 c nbDecision=935500 #constraints=31098 1118.01/1118.43 c nbDecision=936000 #constraints=31116 1118.51/1118.96 c nbDecision=936500 #constraints=31126 1119.60/1120.01 c nbDecision=937000 #constraints=31149 1120.10/1120.53 c nbDecision=937500 #constraints=31160 1120.60/1121.08 c nbDecision=938000 #constraints=31170 1121.80/1122.21 c nbDecision=938500 #constraints=31194 1122.30/1122.71 c nbDecision=939000 #constraints=31204 1122.71/1123.17 c nbDecision=939500 #constraints=31214 1123.90/1124.35 c nbDecision=940000 #constraints=31238 1124.40/1124.87 c nbDecision=940500 #constraints=31248 1125.50/1125.97 c nbDecision=941000 #constraints=31272 1126.01/1126.46 c nbDecision=941500 #constraints=31282 1126.60/1127.04 c nbDecision=942000 #constraints=31293 1127.70/1128.14 c nbDecision=942500 #constraints=31316 1128.20/1128.68 c nbDecision=943000 #constraints=31327 1128.70/1129.15 c nbDecision=943500 #constraints=31337 1129.80/1130.28 c nbDecision=944000 #constraints=31360 1130.40/1130.85 c nbDecision=944500 #constraints=31371 1131.40/1131.89 c nbDecision=945000 #constraints=31394 1132.00/1132.45 c nbDecision=945500 #constraints=31405 1132.50/1132.99 c nbDecision=946000 #constraints=31415 1133.60/1134.07 c nbDecision=946500 #constraints=31438 1134.20/1134.61 c nbDecision=947000 #constraints=31449 1134.71/1135.10 c nbDecision=947500 #constraints=31459 1135.81/1136.26 c nbDecision=948000 #constraints=31483 1136.30/1136.77 c nbDecision=948500 #constraints=31493 1137.30/1137.80 c nbDecision=949000 #constraints=31516 1137.90/1138.37 c nbDecision=949500 #constraints=31527 1138.50/1138.91 c nbDecision=950000 #constraints=31537 1139.60/1140.02 c nbDecision=950500 #constraints=31561 1140.00/1140.49 c nbDecision=951000 #constraints=31571 1140.60/1141.04 c nbDecision=951500 #constraints=31582 1141.70/1142.16 c nbDecision=952000 #constraints=31605 1142.30/1142.71 c nbDecision=952500 #constraints=31616 1142.80/1143.20 c nbDecision=953000 #constraints=31626 1143.30/1143.78 c nbDecision=953500 #constraints=31637 1143.90/1144.35 c nbDecision=954000 #constraints=31648 1144.50/1144.98 c nbDecision=954500 #constraints=31660 1145.00/1145.48 c nbDecision=955000 #constraints=31670 1145.60/1146.07 c nbDecision=955500 #constraints=31682 1146.20/1146.65 c nbDecision=956000 #constraints=31693 1146.70/1147.18 c nbDecision=956500 #constraints=31703 1147.40/1147.80 c nbDecision=957000 #constraints=31715 1147.90/1148.35 c nbDecision=957500 #constraints=31726 1148.40/1148.81 c nbDecision=958000 #constraints=31736 1149.00/1149.48 c nbDecision=958500 #constraints=31748 1149.60/1150.05 c nbDecision=959000 #constraints=31759 1150.20/1150.62 c nbDecision=959500 #constraints=31770 1150.70/1151.16 c nbDecision=960000 #constraints=31781 1151.20/1151.68 c nbDecision=960500 #constraints=31792 1151.90/1152.30 c nbDecision=961000 #constraints=31803 1152.40/1152.87 c nbDecision=961500 #constraints=31814 1153.00/1153.42 c nbDecision=962000 #constraints=31825 1153.50/1153.95 c nbDecision=962500 #constraints=31836 1154.10/1154.50 c nbDecision=963000 #constraints=31847 1154.70/1155.15 c nbDecision=963500 #constraints=31859 1155.20/1155.67 c nbDecision=964000 #constraints=31869 1155.80/1156.26 c nbDecision=964500 #constraints=31881 1156.30/1156.79 c nbDecision=965000 #constraints=31892 1156.89/1157.31 c nbDecision=965500 #constraints=31902 1157.49/1157.94 c nbDecision=966000 #constraints=31914 1158.09/1158.50 c nbDecision=966500 #constraints=31925 1158.59/1159.04 c nbDecision=967000 #constraints=31936 1159.09/1159.56 c nbDecision=967500 #constraints=31947 1159.69/1160.14 c nbDecision=968000 #constraints=31958 1160.29/1160.74 c nbDecision=968500 #constraints=31969 1160.79/1161.29 c nbDecision=969000 #constraints=31980 1161.89/1162.36 c nbDecision=969500 #constraints=32003 1165.49/1165.98 c nbDecision=970000 #constraints=32080 1169.09/1169.52 c nbDecision=970500 #constraints=32155 1171.09/1171.59 c nbDecision=971000 #constraints=32193 1172.09/1172.55 c nbDecision=971500 #constraints=32207 1173.88/1174.34 c nbDecision=972000 #constraints=32243 1174.39/1174.83 c nbDecision=972500 #constraints=32253 1174.88/1175.39 c nbDecision=973000 #constraints=32263 1176.49/1176.94 c nbDecision=973500 #constraints=32297 1176.98/1177.42 c nbDecision=974000 #constraints=32307 1177.48/1177.99 c nbDecision=974500 #constraints=32317 1179.08/1179.54 c nbDecision=975000 #constraints=32351 1179.58/1180.02 c nbDecision=975500 #constraints=32361 1180.08/1180.59 c nbDecision=976000 #constraints=32371 1181.69/1182.14 c nbDecision=976500 #constraints=32405 1182.19/1182.63 c nbDecision=977000 #constraints=32415 1182.69/1183.19 c nbDecision=977500 #constraints=32425 1184.29/1184.76 c nbDecision=978000 #constraints=32459 1184.79/1185.25 c nbDecision=978500 #constraints=32469 1185.39/1185.82 c nbDecision=979000 #constraints=32479 1186.89/1187.39 c nbDecision=979500 #constraints=32513 1187.39/1187.88 c nbDecision=980000 #constraints=32523 1187.99/1188.45 c nbDecision=980500 #constraints=32533 1189.59/1190.02 c nbDecision=981000 #constraints=32567 1190.09/1190.51 c nbDecision=981500 #constraints=32577 1190.59/1191.08 c nbDecision=982000 #constraints=32587 1192.19/1192.65 c nbDecision=982500 #constraints=32621 1192.69/1193.13 c nbDecision=983000 #constraints=32631 1193.29/1193.70 c nbDecision=983500 #constraints=32641 1194.79/1195.26 c nbDecision=984000 #constraints=32675 1195.29/1195.75 c nbDecision=984500 #constraints=32685 1195.88/1196.32 c nbDecision=985000 #constraints=32695 1197.39/1197.88 c nbDecision=985500 #constraints=32729 1197.88/1198.36 c nbDecision=986000 #constraints=32739 1198.49/1198.93 c nbDecision=986500 #constraints=32749 1199.98/1200.49 c nbDecision=987000 #constraints=32783 1200.48/1200.98 c nbDecision=987500 #constraints=32793 1201.08/1201.54 c nbDecision=988000 #constraints=32803 1202.58/1203.10 c nbDecision=988500 #constraints=32837 1203.08/1203.58 c nbDecision=989000 #constraints=32847 1203.68/1204.15 c nbDecision=989500 #constraints=32857 1205.28/1205.72 c nbDecision=990000 #constraints=32891 1205.78/1206.21 c nbDecision=990500 #constraints=32901 1206.28/1206.78 c nbDecision=991000 #constraints=32911 1207.48/1207.92 c nbDecision=991500 #constraints=32934 1207.98/1208.42 c nbDecision=992000 #constraints=32944 1208.48/1208.96 c nbDecision=992500 #constraints=32955 1209.68/1210.14 c nbDecision=993000 #constraints=32978 1210.27/1210.71 c nbDecision=993500 #constraints=32989 1211.27/1211.79 c nbDecision=994000 #constraints=33012 1211.87/1212.36 c nbDecision=994500 #constraints=33023 1212.47/1212.92 c nbDecision=995000 #constraints=33033 1213.57/1214.08 c nbDecision=995500 #constraints=33056 1214.17/1214.64 c nbDecision=996000 #constraints=33067 1214.67/1215.18 c nbDecision=996500 #constraints=33077 1216.07/1216.50 c nbDecision=997000 #constraints=33101 1216.57/1217.08 c nbDecision=997500 #constraints=33111 1217.77/1218.26 c nbDecision=998000 #constraints=33134 1218.47/1218.91 c nbDecision=998500 #constraints=33145 1219.07/1219.52 c nbDecision=999000 #constraints=33155 1220.37/1220.80 c nbDecision=999500 #constraints=33179 1220.87/1221.35 c nbDecision=1000000 #constraints=33189 1221.47/1221.93 c nbDecision=1000500 #constraints=33199 1222.77/1223.25 c nbDecision=1001000 #constraints=33223 1223.37/1223.82 c nbDecision=1001500 #constraints=33233 1224.57/1225.07 c nbDecision=1002000 #constraints=33257 1225.27/1225.70 c nbDecision=1002500 #constraints=33267 1225.87/1226.35 c nbDecision=1003000 #constraints=33278 1227.07/1227.59 c nbDecision=1003500 #constraints=33301 1227.67/1228.13 c nbDecision=1004000 #constraints=33311 1228.27/1228.79 c nbDecision=1004500 #constraints=33322 1229.56/1230.06 c nbDecision=1005000 #constraints=33345 1230.16/1230.69 c nbDecision=1005500 #constraints=33356 1230.76/1231.26 c nbDecision=1006000 #constraints=33367 1232.06/1232.55 c nbDecision=1006500 #constraints=33390 1232.67/1233.16 c nbDecision=1007000 #constraints=33400 1233.86/1234.37 c nbDecision=1007500 #constraints=33423 1234.47/1234.99 c nbDecision=1008000 #constraints=33434 1235.17/1235.61 c nbDecision=1008500 #constraints=33444 1235.77/1236.28 c nbDecision=1009000 #constraints=33455 1236.47/1236.91 c nbDecision=1009500 #constraints=33466 1237.08/1237.50 c nbDecision=1010000 #constraints=33477 1237.67/1238.19 c nbDecision=1010500 #constraints=33489 1238.37/1238.80 c nbDecision=1011000 #constraints=33499 1239.07/1239.50 c nbDecision=1011500 #constraints=33511 1239.67/1240.13 c nbDecision=1012000 #constraints=33522 1240.27/1240.73 c nbDecision=1012500 #constraints=33533 1240.87/1241.38 c nbDecision=1013000 #constraints=33544 1241.57/1242.02 c nbDecision=1013500 #constraints=33555 1242.17/1242.68 c nbDecision=1014000 #constraints=33566 1242.77/1243.29 c nbDecision=1014500 #constraints=33577 1243.37/1243.82 c nbDecision=1015000 #constraints=33587 1244.07/1244.56 c nbDecision=1015500 #constraints=33599 1244.77/1245.20 c nbDecision=1016000 #constraints=33610 1245.37/1245.84 c nbDecision=1016500 #constraints=33621 1245.97/1246.46 c nbDecision=1017000 #constraints=33632 1246.57/1247.05 c nbDecision=1017500 #constraints=33643 1247.27/1247.75 c nbDecision=1018000 #constraints=33654 1247.87/1248.40 c nbDecision=1018500 #constraints=33665 1248.57/1249.02 c nbDecision=1019000 #constraints=33676 1249.17/1249.69 c nbDecision=1019500 #constraints=33688 1249.77/1250.25 c nbDecision=1020000 #constraints=33698 1250.46/1250.98 c nbDecision=1020500 #constraints=33710 1251.06/1251.58 c nbDecision=1021000 #constraints=33720 1251.76/1252.25 c nbDecision=1021500 #constraints=33732 1252.37/1252.86 c nbDecision=1022000 #constraints=33743 1252.96/1253.45 c nbDecision=1022500 #constraints=33753 1253.66/1254.17 c nbDecision=1023000 #constraints=33765 1254.36/1254.80 c nbDecision=1023500 #constraints=33776 1254.96/1255.41 c nbDecision=1024000 #constraints=33787 1255.56/1256.00 c nbDecision=1024500 #constraints=33798 1256.16/1256.66 c nbDecision=1025000 #constraints=33809 1259.26/1259.76 c nbDecision=1025500 #constraints=33866 1263.46/1263.93 c nbDecision=1026000 #constraints=33946 1266.86/1267.38 c nbDecision=1026500 #constraints=34010 1267.96/1268.44 c nbDecision=1027000 #constraints=34024 1269.76/1270.24 c nbDecision=1027500 #constraints=34053 1270.76/1271.28 c nbDecision=1028000 #constraints=34072 1271.36/1271.83 c nbDecision=1028500 #constraints=34081 1272.66/1273.16 c nbDecision=1029000 #constraints=34107 1273.75/1274.21 c nbDecision=1029500 #constraints=34126 1274.25/1274.75 c nbDecision=1030000 #constraints=34135 1275.56/1276.08 c nbDecision=1030500 #constraints=34161 1276.66/1277.11 c nbDecision=1031000 #constraints=34180 1277.15/1277.66 c nbDecision=1031500 #constraints=34189 1278.45/1278.98 c nbDecision=1032000 #constraints=34215 1279.54/1280.03 c nbDecision=1032500 #constraints=34234 1280.04/1280.58 c nbDecision=1033000 #constraints=34243 1281.44/1281.91 c nbDecision=1033500 #constraints=34269 1282.43/1282.96 c nbDecision=1034000 #constraints=34288 1282.93/1283.49 c nbDecision=1034500 #constraints=34297 1284.33/1284.83 c nbDecision=1035000 #constraints=34323 1285.33/1285.88 c nbDecision=1035500 #constraints=34342 1285.93/1286.42 c nbDecision=1036000 #constraints=34351 1287.23/1287.75 c nbDecision=1036500 #constraints=34377 1288.33/1288.80 c nbDecision=1037000 #constraints=34396 1288.83/1289.34 c nbDecision=1037500 #constraints=34405 1290.12/1290.68 c nbDecision=1038000 #constraints=34431 1291.22/1291.72 c nbDecision=1038500 #constraints=34450 1291.72/1292.27 c nbDecision=1039000 #constraints=34459 1293.02/1293.60 c nbDecision=1039500 #constraints=34485 1294.12/1294.64 c nbDecision=1040000 #constraints=34504 1294.61/1295.18 c nbDecision=1040500 #constraints=34513 1296.00/1296.50 c nbDecision=1041000 #constraints=34539 1297.00/1297.53 c nbDecision=1041500 #constraints=34558 1297.50/1298.08 c nbDecision=1042000 #constraints=34567 1298.90/1299.40 c nbDecision=1042500 #constraints=34593 1299.89/1300.44 c nbDecision=1043000 #constraints=34612 1300.38/1300.98 c nbDecision=1043500 #constraints=34621 1301.68/1302.29 c nbDecision=1044000 #constraints=34647 1302.78/1303.33 c nbDecision=1044500 #constraints=34666 1303.28/1303.87 c nbDecision=1045000 #constraints=34675 1304.58/1305.18 c nbDecision=1045500 #constraints=34701 1305.68/1306.22 c nbDecision=1046000 #constraints=34720 1306.18/1306.77 c nbDecision=1046500 #constraints=34729 1307.38/1307.97 c nbDecision=1047000 #constraints=34752 1308.07/1308.63 c nbDecision=1047500 #constraints=34763 1308.67/1309.24 c nbDecision=1048000 #constraints=34773 1309.86/1310.46 c nbDecision=1048500 #constraints=34796 1310.46/1311.07 c nbDecision=1049000 #constraints=34807 1311.06/1311.66 c nbDecision=1049500 #constraints=34817 1312.36/1312.98 c nbDecision=1050000 #constraints=34841 1312.96/1313.55 c nbDecision=1050500 #constraints=34851 1314.06/1314.67 c nbDecision=1051000 #constraints=34872 1314.76/1315.39 c nbDecision=1051500 #constraints=34885 1315.36/1315.99 c nbDecision=1052000 #constraints=34895 1316.66/1317.24 c nbDecision=1052500 #constraints=34919 1317.16/1317.77 c nbDecision=1053000 #constraints=34929 1317.86/1318.43 c nbDecision=1053500 #constraints=34940 1319.06/1319.69 c nbDecision=1054000 #constraints=34963 1319.66/1320.25 c nbDecision=1054500 #constraints=34973 1320.16/1320.77 c nbDecision=1055000 #constraints=34983 1321.56/1322.11 c nbDecision=1055500 #constraints=35007 1322.16/1322.74 c nbDecision=1056000 #constraints=35018 1323.36/1323.94 c nbDecision=1056500 #constraints=35041 1323.95/1324.53 c nbDecision=1057000 #constraints=35052 1324.55/1325.16 c nbDecision=1057500 #constraints=35062 1325.85/1326.40 c nbDecision=1058000 #constraints=35085 1326.45/1327.02 c nbDecision=1058500 #constraints=35096 1326.95/1327.55 c nbDecision=1059000 #constraints=35106 1328.25/1328.89 c nbDecision=1059500 #constraints=35130 1328.85/1329.48 c nbDecision=1060000 #constraints=35140 1330.05/1330.67 c nbDecision=1060500 #constraints=35163 1330.65/1331.30 c nbDecision=1061000 #constraints=35174 1331.35/1331.92 c nbDecision=1061500 #constraints=35184 1332.66/1333.20 c nbDecision=1062000 #constraints=35208 1333.15/1333.76 c nbDecision=1062500 #constraints=35218 1333.75/1334.33 c nbDecision=1063000 #constraints=35228 1335.04/1335.64 c nbDecision=1063500 #constraints=35252 1335.64/1336.22 c nbDecision=1064000 #constraints=35262 1336.24/1336.84 c nbDecision=1064500 #constraints=35273 1336.84/1337.46 c nbDecision=1065000 #constraints=35284 1337.54/1338.11 c nbDecision=1065500 #constraints=35295 1338.14/1338.77 c nbDecision=1066000 #constraints=35306 1338.74/1339.39 c nbDecision=1066500 #constraints=35317 1339.44/1340.05 c nbDecision=1067000 #constraints=35329 1340.04/1340.67 c nbDecision=1067500 #constraints=35340 1340.64/1341.28 c nbDecision=1068000 #constraints=35350 1341.34/1341.98 c nbDecision=1068500 #constraints=35362 1341.94/1342.60 c nbDecision=1069000 #constraints=35373 1342.54/1343.19 c nbDecision=1069500 #constraints=35384 1343.24/1343.84 c nbDecision=1070000 #constraints=35395 1343.84/1344.49 c nbDecision=1070500 #constraints=35406 1344.54/1345.14 c nbDecision=1071000 #constraints=35417 1345.14/1345.76 c nbDecision=1071500 #constraints=35428 1345.64/1346.28 c nbDecision=1072000 #constraints=35438 1346.44/1347.02 c nbDecision=1072500 #constraints=35450 1347.03/1347.67 c nbDecision=1073000 #constraints=35461 1347.73/1348.31 c nbDecision=1073500 #constraints=35472 1348.33/1348.92 c nbDecision=1074000 #constraints=35483 1348.93/1349.51 c nbDecision=1074500 #constraints=35494 1349.63/1350.25 c nbDecision=1075000 #constraints=35506 1350.24/1350.85 c nbDecision=1075500 #constraints=35516 1350.93/1351.53 c nbDecision=1076000 #constraints=35528 1351.53/1352.14 c nbDecision=1076500 #constraints=35539 1352.13/1352.70 c nbDecision=1077000 #constraints=35549 1352.83/1353.43 c nbDecision=1077500 #constraints=35561 1353.44/1354.07 c nbDecision=1078000 #constraints=35572 1354.03/1354.69 c nbDecision=1078500 #constraints=35583 1354.64/1355.29 c nbDecision=1079000 #constraints=35594 1355.33/1355.91 c nbDecision=1079500 #constraints=35605 1355.93/1356.59 c nbDecision=1080000 #constraints=35616 1356.63/1357.21 c nbDecision=1080500 #constraints=35627 1357.84/1358.45 c nbDecision=1081000 #constraints=35651 1361.83/1362.45 c nbDecision=1081500 #constraints=35726 1366.43/1367.01 c nbDecision=1082000 #constraints=35810 1368.23/1368.84 c nbDecision=1082500 #constraints=35841 1369.23/1369.89 c nbDecision=1083000 #constraints=35855 1371.23/1371.87 c nbDecision=1083500 #constraints=35890 1371.83/1372.42 c nbDecision=1084000 #constraints=35900 1372.43/1373.01 c nbDecision=1084500 #constraints=35910 1374.13/1374.77 c nbDecision=1085000 #constraints=35944 1374.73/1375.31 c nbDecision=1085500 #constraints=35954 1375.33/1375.90 c nbDecision=1086000 #constraints=35964 1377.03/1377.65 c nbDecision=1086500 #constraints=35998 1377.52/1378.19 c nbDecision=1087000 #constraints=36008 1378.12/1378.78 c nbDecision=1087500 #constraints=36018 1379.93/1380.54 c nbDecision=1088000 #constraints=36052 1380.42/1381.08 c nbDecision=1088500 #constraints=36062 1381.03/1381.67 c nbDecision=1089000 #constraints=36072 1382.82/1383.42 c nbDecision=1089500 #constraints=36106 1383.32/1383.96 c nbDecision=1090000 #constraints=36116 1383.92/1384.56 c nbDecision=1090500 #constraints=36126 1385.72/1386.32 c nbDecision=1091000 #constraints=36160 1386.22/1386.86 c nbDecision=1091500 #constraints=36170 1386.82/1387.45 c nbDecision=1092000 #constraints=36180 1388.62/1389.20 c nbDecision=1092500 #constraints=36214 1389.12/1389.75 c nbDecision=1093000 #constraints=36224 1389.72/1390.34 c nbDecision=1093500 #constraints=36234 1391.41/1392.09 c nbDecision=1094000 #constraints=36268 1392.02/1392.64 c nbDecision=1094500 #constraints=36278 1392.61/1393.23 c nbDecision=1095000 #constraints=36288 1394.31/1394.98 c nbDecision=1095500 #constraints=36322 1394.91/1395.52 c nbDecision=1096000 #constraints=36332 1395.51/1396.11 c nbDecision=1096500 #constraints=36342 1397.21/1397.85 c nbDecision=1097000 #constraints=36376 1397.71/1398.40 c nbDecision=1097500 #constraints=36386 1398.31/1398.98 c nbDecision=1098000 #constraints=36396 1400.11/1400.71 c nbDecision=1098500 #constraints=36430 1400.61/1401.25 c nbDecision=1099000 #constraints=36440 1401.21/1401.84 c nbDecision=1099500 #constraints=36450 1402.91/1403.57 c nbDecision=1100000 #constraints=36484 1403.52/1404.12 c nbDecision=1100500 #constraints=36494 1404.12/1404.71 c nbDecision=1101000 #constraints=36504 1405.82/1406.46 c nbDecision=1101500 #constraints=36538 1406.42/1407.00 c nbDecision=1102000 #constraints=36548 1406.92/1407.59 c nbDecision=1102500 #constraints=36558 1408.21/1408.86 c nbDecision=1103000 #constraints=36581 1408.81/1409.42 c nbDecision=1103500 #constraints=36591 1409.31/1409.94 c nbDecision=1104000 #constraints=36601 1410.62/1411.27 c nbDecision=1104500 #constraints=36625 1411.21/1411.86 c nbDecision=1105000 #constraints=36635 1412.51/1413.10 c nbDecision=1105500 #constraints=36659 1413.01/1413.65 c nbDecision=1106000 #constraints=36669 1413.71/1414.30 c nbDecision=1106500 #constraints=36680 1414.91/1415.53 c nbDecision=1107000 #constraints=36703 1415.51/1416.14 c nbDecision=1107500 #constraints=36714 1416.01/1416.65 c nbDecision=1108000 #constraints=36724 1417.31/1417.93 c nbDecision=1108500 #constraints=36747 1417.91/1418.55 c nbDecision=1109000 #constraints=36758 1419.11/1419.72 c nbDecision=1109500 #constraints=36781 1419.71/1420.34 c nbDecision=1110000 #constraints=36792 1420.31/1420.94 c nbDecision=1110500 #constraints=36802 1421.51/1422.15 c nbDecision=1111000 #constraints=36825 1422.11/1422.75 c nbDecision=1111500 #constraints=36836 1422.61/1423.30 c nbDecision=1112000 #constraints=36846 1424.00/1424.61 c nbDecision=1112500 #constraints=36870 1424.50/1425.19 c nbDecision=1113000 #constraints=36880 1425.70/1426.35 c nbDecision=1113500 #constraints=36903 1426.30/1427.00 c nbDecision=1114000 #constraints=36914 1427.00/1427.60 c nbDecision=1114500 #constraints=36924 1428.21/1428.85 c nbDecision=1115000 #constraints=36948 1428.70/1429.39 c nbDecision=1115500 #constraints=36958 1429.41/1430.01 c nbDecision=1116000 #constraints=36969 1430.60/1431.27 c nbDecision=1116500 #constraints=36992 1431.20/1431.89 c nbDecision=1117000 #constraints=37003 1432.40/1433.04 c nbDecision=1117500 #constraints=37026 1433.00/1433.65 c nbDecision=1118000 #constraints=37036 1433.60/1434.29 c nbDecision=1118500 #constraints=37047 1434.80/1435.48 c nbDecision=1119000 #constraints=37070 1435.40/1436.06 c nbDecision=1119500 #constraints=37081 1436.00/1436.64 c nbDecision=1120000 #constraints=37091 1436.70/1437.32 c nbDecision=1120500 #constraints=37102 1437.30/1437.94 c nbDecision=1121000 #constraints=37113 1437.90/1438.54 c nbDecision=1121500 #constraints=37124 1438.50/1439.15 c nbDecision=1122000 #constraints=37135 1439.10/1439.79 c nbDecision=1122500 #constraints=37146 1439.80/1440.50 c nbDecision=1123000 #constraints=37158 1440.41/1441.05 c nbDecision=1123500 #constraints=37168 1441.10/1441.71 c nbDecision=1124000 #constraints=37180 1441.70/1442.31 c nbDecision=1124500 #constraints=37191 1442.30/1442.92 c nbDecision=1125000 #constraints=37201 1443.00/1443.61 c nbDecision=1125500 #constraints=37213 1443.60/1444.22 c nbDecision=1126000 #constraints=37224 1444.20/1444.81 c nbDecision=1126500 #constraints=37235 1444.80/1445.46 c nbDecision=1127000 #constraints=37246 1445.50/1446.10 c nbDecision=1127500 #constraints=37257 1446.10/1446.74 c nbDecision=1128000 #constraints=37268 1446.70/1447.35 c nbDecision=1128500 #constraints=37279 1447.20/1447.86 c nbDecision=1129000 #constraints=37289 1448.00/1448.60 c nbDecision=1129500 #constraints=37301 1448.60/1449.24 c nbDecision=1130000 #constraints=37312 1449.20/1449.87 c nbDecision=1130500 #constraints=37323 1449.80/1450.47 c nbDecision=1131000 #constraints=37334 1450.40/1451.04 c nbDecision=1131500 #constraints=37345 1451.10/1451.78 c nbDecision=1132000 #constraints=37357 1451.70/1452.37 c nbDecision=1132500 #constraints=37367 1452.40/1453.04 c nbDecision=1133000 #constraints=37379 1452.99/1453.64 c nbDecision=1133500 #constraints=37390 1453.50/1454.19 c nbDecision=1134000 #constraints=37400 1454.29/1454.90 c nbDecision=1134500 #constraints=37412 1454.89/1455.53 c nbDecision=1135000 #constraints=37423 1455.49/1456.13 c nbDecision=1135500 #constraints=37434 1456.09/1456.72 c nbDecision=1136000 #constraints=37445 1456.69/1457.32 c nbDecision=1136500 #constraints=37456 1459.99/1460.63 c nbDecision=1137000 #constraints=37519 1463.90/1464.56 c nbDecision=1137500 #constraints=37594 1467.40/1468.03 c nbDecision=1138000 #constraints=37658 1468.49/1469.14 c nbDecision=1138500 #constraints=37672 1470.49/1471.19 c nbDecision=1139000 #constraints=37707 1471.20/1471.83 c nbDecision=1139500 #constraints=37718 1471.79/1472.42 c nbDecision=1140000 #constraints=37728 1473.40/1474.05 c nbDecision=1140500 #constraints=37761 1473.99/1474.68 c nbDecision=1141000 #constraints=37772 1474.59/1475.27 c nbDecision=1141500 #constraints=37782 1476.19/1476.88 c nbDecision=1142000 #constraints=37815 1476.89/1477.52 c nbDecision=1142500 #constraints=37826 1477.49/1478.10 c nbDecision=1143000 #constraints=37836 1479.09/1479.72 c nbDecision=1143500 #constraints=37869 1479.69/1480.35 c nbDecision=1144000 #constraints=37880 1480.29/1480.94 c nbDecision=1144500 #constraints=37890 1481.89/1482.55 c nbDecision=1145000 #constraints=37923 1482.49/1483.19 c nbDecision=1145500 #constraints=37934 1483.09/1483.77 c nbDecision=1146000 #constraints=37944 1484.69/1485.39 c nbDecision=1146500 #constraints=37977 1485.39/1486.03 c nbDecision=1147000 #constraints=37988 1485.99/1486.62 c nbDecision=1147500 #constraints=37998 1487.59/1488.24 c nbDecision=1148000 #constraints=38031 1488.18/1488.88 c nbDecision=1148500 #constraints=38042 1488.79/1489.47 c nbDecision=1149000 #constraints=38052 1490.38/1491.09 c nbDecision=1149500 #constraints=38085 1491.08/1491.73 c nbDecision=1150000 #constraints=38096 1491.68/1492.32 c nbDecision=1150500 #constraints=38106 1493.28/1493.95 c nbDecision=1151000 #constraints=38139 1493.88/1494.59 c nbDecision=1151500 #constraints=38150 1494.48/1495.17 c nbDecision=1152000 #constraints=38160 1496.08/1496.78 c nbDecision=1152500 #constraints=38193 1496.78/1497.42 c nbDecision=1153000 #constraints=38204 1497.38/1498.01 c nbDecision=1153500 #constraints=38214 1498.98/1499.62 c nbDecision=1154000 #constraints=38247 1499.58/1500.26 c nbDecision=1154500 #constraints=38258 1500.18/1500.84 c nbDecision=1155000 #constraints=38268 1501.77/1502.45 c nbDecision=1155500 #constraints=38301 1502.37/1503.09 c nbDecision=1156000 #constraints=38312 1502.98/1503.68 c nbDecision=1156500 #constraints=38322 1504.68/1505.30 c nbDecision=1157000 #constraints=38355 1505.28/1505.95 c nbDecision=1157500 #constraints=38366 1505.88/1506.54 c nbDecision=1158000 #constraints=38376 1507.08/1507.72 c nbDecision=1158500 #constraints=38399 1507.68/1508.34 c nbDecision=1159000 #constraints=38410 1508.28/1508.95 c nbDecision=1159500 #constraints=38420 1509.48/1510.17 c nbDecision=1160000 #constraints=38443 1510.08/1510.77 c nbDecision=1160500 #constraints=38454 1510.68/1511.31 c nbDecision=1161000 #constraints=38464 1511.98/1512.63 c nbDecision=1161500 #constraints=38488 1512.58/1513.21 c nbDecision=1162000 #constraints=38498 1513.68/1514.36 c nbDecision=1162500 #constraints=38521 1514.38/1515.00 c nbDecision=1163000 #constraints=38532 1514.98/1515.60 c nbDecision=1163500 #constraints=38542 1516.18/1516.85 c nbDecision=1164000 #constraints=38566 1516.68/1517.38 c nbDecision=1164500 #constraints=38576 1517.28/1517.96 c nbDecision=1165000 #constraints=38586 1518.57/1519.25 c nbDecision=1165500 #constraints=38610 1519.17/1519.81 c nbDecision=1166000 #constraints=38620 1520.37/1521.01 c nbDecision=1166500 #constraints=38644 1520.97/1521.62 c nbDecision=1167000 #constraints=38654 1521.57/1522.25 c nbDecision=1167500 #constraints=38665 1522.77/1523.44 c nbDecision=1168000 #constraints=38688 1523.37/1524.03 c nbDecision=1168500 #constraints=38699 1523.97/1524.62 c nbDecision=1169000 #constraints=38709 1525.17/1525.86 c nbDecision=1169500 #constraints=38732 1525.77/1526.48 c nbDecision=1170000 #constraints=38743 1526.37/1527.04 c nbDecision=1170500 #constraints=38754 1527.67/1528.30 c nbDecision=1171000 #constraints=38777 1528.17/1528.90 c nbDecision=1171500 #constraints=38787 1529.37/1530.08 c nbDecision=1172000 #constraints=38810 1529.97/1530.67 c nbDecision=1172500 #constraints=38821 1530.57/1531.29 c nbDecision=1173000 #constraints=38831 1531.87/1532.57 c nbDecision=1173500 #constraints=38855 1532.47/1533.13 c nbDecision=1174000 #constraints=38865 1532.97/1533.64 c nbDecision=1174500 #constraints=38875 1534.27/1534.96 c nbDecision=1175000 #constraints=38899 1534.87/1535.54 c nbDecision=1175500 #constraints=38909 1535.46/1536.17 c nbDecision=1176000 #constraints=38920 1536.07/1536.74 c nbDecision=1176500 #constraints=38931 1536.66/1537.39 c nbDecision=1177000 #constraints=38942 1537.36/1538.07 c nbDecision=1177500 #constraints=38953 1537.96/1538.68 c nbDecision=1178000 #constraints=38964 1538.56/1539.28 c nbDecision=1178500 #constraints=38975 1539.27/1539.92 c nbDecision=1179000 #constraints=38987 1539.86/1540.53 c nbDecision=1179500 #constraints=38997 1540.56/1541.24 c nbDecision=1180000 #constraints=39009 1541.16/1541.86 c nbDecision=1180500 #constraints=39020 1541.76/1542.46 c nbDecision=1181000 #constraints=39031 1542.36/1543.06 c nbDecision=1181500 #constraints=39042 1543.07/1543.71 c nbDecision=1182000 #constraints=39053 1543.67/1544.37 c nbDecision=1182500 #constraints=39064 1544.27/1544.99 c nbDecision=1183000 #constraints=39075 1544.87/1545.58 c nbDecision=1183500 #constraints=39086 1545.57/1546.22 c nbDecision=1184000 #constraints=39097 1546.17/1546.87 c nbDecision=1184500 #constraints=39108 1546.87/1547.52 c nbDecision=1185000 #constraints=39119 1547.47/1548.13 c nbDecision=1185500 #constraints=39130 1548.07/1548.73 c nbDecision=1186000 #constraints=39142 1548.67/1549.39 c nbDecision=1186500 #constraints=39152 1549.37/1550.03 c nbDecision=1187000 #constraints=39163 1550.06/1550.72 c nbDecision=1187500 #constraints=39175 1550.66/1551.32 c nbDecision=1188000 #constraints=39186 1551.16/1551.84 c nbDecision=1188500 #constraints=39196 1551.86/1552.58 c nbDecision=1189000 #constraints=39208 1552.46/1553.18 c nbDecision=1189500 #constraints=39218 1553.16/1553.85 c nbDecision=1190000 #constraints=39230 1553.76/1554.45 c nbDecision=1190500 #constraints=39241 1554.26/1554.99 c nbDecision=1191000 #constraints=39251 1555.06/1555.72 c nbDecision=1191500 #constraints=39263 1555.66/1556.35 c nbDecision=1192000 #constraints=39274 1557.46/1558.14 c nbDecision=1192500 #constraints=39307 1561.56/1562.24 c nbDecision=1193000 #constraints=39385 1565.67/1566.32 c nbDecision=1193500 #constraints=39462 1567.46/1568.13 c nbDecision=1194000 #constraints=39489 1568.56/1569.23 c nbDecision=1194500 #constraints=39503 1570.46/1571.14 c nbDecision=1195000 #constraints=39537 1571.06/1571.70 c nbDecision=1195500 #constraints=39547 1571.56/1572.23 c nbDecision=1196000 #constraints=39556 1573.36/1574.06 c nbDecision=1196500 #constraints=39591 1573.96/1574.61 c nbDecision=1197000 #constraints=39601 1574.46/1575.14 c nbDecision=1197500 #constraints=39610 1576.26/1576.96 c nbDecision=1198000 #constraints=39645 1576.86/1577.52 c nbDecision=1198500 #constraints=39655 1577.36/1578.04 c nbDecision=1199000 #constraints=39664 1579.16/1579.87 c nbDecision=1199500 #constraints=39699 1579.76/1580.42 c nbDecision=1200000 #constraints=39709 1580.26/1580.95 c nbDecision=1200500 #constraints=39718 1582.06/1582.77 c nbDecision=1201000 #constraints=39753 1582.66/1583.32 c nbDecision=1201500 #constraints=39763 1583.16/1583.85 c nbDecision=1202000 #constraints=39772 1584.96/1585.69 c nbDecision=1202500 #constraints=39807 1585.56/1586.25 c nbDecision=1203000 #constraints=39817 1586.05/1586.79 c nbDecision=1203500 #constraints=39826 1587.95/1588.62 c nbDecision=1204000 #constraints=39861 1588.45/1589.18 c nbDecision=1204500 #constraints=39871 1589.05/1589.72 c nbDecision=1205000 #constraints=39880 1590.85/1591.56 c nbDecision=1205500 #constraints=39915 1591.45/1592.12 c nbDecision=1206000 #constraints=39925 1591.95/1592.65 c nbDecision=1206500 #constraints=39934 1593.75/1594.49 c nbDecision=1207000 #constraints=39969 1594.35/1595.04 c nbDecision=1207500 #constraints=39979 1594.85/1595.57 c nbDecision=1208000 #constraints=39988 1596.65/1597.39 c nbDecision=1208500 #constraints=40023 1597.25/1597.95 c nbDecision=1209000 #constraints=40033 1597.75/1598.48 c nbDecision=1209500 #constraints=40042 1599.65/1600.31 c nbDecision=1210000 #constraints=40077 1600.15/1600.87 c nbDecision=1210500 #constraints=40087 1600.75/1601.40 c nbDecision=1211000 #constraints=40096 1602.55/1603.22 c nbDecision=1211500 #constraints=40131 1603.05/1603.78 c nbDecision=1212000 #constraints=40141 1603.65/1604.32 c nbDecision=1212500 #constraints=40150 1605.45/1606.15 c nbDecision=1213000 #constraints=40185 1606.04/1606.72 c nbDecision=1213500 #constraints=40195 1606.54/1607.25 c nbDecision=1214000 #constraints=40204 1607.94/1608.60 c nbDecision=1214500 #constraints=40228 1608.44/1609.18 c nbDecision=1215000 #constraints=40238 1609.65/1610.31 c nbDecision=1215500 #constraints=40259 1610.34/1611.05 c nbDecision=1216000 #constraints=40272 1610.94/1611.65 c nbDecision=1216500 #constraints=40282 1612.25/1612.93 c nbDecision=1217000 #constraints=40306 1612.75/1613.46 c nbDecision=1217500 #constraints=40316 1613.45/1614.13 c nbDecision=1218000 #constraints=40327 1614.75/1615.41 c nbDecision=1218500 #constraints=40350 1615.35/1616.03 c nbDecision=1219000 #constraints=40361 1615.75/1616.49 c nbDecision=1219500 #constraints=40370 1617.15/1617.84 c nbDecision=1220000 #constraints=40394 1617.75/1618.49 c nbDecision=1220500 #constraints=40405 1618.95/1619.70 c nbDecision=1221000 #constraints=40428 1619.55/1620.29 c nbDecision=1221500 #constraints=40439 1620.24/1620.92 c nbDecision=1222000 #constraints=40449 1621.44/1622.17 c nbDecision=1222500 #constraints=40472 1622.04/1622.79 c nbDecision=1223000 #constraints=40483 1622.64/1623.31 c nbDecision=1223500 #constraints=40493 1623.95/1624.67 c nbDecision=1224000 #constraints=40517 1624.54/1625.27 c nbDecision=1224500 #constraints=40527 1625.74/1626.47 c nbDecision=1225000 #constraints=40550 1626.44/1627.10 c nbDecision=1225500 #constraints=40561 1627.04/1627.73 c nbDecision=1226000 #constraints=40571 1628.35/1629.04 c nbDecision=1226500 #constraints=40595 1628.84/1629.59 c nbDecision=1227000 #constraints=40605 1629.45/1630.16 c nbDecision=1227500 #constraints=40615 1630.84/1631.50 c nbDecision=1228000 #constraints=40639 1631.34/1632.10 c nbDecision=1228500 #constraints=40649 1632.64/1633.35 c nbDecision=1229000 #constraints=40673 1633.24/1633.94 c nbDecision=1229500 #constraints=40683 1633.94/1634.61 c nbDecision=1230000 #constraints=40694 1635.14/1635.84 c nbDecision=1230500 #constraints=40717 1635.74/1636.45 c nbDecision=1231000 #constraints=40728 1636.34/1637.01 c nbDecision=1231500 #constraints=40738 1637.04/1637.73 c nbDecision=1232000 #constraints=40749 1637.64/1638.37 c nbDecision=1232500 #constraints=40760 1638.24/1639.00 c nbDecision=1233000 #constraints=40771 1638.83/1639.58 c nbDecision=1233500 #constraints=40782 1639.53/1640.25 c nbDecision=1234000 #constraints=40793 1640.23/1640.94 c nbDecision=1234500 #constraints=40804 1640.83/1641.57 c nbDecision=1235000 #constraints=40815 1641.54/1642.25 c nbDecision=1235500 #constraints=40827 1642.13/1642.84 c nbDecision=1236000 #constraints=40838 1642.74/1643.47 c nbDecision=1236500 #constraints=40848 1643.53/1644.20 c nbDecision=1237000 #constraints=40860 1644.13/1644.84 c nbDecision=1237500 #constraints=40871 1644.73/1645.45 c nbDecision=1238000 #constraints=40882 1645.33/1646.08 c nbDecision=1238500 #constraints=40893 1646.04/1646.75 c nbDecision=1239000 #constraints=40904 1646.73/1647.43 c nbDecision=1239500 #constraints=40915 1647.33/1648.06 c nbDecision=1240000 #constraints=40926 1647.93/1648.66 c nbDecision=1240500 #constraints=40937 1648.63/1649.33 c nbDecision=1241000 #constraints=40948 1649.24/1649.99 c nbDecision=1241500 #constraints=40959 1649.93/1650.65 c nbDecision=1242000 #constraints=40970 1650.53/1651.28 c nbDecision=1242500 #constraints=40981 1651.23/1651.90 c nbDecision=1243000 #constraints=40993 1651.93/1652.61 c nbDecision=1243500 #constraints=41004 1652.53/1653.23 c nbDecision=1244000 #constraints=41014 1653.23/1653.93 c nbDecision=1244500 #constraints=41026 1653.83/1654.55 c nbDecision=1245000 #constraints=41037 1654.33/1655.07 c nbDecision=1245500 #constraints=41047 1655.13/1655.83 c nbDecision=1246000 #constraints=41059 1655.73/1656.48 c nbDecision=1246500 #constraints=41070 1656.43/1657.12 c nbDecision=1247000 #constraints=41081 1657.03/1657.73 c nbDecision=1247500 #constraints=41092 1657.63/1658.32 c nbDecision=1248000 #constraints=41103 1661.23/1661.95 c nbDecision=1248500 #constraints=41167 1665.83/1666.57 c nbDecision=1249000 #constraints=41252 1668.83/1669.52 c nbDecision=1249500 #constraints=41304 1670.02/1670.78 c nbDecision=1250000 #constraints=41318 1672.22/1672.94 c nbDecision=1250500 #constraints=41355 1672.82/1673.58 c nbDecision=1251000 #constraints=41365 1673.53/1674.21 c nbDecision=1251500 #constraints=41375 1675.22/1675.92 c nbDecision=1252000 #constraints=41409 1675.82/1676.56 c nbDecision=1252500 #constraints=41419 1676.42/1677.18 c nbDecision=1253000 #constraints=41429 1678.12/1678.89 c nbDecision=1253500 #constraints=41463 1678.82/1679.53 c nbDecision=1254000 #constraints=41473 1679.42/1680.16 c nbDecision=1254500 #constraints=41483 1681.12/1681.87 c nbDecision=1255000 #constraints=41517 1681.82/1682.51 c nbDecision=1255500 #constraints=41527 1682.42/1683.13 c nbDecision=1256000 #constraints=41537 1684.12/1684.85 c nbDecision=1256500 #constraints=41571 1684.82/1685.50 c nbDecision=1257000 #constraints=41581 1685.42/1686.12 c nbDecision=1257500 #constraints=41591 1687.11/1687.85 c nbDecision=1258000 #constraints=41625 1687.72/1688.50 c nbDecision=1258500 #constraints=41635 1688.42/1689.13 c nbDecision=1259000 #constraints=41645 1690.11/1690.86 c nbDecision=1259500 #constraints=41679 1690.81/1691.50 c nbDecision=1260000 #constraints=41689 1691.41/1692.13 c nbDecision=1260500 #constraints=41699 1693.12/1693.86 c nbDecision=1261000 #constraints=41733 1693.82/1694.51 c nbDecision=1261500 #constraints=41743 1694.43/1695.13 c nbDecision=1262000 #constraints=41753 1696.12/1696.85 c nbDecision=1262500 #constraints=41787 1696.72/1697.49 c nbDecision=1263000 #constraints=41797 1697.42/1698.11 c nbDecision=1263500 #constraints=41807 1699.12/1699.82 c nbDecision=1264000 #constraints=41841 1699.72/1700.46 c nbDecision=1264500 #constraints=41851 1700.32/1701.08 c nbDecision=1265000 #constraints=41861 1702.02/1702.79 c nbDecision=1265500 #constraints=41895 1702.71/1703.43 c nbDecision=1266000 #constraints=41905 1703.31/1704.06 c nbDecision=1266500 #constraints=41915 1705.01/1705.78 c nbDecision=1267000 #constraints=41949 1705.71/1706.43 c nbDecision=1267500 #constraints=41959 1706.31/1707.06 c nbDecision=1268000 #constraints=41969 1708.01/1708.79 c nbDecision=1268500 #constraints=42003 1708.71/1709.44 c nbDecision=1269000 #constraints=42013 1709.31/1710.07 c nbDecision=1269500 #constraints=42023 1710.61/1711.33 c nbDecision=1270000 #constraints=42046 1711.21/1711.90 c nbDecision=1270500 #constraints=42056 1711.81/1712.59 c nbDecision=1271000 #constraints=42067 1713.11/1713.89 c nbDecision=1271500 #constraints=42090 1713.81/1714.52 c nbDecision=1272000 #constraints=42101 1714.31/1715.05 c nbDecision=1272500 #constraints=42111 1715.71/1716.40 c nbDecision=1273000 #constraints=42134 1716.31/1717.05 c nbDecision=1273500 #constraints=42145 1717.51/1718.28 c nbDecision=1274000 #constraints=42168 1718.20/1718.92 c nbDecision=1274500 #constraints=42179 1718.80/1719.55 c nbDecision=1275000 #constraints=42189 1720.11/1720.83 c nbDecision=1275500 #constraints=42212 1720.72/1721.45 c nbDecision=1276000 #constraints=42223 1721.31/1722.02 c nbDecision=1276500 #constraints=42233 1722.71/1723.40 c nbDecision=1277000 #constraints=42257 1723.31/1724.00 c nbDecision=1277500 #constraints=42267 1724.51/1725.21 c nbDecision=1278000 #constraints=42290 1725.11/1725.90 c nbDecision=1278500 #constraints=42301 1725.81/1726.53 c nbDecision=1279000 #constraints=42311 1727.11/1727.85 c nbDecision=1279500 #constraints=42335 1727.71/1728.41 c nbDecision=1280000 #constraints=42345 1728.31/1729.05 c nbDecision=1280500 #constraints=42356 1729.61/1730.39 c nbDecision=1281000 #constraints=42379 1730.31/1731.04 c nbDecision=1281500 #constraints=42390 1731.51/1732.25 c nbDecision=1282000 #constraints=42413 1732.20/1732.90 c nbDecision=1282500 #constraints=42423 1732.81/1733.57 c nbDecision=1283000 #constraints=42434 1734.10/1734.82 c nbDecision=1283500 #constraints=42457 1734.70/1735.44 c nbDecision=1284000 #constraints=42468 1735.30/1736.05 c nbDecision=1284500 #constraints=42478 1736.60/1737.35 c nbDecision=1285000 #constraints=42501 1737.20/1737.99 c nbDecision=1285500 #constraints=42512 1738.10/1738.85 c nbDecision=1286000 #constraints=42527 1739.10/1739.89 c nbDecision=1286500 #constraints=42546 1739.80/1740.52 c nbDecision=1287000 #constraints=42556 1740.40/1741.18 c nbDecision=1287500 #constraints=42567 1741.00/1741.79 c nbDecision=1288000 #constraints=42578 1741.70/1742.43 c nbDecision=1288500 #constraints=42589 1742.40/1743.16 c nbDecision=1289000 #constraints=42600 1743.10/1743.81 c nbDecision=1289500 #constraints=42611 1743.70/1744.46 c nbDecision=1290000 #constraints=42622 1744.30/1745.07 c nbDecision=1290500 #constraints=42633 1745.00/1745.76 c nbDecision=1291000 #constraints=42644 1745.80/1746.52 c nbDecision=1291500 #constraints=42656 1746.40/1747.13 c nbDecision=1292000 #constraints=42666 1747.10/1747.83 c nbDecision=1292500 #constraints=42678 1747.69/1748.44 c nbDecision=1293000 #constraints=42689 1748.30/1749.09 c nbDecision=1293500 #constraints=42699 1749.09/1749.84 c nbDecision=1294000 #constraints=42711 1749.69/1750.49 c nbDecision=1294500 #constraints=42722 1750.40/1751.12 c nbDecision=1295000 #constraints=42733 1750.99/1751.77 c nbDecision=1295500 #constraints=42744 1751.69/1752.45 c nbDecision=1296000 #constraints=42755 1752.39/1753.15 c nbDecision=1296500 #constraints=42766 1753.09/1753.80 c nbDecision=1297000 #constraints=42777 1753.70/1754.41 c nbDecision=1297500 #constraints=42788 1754.29/1755.09 c nbDecision=1298000 #constraints=42799 1754.99/1755.77 c nbDecision=1298500 #constraints=42810 1755.69/1756.44 c nbDecision=1299000 #constraints=42821 1756.29/1757.07 c nbDecision=1299500 #constraints=42832 1756.99/1757.75 c nbDecision=1300000 #constraints=42844 1757.69/1758.42 c nbDecision=1300500 #constraints=42855 1758.29/1759.06 c nbDecision=1301000 #constraints=42865 1758.99/1759.77 c nbDecision=1301500 #constraints=42877 1759.69/1760.41 c nbDecision=1302000 #constraints=42888 1760.19/1760.94 c nbDecision=1302500 #constraints=42898 1760.99/1761.72 c nbDecision=1303000 #constraints=42910 1761.60/1762.39 c nbDecision=1303500 #constraints=42921 1763.70/1764.43 c nbDecision=1304000 #constraints=42958 1768.00/1768.70 c nbDecision=1304500 #constraints=43033 1772.49/1773.22 c nbDecision=1305000 #constraints=43111 1774.09/1774.86 c nbDecision=1305500 #constraints=43135 1775.29/1776.03 c nbDecision=1306000 #constraints=43149 1777.29/1778.09 c nbDecision=1306500 #constraints=43184 1777.89/1778.68 c nbDecision=1307000 #constraints=43194 1778.48/1779.20 c nbDecision=1307500 #constraints=43203 1780.38/1781.14 c nbDecision=1308000 #constraints=43238 1780.98/1781.73 c nbDecision=1308500 #constraints=43248 1781.48/1782.25 c nbDecision=1309000 #constraints=43257 1783.39/1784.19 c nbDecision=1309500 #constraints=43292 1783.99/1784.79 c nbDecision=1310000 #constraints=43302 1784.59/1785.31 c nbDecision=1310500 #constraints=43311 1786.49/1787.27 c nbDecision=1311000 #constraints=43346 1787.09/1787.87 c nbDecision=1311500 #constraints=43356 1787.59/1788.39 c nbDecision=1312000 #constraints=43365 1789.58/1790.35 c nbDecision=1312500 #constraints=43400 1790.18/1790.95 c nbDecision=1313000 #constraints=43410 1790.68/1791.47 c nbDecision=1313500 #constraints=43419 1792.68/1793.43 c nbDecision=1314000 #constraints=43454 1793.28/1794.03 c nbDecision=1314500 #constraints=43464 1793.78/1794.55 c nbDecision=1315000 #constraints=43473 1795.68/1796.49 c nbDecision=1315500 #constraints=43508 1796.28/1797.09 c nbDecision=1316000 #constraints=43518 1796.88/1797.61 c nbDecision=1316500 #constraints=43527 1798.78/1799.55 c nbDecision=1317000 #constraints=43562 1799.38/1800.14 c nbDecision=1317500 #constraints=43572 1799.88/1800.66 c nbDecision=1318000 #constraints=43581 1800.08/1800.80 Received signal 15 1800.08/1800.83 1800.08/1800.83 s UNKNOWN 1800.08/1800.83 1800.08/1800.83 c user time= 1799.52 s 1800.08/1800.83 c system time= 0.597909 s 1800.08/1800.83 c wall clock time=1800.83
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-362944-1176849581 -o ROOT/results/node60/solver-362944-1176849581 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362944-1176849581/instance-362944-1176849581.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.99 0.99 0.99 3/64 29691 /proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=1468 CPUtime=0 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 177 0 0 0 0 0 0 0 19 0 1 0 132868064 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 367 159 126 317 0 46 0 [startup+0.06324 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29691 /proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=2604 CPUtime=0.06 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 468 0 0 0 6 0 0 0 19 0 1 0 132868064 2666496 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 651 417 131 317 0 330 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2604 [startup+0.101242 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29691 /proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=3548 CPUtime=0.09 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 695 0 0 0 9 0 0 0 19 0 1 0 132868064 3633152 644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 887 644 131 317 0 566 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3548 [startup+0.301262 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29691 /proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=7312 CPUtime=0.29 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 1609 0 0 0 29 0 0 0 20 0 1 0 132868064 7487488 1558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 1828 1558 131 317 0 1507 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7312 [startup+0.701302 s] /proc/loadavg: 0.99 0.99 0.99 3/64 29691 /proc/meminfo: memFree=1859352/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=11436 CPUtime=0.69 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2628 0 0 0 69 0 0 0 24 0 1 0 132868064 11710464 2577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 2859 2577 138 317 0 2538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11436 [startup+1.50138 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1849488/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=11568 CPUtime=1.48 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2672 0 0 0 148 0 0 0 25 0 1 0 132868064 11845632 2621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 2892 2621 139 317 0 2571 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11568 [startup+3.10154 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1849104/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=11832 CPUtime=3.09 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2745 0 0 0 308 1 0 0 25 0 1 0 132868064 12115968 2694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 2958 2694 139 317 0 2637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11832 [startup+6.30185 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1848408/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=12480 CPUtime=6.29 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 2889 0 0 0 628 1 0 0 25 0 1 0 132868064 12779520 2838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 3120 2838 139 317 0 2799 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12480 [startup+12.7015 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1847256/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=13652 CPUtime=12.68 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 3185 0 0 0 1267 1 0 0 25 0 1 0 132868064 13979648 3134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 3413 3134 139 317 0 3092 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13652 [startup+25.5017 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1844824/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=15932 CPUtime=25.48 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 3764 0 0 0 2546 2 0 0 25 0 1 0 132868064 16314368 3713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 3983 3713 139 317 0 3662 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15932 [startup+51.1013 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1840344/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=20452 CPUtime=51.08 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 4896 0 0 0 5105 3 0 0 25 0 1 0 132868064 20942848 4845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 5113 4845 139 317 0 4792 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20452 [startup+102.305 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1831448/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=29372 CPUtime=102.27 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 7096 0 0 0 10221 6 0 0 25 0 1 0 132868064 30076928 7045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714124 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 7343 7045 139 317 0 7022 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29372 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1821144/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=40304 CPUtime=162.23 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 9673 0 0 0 16215 8 0 0 25 0 1 0 132868064 41271296 9622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 10076 9622 139 317 0 9755 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 40304 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1812632/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=48284 CPUtime=222.21 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 11825 0 0 0 22209 12 0 0 25 0 1 0 132868064 49442816 11716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 12071 11716 139 317 0 11750 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 48284 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1802072/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=61260 CPUtime=282.19 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 14458 0 0 0 28205 14 0 0 25 0 1 0 132868064 62730240 14349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 15315 14349 139 317 0 14994 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 61260 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1794200/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=68288 CPUtime=342.17 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 16399 0 0 0 34200 17 0 0 25 0 1 0 132868064 69926912 16290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 17072 16290 139 317 0 16751 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 68288 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1786712/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=75064 CPUtime=402.15 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 18268 0 0 0 40196 19 0 0 25 0 1 0 132868064 76865536 18159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715680 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 18766 18159 139 317 0 18445 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 75064 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1779480/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=81692 CPUtime=462.13 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 20055 0 0 0 46192 21 0 0 25 0 1 0 132868064 83652608 19946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 20423 19946 139 317 0 20102 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 81692 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1771352/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=95736 CPUtime=522.1 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 23236 0 0 0 52187 23 0 0 25 0 1 0 132868064 98033664 21990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 23934 21990 139 317 0 23613 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 95736 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1763928/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=105344 CPUtime=582.08 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 25606 0 0 0 58183 25 0 0 25 0 1 0 132868064 107872256 23799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 26336 23799 139 317 0 26015 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 105344 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1757208/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=111072 CPUtime=642.07 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 27285 0 0 0 64180 27 0 0 25 0 1 0 132868064 113737728 25478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 27768 25478 139 317 0 27447 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 111072 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1738072/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=127732 CPUtime=822.01 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 32061 0 0 0 82169 32 0 0 25 0 1 0 132868064 130797568 30254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 31933 30254 139 317 0 31612 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 127732 [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1732056/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=132952 CPUtime=881.99 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 33562 0 0 0 88165 34 0 0 25 0 1 0 132868064 136142848 31755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 33238 31755 139 317 0 32917 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 132952 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1726104/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=138024 CPUtime=941.97 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 35052 0 0 0 94161 36 0 0 25 0 1 0 132868064 141336576 33245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 34506 33245 139 317 0 34185 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 138024 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1720536/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=142960 CPUtime=1001.94 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 36442 0 0 0 100158 36 0 0 25 0 1 0 132868064 146391040 34635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 35740 34635 139 317 0 35419 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 142960 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1714648/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=147916 CPUtime=1061.92 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 37903 0 0 0 106154 38 0 0 25 0 1 0 132868064 151465984 36096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 36979 36096 139 317 0 36658 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 147916 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1709208/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=152736 CPUtime=1121.9 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 39260 0 0 0 112151 39 0 0 25 0 1 0 132868064 156401664 37453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134603933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 38184 37453 139 317 0 37863 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 152736 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1703960/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=157408 CPUtime=1181.89 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 40621 0 0 0 118148 41 0 0 25 0 1 0 132868064 161185792 38814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 39352 38814 139 317 0 39031 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 157408 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29692 /proc/meminfo: memFree=1696984/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=177880 CPUtime=1241.87 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 45553 0 0 0 124144 43 0 0 25 0 1 0 132868064 182149120 40432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 44470 40432 139 317 0 44149 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 177880 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/71 29814 /proc/meminfo: memFree=1690328/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=189488 CPUtime=1301.79 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 48458 0 0 0 130133 46 0 0 25 0 1 0 132868064 194035712 41777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 47372 41777 139 317 0 47051 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 189488 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1687000/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=193384 CPUtime=1361.73 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 49582 0 0 0 136125 48 0 0 25 0 1 0 132868064 198025216 42901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 48346 42901 139 317 0 48025 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 193384 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1681944/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=197988 CPUtime=1421.71 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 50899 0 0 0 142122 49 0 0 25 0 1 0 132868064 202739712 44153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 49497 44153 139 317 0 49176 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 197988 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1677144/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=202156 CPUtime=1481.69 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 52103 0 0 0 148118 51 0 0 25 0 1 0 132868064 207007744 45357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 50539 45357 139 317 0 50218 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 202156 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1672088/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=206464 CPUtime=1541.66 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 53356 0 0 0 154114 52 0 0 25 0 1 0 132868064 211419136 46610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 51616 46610 139 317 0 51295 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 206464 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1666968/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=210644 CPUtime=1601.65 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 54626 0 0 0 160111 54 0 0 25 0 1 0 132868064 215699456 47880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 52661 47880 139 317 0 52340 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 210644 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1662360/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=214668 CPUtime=1661.63 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 55816 0 0 0 166108 55 0 0 25 0 1 0 132868064 219820032 49070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 53667 49070 139 317 0 53346 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 214668 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1657624/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=218724 CPUtime=1721.61 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 57008 0 0 0 172104 57 0 0 25 0 1 0 132868064 223973376 50262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 54681 50262 139 317 0 54360 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 218724 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1652888/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=222760 CPUtime=1781.58 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 58192 0 0 0 178100 58 0 0 25 0 1 0 132868064 228106240 51413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 55690 51413 139 317 0 55369 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 222760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.99 0.99 2/65 29890 /proc/meminfo: memFree=1651608/2055920 swapFree=4179544/4192956 [pid=29691] ppid=29689 vsize=224072 CPUtime=1800.08 /proc/29691/stat : 29691 (oree) R 29689 29691 29589 0 -1 4194304 58506 0 0 0 179949 59 0 0 25 0 1 0 132868064 229449728 51727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29691/statm: 56018 51727 139 317 0 55697 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 224072 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.16 CPU user time (s): 1799.53 CPU system time (s): 0.630904 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 224072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.630904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58522 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 4624 runsolver used 1.41278 second user time and 3.73543 second system time The end
Begin job on node60 on Tue Apr 17 22:39:41 UTC 2007 IDJOB= 362944 IDBENCH= 1694 IDSOLVER= 172 FILE ID= node60/362944-1176849581 PBS_JOBID= 4590221 Free space on /tmp= 66489 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-degen2.opb COMMAND LINE= oree /tmp/evaluation/362944-1176849581/instance-362944-1176849581.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-362944-1176849581 -o ROOT/results/node60/solver-362944-1176849581 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362944-1176849581/instance-362944-1176849581.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ef301ecece8b2033bfa1fe9b39eee48a RANDOM SEED= 882816272 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1859824 kB Buffers: 20520 kB Cached: 131312 kB SwapCached: 7764 kB Active: 87216 kB Inactive: 78384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859824 kB SwapTotal: 4192956 kB SwapFree: 4179544 kB Dirty: 2636 kB Writeback: 0 kB Mapped: 15404 kB Slab: 16524 kB Committed_AS: 1497544 kB PageTables: 1464 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= 66489 MiB End job on node60 on Tue Apr 17 23:09:44 UTC 2007