Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb |
MD5SUM | 1a4e4bfb1c77b43166d46bacbe01c892 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 103872 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 31125091123200 |
Number of bits for the biggest coefficient in the objective function | 45 |
Sum of the numbers in the objective function | 14624065344515792 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 31125091123200 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 14624065344515792 |
Number of bits of the biggest sum of numbers | 54 |
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... 1.09/1.11 c ...done 1.09/1.11 c #vars=103872 #constraints=4561 hasObjective=yes 1.58/1.60 c res. mode=mod 1.58/1.60 c VSIDS like heuristics 1.58/1.60 c complete search running 2.48/2.54 c restart after 401 decisions 2.58/2.70 c nbDecision=500 #constraints=4637 3.39/3.45 c restart after 801 decisions 3.69/3.76 c nbDecision=1000 #constraints=4716 4.89/4.93 c nbDecision=1500 #constraints=4815 4.99/5.08 c restart after 1601 decisions 5.59/5.70 c nbDecision=2000 #constraints=4815 6.39/6.45 c nbDecision=2500 #constraints=4817 7.19/7.20 c nbDecision=3000 #constraints=4820 7.49/7.50 c restart after 3201 decisions 7.89/7.96 c nbDecision=3500 #constraints=4820 8.69/8.72 c nbDecision=4000 #constraints=4820 9.39/9.47 c nbDecision=4500 #constraints=4820 10.19/10.21 c nbDecision=5000 #constraints=4820 10.89/10.95 c nbDecision=5500 #constraints=4820 11.58/11.69 c nbDecision=6000 #constraints=4820 12.18/12.29 c restart after 6401 decisions 12.38/12.45 c nbDecision=6500 #constraints=4820 13.09/13.20 c nbDecision=7000 #constraints=4820 13.88/13.95 c nbDecision=7500 #constraints=4820 14.58/14.69 c nbDecision=8000 #constraints=4820 15.39/15.44 c nbDecision=8500 #constraints=4820 16.08/16.19 c nbDecision=9000 #constraints=4820 16.88/16.93 c nbDecision=9500 #constraints=4820 17.59/17.67 c nbDecision=10000 #constraints=4820 18.28/18.39 c nbDecision=10500 #constraints=4820 19.08/19.12 c nbDecision=11000 #constraints=4820 19.79/19.85 c nbDecision=11500 #constraints=4820 20.48/20.58 c nbDecision=12000 #constraints=4820 21.28/21.31 c nbDecision=12500 #constraints=4820 21.68/21.75 c restart after 12801 decisions 21.98/22.07 c nbDecision=13000 #constraints=4820 22.78/22.84 c nbDecision=13500 #constraints=4820 23.48/23.59 c nbDecision=14000 #constraints=4820 24.28/24.34 c nbDecision=14500 #constraints=4820 24.98/25.09 c nbDecision=15000 #constraints=4820 25.78/25.82 c nbDecision=15500 #constraints=4820 26.48/26.56 c nbDecision=16000 #constraints=4820 27.18/27.29 c nbDecision=16500 #constraints=4820 27.98/28.03 c nbDecision=17000 #constraints=4820 28.68/28.75 c nbDecision=17500 #constraints=4820 29.38/29.48 c nbDecision=18000 #constraints=4820 30.08/30.19 c nbDecision=18500 #constraints=4820 30.78/30.90 c nbDecision=19000 #constraints=4820 31.58/31.60 c nbDecision=19500 #constraints=4820 32.28/32.31 c nbDecision=20000 #constraints=4820 32.98/33.02 c nbDecision=20500 #constraints=4820 33.68/33.73 c nbDecision=21000 #constraints=4820 34.38/34.43 c nbDecision=21500 #constraints=4820 35.08/35.13 c nbDecision=22000 #constraints=4820 35.78/35.84 c nbDecision=22500 #constraints=4820 36.48/36.54 c nbDecision=23000 #constraints=4820 37.18/37.24 c nbDecision=23500 #constraints=4820 37.88/37.94 c nbDecision=24000 #constraints=4820 38.58/38.63 c nbDecision=24500 #constraints=4820 39.28/39.32 c nbDecision=25000 #constraints=4820 39.97/40.01 c nbDecision=25500 #constraints=4820 40.07/40.15 c restart after 25601 decisions 40.68/40.77 c nbDecision=26000 #constraints=4820 41.47/41.53 c nbDecision=26500 #constraints=4820 42.17/42.29 c nbDecision=27000 #constraints=4820 42.97/43.04 c nbDecision=27500 #constraints=4820 43.67/43.78 c nbDecision=28000 #constraints=4820 44.47/44.53 c nbDecision=28500 #constraints=4820 45.17/45.26 c nbDecision=29000 #constraints=4820 45.87/46.00 c nbDecision=29500 #constraints=4820 46.68/46.72 c nbDecision=30000 #constraints=4820 47.38/47.45 c nbDecision=30500 #constraints=4820 48.08/48.18 c nbDecision=31000 #constraints=4820 48.88/48.90 c nbDecision=31500 #constraints=4820 49.58/49.62 c nbDecision=32000 #constraints=4820 50.28/50.33 c nbDecision=32500 #constraints=4820 50.98/51.05 c nbDecision=33000 #constraints=4820 51.68/51.76 c nbDecision=33500 #constraints=4820 52.38/52.46 c nbDecision=34000 #constraints=4820 53.08/53.17 c nbDecision=34500 #constraints=4820 53.78/53.87 c nbDecision=35000 #constraints=4820 54.48/54.56 c nbDecision=35500 #constraints=4820 55.18/55.27 c nbDecision=36000 #constraints=4820 55.88/55.96 c nbDecision=36500 #constraints=4820 56.58/56.66 c nbDecision=37000 #constraints=4820 57.28/57.35 c nbDecision=37500 #constraints=4820 57.98/58.05 c nbDecision=38000 #constraints=4820 58.68/58.73 c nbDecision=38500 #constraints=4820 59.38/59.44 c nbDecision=39000 #constraints=4820 60.08/60.13 c nbDecision=39500 #constraints=4820 60.78/60.80 c nbDecision=40000 #constraints=4820 61.38/61.47 c nbDecision=40500 #constraints=4820 62.08/62.15 c nbDecision=41000 #constraints=4820 62.78/62.82 c nbDecision=41500 #constraints=4820 63.38/63.49 c nbDecision=42000 #constraints=4820 64.08/64.16 c nbDecision=42500 #constraints=4820 64.78/64.82 c nbDecision=43000 #constraints=4820 65.38/65.48 c nbDecision=43500 #constraints=4820 66.07/66.13 c nbDecision=44000 #constraints=4820 66.68/66.78 c nbDecision=44500 #constraints=4820 67.37/67.43 c nbDecision=45000 #constraints=4820 67.97/68.08 c nbDecision=45500 #constraints=4820 68.67/68.73 c nbDecision=46000 #constraints=4820 69.28/69.37 c nbDecision=46500 #constraints=4820 69.97/70.01 c nbDecision=47000 #constraints=4820 70.57/70.64 c nbDecision=47500 #constraints=4820 71.17/71.27 c nbDecision=48000 #constraints=4820 71.87/71.90 c nbDecision=48500 #constraints=4820 72.48/72.60 c nbDecision=49000 #constraints=4821 73.17/73.29 c nbDecision=49500 #constraints=4821 73.87/73.97 c nbDecision=50000 #constraints=4821 74.57/74.65 c nbDecision=50500 #constraints=4821 75.27/75.34 c nbDecision=51000 #constraints=4821 75.57/75.61 c restart after 51201 decisions 76.07/76.10 c nbDecision=51500 #constraints=4821 76.77/76.86 c nbDecision=52000 #constraints=4821 77.57/77.60 c nbDecision=52500 #constraints=4821 78.27/78.35 c nbDecision=53000 #constraints=4821 78.97/79.10 c nbDecision=53500 #constraints=4821 79.77/79.85 c nbDecision=54000 #constraints=4821 80.47/80.57 c nbDecision=54500 #constraints=4821 81.27/81.31 c nbDecision=55000 #constraints=4821 81.97/82.05 c nbDecision=55500 #constraints=4821 82.67/82.79 c nbDecision=56000 #constraints=4821 83.47/83.52 c nbDecision=56500 #constraints=4821 84.17/84.24 c nbDecision=57000 #constraints=4821 84.87/84.96 c nbDecision=57500 #constraints=4821 85.57/85.67 c nbDecision=58000 #constraints=4821 86.27/86.39 c nbDecision=58500 #constraints=4821 87.07/87.10 c nbDecision=59000 #constraints=4821 87.77/87.81 c nbDecision=59500 #constraints=4821 88.47/88.51 c nbDecision=60000 #constraints=4821 89.17/89.22 c nbDecision=60500 #constraints=4821 89.87/89.92 c nbDecision=61000 #constraints=4821 90.57/90.61 c nbDecision=61500 #constraints=4821 91.27/91.31 c nbDecision=62000 #constraints=4821 91.97/92.00 c nbDecision=62500 #constraints=4821 92.57/92.69 c nbDecision=63000 #constraints=4821 93.26/93.38 c nbDecision=63500 #constraints=4821 93.96/94.06 c nbDecision=64000 #constraints=4821 94.66/94.75 c nbDecision=64500 #constraints=4821 95.36/95.43 c nbDecision=65000 #constraints=4821 96.06/96.12 c nbDecision=65500 #constraints=4821 96.67/96.79 c nbDecision=66000 #constraints=4821 97.36/97.46 c nbDecision=66500 #constraints=4821 98.06/98.13 c nbDecision=67000 #constraints=4821 98.76/98.80 c nbDecision=67500 #constraints=4821 99.36/99.47 c nbDecision=68000 #constraints=4821 100.07/100.14 c nbDecision=68500 #constraints=4821 100.76/100.80 c nbDecision=69000 #constraints=4821 101.36/101.46 c nbDecision=69500 #constraints=4821 102.06/102.11 c nbDecision=70000 #constraints=4821 102.66/102.76 c nbDecision=70500 #constraints=4821 103.37/103.42 c nbDecision=71000 #constraints=4821 103.96/104.06 c nbDecision=71500 #constraints=4821 104.66/104.70 c nbDecision=72000 #constraints=4821 105.26/105.34 c nbDecision=72500 #constraints=4821 105.86/105.97 c nbDecision=73000 #constraints=4821 106.56/106.60 c nbDecision=73500 #constraints=4821 107.16/107.23 c nbDecision=74000 #constraints=4821 107.86/107.93 c nbDecision=74500 #constraints=4822 108.56/108.63 c nbDecision=75000 #constraints=4822 109.26/109.33 c nbDecision=75500 #constraints=4822 109.96/110.03 c nbDecision=76000 #constraints=4822 110.66/110.72 c nbDecision=76500 #constraints=4822 111.36/111.41 c nbDecision=77000 #constraints=4822 111.96/112.10 c nbDecision=77500 #constraints=4822 112.66/112.78 c nbDecision=78000 #constraints=4822 113.36/113.46 c nbDecision=78500 #constraints=4822 114.06/114.14 c nbDecision=79000 #constraints=4822 114.76/114.82 c nbDecision=79500 #constraints=4822 115.36/115.50 c nbDecision=80000 #constraints=4822 116.06/116.18 c nbDecision=80500 #constraints=4822 116.76/116.85 c nbDecision=81000 #constraints=4822 117.46/117.52 c nbDecision=81500 #constraints=4822 118.06/118.19 c nbDecision=82000 #constraints=4822 118.76/118.86 c nbDecision=82500 #constraints=4822 119.45/119.52 c nbDecision=83000 #constraints=4822 120.05/120.18 c nbDecision=83500 #constraints=4822 120.75/120.84 c nbDecision=84000 #constraints=4822 121.35/121.49 c nbDecision=84500 #constraints=4822 122.06/122.14 c nbDecision=85000 #constraints=4822 122.65/122.79 c nbDecision=85500 #constraints=4822 123.35/123.43 c nbDecision=86000 #constraints=4822 123.95/124.07 c nbDecision=86500 #constraints=4822 124.65/124.71 c nbDecision=87000 #constraints=4822 125.26/125.34 c nbDecision=87500 #constraints=4822 125.85/125.97 c nbDecision=88000 #constraints=4822 126.55/126.66 c nbDecision=88500 #constraints=4823 127.25/127.36 c nbDecision=89000 #constraints=4823 127.95/128.04 c nbDecision=89500 #constraints=4823 128.65/128.73 c nbDecision=90000 #constraints=4823 129.35/129.42 c nbDecision=90500 #constraints=4823 130.05/130.10 c nbDecision=91000 #constraints=4823 130.65/130.78 c nbDecision=91500 #constraints=4823 131.35/131.46 c nbDecision=92000 #constraints=4823 132.05/132.14 c nbDecision=92500 #constraints=4823 132.75/132.80 c nbDecision=93000 #constraints=4823 133.35/133.47 c nbDecision=93500 #constraints=4823 134.05/134.13 c nbDecision=94000 #constraints=4823 134.65/134.80 c nbDecision=94500 #constraints=4823 135.35/135.46 c nbDecision=95000 #constraints=4823 136.05/136.13 c nbDecision=95500 #constraints=4823 136.65/136.79 c nbDecision=96000 #constraints=4823 137.35/137.45 c nbDecision=96500 #constraints=4823 138.05/138.11 c nbDecision=97000 #constraints=4823 138.65/138.76 c nbDecision=97500 #constraints=4823 139.35/139.41 c nbDecision=98000 #constraints=4823 139.95/140.06 c nbDecision=98500 #constraints=4823 140.65/140.70 c nbDecision=99000 #constraints=4823 141.25/141.35 c nbDecision=99500 #constraints=4823 141.85/141.99 c nbDecision=100000 #constraints=4823 142.55/142.62 c nbDecision=100500 #constraints=4823 143.14/143.26 c nbDecision=101000 #constraints=4823 143.85/143.98 c nbDecision=101500 #constraints=4824 144.54/144.69 c nbDecision=102000 #constraints=4824 145.15/145.25 c restart after 102401 decisions 145.34/145.42 c nbDecision=102500 #constraints=4824 146.04/146.18 c nbDecision=103000 #constraints=4824 146.84/146.93 c nbDecision=103500 #constraints=4824 147.54/147.67 c nbDecision=104000 #constraints=4824 148.35/148.42 c nbDecision=104500 #constraints=4824 149.04/149.16 c nbDecision=105000 #constraints=4824 149.74/149.89 c nbDecision=105500 #constraints=4824 150.55/150.63 c nbDecision=106000 #constraints=4824 151.24/151.36 c nbDecision=106500 #constraints=4824 151.95/152.08 c nbDecision=107000 #constraints=4824 152.75/152.80 c nbDecision=107500 #constraints=4824 153.45/153.53 c nbDecision=108000 #constraints=4824 154.15/154.25 c nbDecision=108500 #constraints=4824 154.85/154.97 c nbDecision=109000 #constraints=4824 155.55/155.69 c nbDecision=109500 #constraints=4824 156.35/156.41 c nbDecision=110000 #constraints=4824 157.05/157.13 c nbDecision=110500 #constraints=4824 157.74/157.84 c nbDecision=111000 #constraints=4824 158.44/158.56 c nbDecision=111500 #constraints=4824 159.14/159.26 c nbDecision=112000 #constraints=4824 159.84/159.97 c nbDecision=112500 #constraints=4824 160.55/160.67 c nbDecision=113000 #constraints=4824 161.24/161.37 c nbDecision=113500 #constraints=4824 161.94/162.06 c nbDecision=114000 #constraints=4824 162.65/162.76 c nbDecision=114500 #constraints=4824 163.34/163.45 c nbDecision=115000 #constraints=4824 164.04/164.14 c nbDecision=115500 #constraints=4824 164.74/164.83 c nbDecision=116000 #constraints=4824 165.34/165.50 c nbDecision=116500 #constraints=4824 166.04/166.17 c nbDecision=117000 #constraints=4824 166.74/166.84 c nbDecision=117500 #constraints=4824 167.44/167.51 c nbDecision=118000 #constraints=4824 168.04/168.17 c nbDecision=118500 #constraints=4824 168.74/168.84 c nbDecision=119000 #constraints=4824 169.44/169.50 c nbDecision=119500 #constraints=4824 170.04/170.16 c nbDecision=120000 #constraints=4824 170.74/170.81 c nbDecision=120500 #constraints=4824 171.34/171.46 c nbDecision=121000 #constraints=4824 172.04/172.11 c nbDecision=121500 #constraints=4824 172.64/172.76 c nbDecision=122000 #constraints=4824 173.34/173.40 c nbDecision=122500 #constraints=4824 173.94/174.04 c nbDecision=123000 #constraints=4824 174.54/174.68 c nbDecision=123500 #constraints=4824 175.24/175.32 c nbDecision=124000 #constraints=4824 175.84/175.96 c nbDecision=124500 #constraints=4824 176.44/176.60 c nbDecision=125000 #constraints=4824 177.14/177.27 c nbDecision=125500 #constraints=4825 177.84/177.98 c nbDecision=126000 #constraints=4825 178.54/178.68 c nbDecision=126500 #constraints=4825 179.24/179.39 c nbDecision=127000 #constraints=4825 179.94/180.09 c nbDecision=127500 #constraints=4825 180.64/180.79 c nbDecision=128000 #constraints=4825 181.34/181.48 c nbDecision=128500 #constraints=4825 182.04/182.17 c nbDecision=129000 #constraints=4825 182.74/182.86 c nbDecision=129500 #constraints=4825 183.44/183.55 c nbDecision=130000 #constraints=4825 184.14/184.23 c nbDecision=130500 #constraints=4825 184.84/184.91 c nbDecision=131000 #constraints=4825 185.44/185.57 c nbDecision=131500 #constraints=4825 186.14/186.24 c nbDecision=132000 #constraints=4825 186.84/186.91 c nbDecision=132500 #constraints=4825 187.43/187.57 c nbDecision=133000 #constraints=4825 188.13/188.23 c nbDecision=133500 #constraints=4825 188.83/188.95 c nbDecision=134000 #constraints=4825 189.53/189.60 c nbDecision=134500 #constraints=4825 190.14/190.25 c nbDecision=135000 #constraints=4825 190.83/190.90 c nbDecision=135500 #constraints=4825 191.43/191.55 c nbDecision=136000 #constraints=4825 192.03/192.19 c nbDecision=136500 #constraints=4825 192.73/192.83 c nbDecision=137000 #constraints=4825 193.33/193.47 c nbDecision=137500 #constraints=4825 194.03/194.11 c nbDecision=138000 #constraints=4825 194.64/194.74 c nbDecision=138500 #constraints=4825 195.23/195.38 c nbDecision=139000 #constraints=4825 195.93/196.05 c nbDecision=139500 #constraints=4826 196.63/196.76 c nbDecision=140000 #constraints=4826 197.33/197.47 c nbDecision=140500 #constraints=4826 198.03/198.17 c nbDecision=141000 #constraints=4826 198.73/198.87 c nbDecision=141500 #constraints=4826 199.43/199.57 c nbDecision=142000 #constraints=4826 200.13/200.26 c nbDecision=142500 #constraints=4826 200.83/200.94 c nbDecision=143000 #constraints=4826 201.53/201.63 c nbDecision=143500 #constraints=4826 202.23/202.31 c nbDecision=144000 #constraints=4826 202.93/203.00 c nbDecision=144500 #constraints=4826 203.53/203.68 c nbDecision=145000 #constraints=4826 204.22/204.35 c nbDecision=145500 #constraints=4826 204.92/205.02 c nbDecision=146000 #constraints=4826 205.53/205.68 c nbDecision=146500 #constraints=4826 206.22/206.35 c nbDecision=147000 #constraints=4826 206.92/207.00 c nbDecision=147500 #constraints=4826 207.52/207.66 c nbDecision=148000 #constraints=4826 208.22/208.32 c nbDecision=148500 #constraints=4826 208.83/208.97 c nbDecision=149000 #constraints=4826 209.52/209.62 c nbDecision=149500 #constraints=4826 210.12/210.26 c nbDecision=150000 #constraints=4826 210.82/210.90 c nbDecision=150500 #constraints=4826 211.42/211.54 c nbDecision=151000 #constraints=4826 212.02/212.18 c nbDecision=151500 #constraints=4826 212.72/212.82 c nbDecision=152000 #constraints=4826 213.33/213.45 c nbDecision=152500 #constraints=4826 213.92/214.08 c nbDecision=153000 #constraints=4826 214.62/214.76 c nbDecision=153500 #constraints=4827 215.32/215.47 c nbDecision=154000 #constraints=4827 216.02/216.17 c nbDecision=154500 #constraints=4827 216.72/216.87 c nbDecision=155000 #constraints=4827 217.42/217.57 c nbDecision=155500 #constraints=4827 218.12/218.27 c nbDecision=156000 #constraints=4827 218.82/218.97 c nbDecision=156500 #constraints=4827 219.52/219.66 c nbDecision=157000 #constraints=4827 220.22/220.34 c nbDecision=157500 #constraints=4827 220.92/221.03 c nbDecision=158000 #constraints=4827 221.62/221.71 c nbDecision=158500 #constraints=4827 222.22/222.39 c nbDecision=159000 #constraints=4827 222.92/223.07 c nbDecision=159500 #constraints=4827 223.62/223.74 c nbDecision=160000 #constraints=4827 224.32/224.42 c nbDecision=160500 #constraints=4827 224.92/225.08 c nbDecision=161000 #constraints=4827 225.62/225.74 c nbDecision=161500 #constraints=4827 226.32/226.40 c nbDecision=162000 #constraints=4827 226.92/227.05 c nbDecision=162500 #constraints=4827 227.63/227.70 c nbDecision=163000 #constraints=4827 228.22/228.35 c nbDecision=163500 #constraints=4827 228.82/228.99 c nbDecision=164000 #constraints=4827 229.52/229.63 c nbDecision=164500 #constraints=4827 230.12/230.27 c nbDecision=165000 #constraints=4827 230.83/230.91 c nbDecision=165500 #constraints=4827 231.42/231.55 c nbDecision=166000 #constraints=4827 232.03/232.18 c nbDecision=166500 #constraints=4827 232.72/232.81 c nbDecision=167000 #constraints=4827 233.32/233.48 c nbDecision=167500 #constraints=4828 234.02/234.16 c nbDecision=168000 #constraints=4828 234.72/234.84 c nbDecision=168500 #constraints=4828 235.42/235.52 c nbDecision=169000 #constraints=4828 236.12/236.20 c nbDecision=169500 #constraints=4828 236.72/236.88 c nbDecision=170000 #constraints=4828 237.42/237.55 c nbDecision=170500 #constraints=4828 238.12/238.22 c nbDecision=171000 #constraints=4828 238.72/238.89 c nbDecision=171500 #constraints=4828 239.42/239.56 c nbDecision=172000 #constraints=4828 240.12/240.22 c nbDecision=172500 #constraints=4828 240.72/240.88 c nbDecision=173000 #constraints=4828 241.42/241.54 c nbDecision=173500 #constraints=4828 242.02/242.19 c nbDecision=174000 #constraints=4828 242.72/242.84 c nbDecision=174500 #constraints=4828 243.32/243.49 c nbDecision=175000 #constraints=4828 244.02/244.14 c nbDecision=175500 #constraints=4828 244.62/244.78 c nbDecision=176000 #constraints=4828 245.32/245.41 c nbDecision=176500 #constraints=4828 245.92/246.04 c nbDecision=177000 #constraints=4828 246.52/246.67 c nbDecision=177500 #constraints=4828 247.22/247.37 c nbDecision=178000 #constraints=4829 247.92/248.05 c nbDecision=178500 #constraints=4829 248.62/248.73 c nbDecision=179000 #constraints=4829 249.32/249.41 c nbDecision=179500 #constraints=4829 249.92/250.09 c nbDecision=180000 #constraints=4829 250.62/250.77 c nbDecision=180500 #constraints=4829 251.31/251.44 c nbDecision=181000 #constraints=4829 252.01/252.11 c nbDecision=181500 #constraints=4829 252.61/252.78 c nbDecision=182000 #constraints=4829 253.31/253.44 c nbDecision=182500 #constraints=4829 254.02/254.10 c nbDecision=183000 #constraints=4829 254.61/254.76 c nbDecision=183500 #constraints=4829 255.31/255.43 c nbDecision=184000 #constraints=4829 255.91/256.09 c nbDecision=184500 #constraints=4829 256.61/256.74 c nbDecision=185000 #constraints=4829 257.22/257.39 c nbDecision=185500 #constraints=4829 257.91/258.04 c nbDecision=186000 #constraints=4829 258.51/258.69 c nbDecision=186500 #constraints=4829 259.21/259.34 c nbDecision=187000 #constraints=4829 259.81/259.98 c nbDecision=187500 #constraints=4829 260.52/260.62 c nbDecision=188000 #constraints=4829 261.11/261.25 c nbDecision=188500 #constraints=4829 261.72/261.89 c nbDecision=189000 #constraints=4829 262.41/262.59 c nbDecision=189500 #constraints=4830 263.11/263.28 c nbDecision=190000 #constraints=4830 263.81/263.97 c nbDecision=190500 #constraints=4830 264.51/264.65 c nbDecision=191000 #constraints=4830 265.21/265.33 c nbDecision=191500 #constraints=4830 265.91/266.00 c nbDecision=192000 #constraints=4830 266.51/266.67 c nbDecision=192500 #constraints=4830 267.21/267.34 c nbDecision=193000 #constraints=4830 267.91/268.01 c nbDecision=193500 #constraints=4830 268.51/268.67 c nbDecision=194000 #constraints=4830 269.21/269.33 c nbDecision=194500 #constraints=4830 269.81/269.98 c nbDecision=195000 #constraints=4830 270.51/270.64 c nbDecision=195500 #constraints=4830 271.11/271.29 c nbDecision=196000 #constraints=4830 271.81/271.95 c nbDecision=196500 #constraints=4830 272.41/272.59 c nbDecision=197000 #constraints=4830 273.11/273.24 c nbDecision=197500 #constraints=4830 273.71/273.88 c nbDecision=198000 #constraints=4830 274.40/274.52 c nbDecision=198500 #constraints=4830 275.00/275.16 c nbDecision=199000 #constraints=4830 275.70/275.80 c nbDecision=199500 #constraints=4830 276.30/276.44 c nbDecision=200000 #constraints=4830 276.90/277.08 c nbDecision=200500 #constraints=4830 277.60/277.79 c nbDecision=201000 #constraints=4831 278.40/278.50 c nbDecision=201500 #constraints=4831 279.10/279.20 c nbDecision=202000 #constraints=4831 279.80/279.90 c nbDecision=202500 #constraints=4831 280.41/280.59 c nbDecision=203000 #constraints=4831 281.10/281.29 c nbDecision=203500 #constraints=4831 281.80/281.98 c nbDecision=204000 #constraints=4831 282.51/282.67 c nbDecision=204500 #constraints=4831 282.90/283.09 c restart after 204801 decisions 283.30/283.42 c nbDecision=205000 #constraints=4831 284.00/284.19 c nbDecision=205500 #constraints=4831 284.80/284.94 c nbDecision=206000 #constraints=4831 285.50/285.68 c nbDecision=206500 #constraints=4831 286.30/286.42 c nbDecision=207000 #constraints=4831 287.00/287.16 c nbDecision=207500 #constraints=4831 287.80/287.90 c nbDecision=208000 #constraints=4831 288.50/288.63 c nbDecision=208500 #constraints=4831 289.20/289.36 c nbDecision=209000 #constraints=4831 289.90/290.09 c nbDecision=209500 #constraints=4831 290.70/290.82 c nbDecision=210000 #constraints=4831 291.40/291.54 c nbDecision=210500 #constraints=4831 292.10/292.26 c nbDecision=211000 #constraints=4831 292.80/292.98 c nbDecision=211500 #constraints=4831 293.50/293.69 c nbDecision=212000 #constraints=4831 294.30/294.40 c nbDecision=212500 #constraints=4831 295.00/295.12 c nbDecision=213000 #constraints=4831 295.70/295.83 c nbDecision=213500 #constraints=4831 296.39/296.54 c nbDecision=214000 #constraints=4831 297.09/297.25 c nbDecision=214500 #constraints=4831 297.79/297.95 c nbDecision=215000 #constraints=4831 298.49/298.65 c nbDecision=215500 #constraints=4831 299.19/299.35 c nbDecision=216000 #constraints=4831 299.89/300.05 c nbDecision=216500 #constraints=4831 300.59/300.74 c nbDecision=217000 #constraints=4831 301.30/301.44 c nbDecision=217500 #constraints=4831 301.99/302.12 c nbDecision=218000 #constraints=4831 302.69/302.81 c nbDecision=218500 #constraints=4831 303.29/303.49 c nbDecision=219000 #constraints=4831 303.99/304.17 c nbDecision=219500 #constraints=4831 304.69/304.85 c nbDecision=220000 #constraints=4831 305.39/305.52 c nbDecision=220500 #constraints=4831 305.99/306.18 c nbDecision=221000 #constraints=4831 306.70/306.83 c nbDecision=221500 #constraints=4831 307.29/307.49 c nbDecision=222000 #constraints=4831 307.99/308.15 c nbDecision=222500 #constraints=4831 308.69/308.80 c nbDecision=223000 #constraints=4831 309.29/309.45 c nbDecision=223500 #constraints=4831 309.99/310.10 c nbDecision=224000 #constraints=4831 310.59/310.75 c nbDecision=224500 #constraints=4831 311.19/311.39 c nbDecision=225000 #constraints=4831 311.89/312.03 c nbDecision=225500 #constraints=4831 312.49/312.67 c nbDecision=226000 #constraints=4831 313.19/313.30 c nbDecision=226500 #constraints=4831 313.79/313.93 c nbDecision=227000 #constraints=4831 314.39/314.56 c nbDecision=227500 #constraints=4831 315.09/315.26 c nbDecision=228000 #constraints=4832 315.79/315.96 c nbDecision=228500 #constraints=4832 316.49/316.66 c nbDecision=229000 #constraints=4832 317.18/317.37 c nbDecision=229500 #constraints=4832 317.88/318.06 c nbDecision=230000 #constraints=4832 318.58/318.75 c nbDecision=230500 #constraints=4832 319.28/319.45 c nbDecision=231000 #constraints=4832 319.99/320.14 c nbDecision=231500 #constraints=4832 320.68/320.82 c nbDecision=232000 #constraints=4832 321.38/321.50 c nbDecision=232500 #constraints=4832 321.98/322.17 c nbDecision=233000 #constraints=4832 322.68/322.85 c nbDecision=233500 #constraints=4832 323.38/323.53 c nbDecision=234000 #constraints=4832 324.08/324.21 c nbDecision=234500 #constraints=4832 324.68/324.87 c nbDecision=235000 #constraints=4832 325.39/325.53 c nbDecision=235500 #constraints=4832 325.98/326.19 c nbDecision=236000 #constraints=4832 326.68/326.85 c nbDecision=236500 #constraints=4832 327.38/327.50 c nbDecision=237000 #constraints=4832 327.98/328.16 c nbDecision=237500 #constraints=4832 328.58/328.80 c nbDecision=238000 #constraints=4832 329.28/329.44 c nbDecision=238500 #constraints=4832 329.88/330.08 c nbDecision=239000 #constraints=4832 330.58/330.72 c nbDecision=239500 #constraints=4832 331.18/331.36 c nbDecision=240000 #constraints=4832 331.79/332.00 c nbDecision=240500 #constraints=4832 332.49/332.63 c nbDecision=241000 #constraints=4832 333.09/333.26 c nbDecision=241500 #constraints=4832 333.79/333.94 c nbDecision=242000 #constraints=4833 334.49/334.62 c nbDecision=242500 #constraints=4833 335.19/335.30 c nbDecision=243000 #constraints=4833 335.79/335.98 c nbDecision=243500 #constraints=4833 336.49/336.66 c nbDecision=244000 #constraints=4833 337.19/337.34 c nbDecision=244500 #constraints=4833 337.89/338.01 c nbDecision=245000 #constraints=4833 338.48/338.68 c nbDecision=245500 #constraints=4833 339.18/339.35 c nbDecision=246000 #constraints=4833 339.88/340.01 c nbDecision=246500 #constraints=4833 340.49/340.67 c nbDecision=247000 #constraints=4833 341.18/341.33 c nbDecision=247500 #constraints=4833 341.78/341.98 c nbDecision=248000 #constraints=4833 342.48/342.64 c nbDecision=248500 #constraints=4833 343.09/343.29 c nbDecision=249000 #constraints=4833 343.78/343.93 c nbDecision=249500 #constraints=4833 344.38/344.58 c nbDecision=250000 #constraints=4833 345.08/345.21 c nbDecision=250500 #constraints=4833 345.68/345.84 c nbDecision=251000 #constraints=4833 346.29/346.47 c nbDecision=251500 #constraints=4833 346.98/347.14 c nbDecision=252000 #constraints=4834 347.68/347.84 c nbDecision=252500 #constraints=4834 348.38/348.53 c nbDecision=253000 #constraints=4834 349.08/349.22 c nbDecision=253500 #constraints=4834 349.78/349.90 c nbDecision=254000 #constraints=4834 350.38/350.59 c nbDecision=254500 #constraints=4834 351.08/351.27 c nbDecision=255000 #constraints=4834 351.78/351.94 c nbDecision=255500 #constraints=4834 352.48/352.62 c nbDecision=256000 #constraints=4834 353.08/353.29 c nbDecision=256500 #constraints=4834 353.78/353.96 c nbDecision=257000 #constraints=4834 354.48/354.63 c nbDecision=257500 #constraints=4834 355.18/355.30 c nbDecision=258000 #constraints=4834 355.78/355.97 c nbDecision=258500 #constraints=4834 356.48/356.63 c nbDecision=259000 #constraints=4834 357.08/357.30 c nbDecision=259500 #constraints=4834 357.78/357.96 c nbDecision=260000 #constraints=4834 358.48/358.61 c nbDecision=260500 #constraints=4834 359.07/359.27 c nbDecision=261000 #constraints=4834 359.77/359.92 c nbDecision=261500 #constraints=4834 360.37/360.57 c nbDecision=262000 #constraints=4834 361.07/361.21 c nbDecision=262500 #constraints=4834 361.68/361.86 c nbDecision=263000 #constraints=4834 362.27/362.49 c nbDecision=263500 #constraints=4834 362.97/363.13 c nbDecision=264000 #constraints=4834 363.57/363.79 c nbDecision=264500 #constraints=4835 364.27/364.47 c nbDecision=265000 #constraints=4835 364.98/365.15 c nbDecision=265500 #constraints=4835 365.67/365.83 c nbDecision=266000 #constraints=4835 366.37/366.50 c nbDecision=266500 #constraints=4835 366.97/367.17 c nbDecision=267000 #constraints=4835 367.67/367.84 c nbDecision=267500 #constraints=4835 368.37/368.51 c nbDecision=268000 #constraints=4835 368.97/369.17 c nbDecision=268500 #constraints=4835 369.67/369.82 c nbDecision=269000 #constraints=4835 370.27/370.48 c nbDecision=269500 #constraints=4835 370.97/371.14 c nbDecision=270000 #constraints=4835 371.57/371.79 c nbDecision=270500 #constraints=4835 372.27/372.44 c nbDecision=271000 #constraints=4835 372.87/373.08 c nbDecision=271500 #constraints=4835 373.57/373.72 c nbDecision=272000 #constraints=4835 374.17/374.36 c nbDecision=272500 #constraints=4835 374.77/375.00 c nbDecision=273000 #constraints=4835 375.47/375.64 c nbDecision=273500 #constraints=4835 376.07/376.27 c nbDecision=274000 #constraints=4835 376.77/376.91 c nbDecision=274500 #constraints=4835 377.47/377.64 c nbDecision=275000 #constraints=4836 378.17/378.38 c nbDecision=275500 #constraints=4836 378.97/379.11 c nbDecision=276000 #constraints=4836 379.67/379.84 c nbDecision=276500 #constraints=4836 380.37/380.56 c nbDecision=277000 #constraints=4836 381.06/381.29 c nbDecision=277500 #constraints=4836 381.86/382.01 c nbDecision=278000 #constraints=4836 382.57/382.74 c nbDecision=278500 #constraints=4836 383.26/383.45 c nbDecision=279000 #constraints=4836 383.96/384.16 c nbDecision=279500 #constraints=4836 384.66/384.87 c nbDecision=280000 #constraints=4836 385.36/385.57 c nbDecision=280500 #constraints=4836 386.06/386.27 c nbDecision=281000 #constraints=4836 386.76/386.96 c nbDecision=281500 #constraints=4836 387.46/387.65 c nbDecision=282000 #constraints=4836 388.17/388.34 c nbDecision=282500 #constraints=4836 388.86/389.03 c nbDecision=283000 #constraints=4836 389.56/389.71 c nbDecision=283500 #constraints=4836 390.16/390.39 c nbDecision=284000 #constraints=4836 390.86/391.07 c nbDecision=284500 #constraints=4836 391.56/391.75 c nbDecision=285000 #constraints=4836 392.26/392.42 c nbDecision=285500 #constraints=4836 392.86/393.09 c nbDecision=286000 #constraints=4836 393.56/393.76 c nbDecision=286500 #constraints=4836 394.27/394.42 c nbDecision=287000 #constraints=4836 394.87/395.08 c nbDecision=287500 #constraints=4836 395.57/395.75 c nbDecision=288000 #constraints=4836 396.27/396.41 c nbDecision=288500 #constraints=4836 396.87/397.07 c nbDecision=289000 #constraints=4836 397.57/397.73 c nbDecision=289500 #constraints=4836 398.17/398.39 c nbDecision=290000 #constraints=4836 398.87/399.04 c nbDecision=290500 #constraints=4836 399.47/399.69 c nbDecision=291000 #constraints=4836 400.17/400.33 c nbDecision=291500 #constraints=4836 400.77/400.98 c nbDecision=292000 #constraints=4836 401.47/401.62 c nbDecision=292500 #constraints=4836 402.07/402.26 c nbDecision=293000 #constraints=4836 402.67/402.89 c nbDecision=293500 #constraints=4836 403.47/403.65 c nbDecision=294000 #constraints=4837 404.17/404.39 c nbDecision=294500 #constraints=4837 404.97/405.13 c nbDecision=295000 #constraints=4837 405.67/405.87 c nbDecision=295500 #constraints=4837 406.46/406.60 c nbDecision=296000 #constraints=4837 407.16/407.32 c nbDecision=296500 #constraints=4837 407.87/408.05 c nbDecision=297000 #constraints=4837 408.56/408.78 c nbDecision=297500 #constraints=4837 409.36/409.50 c nbDecision=298000 #constraints=4837 410.06/410.21 c nbDecision=298500 #constraints=4837 410.76/410.93 c nbDecision=299000 #constraints=4837 411.46/411.64 c nbDecision=299500 #constraints=4837 412.16/412.34 c nbDecision=300000 #constraints=4837 412.86/413.05 c nbDecision=300500 #constraints=4837 413.56/413.75 c nbDecision=301000 #constraints=4837 414.26/414.45 c nbDecision=301500 #constraints=4837 414.96/415.16 c nbDecision=302000 #constraints=4837 415.66/415.86 c nbDecision=302500 #constraints=4837 416.35/416.56 c nbDecision=303000 #constraints=4837 417.05/417.26 c nbDecision=303500 #constraints=4837 417.76/417.96 c nbDecision=304000 #constraints=4837 418.45/418.65 c nbDecision=304500 #constraints=4837 419.15/419.34 c nbDecision=305000 #constraints=4837 419.85/420.03 c nbDecision=305500 #constraints=4837 420.55/420.71 c nbDecision=306000 #constraints=4837 421.16/421.38 c nbDecision=306500 #constraints=4837 421.85/422.06 c nbDecision=307000 #constraints=4837 422.55/422.74 c nbDecision=307500 #constraints=4837 423.26/423.41 c nbDecision=308000 #constraints=4837 423.85/424.08 c nbDecision=308500 #constraints=4837 424.55/424.75 c nbDecision=309000 #constraints=4837 425.25/425.41 c nbDecision=309500 #constraints=4837 425.85/426.07 c nbDecision=310000 #constraints=4837 426.56/426.72 c nbDecision=310500 #constraints=4837 427.15/427.37 c nbDecision=311000 #constraints=4837 427.85/428.01 c nbDecision=311500 #constraints=4837 428.45/428.66 c nbDecision=312000 #constraints=4837 429.15/429.30 c nbDecision=312500 #constraints=4837 429.75/429.94 c nbDecision=313000 #constraints=4837 430.35/430.58 c nbDecision=313500 #constraints=4837 431.05/431.21 c nbDecision=314000 #constraints=4837 431.65/431.84 c nbDecision=314500 #constraints=4837 432.25/432.47 c nbDecision=315000 #constraints=4837 433.05/433.23 c nbDecision=315500 #constraints=4838 433.75/433.97 c nbDecision=316000 #constraints=4838 434.55/434.71 c nbDecision=316500 #constraints=4838 435.25/435.46 c nbDecision=317000 #constraints=4838 435.95/436.19 c nbDecision=317500 #constraints=4838 436.75/436.93 c nbDecision=318000 #constraints=4838 437.45/437.66 c nbDecision=318500 #constraints=4838 438.15/438.39 c nbDecision=319000 #constraints=4838 438.95/439.12 c nbDecision=319500 #constraints=4838 439.65/439.85 c nbDecision=320000 #constraints=4838 440.35/440.57 c nbDecision=320500 #constraints=4838 441.05/441.29 c nbDecision=321000 #constraints=4838 441.85/442.00 c nbDecision=321500 #constraints=4838 442.55/442.72 c nbDecision=322000 #constraints=4838 443.25/443.43 c nbDecision=322500 #constraints=4838 443.95/444.13 c nbDecision=323000 #constraints=4838 444.64/444.84 c nbDecision=323500 #constraints=4838 445.35/445.53 c nbDecision=324000 #constraints=4838 446.04/446.23 c nbDecision=324500 #constraints=4838 446.74/446.93 c nbDecision=325000 #constraints=4838 447.45/447.62 c nbDecision=325500 #constraints=4838 448.14/448.30 c nbDecision=326000 #constraints=4838 448.74/448.99 c nbDecision=326500 #constraints=4838 449.44/449.67 c nbDecision=327000 #constraints=4838 450.14/450.34 c nbDecision=327500 #constraints=4838 450.85/451.01 c nbDecision=328000 #constraints=4838 451.44/451.68 c nbDecision=328500 #constraints=4838 452.14/452.35 c nbDecision=329000 #constraints=4838 452.84/453.02 c nbDecision=329500 #constraints=4838 453.44/453.68 c nbDecision=330000 #constraints=4838 454.14/454.34 c nbDecision=330500 #constraints=4838 454.84/455.00 c nbDecision=331000 #constraints=4838 455.44/455.66 c nbDecision=331500 #constraints=4838 456.14/456.32 c nbDecision=332000 #constraints=4838 456.74/456.97 c nbDecision=332500 #constraints=4838 457.44/457.63 c nbDecision=333000 #constraints=4838 458.04/458.28 c nbDecision=333500 #constraints=4838 458.74/458.92 c nbDecision=334000 #constraints=4838 459.34/459.56 c nbDecision=334500 #constraints=4838 460.04/460.21 c nbDecision=335000 #constraints=4838 460.64/460.84 c nbDecision=335500 #constraints=4838 461.24/461.48 c nbDecision=336000 #constraints=4838 461.94/462.16 c nbDecision=336500 #constraints=4839 462.64/462.90 c nbDecision=337000 #constraints=4839 463.44/463.63 c nbDecision=337500 #constraints=4839 464.14/464.35 c nbDecision=338000 #constraints=4839 464.84/465.09 c nbDecision=338500 #constraints=4839 465.64/465.82 c nbDecision=339000 #constraints=4839 466.34/466.55 c nbDecision=339500 #constraints=4839 467.03/467.28 c nbDecision=340000 #constraints=4839 467.83/468.00 c nbDecision=340500 #constraints=4839 468.53/468.72 c nbDecision=341000 #constraints=4839 469.23/469.44 c nbDecision=341500 #constraints=4839 469.93/470.15 c nbDecision=342000 #constraints=4839 470.64/470.86 c nbDecision=342500 #constraints=4839 471.33/471.57 c nbDecision=343000 #constraints=4839 472.03/472.27 c nbDecision=343500 #constraints=4839 472.74/472.98 c nbDecision=344000 #constraints=4839 473.43/473.68 c nbDecision=344500 #constraints=4839 474.13/474.38 c nbDecision=345000 #constraints=4839 474.83/475.08 c nbDecision=345500 #constraints=4839 475.53/475.78 c nbDecision=346000 #constraints=4839 476.23/476.48 c nbDecision=346500 #constraints=4839 476.93/477.17 c nbDecision=347000 #constraints=4839 477.63/477.86 c nbDecision=347500 #constraints=4839 478.33/478.54 c nbDecision=348000 #constraints=4839 479.03/479.23 c nbDecision=348500 #constraints=4839 479.73/479.91 c nbDecision=349000 #constraints=4839 480.33/480.59 c nbDecision=349500 #constraints=4839 481.03/481.27 c nbDecision=350000 #constraints=4839 481.73/481.94 c nbDecision=350500 #constraints=4839 482.43/482.62 c nbDecision=351000 #constraints=4839 483.03/483.28 c nbDecision=351500 #constraints=4839 483.73/483.95 c nbDecision=352000 #constraints=4839 484.43/484.61 c nbDecision=352500 #constraints=4839 485.03/485.27 c nbDecision=353000 #constraints=4839 485.73/485.92 c nbDecision=353500 #constraints=4839 486.33/486.57 c nbDecision=354000 #constraints=4839 487.03/487.22 c nbDecision=354500 #constraints=4839 487.63/487.86 c nbDecision=355000 #constraints=4839 488.34/488.50 c nbDecision=355500 #constraints=4839 488.94/489.14 c nbDecision=356000 #constraints=4839 489.54/489.78 c nbDecision=356500 #constraints=4839 490.23/490.41 c nbDecision=357000 #constraints=4839 490.83/491.04 c nbDecision=357500 #constraints=4839 491.54/491.74 c nbDecision=358000 #constraints=4840 492.23/492.48 c nbDecision=358500 #constraints=4840 493.03/493.22 c nbDecision=359000 #constraints=4840 493.74/493.95 c nbDecision=359500 #constraints=4840 494.43/494.69 c nbDecision=360000 #constraints=4840 495.23/495.42 c nbDecision=360500 #constraints=4840 495.94/496.16 c nbDecision=361000 #constraints=4840 496.63/496.89 c nbDecision=361500 #constraints=4840 497.43/497.62 c nbDecision=362000 #constraints=4840 498.14/498.34 c nbDecision=362500 #constraints=4840 498.83/499.06 c nbDecision=363000 #constraints=4840 499.53/499.78 c nbDecision=363500 #constraints=4840 500.34/500.50 c nbDecision=364000 #constraints=4840 501.03/501.22 c nbDecision=364500 #constraints=4840 501.73/501.93 c nbDecision=365000 #constraints=4840 502.44/502.64 c nbDecision=365500 #constraints=4840 503.13/503.35 c nbDecision=366000 #constraints=4840 503.83/504.05 c nbDecision=366500 #constraints=4840 504.53/504.75 c nbDecision=367000 #constraints=4840 505.23/505.44 c nbDecision=367500 #constraints=4840 505.93/506.13 c nbDecision=368000 #constraints=4840 506.63/506.82 c nbDecision=368500 #constraints=4840 507.33/507.50 c nbDecision=369000 #constraints=4840 507.93/508.19 c nbDecision=369500 #constraints=4840 508.63/508.86 c nbDecision=370000 #constraints=4840 509.33/509.54 c nbDecision=370500 #constraints=4840 510.03/510.21 c nbDecision=371000 #constraints=4840 510.63/510.88 c nbDecision=371500 #constraints=4840 511.33/511.55 c nbDecision=372000 #constraints=4840 512.03/512.22 c nbDecision=372500 #constraints=4840 512.63/512.88 c nbDecision=373000 #constraints=4840 513.33/513.54 c nbDecision=373500 #constraints=4840 513.92/514.20 c nbDecision=374000 #constraints=4840 514.63/514.85 c nbDecision=374500 #constraints=4840 515.32/515.51 c nbDecision=375000 #constraints=4840 515.92/516.17 c nbDecision=375500 #constraints=4840 516.62/516.82 c nbDecision=376000 #constraints=4840 517.22/517.47 c nbDecision=376500 #constraints=4840 517.93/518.11 c nbDecision=377000 #constraints=4840 518.52/518.75 c nbDecision=377500 #constraints=4840 519.12/519.39 c nbDecision=378000 #constraints=4840 519.82/520.03 c nbDecision=378500 #constraints=4840 520.42/520.66 c nbDecision=379000 #constraints=4840 521.23/521.40 c nbDecision=379500 #constraints=4841 521.92/522.15 c nbDecision=380000 #constraints=4841 522.62/522.90 c nbDecision=380500 #constraints=4841 523.43/523.64 c nbDecision=381000 #constraints=4841 524.12/524.38 c nbDecision=381500 #constraints=4841 524.92/525.11 c nbDecision=382000 #constraints=4841 525.62/525.84 c nbDecision=382500 #constraints=4841 526.32/526.56 c nbDecision=383000 #constraints=4841 527.02/527.28 c nbDecision=383500 #constraints=4841 527.72/528.00 c nbDecision=384000 #constraints=4841 528.52/528.71 c nbDecision=384500 #constraints=4841 529.22/529.43 c nbDecision=385000 #constraints=4841 529.92/530.14 c nbDecision=385500 #constraints=4841 530.62/530.84 c nbDecision=386000 #constraints=4841 531.32/531.55 c nbDecision=386500 #constraints=4841 532.02/532.25 c nbDecision=387000 #constraints=4841 532.72/532.95 c nbDecision=387500 #constraints=4841 533.42/533.65 c nbDecision=388000 #constraints=4841 534.12/534.34 c nbDecision=388500 #constraints=4841 534.82/535.04 c nbDecision=389000 #constraints=4841 535.52/535.73 c nbDecision=389500 #constraints=4841 536.22/536.42 c nbDecision=390000 #constraints=4841 536.92/537.11 c nbDecision=390500 #constraints=4841 537.52/537.80 c nbDecision=391000 #constraints=4841 538.22/538.49 c nbDecision=391500 #constraints=4841 538.92/539.17 c nbDecision=392000 #constraints=4841 539.61/539.84 c nbDecision=392500 #constraints=4841 540.31/540.52 c nbDecision=393000 #constraints=4841 540.92/541.19 c nbDecision=393500 #constraints=4841 541.61/541.86 c nbDecision=394000 #constraints=4841 542.31/542.53 c nbDecision=394500 #constraints=4841 542.91/543.19 c nbDecision=395000 #constraints=4841 543.61/543.85 c nbDecision=395500 #constraints=4841 544.32/544.51 c nbDecision=396000 #constraints=4841 544.91/545.16 c nbDecision=396500 #constraints=4841 545.61/545.81 c nbDecision=397000 #constraints=4841 546.21/546.46 c nbDecision=397500 #constraints=4841 546.81/547.09 c nbDecision=398000 #constraints=4841 547.51/547.73 c nbDecision=398500 #constraints=4841 548.11/548.37 c nbDecision=399000 #constraints=4841 548.81/549.00 c nbDecision=399500 #constraints=4841 549.41/549.63 c nbDecision=400000 #constraints=4841 550.01/550.26 c nbDecision=400500 #constraints=4841 550.71/551.00 c nbDecision=401000 #constraints=4842 551.51/551.71 c nbDecision=401500 #constraints=4842 552.21/552.42 c nbDecision=402000 #constraints=4842 552.91/553.13 c nbDecision=402500 #constraints=4842 553.61/553.83 c nbDecision=403000 #constraints=4842 554.31/554.54 c nbDecision=403500 #constraints=4842 555.01/555.24 c nbDecision=404000 #constraints=4842 555.71/555.94 c nbDecision=404500 #constraints=4842 556.41/556.64 c nbDecision=405000 #constraints=4842 557.11/557.34 c nbDecision=405500 #constraints=4842 557.81/558.03 c nbDecision=406000 #constraints=4842 558.51/558.73 c nbDecision=406500 #constraints=4842 559.21/559.42 c nbDecision=407000 #constraints=4842 559.92/560.10 c nbDecision=407500 #constraints=4842 560.52/560.79 c nbDecision=408000 #constraints=4842 561.21/561.47 c nbDecision=408500 #constraints=4842 561.92/562.14 c nbDecision=409000 #constraints=4842 562.61/562.82 c nbDecision=409500 #constraints=4842 562.71/562.95 c restart after 409601 decisions 563.32/563.59 c nbDecision=410000 #constraints=4842 564.12/564.35 c nbDecision=410500 #constraints=4842 564.81/565.10 c nbDecision=411000 #constraints=4842 565.61/565.84 c nbDecision=411500 #constraints=4842 566.32/566.58 c nbDecision=412000 #constraints=4842 567.11/567.32 c nbDecision=412500 #constraints=4842 567.81/568.05 c nbDecision=413000 #constraints=4842 568.52/568.78 c nbDecision=413500 #constraints=4842 569.31/569.50 c nbDecision=414000 #constraints=4842 570.01/570.23 c nbDecision=414500 #constraints=4842 570.72/570.95 c nbDecision=415000 #constraints=4842 571.41/571.68 c nbDecision=415500 #constraints=4842 572.11/572.40 c nbDecision=416000 #constraints=4842 572.91/573.11 c nbDecision=416500 #constraints=4842 573.61/573.82 c nbDecision=417000 #constraints=4842 574.31/574.54 c nbDecision=417500 #constraints=4842 575.01/575.25 c nbDecision=418000 #constraints=4842 575.71/575.96 c nbDecision=418500 #constraints=4842 576.41/576.67 c nbDecision=419000 #constraints=4842 577.11/577.38 c nbDecision=419500 #constraints=4842 577.81/578.08 c nbDecision=420000 #constraints=4842 578.51/578.79 c nbDecision=420500 #constraints=4842 579.21/579.48 c nbDecision=421000 #constraints=4842 579.91/580.18 c nbDecision=421500 #constraints=4842 580.61/580.87 c nbDecision=422000 #constraints=4842 581.31/581.56 c nbDecision=422500 #constraints=4842 582.01/582.25 c nbDecision=423000 #constraints=4842 582.71/582.94 c nbDecision=423500 #constraints=4842 583.41/583.62 c nbDecision=424000 #constraints=4842 584.11/584.30 c nbDecision=424500 #constraints=4842 584.71/584.97 c nbDecision=425000 #constraints=4842 585.41/585.63 c nbDecision=425500 #constraints=4842 586.01/586.30 c nbDecision=426000 #constraints=4842 586.71/586.95 c nbDecision=426500 #constraints=4842 587.41/587.61 c nbDecision=427000 #constraints=4842 588.01/588.27 c nbDecision=427500 #constraints=4842 588.71/588.92 c nbDecision=428000 #constraints=4842 589.31/589.57 c nbDecision=428500 #constraints=4842 590.01/590.22 c nbDecision=429000 #constraints=4842 590.61/590.86 c nbDecision=429500 #constraints=4842 591.31/591.51 c nbDecision=430000 #constraints=4842 591.91/592.15 c nbDecision=430500 #constraints=4842 592.50/592.79 c nbDecision=431000 #constraints=4842 593.20/593.42 c nbDecision=431500 #constraints=4842 593.81/594.05 c nbDecision=432000 #constraints=4842 594.40/594.68 c nbDecision=432500 #constraints=4842 595.20/595.43 c nbDecision=433000 #constraints=4843 595.91/596.16 c nbDecision=433500 #constraints=4843 596.60/596.89 c nbDecision=434000 #constraints=4843 597.40/597.62 c nbDecision=434500 #constraints=4843 598.11/598.34 c nbDecision=435000 #constraints=4843 598.80/599.07 c nbDecision=435500 #constraints=4843 599.50/599.79 c nbDecision=436000 #constraints=4843 600.20/600.50 c nbDecision=436500 #constraints=4843 601.00/601.21 c nbDecision=437000 #constraints=4843 601.70/601.93 c nbDecision=437500 #constraints=4843 602.40/602.63 c nbDecision=438000 #constraints=4843 603.10/603.34 c nbDecision=438500 #constraints=4843 603.80/604.04 c nbDecision=439000 #constraints=4843 604.50/604.74 c nbDecision=439500 #constraints=4843 605.20/605.43 c nbDecision=440000 #constraints=4843 605.90/606.12 c nbDecision=440500 #constraints=4843 606.60/606.80 c nbDecision=441000 #constraints=4843 607.20/607.49 c nbDecision=441500 #constraints=4843 607.90/608.16 c nbDecision=442000 #constraints=4843 608.60/608.84 c nbDecision=442500 #constraints=4843 609.30/609.51 c nbDecision=443000 #constraints=4843 609.90/610.19 c nbDecision=443500 #constraints=4843 610.59/610.85 c nbDecision=444000 #constraints=4843 611.30/611.52 c nbDecision=444500 #constraints=4843 611.89/612.18 c nbDecision=445000 #constraints=4843 612.59/612.84 c nbDecision=445500 #constraints=4843 613.29/613.50 c nbDecision=446000 #constraints=4843 613.89/614.15 c nbDecision=446500 #constraints=4843 614.60/614.81 c nbDecision=447000 #constraints=4843 615.19/615.47 c nbDecision=447500 #constraints=4843 615.89/616.12 c nbDecision=448000 #constraints=4843 616.49/616.77 c nbDecision=448500 #constraints=4843 617.19/617.42 c nbDecision=449000 #constraints=4843 617.79/618.06 c nbDecision=449500 #constraints=4843 618.49/618.70 c nbDecision=450000 #constraints=4843 619.10/619.34 c nbDecision=450500 #constraints=4843 619.69/619.98 c nbDecision=451000 #constraints=4843 620.39/620.67 c nbDecision=451500 #constraints=4844 621.20/621.40 c nbDecision=452000 #constraints=4844 621.89/622.13 c nbDecision=452500 #constraints=4844 622.59/622.86 c nbDecision=453000 #constraints=4844 623.29/623.59 c nbDecision=453500 #constraints=4844 624.09/624.30 c nbDecision=454000 #constraints=4844 624.79/625.02 c nbDecision=454500 #constraints=4844 625.49/625.73 c nbDecision=455000 #constraints=4844 626.19/626.43 c nbDecision=455500 #constraints=4844 626.89/627.14 c nbDecision=456000 #constraints=4844 627.59/627.84 c nbDecision=456500 #constraints=4844 628.29/628.53 c nbDecision=457000 #constraints=4844 628.99/629.23 c nbDecision=457500 #constraints=4844 629.69/629.93 c nbDecision=458000 #constraints=4844 630.39/630.62 c nbDecision=458500 #constraints=4844 631.09/631.31 c nbDecision=459000 #constraints=4844 631.69/631.99 c nbDecision=459500 #constraints=4844 632.39/632.68 c nbDecision=460000 #constraints=4844 633.09/633.36 c nbDecision=460500 #constraints=4844 633.79/634.04 c nbDecision=461000 #constraints=4844 634.49/634.72 c nbDecision=461500 #constraints=4844 635.09/635.40 c nbDecision=462000 #constraints=4844 635.79/636.07 c nbDecision=462500 #constraints=4844 636.49/636.74 c nbDecision=463000 #constraints=4844 637.19/637.41 c nbDecision=463500 #constraints=4844 637.79/638.08 c nbDecision=464000 #constraints=4844 638.48/638.75 c nbDecision=464500 #constraints=4844 639.18/639.41 c nbDecision=465000 #constraints=4844 639.78/640.07 c nbDecision=465500 #constraints=4844 640.48/640.73 c nbDecision=466000 #constraints=4844 641.09/641.38 c nbDecision=466500 #constraints=4844 641.78/642.03 c nbDecision=467000 #constraints=4844 642.38/642.68 c nbDecision=467500 #constraints=4844 643.08/643.32 c nbDecision=468000 #constraints=4844 643.68/643.97 c nbDecision=468500 #constraints=4844 644.39/644.60 c nbDecision=469000 #constraints=4844 644.98/645.24 c nbDecision=469500 #constraints=4844 645.58/645.87 c nbDecision=470000 #constraints=4844 646.39/646.60 c nbDecision=470500 #constraints=4845 647.09/647.34 c nbDecision=471000 #constraints=4845 647.79/648.08 c nbDecision=471500 #constraints=4845 648.59/648.82 c nbDecision=472000 #constraints=4845 649.29/649.55 c nbDecision=472500 #constraints=4845 649.99/650.27 c nbDecision=473000 #constraints=4845 650.69/651.00 c nbDecision=473500 #constraints=4845 651.49/651.72 c nbDecision=474000 #constraints=4845 652.19/652.44 c nbDecision=474500 #constraints=4845 652.89/653.16 c nbDecision=475000 #constraints=4845 653.59/653.87 c nbDecision=475500 #constraints=4845 654.29/654.57 c nbDecision=476000 #constraints=4845 654.99/655.29 c nbDecision=476500 #constraints=4845 655.69/655.99 c nbDecision=477000 #constraints=4845 656.49/656.71 c nbDecision=477500 #constraints=4845 657.19/657.41 c nbDecision=478000 #constraints=4845 657.89/658.12 c nbDecision=478500 #constraints=4845 658.59/658.82 c nbDecision=479000 #constraints=4845 659.28/659.52 c nbDecision=479500 #constraints=4845 659.98/660.22 c nbDecision=480000 #constraints=4845 660.68/660.91 c nbDecision=480500 #constraints=4845 661.38/661.61 c nbDecision=481000 #constraints=4845 661.99/662.29 c nbDecision=481500 #constraints=4845 662.68/662.98 c nbDecision=482000 #constraints=4845 663.38/663.66 c nbDecision=482500 #constraints=4845 664.09/664.34 c nbDecision=483000 #constraints=4845 664.78/665.02 c nbDecision=483500 #constraints=4845 665.38/665.69 c nbDecision=484000 #constraints=4845 666.08/666.35 c nbDecision=484500 #constraints=4845 666.78/667.01 c nbDecision=485000 #constraints=4845 667.39/667.67 c nbDecision=485500 #constraints=4845 668.08/668.32 c nbDecision=486000 #constraints=4845 668.68/668.98 c nbDecision=486500 #constraints=4845 669.38/669.63 c nbDecision=487000 #constraints=4845 669.98/670.28 c nbDecision=487500 #constraints=4845 670.68/670.93 c nbDecision=488000 #constraints=4845 671.28/671.57 c nbDecision=488500 #constraints=4845 671.98/672.21 c nbDecision=489000 #constraints=4845 672.58/672.85 c nbDecision=489500 #constraints=4845 673.18/673.49 c nbDecision=490000 #constraints=4845 673.88/674.12 c nbDecision=490500 #constraints=4845 674.48/674.75 c nbDecision=491000 #constraints=4845 675.18/675.44 c nbDecision=491500 #constraints=4846 675.88/676.19 c nbDecision=492000 #constraints=4846 676.68/676.93 c nbDecision=492500 #constraints=4846 677.38/677.68 c nbDecision=493000 #constraints=4846 678.18/678.42 c nbDecision=493500 #constraints=4846 678.88/679.15 c nbDecision=494000 #constraints=4846 679.58/679.89 c nbDecision=494500 #constraints=4846 680.38/680.62 c nbDecision=495000 #constraints=4846 681.08/681.35 c nbDecision=495500 #constraints=4846 681.78/682.08 c nbDecision=496000 #constraints=4846 682.58/682.80 c nbDecision=496500 #constraints=4846 683.28/683.52 c nbDecision=497000 #constraints=4846 683.98/684.24 c nbDecision=497500 #constraints=4846 684.67/684.95 c nbDecision=498000 #constraints=4846 685.37/685.66 c nbDecision=498500 #constraints=4846 686.08/686.35 c nbDecision=499000 #constraints=4846 686.77/687.05 c nbDecision=499500 #constraints=4846 687.47/687.75 c nbDecision=500000 #constraints=4846 688.17/688.45 c nbDecision=500500 #constraints=4846 688.87/689.14 c nbDecision=501000 #constraints=4846 689.57/689.83 c nbDecision=501500 #constraints=4846 690.27/690.51 c nbDecision=502000 #constraints=4846 690.87/691.19 c nbDecision=502500 #constraints=4846 691.58/691.87 c nbDecision=503000 #constraints=4846 692.27/692.55 c nbDecision=503500 #constraints=4846 692.97/693.23 c nbDecision=504000 #constraints=4846 693.67/693.90 c nbDecision=504500 #constraints=4846 694.27/694.57 c nbDecision=505000 #constraints=4846 694.97/695.24 c nbDecision=505500 #constraints=4846 695.67/695.91 c nbDecision=506000 #constraints=4846 696.27/696.58 c nbDecision=506500 #constraints=4846 696.97/697.25 c nbDecision=507000 #constraints=4846 697.67/697.91 c nbDecision=507500 #constraints=4846 698.27/698.57 c nbDecision=508000 #constraints=4846 698.97/699.22 c nbDecision=508500 #constraints=4846 699.57/699.87 c nbDecision=509000 #constraints=4846 700.27/700.53 c nbDecision=509500 #constraints=4846 700.87/701.17 c nbDecision=510000 #constraints=4846 701.57/701.82 c nbDecision=510500 #constraints=4846 702.16/702.46 c nbDecision=511000 #constraints=4846 702.86/703.10 c nbDecision=511500 #constraints=4846 703.46/703.73 c nbDecision=512000 #constraints=4846 704.06/704.36 c nbDecision=512500 #constraints=4846 704.87/705.11 c nbDecision=513000 #constraints=4847 705.56/705.85 c nbDecision=513500 #constraints=4847 706.26/706.58 c nbDecision=514000 #constraints=4847 707.07/707.31 c nbDecision=514500 #constraints=4847 707.76/708.04 c nbDecision=515000 #constraints=4847 708.46/708.77 c nbDecision=515500 #constraints=4847 709.17/709.48 c nbDecision=516000 #constraints=4847 709.96/710.21 c nbDecision=516500 #constraints=4847 710.66/710.92 c nbDecision=517000 #constraints=4847 711.36/711.64 c nbDecision=517500 #constraints=4847 712.06/712.35 c nbDecision=518000 #constraints=4847 712.76/713.06 c nbDecision=518500 #constraints=4847 713.46/713.77 c nbDecision=519000 #constraints=4847 714.16/714.48 c nbDecision=519500 #constraints=4847 714.86/715.19 c nbDecision=520000 #constraints=4847 715.66/715.90 c nbDecision=520500 #constraints=4847 716.36/716.61 c nbDecision=521000 #constraints=4847 717.06/717.31 c nbDecision=521500 #constraints=4847 717.76/718.01 c nbDecision=522000 #constraints=4847 718.46/718.70 c nbDecision=522500 #constraints=4847 719.06/719.39 c nbDecision=523000 #constraints=4847 719.76/720.09 c nbDecision=523500 #constraints=4847 720.46/720.78 c nbDecision=524000 #constraints=4847 721.16/721.46 c nbDecision=524500 #constraints=4847 721.86/722.14 c nbDecision=525000 #constraints=4847 722.56/722.82 c nbDecision=525500 #constraints=4847 723.16/723.49 c nbDecision=526000 #constraints=4847 723.86/724.17 c nbDecision=526500 #constraints=4847 724.56/724.83 c nbDecision=527000 #constraints=4847 725.16/725.50 c nbDecision=527500 #constraints=4847 725.85/726.16 c nbDecision=528000 #constraints=4847 726.55/726.81 c nbDecision=528500 #constraints=4847 727.15/727.47 c nbDecision=529000 #constraints=4847 727.86/728.12 c nbDecision=529500 #constraints=4847 728.45/728.77 c nbDecision=530000 #constraints=4847 729.15/729.42 c nbDecision=530500 #constraints=4847 729.75/730.06 c nbDecision=531000 #constraints=4847 730.45/730.70 c nbDecision=531500 #constraints=4847 731.05/731.34 c nbDecision=532000 #constraints=4847 731.65/731.98 c nbDecision=532500 #constraints=4847 732.35/732.61 c nbDecision=533000 #constraints=4847 732.95/733.24 c nbDecision=533500 #constraints=4847 733.65/733.93 c nbDecision=534000 #constraints=4848 734.35/734.66 c nbDecision=534500 #constraints=4848 735.05/735.38 c nbDecision=535000 #constraints=4848 735.85/736.11 c nbDecision=535500 #constraints=4848 736.55/736.84 c nbDecision=536000 #constraints=4848 737.25/737.56 c nbDecision=536500 #constraints=4848 737.95/738.28 c nbDecision=537000 #constraints=4848 738.75/739.00 c nbDecision=537500 #constraints=4848 739.45/739.71 c nbDecision=538000 #constraints=4848 740.15/740.42 c nbDecision=538500 #constraints=4848 740.85/741.13 c nbDecision=539000 #constraints=4848 741.55/741.83 c nbDecision=539500 #constraints=4848 742.25/742.53 c nbDecision=540000 #constraints=4848 742.95/743.24 c nbDecision=540500 #constraints=4848 743.65/743.93 c nbDecision=541000 #constraints=4848 744.35/744.63 c nbDecision=541500 #constraints=4848 745.05/745.32 c nbDecision=542000 #constraints=4848 745.75/746.00 c nbDecision=542500 #constraints=4848 746.35/746.68 c nbDecision=543000 #constraints=4848 747.05/747.36 c nbDecision=543500 #constraints=4848 747.75/748.03 c nbDecision=544000 #constraints=4848 748.45/748.70 c nbDecision=544500 #constraints=4848 749.05/749.37 c nbDecision=545000 #constraints=4848 749.75/750.04 c nbDecision=545500 #constraints=4848 750.45/750.71 c nbDecision=546000 #constraints=4848 751.05/751.37 c nbDecision=546500 #constraints=4848 751.74/752.03 c nbDecision=547000 #constraints=4848 752.34/752.68 c nbDecision=547500 #constraints=4848 753.04/753.34 c nbDecision=548000 #constraints=4848 753.64/753.99 c nbDecision=548500 #constraints=4848 754.36/754.63 c nbDecision=549000 #constraints=4848 754.95/755.29 c nbDecision=549500 #constraints=4848 755.65/755.94 c nbDecision=550000 #constraints=4848 756.25/756.58 c nbDecision=550500 #constraints=4848 756.95/757.22 c nbDecision=551000 #constraints=4848 757.55/757.86 c nbDecision=551500 #constraints=4848 758.15/758.49 c nbDecision=552000 #constraints=4848 758.85/759.13 c nbDecision=552500 #constraints=4848 759.55/759.89 c nbDecision=553000 #constraints=4849 760.35/760.64 c nbDecision=553500 #constraints=4849 761.05/761.38 c nbDecision=554000 #constraints=4849 761.85/762.12 c nbDecision=554500 #constraints=4849 762.55/762.86 c nbDecision=555000 #constraints=4849 763.34/763.60 c nbDecision=555500 #constraints=4849 764.04/764.33 c nbDecision=556000 #constraints=4849 764.74/765.06 c nbDecision=556500 #constraints=4849 765.44/765.78 c nbDecision=557000 #constraints=4849 766.14/766.49 c nbDecision=557500 #constraints=4849 766.94/767.20 c nbDecision=558000 #constraints=4849 767.64/767.92 c nbDecision=558500 #constraints=4849 768.34/768.63 c nbDecision=559000 #constraints=4849 769.04/769.33 c nbDecision=559500 #constraints=4849 769.75/770.03 c nbDecision=560000 #constraints=4849 770.44/770.73 c nbDecision=560500 #constraints=4849 771.14/771.43 c nbDecision=561000 #constraints=4849 771.85/772.13 c nbDecision=561500 #constraints=4849 772.54/772.81 c nbDecision=562000 #constraints=4849 773.24/773.50 c nbDecision=562500 #constraints=4849 773.84/774.19 c nbDecision=563000 #constraints=4849 774.54/774.87 c nbDecision=563500 #constraints=4849 775.24/775.56 c nbDecision=564000 #constraints=4849 775.94/776.25 c nbDecision=564500 #constraints=4849 776.64/776.93 c nbDecision=565000 #constraints=4849 777.34/777.61 c nbDecision=565500 #constraints=4849 777.94/778.29 c nbDecision=566000 #constraints=4849 778.64/778.96 c nbDecision=566500 #constraints=4849 779.34/779.63 c nbDecision=567000 #constraints=4849 780.04/780.30 c nbDecision=567500 #constraints=4849 780.64/780.97 c nbDecision=568000 #constraints=4849 781.34/781.63 c nbDecision=568500 #constraints=4849 781.94/782.29 c nbDecision=569000 #constraints=4849 782.64/782.95 c nbDecision=569500 #constraints=4849 783.33/783.61 c nbDecision=570000 #constraints=4849 783.94/784.26 c nbDecision=570500 #constraints=4849 784.63/784.91 c nbDecision=571000 #constraints=4849 785.23/785.55 c nbDecision=571500 #constraints=4849 785.83/786.19 c nbDecision=572000 #constraints=4849 786.53/786.82 c nbDecision=572500 #constraints=4849 787.13/787.45 c nbDecision=573000 #constraints=4849 787.73/788.08 c nbDecision=573500 #constraints=4849 788.44/788.78 c nbDecision=574000 #constraints=4850 789.23/789.50 c nbDecision=574500 #constraints=4850 789.93/790.22 c nbDecision=575000 #constraints=4850 790.63/790.94 c nbDecision=575500 #constraints=4850 791.33/791.65 c nbDecision=576000 #constraints=4850 792.03/792.36 c nbDecision=576500 #constraints=4850 792.73/793.07 c nbDecision=577000 #constraints=4850 793.43/793.77 c nbDecision=577500 #constraints=4850 794.13/794.48 c nbDecision=578000 #constraints=4850 794.83/795.18 c nbDecision=578500 #constraints=4850 795.53/795.88 c nbDecision=579000 #constraints=4850 796.23/796.59 c nbDecision=579500 #constraints=4850 796.93/797.28 c nbDecision=580000 #constraints=4850 797.63/797.97 c nbDecision=580500 #constraints=4850 798.33/798.67 c nbDecision=581000 #constraints=4850 799.03/799.36 c nbDecision=581500 #constraints=4850 799.73/800.04 c nbDecision=582000 #constraints=4850 800.43/800.73 c nbDecision=582500 #constraints=4850 801.13/801.41 c nbDecision=583000 #constraints=4850 801.73/802.09 c nbDecision=583500 #constraints=4850 802.43/802.77 c nbDecision=584000 #constraints=4850 803.13/803.44 c nbDecision=584500 #constraints=4850 803.83/804.11 c nbDecision=585000 #constraints=4850 804.43/804.78 c nbDecision=585500 #constraints=4850 805.13/805.44 c nbDecision=586000 #constraints=4850 805.73/806.09 c nbDecision=586500 #constraints=4850 806.43/806.75 c nbDecision=587000 #constraints=4850 807.03/807.39 c nbDecision=587500 #constraints=4850 807.73/808.04 c nbDecision=588000 #constraints=4850 808.33/808.68 c nbDecision=588500 #constraints=4850 809.03/809.32 c nbDecision=589000 #constraints=4850 809.62/809.96 c nbDecision=589500 #constraints=4850 810.22/810.59 c nbDecision=590000 #constraints=4850 810.93/811.23 c nbDecision=590500 #constraints=4850 811.53/811.86 c nbDecision=591000 #constraints=4850 812.22/812.53 c nbDecision=591500 #constraints=4851 812.92/813.26 c nbDecision=592000 #constraints=4851 813.63/813.99 c nbDecision=592500 #constraints=4851 814.42/814.73 c nbDecision=593000 #constraints=4851 815.12/815.46 c nbDecision=593500 #constraints=4851 815.82/816.18 c nbDecision=594000 #constraints=4851 816.62/816.91 c nbDecision=594500 #constraints=4851 817.32/817.64 c nbDecision=595000 #constraints=4851 818.02/818.36 c nbDecision=595500 #constraints=4851 818.72/819.08 c nbDecision=596000 #constraints=4851 819.52/819.80 c nbDecision=596500 #constraints=4851 820.22/820.51 c nbDecision=597000 #constraints=4851 820.92/821.22 c nbDecision=597500 #constraints=4851 821.62/821.92 c nbDecision=598000 #constraints=4851 822.32/822.63 c nbDecision=598500 #constraints=4851 823.02/823.33 c nbDecision=599000 #constraints=4851 823.72/824.04 c nbDecision=599500 #constraints=4851 824.42/824.73 c nbDecision=600000 #constraints=4851 825.12/825.42 c nbDecision=600500 #constraints=4851 825.82/826.11 c nbDecision=601000 #constraints=4851 826.42/826.79 c nbDecision=601500 #constraints=4851 827.12/827.47 c nbDecision=602000 #constraints=4851 827.82/828.15 c nbDecision=602500 #constraints=4851 828.52/828.82 c nbDecision=603000 #constraints=4851 829.21/829.50 c nbDecision=603500 #constraints=4851 829.81/830.17 c nbDecision=604000 #constraints=4851 830.51/830.83 c nbDecision=604500 #constraints=4851 831.11/831.50 c nbDecision=605000 #constraints=4851 831.81/832.16 c nbDecision=605500 #constraints=4851 832.51/832.82 c nbDecision=606000 #constraints=4851 833.11/833.48 c nbDecision=606500 #constraints=4851 833.81/834.13 c nbDecision=607000 #constraints=4851 834.41/834.78 c nbDecision=607500 #constraints=4851 835.11/835.43 c nbDecision=608000 #constraints=4851 835.72/836.09 c nbDecision=608500 #constraints=4851 836.41/836.74 c nbDecision=609000 #constraints=4851 837.01/837.38 c nbDecision=609500 #constraints=4851 837.71/838.03 c nbDecision=610000 #constraints=4851 838.31/838.66 c nbDecision=610500 #constraints=4851 838.92/839.30 c nbDecision=611000 #constraints=4851 839.61/839.93 c nbDecision=611500 #constraints=4851 840.31/840.67 c nbDecision=612000 #constraints=4852 841.12/841.41 c nbDecision=612500 #constraints=4852 841.81/842.15 c nbDecision=613000 #constraints=4852 842.51/842.89 c nbDecision=613500 #constraints=4852 843.31/843.62 c nbDecision=614000 #constraints=4852 844.01/844.35 c nbDecision=614500 #constraints=4852 844.71/845.08 c nbDecision=615000 #constraints=4852 845.41/845.78 c nbDecision=615500 #constraints=4852 846.11/846.49 c nbDecision=616000 #constraints=4852 846.91/847.20 c nbDecision=616500 #constraints=4852 847.61/847.91 c nbDecision=617000 #constraints=4852 848.31/848.62 c nbDecision=617500 #constraints=4852 849.01/849.32 c nbDecision=618000 #constraints=4852 849.71/850.03 c nbDecision=618500 #constraints=4852 850.42/850.72 c nbDecision=619000 #constraints=4852 851.12/851.42 c nbDecision=619500 #constraints=4852 851.82/852.11 c nbDecision=620000 #constraints=4852 852.52/852.80 c nbDecision=620500 #constraints=4852 853.12/853.49 c nbDecision=621000 #constraints=4852 853.82/854.18 c nbDecision=621500 #constraints=4852 854.52/854.86 c nbDecision=622000 #constraints=4852 855.22/855.55 c nbDecision=622500 #constraints=4852 855.92/856.23 c nbDecision=623000 #constraints=4852 856.62/856.90 c nbDecision=623500 #constraints=4852 857.22/857.58 c nbDecision=624000 #constraints=4852 857.91/858.26 c nbDecision=624500 #constraints=4852 858.61/858.93 c nbDecision=625000 #constraints=4852 859.31/859.60 c nbDecision=625500 #constraints=4852 859.92/860.27 c nbDecision=626000 #constraints=4852 860.61/860.93 c nbDecision=626500 #constraints=4852 861.21/861.59 c nbDecision=627000 #constraints=4852 861.91/862.25 c nbDecision=627500 #constraints=4852 862.61/862.91 c nbDecision=628000 #constraints=4852 863.22/863.56 c nbDecision=628500 #constraints=4852 863.91/864.21 c nbDecision=629000 #constraints=4852 864.51/864.85 c nbDecision=629500 #constraints=4852 865.11/865.49 c nbDecision=630000 #constraints=4852 865.81/866.13 c nbDecision=630500 #constraints=4852 866.42/866.76 c nbDecision=631000 #constraints=4852 867.01/867.39 c nbDecision=631500 #constraints=4852 867.71/868.09 c nbDecision=632000 #constraints=4853 868.51/868.82 c nbDecision=632500 #constraints=4853 869.21/869.56 c nbDecision=633000 #constraints=4853 869.91/870.28 c nbDecision=633500 #constraints=4853 870.71/871.01 c nbDecision=634000 #constraints=4853 871.41/871.73 c nbDecision=634500 #constraints=4853 872.11/872.45 c nbDecision=635000 #constraints=4853 872.81/873.17 c nbDecision=635500 #constraints=4853 873.51/873.89 c nbDecision=636000 #constraints=4853 874.21/874.59 c nbDecision=636500 #constraints=4853 875.01/875.31 c nbDecision=637000 #constraints=4853 875.71/876.02 c nbDecision=637500 #constraints=4853 876.41/876.73 c nbDecision=638000 #constraints=4853 877.11/877.44 c nbDecision=638500 #constraints=4853 877.81/878.15 c nbDecision=639000 #constraints=4853 878.51/878.85 c nbDecision=639500 #constraints=4853 879.20/879.55 c nbDecision=640000 #constraints=4853 879.90/880.24 c nbDecision=640500 #constraints=4853 880.60/880.94 c nbDecision=641000 #constraints=4853 881.30/881.63 c nbDecision=641500 #constraints=4853 882.00/882.32 c nbDecision=642000 #constraints=4853 882.70/883.01 c nbDecision=642500 #constraints=4853 883.30/883.69 c nbDecision=643000 #constraints=4853 884.01/884.37 c nbDecision=643500 #constraints=4853 884.70/885.04 c nbDecision=644000 #constraints=4853 885.40/885.71 c nbDecision=644500 #constraints=4853 886.00/886.38 c nbDecision=645000 #constraints=4853 886.70/887.04 c nbDecision=645500 #constraints=4853 887.41/887.71 c nbDecision=646000 #constraints=4853 888.00/888.36 c nbDecision=646500 #constraints=4853 888.70/889.02 c nbDecision=647000 #constraints=4853 889.30/889.67 c nbDecision=647500 #constraints=4853 890.00/890.32 c nbDecision=648000 #constraints=4853 890.60/890.97 c nbDecision=648500 #constraints=4853 891.30/891.61 c nbDecision=649000 #constraints=4853 891.90/892.25 c nbDecision=649500 #constraints=4853 892.50/892.89 c nbDecision=650000 #constraints=4853 893.20/893.53 c nbDecision=650500 #constraints=4853 893.80/894.16 c nbDecision=651000 #constraints=4853 894.40/894.79 c nbDecision=651500 #constraints=4853 895.10/895.46 c nbDecision=652000 #constraints=4854 895.80/896.19 c nbDecision=652500 #constraints=4854 896.60/896.93 c nbDecision=653000 #constraints=4854 897.30/897.67 c nbDecision=653500 #constraints=4854 898.10/898.41 c nbDecision=654000 #constraints=4854 898.80/899.15 c nbDecision=654500 #constraints=4854 899.50/899.88 c nbDecision=655000 #constraints=4854 900.29/900.60 c nbDecision=655500 #constraints=4854 900.99/901.33 c nbDecision=656000 #constraints=4854 901.70/902.05 c nbDecision=656500 #constraints=4854 902.39/902.77 c nbDecision=657000 #constraints=4854 903.09/903.48 c nbDecision=657500 #constraints=4854 903.80/904.19 c nbDecision=658000 #constraints=4854 904.59/904.90 c nbDecision=658500 #constraints=4854 905.29/905.60 c nbDecision=659000 #constraints=4854 906.00/906.30 c nbDecision=659500 #constraints=4854 906.59/907.00 c nbDecision=660000 #constraints=4854 907.29/907.69 c nbDecision=660500 #constraints=4854 907.99/908.38 c nbDecision=661000 #constraints=4854 908.69/909.06 c nbDecision=661500 #constraints=4854 909.40/909.75 c nbDecision=662000 #constraints=4854 910.09/910.43 c nbDecision=662500 #constraints=4854 910.69/911.10 c nbDecision=663000 #constraints=4854 911.39/911.77 c nbDecision=663500 #constraints=4854 912.09/912.44 c nbDecision=664000 #constraints=4854 912.79/913.11 c nbDecision=664500 #constraints=4854 913.39/913.78 c nbDecision=665000 #constraints=4854 914.09/914.44 c nbDecision=665500 #constraints=4854 914.79/915.11 c nbDecision=666000 #constraints=4854 915.39/915.77 c nbDecision=666500 #constraints=4854 916.09/916.43 c nbDecision=667000 #constraints=4854 916.69/917.09 c nbDecision=667500 #constraints=4854 917.39/917.75 c nbDecision=668000 #constraints=4854 918.09/918.40 c nbDecision=668500 #constraints=4854 918.69/919.06 c nbDecision=669000 #constraints=4854 919.39/919.71 c nbDecision=669500 #constraints=4854 919.99/920.35 c nbDecision=670000 #constraints=4854 920.59/920.99 c nbDecision=670500 #constraints=4854 921.29/921.63 c nbDecision=671000 #constraints=4854 921.89/922.26 c nbDecision=671500 #constraints=4854 922.59/922.90 c nbDecision=672000 #constraints=4854 923.29/923.65 c nbDecision=672500 #constraints=4855 923.98/924.39 c nbDecision=673000 #constraints=4855 924.79/925.13 c nbDecision=673500 #constraints=4855 925.48/925.85 c nbDecision=674000 #constraints=4855 926.18/926.57 c nbDecision=674500 #constraints=4855 926.89/927.29 c nbDecision=675000 #constraints=4855 927.68/928.01 c nbDecision=675500 #constraints=4855 928.38/928.72 c nbDecision=676000 #constraints=4855 929.09/929.44 c nbDecision=676500 #constraints=4855 929.78/930.15 c nbDecision=677000 #constraints=4855 930.48/930.86 c nbDecision=677500 #constraints=4855 931.18/931.57 c nbDecision=678000 #constraints=4855 931.88/932.27 c nbDecision=678500 #constraints=4855 932.58/932.97 c nbDecision=679000 #constraints=4855 933.28/933.67 c nbDecision=679500 #constraints=4855 933.98/934.36 c nbDecision=680000 #constraints=4855 934.68/935.05 c nbDecision=680500 #constraints=4855 935.38/935.75 c nbDecision=681000 #constraints=4855 936.08/936.45 c nbDecision=681500 #constraints=4855 936.78/937.13 c nbDecision=682000 #constraints=4855 937.48/937.82 c nbDecision=682500 #constraints=4855 938.18/938.50 c nbDecision=683000 #constraints=4855 938.78/939.18 c nbDecision=683500 #constraints=4855 939.48/939.86 c nbDecision=684000 #constraints=4855 940.18/940.53 c nbDecision=684500 #constraints=4855 940.88/941.21 c nbDecision=685000 #constraints=4855 941.48/941.87 c nbDecision=685500 #constraints=4855 942.18/942.53 c nbDecision=686000 #constraints=4855 942.88/943.20 c nbDecision=686500 #constraints=4855 943.48/943.86 c nbDecision=687000 #constraints=4855 944.18/944.52 c nbDecision=687500 #constraints=4855 944.78/945.18 c nbDecision=688000 #constraints=4855 945.48/945.83 c nbDecision=688500 #constraints=4855 946.09/946.47 c nbDecision=689000 #constraints=4855 946.79/947.11 c nbDecision=689500 #constraints=4855 947.39/947.75 c nbDecision=690000 #constraints=4855 947.99/948.39 c nbDecision=690500 #constraints=4855 948.69/949.03 c nbDecision=691000 #constraints=4855 949.29/949.65 c nbDecision=691500 #constraints=4855 949.89/950.28 c nbDecision=692000 #constraints=4855 950.69/951.01 c nbDecision=692500 #constraints=4856 951.39/951.74 c nbDecision=693000 #constraints=4856 952.09/952.47 c nbDecision=693500 #constraints=4856 952.89/953.20 c nbDecision=694000 #constraints=4856 953.58/953.93 c nbDecision=694500 #constraints=4856 954.28/954.65 c nbDecision=695000 #constraints=4856 954.98/955.38 c nbDecision=695500 #constraints=4856 955.78/956.10 c nbDecision=696000 #constraints=4856 956.48/956.82 c nbDecision=696500 #constraints=4856 957.18/957.54 c nbDecision=697000 #constraints=4856 957.88/958.25 c nbDecision=697500 #constraints=4856 958.58/958.97 c nbDecision=698000 #constraints=4856 959.28/959.66 c nbDecision=698500 #constraints=4856 959.99/960.37 c nbDecision=699000 #constraints=4856 960.68/961.08 c nbDecision=699500 #constraints=4856 961.38/961.78 c nbDecision=700000 #constraints=4856 962.08/962.48 c nbDecision=700500 #constraints=4856 962.78/963.18 c nbDecision=701000 #constraints=4856 963.48/963.87 c nbDecision=701500 #constraints=4856 964.18/964.56 c nbDecision=702000 #constraints=4856 964.88/965.24 c nbDecision=702500 #constraints=4856 965.58/965.92 c nbDecision=703000 #constraints=4856 966.28/966.60 c nbDecision=703500 #constraints=4856 966.88/967.27 c nbDecision=704000 #constraints=4856 967.58/967.94 c nbDecision=704500 #constraints=4856 968.28/968.60 c nbDecision=705000 #constraints=4856 968.88/969.27 c nbDecision=705500 #constraints=4856 969.58/969.93 c nbDecision=706000 #constraints=4856 970.18/970.59 c nbDecision=706500 #constraints=4856 970.88/971.25 c nbDecision=707000 #constraints=4856 971.58/971.90 c nbDecision=707500 #constraints=4856 972.18/972.55 c nbDecision=708000 #constraints=4856 972.88/973.20 c nbDecision=708500 #constraints=4856 973.48/973.84 c nbDecision=709000 #constraints=4856 974.08/974.49 c nbDecision=709500 #constraints=4856 974.77/975.13 c nbDecision=710000 #constraints=4856 975.38/975.78 c nbDecision=710500 #constraints=4856 976.07/976.41 c nbDecision=711000 #constraints=4856 976.67/977.05 c nbDecision=711500 #constraints=4856 977.27/977.69 c nbDecision=712000 #constraints=4856 977.97/978.39 c nbDecision=712500 #constraints=4857 978.77/979.12 c nbDecision=713000 #constraints=4857 979.47/979.85 c nbDecision=713500 #constraints=4857 980.17/980.57 c nbDecision=714000 #constraints=4857 980.88/981.29 c nbDecision=714500 #constraints=4857 981.67/982.01 c nbDecision=715000 #constraints=4857 982.37/982.72 c nbDecision=715500 #constraints=4857 983.08/983.43 c nbDecision=716000 #constraints=4857 983.77/984.14 c nbDecision=716500 #constraints=4857 984.47/984.85 c nbDecision=717000 #constraints=4857 985.18/985.54 c nbDecision=717500 #constraints=4857 985.87/986.24 c nbDecision=718000 #constraints=4857 986.57/986.92 c nbDecision=718500 #constraints=4857 987.27/987.61 c nbDecision=719000 #constraints=4857 987.87/988.30 c nbDecision=719500 #constraints=4857 988.57/988.98 c nbDecision=720000 #constraints=4857 989.27/989.66 c nbDecision=720500 #constraints=4857 989.97/990.34 c nbDecision=721000 #constraints=4857 990.67/991.01 c nbDecision=721500 #constraints=4857 991.27/991.68 c nbDecision=722000 #constraints=4857 991.97/992.35 c nbDecision=722500 #constraints=4857 992.67/993.02 c nbDecision=723000 #constraints=4857 993.27/993.68 c nbDecision=723500 #constraints=4857 993.97/994.34 c nbDecision=724000 #constraints=4857 994.67/995.00 c nbDecision=724500 #constraints=4857 995.27/995.67 c nbDecision=725000 #constraints=4857 995.97/996.32 c nbDecision=725500 #constraints=4857 996.57/996.98 c nbDecision=726000 #constraints=4857 997.27/997.63 c nbDecision=726500 #constraints=4857 997.87/998.28 c nbDecision=727000 #constraints=4857 998.57/998.93 c nbDecision=727500 #constraints=4857 999.17/999.58 c nbDecision=728000 #constraints=4857 999.87/1000.22 c nbDecision=728500 #constraints=4857 1000.46/1000.86 c nbDecision=729000 #constraints=4857 1001.06/1001.49 c nbDecision=729500 #constraints=4857 1001.77/1002.19 c nbDecision=730000 #constraints=4858 1002.56/1002.91 c nbDecision=730500 #constraints=4858 1003.26/1003.65 c nbDecision=731000 #constraints=4858 1003.97/1004.39 c nbDecision=731500 #constraints=4858 1004.76/1005.11 c nbDecision=732000 #constraints=4858 1005.46/1005.84 c nbDecision=732500 #constraints=4858 1006.17/1006.55 c nbDecision=733000 #constraints=4858 1006.86/1007.27 c nbDecision=733500 #constraints=4858 1007.56/1007.97 c nbDecision=734000 #constraints=4858 1008.27/1008.68 c nbDecision=734500 #constraints=4858 1008.96/1009.39 c nbDecision=735000 #constraints=4858 1009.76/1010.10 c nbDecision=735500 #constraints=4858 1010.46/1010.80 c nbDecision=736000 #constraints=4858 1011.06/1011.49 c nbDecision=736500 #constraints=4858 1011.76/1012.19 c nbDecision=737000 #constraints=4858 1012.46/1012.89 c nbDecision=737500 #constraints=4858 1013.16/1013.58 c nbDecision=738000 #constraints=4858 1013.86/1014.27 c nbDecision=738500 #constraints=4858 1014.56/1014.96 c nbDecision=739000 #constraints=4858 1015.26/1015.65 c nbDecision=739500 #constraints=4858 1015.96/1016.34 c nbDecision=740000 #constraints=4858 1016.66/1017.02 c nbDecision=740500 #constraints=4858 1017.36/1017.70 c nbDecision=741000 #constraints=4858 1017.96/1018.38 c nbDecision=741500 #constraints=4858 1018.66/1019.06 c nbDecision=742000 #constraints=4858 1019.36/1019.72 c nbDecision=742500 #constraints=4858 1019.95/1020.39 c nbDecision=743000 #constraints=4858 1020.65/1021.06 c nbDecision=743500 #constraints=4858 1021.35/1021.73 c nbDecision=744000 #constraints=4858 1021.95/1022.39 c nbDecision=744500 #constraints=4858 1022.66/1023.05 c nbDecision=745000 #constraints=4858 1023.35/1023.71 c nbDecision=745500 #constraints=4858 1023.95/1024.37 c nbDecision=746000 #constraints=4858 1024.65/1025.02 c nbDecision=746500 #constraints=4858 1025.25/1025.66 c nbDecision=747000 #constraints=4858 1025.86/1026.30 c nbDecision=747500 #constraints=4858 1026.55/1026.94 c nbDecision=748000 #constraints=4858 1027.15/1027.57 c nbDecision=748500 #constraints=4858 1027.85/1028.20 c nbDecision=749000 #constraints=4858 1028.45/1028.83 c nbDecision=749500 #constraints=4858 1029.15/1029.50 c nbDecision=750000 #constraints=4859 1029.85/1030.22 c nbDecision=750500 #constraints=4859 1030.55/1030.93 c nbDecision=751000 #constraints=4859 1031.25/1031.65 c nbDecision=751500 #constraints=4859 1031.95/1032.36 c nbDecision=752000 #constraints=4859 1032.65/1033.07 c nbDecision=752500 #constraints=4859 1033.35/1033.78 c nbDecision=753000 #constraints=4859 1034.05/1034.49 c nbDecision=753500 #constraints=4859 1034.75/1035.19 c nbDecision=754000 #constraints=4859 1035.55/1035.90 c nbDecision=754500 #constraints=4859 1036.25/1036.60 c nbDecision=755000 #constraints=4859 1036.85/1037.30 c nbDecision=755500 #constraints=4859 1037.65/1038.00 c nbDecision=756000 #constraints=4859 1038.25/1038.69 c nbDecision=756500 #constraints=4859 1038.95/1039.38 c nbDecision=757000 #constraints=4859 1039.63/1040.09 c nbDecision=757500 #constraints=4859 1040.33/1040.78 c nbDecision=758000 #constraints=4859 1041.03/1041.47 c nbDecision=758500 #constraints=4859 1041.73/1042.14 c nbDecision=759000 #constraints=4859 1042.42/1042.85 c nbDecision=759500 #constraints=4859 1043.12/1043.52 c nbDecision=760000 #constraints=4859 1043.72/1044.19 c nbDecision=760500 #constraints=4859 1044.42/1044.86 c nbDecision=761000 #constraints=4859 1045.12/1045.52 c nbDecision=761500 #constraints=4859 1045.71/1046.19 c nbDecision=762000 #constraints=4859 1046.41/1046.84 c nbDecision=762500 #constraints=4859 1047.01/1047.50 c nbDecision=763000 #constraints=4859 1047.71/1048.14 c nbDecision=763500 #constraints=4859 1048.31/1048.79 c nbDecision=764000 #constraints=4859 1049.01/1049.44 c nbDecision=764500 #constraints=4859 1049.60/1050.08 c nbDecision=765000 #constraints=4859 1050.31/1050.71 c nbDecision=765500 #constraints=4859 1050.90/1051.35 c nbDecision=766000 #constraints=4859 1051.50/1051.99 c nbDecision=766500 #constraints=4859 1052.20/1052.62 c nbDecision=767000 #constraints=4859 1052.80/1053.29 c nbDecision=767500 #constraints=4860 1053.60/1054.02 c nbDecision=768000 #constraints=4860 1054.30/1054.76 c nbDecision=768500 #constraints=4860 1054.98/1055.49 c nbDecision=769000 #constraints=4860 1055.77/1056.22 c nbDecision=769500 #constraints=4860 1056.47/1056.96 c nbDecision=770000 #constraints=4860 1057.17/1057.68 c nbDecision=770500 #constraints=4860 1057.97/1058.41 c nbDecision=771000 #constraints=4860 1058.67/1059.13 c nbDecision=771500 #constraints=4860 1059.37/1059.85 c nbDecision=772000 #constraints=4860 1060.07/1060.57 c nbDecision=772500 #constraints=4860 1060.86/1061.30 c nbDecision=773000 #constraints=4860 1061.56/1062.01 c nbDecision=773500 #constraints=4860 1062.26/1062.71 c nbDecision=774000 #constraints=4860 1062.96/1063.43 c nbDecision=774500 #constraints=4860 1063.65/1064.14 c nbDecision=775000 #constraints=4860 1064.35/1064.83 c nbDecision=775500 #constraints=4860 1065.05/1065.53 c nbDecision=776000 #constraints=4860 1065.75/1066.22 c nbDecision=776500 #constraints=4860 1066.44/1066.92 c nbDecision=777000 #constraints=4860 1067.13/1067.60 c nbDecision=777500 #constraints=4860 1067.74/1068.29 c nbDecision=778000 #constraints=4860 1068.43/1068.96 c nbDecision=778500 #constraints=4860 1069.13/1069.63 c nbDecision=779000 #constraints=4860 1069.83/1070.30 c nbDecision=779500 #constraints=4860 1070.43/1070.97 c nbDecision=780000 #constraints=4860 1071.13/1071.64 c nbDecision=780500 #constraints=4860 1071.83/1072.30 c nbDecision=781000 #constraints=4860 1072.43/1072.97 c nbDecision=781500 #constraints=4860 1073.13/1073.63 c nbDecision=782000 #constraints=4860 1073.73/1074.28 c nbDecision=782500 #constraints=4860 1074.43/1074.94 c nbDecision=783000 #constraints=4860 1075.03/1075.59 c nbDecision=783500 #constraints=4860 1075.73/1076.25 c nbDecision=784000 #constraints=4860 1076.33/1076.90 c nbDecision=784500 #constraints=4860 1077.03/1077.55 c nbDecision=785000 #constraints=4860 1077.63/1078.19 c nbDecision=785500 #constraints=4860 1078.33/1078.83 c nbDecision=786000 #constraints=4860 1078.93/1079.48 c nbDecision=786500 #constraints=4860 1079.64/1080.11 c nbDecision=787000 #constraints=4860 1080.23/1080.78 c nbDecision=787500 #constraints=4861 1081.03/1081.51 c nbDecision=788000 #constraints=4861 1081.73/1082.24 c nbDecision=788500 #constraints=4861 1082.43/1082.96 c nbDecision=789000 #constraints=4861 1083.13/1083.68 c nbDecision=789500 #constraints=4861 1083.93/1084.40 c nbDecision=790000 #constraints=4861 1084.63/1085.12 c nbDecision=790500 #constraints=4861 1085.33/1085.82 c nbDecision=791000 #constraints=4861 1086.03/1086.52 c nbDecision=791500 #constraints=4861 1086.73/1087.23 c nbDecision=792000 #constraints=4861 1087.43/1087.93 c nbDecision=792500 #constraints=4861 1088.13/1088.61 c nbDecision=793000 #constraints=4861 1088.83/1089.30 c nbDecision=793500 #constraints=4861 1089.43/1089.99 c nbDecision=794000 #constraints=4861 1090.13/1090.68 c nbDecision=794500 #constraints=4861 1090.82/1091.37 c nbDecision=795000 #constraints=4861 1091.52/1092.05 c nbDecision=795500 #constraints=4861 1092.22/1092.72 c nbDecision=796000 #constraints=4861 1092.83/1093.40 c nbDecision=796500 #constraints=4861 1093.51/1094.09 c nbDecision=797000 #constraints=4861 1094.21/1094.76 c nbDecision=797500 #constraints=4861 1094.91/1095.43 c nbDecision=798000 #constraints=4861 1095.61/1096.10 c nbDecision=798500 #constraints=4861 1096.21/1096.75 c nbDecision=799000 #constraints=4861 1096.91/1097.42 c nbDecision=799500 #constraints=4861 1097.51/1098.07 c nbDecision=800000 #constraints=4861 1098.21/1098.72 c nbDecision=800500 #constraints=4861 1098.80/1099.38 c nbDecision=801000 #constraints=4861 1099.51/1100.03 c nbDecision=801500 #constraints=4861 1100.10/1100.68 c nbDecision=802000 #constraints=4861 1100.80/1101.32 c nbDecision=802500 #constraints=4861 1101.40/1101.97 c nbDecision=803000 #constraints=4861 1102.10/1102.61 c nbDecision=803500 #constraints=4861 1102.71/1103.24 c nbDecision=804000 #constraints=4861 1103.30/1103.87 c nbDecision=804500 #constraints=4861 1104.00/1104.51 c nbDecision=805000 #constraints=4861 1104.70/1105.26 c nbDecision=805500 #constraints=4862 1105.40/1105.97 c nbDecision=806000 #constraints=4862 1106.11/1106.68 c nbDecision=806500 #constraints=4862 1106.80/1107.39 c nbDecision=807000 #constraints=4862 1107.60/1108.10 c nbDecision=807500 #constraints=4862 1108.31/1108.81 c nbDecision=808000 #constraints=4862 1109.00/1109.51 c nbDecision=808500 #constraints=4862 1109.70/1110.20 c nbDecision=809000 #constraints=4862 1110.30/1110.90 c nbDecision=809500 #constraints=4862 1111.00/1111.59 c nbDecision=810000 #constraints=4862 1111.70/1112.28 c nbDecision=810500 #constraints=4862 1112.40/1112.97 c nbDecision=811000 #constraints=4862 1113.10/1113.65 c nbDecision=811500 #constraints=4862 1113.80/1114.33 c nbDecision=812000 #constraints=4862 1114.50/1115.01 c nbDecision=812500 #constraints=4862 1115.20/1115.70 c nbDecision=813000 #constraints=4862 1115.80/1116.38 c nbDecision=813500 #constraints=4862 1116.50/1117.07 c nbDecision=814000 #constraints=4862 1117.20/1117.74 c nbDecision=814500 #constraints=4862 1117.90/1118.42 c nbDecision=815000 #constraints=4862 1118.50/1119.09 c nbDecision=815500 #constraints=4862 1119.20/1119.76 c nbDecision=816000 #constraints=4862 1119.90/1120.43 c nbDecision=816500 #constraints=4862 1120.50/1121.09 c nbDecision=817000 #constraints=4862 1121.20/1121.75 c nbDecision=817500 #constraints=4862 1121.90/1122.41 c nbDecision=818000 #constraints=4862 1122.50/1123.07 c nbDecision=818500 #constraints=4862 1123.20/1123.72 c nbDecision=819000 #constraints=4862 1123.40/1123.98 c restart after 819201 decisions 1123.90/1124.48 c nbDecision=819500 #constraints=4862 1124.70/1125.24 c nbDecision=820000 #constraints=4862 1125.39/1125.99 c nbDecision=820500 #constraints=4862 1126.19/1126.73 c nbDecision=821000 #constraints=4862 1126.90/1127.47 c nbDecision=821500 #constraints=4862 1127.69/1128.21 c nbDecision=822000 #constraints=4862 1128.39/1128.95 c nbDecision=822500 #constraints=4862 1129.10/1129.68 c nbDecision=823000 #constraints=4862 1129.89/1130.41 c nbDecision=823500 #constraints=4862 1130.59/1131.14 c nbDecision=824000 #constraints=4862 1131.30/1131.85 c nbDecision=824500 #constraints=4862 1131.99/1132.58 c nbDecision=825000 #constraints=4862 1132.69/1133.30 c nbDecision=825500 #constraints=4862 1133.50/1134.01 c nbDecision=826000 #constraints=4862 1134.19/1134.73 c nbDecision=826500 #constraints=4862 1134.89/1135.45 c nbDecision=827000 #constraints=4862 1135.59/1136.16 c nbDecision=827500 #constraints=4862 1136.29/1136.87 c nbDecision=828000 #constraints=4862 1136.99/1137.58 c nbDecision=828500 #constraints=4862 1137.69/1138.29 c nbDecision=829000 #constraints=4862 1138.49/1139.00 c nbDecision=829500 #constraints=4862 1139.19/1139.70 c nbDecision=830000 #constraints=4862 1139.89/1140.40 c nbDecision=830500 #constraints=4862 1140.49/1141.09 c nbDecision=831000 #constraints=4862 1141.19/1141.79 c nbDecision=831500 #constraints=4862 1141.89/1142.48 c nbDecision=832000 #constraints=4862 1142.59/1143.17 c nbDecision=832500 #constraints=4862 1143.29/1143.85 c nbDecision=833000 #constraints=4862 1143.99/1144.53 c nbDecision=833500 #constraints=4862 1144.69/1145.20 c nbDecision=834000 #constraints=4862 1145.28/1145.87 c nbDecision=834500 #constraints=4862 1145.98/1146.53 c nbDecision=835000 #constraints=4862 1146.58/1147.19 c nbDecision=835500 #constraints=4862 1147.28/1147.85 c nbDecision=836000 #constraints=4862 1147.98/1148.51 c nbDecision=836500 #constraints=4862 1148.58/1149.17 c nbDecision=837000 #constraints=4862 1149.28/1149.82 c nbDecision=837500 #constraints=4862 1149.88/1150.48 c nbDecision=838000 #constraints=4862 1150.58/1151.12 c nbDecision=838500 #constraints=4862 1151.19/1151.77 c nbDecision=839000 #constraints=4862 1151.88/1152.41 c nbDecision=839500 #constraints=4862 1152.48/1153.05 c nbDecision=840000 #constraints=4862 1153.08/1153.69 c nbDecision=840500 #constraints=4862 1153.78/1154.32 c nbDecision=841000 #constraints=4862 1154.39/1154.96 c nbDecision=841500 #constraints=4862 1154.98/1155.59 c nbDecision=842000 #constraints=4862 1155.78/1156.33 c nbDecision=842500 #constraints=4863 1156.48/1157.07 c nbDecision=843000 #constraints=4863 1157.28/1157.81 c nbDecision=843500 #constraints=4863 1157.98/1158.54 c nbDecision=844000 #constraints=4863 1158.68/1159.28 c nbDecision=844500 #constraints=4863 1159.48/1160.00 c nbDecision=845000 #constraints=4863 1160.18/1160.72 c nbDecision=845500 #constraints=4863 1160.88/1161.44 c nbDecision=846000 #constraints=4863 1161.58/1162.16 c nbDecision=846500 #constraints=4863 1162.28/1162.88 c nbDecision=847000 #constraints=4863 1162.98/1163.58 c nbDecision=847500 #constraints=4863 1163.78/1164.30 c nbDecision=848000 #constraints=4863 1164.48/1165.00 c nbDecision=848500 #constraints=4863 1165.18/1165.70 c nbDecision=849000 #constraints=4863 1165.88/1166.40 c nbDecision=849500 #constraints=4863 1166.48/1167.10 c nbDecision=850000 #constraints=4863 1167.18/1167.79 c nbDecision=850500 #constraints=4863 1167.87/1168.48 c nbDecision=851000 #constraints=4863 1168.57/1169.16 c nbDecision=851500 #constraints=4863 1169.27/1169.85 c nbDecision=852000 #constraints=4863 1169.97/1170.53 c nbDecision=852500 #constraints=4863 1170.67/1171.21 c nbDecision=853000 #constraints=4863 1171.27/1171.88 c nbDecision=853500 #constraints=4863 1171.98/1172.55 c nbDecision=854000 #constraints=4863 1172.67/1173.22 c nbDecision=854500 #constraints=4863 1173.27/1173.89 c nbDecision=855000 #constraints=4863 1173.97/1174.56 c nbDecision=855500 #constraints=4863 1174.67/1175.23 c nbDecision=856000 #constraints=4863 1175.28/1175.89 c nbDecision=856500 #constraints=4863 1175.97/1176.55 c nbDecision=857000 #constraints=4863 1176.67/1177.21 c nbDecision=857500 #constraints=4863 1177.27/1177.87 c nbDecision=858000 #constraints=4863 1177.97/1178.53 c nbDecision=858500 #constraints=4863 1178.57/1179.18 c nbDecision=859000 #constraints=4863 1179.27/1179.83 c nbDecision=859500 #constraints=4863 1179.87/1180.47 c nbDecision=860000 #constraints=4863 1180.57/1181.11 c nbDecision=860500 #constraints=4863 1181.17/1181.75 c nbDecision=861000 #constraints=4863 1181.77/1182.39 c nbDecision=861500 #constraints=4863 1182.47/1183.02 c nbDecision=862000 #constraints=4863 1183.17/1183.76 c nbDecision=862500 #constraints=4864 1183.87/1184.49 c nbDecision=863000 #constraints=4864 1184.67/1185.20 c nbDecision=863500 #constraints=4864 1185.37/1185.92 c nbDecision=864000 #constraints=4864 1186.07/1186.63 c nbDecision=864500 #constraints=4864 1186.77/1187.34 c nbDecision=865000 #constraints=4864 1187.47/1188.04 c nbDecision=865500 #constraints=4864 1188.17/1188.74 c nbDecision=866000 #constraints=4864 1188.87/1189.44 c nbDecision=866500 #constraints=4864 1189.57/1190.14 c nbDecision=867000 #constraints=4864 1190.27/1190.83 c nbDecision=867500 #constraints=4864 1190.96/1191.52 c nbDecision=868000 #constraints=4864 1191.67/1192.21 c nbDecision=868500 #constraints=4864 1192.27/1192.90 c nbDecision=869000 #constraints=4864 1192.98/1193.58 c nbDecision=869500 #constraints=4864 1193.67/1194.26 c nbDecision=870000 #constraints=4864 1194.37/1194.94 c nbDecision=870500 #constraints=4864 1195.08/1195.62 c nbDecision=871000 #constraints=4864 1195.77/1196.30 c nbDecision=871500 #constraints=4864 1196.37/1196.97 c nbDecision=872000 #constraints=4864 1197.07/1197.65 c nbDecision=872500 #constraints=4864 1197.77/1198.32 c nbDecision=873000 #constraints=4864 1198.38/1198.99 c nbDecision=873500 #constraints=4864 1199.07/1199.65 c nbDecision=874000 #constraints=4864 1199.77/1200.31 c nbDecision=874500 #constraints=4864 1200.37/1200.97 c nbDecision=875000 #constraints=4864 1201.07/1201.63 c nbDecision=875500 #constraints=4864 1201.68/1202.28 c nbDecision=876000 #constraints=4864 1202.37/1202.93 c nbDecision=876500 #constraints=4864 1202.97/1203.58 c nbDecision=877000 #constraints=4864 1203.67/1204.22 c nbDecision=877500 #constraints=4864 1204.27/1204.86 c nbDecision=878000 #constraints=4864 1204.87/1205.50 c nbDecision=878500 #constraints=4864 1205.57/1206.13 c nbDecision=879000 #constraints=4864 1206.17/1206.76 c nbDecision=879500 #constraints=4864 1206.97/1207.52 c nbDecision=880000 #constraints=4865 1207.67/1208.26 c nbDecision=880500 #constraints=4865 1208.37/1209.00 c nbDecision=881000 #constraints=4865 1209.17/1209.73 c nbDecision=881500 #constraints=4865 1209.87/1210.45 c nbDecision=882000 #constraints=4865 1210.57/1211.18 c nbDecision=882500 #constraints=4865 1211.37/1211.91 c nbDecision=883000 #constraints=4865 1212.07/1212.63 c nbDecision=883500 #constraints=4865 1212.77/1213.35 c nbDecision=884000 #constraints=4865 1213.46/1214.07 c nbDecision=884500 #constraints=4865 1214.16/1214.77 c nbDecision=885000 #constraints=4865 1214.87/1215.49 c nbDecision=885500 #constraints=4865 1215.66/1216.20 c nbDecision=886000 #constraints=4865 1216.36/1216.91 c nbDecision=886500 #constraints=4865 1217.07/1217.62 c nbDecision=887000 #constraints=4865 1217.76/1218.33 c nbDecision=887500 #constraints=4865 1218.46/1219.04 c nbDecision=888000 #constraints=4865 1219.16/1219.74 c nbDecision=888500 #constraints=4865 1219.86/1220.44 c nbDecision=889000 #constraints=4865 1220.56/1221.12 c nbDecision=889500 #constraints=4865 1221.26/1221.81 c nbDecision=890000 #constraints=4865 1221.96/1222.51 c nbDecision=890500 #constraints=4865 1222.57/1223.19 c nbDecision=891000 #constraints=4865 1223.26/1223.87 c nbDecision=891500 #constraints=4865 1223.96/1224.56 c nbDecision=892000 #constraints=4865 1224.66/1225.23 c nbDecision=892500 #constraints=4865 1225.36/1225.90 c nbDecision=893000 #constraints=4865 1225.97/1226.57 c nbDecision=893500 #constraints=4865 1226.66/1227.23 c nbDecision=894000 #constraints=4865 1227.26/1227.90 c nbDecision=894500 #constraints=4865 1227.96/1228.55 c nbDecision=895000 #constraints=4865 1228.66/1229.21 c nbDecision=895500 #constraints=4865 1229.26/1229.87 c nbDecision=896000 #constraints=4865 1229.96/1230.52 c nbDecision=896500 #constraints=4865 1230.56/1231.17 c nbDecision=897000 #constraints=4865 1231.26/1231.81 c nbDecision=897500 #constraints=4865 1231.86/1232.45 c nbDecision=898000 #constraints=4865 1232.46/1233.09 c nbDecision=898500 #constraints=4865 1233.16/1233.73 c nbDecision=899000 #constraints=4865 1233.76/1234.36 c nbDecision=899500 #constraints=4865 1234.36/1234.99 c nbDecision=900000 #constraints=4865 1235.06/1235.62 c nbDecision=900500 #constraints=4865 1235.76/1236.36 c nbDecision=901000 #constraints=4866 1236.56/1237.10 c nbDecision=901500 #constraints=4866 1237.26/1237.84 c nbDecision=902000 #constraints=4866 1237.96/1238.57 c nbDecision=902500 #constraints=4866 1238.76/1239.31 c nbDecision=903000 #constraints=4866 1239.46/1240.03 c nbDecision=903500 #constraints=4866 1240.16/1240.76 c nbDecision=904000 #constraints=4866 1240.86/1241.48 c nbDecision=904500 #constraints=4866 1241.66/1242.20 c nbDecision=905000 #constraints=4866 1242.36/1242.92 c nbDecision=905500 #constraints=4866 1243.06/1243.63 c nbDecision=906000 #constraints=4866 1243.75/1244.35 c nbDecision=906500 #constraints=4866 1244.45/1245.05 c nbDecision=907000 #constraints=4866 1245.15/1245.74 c nbDecision=907500 #constraints=4866 1245.85/1246.44 c nbDecision=908000 #constraints=4866 1246.55/1247.13 c nbDecision=908500 #constraints=4866 1247.25/1247.83 c nbDecision=909000 #constraints=4866 1247.96/1248.51 c nbDecision=909500 #constraints=4866 1248.55/1249.19 c nbDecision=910000 #constraints=4866 1249.25/1249.87 c nbDecision=910500 #constraints=4866 1249.95/1250.55 c nbDecision=911000 #constraints=4866 1250.65/1251.23 c nbDecision=911500 #constraints=4866 1251.35/1251.90 c nbDecision=912000 #constraints=4866 1251.95/1252.58 c nbDecision=912500 #constraints=4866 1252.65/1253.25 c nbDecision=913000 #constraints=4866 1253.35/1253.91 c nbDecision=913500 #constraints=4866 1253.95/1254.58 c nbDecision=914000 #constraints=4866 1254.65/1255.24 c nbDecision=914500 #constraints=4866 1255.35/1255.91 c nbDecision=915000 #constraints=4866 1255.95/1256.57 c nbDecision=915500 #constraints=4866 1256.65/1257.22 c nbDecision=916000 #constraints=4866 1257.25/1257.88 c nbDecision=916500 #constraints=4866 1257.95/1258.54 c nbDecision=917000 #constraints=4866 1258.55/1259.19 c nbDecision=917500 #constraints=4866 1259.25/1259.84 c nbDecision=918000 #constraints=4866 1259.85/1260.48 c nbDecision=918500 #constraints=4866 1260.55/1261.12 c nbDecision=919000 #constraints=4866 1261.15/1261.76 c nbDecision=919500 #constraints=4866 1261.75/1262.40 c nbDecision=920000 #constraints=4866 1262.45/1263.03 c nbDecision=920500 #constraints=4866 1263.25/1263.81 c nbDecision=921000 #constraints=4867 1263.95/1264.56 c nbDecision=921500 #constraints=4867 1264.75/1265.30 c nbDecision=922000 #constraints=4867 1265.45/1266.03 c nbDecision=922500 #constraints=4867 1266.15/1266.75 c nbDecision=923000 #constraints=4867 1266.85/1267.48 c nbDecision=923500 #constraints=4867 1267.55/1268.20 c nbDecision=924000 #constraints=4867 1268.35/1268.92 c nbDecision=924500 #constraints=4867 1269.05/1269.64 c nbDecision=925000 #constraints=4867 1269.74/1270.35 c nbDecision=925500 #constraints=4867 1270.44/1271.07 c nbDecision=926000 #constraints=4867 1271.14/1271.78 c nbDecision=926500 #constraints=4867 1271.84/1272.49 c nbDecision=927000 #constraints=4867 1272.54/1273.19 c nbDecision=927500 #constraints=4867 1273.34/1273.90 c nbDecision=928000 #constraints=4867 1274.04/1274.60 c nbDecision=928500 #constraints=4867 1274.74/1275.30 c nbDecision=929000 #constraints=4867 1275.34/1276.00 c nbDecision=929500 #constraints=4867 1276.14/1276.70 c nbDecision=930000 #constraints=4867 1276.74/1277.40 c nbDecision=930500 #constraints=4867 1277.44/1278.09 c nbDecision=931000 #constraints=4867 1278.14/1278.78 c nbDecision=931500 #constraints=4867 1278.84/1279.47 c nbDecision=932000 #constraints=4867 1279.54/1280.15 c nbDecision=932500 #constraints=4867 1280.24/1280.83 c nbDecision=933000 #constraints=4867 1280.94/1281.51 c nbDecision=933500 #constraints=4867 1281.54/1282.19 c nbDecision=934000 #constraints=4867 1282.24/1282.86 c nbDecision=934500 #constraints=4867 1282.93/1283.53 c nbDecision=935000 #constraints=4867 1283.63/1284.20 c nbDecision=935500 #constraints=4867 1284.24/1284.87 c nbDecision=936000 #constraints=4867 1284.93/1285.52 c nbDecision=936500 #constraints=4867 1285.53/1286.17 c nbDecision=937000 #constraints=4867 1286.23/1286.82 c nbDecision=937500 #constraints=4867 1286.83/1287.47 c nbDecision=938000 #constraints=4867 1287.54/1288.12 c nbDecision=938500 #constraints=4867 1288.13/1288.76 c nbDecision=939000 #constraints=4867 1288.83/1289.40 c nbDecision=939500 #constraints=4867 1289.43/1290.04 c nbDecision=940000 #constraints=4867 1290.03/1290.67 c nbDecision=940500 #constraints=4867 1290.74/1291.30 c nbDecision=941000 #constraints=4867 1291.33/1291.93 c nbDecision=941500 #constraints=4867 1292.03/1292.69 c nbDecision=942000 #constraints=4868 1292.83/1293.43 c nbDecision=942500 #constraints=4868 1293.53/1294.17 c nbDecision=943000 #constraints=4868 1294.34/1294.90 c nbDecision=943500 #constraints=4868 1295.04/1295.64 c nbDecision=944000 #constraints=4868 1295.74/1296.37 c nbDecision=944500 #constraints=4868 1296.54/1297.10 c nbDecision=945000 #constraints=4868 1297.24/1297.83 c nbDecision=945500 #constraints=4868 1297.94/1298.56 c nbDecision=946000 #constraints=4868 1298.64/1299.28 c nbDecision=946500 #constraints=4868 1299.44/1300.00 c nbDecision=947000 #constraints=4868 1300.14/1300.72 c nbDecision=947500 #constraints=4868 1300.84/1301.44 c nbDecision=948000 #constraints=4868 1301.54/1302.15 c nbDecision=948500 #constraints=4868 1302.24/1302.86 c nbDecision=949000 #constraints=4868 1302.94/1303.57 c nbDecision=949500 #constraints=4868 1303.64/1304.27 c nbDecision=950000 #constraints=4868 1304.34/1304.97 c nbDecision=950500 #constraints=4868 1305.04/1305.66 c nbDecision=951000 #constraints=4868 1305.74/1306.35 c nbDecision=951500 #constraints=4868 1306.44/1307.04 c nbDecision=952000 #constraints=4868 1307.14/1307.72 c nbDecision=952500 #constraints=4868 1307.84/1308.40 c nbDecision=953000 #constraints=4868 1308.44/1309.08 c nbDecision=953500 #constraints=4868 1309.14/1309.76 c nbDecision=954000 #constraints=4868 1309.84/1310.43 c nbDecision=954500 #constraints=4868 1310.44/1311.10 c nbDecision=955000 #constraints=4868 1311.14/1311.76 c nbDecision=955500 #constraints=4868 1311.83/1312.43 c nbDecision=956000 #constraints=4868 1312.43/1313.09 c nbDecision=956500 #constraints=4868 1313.13/1313.75 c nbDecision=957000 #constraints=4868 1313.83/1314.40 c nbDecision=957500 #constraints=4868 1314.43/1315.06 c nbDecision=958000 #constraints=4868 1315.13/1315.72 c nbDecision=958500 #constraints=4868 1315.73/1316.37 c nbDecision=959000 #constraints=4868 1316.43/1317.02 c nbDecision=959500 #constraints=4868 1317.03/1317.67 c nbDecision=960000 #constraints=4868 1317.73/1318.32 c nbDecision=960500 #constraints=4868 1318.33/1318.96 c nbDecision=961000 #constraints=4868 1319.03/1319.60 c nbDecision=961500 #constraints=4868 1319.63/1320.24 c nbDecision=962000 #constraints=4868 1320.23/1320.88 c nbDecision=962500 #constraints=4868 1321.03/1321.64 c nbDecision=963000 #constraints=4869 1321.73/1322.38 c nbDecision=963500 #constraints=4869 1322.53/1323.12 c nbDecision=964000 #constraints=4869 1323.23/1323.86 c nbDecision=964500 #constraints=4869 1324.03/1324.60 c nbDecision=965000 #constraints=4869 1324.73/1325.33 c nbDecision=965500 #constraints=4869 1325.43/1326.05 c nbDecision=966000 #constraints=4869 1326.13/1326.78 c nbDecision=966500 #constraints=4869 1326.83/1327.50 c nbDecision=967000 #constraints=4869 1327.63/1328.21 c nbDecision=967500 #constraints=4869 1328.33/1328.93 c nbDecision=968000 #constraints=4869 1329.02/1329.64 c nbDecision=968500 #constraints=4869 1329.72/1330.34 c nbDecision=969000 #constraints=4869 1330.43/1331.05 c nbDecision=969500 #constraints=4869 1331.12/1331.75 c nbDecision=970000 #constraints=4869 1331.82/1332.46 c nbDecision=970500 #constraints=4869 1332.53/1333.15 c nbDecision=971000 #constraints=4869 1333.22/1333.85 c nbDecision=971500 #constraints=4869 1333.92/1334.54 c nbDecision=972000 #constraints=4869 1334.62/1335.23 c nbDecision=972500 #constraints=4869 1335.32/1335.93 c nbDecision=973000 #constraints=4869 1336.02/1336.61 c nbDecision=973500 #constraints=4869 1336.72/1337.30 c nbDecision=974000 #constraints=4869 1337.32/1337.99 c nbDecision=974500 #constraints=4869 1338.02/1338.67 c nbDecision=975000 #constraints=4869 1338.72/1339.35 c nbDecision=975500 #constraints=4869 1339.42/1340.03 c nbDecision=976000 #constraints=4869 1340.02/1340.70 c nbDecision=976500 #constraints=4869 1340.72/1341.37 c nbDecision=977000 #constraints=4869 1341.43/1342.04 c nbDecision=977500 #constraints=4869 1342.12/1342.70 c nbDecision=978000 #constraints=4869 1342.72/1343.36 c nbDecision=978500 #constraints=4869 1343.42/1344.01 c nbDecision=979000 #constraints=4869 1344.02/1344.67 c nbDecision=979500 #constraints=4869 1344.72/1345.32 c nbDecision=980000 #constraints=4869 1345.32/1345.97 c nbDecision=980500 #constraints=4869 1346.02/1346.61 c nbDecision=981000 #constraints=4869 1346.62/1347.24 c nbDecision=981500 #constraints=4869 1347.21/1347.88 c nbDecision=982000 #constraints=4869 1347.92/1348.51 c nbDecision=982500 #constraints=4869 1348.51/1349.14 c nbDecision=983000 #constraints=4869 1349.12/1349.77 c nbDecision=983500 #constraints=4869 1349.91/1350.52 c nbDecision=984000 #constraints=4870 1350.61/1351.26 c nbDecision=984500 #constraints=4870 1351.32/1352.00 c nbDecision=985000 #constraints=4870 1352.11/1352.72 c nbDecision=985500 #constraints=4870 1352.81/1353.45 c nbDecision=986000 #constraints=4870 1353.51/1354.18 c nbDecision=986500 #constraints=4870 1354.31/1354.90 c nbDecision=987000 #constraints=4870 1355.01/1355.63 c nbDecision=987500 #constraints=4870 1355.71/1356.36 c nbDecision=988000 #constraints=4870 1356.41/1357.08 c nbDecision=988500 #constraints=4870 1357.21/1357.80 c nbDecision=989000 #constraints=4870 1357.91/1358.52 c nbDecision=989500 #constraints=4870 1358.61/1359.24 c nbDecision=990000 #constraints=4870 1359.31/1359.95 c nbDecision=990500 #constraints=4870 1360.01/1360.66 c nbDecision=991000 #constraints=4870 1360.71/1361.37 c nbDecision=991500 #constraints=4870 1361.41/1362.06 c nbDecision=992000 #constraints=4870 1362.11/1362.75 c nbDecision=992500 #constraints=4870 1362.81/1363.45 c nbDecision=993000 #constraints=4870 1363.51/1364.15 c nbDecision=993500 #constraints=4870 1364.21/1364.84 c nbDecision=994000 #constraints=4870 1364.90/1365.53 c nbDecision=994500 #constraints=4870 1365.61/1366.21 c nbDecision=995000 #constraints=4870 1366.20/1366.89 c nbDecision=995500 #constraints=4870 1366.90/1367.56 c nbDecision=996000 #constraints=4870 1367.60/1368.23 c nbDecision=996500 #constraints=4870 1368.30/1368.90 c nbDecision=997000 #constraints=4870 1368.90/1369.56 c nbDecision=997500 #constraints=4870 1369.60/1370.23 c nbDecision=998000 #constraints=4870 1370.20/1370.88 c nbDecision=998500 #constraints=4870 1370.90/1371.54 c nbDecision=999000 #constraints=4870 1371.61/1372.20 c nbDecision=999500 #constraints=4870 1372.21/1372.85 c nbDecision=1000000 #constraints=4870 1372.91/1373.50 c nbDecision=1000500 #constraints=4870 1373.51/1374.15 c nbDecision=1001000 #constraints=4870 1374.21/1374.80 c nbDecision=1001500 #constraints=4870 1374.81/1375.45 c nbDecision=1002000 #constraints=4870 1375.41/1376.09 c nbDecision=1002500 #constraints=4870 1376.11/1376.74 c nbDecision=1003000 #constraints=4870 1376.71/1377.38 c nbDecision=1003500 #constraints=4870 1377.41/1378.01 c nbDecision=1004000 #constraints=4870 1378.01/1378.65 c nbDecision=1004500 #constraints=4870 1378.71/1379.40 c nbDecision=1005000 #constraints=4871 1379.51/1380.13 c nbDecision=1005500 #constraints=4871 1380.21/1380.86 c nbDecision=1006000 #constraints=4871 1380.91/1381.59 c nbDecision=1006500 #constraints=4871 1381.71/1382.32 c nbDecision=1007000 #constraints=4871 1382.41/1383.05 c nbDecision=1007500 #constraints=4871 1383.11/1383.76 c nbDecision=1008000 #constraints=4871 1383.81/1384.49 c nbDecision=1008500 #constraints=4871 1384.61/1385.20 c nbDecision=1009000 #constraints=4871 1385.31/1385.91 c nbDecision=1009500 #constraints=4871 1386.01/1386.62 c nbDecision=1010000 #constraints=4871 1386.70/1387.32 c nbDecision=1010500 #constraints=4871 1387.40/1388.02 c nbDecision=1011000 #constraints=4871 1388.10/1388.72 c nbDecision=1011500 #constraints=4871 1388.80/1389.42 c nbDecision=1012000 #constraints=4871 1389.50/1390.11 c nbDecision=1012500 #constraints=4871 1390.10/1390.80 c nbDecision=1013000 #constraints=4871 1390.81/1391.48 c nbDecision=1013500 #constraints=4871 1391.50/1392.17 c nbDecision=1014000 #constraints=4871 1392.20/1392.85 c nbDecision=1014500 #constraints=4871 1392.90/1393.53 c nbDecision=1015000 #constraints=4871 1393.60/1394.21 c nbDecision=1015500 #constraints=4871 1394.21/1394.87 c nbDecision=1016000 #constraints=4871 1394.90/1395.55 c nbDecision=1016500 #constraints=4871 1395.60/1396.23 c nbDecision=1017000 #constraints=4871 1396.20/1396.90 c nbDecision=1017500 #constraints=4871 1396.90/1397.57 c nbDecision=1018000 #constraints=4871 1397.60/1398.23 c nbDecision=1018500 #constraints=4871 1398.30/1398.90 c nbDecision=1019000 #constraints=4871 1398.90/1399.56 c nbDecision=1019500 #constraints=4871 1399.60/1400.22 c nbDecision=1020000 #constraints=4871 1400.20/1400.88 c nbDecision=1020500 #constraints=4871 1400.90/1401.53 c nbDecision=1021000 #constraints=4871 1401.50/1402.18 c nbDecision=1021500 #constraints=4871 1402.20/1402.83 c nbDecision=1022000 #constraints=4871 1402.79/1403.47 c nbDecision=1022500 #constraints=4871 1403.49/1404.11 c nbDecision=1023000 #constraints=4871 1404.10/1404.75 c nbDecision=1023500 #constraints=4871 1404.69/1405.38 c nbDecision=1024000 #constraints=4871 1405.39/1406.08 c nbDecision=1024500 #constraints=4872 1406.20/1406.81 c nbDecision=1025000 #constraints=4872 1406.89/1407.54 c nbDecision=1025500 #constraints=4872 1407.59/1408.27 c nbDecision=1026000 #constraints=4872 1408.29/1408.99 c nbDecision=1026500 #constraints=4872 1409.09/1409.71 c nbDecision=1027000 #constraints=4872 1409.79/1410.42 c nbDecision=1027500 #constraints=4872 1410.49/1411.13 c nbDecision=1028000 #constraints=4872 1411.19/1411.84 c nbDecision=1028500 #constraints=4872 1411.89/1412.56 c nbDecision=1029000 #constraints=4872 1412.59/1413.26 c nbDecision=1029500 #constraints=4872 1413.29/1413.97 c nbDecision=1030000 #constraints=4872 1413.99/1414.67 c nbDecision=1030500 #constraints=4872 1414.69/1415.38 c nbDecision=1031000 #constraints=4872 1415.39/1416.08 c nbDecision=1031500 #constraints=4872 1416.09/1416.78 c nbDecision=1032000 #constraints=4872 1416.79/1417.48 c nbDecision=1032500 #constraints=4872 1417.49/1418.18 c nbDecision=1033000 #constraints=4872 1418.19/1418.87 c nbDecision=1033500 #constraints=4872 1418.89/1419.56 c nbDecision=1034000 #constraints=4872 1419.59/1420.25 c nbDecision=1034500 #constraints=4872 1420.29/1420.93 c nbDecision=1035000 #constraints=4872 1420.99/1421.61 c nbDecision=1035500 #constraints=4872 1421.59/1422.29 c nbDecision=1036000 #constraints=4872 1422.29/1422.97 c nbDecision=1036500 #constraints=4872 1422.99/1423.64 c nbDecision=1037000 #constraints=4872 1423.69/1424.31 c nbDecision=1037500 #constraints=4872 1424.29/1424.97 c nbDecision=1038000 #constraints=4872 1424.99/1425.63 c nbDecision=1038500 #constraints=4872 1425.59/1426.29 c nbDecision=1039000 #constraints=4872 1426.29/1426.94 c nbDecision=1039500 #constraints=4872 1426.89/1427.59 c nbDecision=1040000 #constraints=4872 1427.59/1428.24 c nbDecision=1040500 #constraints=4872 1428.19/1428.88 c nbDecision=1041000 #constraints=4872 1428.88/1429.52 c nbDecision=1041500 #constraints=4872 1429.48/1430.16 c nbDecision=1042000 #constraints=4872 1430.18/1430.80 c nbDecision=1042500 #constraints=4872 1430.78/1431.43 c nbDecision=1043000 #constraints=4872 1431.38/1432.06 c nbDecision=1043500 #constraints=4872 1431.98/1432.69 c nbDecision=1044000 #constraints=4872 1432.78/1433.44 c nbDecision=1044500 #constraints=4873 1433.48/1434.17 c nbDecision=1045000 #constraints=4873 1434.28/1434.90 c nbDecision=1045500 #constraints=4873 1434.98/1435.64 c nbDecision=1046000 #constraints=4873 1435.68/1436.36 c nbDecision=1046500 #constraints=4873 1436.38/1437.09 c nbDecision=1047000 #constraints=4873 1437.18/1437.82 c nbDecision=1047500 #constraints=4873 1437.88/1438.54 c nbDecision=1048000 #constraints=4873 1438.58/1439.26 c nbDecision=1048500 #constraints=4873 1439.29/1439.97 c nbDecision=1049000 #constraints=4873 1439.98/1440.69 c nbDecision=1049500 #constraints=4873 1440.78/1441.40 c nbDecision=1050000 #constraints=4873 1441.48/1442.11 c nbDecision=1050500 #constraints=4873 1442.18/1442.80 c nbDecision=1051000 #constraints=4873 1442.88/1443.51 c nbDecision=1051500 #constraints=4873 1443.58/1444.20 c nbDecision=1052000 #constraints=4873 1444.18/1444.89 c nbDecision=1052500 #constraints=4873 1444.88/1445.58 c nbDecision=1053000 #constraints=4873 1445.58/1446.27 c nbDecision=1053500 #constraints=4873 1446.28/1446.95 c nbDecision=1054000 #constraints=4873 1446.98/1447.63 c nbDecision=1054500 #constraints=4873 1447.68/1448.30 c nbDecision=1055000 #constraints=4873 1448.28/1448.97 c nbDecision=1055500 #constraints=4873 1448.98/1449.64 c nbDecision=1056000 #constraints=4873 1449.68/1450.31 c nbDecision=1056500 #constraints=4873 1450.28/1450.96 c nbDecision=1057000 #constraints=4873 1450.98/1451.63 c nbDecision=1057500 #constraints=4873 1451.58/1452.29 c nbDecision=1058000 #constraints=4873 1452.28/1452.94 c nbDecision=1058500 #constraints=4873 1452.98/1453.60 c nbDecision=1059000 #constraints=4873 1453.59/1454.25 c nbDecision=1059500 #constraints=4873 1454.18/1454.89 c nbDecision=1060000 #constraints=4873 1454.88/1455.55 c nbDecision=1060500 #constraints=4873 1455.48/1456.20 c nbDecision=1061000 #constraints=4873 1456.18/1456.84 c nbDecision=1061500 #constraints=4873 1456.78/1457.48 c nbDecision=1062000 #constraints=4873 1457.48/1458.12 c nbDecision=1062500 #constraints=4873 1458.08/1458.76 c nbDecision=1063000 #constraints=4873 1458.68/1459.39 c nbDecision=1063500 #constraints=4873 1459.48/1460.12 c nbDecision=1064000 #constraints=4874 1460.18/1460.87 c nbDecision=1064500 #constraints=4874 1460.98/1461.61 c nbDecision=1065000 #constraints=4874 1461.68/1462.35 c nbDecision=1065500 #constraints=4874 1462.38/1463.09 c nbDecision=1066000 #constraints=4874 1463.18/1463.82 c nbDecision=1066500 #constraints=4874 1463.88/1464.56 c nbDecision=1067000 #constraints=4874 1464.58/1465.28 c nbDecision=1067500 #constraints=4874 1465.38/1466.00 c nbDecision=1068000 #constraints=4874 1466.08/1466.72 c nbDecision=1068500 #constraints=4874 1466.78/1467.43 c nbDecision=1069000 #constraints=4874 1467.48/1468.14 c nbDecision=1069500 #constraints=4874 1468.18/1468.85 c nbDecision=1070000 #constraints=4874 1468.88/1469.55 c nbDecision=1070500 #constraints=4874 1469.58/1470.26 c nbDecision=1071000 #constraints=4874 1470.28/1470.96 c nbDecision=1071500 #constraints=4874 1470.98/1471.65 c nbDecision=1072000 #constraints=4874 1471.68/1472.35 c nbDecision=1072500 #constraints=4874 1472.37/1473.04 c nbDecision=1073000 #constraints=4874 1473.07/1473.73 c nbDecision=1073500 #constraints=4874 1473.77/1474.41 c nbDecision=1074000 #constraints=4874 1474.48/1475.10 c nbDecision=1074500 #constraints=4874 1475.07/1475.79 c nbDecision=1075000 #constraints=4874 1475.77/1476.47 c nbDecision=1075500 #constraints=4874 1476.47/1477.16 c nbDecision=1076000 #constraints=4874 1477.17/1477.84 c nbDecision=1076500 #constraints=4874 1477.87/1478.51 c nbDecision=1077000 #constraints=4874 1478.47/1479.19 c nbDecision=1077500 #constraints=4874 1479.17/1479.86 c nbDecision=1078000 #constraints=4874 1479.87/1480.53 c nbDecision=1078500 #constraints=4874 1480.47/1481.19 c nbDecision=1079000 #constraints=4874 1481.17/1481.85 c nbDecision=1079500 #constraints=4874 1481.87/1482.52 c nbDecision=1080000 #constraints=4874 1482.47/1483.17 c nbDecision=1080500 #constraints=4874 1483.17/1483.83 c nbDecision=1081000 #constraints=4874 1483.77/1484.48 c nbDecision=1081500 #constraints=4874 1484.47/1485.13 c nbDecision=1082000 #constraints=4874 1485.07/1485.77 c nbDecision=1082500 #constraints=4874 1485.77/1486.41 c nbDecision=1083000 #constraints=4874 1486.37/1487.04 c nbDecision=1083500 #constraints=4874 1486.97/1487.67 c nbDecision=1084000 #constraints=4874 1487.57/1488.30 c nbDecision=1084500 #constraints=4874 1488.37/1489.04 c nbDecision=1085000 #constraints=4875 1489.07/1489.78 c nbDecision=1085500 #constraints=4875 1489.87/1490.52 c nbDecision=1086000 #constraints=4875 1490.57/1491.25 c nbDecision=1086500 #constraints=4875 1491.27/1491.98 c nbDecision=1087000 #constraints=4875 1492.07/1492.70 c nbDecision=1087500 #constraints=4875 1492.76/1493.43 c nbDecision=1088000 #constraints=4875 1493.46/1494.15 c nbDecision=1088500 #constraints=4875 1494.17/1494.86 c nbDecision=1089000 #constraints=4875 1494.86/1495.58 c nbDecision=1089500 #constraints=4875 1495.66/1496.30 c nbDecision=1090000 #constraints=4875 1496.37/1497.01 c nbDecision=1090500 #constraints=4875 1497.06/1497.72 c nbDecision=1091000 #constraints=4875 1497.76/1498.43 c nbDecision=1091500 #constraints=4875 1498.46/1499.14 c nbDecision=1092000 #constraints=4875 1499.16/1499.84 c nbDecision=1092500 #constraints=4875 1499.86/1500.54 c nbDecision=1093000 #constraints=4875 1500.56/1501.25 c nbDecision=1093500 #constraints=4875 1501.26/1501.94 c nbDecision=1094000 #constraints=4875 1501.97/1502.63 c nbDecision=1094500 #constraints=4875 1502.66/1503.33 c nbDecision=1095000 #constraints=4875 1503.36/1504.02 c nbDecision=1095500 #constraints=4875 1504.07/1504.70 c nbDecision=1096000 #constraints=4875 1504.66/1505.38 c nbDecision=1096500 #constraints=4875 1505.36/1506.06 c nbDecision=1097000 #constraints=4875 1506.06/1506.73 c nbDecision=1097500 #constraints=4875 1506.76/1507.40 c nbDecision=1098000 #constraints=4875 1507.36/1508.06 c nbDecision=1098500 #constraints=4875 1508.06/1508.72 c nbDecision=1099000 #constraints=4875 1508.66/1509.39 c nbDecision=1099500 #constraints=4875 1509.36/1510.04 c nbDecision=1100000 #constraints=4875 1510.06/1510.70 c nbDecision=1100500 #constraints=4875 1510.66/1511.35 c nbDecision=1101000 #constraints=4875 1511.36/1512.01 c nbDecision=1101500 #constraints=4875 1511.96/1512.65 c nbDecision=1102000 #constraints=4875 1512.56/1513.30 c nbDecision=1102500 #constraints=4875 1513.26/1513.94 c nbDecision=1103000 #constraints=4875 1513.86/1514.58 c nbDecision=1103500 #constraints=4875 1514.56/1515.22 c nbDecision=1104000 #constraints=4875 1515.16/1515.86 c nbDecision=1104500 #constraints=4875 1515.76/1516.49 c nbDecision=1105000 #constraints=4875 1516.46/1517.13 c nbDecision=1105500 #constraints=4875 1517.16/1517.89 c nbDecision=1106000 #constraints=4876 1517.96/1518.64 c nbDecision=1106500 #constraints=4876 1518.66/1519.38 c nbDecision=1107000 #constraints=4876 1519.46/1520.12 c nbDecision=1107500 #constraints=4876 1520.16/1520.85 c nbDecision=1108000 #constraints=4876 1520.86/1521.59 c nbDecision=1108500 #constraints=4876 1521.66/1522.32 c nbDecision=1109000 #constraints=4876 1522.36/1523.05 c nbDecision=1109500 #constraints=4876 1523.05/1523.77 c nbDecision=1110000 #constraints=4876 1523.75/1524.49 c nbDecision=1110500 #constraints=4876 1524.55/1525.21 c nbDecision=1111000 #constraints=4876 1525.25/1525.92 c nbDecision=1111500 #constraints=4876 1525.95/1526.63 c nbDecision=1112000 #constraints=4876 1526.65/1527.32 c nbDecision=1112500 #constraints=4876 1527.35/1528.02 c nbDecision=1113000 #constraints=4876 1528.05/1528.72 c nbDecision=1113500 #constraints=4876 1528.75/1529.42 c nbDecision=1114000 #constraints=4876 1529.46/1530.12 c nbDecision=1114500 #constraints=4876 1530.15/1530.80 c nbDecision=1115000 #constraints=4876 1530.75/1531.49 c nbDecision=1115500 #constraints=4876 1531.45/1532.17 c nbDecision=1116000 #constraints=4876 1532.15/1532.85 c nbDecision=1116500 #constraints=4876 1532.85/1533.53 c nbDecision=1117000 #constraints=4876 1533.56/1534.21 c nbDecision=1117500 #constraints=4876 1534.16/1534.88 c nbDecision=1118000 #constraints=4876 1534.86/1535.56 c nbDecision=1118500 #constraints=4876 1535.56/1536.24 c nbDecision=1119000 #constraints=4876 1536.25/1536.90 c nbDecision=1119500 #constraints=4876 1536.85/1537.57 c nbDecision=1120000 #constraints=4876 1537.56/1538.24 c nbDecision=1120500 #constraints=4876 1538.16/1538.90 c nbDecision=1121000 #constraints=4876 1538.85/1539.56 c nbDecision=1121500 #constraints=4876 1539.55/1540.22 c nbDecision=1122000 #constraints=4876 1540.15/1540.87 c nbDecision=1122500 #constraints=4876 1540.85/1541.53 c nbDecision=1123000 #constraints=4876 1541.46/1542.18 c nbDecision=1123500 #constraints=4876 1542.15/1542.82 c nbDecision=1124000 #constraints=4876 1542.75/1543.47 c nbDecision=1124500 #constraints=4876 1543.45/1544.11 c nbDecision=1125000 #constraints=4876 1544.05/1544.75 c nbDecision=1125500 #constraints=4876 1544.65/1545.38 c nbDecision=1126000 #constraints=4876 1545.35/1546.06 c nbDecision=1126500 #constraints=4877 1546.05/1546.78 c nbDecision=1127000 #constraints=4877 1546.85/1547.51 c nbDecision=1127500 #constraints=4877 1547.55/1548.24 c nbDecision=1128000 #constraints=4877 1548.25/1548.96 c nbDecision=1128500 #constraints=4877 1548.95/1549.67 c nbDecision=1129000 #constraints=4877 1549.65/1550.39 c nbDecision=1129500 #constraints=4877 1550.45/1551.10 c nbDecision=1130000 #constraints=4877 1551.15/1551.81 c nbDecision=1130500 #constraints=4877 1551.85/1552.52 c nbDecision=1131000 #constraints=4877 1552.55/1553.23 c nbDecision=1131500 #constraints=4877 1553.25/1553.93 c nbDecision=1132000 #constraints=4877 1553.95/1554.64 c nbDecision=1132500 #constraints=4877 1554.65/1555.34 c nbDecision=1133000 #constraints=4877 1555.35/1556.05 c nbDecision=1133500 #constraints=4877 1556.05/1556.75 c nbDecision=1134000 #constraints=4877 1556.75/1557.45 c nbDecision=1134500 #constraints=4877 1557.44/1558.14 c nbDecision=1135000 #constraints=4877 1558.14/1558.83 c nbDecision=1135500 #constraints=4877 1558.84/1559.52 c nbDecision=1136000 #constraints=4877 1559.54/1560.20 c nbDecision=1136500 #constraints=4877 1560.15/1560.89 c nbDecision=1137000 #constraints=4877 1560.84/1561.57 c nbDecision=1137500 #constraints=4877 1561.54/1562.25 c nbDecision=1138000 #constraints=4877 1562.24/1562.92 c nbDecision=1138500 #constraints=4877 1562.84/1563.60 c nbDecision=1139000 #constraints=4877 1563.55/1564.27 c nbDecision=1139500 #constraints=4877 1564.24/1564.93 c nbDecision=1140000 #constraints=4877 1564.84/1565.59 c nbDecision=1140500 #constraints=4877 1565.54/1566.25 c nbDecision=1141000 #constraints=4877 1566.24/1566.90 c nbDecision=1141500 #constraints=4877 1566.84/1567.55 c nbDecision=1142000 #constraints=4877 1567.54/1568.20 c nbDecision=1142500 #constraints=4877 1568.14/1568.84 c nbDecision=1143000 #constraints=4877 1568.74/1569.49 c nbDecision=1143500 #constraints=4877 1569.44/1570.13 c nbDecision=1144000 #constraints=4877 1570.04/1570.76 c nbDecision=1144500 #constraints=4877 1570.74/1571.40 c nbDecision=1145000 #constraints=4877 1571.34/1572.03 c nbDecision=1145500 #constraints=4877 1571.94/1572.66 c nbDecision=1146000 #constraints=4877 1572.74/1573.43 c nbDecision=1146500 #constraints=4878 1573.44/1574.16 c nbDecision=1147000 #constraints=4878 1574.24/1574.90 c nbDecision=1147500 #constraints=4878 1574.94/1575.64 c nbDecision=1148000 #constraints=4878 1575.64/1576.37 c nbDecision=1148500 #constraints=4878 1576.34/1577.09 c nbDecision=1149000 #constraints=4878 1577.14/1577.82 c nbDecision=1149500 #constraints=4878 1577.84/1578.55 c nbDecision=1150000 #constraints=4878 1578.54/1579.28 c nbDecision=1150500 #constraints=4878 1579.33/1580.00 c nbDecision=1151000 #constraints=4878 1580.04/1580.72 c nbDecision=1151500 #constraints=4878 1580.74/1581.43 c nbDecision=1152000 #constraints=4878 1581.43/1582.14 c nbDecision=1152500 #constraints=4878 1582.14/1582.85 c nbDecision=1153000 #constraints=4878 1582.83/1583.56 c nbDecision=1153500 #constraints=4878 1583.53/1584.27 c nbDecision=1154000 #constraints=4878 1584.23/1584.97 c nbDecision=1154500 #constraints=4878 1584.93/1585.66 c nbDecision=1155000 #constraints=4878 1585.63/1586.34 c nbDecision=1155500 #constraints=4878 1586.33/1587.03 c nbDecision=1156000 #constraints=4878 1587.03/1587.71 c nbDecision=1156500 #constraints=4878 1587.63/1588.40 c nbDecision=1157000 #constraints=4878 1588.33/1589.08 c nbDecision=1157500 #constraints=4878 1589.03/1589.75 c nbDecision=1158000 #constraints=4878 1589.73/1590.43 c nbDecision=1158500 #constraints=4878 1590.43/1591.10 c nbDecision=1159000 #constraints=4878 1591.03/1591.77 c nbDecision=1159500 #constraints=4878 1591.73/1592.44 c nbDecision=1160000 #constraints=4878 1592.43/1593.10 c nbDecision=1160500 #constraints=4878 1593.03/1593.76 c nbDecision=1161000 #constraints=4878 1593.73/1594.42 c nbDecision=1161500 #constraints=4878 1594.33/1595.07 c nbDecision=1162000 #constraints=4878 1595.03/1595.73 c nbDecision=1162500 #constraints=4878 1595.63/1596.39 c nbDecision=1163000 #constraints=4878 1596.33/1597.04 c nbDecision=1163500 #constraints=4878 1596.93/1597.69 c nbDecision=1164000 #constraints=4878 1597.63/1598.34 c nbDecision=1164500 #constraints=4878 1598.23/1598.98 c nbDecision=1165000 #constraints=4878 1598.93/1599.63 c nbDecision=1165500 #constraints=4878 1599.52/1600.26 c nbDecision=1166000 #constraints=4878 1600.22/1600.90 c nbDecision=1166500 #constraints=4878 1600.93/1601.60 c nbDecision=1167000 #constraints=4879 1601.62/1602.33 c nbDecision=1167500 #constraints=4879 1602.32/1603.06 c nbDecision=1168000 #constraints=4879 1603.03/1603.79 c nbDecision=1168500 #constraints=4879 1603.82/1604.52 c nbDecision=1169000 #constraints=4879 1604.52/1605.24 c nbDecision=1169500 #constraints=4879 1605.23/1605.94 c nbDecision=1170000 #constraints=4879 1605.93/1606.65 c nbDecision=1170500 #constraints=4879 1606.63/1607.35 c nbDecision=1171000 #constraints=4879 1607.33/1608.06 c nbDecision=1171500 #constraints=4879 1608.03/1608.76 c nbDecision=1172000 #constraints=4879 1608.73/1609.46 c nbDecision=1172500 #constraints=4879 1609.43/1610.16 c nbDecision=1173000 #constraints=4879 1610.13/1610.85 c nbDecision=1173500 #constraints=4879 1610.83/1611.54 c nbDecision=1174000 #constraints=4879 1611.53/1612.22 c nbDecision=1174500 #constraints=4879 1612.23/1612.91 c nbDecision=1175000 #constraints=4879 1612.83/1613.59 c nbDecision=1175500 #constraints=4879 1613.53/1614.27 c nbDecision=1176000 #constraints=4879 1614.23/1614.94 c nbDecision=1176500 #constraints=4879 1614.93/1615.62 c nbDecision=1177000 #constraints=4879 1615.53/1616.29 c nbDecision=1177500 #constraints=4879 1616.23/1616.97 c nbDecision=1178000 #constraints=4879 1616.93/1617.64 c nbDecision=1178500 #constraints=4879 1617.63/1618.31 c nbDecision=1179000 #constraints=4879 1618.23/1618.97 c nbDecision=1179500 #constraints=4879 1618.93/1619.64 c nbDecision=1180000 #constraints=4879 1619.63/1620.30 c nbDecision=1180500 #constraints=4879 1620.23/1620.96 c nbDecision=1181000 #constraints=4879 1620.93/1621.62 c nbDecision=1181500 #constraints=4879 1621.53/1622.27 c nbDecision=1182000 #constraints=4879 1622.23/1622.92 c nbDecision=1182500 #constraints=4879 1622.83/1623.57 c nbDecision=1183000 #constraints=4879 1623.53/1624.22 c nbDecision=1183500 #constraints=4879 1624.13/1624.86 c nbDecision=1184000 #constraints=4879 1624.73/1625.49 c nbDecision=1184500 #constraints=4879 1625.42/1626.12 c nbDecision=1185000 #constraints=4879 1626.02/1626.76 c nbDecision=1185500 #constraints=4880 1626.72/1627.40 c nbDecision=1186000 #constraints=4880 1627.33/1628.05 c nbDecision=1186500 #constraints=4880 1627.92/1628.68 c nbDecision=1187000 #constraints=4880 1628.62/1629.32 c nbDecision=1187500 #constraints=4880 1629.22/1629.95 c nbDecision=1188000 #constraints=4880 1629.82/1630.57 c nbDecision=1188500 #constraints=4880 1630.53/1631.29 c nbDecision=1189000 #constraints=4881 1631.32/1632.01 c nbDecision=1189500 #constraints=4881 1632.02/1632.72 c nbDecision=1190000 #constraints=4881 1632.72/1633.43 c nbDecision=1190500 #constraints=4881 1633.42/1634.15 c nbDecision=1191000 #constraints=4881 1634.12/1634.85 c nbDecision=1191500 #constraints=4881 1634.82/1635.56 c nbDecision=1192000 #constraints=4881 1635.52/1636.27 c nbDecision=1192500 #constraints=4881 1636.22/1636.97 c nbDecision=1193000 #constraints=4881 1636.92/1637.68 c nbDecision=1193500 #constraints=4881 1637.62/1638.38 c nbDecision=1194000 #constraints=4881 1638.32/1639.08 c nbDecision=1194500 #constraints=4881 1639.02/1639.78 c nbDecision=1195000 #constraints=4881 1639.72/1640.47 c nbDecision=1195500 #constraints=4881 1640.42/1641.16 c nbDecision=1196000 #constraints=4881 1641.12/1641.85 c nbDecision=1196500 #constraints=4881 1641.82/1642.53 c nbDecision=1197000 #constraints=4881 1642.51/1643.21 c nbDecision=1197500 #constraints=4881 1643.11/1643.89 c nbDecision=1198000 #constraints=4881 1643.82/1644.56 c nbDecision=1198500 #constraints=4881 1644.51/1645.23 c nbDecision=1199000 #constraints=4881 1645.11/1645.90 c nbDecision=1199500 #constraints=4881 1645.81/1646.56 c nbDecision=1200000 #constraints=4881 1646.51/1647.21 c nbDecision=1200500 #constraints=4881 1647.12/1647.87 c nbDecision=1201000 #constraints=4881 1647.81/1648.52 c nbDecision=1201500 #constraints=4881 1648.41/1649.17 c nbDecision=1202000 #constraints=4881 1649.11/1649.82 c nbDecision=1202500 #constraints=4881 1649.71/1650.47 c nbDecision=1203000 #constraints=4881 1650.42/1651.11 c nbDecision=1203500 #constraints=4881 1651.01/1651.75 c nbDecision=1204000 #constraints=4881 1651.61/1652.39 c nbDecision=1204500 #constraints=4881 1652.31/1653.02 c nbDecision=1205000 #constraints=4881 1652.91/1653.65 c nbDecision=1205500 #constraints=4881 1653.51/1654.28 c nbDecision=1206000 #constraints=4881 1654.31/1655.03 c nbDecision=1206500 #constraints=4882 1655.01/1655.76 c nbDecision=1207000 #constraints=4882 1655.71/1656.49 c nbDecision=1207500 #constraints=4882 1656.51/1657.22 c nbDecision=1208000 #constraints=4882 1657.21/1657.94 c nbDecision=1208500 #constraints=4882 1657.91/1658.66 c nbDecision=1209000 #constraints=4882 1658.61/1659.37 c nbDecision=1209500 #constraints=4882 1659.31/1660.08 c nbDecision=1210000 #constraints=4882 1660.01/1660.79 c nbDecision=1210500 #constraints=4882 1660.81/1661.50 c nbDecision=1211000 #constraints=4882 1661.51/1662.21 c nbDecision=1211500 #constraints=4882 1662.21/1662.91 c nbDecision=1212000 #constraints=4882 1662.91/1663.62 c nbDecision=1212500 #constraints=4882 1663.61/1664.32 c nbDecision=1213000 #constraints=4882 1664.30/1665.01 c nbDecision=1213500 #constraints=4882 1665.00/1665.70 c nbDecision=1214000 #constraints=4882 1665.60/1666.38 c nbDecision=1214500 #constraints=4882 1666.30/1667.06 c nbDecision=1215000 #constraints=4882 1667.00/1667.74 c nbDecision=1215500 #constraints=4882 1667.70/1668.42 c nbDecision=1216000 #constraints=4882 1668.30/1669.09 c nbDecision=1216500 #constraints=4882 1669.01/1669.76 c nbDecision=1217000 #constraints=4882 1669.70/1670.43 c nbDecision=1217500 #constraints=4882 1670.30/1671.09 c nbDecision=1218000 #constraints=4882 1671.00/1671.75 c nbDecision=1218500 #constraints=4882 1671.70/1672.41 c nbDecision=1219000 #constraints=4882 1672.30/1673.07 c nbDecision=1219500 #constraints=4882 1673.00/1673.72 c nbDecision=1220000 #constraints=4882 1673.60/1674.38 c nbDecision=1220500 #constraints=4882 1674.30/1675.02 c nbDecision=1221000 #constraints=4882 1674.90/1675.67 c nbDecision=1221500 #constraints=4882 1675.60/1676.32 c nbDecision=1222000 #constraints=4882 1676.20/1676.97 c nbDecision=1222500 #constraints=4882 1676.90/1677.61 c nbDecision=1223000 #constraints=4882 1677.50/1678.25 c nbDecision=1223500 #constraints=4882 1678.10/1678.88 c nbDecision=1224000 #constraints=4882 1678.80/1679.52 c nbDecision=1224500 #constraints=4882 1679.50/1680.27 c nbDecision=1225000 #constraints=4883 1680.30/1681.00 c nbDecision=1225500 #constraints=4883 1681.00/1681.73 c nbDecision=1226000 #constraints=4883 1681.70/1682.46 c nbDecision=1226500 #constraints=4883 1682.40/1683.18 c nbDecision=1227000 #constraints=4883 1683.20/1683.90 c nbDecision=1227500 #constraints=4883 1683.90/1684.62 c nbDecision=1228000 #constraints=4883 1684.59/1685.33 c nbDecision=1228500 #constraints=4883 1685.29/1686.04 c nbDecision=1229000 #constraints=4883 1685.99/1686.74 c nbDecision=1229500 #constraints=4883 1686.70/1687.44 c nbDecision=1230000 #constraints=4883 1687.39/1688.14 c nbDecision=1230500 #constraints=4883 1688.09/1688.83 c nbDecision=1231000 #constraints=4883 1688.80/1689.52 c nbDecision=1231500 #constraints=4883 1689.49/1690.21 c nbDecision=1232000 #constraints=4883 1690.09/1690.89 c nbDecision=1232500 #constraints=4883 1690.79/1691.57 c nbDecision=1233000 #constraints=4883 1691.49/1692.25 c nbDecision=1233500 #constraints=4883 1692.19/1692.93 c nbDecision=1234000 #constraints=4883 1692.79/1693.60 c nbDecision=1234500 #constraints=4883 1693.49/1694.26 c nbDecision=1235000 #constraints=4883 1694.19/1694.93 c nbDecision=1235500 #constraints=4883 1694.89/1695.60 c nbDecision=1236000 #constraints=4883 1695.49/1696.27 c nbDecision=1236500 #constraints=4883 1696.19/1696.94 c nbDecision=1237000 #constraints=4883 1696.89/1697.60 c nbDecision=1237500 #constraints=4883 1697.49/1698.27 c nbDecision=1238000 #constraints=4883 1698.19/1698.93 c nbDecision=1238500 #constraints=4883 1698.79/1699.58 c nbDecision=1239000 #constraints=4883 1699.49/1700.23 c nbDecision=1239500 #constraints=4883 1700.09/1700.88 c nbDecision=1240000 #constraints=4883 1700.79/1701.53 c nbDecision=1240500 #constraints=4883 1701.39/1702.18 c nbDecision=1241000 #constraints=4883 1702.09/1702.82 c nbDecision=1241500 #constraints=4883 1702.69/1703.46 c nbDecision=1242000 #constraints=4883 1703.29/1704.09 c nbDecision=1242500 #constraints=4883 1703.99/1704.73 c nbDecision=1243000 #constraints=4883 1704.69/1705.46 c nbDecision=1243500 #constraints=4884 1705.39/1706.19 c nbDecision=1244000 #constraints=4884 1706.19/1706.91 c nbDecision=1244500 #constraints=4884 1706.89/1707.63 c nbDecision=1245000 #constraints=4884 1707.60/1708.34 c nbDecision=1245500 #constraints=4884 1708.29/1709.05 c nbDecision=1246000 #constraints=4884 1708.99/1709.76 c nbDecision=1246500 #constraints=4884 1709.70/1710.47 c nbDecision=1247000 #constraints=4884 1710.39/1711.17 c nbDecision=1247500 #constraints=4884 1711.09/1711.88 c nbDecision=1248000 #constraints=4884 1711.79/1712.58 c nbDecision=1248500 #constraints=4884 1712.49/1713.27 c nbDecision=1249000 #constraints=4884 1713.19/1713.97 c nbDecision=1249500 #constraints=4884 1713.89/1714.66 c nbDecision=1250000 #constraints=4884 1714.59/1715.35 c nbDecision=1250500 #constraints=4884 1715.29/1716.05 c nbDecision=1251000 #constraints=4884 1715.99/1716.74 c nbDecision=1251500 #constraints=4884 1716.69/1717.43 c nbDecision=1252000 #constraints=4884 1717.39/1718.11 c nbDecision=1252500 #constraints=4884 1717.99/1718.79 c nbDecision=1253000 #constraints=4884 1718.69/1719.47 c nbDecision=1253500 #constraints=4884 1719.39/1720.14 c nbDecision=1254000 #constraints=4884 1720.09/1720.82 c nbDecision=1254500 #constraints=4884 1720.69/1721.49 c nbDecision=1255000 #constraints=4884 1721.39/1722.16 c nbDecision=1255500 #constraints=4884 1722.09/1722.83 c nbDecision=1256000 #constraints=4884 1722.69/1723.49 c nbDecision=1256500 #constraints=4884 1723.39/1724.15 c nbDecision=1257000 #constraints=4884 1724.09/1724.81 c nbDecision=1257500 #constraints=4884 1724.68/1725.46 c nbDecision=1258000 #constraints=4884 1725.38/1726.10 c nbDecision=1258500 #constraints=4884 1725.98/1726.74 c nbDecision=1259000 #constraints=4884 1726.58/1727.38 c nbDecision=1259500 #constraints=4884 1727.29/1728.02 c nbDecision=1260000 #constraints=4884 1727.88/1728.66 c nbDecision=1260500 #constraints=4884 1728.49/1729.28 c nbDecision=1261000 #constraints=4884 1729.18/1729.91 c nbDecision=1261500 #constraints=4884 1729.88/1730.63 c nbDecision=1262000 #constraints=4885 1730.58/1731.35 c nbDecision=1262500 #constraints=4885 1731.28/1732.07 c nbDecision=1263000 #constraints=4885 1731.98/1732.78 c nbDecision=1263500 #constraints=4885 1732.68/1733.49 c nbDecision=1264000 #constraints=4885 1733.48/1734.20 c nbDecision=1264500 #constraints=4885 1734.08/1734.89 c nbDecision=1265000 #constraints=4885 1734.88/1735.60 c nbDecision=1265500 #constraints=4885 1735.58/1736.31 c nbDecision=1266000 #constraints=4885 1736.28/1737.01 c nbDecision=1266500 #constraints=4885 1736.98/1737.71 c nbDecision=1267000 #constraints=4885 1737.68/1738.42 c nbDecision=1267500 #constraints=4885 1738.38/1739.11 c nbDecision=1268000 #constraints=4885 1739.08/1739.81 c nbDecision=1268500 #constraints=4885 1739.68/1740.49 c nbDecision=1269000 #constraints=4885 1740.38/1741.17 c nbDecision=1269500 #constraints=4885 1741.08/1741.85 c nbDecision=1270000 #constraints=4885 1741.78/1742.53 c nbDecision=1270500 #constraints=4885 1742.48/1743.21 c nbDecision=1271000 #constraints=4885 1743.08/1743.88 c nbDecision=1271500 #constraints=4885 1743.78/1744.56 c nbDecision=1272000 #constraints=4885 1744.47/1745.22 c nbDecision=1272500 #constraints=4885 1745.07/1745.88 c nbDecision=1273000 #constraints=4885 1745.77/1746.54 c nbDecision=1273500 #constraints=4885 1746.47/1747.20 c nbDecision=1274000 #constraints=4885 1747.08/1747.85 c nbDecision=1274500 #constraints=4885 1747.77/1748.50 c nbDecision=1275000 #constraints=4885 1748.37/1749.15 c nbDecision=1275500 #constraints=4885 1748.97/1749.79 c nbDecision=1276000 #constraints=4885 1749.67/1750.43 c nbDecision=1276500 #constraints=4885 1750.27/1751.07 c nbDecision=1277000 #constraints=4885 1750.97/1751.71 c nbDecision=1277500 #constraints=4885 1751.58/1752.34 c nbDecision=1278000 #constraints=4885 1752.17/1752.97 c nbDecision=1278500 #constraints=4885 1752.87/1753.65 c nbDecision=1279000 #constraints=4886 1753.57/1754.37 c nbDecision=1279500 #constraints=4886 1754.27/1755.09 c nbDecision=1280000 #constraints=4886 1755.07/1755.81 c nbDecision=1280500 #constraints=4886 1755.77/1756.53 c nbDecision=1281000 #constraints=4886 1756.47/1757.24 c nbDecision=1281500 #constraints=4886 1757.17/1757.96 c nbDecision=1282000 #constraints=4886 1757.87/1758.67 c nbDecision=1282500 #constraints=4886 1758.57/1759.37 c nbDecision=1283000 #constraints=4886 1759.27/1760.08 c nbDecision=1283500 #constraints=4886 1759.97/1760.78 c nbDecision=1284000 #constraints=4886 1760.67/1761.47 c nbDecision=1284500 #constraints=4886 1761.37/1762.17 c nbDecision=1285000 #constraints=4886 1762.07/1762.86 c nbDecision=1285500 #constraints=4886 1762.77/1763.56 c nbDecision=1286000 #constraints=4886 1763.47/1764.24 c nbDecision=1286500 #constraints=4886 1764.17/1764.93 c nbDecision=1287000 #constraints=4886 1764.87/1765.61 c nbDecision=1287500 #constraints=4886 1765.47/1766.28 c nbDecision=1288000 #constraints=4886 1766.17/1766.95 c nbDecision=1288500 #constraints=4886 1766.87/1767.62 c nbDecision=1289000 #constraints=4886 1767.47/1768.28 c nbDecision=1289500 #constraints=4886 1768.17/1768.95 c nbDecision=1290000 #constraints=4886 1768.87/1769.61 c nbDecision=1290500 #constraints=4886 1769.47/1770.26 c nbDecision=1291000 #constraints=4886 1770.17/1770.91 c nbDecision=1291500 #constraints=4886 1770.76/1771.56 c nbDecision=1292000 #constraints=4886 1771.46/1772.21 c nbDecision=1292500 #constraints=4886 1772.06/1772.86 c nbDecision=1293000 #constraints=4886 1772.76/1773.50 c nbDecision=1293500 #constraints=4886 1773.36/1774.14 c nbDecision=1294000 #constraints=4886 1773.96/1774.77 c nbDecision=1294500 #constraints=4886 1774.67/1775.41 c nbDecision=1295000 #constraints=4886 1775.26/1776.05 c nbDecision=1295500 #constraints=4886 1775.86/1776.68 c nbDecision=1296000 #constraints=4886 1776.66/1777.42 c nbDecision=1296500 #constraints=4887 1777.36/1778.15 c nbDecision=1297000 #constraints=4887 1778.06/1778.88 c nbDecision=1297500 #constraints=4887 1778.86/1779.61 c nbDecision=1298000 #constraints=4887 1779.56/1780.33 c nbDecision=1298500 #constraints=4887 1780.26/1781.05 c nbDecision=1299000 #constraints=4887 1780.96/1781.77 c nbDecision=1299500 #constraints=4887 1781.66/1782.48 c nbDecision=1300000 #constraints=4887 1782.46/1783.20 c nbDecision=1300500 #constraints=4887 1783.16/1783.91 c nbDecision=1301000 #constraints=4887 1783.86/1784.62 c nbDecision=1301500 #constraints=4887 1784.56/1785.32 c nbDecision=1302000 #constraints=4887 1785.26/1786.01 c nbDecision=1302500 #constraints=4887 1785.96/1786.70 c nbDecision=1303000 #constraints=4887 1786.56/1787.39 c nbDecision=1303500 #constraints=4887 1787.26/1788.08 c nbDecision=1304000 #constraints=4887 1787.96/1788.76 c nbDecision=1304500 #constraints=4887 1788.66/1789.44 c nbDecision=1305000 #constraints=4887 1789.36/1790.11 c nbDecision=1305500 #constraints=4887 1789.96/1790.78 c nbDecision=1306000 #constraints=4887 1790.66/1791.46 c nbDecision=1306500 #constraints=4887 1791.36/1792.13 c nbDecision=1307000 #constraints=4887 1791.96/1792.80 c nbDecision=1307500 #constraints=4887 1792.66/1793.46 c nbDecision=1308000 #constraints=4887 1793.36/1794.12 c nbDecision=1308500 #constraints=4887 1793.95/1794.78 c nbDecision=1309000 #constraints=4887 1794.66/1795.44 c nbDecision=1309500 #constraints=4887 1795.35/1796.10 c nbDecision=1310000 #constraints=4887 1795.95/1796.76 c nbDecision=1310500 #constraints=4887 1796.66/1797.42 c nbDecision=1311000 #constraints=4887 1797.25/1798.07 c nbDecision=1311500 #constraints=4887 1797.95/1798.72 c nbDecision=1312000 #constraints=4887 1798.56/1799.36 c nbDecision=1312500 #constraints=4887 1799.26/1800.01 c nbDecision=1313000 #constraints=4887 1799.87/1800.65 c nbDecision=1313500 #constraints=4887 1800.07/1800.80 Received signal 15 1800.07/1800.80 1800.07/1800.80 s UNKNOWN 1800.07/1800.80 1800.07/1800.80 c user time= 1799.81 s 1800.07/1800.80 c system time= 0.26096 s 1800.07/1800.80 c wall clock time=1800.8
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-357303-1176993821 -o ROOT/results/node14/solver-357303-1176993821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357303-1176993821/instance-357303-1176993821.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.97 0.99 2/77 17258 /proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=1468 CPUtime=0 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147299856 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135290291 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 405 164 127 317 0 84 0 [startup+0.071183 s] /proc/loadavg: 0.99 0.97 0.99 2/77 17258 /proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=2400 CPUtime=0.06 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 481 0 0 0 6 0 0 0 18 0 1 0 147299856 2457600 365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 600 365 127 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.101185 s] /proc/loadavg: 0.99 0.97 0.99 2/77 17258 /proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=3440 CPUtime=0.09 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 775 0 0 0 9 0 0 0 18 0 1 0 147299856 3522560 530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827787 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 860 530 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301205 s] /proc/loadavg: 0.99 0.97 0.99 2/77 17258 /proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=5052 CPUtime=0.29 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 1173 0 0 0 29 0 0 0 19 0 1 0 147299856 5173248 928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 1263 928 131 317 0 942 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5052 [startup+0.701243 s] /proc/loadavg: 0.99 0.97 0.99 2/77 17258 /proc/meminfo: memFree=1711240/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=12840 CPUtime=0.69 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 3125 0 0 0 68 1 0 0 22 0 1 0 147299856 13148160 2880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 3210 2881 131 317 0 2889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12840 [startup+1.50132 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1695296/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=31492 CPUtime=1.48 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 7815 0 0 0 146 2 0 0 25 0 1 0 147299856 32247808 7570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 7873 7570 137 317 0 7552 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31492 [startup+3.10147 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1680832/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=32400 CPUtime=3.08 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8009 0 0 0 306 2 0 0 25 0 1 0 147299856 33177600 7764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563810 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8100 7764 139 317 0 7779 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 32400 [startup+6.30177 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33312 CPUtime=6.29 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8240 0 0 0 626 3 0 0 25 0 1 0 147299856 34111488 7995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8328 7995 139 317 0 8007 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33312 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33440 CPUtime=12.68 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8251 0 0 0 1265 3 0 0 25 0 1 0 147299856 34242560 8006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8360 8006 139 317 0 8039 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33440 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679552/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33440 CPUtime=25.48 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8259 0 0 0 2545 3 0 0 25 0 1 0 147299856 34242560 8014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8360 8014 139 317 0 8039 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33440 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679488/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33440 CPUtime=51.08 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8274 0 0 0 5104 4 0 0 25 0 1 0 147299856 34242560 8029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8360 8029 139 317 0 8039 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33440 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=102.27 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8300 0 0 0 10223 4 0 0 25 0 1 0 147299856 34373632 8055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8055 139 317 0 8071 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33568 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=162.24 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8300 0 0 0 16219 5 0 0 25 0 1 0 147299856 34373632 8055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8055 139 317 0 8071 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33568 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=222.22 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8301 0 0 0 22217 5 0 0 25 0 1 0 147299856 34373632 8056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8056 139 317 0 8071 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33568 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=282.2 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8302 0 0 0 28214 6 0 0 25 0 1 0 147299856 34373632 8057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8057 139 317 0 8071 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 33568 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=342.18 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8303 0 0 0 34211 7 0 0 25 0 1 0 147299856 34373632 8058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8058 139 317 0 8071 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33568 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=402.17 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8303 0 0 0 40209 8 0 0 25 0 1 0 147299856 34373632 8058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8058 139 317 0 8071 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33568 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=462.14 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8304 0 0 0 46206 8 0 0 25 0 1 0 147299856 34373632 8059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8059 139 317 0 8071 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 33568 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=522.12 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8305 0 0 0 52203 9 0 0 25 0 1 0 147299856 34373632 8060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8060 139 317 0 8071 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 33568 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679296/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=582.11 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8305 0 0 0 58201 10 0 0 25 0 1 0 147299856 34373632 8060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8060 139 317 0 8071 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 33568 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679424/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=642.09 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8306 0 0 0 64199 10 0 0 25 0 1 0 147299856 34373632 8061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8061 139 317 0 8071 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 33568 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679232/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=822.02 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8308 0 0 0 82190 12 0 0 25 0 1 0 147299856 34373632 8063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8063 139 317 0 8071 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 33568 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679296/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=882 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8309 0 0 0 88187 13 0 0 25 0 1 0 147299856 34373632 8064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8064 139 317 0 8071 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 33568 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679232/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=941.98 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8309 0 0 0 94185 13 0 0 25 0 1 0 147299856 34373632 8064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8064 139 317 0 8071 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 33568 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17259 /proc/meminfo: memFree=1679360/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33568 CPUtime=1001.96 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8310 0 0 0 100182 14 0 0 25 0 1 0 147299856 34373632 8065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8392 8065 139 317 0 8071 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 33568 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/84 17381 /proc/meminfo: memFree=1678016/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1061.86 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8311 0 0 0 106170 16 0 0 25 0 1 0 147299856 34504704 8066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8066 139 317 0 8103 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 33696 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678848/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1121.8 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8311 0 0 0 112162 18 0 0 25 0 1 0 147299856 34504704 8066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8066 139 317 0 8103 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 33696 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678848/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1181.77 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8312 0 0 0 118159 18 0 0 25 0 1 0 147299856 34504704 8067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8067 139 317 0 8103 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 33696 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1241.76 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8313 0 0 0 124157 19 0 0 25 0 1 0 147299856 34504704 8068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8068 139 317 0 8103 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 33696 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1301.74 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8314 0 0 0 130154 20 0 0 25 0 1 0 147299856 34504704 8069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8069 139 317 0 8103 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 33696 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1361.71 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8314 0 0 0 136151 20 0 0 25 0 1 0 147299856 34504704 8069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8069 139 317 0 8103 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 33696 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1421.69 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8315 0 0 0 142148 21 0 0 25 0 1 0 147299856 34504704 8070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8070 139 317 0 8103 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 33696 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1481.67 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8315 0 0 0 148145 22 0 0 25 0 1 0 147299856 34504704 8070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8070 139 317 0 8103 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 33696 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1679040/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1541.65 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8316 0 0 0 154142 23 0 0 25 0 1 0 147299856 34504704 8071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8071 139 317 0 8103 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 33696 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1601.62 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8317 0 0 0 160139 23 0 0 25 0 1 0 147299856 34504704 8072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8072 139 317 0 8103 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 33696 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1661.61 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8318 0 0 0 166137 24 0 0 25 0 1 0 147299856 34504704 8073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8073 139 317 0 8103 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 33696 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1721.59 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8319 0 0 0 172134 25 0 0 25 0 1 0 147299856 34504704 8074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8074 139 317 0 8103 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 33696 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678976/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1781.56 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8320 0 0 0 178131 25 0 0 25 0 1 0 147299856 34504704 8075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8075 139 317 0 8103 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 33696 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17457 /proc/meminfo: memFree=1678912/2055920 swapFree=4148736/4192956 [pid=17258] ppid=17256 vsize=33696 CPUtime=1800.07 /proc/17258/stat : 17258 (oree) R 17256 17258 15865 0 -1 4194304 8320 0 0 0 179981 26 0 0 25 0 1 0 147299856 34504704 8075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17258/statm: 8424 8075 139 317 0 8103 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 33696 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.83 CPU time (s): 1800.09 CPU user time (s): 1799.83 CPU system time (s): 0.265959 CPU usage (%): 99.9592 Max. virtual memory (cumulated for all children) (KiB): 33696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.265959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8336 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 3957 runsolver used 1.91071 second user time and 4.81827 second system time The end
Begin job on node14 on Thu Apr 19 14:43:41 UTC 2007 IDJOB= 357303 IDBENCH= 2367 IDSOLVER= 172 FILE ID= node14/357303-1176993821 PBS_JOBID= 4630413 Free space on /tmp= 66202 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A1C1S1.opb COMMAND LINE= oree /tmp/evaluation/357303-1176993821/instance-357303-1176993821.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-357303-1176993821 -o ROOT/results/node14/solver-357303-1176993821 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357303-1176993821/instance-357303-1176993821.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1a4e4bfb1c77b43166d46bacbe01c892 RANDOM SEED= 726117546 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1711712 kB Buffers: 36276 kB Cached: 243224 kB SwapCached: 11472 kB Active: 140420 kB Inactive: 163304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1711712 kB SwapTotal: 4192956 kB SwapFree: 4148736 kB Dirty: 5800 kB Writeback: 0 kB Mapped: 31108 kB Slab: 26032 kB Committed_AS: 6655000 kB PageTables: 1792 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= 66202 MiB End job on node14 on Thu Apr 19 15:13:44 UTC 2007