Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.03 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb |
MD5SUM | a644593dc228e712d5b0d277ee939168 |
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.00/1.10 c ...done 1.00/1.10 c #vars=103872 #constraints=4561 hasObjective=yes 1.49/1.58 c res. mode=mod 1.49/1.58 c VSIDS like heuristics 1.49/1.58 c complete search running 2.29/2.32 c restart after 401 decisions 2.39/2.47 c nbDecision=500 #constraints=4561 2.89/2.92 c restart after 801 decisions 3.19/3.22 c nbDecision=1000 #constraints=4561 3.89/3.98 c nbDecision=1500 #constraints=4567 4.09/4.13 c restart after 1601 decisions 4.69/4.73 c nbDecision=2000 #constraints=4567 5.40/5.48 c nbDecision=2500 #constraints=4567 6.19/6.24 c nbDecision=3000 #constraints=4567 6.50/6.54 c restart after 3201 decisions 6.89/7.00 c nbDecision=3500 #constraints=4567 7.69/7.75 c nbDecision=4000 #constraints=4567 8.49/8.50 c nbDecision=4500 #constraints=4567 9.19/9.25 c nbDecision=5000 #constraints=4567 9.99/10.02 c nbDecision=5500 #constraints=4567 10.69/10.77 c nbDecision=6000 #constraints=4567 11.29/11.37 c restart after 6401 decisions 11.49/11.53 c nbDecision=6500 #constraints=4567 12.19/12.28 c nbDecision=7000 #constraints=4567 12.99/13.03 c nbDecision=7500 #constraints=4567 13.69/13.79 c nbDecision=8000 #constraints=4567 14.49/14.53 c nbDecision=8500 #constraints=4567 15.19/15.28 c nbDecision=9000 #constraints=4567 15.99/16.02 c nbDecision=9500 #constraints=4567 16.69/16.76 c nbDecision=10000 #constraints=4567 17.49/17.50 c nbDecision=10500 #constraints=4567 18.19/18.23 c nbDecision=11000 #constraints=4567 18.89/18.95 c nbDecision=11500 #constraints=4567 19.59/19.68 c nbDecision=12000 #constraints=4567 20.29/20.39 c nbDecision=12500 #constraints=4567 20.79/20.82 c restart after 12801 decisions 21.09/21.13 c nbDecision=13000 #constraints=4567 21.79/21.88 c nbDecision=13500 #constraints=4567 22.59/22.63 c nbDecision=14000 #constraints=4567 23.29/23.38 c nbDecision=14500 #constraints=4567 24.09/24.12 c nbDecision=15000 #constraints=4567 24.79/24.84 c nbDecision=15500 #constraints=4567 25.49/25.56 c nbDecision=16000 #constraints=4567 26.19/26.28 c nbDecision=16500 #constraints=4567 26.98/27.02 c nbDecision=17000 #constraints=4567 27.68/27.75 c nbDecision=17500 #constraints=4567 28.38/28.48 c nbDecision=18000 #constraints=4567 29.18/29.21 c nbDecision=18500 #constraints=4567 29.88/29.93 c nbDecision=19000 #constraints=4567 30.58/30.66 c nbDecision=19500 #constraints=4567 31.28/31.37 c nbDecision=20000 #constraints=4567 31.98/32.09 c nbDecision=20500 #constraints=4567 32.68/32.80 c nbDecision=21000 #constraints=4567 33.48/33.50 c nbDecision=21500 #constraints=4567 34.18/34.21 c nbDecision=22000 #constraints=4567 34.88/34.91 c nbDecision=22500 #constraints=4567 35.58/35.61 c nbDecision=23000 #constraints=4567 36.28/36.31 c nbDecision=23500 #constraints=4567 36.87/36.99 c nbDecision=24000 #constraints=4567 37.67/37.73 c nbDecision=24500 #constraints=4567 38.38/38.42 c nbDecision=25000 #constraints=4567 39.07/39.10 c nbDecision=25500 #constraints=4567 39.17/39.24 c restart after 25601 decisions 39.77/39.87 c nbDecision=26000 #constraints=4567 40.58/40.61 c nbDecision=26500 #constraints=4567 41.27/41.35 c nbDecision=27000 #constraints=4567 41.97/42.09 c nbDecision=27500 #constraints=4567 42.77/42.82 c nbDecision=28000 #constraints=4567 43.47/43.56 c nbDecision=28500 #constraints=4567 44.17/44.29 c nbDecision=29000 #constraints=4567 44.97/45.03 c nbDecision=29500 #constraints=4567 45.67/45.76 c nbDecision=30000 #constraints=4567 46.37/46.48 c nbDecision=30500 #constraints=4567 47.07/47.20 c nbDecision=31000 #constraints=4567 47.87/47.92 c nbDecision=31500 #constraints=4567 48.57/48.65 c nbDecision=32000 #constraints=4567 49.27/49.37 c nbDecision=32500 #constraints=4567 49.97/50.09 c nbDecision=33000 #constraints=4567 50.77/50.80 c nbDecision=33500 #constraints=4567 51.47/51.53 c nbDecision=34000 #constraints=4567 52.17/52.24 c nbDecision=34500 #constraints=4567 52.87/52.94 c nbDecision=35000 #constraints=4567 53.57/53.65 c nbDecision=35500 #constraints=4567 54.27/54.35 c nbDecision=36000 #constraints=4567 54.97/55.04 c nbDecision=36500 #constraints=4567 55.67/55.73 c nbDecision=37000 #constraints=4567 56.37/56.41 c nbDecision=37500 #constraints=4567 57.07/57.10 c nbDecision=38000 #constraints=4567 57.67/57.78 c nbDecision=38500 #constraints=4567 58.37/58.46 c nbDecision=39000 #constraints=4567 59.07/59.16 c nbDecision=39500 #constraints=4567 59.76/59.86 c nbDecision=40000 #constraints=4567 60.47/60.57 c nbDecision=40500 #constraints=4567 61.26/61.31 c nbDecision=41000 #constraints=4567 61.86/61.99 c nbDecision=41500 #constraints=4567 62.57/62.66 c nbDecision=42000 #constraints=4567 63.26/63.32 c nbDecision=42500 #constraints=4567 63.86/63.98 c nbDecision=43000 #constraints=4567 64.56/64.64 c nbDecision=43500 #constraints=4567 65.26/65.30 c nbDecision=44000 #constraints=4567 65.97/66.01 c nbDecision=44500 #constraints=4567 66.66/66.70 c nbDecision=45000 #constraints=4567 67.26/67.36 c nbDecision=45500 #constraints=4567 67.96/68.00 c nbDecision=46000 #constraints=4567 68.56/68.65 c nbDecision=46500 #constraints=4567 69.17/69.29 c nbDecision=47000 #constraints=4567 69.86/69.93 c nbDecision=47500 #constraints=4567 70.46/70.57 c nbDecision=48000 #constraints=4567 71.16/71.20 c nbDecision=48500 #constraints=4567 71.86/71.91 c nbDecision=49000 #constraints=4568 72.56/72.61 c nbDecision=49500 #constraints=4568 73.26/73.31 c nbDecision=50000 #constraints=4568 73.96/74.01 c nbDecision=50500 #constraints=4568 74.66/74.71 c nbDecision=51000 #constraints=4568 74.86/74.98 c restart after 51201 decisions 75.36/75.45 c nbDecision=51500 #constraints=4568 76.16/76.20 c nbDecision=52000 #constraints=4568 76.86/76.96 c nbDecision=52500 #constraints=4568 77.66/77.70 c nbDecision=53000 #constraints=4568 78.36/78.43 c nbDecision=53500 #constraints=4568 79.06/79.17 c nbDecision=54000 #constraints=4568 79.86/79.91 c nbDecision=54500 #constraints=4568 80.56/80.64 c nbDecision=55000 #constraints=4568 81.26/81.37 c nbDecision=55500 #constraints=4568 81.96/82.10 c nbDecision=56000 #constraints=4568 82.76/82.82 c nbDecision=56500 #constraints=4568 83.46/83.54 c nbDecision=57000 #constraints=4568 84.16/84.25 c nbDecision=57500 #constraints=4568 84.86/84.97 c nbDecision=58000 #constraints=4568 85.66/85.72 c nbDecision=58500 #constraints=4568 86.36/86.46 c nbDecision=59000 #constraints=4568 87.06/87.17 c nbDecision=59500 #constraints=4568 87.75/87.88 c nbDecision=60000 #constraints=4568 88.45/88.58 c nbDecision=60500 #constraints=4568 89.15/89.29 c nbDecision=61000 #constraints=4568 89.85/89.99 c nbDecision=61500 #constraints=4568 90.55/90.69 c nbDecision=62000 #constraints=4568 91.26/91.39 c nbDecision=62500 #constraints=4568 91.95/92.09 c nbDecision=63000 #constraints=4568 92.65/92.78 c nbDecision=63500 #constraints=4568 93.36/93.46 c nbDecision=64000 #constraints=4568 94.05/94.15 c nbDecision=64500 #constraints=4568 94.75/94.83 c nbDecision=65000 #constraints=4568 95.45/95.51 c nbDecision=65500 #constraints=4568 96.05/96.18 c nbDecision=66000 #constraints=4568 96.76/96.86 c nbDecision=66500 #constraints=4568 97.45/97.52 c nbDecision=67000 #constraints=4568 98.05/98.19 c nbDecision=67500 #constraints=4568 98.75/98.85 c nbDecision=68000 #constraints=4568 99.45/99.51 c nbDecision=68500 #constraints=4568 100.05/100.17 c nbDecision=69000 #constraints=4568 100.75/100.81 c nbDecision=69500 #constraints=4568 101.35/101.46 c nbDecision=70000 #constraints=4568 102.05/102.10 c nbDecision=70500 #constraints=4568 102.65/102.75 c nbDecision=71000 #constraints=4568 103.25/103.38 c nbDecision=71500 #constraints=4568 103.95/104.02 c nbDecision=72000 #constraints=4568 104.55/104.65 c nbDecision=72500 #constraints=4568 105.15/105.29 c nbDecision=73000 #constraints=4568 105.85/105.92 c nbDecision=73500 #constraints=4568 106.45/106.55 c nbDecision=74000 #constraints=4568 107.15/107.24 c nbDecision=74500 #constraints=4569 107.85/107.94 c nbDecision=75000 #constraints=4569 108.55/108.64 c nbDecision=75500 #constraints=4569 109.25/109.33 c nbDecision=76000 #constraints=4569 109.95/110.02 c nbDecision=76500 #constraints=4569 110.65/110.71 c nbDecision=77000 #constraints=4569 111.25/111.39 c nbDecision=77500 #constraints=4569 111.95/112.07 c nbDecision=78000 #constraints=4569 112.65/112.75 c nbDecision=78500 #constraints=4569 113.35/113.43 c nbDecision=79000 #constraints=4569 114.05/114.11 c nbDecision=79500 #constraints=4569 114.65/114.78 c nbDecision=80000 #constraints=4569 115.35/115.45 c nbDecision=80500 #constraints=4569 116.05/116.12 c nbDecision=81000 #constraints=4569 116.65/116.78 c nbDecision=81500 #constraints=4569 117.35/117.43 c nbDecision=82000 #constraints=4569 117.95/118.08 c nbDecision=82500 #constraints=4569 118.65/118.73 c nbDecision=83000 #constraints=4569 119.24/119.37 c nbDecision=83500 #constraints=4569 119.94/120.01 c nbDecision=84000 #constraints=4569 120.54/120.65 c nbDecision=84500 #constraints=4569 121.14/121.29 c nbDecision=85000 #constraints=4569 121.84/121.93 c nbDecision=85500 #constraints=4569 122.44/122.56 c nbDecision=86000 #constraints=4569 123.05/123.19 c nbDecision=86500 #constraints=4569 123.74/123.81 c nbDecision=87000 #constraints=4569 124.44/124.50 c nbDecision=87500 #constraints=4570 125.14/125.20 c nbDecision=88000 #constraints=4570 125.74/125.89 c nbDecision=88500 #constraints=4570 126.45/126.57 c nbDecision=89000 #constraints=4570 127.14/127.26 c nbDecision=89500 #constraints=4570 127.84/127.95 c nbDecision=90000 #constraints=4570 128.55/128.63 c nbDecision=90500 #constraints=4570 129.24/129.32 c nbDecision=91000 #constraints=4570 129.94/130.00 c nbDecision=91500 #constraints=4570 130.54/130.67 c nbDecision=92000 #constraints=4570 131.24/131.34 c nbDecision=92500 #constraints=4570 131.84/132.00 c nbDecision=93000 #constraints=4570 132.54/132.67 c nbDecision=93500 #constraints=4570 133.24/133.33 c nbDecision=94000 #constraints=4570 133.94/134.00 c nbDecision=94500 #constraints=4570 134.54/134.66 c nbDecision=95000 #constraints=4570 135.24/135.32 c nbDecision=95500 #constraints=4570 135.84/135.97 c nbDecision=96000 #constraints=4570 136.54/136.62 c nbDecision=96500 #constraints=4570 137.14/137.27 c nbDecision=97000 #constraints=4570 137.84/137.92 c nbDecision=97500 #constraints=4570 138.44/138.55 c nbDecision=98000 #constraints=4570 139.04/139.19 c nbDecision=98500 #constraints=4570 139.74/139.82 c nbDecision=99000 #constraints=4570 140.34/140.45 c nbDecision=99500 #constraints=4570 140.94/141.07 c nbDecision=100000 #constraints=4570 141.64/141.78 c nbDecision=100500 #constraints=4571 142.34/142.48 c nbDecision=101000 #constraints=4571 143.04/143.18 c nbDecision=101500 #constraints=4571 143.74/143.87 c nbDecision=102000 #constraints=4571 144.34/144.42 c restart after 102401 decisions 144.44/144.59 c nbDecision=102500 #constraints=4571 145.23/145.33 c nbDecision=103000 #constraints=4571 145.93/146.08 c nbDecision=103500 #constraints=4571 146.73/146.82 c nbDecision=104000 #constraints=4571 147.43/147.56 c nbDecision=104500 #constraints=4571 148.23/148.31 c nbDecision=105000 #constraints=4571 148.93/149.05 c nbDecision=105500 #constraints=4571 149.63/149.79 c nbDecision=106000 #constraints=4571 150.43/150.52 c nbDecision=106500 #constraints=4571 151.13/151.24 c nbDecision=107000 #constraints=4571 151.83/151.96 c nbDecision=107500 #constraints=4571 152.53/152.68 c nbDecision=108000 #constraints=4571 153.33/153.40 c nbDecision=108500 #constraints=4571 154.03/154.12 c nbDecision=109000 #constraints=4571 154.73/154.84 c nbDecision=109500 #constraints=4571 155.43/155.56 c nbDecision=110000 #constraints=4571 156.14/156.27 c nbDecision=110500 #constraints=4571 156.83/156.98 c nbDecision=111000 #constraints=4571 157.53/157.68 c nbDecision=111500 #constraints=4571 158.23/158.38 c nbDecision=112000 #constraints=4571 158.93/159.07 c nbDecision=112500 #constraints=4571 159.63/159.77 c nbDecision=113000 #constraints=4571 160.33/160.46 c nbDecision=113500 #constraints=4571 161.03/161.15 c nbDecision=114000 #constraints=4571 161.73/161.84 c nbDecision=114500 #constraints=4571 162.43/162.52 c nbDecision=115000 #constraints=4571 163.13/163.20 c nbDecision=115500 #constraints=4571 163.73/163.88 c nbDecision=116000 #constraints=4571 164.43/164.55 c nbDecision=116500 #constraints=4571 165.13/165.22 c nbDecision=117000 #constraints=4571 165.73/165.89 c nbDecision=117500 #constraints=4571 166.43/166.55 c nbDecision=118000 #constraints=4571 167.13/167.22 c nbDecision=118500 #constraints=4571 167.73/167.89 c nbDecision=119000 #constraints=4571 168.43/168.55 c nbDecision=119500 #constraints=4571 169.13/169.22 c nbDecision=120000 #constraints=4571 169.73/169.88 c nbDecision=120500 #constraints=4571 170.43/170.53 c nbDecision=121000 #constraints=4571 171.03/171.18 c nbDecision=121500 #constraints=4571 171.73/171.83 c nbDecision=122000 #constraints=4571 172.33/172.48 c nbDecision=122500 #constraints=4571 173.03/173.12 c nbDecision=123000 #constraints=4571 173.63/173.77 c nbDecision=123500 #constraints=4571 174.33/174.41 c nbDecision=124000 #constraints=4571 174.93/175.05 c nbDecision=124500 #constraints=4571 175.53/175.69 c nbDecision=125000 #constraints=4571 176.23/176.34 c nbDecision=125500 #constraints=4572 176.93/177.05 c nbDecision=126000 #constraints=4572 177.63/177.74 c nbDecision=126500 #constraints=4572 178.32/178.42 c nbDecision=127000 #constraints=4572 179.02/179.11 c nbDecision=127500 #constraints=4572 179.62/179.79 c nbDecision=128000 #constraints=4572 180.33/180.47 c nbDecision=128500 #constraints=4572 181.02/181.15 c nbDecision=129000 #constraints=4572 181.72/181.83 c nbDecision=129500 #constraints=4572 182.32/182.49 c nbDecision=130000 #constraints=4572 183.02/183.16 c nbDecision=130500 #constraints=4572 183.72/183.83 c nbDecision=131000 #constraints=4572 184.32/184.49 c nbDecision=131500 #constraints=4572 185.02/185.14 c nbDecision=132000 #constraints=4572 185.62/185.79 c nbDecision=132500 #constraints=4572 186.32/186.44 c nbDecision=133000 #constraints=4572 186.92/187.09 c nbDecision=133500 #constraints=4572 187.62/187.75 c nbDecision=134000 #constraints=4572 188.32/188.40 c nbDecision=134500 #constraints=4572 188.92/189.06 c nbDecision=135000 #constraints=4572 189.62/189.71 c nbDecision=135500 #constraints=4572 190.22/190.35 c nbDecision=136000 #constraints=4572 190.82/190.99 c nbDecision=136500 #constraints=4572 191.52/191.63 c nbDecision=137000 #constraints=4572 192.12/192.27 c nbDecision=137500 #constraints=4572 192.82/192.90 c nbDecision=138000 #constraints=4572 193.42/193.57 c nbDecision=138500 #constraints=4573 194.12/194.26 c nbDecision=139000 #constraints=4573 194.82/194.93 c nbDecision=139500 #constraints=4573 195.52/195.60 c nbDecision=140000 #constraints=4573 196.12/196.28 c nbDecision=140500 #constraints=4573 196.82/196.95 c nbDecision=141000 #constraints=4573 197.52/197.62 c nbDecision=141500 #constraints=4573 198.12/198.28 c nbDecision=142000 #constraints=4573 198.82/198.94 c nbDecision=142500 #constraints=4573 199.52/199.60 c nbDecision=143000 #constraints=4573 200.12/200.26 c nbDecision=143500 #constraints=4573 200.82/200.91 c nbDecision=144000 #constraints=4573 201.42/201.55 c nbDecision=144500 #constraints=4573 202.12/202.20 c nbDecision=145000 #constraints=4573 202.72/202.84 c nbDecision=145500 #constraints=4573 203.32/203.49 c nbDecision=146000 #constraints=4573 204.01/204.13 c nbDecision=146500 #constraints=4573 204.61/204.76 c nbDecision=147000 #constraints=4573 205.21/205.38 c nbDecision=147500 #constraints=4573 205.91/206.01 c nbDecision=148000 #constraints=4573 206.51/206.63 c nbDecision=148500 #constraints=4573 207.21/207.32 c nbDecision=149000 #constraints=4574 207.91/208.03 c nbDecision=149500 #constraints=4574 208.61/208.73 c nbDecision=150000 #constraints=4574 209.31/209.43 c nbDecision=150500 #constraints=4574 210.02/210.13 c nbDecision=151000 #constraints=4574 210.71/210.82 c nbDecision=151500 #constraints=4574 211.41/211.50 c nbDecision=152000 #constraints=4574 212.01/212.18 c nbDecision=152500 #constraints=4574 212.71/212.87 c nbDecision=153000 #constraints=4574 213.41/213.55 c nbDecision=153500 #constraints=4574 214.11/214.24 c nbDecision=154000 #constraints=4574 214.81/214.91 c nbDecision=154500 #constraints=4574 215.42/215.59 c nbDecision=155000 #constraints=4574 216.11/216.27 c nbDecision=155500 #constraints=4574 216.81/216.93 c nbDecision=156000 #constraints=4574 217.41/217.59 c nbDecision=156500 #constraints=4574 218.11/218.25 c nbDecision=157000 #constraints=4574 218.81/218.90 c nbDecision=157500 #constraints=4574 219.41/219.56 c nbDecision=158000 #constraints=4574 220.11/220.21 c nbDecision=158500 #constraints=4574 220.71/220.85 c nbDecision=159000 #constraints=4574 221.31/221.49 c nbDecision=159500 #constraints=4574 222.01/222.13 c nbDecision=160000 #constraints=4574 222.61/222.77 c nbDecision=160500 #constraints=4574 223.31/223.40 c nbDecision=161000 #constraints=4574 223.91/224.03 c nbDecision=161500 #constraints=4574 224.51/224.66 c nbDecision=162000 #constraints=4574 225.11/225.29 c nbDecision=162500 #constraints=4574 225.81/225.97 c nbDecision=163000 #constraints=4575 226.51/226.66 c nbDecision=163500 #constraints=4575 227.21/227.36 c nbDecision=164000 #constraints=4575 227.91/228.05 c nbDecision=164500 #constraints=4575 228.61/228.74 c nbDecision=165000 #constraints=4575 229.31/229.43 c nbDecision=165500 #constraints=4575 230.01/230.11 c nbDecision=166000 #constraints=4575 230.61/230.79 c nbDecision=166500 #constraints=4575 231.31/231.47 c nbDecision=167000 #constraints=4575 232.01/232.16 c nbDecision=167500 #constraints=4575 232.71/232.83 c nbDecision=168000 #constraints=4575 233.41/233.51 c nbDecision=168500 #constraints=4575 234.01/234.17 c nbDecision=169000 #constraints=4575 234.71/234.85 c nbDecision=169500 #constraints=4575 235.41/235.52 c nbDecision=170000 #constraints=4575 236.01/236.18 c nbDecision=170500 #constraints=4575 236.71/236.84 c nbDecision=171000 #constraints=4575 237.31/237.50 c nbDecision=171500 #constraints=4575 238.01/238.15 c nbDecision=172000 #constraints=4575 238.71/238.80 c nbDecision=172500 #constraints=4575 239.31/239.45 c nbDecision=173000 #constraints=4575 240.01/240.10 c nbDecision=173500 #constraints=4575 240.61/240.74 c nbDecision=174000 #constraints=4575 241.21/241.38 c nbDecision=174500 #constraints=4575 241.91/242.02 c nbDecision=175000 #constraints=4575 242.51/242.65 c nbDecision=175500 #constraints=4575 243.11/243.28 c nbDecision=176000 #constraints=4575 243.81/243.91 c nbDecision=176500 #constraints=4575 244.41/244.58 c nbDecision=177000 #constraints=4576 245.11/245.28 c nbDecision=177500 #constraints=4576 245.81/245.97 c nbDecision=178000 #constraints=4576 246.51/246.65 c nbDecision=178500 #constraints=4576 247.21/247.34 c nbDecision=179000 #constraints=4576 247.91/248.03 c nbDecision=179500 #constraints=4576 248.61/248.72 c nbDecision=180000 #constraints=4576 249.31/249.40 c nbDecision=180500 #constraints=4576 249.91/250.08 c nbDecision=181000 #constraints=4576 250.61/250.76 c nbDecision=181500 #constraints=4576 251.31/251.43 c nbDecision=182000 #constraints=4576 252.01/252.10 c nbDecision=182500 #constraints=4576 252.61/252.77 c nbDecision=183000 #constraints=4576 253.31/253.43 c nbDecision=183500 #constraints=4576 253.91/254.10 c nbDecision=184000 #constraints=4576 254.61/254.75 c nbDecision=184500 #constraints=4576 255.31/255.41 c nbDecision=185000 #constraints=4576 255.90/256.07 c nbDecision=185500 #constraints=4576 256.60/256.73 c nbDecision=186000 #constraints=4576 257.21/257.37 c nbDecision=186500 #constraints=4576 257.90/258.01 c nbDecision=187000 #constraints=4576 258.50/258.65 c nbDecision=187500 #constraints=4576 259.10/259.28 c nbDecision=188000 #constraints=4576 259.80/259.92 c nbDecision=188500 #constraints=4576 260.40/260.55 c nbDecision=189000 #constraints=4576 261.00/261.18 c nbDecision=189500 #constraints=4576 261.71/261.88 c nbDecision=190000 #constraints=4577 262.40/262.58 c nbDecision=190500 #constraints=4577 263.10/263.28 c nbDecision=191000 #constraints=4577 263.80/263.97 c nbDecision=191500 #constraints=4577 264.50/264.67 c nbDecision=192000 #constraints=4577 265.20/265.35 c nbDecision=192500 #constraints=4577 265.90/266.04 c nbDecision=193000 #constraints=4577 266.60/266.72 c nbDecision=193500 #constraints=4577 267.30/267.41 c nbDecision=194000 #constraints=4577 267.90/268.09 c nbDecision=194500 #constraints=4577 268.60/268.77 c nbDecision=195000 #constraints=4577 269.30/269.44 c nbDecision=195500 #constraints=4577 270.00/270.12 c nbDecision=196000 #constraints=4577 270.60/270.79 c nbDecision=196500 #constraints=4577 271.30/271.46 c nbDecision=197000 #constraints=4577 272.00/272.12 c nbDecision=197500 #constraints=4577 272.60/272.79 c nbDecision=198000 #constraints=4577 273.30/273.45 c nbDecision=198500 #constraints=4577 274.00/274.11 c nbDecision=199000 #constraints=4577 274.60/274.76 c nbDecision=199500 #constraints=4577 275.30/275.42 c nbDecision=200000 #constraints=4577 275.90/276.07 c nbDecision=200500 #constraints=4577 276.60/276.71 c nbDecision=201000 #constraints=4577 277.20/277.36 c nbDecision=201500 #constraints=4577 277.80/277.99 c nbDecision=202000 #constraints=4577 278.50/278.63 c nbDecision=202500 #constraints=4577 279.09/279.26 c nbDecision=203000 #constraints=4577 279.69/279.89 c nbDecision=203500 #constraints=4577 280.40/280.59 c nbDecision=204000 #constraints=4578 281.09/281.29 c nbDecision=204500 #constraints=4578 281.59/281.71 c restart after 204801 decisions 281.89/282.03 c nbDecision=205000 #constraints=4578 282.60/282.78 c nbDecision=205500 #constraints=4578 283.39/283.53 c nbDecision=206000 #constraints=4578 284.09/284.27 c nbDecision=206500 #constraints=4578 284.89/285.01 c nbDecision=207000 #constraints=4578 285.59/285.75 c nbDecision=207500 #constraints=4578 286.29/286.48 c nbDecision=208000 #constraints=4578 287.09/287.22 c nbDecision=208500 #constraints=4578 287.79/287.96 c nbDecision=209000 #constraints=4578 288.49/288.69 c nbDecision=209500 #constraints=4578 289.29/289.42 c nbDecision=210000 #constraints=4578 289.99/290.15 c nbDecision=210500 #constraints=4578 290.69/290.88 c nbDecision=211000 #constraints=4578 291.49/291.60 c nbDecision=211500 #constraints=4578 292.19/292.33 c nbDecision=212000 #constraints=4578 292.89/293.04 c nbDecision=212500 #constraints=4578 293.59/293.76 c nbDecision=213000 #constraints=4578 294.29/294.47 c nbDecision=213500 #constraints=4578 294.99/295.19 c nbDecision=214000 #constraints=4578 295.69/295.89 c nbDecision=214500 #constraints=4578 296.39/296.59 c nbDecision=215000 #constraints=4578 297.09/297.29 c nbDecision=215500 #constraints=4578 297.78/297.98 c nbDecision=216000 #constraints=4578 298.48/298.67 c nbDecision=216500 #constraints=4578 299.18/299.36 c nbDecision=217000 #constraints=4578 299.88/300.04 c nbDecision=217500 #constraints=4578 300.59/300.73 c nbDecision=218000 #constraints=4578 301.29/301.41 c nbDecision=218500 #constraints=4578 301.88/302.08 c nbDecision=219000 #constraints=4578 302.58/302.75 c nbDecision=219500 #constraints=4578 303.28/303.44 c nbDecision=220000 #constraints=4578 303.98/304.10 c nbDecision=220500 #constraints=4578 304.59/304.77 c nbDecision=221000 #constraints=4578 305.28/305.43 c nbDecision=221500 #constraints=4578 305.88/306.09 c nbDecision=222000 #constraints=4578 306.58/306.74 c nbDecision=222500 #constraints=4578 307.28/307.40 c nbDecision=223000 #constraints=4578 307.89/308.06 c nbDecision=223500 #constraints=4578 308.58/308.71 c nbDecision=224000 #constraints=4578 309.18/309.37 c nbDecision=224500 #constraints=4578 309.88/310.02 c nbDecision=225000 #constraints=4578 310.48/310.66 c nbDecision=225500 #constraints=4578 311.18/311.31 c nbDecision=226000 #constraints=4578 311.78/311.95 c nbDecision=226500 #constraints=4578 312.38/312.59 c nbDecision=227000 #constraints=4578 313.08/313.22 c nbDecision=227500 #constraints=4578 313.68/313.89 c nbDecision=228000 #constraints=4579 314.38/314.59 c nbDecision=228500 #constraints=4579 315.08/315.29 c nbDecision=229000 #constraints=4579 315.78/315.99 c nbDecision=229500 #constraints=4579 316.48/316.68 c nbDecision=230000 #constraints=4579 317.18/317.36 c nbDecision=230500 #constraints=4579 317.88/318.04 c nbDecision=231000 #constraints=4579 318.58/318.72 c nbDecision=231500 #constraints=4579 319.18/319.39 c nbDecision=232000 #constraints=4579 319.88/320.06 c nbDecision=232500 #constraints=4579 320.58/320.73 c nbDecision=233000 #constraints=4579 321.28/321.40 c nbDecision=233500 #constraints=4579 321.88/322.06 c nbDecision=234000 #constraints=4579 322.57/322.73 c nbDecision=234500 #constraints=4579 323.18/323.38 c nbDecision=235000 #constraints=4579 323.87/324.03 c nbDecision=235500 #constraints=4579 324.47/324.69 c nbDecision=236000 #constraints=4579 325.17/325.34 c nbDecision=236500 #constraints=4579 325.77/325.98 c nbDecision=237000 #constraints=4579 326.48/326.63 c nbDecision=237500 #constraints=4579 327.07/327.27 c nbDecision=238000 #constraints=4579 327.77/327.92 c nbDecision=238500 #constraints=4579 328.37/328.56 c nbDecision=239000 #constraints=4579 329.07/329.20 c nbDecision=239500 #constraints=4579 329.67/329.83 c nbDecision=240000 #constraints=4579 330.27/330.47 c nbDecision=240500 #constraints=4579 330.98/331.18 c nbDecision=241000 #constraints=4580 331.67/331.88 c nbDecision=241500 #constraints=4580 332.37/332.59 c nbDecision=242000 #constraints=4580 333.07/333.29 c nbDecision=242500 #constraints=4580 333.77/333.97 c nbDecision=243000 #constraints=4580 334.47/334.66 c nbDecision=243500 #constraints=4580 335.17/335.35 c nbDecision=244000 #constraints=4580 335.87/336.04 c nbDecision=244500 #constraints=4580 336.57/336.72 c nbDecision=245000 #constraints=4580 337.27/337.40 c nbDecision=245500 #constraints=4580 337.87/338.07 c nbDecision=246000 #constraints=4580 338.57/338.74 c nbDecision=246500 #constraints=4580 339.27/339.41 c nbDecision=247000 #constraints=4580 339.87/340.08 c nbDecision=247500 #constraints=4580 340.57/340.74 c nbDecision=248000 #constraints=4580 341.27/341.40 c nbDecision=248500 #constraints=4580 341.87/342.06 c nbDecision=249000 #constraints=4580 342.57/342.72 c nbDecision=249500 #constraints=4580 343.17/343.36 c nbDecision=250000 #constraints=4580 343.87/344.01 c nbDecision=250500 #constraints=4580 344.47/344.66 c nbDecision=251000 #constraints=4580 345.17/345.31 c nbDecision=251500 #constraints=4580 345.77/345.95 c nbDecision=252000 #constraints=4580 346.37/346.59 c nbDecision=252500 #constraints=4580 347.06/347.22 c nbDecision=253000 #constraints=4580 347.66/347.86 c nbDecision=253500 #constraints=4580 348.36/348.50 c nbDecision=254000 #constraints=4580 348.96/349.13 c nbDecision=254500 #constraints=4580 349.67/349.85 c nbDecision=255000 #constraints=4581 350.36/350.54 c nbDecision=255500 #constraints=4581 351.06/351.24 c nbDecision=256000 #constraints=4581 351.77/351.92 c nbDecision=256500 #constraints=4581 352.46/352.62 c nbDecision=257000 #constraints=4581 353.16/353.30 c nbDecision=257500 #constraints=4581 353.76/353.98 c nbDecision=258000 #constraints=4581 354.46/354.66 c nbDecision=258500 #constraints=4581 355.17/355.34 c nbDecision=259000 #constraints=4581 355.86/356.02 c nbDecision=259500 #constraints=4581 356.46/356.69 c nbDecision=260000 #constraints=4581 357.16/357.35 c nbDecision=260500 #constraints=4581 357.86/358.01 c nbDecision=261000 #constraints=4581 358.46/358.67 c nbDecision=261500 #constraints=4581 359.16/359.33 c nbDecision=262000 #constraints=4581 359.76/359.98 c nbDecision=262500 #constraints=4581 360.46/360.63 c nbDecision=263000 #constraints=4581 361.06/361.28 c nbDecision=263500 #constraints=4581 361.76/361.93 c nbDecision=264000 #constraints=4581 362.36/362.57 c nbDecision=264500 #constraints=4581 363.06/363.21 c nbDecision=265000 #constraints=4581 363.66/363.85 c nbDecision=265500 #constraints=4581 364.26/364.48 c nbDecision=266000 #constraints=4581 364.96/365.11 c nbDecision=266500 #constraints=4581 365.56/365.74 c nbDecision=267000 #constraints=4581 366.26/366.44 c nbDecision=267500 #constraints=4582 366.96/367.14 c nbDecision=268000 #constraints=4582 367.66/367.84 c nbDecision=268500 #constraints=4582 368.36/368.54 c nbDecision=269000 #constraints=4582 369.05/369.24 c nbDecision=269500 #constraints=4582 369.75/369.93 c nbDecision=270000 #constraints=4582 370.46/370.63 c nbDecision=270500 #constraints=4582 371.15/371.32 c nbDecision=271000 #constraints=4582 371.75/372.00 c nbDecision=271500 #constraints=4582 372.45/372.68 c nbDecision=272000 #constraints=4582 373.15/373.35 c nbDecision=272500 #constraints=4582 373.86/374.03 c nbDecision=273000 #constraints=4582 374.55/374.71 c nbDecision=273500 #constraints=4582 375.15/375.38 c nbDecision=274000 #constraints=4582 375.85/376.05 c nbDecision=274500 #constraints=4582 376.55/376.72 c nbDecision=275000 #constraints=4582 377.15/377.38 c nbDecision=275500 #constraints=4582 377.85/378.04 c nbDecision=276000 #constraints=4582 378.45/378.69 c nbDecision=276500 #constraints=4582 379.15/379.34 c nbDecision=277000 #constraints=4582 379.75/379.99 c nbDecision=277500 #constraints=4582 380.45/380.63 c nbDecision=278000 #constraints=4582 381.05/381.28 c nbDecision=278500 #constraints=4582 381.75/381.92 c nbDecision=279000 #constraints=4582 382.35/382.55 c nbDecision=279500 #constraints=4582 382.95/383.19 c nbDecision=280000 #constraints=4582 383.65/383.82 c nbDecision=280500 #constraints=4582 384.25/384.44 c nbDecision=281000 #constraints=4582 384.95/385.19 c nbDecision=281500 #constraints=4583 385.75/385.93 c nbDecision=282000 #constraints=4583 386.45/386.67 c nbDecision=282500 #constraints=4583 387.25/387.41 c nbDecision=283000 #constraints=4583 387.95/388.15 c nbDecision=283500 #constraints=4583 388.65/388.88 c nbDecision=284000 #constraints=4583 389.45/389.61 c nbDecision=284500 #constraints=4583 390.15/390.35 c nbDecision=285000 #constraints=4583 390.85/391.08 c nbDecision=285500 #constraints=4583 391.65/391.81 c nbDecision=286000 #constraints=4583 392.35/392.53 c nbDecision=286500 #constraints=4583 393.05/393.25 c nbDecision=287000 #constraints=4583 393.75/393.97 c nbDecision=287500 #constraints=4583 394.45/394.68 c nbDecision=288000 #constraints=4583 395.14/395.39 c nbDecision=288500 #constraints=4583 395.94/396.10 c nbDecision=289000 #constraints=4583 396.64/396.81 c nbDecision=289500 #constraints=4583 397.34/397.51 c nbDecision=290000 #constraints=4583 398.05/398.20 c nbDecision=290500 #constraints=4583 398.64/398.90 c nbDecision=291000 #constraints=4583 399.34/399.58 c nbDecision=291500 #constraints=4583 400.04/400.27 c nbDecision=292000 #constraints=4583 400.74/400.95 c nbDecision=292500 #constraints=4583 401.44/401.63 c nbDecision=293000 #constraints=4583 402.14/402.31 c nbDecision=293500 #constraints=4583 402.74/402.99 c nbDecision=294000 #constraints=4583 403.44/403.66 c nbDecision=294500 #constraints=4583 404.14/404.33 c nbDecision=295000 #constraints=4583 404.74/405.00 c nbDecision=295500 #constraints=4583 405.44/405.66 c nbDecision=296000 #constraints=4583 406.14/406.32 c nbDecision=296500 #constraints=4583 406.74/406.98 c nbDecision=297000 #constraints=4583 407.44/407.64 c nbDecision=297500 #constraints=4583 408.14/408.30 c nbDecision=298000 #constraints=4583 408.74/408.96 c nbDecision=298500 #constraints=4583 409.44/409.61 c nbDecision=299000 #constraints=4583 410.04/410.26 c nbDecision=299500 #constraints=4583 410.74/410.91 c nbDecision=300000 #constraints=4583 411.34/411.56 c nbDecision=300500 #constraints=4583 412.04/412.20 c nbDecision=301000 #constraints=4583 412.64/412.84 c nbDecision=301500 #constraints=4583 413.24/413.48 c nbDecision=302000 #constraints=4583 413.94/414.12 c nbDecision=302500 #constraints=4583 414.64/414.86 c nbDecision=303000 #constraints=4584 415.44/415.61 c nbDecision=303500 #constraints=4584 416.14/416.36 c nbDecision=304000 #constraints=4584 416.84/417.09 c nbDecision=304500 #constraints=4584 417.64/417.82 c nbDecision=305000 #constraints=4584 418.34/418.55 c nbDecision=305500 #constraints=4584 419.04/419.27 c nbDecision=306000 #constraints=4584 419.84/420.00 c nbDecision=306500 #constraints=4584 420.53/420.71 c nbDecision=307000 #constraints=4584 421.23/421.43 c nbDecision=307500 #constraints=4584 421.93/422.16 c nbDecision=308000 #constraints=4584 422.63/422.88 c nbDecision=308500 #constraints=4584 423.34/423.59 c nbDecision=309000 #constraints=4584 424.03/424.29 c nbDecision=309500 #constraints=4584 424.83/425.00 c nbDecision=310000 #constraints=4584 425.54/425.70 c nbDecision=310500 #constraints=4584 426.23/426.40 c nbDecision=311000 #constraints=4584 426.93/427.10 c nbDecision=311500 #constraints=4584 427.64/427.80 c nbDecision=312000 #constraints=4584 428.23/428.49 c nbDecision=312500 #constraints=4584 428.93/429.19 c nbDecision=313000 #constraints=4584 429.63/429.88 c nbDecision=313500 #constraints=4584 430.33/430.57 c nbDecision=314000 #constraints=4584 431.03/431.26 c nbDecision=314500 #constraints=4584 431.73/431.94 c nbDecision=315000 #constraints=4584 432.43/432.62 c nbDecision=315500 #constraints=4584 433.03/433.30 c nbDecision=316000 #constraints=4584 433.73/433.97 c nbDecision=316500 #constraints=4584 434.43/434.65 c nbDecision=317000 #constraints=4584 435.13/435.31 c nbDecision=317500 #constraints=4584 435.73/435.98 c nbDecision=318000 #constraints=4584 436.43/436.65 c nbDecision=318500 #constraints=4584 437.13/437.31 c nbDecision=319000 #constraints=4584 437.73/437.96 c nbDecision=319500 #constraints=4584 438.43/438.61 c nbDecision=320000 #constraints=4584 439.03/439.26 c nbDecision=320500 #constraints=4584 439.73/439.90 c nbDecision=321000 #constraints=4584 440.33/440.54 c nbDecision=321500 #constraints=4584 440.93/441.18 c nbDecision=322000 #constraints=4584 441.63/441.82 c nbDecision=322500 #constraints=4584 442.33/442.53 c nbDecision=323000 #constraints=4584 442.93/443.16 c nbDecision=323500 #constraints=4584 443.53/443.79 c nbDecision=324000 #constraints=4584 444.33/444.51 c nbDecision=324500 #constraints=4585 445.03/445.24 c nbDecision=325000 #constraints=4585 445.72/445.96 c nbDecision=325500 #constraints=4585 446.43/446.69 c nbDecision=326000 #constraints=4585 447.22/447.41 c nbDecision=326500 #constraints=4585 447.92/448.13 c nbDecision=327000 #constraints=4585 448.63/448.84 c nbDecision=327500 #constraints=4585 449.32/449.56 c nbDecision=328000 #constraints=4585 450.02/450.26 c nbDecision=328500 #constraints=4585 450.73/450.97 c nbDecision=329000 #constraints=4585 451.42/451.68 c nbDecision=329500 #constraints=4585 452.12/452.39 c nbDecision=330000 #constraints=4585 452.82/453.08 c nbDecision=330500 #constraints=4585 453.52/453.78 c nbDecision=331000 #constraints=4585 454.22/454.48 c nbDecision=331500 #constraints=4585 454.92/455.18 c nbDecision=332000 #constraints=4585 455.62/455.87 c nbDecision=332500 #constraints=4585 456.32/456.56 c nbDecision=333000 #constraints=4585 457.02/457.25 c nbDecision=333500 #constraints=4585 457.72/457.92 c nbDecision=334000 #constraints=4585 458.32/458.60 c nbDecision=334500 #constraints=4585 459.02/459.27 c nbDecision=335000 #constraints=4585 459.72/459.94 c nbDecision=335500 #constraints=4585 460.42/460.61 c nbDecision=336000 #constraints=4585 461.02/461.27 c nbDecision=336500 #constraints=4585 461.72/461.93 c nbDecision=337000 #constraints=4585 462.32/462.59 c nbDecision=337500 #constraints=4585 463.02/463.25 c nbDecision=338000 #constraints=4585 463.72/463.90 c nbDecision=338500 #constraints=4585 464.32/464.55 c nbDecision=339000 #constraints=4585 464.92/465.20 c nbDecision=339500 #constraints=4585 465.62/465.85 c nbDecision=340000 #constraints=4585 466.22/466.49 c nbDecision=340500 #constraints=4585 466.92/467.12 c nbDecision=341000 #constraints=4585 467.51/467.77 c nbDecision=341500 #constraints=4585 468.22/468.41 c nbDecision=342000 #constraints=4585 468.81/469.04 c nbDecision=342500 #constraints=4585 469.42/469.68 c nbDecision=343000 #constraints=4585 470.21/470.42 c nbDecision=343500 #constraints=4586 470.91/471.17 c nbDecision=344000 #constraints=4586 471.72/471.91 c nbDecision=344500 #constraints=4586 472.41/472.65 c nbDecision=345000 #constraints=4586 473.11/473.39 c nbDecision=345500 #constraints=4586 473.91/474.13 c nbDecision=346000 #constraints=4586 474.61/474.86 c nbDecision=346500 #constraints=4586 475.31/475.59 c nbDecision=347000 #constraints=4586 476.11/476.31 c nbDecision=347500 #constraints=4586 476.81/477.04 c nbDecision=348000 #constraints=4586 477.51/477.76 c nbDecision=348500 #constraints=4586 478.21/478.47 c nbDecision=349000 #constraints=4586 478.91/479.18 c nbDecision=349500 #constraints=4586 479.61/479.89 c nbDecision=350000 #constraints=4586 480.31/480.59 c nbDecision=350500 #constraints=4586 481.11/481.30 c nbDecision=351000 #constraints=4586 481.81/482.00 c nbDecision=351500 #constraints=4586 482.41/482.69 c nbDecision=352000 #constraints=4586 483.11/483.39 c nbDecision=352500 #constraints=4586 483.81/484.08 c nbDecision=353000 #constraints=4586 484.51/484.77 c nbDecision=353500 #constraints=4586 485.21/485.46 c nbDecision=354000 #constraints=4586 485.91/486.14 c nbDecision=354500 #constraints=4586 486.61/486.82 c nbDecision=355000 #constraints=4586 487.31/487.50 c nbDecision=355500 #constraints=4586 487.91/488.18 c nbDecision=356000 #constraints=4586 488.61/488.86 c nbDecision=356500 #constraints=4586 489.31/489.54 c nbDecision=357000 #constraints=4586 490.00/490.21 c nbDecision=357500 #constraints=4586 490.60/490.87 c nbDecision=358000 #constraints=4586 491.30/491.54 c nbDecision=358500 #constraints=4586 492.00/492.21 c nbDecision=359000 #constraints=4586 492.61/492.87 c nbDecision=359500 #constraints=4586 493.30/493.53 c nbDecision=360000 #constraints=4586 493.90/494.19 c nbDecision=360500 #constraints=4586 494.60/494.84 c nbDecision=361000 #constraints=4586 495.20/495.49 c nbDecision=361500 #constraints=4586 495.90/496.14 c nbDecision=362000 #constraints=4586 496.50/496.79 c nbDecision=362500 #constraints=4586 497.20/497.43 c nbDecision=363000 #constraints=4586 497.80/498.06 c nbDecision=363500 #constraints=4586 498.40/498.69 c nbDecision=364000 #constraints=4586 499.10/499.31 c nbDecision=364500 #constraints=4586 499.80/500.04 c nbDecision=365000 #constraints=4587 500.50/500.77 c nbDecision=365500 #constraints=4587 501.20/501.49 c nbDecision=366000 #constraints=4587 502.00/502.21 c nbDecision=366500 #constraints=4587 502.70/502.93 c nbDecision=367000 #constraints=4587 503.40/503.65 c nbDecision=367500 #constraints=4587 504.10/504.36 c nbDecision=368000 #constraints=4587 504.80/505.07 c nbDecision=368500 #constraints=4587 505.50/505.78 c nbDecision=369000 #constraints=4587 506.20/506.49 c nbDecision=369500 #constraints=4587 506.90/507.19 c nbDecision=370000 #constraints=4587 507.70/507.90 c nbDecision=370500 #constraints=4587 508.40/508.60 c nbDecision=371000 #constraints=4587 509.10/509.30 c nbDecision=371500 #constraints=4587 509.80/510.00 c nbDecision=372000 #constraints=4587 510.40/510.69 c nbDecision=372500 #constraints=4587 511.09/511.39 c nbDecision=373000 #constraints=4587 511.79/512.08 c nbDecision=373500 #constraints=4587 512.49/512.76 c nbDecision=374000 #constraints=4587 513.19/513.44 c nbDecision=374500 #constraints=4587 513.89/514.12 c nbDecision=375000 #constraints=4587 514.60/514.80 c nbDecision=375500 #constraints=4587 515.19/515.48 c nbDecision=376000 #constraints=4587 515.89/516.15 c nbDecision=376500 #constraints=4587 516.59/516.82 c nbDecision=377000 #constraints=4587 517.19/517.48 c nbDecision=377500 #constraints=4587 517.90/518.14 c nbDecision=378000 #constraints=4587 518.49/518.79 c nbDecision=378500 #constraints=4587 519.19/519.45 c nbDecision=379000 #constraints=4587 519.79/520.09 c nbDecision=379500 #constraints=4587 520.49/520.74 c nbDecision=380000 #constraints=4587 521.09/521.38 c nbDecision=380500 #constraints=4587 521.79/522.03 c nbDecision=381000 #constraints=4587 522.39/522.66 c nbDecision=381500 #constraints=4587 523.09/523.30 c nbDecision=382000 #constraints=4587 523.69/523.93 c nbDecision=382500 #constraints=4587 524.29/524.56 c nbDecision=383000 #constraints=4587 524.89/525.19 c nbDecision=383500 #constraints=4587 525.69/525.91 c nbDecision=384000 #constraints=4588 526.39/526.62 c nbDecision=384500 #constraints=4588 527.09/527.34 c nbDecision=385000 #constraints=4588 527.79/528.05 c nbDecision=385500 #constraints=4588 528.49/528.76 c nbDecision=386000 #constraints=4588 529.19/529.47 c nbDecision=386500 #constraints=4588 529.89/530.18 c nbDecision=387000 #constraints=4588 530.59/530.88 c nbDecision=387500 #constraints=4588 531.29/531.58 c nbDecision=388000 #constraints=4588 531.99/532.27 c nbDecision=388500 #constraints=4588 532.69/532.96 c nbDecision=389000 #constraints=4588 533.38/533.65 c nbDecision=389500 #constraints=4588 534.08/534.34 c nbDecision=390000 #constraints=4588 534.78/535.02 c nbDecision=390500 #constraints=4588 535.49/535.71 c nbDecision=391000 #constraints=4588 536.08/536.39 c nbDecision=391500 #constraints=4588 536.78/537.07 c nbDecision=392000 #constraints=4588 537.48/537.73 c nbDecision=392500 #constraints=4588 538.18/538.40 c nbDecision=393000 #constraints=4588 538.79/539.06 c nbDecision=393500 #constraints=4588 539.48/539.72 c nbDecision=394000 #constraints=4588 540.08/540.38 c nbDecision=394500 #constraints=4588 540.78/541.04 c nbDecision=395000 #constraints=4588 541.38/541.69 c nbDecision=395500 #constraints=4588 542.09/542.34 c nbDecision=396000 #constraints=4588 542.68/542.99 c nbDecision=396500 #constraints=4588 543.38/543.63 c nbDecision=397000 #constraints=4588 543.98/544.27 c nbDecision=397500 #constraints=4588 544.68/544.91 c nbDecision=398000 #constraints=4588 545.28/545.55 c nbDecision=398500 #constraints=4588 545.88/546.18 c nbDecision=399000 #constraints=4588 546.58/546.82 c nbDecision=399500 #constraints=4588 547.18/547.45 c nbDecision=400000 #constraints=4588 547.98/548.20 c nbDecision=400500 #constraints=4589 548.68/548.95 c nbDecision=401000 #constraints=4589 549.38/549.69 c nbDecision=401500 #constraints=4589 550.18/550.43 c nbDecision=402000 #constraints=4589 550.88/551.17 c nbDecision=402500 #constraints=4589 551.68/551.91 c nbDecision=403000 #constraints=4589 552.38/552.64 c nbDecision=403500 #constraints=4589 553.08/553.37 c nbDecision=404000 #constraints=4589 553.88/554.10 c nbDecision=404500 #constraints=4589 554.58/554.83 c nbDecision=405000 #constraints=4589 555.28/555.55 c nbDecision=405500 #constraints=4589 555.98/556.27 c nbDecision=406000 #constraints=4589 556.68/556.99 c nbDecision=406500 #constraints=4589 557.38/557.69 c nbDecision=407000 #constraints=4589 558.18/558.40 c nbDecision=407500 #constraints=4589 558.88/559.10 c nbDecision=408000 #constraints=4589 559.48/559.80 c nbDecision=408500 #constraints=4589 560.28/560.50 c nbDecision=409000 #constraints=4589 560.88/561.19 c nbDecision=409500 #constraints=4589 561.08/561.33 c restart after 409601 decisions 561.68/561.95 c nbDecision=410000 #constraints=4589 562.47/562.70 c nbDecision=410500 #constraints=4589 563.17/563.45 c nbDecision=411000 #constraints=4589 563.87/564.19 c nbDecision=411500 #constraints=4589 564.67/564.93 c nbDecision=412000 #constraints=4589 565.37/565.67 c nbDecision=412500 #constraints=4589 566.18/566.41 c nbDecision=413000 #constraints=4589 566.87/567.14 c nbDecision=413500 #constraints=4589 567.57/567.88 c nbDecision=414000 #constraints=4589 568.38/568.61 c nbDecision=414500 #constraints=4589 569.07/569.34 c nbDecision=415000 #constraints=4589 569.77/570.07 c nbDecision=415500 #constraints=4589 570.47/570.80 c nbDecision=416000 #constraints=4589 571.27/571.52 c nbDecision=416500 #constraints=4589 571.97/572.24 c nbDecision=417000 #constraints=4589 572.67/572.96 c nbDecision=417500 #constraints=4589 573.37/573.67 c nbDecision=418000 #constraints=4589 574.07/574.39 c nbDecision=418500 #constraints=4589 574.77/575.10 c nbDecision=419000 #constraints=4589 575.57/575.80 c nbDecision=419500 #constraints=4589 576.27/576.51 c nbDecision=420000 #constraints=4589 576.97/577.21 c nbDecision=420500 #constraints=4589 577.67/577.90 c nbDecision=421000 #constraints=4589 578.27/578.59 c nbDecision=421500 #constraints=4589 578.98/579.27 c nbDecision=422000 #constraints=4589 579.68/579.96 c nbDecision=422500 #constraints=4589 580.38/580.64 c nbDecision=423000 #constraints=4589 581.07/581.31 c nbDecision=423500 #constraints=4589 581.68/581.99 c nbDecision=424000 #constraints=4589 582.37/582.66 c nbDecision=424500 #constraints=4589 583.07/583.33 c nbDecision=425000 #constraints=4589 583.67/584.00 c nbDecision=425500 #constraints=4589 584.37/584.66 c nbDecision=426000 #constraints=4589 585.08/585.32 c nbDecision=426500 #constraints=4589 585.67/585.97 c nbDecision=427000 #constraints=4589 586.37/586.63 c nbDecision=427500 #constraints=4589 586.97/587.29 c nbDecision=428000 #constraints=4589 587.67/587.94 c nbDecision=428500 #constraints=4589 588.28/588.59 c nbDecision=429000 #constraints=4589 588.97/589.24 c nbDecision=429500 #constraints=4589 589.57/589.89 c nbDecision=430000 #constraints=4589 590.27/590.54 c nbDecision=430500 #constraints=4589 590.87/591.18 c nbDecision=431000 #constraints=4589 591.58/591.82 c nbDecision=431500 #constraints=4589 592.17/592.45 c nbDecision=432000 #constraints=4589 592.77/593.08 c nbDecision=432500 #constraints=4589 593.57/593.82 c nbDecision=433000 #constraints=4590 594.27/594.57 c nbDecision=433500 #constraints=4590 595.07/595.31 c nbDecision=434000 #constraints=4590 595.77/596.05 c nbDecision=434500 #constraints=4590 596.47/596.79 c nbDecision=435000 #constraints=4590 597.27/597.51 c nbDecision=435500 #constraints=4590 597.97/598.24 c nbDecision=436000 #constraints=4590 598.67/598.96 c nbDecision=436500 #constraints=4590 599.37/599.68 c nbDecision=437000 #constraints=4590 600.17/600.40 c nbDecision=437500 #constraints=4590 600.87/601.12 c nbDecision=438000 #constraints=4590 601.57/601.83 c nbDecision=438500 #constraints=4590 602.27/602.54 c nbDecision=439000 #constraints=4590 602.97/603.25 c nbDecision=439500 #constraints=4590 603.67/603.95 c nbDecision=440000 #constraints=4590 604.37/604.65 c nbDecision=440500 #constraints=4590 605.07/605.35 c nbDecision=441000 #constraints=4590 605.77/606.04 c nbDecision=441500 #constraints=4590 606.47/606.74 c nbDecision=442000 #constraints=4590 607.17/607.43 c nbDecision=442500 #constraints=4590 607.87/608.13 c nbDecision=443000 #constraints=4590 608.57/608.82 c nbDecision=443500 #constraints=4590 609.27/609.51 c nbDecision=444000 #constraints=4590 609.87/610.19 c nbDecision=444500 #constraints=4590 610.57/610.88 c nbDecision=445000 #constraints=4590 611.27/611.56 c nbDecision=445500 #constraints=4590 611.96/612.24 c nbDecision=446000 #constraints=4590 612.66/612.91 c nbDecision=446500 #constraints=4590 613.26/613.59 c nbDecision=447000 #constraints=4590 613.96/614.25 c nbDecision=447500 #constraints=4590 614.67/614.92 c nbDecision=448000 #constraints=4590 615.36/615.60 c nbDecision=448500 #constraints=4590 615.96/616.26 c nbDecision=449000 #constraints=4590 616.66/616.92 c nbDecision=449500 #constraints=4590 617.26/617.57 c nbDecision=450000 #constraints=4590 617.97/618.22 c nbDecision=450500 #constraints=4590 618.56/618.86 c nbDecision=451000 #constraints=4590 619.26/619.50 c nbDecision=451500 #constraints=4590 619.86/620.14 c nbDecision=452000 #constraints=4590 620.46/620.78 c nbDecision=452500 #constraints=4590 621.16/621.41 c nbDecision=453000 #constraints=4590 621.76/622.04 c nbDecision=453500 #constraints=4590 622.36/622.67 c nbDecision=454000 #constraints=4590 623.16/623.42 c nbDecision=454500 #constraints=4591 623.86/624.16 c nbDecision=455000 #constraints=4591 624.66/624.90 c nbDecision=455500 #constraints=4591 625.36/625.63 c nbDecision=456000 #constraints=4591 626.06/626.36 c nbDecision=456500 #constraints=4591 626.76/627.09 c nbDecision=457000 #constraints=4591 627.56/627.82 c nbDecision=457500 #constraints=4591 628.26/628.55 c nbDecision=458000 #constraints=4591 628.96/629.27 c nbDecision=458500 #constraints=4591 629.76/630.00 c nbDecision=459000 #constraints=4591 630.46/630.72 c nbDecision=459500 #constraints=4591 631.16/631.44 c nbDecision=460000 #constraints=4591 631.86/632.16 c nbDecision=460500 #constraints=4591 632.56/632.87 c nbDecision=461000 #constraints=4591 633.26/633.58 c nbDecision=461500 #constraints=4591 633.96/634.29 c nbDecision=462000 #constraints=4591 634.66/634.99 c nbDecision=462500 #constraints=4591 635.36/635.70 c nbDecision=463000 #constraints=4591 636.05/636.40 c nbDecision=463500 #constraints=4591 636.75/637.09 c nbDecision=464000 #constraints=4591 637.45/637.78 c nbDecision=464500 #constraints=4591 638.15/638.46 c nbDecision=465000 #constraints=4591 638.86/639.15 c nbDecision=465500 #constraints=4591 639.55/639.83 c nbDecision=466000 #constraints=4591 640.25/640.50 c nbDecision=466500 #constraints=4591 640.85/641.18 c nbDecision=467000 #constraints=4591 641.55/641.85 c nbDecision=467500 #constraints=4591 642.25/642.52 c nbDecision=468000 #constraints=4591 642.85/643.18 c nbDecision=468500 #constraints=4591 643.55/643.84 c nbDecision=469000 #constraints=4591 644.26/644.51 c nbDecision=469500 #constraints=4591 644.85/645.16 c nbDecision=470000 #constraints=4591 645.55/645.82 c nbDecision=470500 #constraints=4591 646.15/646.47 c nbDecision=471000 #constraints=4591 646.85/647.11 c nbDecision=471500 #constraints=4591 647.45/647.77 c nbDecision=472000 #constraints=4591 648.15/648.42 c nbDecision=472500 #constraints=4591 648.75/649.07 c nbDecision=473000 #constraints=4591 649.45/649.71 c nbDecision=473500 #constraints=4591 650.05/650.35 c nbDecision=474000 #constraints=4591 650.65/650.99 c nbDecision=474500 #constraints=4591 651.35/651.63 c nbDecision=475000 #constraints=4591 652.05/652.32 c nbDecision=475500 #constraints=4592 652.75/653.06 c nbDecision=476000 #constraints=4592 653.55/653.81 c nbDecision=476500 #constraints=4592 654.25/654.55 c nbDecision=477000 #constraints=4592 654.94/655.29 c nbDecision=477500 #constraints=4592 655.74/656.03 c nbDecision=478000 #constraints=4592 656.45/656.76 c nbDecision=478500 #constraints=4592 657.14/657.49 c nbDecision=479000 #constraints=4592 657.94/658.21 c nbDecision=479500 #constraints=4592 658.65/658.93 c nbDecision=480000 #constraints=4592 659.34/659.65 c nbDecision=480500 #constraints=4592 660.04/660.36 c nbDecision=481000 #constraints=4592 660.75/661.07 c nbDecision=481500 #constraints=4592 661.44/661.78 c nbDecision=482000 #constraints=4592 662.14/662.49 c nbDecision=482500 #constraints=4592 662.84/663.19 c nbDecision=483000 #constraints=4592 663.54/663.89 c nbDecision=483500 #constraints=4592 664.24/664.59 c nbDecision=484000 #constraints=4592 664.94/665.28 c nbDecision=484500 #constraints=4592 665.64/665.97 c nbDecision=485000 #constraints=4592 666.34/666.66 c nbDecision=485500 #constraints=4592 667.04/667.35 c nbDecision=486000 #constraints=4592 667.74/668.04 c nbDecision=486500 #constraints=4592 668.44/668.73 c nbDecision=487000 #constraints=4592 669.14/669.41 c nbDecision=487500 #constraints=4592 669.74/670.09 c nbDecision=488000 #constraints=4592 670.44/670.77 c nbDecision=488500 #constraints=4592 671.14/671.45 c nbDecision=489000 #constraints=4592 671.84/672.12 c nbDecision=489500 #constraints=4592 672.44/672.80 c nbDecision=490000 #constraints=4592 673.14/673.46 c nbDecision=490500 #constraints=4592 673.84/674.13 c nbDecision=491000 #constraints=4592 674.44/674.79 c nbDecision=491500 #constraints=4592 675.14/675.45 c nbDecision=492000 #constraints=4592 675.84/676.10 c nbDecision=492500 #constraints=4592 676.44/676.76 c nbDecision=493000 #constraints=4592 677.14/677.41 c nbDecision=493500 #constraints=4592 677.74/678.05 c nbDecision=494000 #constraints=4592 678.34/678.69 c nbDecision=494500 #constraints=4592 679.04/679.33 c nbDecision=495000 #constraints=4592 679.63/679.97 c nbDecision=495500 #constraints=4592 680.33/680.60 c nbDecision=496000 #constraints=4592 680.93/681.23 c nbDecision=496500 #constraints=4592 681.64/681.93 c nbDecision=497000 #constraints=4593 682.33/682.66 c nbDecision=497500 #constraints=4593 683.03/683.38 c nbDecision=498000 #constraints=4593 683.84/684.11 c nbDecision=498500 #constraints=4593 684.53/684.82 c nbDecision=499000 #constraints=4593 685.23/685.54 c nbDecision=499500 #constraints=4593 685.93/686.25 c nbDecision=500000 #constraints=4593 686.63/686.96 c nbDecision=500500 #constraints=4593 687.33/687.68 c nbDecision=501000 #constraints=4593 688.03/688.38 c nbDecision=501500 #constraints=4593 688.73/689.09 c nbDecision=502000 #constraints=4593 689.44/689.79 c nbDecision=502500 #constraints=4593 690.23/690.50 c nbDecision=503000 #constraints=4593 690.93/691.20 c nbDecision=503500 #constraints=4593 691.53/691.90 c nbDecision=504000 #constraints=4593 692.23/692.58 c nbDecision=504500 #constraints=4593 692.93/693.28 c nbDecision=505000 #constraints=4593 693.63/693.96 c nbDecision=505500 #constraints=4593 694.33/694.64 c nbDecision=506000 #constraints=4593 695.03/695.33 c nbDecision=506500 #constraints=4593 695.73/696.01 c nbDecision=507000 #constraints=4593 696.33/696.69 c nbDecision=507500 #constraints=4593 697.03/697.35 c nbDecision=508000 #constraints=4593 697.73/698.01 c nbDecision=508500 #constraints=4593 698.33/698.67 c nbDecision=509000 #constraints=4593 699.03/699.33 c nbDecision=509500 #constraints=4593 699.63/699.99 c nbDecision=510000 #constraints=4593 700.33/700.64 c nbDecision=510500 #constraints=4593 701.03/701.30 c nbDecision=511000 #constraints=4593 701.63/701.95 c nbDecision=511500 #constraints=4593 702.23/702.59 c nbDecision=512000 #constraints=4593 702.93/703.24 c nbDecision=512500 #constraints=4593 703.53/703.88 c nbDecision=513000 #constraints=4593 704.22/704.52 c nbDecision=513500 #constraints=4593 704.83/705.16 c nbDecision=514000 #constraints=4593 705.42/705.79 c nbDecision=514500 #constraints=4593 706.12/706.42 c nbDecision=515000 #constraints=4593 706.73/707.05 c nbDecision=515500 #constraints=4593 707.52/707.81 c nbDecision=516000 #constraints=4594 708.22/708.54 c nbDecision=516500 #constraints=4594 708.92/709.29 c nbDecision=517000 #constraints=4594 709.72/710.03 c nbDecision=517500 #constraints=4594 710.42/710.77 c nbDecision=518000 #constraints=4594 711.22/711.50 c nbDecision=518500 #constraints=4594 711.92/712.23 c nbDecision=519000 #constraints=4594 712.62/712.96 c nbDecision=519500 #constraints=4594 713.32/713.68 c nbDecision=520000 #constraints=4594 714.12/714.40 c nbDecision=520500 #constraints=4594 714.82/715.12 c nbDecision=521000 #constraints=4594 715.52/715.83 c nbDecision=521500 #constraints=4594 716.22/716.55 c nbDecision=522000 #constraints=4594 716.92/717.26 c nbDecision=522500 #constraints=4594 717.62/717.97 c nbDecision=523000 #constraints=4594 718.32/718.67 c nbDecision=523500 #constraints=4594 719.02/719.36 c nbDecision=524000 #constraints=4594 719.72/720.06 c nbDecision=524500 #constraints=4594 720.42/720.75 c nbDecision=525000 #constraints=4594 721.12/721.44 c nbDecision=525500 #constraints=4594 721.82/722.13 c nbDecision=526000 #constraints=4594 722.52/722.81 c nbDecision=526500 #constraints=4594 723.12/723.49 c nbDecision=527000 #constraints=4594 723.82/724.17 c nbDecision=527500 #constraints=4594 724.52/724.85 c nbDecision=528000 #constraints=4594 725.22/725.52 c nbDecision=528500 #constraints=4594 725.82/726.19 c nbDecision=529000 #constraints=4594 726.52/726.86 c nbDecision=529500 #constraints=4594 727.22/727.53 c nbDecision=530000 #constraints=4594 727.82/728.20 c nbDecision=530500 #constraints=4594 728.52/728.87 c nbDecision=531000 #constraints=4594 729.22/729.53 c nbDecision=531500 #constraints=4594 729.82/730.19 c nbDecision=532000 #constraints=4594 730.52/730.85 c nbDecision=532500 #constraints=4594 731.22/731.50 c nbDecision=533000 #constraints=4594 731.82/732.15 c nbDecision=533500 #constraints=4594 732.51/732.80 c nbDecision=534000 #constraints=4594 733.11/733.45 c nbDecision=534500 #constraints=4594 733.71/734.09 c nbDecision=535000 #constraints=4594 734.42/734.74 c nbDecision=535500 #constraints=4594 735.01/735.37 c nbDecision=536000 #constraints=4594 735.71/736.01 c nbDecision=536500 #constraints=4594 736.41/736.71 c nbDecision=537000 #constraints=4595 737.11/737.45 c nbDecision=537500 #constraints=4595 737.82/738.19 c nbDecision=538000 #constraints=4595 738.61/738.92 c nbDecision=538500 #constraints=4595 739.31/739.65 c nbDecision=539000 #constraints=4595 740.02/740.38 c nbDecision=539500 #constraints=4595 740.81/741.11 c nbDecision=540000 #constraints=4595 741.51/741.83 c nbDecision=540500 #constraints=4595 742.21/742.56 c nbDecision=541000 #constraints=4595 742.91/743.27 c nbDecision=541500 #constraints=4595 743.61/743.98 c nbDecision=542000 #constraints=4595 744.31/744.70 c nbDecision=542500 #constraints=4595 745.11/745.41 c nbDecision=543000 #constraints=4595 745.81/746.11 c nbDecision=543500 #constraints=4595 746.51/746.82 c nbDecision=544000 #constraints=4595 747.21/747.52 c nbDecision=544500 #constraints=4595 747.91/748.22 c nbDecision=545000 #constraints=4595 748.61/748.92 c nbDecision=545500 #constraints=4595 749.31/749.63 c nbDecision=546000 #constraints=4595 750.01/750.32 c nbDecision=546500 #constraints=4595 750.71/751.02 c nbDecision=547000 #constraints=4595 751.41/751.71 c nbDecision=547500 #constraints=4595 752.01/752.40 c nbDecision=548000 #constraints=4595 752.71/753.08 c nbDecision=548500 #constraints=4595 753.41/753.77 c nbDecision=549000 #constraints=4595 754.11/754.45 c nbDecision=549500 #constraints=4595 754.81/755.13 c nbDecision=550000 #constraints=4595 755.51/755.80 c nbDecision=550500 #constraints=4595 756.11/756.48 c nbDecision=551000 #constraints=4595 756.80/757.15 c nbDecision=551500 #constraints=4595 757.51/757.81 c nbDecision=552000 #constraints=4595 758.10/758.47 c nbDecision=552500 #constraints=4595 758.80/759.12 c nbDecision=553000 #constraints=4595 759.40/759.79 c nbDecision=553500 #constraints=4595 760.10/760.43 c nbDecision=554000 #constraints=4595 760.70/761.08 c nbDecision=554500 #constraints=4595 761.40/761.72 c nbDecision=555000 #constraints=4595 762.01/762.37 c nbDecision=555500 #constraints=4595 762.70/763.01 c nbDecision=556000 #constraints=4595 763.30/763.64 c nbDecision=556500 #constraints=4595 763.90/764.28 c nbDecision=557000 #constraints=4595 764.60/764.90 c nbDecision=557500 #constraints=4595 765.21/765.53 c nbDecision=558000 #constraints=4595 765.90/766.27 c nbDecision=558500 #constraints=4596 766.70/767.01 c nbDecision=559000 #constraints=4596 767.40/767.75 c nbDecision=559500 #constraints=4596 768.10/768.49 c nbDecision=560000 #constraints=4596 768.90/769.23 c nbDecision=560500 #constraints=4596 769.60/769.97 c nbDecision=561000 #constraints=4596 770.40/770.70 c nbDecision=561500 #constraints=4596 771.10/771.42 c nbDecision=562000 #constraints=4596 771.80/772.15 c nbDecision=562500 #constraints=4596 772.50/772.88 c nbDecision=563000 #constraints=4596 773.20/773.59 c nbDecision=563500 #constraints=4596 774.00/774.31 c nbDecision=564000 #constraints=4596 774.70/775.02 c nbDecision=564500 #constraints=4596 775.40/775.73 c nbDecision=565000 #constraints=4596 776.10/776.43 c nbDecision=565500 #constraints=4596 776.80/777.14 c nbDecision=566000 #constraints=4596 777.50/777.84 c nbDecision=566500 #constraints=4596 778.19/778.53 c nbDecision=567000 #constraints=4596 778.89/779.23 c nbDecision=567500 #constraints=4596 779.60/779.91 c nbDecision=568000 #constraints=4596 780.29/780.60 c nbDecision=568500 #constraints=4596 780.89/781.29 c nbDecision=569000 #constraints=4596 781.59/781.96 c nbDecision=569500 #constraints=4596 782.29/782.63 c nbDecision=570000 #constraints=4596 782.99/783.31 c nbDecision=570500 #constraints=4596 783.59/783.98 c nbDecision=571000 #constraints=4596 784.29/784.65 c nbDecision=571500 #constraints=4596 784.99/785.31 c nbDecision=572000 #constraints=4596 785.59/785.98 c nbDecision=572500 #constraints=4596 786.29/786.64 c nbDecision=573000 #constraints=4596 786.99/787.30 c nbDecision=573500 #constraints=4596 787.59/787.97 c nbDecision=574000 #constraints=4596 788.29/788.63 c nbDecision=574500 #constraints=4596 788.89/789.28 c nbDecision=575000 #constraints=4596 789.59/789.94 c nbDecision=575500 #constraints=4596 790.19/790.59 c nbDecision=576000 #constraints=4596 790.89/791.24 c nbDecision=576500 #constraints=4596 791.49/791.89 c nbDecision=577000 #constraints=4596 792.19/792.53 c nbDecision=577500 #constraints=4596 792.79/793.17 c nbDecision=578000 #constraints=4596 793.49/793.81 c nbDecision=578500 #constraints=4596 794.09/794.44 c nbDecision=579000 #constraints=4596 794.79/795.12 c nbDecision=579500 #constraints=4597 795.49/795.86 c nbDecision=580000 #constraints=4597 796.29/796.60 c nbDecision=580500 #constraints=4597 796.98/797.34 c nbDecision=581000 #constraints=4597 797.68/798.06 c nbDecision=581500 #constraints=4597 798.39/798.79 c nbDecision=582000 #constraints=4597 799.18/799.51 c nbDecision=582500 #constraints=4597 799.88/800.23 c nbDecision=583000 #constraints=4597 800.58/800.95 c nbDecision=583500 #constraints=4597 801.28/801.66 c nbDecision=584000 #constraints=4597 801.98/802.37 c nbDecision=584500 #constraints=4597 802.69/803.08 c nbDecision=585000 #constraints=4597 803.38/803.79 c nbDecision=585500 #constraints=4597 804.08/804.49 c nbDecision=586000 #constraints=4597 804.79/805.18 c nbDecision=586500 #constraints=4597 805.48/805.88 c nbDecision=587000 #constraints=4597 806.18/806.56 c nbDecision=587500 #constraints=4597 806.88/807.25 c nbDecision=588000 #constraints=4597 807.58/807.95 c nbDecision=588500 #constraints=4597 808.28/808.64 c nbDecision=589000 #constraints=4597 808.98/809.32 c nbDecision=589500 #constraints=4597 809.68/810.01 c nbDecision=590000 #constraints=4597 810.28/810.69 c nbDecision=590500 #constraints=4597 810.98/811.37 c nbDecision=591000 #constraints=4597 811.68/812.05 c nbDecision=591500 #constraints=4597 812.38/812.73 c nbDecision=592000 #constraints=4597 813.08/813.40 c nbDecision=592500 #constraints=4597 813.68/814.07 c nbDecision=593000 #constraints=4597 814.38/814.74 c nbDecision=593500 #constraints=4597 815.08/815.41 c nbDecision=594000 #constraints=4597 815.68/816.06 c nbDecision=594500 #constraints=4597 816.38/816.72 c nbDecision=595000 #constraints=4597 816.98/817.38 c nbDecision=595500 #constraints=4597 817.68/818.03 c nbDecision=596000 #constraints=4597 818.28/818.67 c nbDecision=596500 #constraints=4597 818.99/819.32 c nbDecision=597000 #constraints=4597 819.59/819.96 c nbDecision=597500 #constraints=4597 820.19/820.59 c nbDecision=598000 #constraints=4597 820.88/821.22 c nbDecision=598500 #constraints=4597 821.48/821.85 c nbDecision=599000 #constraints=4597 822.08/822.48 c nbDecision=599500 #constraints=4597 822.88/823.20 c nbDecision=600000 #constraints=4598 823.59/823.94 c nbDecision=600500 #constraints=4598 824.28/824.67 c nbDecision=601000 #constraints=4598 824.98/825.40 c nbDecision=601500 #constraints=4598 825.79/826.12 c nbDecision=602000 #constraints=4598 826.48/826.85 c nbDecision=602500 #constraints=4598 827.18/827.57 c nbDecision=603000 #constraints=4598 827.89/828.30 c nbDecision=603500 #constraints=4598 828.68/829.02 c nbDecision=604000 #constraints=4598 829.38/829.74 c nbDecision=604500 #constraints=4598 830.08/830.45 c nbDecision=605000 #constraints=4598 830.78/831.16 c nbDecision=605500 #constraints=4598 831.48/831.87 c nbDecision=606000 #constraints=4598 832.18/832.58 c nbDecision=606500 #constraints=4598 832.88/833.29 c nbDecision=607000 #constraints=4598 833.58/833.99 c nbDecision=607500 #constraints=4598 834.28/834.69 c nbDecision=608000 #constraints=4598 834.98/835.39 c nbDecision=608500 #constraints=4598 835.68/836.08 c nbDecision=609000 #constraints=4598 836.38/836.77 c nbDecision=609500 #constraints=4598 837.08/837.45 c nbDecision=610000 #constraints=4598 837.78/838.13 c nbDecision=610500 #constraints=4598 838.48/838.81 c nbDecision=611000 #constraints=4598 839.08/839.48 c nbDecision=611500 #constraints=4598 839.78/840.16 c nbDecision=612000 #constraints=4598 840.48/840.82 c nbDecision=612500 #constraints=4598 841.08/841.49 c nbDecision=613000 #constraints=4598 841.78/842.14 c nbDecision=613500 #constraints=4598 842.48/842.80 c nbDecision=614000 #constraints=4598 843.08/843.45 c nbDecision=614500 #constraints=4598 843.78/844.11 c nbDecision=615000 #constraints=4598 844.38/844.76 c nbDecision=615500 #constraints=4598 845.08/845.41 c nbDecision=616000 #constraints=4598 845.68/846.06 c nbDecision=616500 #constraints=4598 846.37/846.70 c nbDecision=617000 #constraints=4598 846.97/847.34 c nbDecision=617500 #constraints=4598 847.57/847.99 c nbDecision=618000 #constraints=4598 848.27/848.63 c nbDecision=618500 #constraints=4598 848.88/849.27 c nbDecision=619000 #constraints=4598 849.57/849.90 c nbDecision=619500 #constraints=4598 850.17/850.54 c nbDecision=620000 #constraints=4598 850.98/851.30 c nbDecision=620500 #constraints=4599 851.67/852.04 c nbDecision=621000 #constraints=4599 852.37/852.78 c nbDecision=621500 #constraints=4599 853.18/853.51 c nbDecision=622000 #constraints=4599 853.87/854.24 c nbDecision=622500 #constraints=4599 854.57/854.97 c nbDecision=623000 #constraints=4599 855.27/855.70 c nbDecision=623500 #constraints=4599 856.07/856.42 c nbDecision=624000 #constraints=4599 856.77/857.14 c nbDecision=624500 #constraints=4599 857.47/857.85 c nbDecision=625000 #constraints=4599 858.17/858.56 c nbDecision=625500 #constraints=4599 858.87/859.27 c nbDecision=626000 #constraints=4599 859.57/859.97 c nbDecision=626500 #constraints=4599 860.27/860.67 c nbDecision=627000 #constraints=4599 860.97/861.37 c nbDecision=627500 #constraints=4599 861.67/862.06 c nbDecision=628000 #constraints=4599 862.37/862.75 c nbDecision=628500 #constraints=4599 863.07/863.44 c nbDecision=629000 #constraints=4599 863.77/864.14 c nbDecision=629500 #constraints=4599 864.47/864.82 c nbDecision=630000 #constraints=4599 865.17/865.50 c nbDecision=630500 #constraints=4599 865.77/866.18 c nbDecision=631000 #constraints=4599 866.47/866.85 c nbDecision=631500 #constraints=4599 867.17/867.53 c nbDecision=632000 #constraints=4599 867.87/868.20 c nbDecision=632500 #constraints=4599 868.47/868.87 c nbDecision=633000 #constraints=4599 869.17/869.54 c nbDecision=633500 #constraints=4599 869.87/870.21 c nbDecision=634000 #constraints=4599 870.47/870.87 c nbDecision=634500 #constraints=4599 871.16/871.54 c nbDecision=635000 #constraints=4599 871.76/872.20 c nbDecision=635500 #constraints=4599 872.46/872.85 c nbDecision=636000 #constraints=4599 873.16/873.51 c nbDecision=636500 #constraints=4599 873.76/874.15 c nbDecision=637000 #constraints=4599 874.46/874.80 c nbDecision=637500 #constraints=4599 875.06/875.45 c nbDecision=638000 #constraints=4599 875.66/876.09 c nbDecision=638500 #constraints=4599 876.37/876.73 c nbDecision=639000 #constraints=4599 876.96/877.37 c nbDecision=639500 #constraints=4599 877.56/877.99 c nbDecision=640000 #constraints=4599 878.36/878.71 c nbDecision=640500 #constraints=4600 879.06/879.45 c nbDecision=641000 #constraints=4600 879.76/880.18 c nbDecision=641500 #constraints=4600 880.56/880.91 c nbDecision=642000 #constraints=4600 881.26/881.63 c nbDecision=642500 #constraints=4600 881.96/882.36 c nbDecision=643000 #constraints=4600 882.66/883.08 c nbDecision=643500 #constraints=4600 883.36/883.80 c nbDecision=644000 #constraints=4600 884.16/884.51 c nbDecision=644500 #constraints=4600 884.86/885.21 c nbDecision=645000 #constraints=4600 885.56/885.92 c nbDecision=645500 #constraints=4600 886.26/886.63 c nbDecision=646000 #constraints=4600 886.96/887.33 c nbDecision=646500 #constraints=4600 887.66/888.04 c nbDecision=647000 #constraints=4600 888.36/888.74 c nbDecision=647500 #constraints=4600 889.06/889.45 c nbDecision=648000 #constraints=4600 889.76/890.15 c nbDecision=648500 #constraints=4600 890.46/890.84 c nbDecision=649000 #constraints=4600 891.16/891.53 c nbDecision=649500 #constraints=4600 891.86/892.23 c nbDecision=650000 #constraints=4600 892.56/892.92 c nbDecision=650500 #constraints=4600 893.26/893.60 c nbDecision=651000 #constraints=4600 893.86/894.29 c nbDecision=651500 #constraints=4600 894.56/894.96 c nbDecision=652000 #constraints=4600 895.25/895.64 c nbDecision=652500 #constraints=4600 895.95/896.31 c nbDecision=653000 #constraints=4600 896.55/896.99 c nbDecision=653500 #constraints=4600 897.26/897.65 c nbDecision=654000 #constraints=4600 897.95/898.30 c nbDecision=654500 #constraints=4600 898.55/898.96 c nbDecision=655000 #constraints=4600 899.25/899.62 c nbDecision=655500 #constraints=4600 899.85/900.27 c nbDecision=656000 #constraints=4600 900.56/900.92 c nbDecision=656500 #constraints=4600 901.15/901.56 c nbDecision=657000 #constraints=4600 901.85/902.21 c nbDecision=657500 #constraints=4600 902.45/902.85 c nbDecision=658000 #constraints=4600 903.05/903.49 c nbDecision=658500 #constraints=4600 903.76/904.13 c nbDecision=659000 #constraints=4600 904.35/904.76 c nbDecision=659500 #constraints=4600 904.96/905.39 c nbDecision=660000 #constraints=4600 905.65/906.06 c nbDecision=660500 #constraints=4601 906.35/906.79 c nbDecision=661000 #constraints=4601 907.16/907.53 c nbDecision=661500 #constraints=4601 907.85/908.25 c nbDecision=662000 #constraints=4601 908.55/908.99 c nbDecision=662500 #constraints=4601 909.35/909.72 c nbDecision=663000 #constraints=4601 910.05/910.45 c nbDecision=663500 #constraints=4601 910.75/911.18 c nbDecision=664000 #constraints=4601 911.45/911.90 c nbDecision=664500 #constraints=4601 912.25/912.61 c nbDecision=665000 #constraints=4601 912.95/913.33 c nbDecision=665500 #constraints=4601 913.65/914.04 c nbDecision=666000 #constraints=4601 914.35/914.76 c nbDecision=666500 #constraints=4601 915.05/915.47 c nbDecision=667000 #constraints=4601 915.75/916.17 c nbDecision=667500 #constraints=4601 916.45/916.88 c nbDecision=668000 #constraints=4601 917.15/917.58 c nbDecision=668500 #constraints=4601 917.84/918.27 c nbDecision=669000 #constraints=4601 918.54/918.95 c nbDecision=669500 #constraints=4601 919.25/919.64 c nbDecision=670000 #constraints=4601 919.94/920.32 c nbDecision=670500 #constraints=4601 920.64/921.01 c nbDecision=671000 #constraints=4601 921.24/921.68 c nbDecision=671500 #constraints=4601 921.94/922.36 c nbDecision=672000 #constraints=4601 922.64/923.03 c nbDecision=672500 #constraints=4601 923.34/923.70 c nbDecision=673000 #constraints=4601 923.94/924.37 c nbDecision=673500 #constraints=4601 924.65/925.03 c nbDecision=674000 #constraints=4601 925.24/925.69 c nbDecision=674500 #constraints=4601 925.94/926.35 c nbDecision=675000 #constraints=4601 926.64/927.01 c nbDecision=675500 #constraints=4601 927.24/927.66 c nbDecision=676000 #constraints=4601 927.94/928.32 c nbDecision=676500 #constraints=4601 928.54/928.97 c nbDecision=677000 #constraints=4601 929.24/929.62 c nbDecision=677500 #constraints=4601 929.84/930.27 c nbDecision=678000 #constraints=4601 930.54/930.91 c nbDecision=678500 #constraints=4601 931.14/931.55 c nbDecision=679000 #constraints=4601 931.74/932.19 c nbDecision=679500 #constraints=4601 932.44/932.83 c nbDecision=680000 #constraints=4601 933.04/933.46 c nbDecision=680500 #constraints=4601 933.74/934.18 c nbDecision=681000 #constraints=4602 934.54/934.91 c nbDecision=681500 #constraints=4602 935.24/935.64 c nbDecision=682000 #constraints=4602 935.94/936.36 c nbDecision=682500 #constraints=4602 936.64/937.07 c nbDecision=683000 #constraints=4602 937.34/937.78 c nbDecision=683500 #constraints=4602 938.04/938.48 c nbDecision=684000 #constraints=4602 938.74/939.18 c nbDecision=684500 #constraints=4602 939.44/939.88 c nbDecision=685000 #constraints=4602 940.14/940.58 c nbDecision=685500 #constraints=4602 940.83/941.27 c nbDecision=686000 #constraints=4602 941.53/941.97 c nbDecision=686500 #constraints=4602 942.24/942.66 c nbDecision=687000 #constraints=4602 942.93/943.34 c nbDecision=687500 #constraints=4602 943.63/944.03 c nbDecision=688000 #constraints=4602 944.33/944.71 c nbDecision=688500 #constraints=4602 944.93/945.39 c nbDecision=689000 #constraints=4602 945.64/946.07 c nbDecision=689500 #constraints=4602 946.33/946.74 c nbDecision=690000 #constraints=4602 947.03/947.41 c nbDecision=690500 #constraints=4602 947.63/948.09 c nbDecision=691000 #constraints=4602 948.33/948.76 c nbDecision=691500 #constraints=4602 949.03/949.43 c nbDecision=692000 #constraints=4602 949.63/950.10 c nbDecision=692500 #constraints=4602 950.33/950.76 c nbDecision=693000 #constraints=4602 951.04/951.42 c nbDecision=693500 #constraints=4602 951.63/952.08 c nbDecision=694000 #constraints=4602 952.33/952.73 c nbDecision=694500 #constraints=4602 952.93/953.39 c nbDecision=695000 #constraints=4602 953.63/954.04 c nbDecision=695500 #constraints=4602 954.23/954.68 c nbDecision=696000 #constraints=4602 954.93/955.33 c nbDecision=696500 #constraints=4602 955.53/955.97 c nbDecision=697000 #constraints=4602 956.23/956.61 c nbDecision=697500 #constraints=4602 956.83/957.24 c nbDecision=698000 #constraints=4602 957.53/957.92 c nbDecision=698500 #constraints=4603 958.23/958.64 c nbDecision=699000 #constraints=4603 958.93/959.36 c nbDecision=699500 #constraints=4603 959.63/960.07 c nbDecision=700000 #constraints=4603 960.33/960.78 c nbDecision=700500 #constraints=4603 961.03/961.49 c nbDecision=701000 #constraints=4603 961.83/962.20 c nbDecision=701500 #constraints=4603 962.53/962.91 c nbDecision=702000 #constraints=4603 963.23/963.61 c nbDecision=702500 #constraints=4603 963.93/964.31 c nbDecision=703000 #constraints=4603 964.63/965.01 c nbDecision=703500 #constraints=4603 965.33/965.70 c nbDecision=704000 #constraints=4603 965.93/966.39 c nbDecision=704500 #constraints=4603 966.73/967.11 c nbDecision=705000 #constraints=4603 967.42/967.80 c nbDecision=705500 #constraints=4603 968.02/968.48 c nbDecision=706000 #constraints=4603 968.73/969.17 c nbDecision=706500 #constraints=4603 969.42/969.85 c nbDecision=707000 #constraints=4603 970.12/970.53 c nbDecision=707500 #constraints=4603 970.83/971.21 c nbDecision=708000 #constraints=4603 971.42/971.88 c nbDecision=708500 #constraints=4603 972.12/972.55 c nbDecision=709000 #constraints=4603 972.82/973.22 c nbDecision=709500 #constraints=4603 973.42/973.89 c nbDecision=710000 #constraints=4603 974.13/974.56 c nbDecision=710500 #constraints=4603 974.82/975.21 c nbDecision=711000 #constraints=4603 975.42/975.87 c nbDecision=711500 #constraints=4603 976.12/976.52 c nbDecision=712000 #constraints=4603 976.72/977.17 c nbDecision=712500 #constraints=4603 977.42/977.82 c nbDecision=713000 #constraints=4603 978.02/978.46 c nbDecision=713500 #constraints=4603 978.72/979.10 c nbDecision=714000 #constraints=4603 979.32/979.74 c nbDecision=714500 #constraints=4603 979.92/980.37 c nbDecision=715000 #constraints=4603 980.62/981.00 c nbDecision=715500 #constraints=4603 981.22/981.63 c nbDecision=716000 #constraints=4603 981.92/982.37 c nbDecision=716500 #constraints=4604 982.72/983.10 c nbDecision=717000 #constraints=4604 983.42/983.83 c nbDecision=717500 #constraints=4604 984.12/984.56 c nbDecision=718000 #constraints=4604 984.82/985.29 c nbDecision=718500 #constraints=4604 985.62/986.01 c nbDecision=719000 #constraints=4604 986.32/986.73 c nbDecision=719500 #constraints=4604 987.02/987.45 c nbDecision=720000 #constraints=4604 987.72/988.17 c nbDecision=720500 #constraints=4604 988.42/988.89 c nbDecision=721000 #constraints=4604 989.22/989.60 c nbDecision=721500 #constraints=4604 989.92/990.32 c nbDecision=722000 #constraints=4604 990.62/991.03 c nbDecision=722500 #constraints=4604 991.32/991.73 c nbDecision=723000 #constraints=4604 992.02/992.44 c nbDecision=723500 #constraints=4604 992.72/993.14 c nbDecision=724000 #constraints=4604 993.42/993.83 c nbDecision=724500 #constraints=4604 994.11/994.53 c nbDecision=725000 #constraints=4604 994.81/995.22 c nbDecision=725500 #constraints=4604 995.51/995.91 c nbDecision=726000 #constraints=4604 996.22/996.60 c nbDecision=726500 #constraints=4604 996.81/997.29 c nbDecision=727000 #constraints=4604 997.51/997.96 c nbDecision=727500 #constraints=4604 998.21/998.64 c nbDecision=728000 #constraints=4604 998.91/999.31 c nbDecision=728500 #constraints=4604 999.52/999.97 c nbDecision=729000 #constraints=4604 1000.21/1000.64 c nbDecision=729500 #constraints=4604 1000.81/1001.29 c nbDecision=730000 #constraints=4604 1001.51/1001.95 c nbDecision=730500 #constraints=4604 1002.21/1002.61 c nbDecision=731000 #constraints=4604 1002.82/1003.26 c nbDecision=731500 #constraints=4604 1003.51/1003.91 c nbDecision=732000 #constraints=4604 1004.11/1004.56 c nbDecision=732500 #constraints=4604 1004.81/1005.20 c nbDecision=733000 #constraints=4604 1005.41/1005.85 c nbDecision=733500 #constraints=4604 1006.02/1006.49 c nbDecision=734000 #constraints=4604 1006.71/1007.12 c nbDecision=734500 #constraints=4604 1007.31/1007.76 c nbDecision=735000 #constraints=4604 1008.01/1008.40 c nbDecision=735500 #constraints=4604 1008.61/1009.03 c nbDecision=736000 #constraints=4604 1009.31/1009.75 c nbDecision=736500 #constraints=4605 1010.01/1010.49 c nbDecision=737000 #constraints=4605 1010.81/1011.23 c nbDecision=737500 #constraints=4605 1011.51/1011.96 c nbDecision=738000 #constraints=4605 1012.21/1012.69 c nbDecision=738500 #constraints=4605 1013.01/1013.42 c nbDecision=739000 #constraints=4605 1013.71/1014.15 c nbDecision=739500 #constraints=4605 1014.41/1014.87 c nbDecision=740000 #constraints=4605 1015.11/1015.59 c nbDecision=740500 #constraints=4605 1015.81/1016.30 c nbDecision=741000 #constraints=4605 1016.61/1017.02 c nbDecision=741500 #constraints=4605 1017.31/1017.72 c nbDecision=742000 #constraints=4605 1018.01/1018.43 c nbDecision=742500 #constraints=4605 1018.70/1019.13 c nbDecision=743000 #constraints=4605 1019.40/1019.83 c nbDecision=743500 #constraints=4605 1020.10/1020.52 c nbDecision=744000 #constraints=4605 1020.80/1021.22 c nbDecision=744500 #constraints=4605 1021.51/1021.91 c nbDecision=745000 #constraints=4605 1022.10/1022.60 c nbDecision=745500 #constraints=4605 1022.80/1023.28 c nbDecision=746000 #constraints=4605 1023.50/1023.96 c nbDecision=746500 #constraints=4605 1024.20/1024.63 c nbDecision=747000 #constraints=4605 1024.90/1025.30 c nbDecision=747500 #constraints=4605 1025.50/1025.97 c nbDecision=748000 #constraints=4605 1026.20/1026.64 c nbDecision=748500 #constraints=4605 1026.91/1027.31 c nbDecision=749000 #constraints=4605 1027.50/1027.99 c nbDecision=749500 #constraints=4605 1028.20/1028.65 c nbDecision=750000 #constraints=4605 1028.90/1029.32 c nbDecision=750500 #constraints=4605 1029.50/1029.98 c nbDecision=751000 #constraints=4605 1030.20/1030.64 c nbDecision=751500 #constraints=4605 1030.90/1031.30 c nbDecision=752000 #constraints=4605 1031.50/1031.95 c nbDecision=752500 #constraints=4605 1032.20/1032.61 c nbDecision=753000 #constraints=4605 1032.80/1033.26 c nbDecision=753500 #constraints=4605 1033.50/1033.91 c nbDecision=754000 #constraints=4605 1034.10/1034.55 c nbDecision=754500 #constraints=4605 1034.70/1035.18 c nbDecision=755000 #constraints=4605 1035.40/1035.82 c nbDecision=755500 #constraints=4605 1036.00/1036.45 c nbDecision=756000 #constraints=4605 1036.70/1037.15 c nbDecision=756500 #constraints=4606 1037.40/1037.88 c nbDecision=757000 #constraints=4606 1038.20/1038.61 c nbDecision=757500 #constraints=4606 1038.90/1039.34 c nbDecision=758000 #constraints=4606 1039.60/1040.07 c nbDecision=758500 #constraints=4606 1040.30/1040.79 c nbDecision=759000 #constraints=4606 1041.10/1041.51 c nbDecision=759500 #constraints=4606 1041.80/1042.23 c nbDecision=760000 #constraints=4606 1042.50/1042.94 c nbDecision=760500 #constraints=4606 1043.20/1043.66 c nbDecision=761000 #constraints=4606 1043.89/1044.37 c nbDecision=761500 #constraints=4606 1044.60/1045.07 c nbDecision=762000 #constraints=4606 1045.29/1045.78 c nbDecision=762500 #constraints=4606 1045.99/1046.48 c nbDecision=763000 #constraints=4606 1046.70/1047.18 c nbDecision=763500 #constraints=4606 1047.39/1047.88 c nbDecision=764000 #constraints=4606 1048.09/1048.58 c nbDecision=764500 #constraints=4606 1048.79/1049.28 c nbDecision=765000 #constraints=4606 1049.49/1049.97 c nbDecision=765500 #constraints=4606 1050.19/1050.67 c nbDecision=766000 #constraints=4606 1050.89/1051.35 c nbDecision=766500 #constraints=4606 1051.59/1052.03 c nbDecision=767000 #constraints=4606 1052.29/1052.71 c nbDecision=767500 #constraints=4606 1052.89/1053.39 c nbDecision=768000 #constraints=4606 1053.59/1054.06 c nbDecision=768500 #constraints=4606 1054.29/1054.74 c nbDecision=769000 #constraints=4606 1054.99/1055.41 c nbDecision=769500 #constraints=4606 1055.59/1056.08 c nbDecision=770000 #constraints=4606 1056.29/1056.74 c nbDecision=770500 #constraints=4606 1056.99/1057.41 c nbDecision=771000 #constraints=4606 1057.59/1058.06 c nbDecision=771500 #constraints=4606 1058.29/1058.71 c nbDecision=772000 #constraints=4606 1058.89/1059.36 c nbDecision=772500 #constraints=4606 1059.59/1060.00 c nbDecision=773000 #constraints=4606 1060.19/1060.65 c nbDecision=773500 #constraints=4606 1060.79/1061.29 c nbDecision=774000 #constraints=4606 1061.49/1061.93 c nbDecision=774500 #constraints=4606 1062.09/1062.56 c nbDecision=775000 #constraints=4606 1062.68/1063.20 c nbDecision=775500 #constraints=4606 1063.38/1063.83 c nbDecision=776000 #constraints=4606 1063.98/1064.46 c nbDecision=776500 #constraints=4606 1064.78/1065.20 c nbDecision=777000 #constraints=4607 1065.49/1065.92 c nbDecision=777500 #constraints=4607 1066.18/1066.64 c nbDecision=778000 #constraints=4607 1066.88/1067.34 c nbDecision=778500 #constraints=4607 1067.59/1068.06 c nbDecision=779000 #constraints=4607 1068.28/1068.77 c nbDecision=779500 #constraints=4607 1068.98/1069.49 c nbDecision=780000 #constraints=4607 1069.68/1070.20 c nbDecision=780500 #constraints=4607 1070.48/1070.90 c nbDecision=781000 #constraints=4607 1071.18/1071.61 c nbDecision=781500 #constraints=4607 1071.88/1072.31 c nbDecision=782000 #constraints=4607 1072.58/1073.00 c nbDecision=782500 #constraints=4607 1073.28/1073.70 c nbDecision=783000 #constraints=4607 1073.88/1074.39 c nbDecision=783500 #constraints=4607 1074.58/1075.08 c nbDecision=784000 #constraints=4607 1075.28/1075.76 c nbDecision=784500 #constraints=4607 1075.98/1076.45 c nbDecision=785000 #constraints=4607 1076.68/1077.13 c nbDecision=785500 #constraints=4607 1077.38/1077.80 c nbDecision=786000 #constraints=4607 1077.98/1078.47 c nbDecision=786500 #constraints=4607 1078.68/1079.13 c nbDecision=787000 #constraints=4607 1079.28/1079.80 c nbDecision=787500 #constraints=4607 1079.98/1080.46 c nbDecision=788000 #constraints=4607 1080.68/1081.12 c nbDecision=788500 #constraints=4607 1081.28/1081.77 c nbDecision=789000 #constraints=4607 1081.98/1082.42 c nbDecision=789500 #constraints=4607 1082.58/1083.07 c nbDecision=790000 #constraints=4607 1083.28/1083.72 c nbDecision=790500 #constraints=4607 1083.88/1084.36 c nbDecision=791000 #constraints=4607 1084.58/1085.00 c nbDecision=791500 #constraints=4607 1085.18/1085.64 c nbDecision=792000 #constraints=4607 1085.77/1086.28 c nbDecision=792500 #constraints=4607 1086.47/1086.91 c nbDecision=793000 #constraints=4607 1087.07/1087.54 c nbDecision=793500 #constraints=4607 1087.67/1088.17 c nbDecision=794000 #constraints=4607 1088.48/1088.92 c nbDecision=794500 #constraints=4608 1089.17/1089.66 c nbDecision=795000 #constraints=4608 1089.87/1090.39 c nbDecision=795500 #constraints=4608 1090.68/1091.13 c nbDecision=796000 #constraints=4608 1091.37/1091.86 c nbDecision=796500 #constraints=4608 1092.07/1092.59 c nbDecision=797000 #constraints=4608 1092.88/1093.32 c nbDecision=797500 #constraints=4608 1093.57/1094.03 c nbDecision=798000 #constraints=4608 1094.27/1094.75 c nbDecision=798500 #constraints=4608 1094.97/1095.47 c nbDecision=799000 #constraints=4608 1095.67/1096.18 c nbDecision=799500 #constraints=4608 1096.37/1096.89 c nbDecision=800000 #constraints=4608 1097.17/1097.60 c nbDecision=800500 #constraints=4608 1097.77/1098.30 c nbDecision=801000 #constraints=4608 1098.47/1099.00 c nbDecision=801500 #constraints=4608 1099.17/1099.69 c nbDecision=802000 #constraints=4608 1099.87/1100.38 c nbDecision=802500 #constraints=4608 1100.57/1101.06 c nbDecision=803000 #constraints=4608 1101.27/1101.75 c nbDecision=803500 #constraints=4608 1101.97/1102.43 c nbDecision=804000 #constraints=4608 1102.67/1103.11 c nbDecision=804500 #constraints=4608 1103.27/1103.79 c nbDecision=805000 #constraints=4608 1103.97/1104.46 c nbDecision=805500 #constraints=4608 1104.67/1105.14 c nbDecision=806000 #constraints=4608 1105.37/1105.81 c nbDecision=806500 #constraints=4608 1105.97/1106.47 c nbDecision=807000 #constraints=4608 1106.67/1107.14 c nbDecision=807500 #constraints=4608 1107.37/1107.81 c nbDecision=808000 #constraints=4608 1107.97/1108.47 c nbDecision=808500 #constraints=4608 1108.67/1109.13 c nbDecision=809000 #constraints=4608 1109.27/1109.79 c nbDecision=809500 #constraints=4608 1109.97/1110.44 c nbDecision=810000 #constraints=4608 1110.57/1111.09 c nbDecision=810500 #constraints=4608 1111.27/1111.74 c nbDecision=811000 #constraints=4608 1111.87/1112.39 c nbDecision=811500 #constraints=4608 1112.57/1113.04 c nbDecision=812000 #constraints=4608 1113.17/1113.68 c nbDecision=812500 #constraints=4608 1113.87/1114.32 c nbDecision=813000 #constraints=4608 1114.47/1114.96 c nbDecision=813500 #constraints=4608 1115.07/1115.59 c nbDecision=814000 #constraints=4608 1115.87/1116.30 c nbDecision=814500 #constraints=4609 1116.57/1117.01 c nbDecision=815000 #constraints=4609 1117.27/1117.72 c nbDecision=815500 #constraints=4609 1117.97/1118.42 c nbDecision=816000 #constraints=4609 1118.67/1119.12 c nbDecision=816500 #constraints=4609 1119.37/1119.81 c nbDecision=817000 #constraints=4609 1119.97/1120.50 c nbDecision=817500 #constraints=4609 1120.67/1121.18 c nbDecision=818000 #constraints=4609 1121.37/1121.87 c nbDecision=818500 #constraints=4609 1122.07/1122.56 c nbDecision=819000 #constraints=4609 1122.37/1122.83 c restart after 819201 decisions 1122.87/1123.31 c nbDecision=819500 #constraints=4609 1123.57/1124.06 c nbDecision=820000 #constraints=4609 1124.37/1124.81 c nbDecision=820500 #constraints=4609 1125.07/1125.55 c nbDecision=821000 #constraints=4609 1125.77/1126.29 c nbDecision=821500 #constraints=4609 1126.57/1127.03 c nbDecision=822000 #constraints=4609 1127.27/1127.77 c nbDecision=822500 #constraints=4609 1128.07/1128.51 c nbDecision=823000 #constraints=4609 1128.77/1129.24 c nbDecision=823500 #constraints=4609 1129.47/1129.98 c nbDecision=824000 #constraints=4609 1130.27/1130.71 c nbDecision=824500 #constraints=4609 1130.96/1131.44 c nbDecision=825000 #constraints=4609 1131.66/1132.16 c nbDecision=825500 #constraints=4609 1132.36/1132.89 c nbDecision=826000 #constraints=4609 1133.16/1133.61 c nbDecision=826500 #constraints=4609 1133.86/1134.31 c nbDecision=827000 #constraints=4609 1134.56/1135.03 c nbDecision=827500 #constraints=4609 1135.26/1135.74 c nbDecision=828000 #constraints=4609 1135.96/1136.45 c nbDecision=828500 #constraints=4609 1136.66/1137.15 c nbDecision=829000 #constraints=4609 1137.36/1137.85 c nbDecision=829500 #constraints=4609 1138.06/1138.55 c nbDecision=830000 #constraints=4609 1138.76/1139.24 c nbDecision=830500 #constraints=4609 1139.46/1139.93 c nbDecision=831000 #constraints=4609 1140.16/1140.62 c nbDecision=831500 #constraints=4609 1140.86/1141.30 c nbDecision=832000 #constraints=4609 1141.46/1141.98 c nbDecision=832500 #constraints=4609 1142.16/1142.66 c nbDecision=833000 #constraints=4609 1142.86/1143.34 c nbDecision=833500 #constraints=4609 1143.56/1144.01 c nbDecision=834000 #constraints=4609 1144.16/1144.68 c nbDecision=834500 #constraints=4609 1144.86/1145.35 c nbDecision=835000 #constraints=4609 1145.56/1146.01 c nbDecision=835500 #constraints=4609 1146.16/1146.68 c nbDecision=836000 #constraints=4609 1146.86/1147.33 c nbDecision=836500 #constraints=4609 1147.46/1147.99 c nbDecision=837000 #constraints=4609 1148.16/1148.65 c nbDecision=837500 #constraints=4609 1148.86/1149.31 c nbDecision=838000 #constraints=4609 1149.46/1149.95 c nbDecision=838500 #constraints=4609 1150.16/1150.61 c nbDecision=839000 #constraints=4609 1150.76/1151.26 c nbDecision=839500 #constraints=4609 1151.45/1151.90 c nbDecision=840000 #constraints=4609 1152.05/1152.55 c nbDecision=840500 #constraints=4609 1152.65/1153.19 c nbDecision=841000 #constraints=4609 1153.36/1153.82 c nbDecision=841500 #constraints=4609 1153.95/1154.46 c nbDecision=842000 #constraints=4609 1154.65/1155.18 c nbDecision=842500 #constraints=4610 1155.45/1155.92 c nbDecision=843000 #constraints=4610 1156.15/1156.65 c nbDecision=843500 #constraints=4610 1156.85/1157.39 c nbDecision=844000 #constraints=4610 1157.65/1158.11 c nbDecision=844500 #constraints=4610 1158.35/1158.83 c nbDecision=845000 #constraints=4610 1159.05/1159.55 c nbDecision=845500 #constraints=4610 1159.75/1160.27 c nbDecision=846000 #constraints=4610 1160.45/1160.98 c nbDecision=846500 #constraints=4610 1161.16/1161.69 c nbDecision=847000 #constraints=4610 1161.95/1162.40 c nbDecision=847500 #constraints=4610 1162.65/1163.11 c nbDecision=848000 #constraints=4610 1163.36/1163.81 c nbDecision=848500 #constraints=4610 1164.05/1164.51 c nbDecision=849000 #constraints=4610 1164.75/1165.21 c nbDecision=849500 #constraints=4610 1165.45/1165.90 c nbDecision=850000 #constraints=4610 1166.05/1166.60 c nbDecision=850500 #constraints=4610 1166.75/1167.28 c nbDecision=851000 #constraints=4610 1167.45/1167.97 c nbDecision=851500 #constraints=4610 1168.15/1168.66 c nbDecision=852000 #constraints=4610 1168.85/1169.35 c nbDecision=852500 #constraints=4610 1169.55/1170.03 c nbDecision=853000 #constraints=4610 1170.25/1170.72 c nbDecision=853500 #constraints=4610 1170.85/1171.39 c nbDecision=854000 #constraints=4610 1171.55/1172.06 c nbDecision=854500 #constraints=4610 1172.25/1172.73 c nbDecision=855000 #constraints=4610 1172.95/1173.40 c nbDecision=855500 #constraints=4610 1173.55/1174.07 c nbDecision=856000 #constraints=4610 1174.25/1174.74 c nbDecision=856500 #constraints=4610 1174.85/1175.39 c nbDecision=857000 #constraints=4610 1175.55/1176.05 c nbDecision=857500 #constraints=4610 1176.25/1176.71 c nbDecision=858000 #constraints=4610 1176.85/1177.36 c nbDecision=858500 #constraints=4610 1177.45/1178.00 c nbDecision=859000 #constraints=4610 1178.14/1178.64 c nbDecision=859500 #constraints=4610 1178.75/1179.28 c nbDecision=860000 #constraints=4610 1179.44/1179.92 c nbDecision=860500 #constraints=4610 1180.04/1180.56 c nbDecision=861000 #constraints=4610 1180.64/1181.19 c nbDecision=861500 #constraints=4610 1181.34/1181.82 c nbDecision=862000 #constraints=4610 1182.05/1182.52 c nbDecision=862500 #constraints=4611 1182.74/1183.24 c nbDecision=863000 #constraints=4611 1183.44/1183.95 c nbDecision=863500 #constraints=4611 1184.15/1184.67 c nbDecision=864000 #constraints=4611 1184.84/1185.38 c nbDecision=864500 #constraints=4611 1185.54/1186.09 c nbDecision=865000 #constraints=4611 1186.24/1186.79 c nbDecision=865500 #constraints=4611 1187.04/1187.50 c nbDecision=866000 #constraints=4611 1187.74/1188.21 c nbDecision=866500 #constraints=4611 1188.44/1188.91 c nbDecision=867000 #constraints=4611 1189.14/1189.62 c nbDecision=867500 #constraints=4611 1189.84/1190.32 c nbDecision=868000 #constraints=4611 1190.54/1191.01 c nbDecision=868500 #constraints=4611 1191.24/1191.70 c nbDecision=869000 #constraints=4611 1191.84/1192.39 c nbDecision=869500 #constraints=4611 1192.54/1193.08 c nbDecision=870000 #constraints=4611 1193.24/1193.77 c nbDecision=870500 #constraints=4611 1193.94/1194.45 c nbDecision=871000 #constraints=4611 1194.64/1195.13 c nbDecision=871500 #constraints=4611 1195.34/1195.80 c nbDecision=872000 #constraints=4611 1195.94/1196.48 c nbDecision=872500 #constraints=4611 1196.64/1197.15 c nbDecision=873000 #constraints=4611 1197.34/1197.81 c nbDecision=873500 #constraints=4611 1197.93/1198.47 c nbDecision=874000 #constraints=4611 1198.63/1199.13 c nbDecision=874500 #constraints=4611 1199.23/1199.78 c nbDecision=875000 #constraints=4611 1199.93/1200.44 c nbDecision=875500 #constraints=4611 1200.53/1201.09 c nbDecision=876000 #constraints=4611 1201.23/1201.73 c nbDecision=876500 #constraints=4611 1201.84/1202.38 c nbDecision=877000 #constraints=4611 1202.53/1203.02 c nbDecision=877500 #constraints=4611 1203.13/1203.66 c nbDecision=878000 #constraints=4611 1203.73/1204.29 c nbDecision=878500 #constraints=4611 1204.43/1204.92 c nbDecision=879000 #constraints=4611 1205.03/1205.55 c nbDecision=879500 #constraints=4611 1205.73/1206.25 c nbDecision=880000 #constraints=4612 1206.43/1206.99 c nbDecision=880500 #constraints=4612 1207.23/1207.73 c nbDecision=881000 #constraints=4612 1207.93/1208.47 c nbDecision=881500 #constraints=4612 1208.73/1209.20 c nbDecision=882000 #constraints=4612 1209.43/1209.94 c nbDecision=882500 #constraints=4612 1210.13/1210.67 c nbDecision=883000 #constraints=4612 1210.93/1211.40 c nbDecision=883500 #constraints=4612 1211.63/1212.13 c nbDecision=884000 #constraints=4612 1212.33/1212.86 c nbDecision=884500 #constraints=4612 1213.03/1213.58 c nbDecision=885000 #constraints=4612 1213.73/1214.30 c nbDecision=885500 #constraints=4612 1214.53/1215.02 c nbDecision=886000 #constraints=4612 1215.23/1215.73 c nbDecision=886500 #constraints=4612 1215.93/1216.44 c nbDecision=887000 #constraints=4612 1216.63/1217.15 c nbDecision=887500 #constraints=4612 1217.33/1217.85 c nbDecision=888000 #constraints=4612 1218.03/1218.55 c nbDecision=888500 #constraints=4612 1218.73/1219.24 c nbDecision=889000 #constraints=4612 1219.43/1219.93 c nbDecision=889500 #constraints=4612 1220.13/1220.62 c nbDecision=890000 #constraints=4612 1220.83/1221.31 c nbDecision=890500 #constraints=4612 1221.43/1221.99 c nbDecision=891000 #constraints=4612 1222.12/1222.67 c nbDecision=891500 #constraints=4612 1222.82/1223.34 c nbDecision=892000 #constraints=4612 1223.52/1224.02 c nbDecision=892500 #constraints=4612 1224.12/1224.69 c nbDecision=893000 #constraints=4612 1224.83/1225.35 c nbDecision=893500 #constraints=4612 1225.52/1226.02 c nbDecision=894000 #constraints=4612 1226.12/1226.68 c nbDecision=894500 #constraints=4612 1226.82/1227.35 c nbDecision=895000 #constraints=4612 1227.52/1228.01 c nbDecision=895500 #constraints=4612 1228.13/1228.67 c nbDecision=896000 #constraints=4612 1228.82/1229.33 c nbDecision=896500 #constraints=4612 1229.42/1229.99 c nbDecision=897000 #constraints=4612 1230.12/1230.64 c nbDecision=897500 #constraints=4612 1230.72/1231.29 c nbDecision=898000 #constraints=4612 1231.42/1231.94 c nbDecision=898500 #constraints=4612 1232.02/1232.58 c nbDecision=899000 #constraints=4612 1232.72/1233.22 c nbDecision=899500 #constraints=4612 1233.32/1233.86 c nbDecision=900000 #constraints=4612 1234.02/1234.50 c nbDecision=900500 #constraints=4612 1234.62/1235.13 c nbDecision=901000 #constraints=4612 1235.32/1235.89 c nbDecision=901500 #constraints=4613 1236.12/1236.63 c nbDecision=902000 #constraints=4613 1236.82/1237.37 c nbDecision=902500 #constraints=4613 1237.52/1238.09 c nbDecision=903000 #constraints=4613 1238.32/1238.81 c nbDecision=903500 #constraints=4613 1239.02/1239.53 c nbDecision=904000 #constraints=4613 1239.72/1240.25 c nbDecision=904500 #constraints=4613 1240.42/1240.97 c nbDecision=905000 #constraints=4613 1241.12/1241.68 c nbDecision=905500 #constraints=4613 1241.82/1242.39 c nbDecision=906000 #constraints=4613 1242.52/1243.09 c nbDecision=906500 #constraints=4613 1243.31/1243.80 c nbDecision=907000 #constraints=4613 1244.01/1244.50 c nbDecision=907500 #constraints=4613 1244.62/1245.20 c nbDecision=908000 #constraints=4613 1245.31/1245.90 c nbDecision=908500 #constraints=4613 1246.01/1246.59 c nbDecision=909000 #constraints=4613 1246.71/1247.27 c nbDecision=909500 #constraints=4613 1247.41/1247.97 c nbDecision=910000 #constraints=4613 1248.11/1248.66 c nbDecision=910500 #constraints=4613 1248.81/1249.34 c nbDecision=911000 #constraints=4613 1249.51/1250.02 c nbDecision=911500 #constraints=4613 1250.21/1250.71 c nbDecision=912000 #constraints=4613 1250.81/1251.38 c nbDecision=912500 #constraints=4613 1251.51/1252.06 c nbDecision=913000 #constraints=4613 1252.21/1252.73 c nbDecision=913500 #constraints=4613 1252.91/1253.40 c nbDecision=914000 #constraints=4613 1253.51/1254.07 c nbDecision=914500 #constraints=4613 1254.21/1254.74 c nbDecision=915000 #constraints=4613 1254.81/1255.40 c nbDecision=915500 #constraints=4613 1255.51/1256.06 c nbDecision=916000 #constraints=4613 1256.21/1256.72 c nbDecision=916500 #constraints=4613 1256.81/1257.37 c nbDecision=917000 #constraints=4613 1257.51/1258.02 c nbDecision=917500 #constraints=4613 1258.11/1258.66 c nbDecision=918000 #constraints=4613 1258.81/1259.31 c nbDecision=918500 #constraints=4613 1259.41/1259.95 c nbDecision=919000 #constraints=4613 1260.01/1260.58 c nbDecision=919500 #constraints=4613 1260.71/1261.20 c nbDecision=920000 #constraints=4613 1261.31/1261.83 c nbDecision=920500 #constraints=4613 1261.91/1262.46 c nbDecision=921000 #constraints=4613 1262.71/1263.23 c nbDecision=921500 #constraints=4614 1263.41/1263.96 c nbDecision=922000 #constraints=4614 1264.11/1264.69 c nbDecision=922500 #constraints=4614 1264.90/1265.41 c nbDecision=923000 #constraints=4614 1265.61/1266.14 c nbDecision=923500 #constraints=4614 1266.30/1266.86 c nbDecision=924000 #constraints=4614 1267.00/1267.58 c nbDecision=924500 #constraints=4614 1267.80/1268.30 c nbDecision=925000 #constraints=4614 1268.50/1269.02 c nbDecision=925500 #constraints=4614 1269.20/1269.73 c nbDecision=926000 #constraints=4614 1269.90/1270.44 c nbDecision=926500 #constraints=4614 1270.59/1271.16 c nbDecision=927000 #constraints=4614 1271.29/1271.87 c nbDecision=927500 #constraints=4614 1271.98/1272.57 c nbDecision=928000 #constraints=4614 1272.68/1273.28 c nbDecision=928500 #constraints=4614 1273.38/1273.97 c nbDecision=929000 #constraints=4614 1274.08/1274.66 c nbDecision=929500 #constraints=4614 1274.78/1275.36 c nbDecision=930000 #constraints=4614 1275.48/1276.05 c nbDecision=930500 #constraints=4614 1276.18/1276.74 c nbDecision=931000 #constraints=4614 1276.88/1277.42 c nbDecision=931500 #constraints=4614 1277.58/1278.10 c nbDecision=932000 #constraints=4614 1278.18/1278.77 c nbDecision=932500 #constraints=4614 1278.88/1279.45 c nbDecision=933000 #constraints=4614 1279.57/1280.12 c nbDecision=933500 #constraints=4614 1280.17/1280.78 c nbDecision=934000 #constraints=4614 1280.88/1281.45 c nbDecision=934500 #constraints=4614 1281.57/1282.11 c nbDecision=935000 #constraints=4614 1282.17/1282.77 c nbDecision=935500 #constraints=4614 1282.86/1283.44 c nbDecision=936000 #constraints=4614 1283.46/1284.10 c nbDecision=936500 #constraints=4614 1284.16/1284.75 c nbDecision=937000 #constraints=4614 1284.76/1285.39 c nbDecision=937500 #constraints=4614 1285.45/1286.04 c nbDecision=938000 #constraints=4614 1286.05/1286.68 c nbDecision=938500 #constraints=4614 1286.75/1287.32 c nbDecision=939000 #constraints=4614 1287.35/1287.96 c nbDecision=939500 #constraints=4614 1288.05/1288.60 c nbDecision=940000 #constraints=4614 1288.65/1289.24 c nbDecision=940500 #constraints=4614 1289.35/1289.93 c nbDecision=941000 #constraints=4615 1290.04/1290.67 c nbDecision=941500 #constraints=4615 1290.85/1291.42 c nbDecision=942000 #constraints=4615 1291.54/1292.17 c nbDecision=942500 #constraints=4615 1292.34/1292.91 c nbDecision=943000 #constraints=4615 1293.04/1293.64 c nbDecision=943500 #constraints=4615 1293.74/1294.38 c nbDecision=944000 #constraints=4615 1294.53/1295.12 c nbDecision=944500 #constraints=4615 1295.23/1295.85 c nbDecision=945000 #constraints=4615 1295.93/1296.57 c nbDecision=945500 #constraints=4615 1296.62/1297.30 c nbDecision=946000 #constraints=4615 1297.43/1298.01 c nbDecision=946500 #constraints=4615 1298.12/1298.71 c nbDecision=947000 #constraints=4615 1298.82/1299.42 c nbDecision=947500 #constraints=4615 1299.52/1300.13 c nbDecision=948000 #constraints=4615 1300.22/1300.83 c nbDecision=948500 #constraints=4615 1300.92/1301.52 c nbDecision=949000 #constraints=4615 1301.62/1302.22 c nbDecision=949500 #constraints=4615 1302.31/1302.91 c nbDecision=950000 #constraints=4615 1303.01/1303.60 c nbDecision=950500 #constraints=4615 1303.61/1304.29 c nbDecision=951000 #constraints=4615 1304.31/1304.98 c nbDecision=951500 #constraints=4615 1305.02/1305.65 c nbDecision=952000 #constraints=4615 1305.71/1306.34 c nbDecision=952500 #constraints=4615 1306.42/1307.01 c nbDecision=953000 #constraints=4615 1307.02/1307.69 c nbDecision=953500 #constraints=4615 1307.72/1308.36 c nbDecision=954000 #constraints=4615 1308.42/1309.04 c nbDecision=954500 #constraints=4615 1309.12/1309.71 c nbDecision=955000 #constraints=4615 1309.72/1310.38 c nbDecision=955500 #constraints=4615 1310.42/1311.04 c nbDecision=956000 #constraints=4615 1311.12/1311.71 c nbDecision=956500 #constraints=4615 1311.72/1312.37 c nbDecision=957000 #constraints=4615 1312.42/1313.02 c nbDecision=957500 #constraints=4615 1313.02/1313.68 c nbDecision=958000 #constraints=4615 1313.72/1314.33 c nbDecision=958500 #constraints=4615 1314.32/1314.99 c nbDecision=959000 #constraints=4615 1315.02/1315.63 c nbDecision=959500 #constraints=4615 1315.61/1316.28 c nbDecision=960000 #constraints=4615 1316.31/1316.92 c nbDecision=960500 #constraints=4615 1316.91/1317.56 c nbDecision=961000 #constraints=4615 1317.51/1318.19 c nbDecision=961500 #constraints=4615 1318.22/1318.81 c nbDecision=962000 #constraints=4615 1318.91/1319.56 c nbDecision=962500 #constraints=4616 1319.61/1320.29 c nbDecision=963000 #constraints=4616 1320.42/1321.02 c nbDecision=963500 #constraints=4616 1321.11/1321.74 c nbDecision=964000 #constraints=4616 1321.80/1322.48 c nbDecision=964500 #constraints=4616 1322.60/1323.20 c nbDecision=965000 #constraints=4616 1323.30/1323.92 c nbDecision=965500 #constraints=4616 1324.00/1324.63 c nbDecision=966000 #constraints=4616 1324.70/1325.35 c nbDecision=966500 #constraints=4616 1325.40/1326.06 c nbDecision=967000 #constraints=4616 1326.10/1326.76 c nbDecision=967500 #constraints=4616 1326.80/1327.47 c nbDecision=968000 #constraints=4616 1327.50/1328.17 c nbDecision=968500 #constraints=4616 1328.20/1328.87 c nbDecision=969000 #constraints=4616 1328.90/1329.57 c nbDecision=969500 #constraints=4616 1329.60/1330.27 c nbDecision=970000 #constraints=4616 1330.30/1330.97 c nbDecision=970500 #constraints=4616 1331.00/1331.67 c nbDecision=971000 #constraints=4616 1331.70/1332.35 c nbDecision=971500 #constraints=4616 1332.40/1333.04 c nbDecision=972000 #constraints=4616 1333.09/1333.72 c nbDecision=972500 #constraints=4616 1333.79/1334.41 c nbDecision=973000 #constraints=4616 1334.39/1335.09 c nbDecision=973500 #constraints=4616 1335.09/1335.76 c nbDecision=974000 #constraints=4616 1335.80/1336.44 c nbDecision=974500 #constraints=4616 1336.49/1337.11 c nbDecision=975000 #constraints=4616 1337.09/1337.78 c nbDecision=975500 #constraints=4616 1337.79/1338.44 c nbDecision=976000 #constraints=4616 1338.39/1339.09 c nbDecision=976500 #constraints=4616 1339.09/1339.74 c nbDecision=977000 #constraints=4616 1339.79/1340.40 c nbDecision=977500 #constraints=4616 1340.39/1341.05 c nbDecision=978000 #constraints=4616 1340.99/1341.69 c nbDecision=978500 #constraints=4616 1341.69/1342.34 c nbDecision=979000 #constraints=4616 1342.29/1342.98 c nbDecision=979500 #constraints=4616 1342.99/1343.61 c nbDecision=980000 #constraints=4616 1343.59/1344.25 c nbDecision=980500 #constraints=4616 1344.19/1344.88 c nbDecision=981000 #constraints=4616 1344.89/1345.51 c nbDecision=981500 #constraints=4616 1345.49/1346.18 c nbDecision=982000 #constraints=4617 1346.29/1346.92 c nbDecision=982500 #constraints=4617 1346.99/1347.66 c nbDecision=983000 #constraints=4617 1347.79/1348.40 c nbDecision=983500 #constraints=4617 1348.49/1349.14 c nbDecision=984000 #constraints=4617 1349.18/1349.87 c nbDecision=984500 #constraints=4617 1349.98/1350.61 c nbDecision=985000 #constraints=4617 1350.68/1351.34 c nbDecision=985500 #constraints=4617 1351.38/1352.07 c nbDecision=986000 #constraints=4617 1352.08/1352.79 c nbDecision=986500 #constraints=4617 1352.88/1353.51 c nbDecision=987000 #constraints=4617 1353.58/1354.23 c nbDecision=987500 #constraints=4617 1354.28/1354.95 c nbDecision=988000 #constraints=4617 1354.98/1355.66 c nbDecision=988500 #constraints=4617 1355.69/1356.38 c nbDecision=989000 #constraints=4617 1356.38/1357.08 c nbDecision=989500 #constraints=4617 1357.08/1357.79 c nbDecision=990000 #constraints=4617 1357.79/1358.48 c nbDecision=990500 #constraints=4617 1358.48/1359.18 c nbDecision=991000 #constraints=4617 1359.18/1359.87 c nbDecision=991500 #constraints=4617 1359.88/1360.56 c nbDecision=992000 #constraints=4617 1360.58/1361.24 c nbDecision=992500 #constraints=4617 1361.28/1361.92 c nbDecision=993000 #constraints=4617 1361.98/1362.60 c nbDecision=993500 #constraints=4617 1362.58/1363.27 c nbDecision=994000 #constraints=4617 1363.28/1363.94 c nbDecision=994500 #constraints=4617 1363.98/1364.62 c nbDecision=995000 #constraints=4617 1364.58/1365.28 c nbDecision=995500 #constraints=4617 1365.28/1365.95 c nbDecision=996000 #constraints=4617 1365.98/1366.61 c nbDecision=996500 #constraints=4617 1366.58/1367.27 c nbDecision=997000 #constraints=4617 1367.28/1367.93 c nbDecision=997500 #constraints=4617 1367.88/1368.59 c nbDecision=998000 #constraints=4617 1368.58/1369.25 c nbDecision=998500 #constraints=4617 1369.28/1369.91 c nbDecision=999000 #constraints=4617 1369.88/1370.56 c nbDecision=999500 #constraints=4617 1370.58/1371.21 c nbDecision=1000000 #constraints=4617 1371.18/1371.86 c nbDecision=1000500 #constraints=4617 1371.88/1372.51 c nbDecision=1001000 #constraints=4617 1372.47/1373.15 c nbDecision=1001500 #constraints=4617 1373.07/1373.79 c nbDecision=1002000 #constraints=4617 1373.77/1374.42 c nbDecision=1002500 #constraints=4617 1374.38/1375.06 c nbDecision=1003000 #constraints=4617 1375.17/1375.83 c nbDecision=1003500 #constraints=4618 1375.87/1376.57 c nbDecision=1004000 #constraints=4618 1376.67/1377.30 c nbDecision=1004500 #constraints=4618 1377.37/1378.04 c nbDecision=1005000 #constraints=4618 1378.07/1378.77 c nbDecision=1005500 #constraints=4618 1378.78/1379.49 c nbDecision=1006000 #constraints=4618 1379.57/1380.22 c nbDecision=1006500 #constraints=4618 1380.27/1380.94 c nbDecision=1007000 #constraints=4618 1380.98/1381.66 c nbDecision=1007500 #constraints=4618 1381.67/1382.37 c nbDecision=1008000 #constraints=4618 1382.37/1383.09 c nbDecision=1008500 #constraints=4618 1383.07/1383.80 c nbDecision=1009000 #constraints=4618 1383.87/1384.51 c nbDecision=1009500 #constraints=4618 1384.57/1385.21 c nbDecision=1010000 #constraints=4618 1385.27/1385.91 c nbDecision=1010500 #constraints=4618 1385.97/1386.61 c nbDecision=1011000 #constraints=4618 1386.67/1387.31 c nbDecision=1011500 #constraints=4618 1387.37/1388.01 c nbDecision=1012000 #constraints=4618 1388.07/1388.71 c nbDecision=1012500 #constraints=4618 1388.77/1389.40 c nbDecision=1013000 #constraints=4618 1389.37/1390.10 c nbDecision=1013500 #constraints=4618 1390.07/1390.79 c nbDecision=1014000 #constraints=4618 1390.77/1391.47 c nbDecision=1014500 #constraints=4618 1391.47/1392.16 c nbDecision=1015000 #constraints=4618 1392.17/1392.84 c nbDecision=1015500 #constraints=4618 1392.87/1393.51 c nbDecision=1016000 #constraints=4618 1393.47/1394.19 c nbDecision=1016500 #constraints=4618 1394.17/1394.86 c nbDecision=1017000 #constraints=4618 1394.87/1395.53 c nbDecision=1017500 #constraints=4618 1395.57/1396.20 c nbDecision=1018000 #constraints=4618 1396.16/1396.87 c nbDecision=1018500 #constraints=4618 1396.86/1397.53 c nbDecision=1019000 #constraints=4618 1397.47/1398.18 c nbDecision=1019500 #constraints=4618 1398.16/1398.83 c nbDecision=1020000 #constraints=4618 1398.76/1399.47 c nbDecision=1020500 #constraints=4618 1399.46/1400.12 c nbDecision=1021000 #constraints=4618 1400.06/1400.76 c nbDecision=1021500 #constraints=4618 1400.67/1401.39 c nbDecision=1022000 #constraints=4618 1401.36/1402.03 c nbDecision=1022500 #constraints=4618 1401.96/1402.66 c nbDecision=1023000 #constraints=4618 1402.56/1403.30 c nbDecision=1023500 #constraints=4618 1403.26/1403.92 c nbDecision=1024000 #constraints=4618 1403.97/1404.66 c nbDecision=1024500 #constraints=4619 1404.66/1405.39 c nbDecision=1025000 #constraints=4619 1405.46/1406.12 c nbDecision=1025500 #constraints=4619 1406.16/1406.84 c nbDecision=1026000 #constraints=4619 1406.86/1407.57 c nbDecision=1026500 #constraints=4619 1407.66/1408.30 c nbDecision=1027000 #constraints=4619 1408.36/1409.02 c nbDecision=1027500 #constraints=4619 1409.06/1409.74 c nbDecision=1028000 #constraints=4619 1409.76/1410.46 c nbDecision=1028500 #constraints=4619 1410.46/1411.18 c nbDecision=1029000 #constraints=4619 1411.16/1411.89 c nbDecision=1029500 #constraints=4619 1411.96/1412.60 c nbDecision=1030000 #constraints=4619 1412.66/1413.31 c nbDecision=1030500 #constraints=4619 1413.36/1414.02 c nbDecision=1031000 #constraints=4619 1414.06/1414.72 c nbDecision=1031500 #constraints=4619 1414.76/1415.42 c nbDecision=1032000 #constraints=4619 1415.46/1416.12 c nbDecision=1032500 #constraints=4619 1416.16/1416.81 c nbDecision=1033000 #constraints=4619 1416.86/1417.50 c nbDecision=1033500 #constraints=4619 1417.46/1418.18 c nbDecision=1034000 #constraints=4619 1418.16/1418.86 c nbDecision=1034500 #constraints=4619 1418.86/1419.54 c nbDecision=1035000 #constraints=4619 1419.55/1420.21 c nbDecision=1035500 #constraints=4619 1420.15/1420.89 c nbDecision=1036000 #constraints=4619 1420.85/1421.55 c nbDecision=1036500 #constraints=4619 1421.56/1422.22 c nbDecision=1037000 #constraints=4619 1422.15/1422.88 c nbDecision=1037500 #constraints=4619 1422.85/1423.54 c nbDecision=1038000 #constraints=4619 1423.55/1424.20 c nbDecision=1038500 #constraints=4619 1424.15/1424.86 c nbDecision=1039000 #constraints=4619 1424.86/1425.51 c nbDecision=1039500 #constraints=4619 1425.45/1426.16 c nbDecision=1040000 #constraints=4619 1426.15/1426.80 c nbDecision=1040500 #constraints=4619 1426.75/1427.44 c nbDecision=1041000 #constraints=4619 1427.35/1428.09 c nbDecision=1041500 #constraints=4619 1428.05/1428.73 c nbDecision=1042000 #constraints=4619 1428.65/1429.37 c nbDecision=1042500 #constraints=4619 1429.35/1430.01 c nbDecision=1043000 #constraints=4619 1429.95/1430.65 c nbDecision=1043500 #constraints=4619 1430.65/1431.33 c nbDecision=1044000 #constraints=4620 1431.35/1432.08 c nbDecision=1044500 #constraints=4620 1432.15/1432.82 c nbDecision=1045000 #constraints=4620 1432.85/1433.56 c nbDecision=1045500 #constraints=4620 1433.55/1434.30 c nbDecision=1046000 #constraints=4620 1434.35/1435.03 c nbDecision=1046500 #constraints=4620 1435.05/1435.77 c nbDecision=1047000 #constraints=4620 1435.75/1436.50 c nbDecision=1047500 #constraints=4620 1436.55/1437.22 c nbDecision=1048000 #constraints=4620 1437.25/1437.94 c nbDecision=1048500 #constraints=4620 1437.95/1438.66 c nbDecision=1049000 #constraints=4620 1438.64/1439.37 c nbDecision=1049500 #constraints=4620 1439.34/1440.08 c nbDecision=1050000 #constraints=4620 1440.04/1440.77 c nbDecision=1050500 #constraints=4620 1440.74/1441.48 c nbDecision=1051000 #constraints=4620 1441.45/1442.18 c nbDecision=1051500 #constraints=4620 1442.14/1442.88 c nbDecision=1052000 #constraints=4620 1442.84/1443.58 c nbDecision=1052500 #constraints=4620 1443.55/1444.27 c nbDecision=1053000 #constraints=4620 1444.24/1444.95 c nbDecision=1053500 #constraints=4620 1444.94/1445.64 c nbDecision=1054000 #constraints=4620 1445.64/1446.32 c nbDecision=1054500 #constraints=4620 1446.34/1447.01 c nbDecision=1055000 #constraints=4620 1446.95/1447.69 c nbDecision=1055500 #constraints=4620 1447.64/1448.37 c nbDecision=1056000 #constraints=4620 1448.34/1449.05 c nbDecision=1056500 #constraints=4620 1449.04/1449.73 c nbDecision=1057000 #constraints=4620 1449.74/1450.41 c nbDecision=1057500 #constraints=4620 1450.34/1451.08 c nbDecision=1058000 #constraints=4620 1451.04/1451.75 c nbDecision=1058500 #constraints=4620 1451.74/1452.41 c nbDecision=1059000 #constraints=4620 1452.34/1453.07 c nbDecision=1059500 #constraints=4620 1453.04/1453.74 c nbDecision=1060000 #constraints=4620 1453.64/1454.39 c nbDecision=1060500 #constraints=4620 1454.34/1455.05 c nbDecision=1061000 #constraints=4620 1455.04/1455.70 c nbDecision=1061500 #constraints=4620 1455.64/1456.35 c nbDecision=1062000 #constraints=4620 1456.24/1456.99 c nbDecision=1062500 #constraints=4620 1456.94/1457.64 c nbDecision=1063000 #constraints=4620 1457.54/1458.27 c nbDecision=1063500 #constraints=4620 1458.24/1458.91 c nbDecision=1064000 #constraints=4620 1458.84/1459.54 c nbDecision=1064500 #constraints=4620 1459.54/1460.21 c nbDecision=1065000 #constraints=4621 1460.24/1460.94 c nbDecision=1065500 #constraints=4621 1460.94/1461.68 c nbDecision=1066000 #constraints=4621 1461.74/1462.41 c nbDecision=1066500 #constraints=4621 1462.43/1463.15 c nbDecision=1067000 #constraints=4621 1463.13/1463.87 c nbDecision=1067500 #constraints=4621 1463.93/1464.60 c nbDecision=1068000 #constraints=4621 1464.63/1465.32 c nbDecision=1068500 #constraints=4621 1465.33/1466.04 c nbDecision=1069000 #constraints=4621 1466.03/1466.76 c nbDecision=1069500 #constraints=4621 1466.74/1467.47 c nbDecision=1070000 #constraints=4621 1467.43/1468.19 c nbDecision=1070500 #constraints=4621 1468.23/1468.90 c nbDecision=1071000 #constraints=4621 1468.94/1469.62 c nbDecision=1071500 #constraints=4621 1469.63/1470.33 c nbDecision=1072000 #constraints=4621 1470.33/1471.04 c nbDecision=1072500 #constraints=4621 1471.03/1471.74 c nbDecision=1073000 #constraints=4621 1471.73/1472.45 c nbDecision=1073500 #constraints=4621 1472.43/1473.15 c nbDecision=1074000 #constraints=4621 1473.13/1473.84 c nbDecision=1074500 #constraints=4621 1473.83/1474.54 c nbDecision=1075000 #constraints=4621 1474.53/1475.23 c nbDecision=1075500 #constraints=4621 1475.23/1475.91 c nbDecision=1076000 #constraints=4621 1475.93/1476.60 c nbDecision=1076500 #constraints=4621 1476.53/1477.28 c nbDecision=1077000 #constraints=4621 1477.23/1477.95 c nbDecision=1077500 #constraints=4621 1477.93/1478.63 c nbDecision=1078000 #constraints=4621 1478.53/1479.29 c nbDecision=1078500 #constraints=4621 1479.23/1479.96 c nbDecision=1079000 #constraints=4621 1479.93/1480.62 c nbDecision=1079500 #constraints=4621 1480.53/1481.28 c nbDecision=1080000 #constraints=4621 1481.23/1481.93 c nbDecision=1080500 #constraints=4621 1481.82/1482.59 c nbDecision=1081000 #constraints=4621 1482.52/1483.24 c nbDecision=1081500 #constraints=4621 1483.13/1483.89 c nbDecision=1082000 #constraints=4621 1483.82/1484.54 c nbDecision=1082500 #constraints=4621 1484.42/1485.18 c nbDecision=1083000 #constraints=4621 1485.12/1485.82 c nbDecision=1083500 #constraints=4621 1485.72/1486.46 c nbDecision=1084000 #constraints=4621 1486.32/1487.10 c nbDecision=1084500 #constraints=4621 1487.02/1487.74 c nbDecision=1085000 #constraints=4621 1487.62/1488.37 c nbDecision=1085500 #constraints=4621 1488.32/1489.04 c nbDecision=1086000 #constraints=4622 1489.02/1489.78 c nbDecision=1086500 #constraints=4622 1489.82/1490.52 c nbDecision=1087000 #constraints=4622 1490.52/1491.25 c nbDecision=1087500 #constraints=4622 1491.22/1491.98 c nbDecision=1088000 #constraints=4622 1492.02/1492.71 c nbDecision=1088500 #constraints=4622 1492.72/1493.44 c nbDecision=1089000 #constraints=4622 1493.41/1494.15 c nbDecision=1089500 #constraints=4622 1494.12/1494.87 c nbDecision=1090000 #constraints=4622 1494.81/1495.58 c nbDecision=1090500 #constraints=4622 1495.51/1496.29 c nbDecision=1091000 #constraints=4622 1496.32/1497.01 c nbDecision=1091500 #constraints=4622 1497.01/1497.71 c nbDecision=1092000 #constraints=4622 1497.71/1498.41 c nbDecision=1092500 #constraints=4622 1498.41/1499.11 c nbDecision=1093000 #constraints=4622 1499.02/1499.79 c nbDecision=1093500 #constraints=4622 1499.72/1500.49 c nbDecision=1094000 #constraints=4622 1500.41/1501.18 c nbDecision=1094500 #constraints=4622 1501.11/1501.86 c nbDecision=1095000 #constraints=4622 1501.82/1502.55 c nbDecision=1095500 #constraints=4622 1502.51/1503.23 c nbDecision=1096000 #constraints=4622 1503.21/1503.90 c nbDecision=1096500 #constraints=4622 1503.81/1504.58 c nbDecision=1097000 #constraints=4622 1504.51/1505.25 c nbDecision=1097500 #constraints=4622 1505.22/1505.92 c nbDecision=1098000 #constraints=4622 1505.81/1506.59 c nbDecision=1098500 #constraints=4622 1506.51/1507.25 c nbDecision=1099000 #constraints=4622 1507.21/1507.92 c nbDecision=1099500 #constraints=4622 1507.81/1508.58 c nbDecision=1100000 #constraints=4622 1508.51/1509.24 c nbDecision=1100500 #constraints=4622 1509.21/1509.90 c nbDecision=1101000 #constraints=4622 1509.81/1510.56 c nbDecision=1101500 #constraints=4622 1510.51/1511.21 c nbDecision=1102000 #constraints=4622 1511.11/1511.86 c nbDecision=1102500 #constraints=4622 1511.81/1512.52 c nbDecision=1103000 #constraints=4622 1512.41/1513.17 c nbDecision=1103500 #constraints=4622 1513.11/1513.81 c nbDecision=1104000 #constraints=4622 1513.71/1514.45 c nbDecision=1104500 #constraints=4622 1514.31/1515.09 c nbDecision=1105000 #constraints=4622 1515.01/1515.72 c nbDecision=1105500 #constraints=4622 1515.71/1516.45 c nbDecision=1106000 #constraints=4623 1516.41/1517.20 c nbDecision=1106500 #constraints=4623 1517.21/1517.93 c nbDecision=1107000 #constraints=4623 1517.91/1518.65 c nbDecision=1107500 #constraints=4623 1518.61/1519.38 c nbDecision=1108000 #constraints=4623 1519.41/1520.11 c nbDecision=1108500 #constraints=4623 1520.10/1520.83 c nbDecision=1109000 #constraints=4623 1520.80/1521.55 c nbDecision=1109500 #constraints=4623 1521.50/1522.27 c nbDecision=1110000 #constraints=4623 1522.20/1522.99 c nbDecision=1110500 #constraints=4623 1523.00/1523.70 c nbDecision=1111000 #constraints=4623 1523.70/1524.41 c nbDecision=1111500 #constraints=4623 1524.40/1525.12 c nbDecision=1112000 #constraints=4623 1525.10/1525.82 c nbDecision=1112500 #constraints=4623 1525.80/1526.53 c nbDecision=1113000 #constraints=4623 1526.50/1527.23 c nbDecision=1113500 #constraints=4623 1527.21/1527.93 c nbDecision=1114000 #constraints=4623 1527.90/1528.63 c nbDecision=1114500 #constraints=4623 1528.60/1529.33 c nbDecision=1115000 #constraints=4623 1529.31/1530.03 c nbDecision=1115500 #constraints=4623 1530.00/1530.72 c nbDecision=1116000 #constraints=4623 1530.70/1531.41 c nbDecision=1116500 #constraints=4623 1531.30/1532.10 c nbDecision=1117000 #constraints=4623 1532.00/1532.78 c nbDecision=1117500 #constraints=4623 1532.70/1533.46 c nbDecision=1118000 #constraints=4623 1533.40/1534.14 c nbDecision=1118500 #constraints=4623 1534.10/1534.81 c nbDecision=1119000 #constraints=4623 1534.70/1535.49 c nbDecision=1119500 #constraints=4623 1535.40/1536.16 c nbDecision=1120000 #constraints=4623 1536.10/1536.83 c nbDecision=1120500 #constraints=4623 1536.70/1537.48 c nbDecision=1121000 #constraints=4623 1537.40/1538.14 c nbDecision=1121500 #constraints=4623 1538.00/1538.79 c nbDecision=1122000 #constraints=4623 1538.70/1539.44 c nbDecision=1122500 #constraints=4623 1539.30/1540.09 c nbDecision=1123000 #constraints=4623 1540.00/1540.74 c nbDecision=1123500 #constraints=4623 1540.60/1541.38 c nbDecision=1124000 #constraints=4623 1541.30/1542.02 c nbDecision=1124500 #constraints=4623 1541.90/1542.66 c nbDecision=1125000 #constraints=4623 1542.50/1543.29 c nbDecision=1125500 #constraints=4623 1543.20/1543.92 c nbDecision=1126000 #constraints=4623 1543.80/1544.55 c nbDecision=1126500 #constraints=4623 1544.50/1545.27 c nbDecision=1127000 #constraints=4624 1545.30/1546.01 c nbDecision=1127500 #constraints=4624 1546.00/1546.74 c nbDecision=1128000 #constraints=4624 1546.70/1547.47 c nbDecision=1128500 #constraints=4624 1547.50/1548.20 c nbDecision=1129000 #constraints=4624 1548.20/1548.92 c nbDecision=1129500 #constraints=4624 1548.90/1549.64 c nbDecision=1130000 #constraints=4624 1549.60/1550.36 c nbDecision=1130500 #constraints=4624 1550.31/1551.08 c nbDecision=1131000 #constraints=4624 1551.10/1551.80 c nbDecision=1131500 #constraints=4624 1551.80/1552.51 c nbDecision=1132000 #constraints=4624 1552.50/1553.22 c nbDecision=1132500 #constraints=4624 1553.20/1553.93 c nbDecision=1133000 #constraints=4624 1553.90/1554.64 c nbDecision=1133500 #constraints=4624 1554.60/1555.34 c nbDecision=1134000 #constraints=4624 1555.30/1556.04 c nbDecision=1134500 #constraints=4624 1556.00/1556.73 c nbDecision=1135000 #constraints=4624 1556.70/1557.43 c nbDecision=1135500 #constraints=4624 1557.40/1558.11 c nbDecision=1136000 #constraints=4624 1558.00/1558.79 c nbDecision=1136500 #constraints=4624 1558.70/1559.47 c nbDecision=1137000 #constraints=4624 1559.40/1560.15 c nbDecision=1137500 #constraints=4624 1560.10/1560.82 c nbDecision=1138000 #constraints=4624 1560.70/1561.49 c nbDecision=1138500 #constraints=4624 1561.40/1562.15 c nbDecision=1139000 #constraints=4624 1562.10/1562.82 c nbDecision=1139500 #constraints=4624 1562.70/1563.48 c nbDecision=1140000 #constraints=4624 1563.40/1564.14 c nbDecision=1140500 #constraints=4624 1564.10/1564.80 c nbDecision=1141000 #constraints=4624 1564.70/1565.45 c nbDecision=1141500 #constraints=4624 1565.40/1566.11 c nbDecision=1142000 #constraints=4624 1566.00/1566.75 c nbDecision=1142500 #constraints=4624 1566.70/1567.40 c nbDecision=1143000 #constraints=4624 1567.29/1568.05 c nbDecision=1143500 #constraints=4624 1567.99/1568.70 c nbDecision=1144000 #constraints=4624 1568.59/1569.34 c nbDecision=1144500 #constraints=4624 1569.19/1569.99 c nbDecision=1145000 #constraints=4624 1569.90/1570.62 c nbDecision=1145500 #constraints=4624 1570.49/1571.26 c nbDecision=1146000 #constraints=4624 1571.20/1571.95 c nbDecision=1146500 #constraints=4625 1571.89/1572.70 c nbDecision=1147000 #constraints=4625 1572.69/1573.44 c nbDecision=1147500 #constraints=4625 1573.40/1574.18 c nbDecision=1148000 #constraints=4625 1574.19/1574.91 c nbDecision=1148500 #constraints=4625 1574.89/1575.65 c nbDecision=1149000 #constraints=4625 1575.60/1576.38 c nbDecision=1149500 #constraints=4625 1576.39/1577.11 c nbDecision=1150000 #constraints=4625 1577.09/1577.83 c nbDecision=1150500 #constraints=4625 1577.80/1578.55 c nbDecision=1151000 #constraints=4625 1578.49/1579.27 c nbDecision=1151500 #constraints=4625 1579.19/1579.98 c nbDecision=1152000 #constraints=4625 1579.90/1580.69 c nbDecision=1152500 #constraints=4625 1580.59/1581.39 c nbDecision=1153000 #constraints=4625 1581.29/1582.09 c nbDecision=1153500 #constraints=4625 1581.99/1582.79 c nbDecision=1154000 #constraints=4625 1582.69/1583.49 c nbDecision=1154500 #constraints=4625 1583.39/1584.18 c nbDecision=1155000 #constraints=4625 1584.09/1584.88 c nbDecision=1155500 #constraints=4625 1584.79/1585.57 c nbDecision=1156000 #constraints=4625 1585.49/1586.25 c nbDecision=1156500 #constraints=4625 1586.19/1586.93 c nbDecision=1157000 #constraints=4625 1586.89/1587.62 c nbDecision=1157500 #constraints=4625 1587.59/1588.30 c nbDecision=1158000 #constraints=4625 1588.19/1588.99 c nbDecision=1158500 #constraints=4625 1588.89/1589.67 c nbDecision=1159000 #constraints=4625 1589.59/1590.34 c nbDecision=1159500 #constraints=4625 1590.29/1591.02 c nbDecision=1160000 #constraints=4625 1590.89/1591.69 c nbDecision=1160500 #constraints=4625 1591.59/1592.36 c nbDecision=1161000 #constraints=4625 1592.29/1593.02 c nbDecision=1161500 #constraints=4625 1592.89/1593.69 c nbDecision=1162000 #constraints=4625 1593.59/1594.35 c nbDecision=1162500 #constraints=4625 1594.29/1595.00 c nbDecision=1163000 #constraints=4625 1594.89/1595.66 c nbDecision=1163500 #constraints=4625 1595.59/1596.31 c nbDecision=1164000 #constraints=4625 1596.19/1596.96 c nbDecision=1164500 #constraints=4625 1596.89/1597.60 c nbDecision=1165000 #constraints=4625 1597.49/1598.24 c nbDecision=1165500 #constraints=4625 1598.09/1598.88 c nbDecision=1166000 #constraints=4625 1598.78/1599.50 c nbDecision=1166500 #constraints=4625 1599.38/1600.13 c nbDecision=1167000 #constraints=4625 1600.08/1600.82 c nbDecision=1167500 #constraints=4626 1600.79/1601.55 c nbDecision=1168000 #constraints=4626 1601.48/1602.27 c nbDecision=1168500 #constraints=4626 1602.18/1602.99 c nbDecision=1169000 #constraints=4626 1602.99/1603.70 c nbDecision=1169500 #constraints=4626 1603.68/1604.41 c nbDecision=1170000 #constraints=4626 1604.38/1605.12 c nbDecision=1170500 #constraints=4626 1605.08/1605.83 c nbDecision=1171000 #constraints=4626 1605.78/1606.54 c nbDecision=1171500 #constraints=4626 1606.48/1607.24 c nbDecision=1172000 #constraints=4626 1607.18/1607.95 c nbDecision=1172500 #constraints=4626 1607.88/1608.66 c nbDecision=1173000 #constraints=4626 1608.58/1609.36 c nbDecision=1173500 #constraints=4626 1609.28/1610.06 c nbDecision=1174000 #constraints=4626 1609.98/1610.76 c nbDecision=1174500 #constraints=4626 1610.68/1611.45 c nbDecision=1175000 #constraints=4626 1611.38/1612.15 c nbDecision=1175500 #constraints=4626 1612.08/1612.83 c nbDecision=1176000 #constraints=4626 1612.77/1613.52 c nbDecision=1176500 #constraints=4626 1613.47/1614.21 c nbDecision=1177000 #constraints=4626 1614.08/1614.89 c nbDecision=1177500 #constraints=4626 1614.77/1615.57 c nbDecision=1178000 #constraints=4626 1615.47/1616.24 c nbDecision=1178500 #constraints=4626 1616.18/1616.91 c nbDecision=1179000 #constraints=4626 1616.77/1617.58 c nbDecision=1179500 #constraints=4626 1617.47/1618.24 c nbDecision=1180000 #constraints=4626 1618.17/1618.90 c nbDecision=1180500 #constraints=4626 1618.77/1619.56 c nbDecision=1181000 #constraints=4626 1619.48/1620.21 c nbDecision=1181500 #constraints=4626 1620.07/1620.86 c nbDecision=1182000 #constraints=4626 1620.77/1621.51 c nbDecision=1182500 #constraints=4626 1621.37/1622.15 c nbDecision=1183000 #constraints=4626 1621.97/1622.79 c nbDecision=1183500 #constraints=4626 1622.67/1623.43 c nbDecision=1184000 #constraints=4626 1623.27/1624.07 c nbDecision=1184500 #constraints=4626 1623.87/1624.70 c nbDecision=1185000 #constraints=4626 1624.57/1625.33 c nbDecision=1185500 #constraints=4626 1625.17/1625.95 c nbDecision=1186000 #constraints=4626 1625.87/1626.70 c nbDecision=1186500 #constraints=4627 1626.67/1627.41 c nbDecision=1187000 #constraints=4627 1627.37/1628.14 c nbDecision=1187500 #constraints=4627 1628.07/1628.86 c nbDecision=1188000 #constraints=4627 1628.77/1629.57 c nbDecision=1188500 #constraints=4627 1629.47/1630.29 c nbDecision=1189000 #constraints=4627 1630.27/1631.00 c nbDecision=1189500 #constraints=4627 1630.97/1631.70 c nbDecision=1190000 #constraints=4627 1631.67/1632.41 c nbDecision=1190500 #constraints=4627 1632.37/1633.11 c nbDecision=1191000 #constraints=4627 1633.07/1633.81 c nbDecision=1191500 #constraints=4627 1633.77/1634.51 c nbDecision=1192000 #constraints=4627 1634.47/1635.21 c nbDecision=1192500 #constraints=4627 1635.17/1635.90 c nbDecision=1193000 #constraints=4627 1635.77/1636.59 c nbDecision=1193500 #constraints=4627 1636.47/1637.27 c nbDecision=1194000 #constraints=4627 1637.17/1637.95 c nbDecision=1194500 #constraints=4627 1637.86/1638.62 c nbDecision=1195000 #constraints=4627 1638.46/1639.30 c nbDecision=1195500 #constraints=4627 1639.16/1639.97 c nbDecision=1196000 #constraints=4627 1639.86/1640.63 c nbDecision=1196500 #constraints=4627 1640.47/1641.30 c nbDecision=1197000 #constraints=4627 1641.16/1641.96 c nbDecision=1197500 #constraints=4627 1641.86/1642.61 c nbDecision=1198000 #constraints=4627 1642.46/1643.27 c nbDecision=1198500 #constraints=4627 1643.16/1643.92 c nbDecision=1199000 #constraints=4627 1643.76/1644.57 c nbDecision=1199500 #constraints=4627 1644.46/1645.22 c nbDecision=1200000 #constraints=4627 1645.06/1645.86 c nbDecision=1200500 #constraints=4627 1645.76/1646.51 c nbDecision=1201000 #constraints=4627 1646.36/1647.15 c nbDecision=1201500 #constraints=4627 1646.96/1647.79 c nbDecision=1202000 #constraints=4627 1647.66/1648.43 c nbDecision=1202500 #constraints=4627 1648.26/1649.06 c nbDecision=1203000 #constraints=4627 1648.96/1649.70 c nbDecision=1203500 #constraints=4627 1649.56/1650.35 c nbDecision=1204000 #constraints=4628 1650.16/1651.00 c nbDecision=1204500 #constraints=4628 1650.86/1651.64 c nbDecision=1205000 #constraints=4628 1651.46/1652.28 c nbDecision=1205500 #constraints=4628 1652.16/1652.91 c nbDecision=1206000 #constraints=4628 1652.76/1653.54 c nbDecision=1206500 #constraints=4628 1653.36/1654.19 c nbDecision=1207000 #constraints=4629 1654.05/1654.83 c nbDecision=1207500 #constraints=4629 1654.66/1655.48 c nbDecision=1208000 #constraints=4629 1655.35/1656.12 c nbDecision=1208500 #constraints=4629 1655.95/1656.76 c nbDecision=1209000 #constraints=4629 1656.55/1657.39 c nbDecision=1209500 #constraints=4629 1657.25/1658.03 c nbDecision=1210000 #constraints=4630 1657.85/1658.67 c nbDecision=1210500 #constraints=4630 1658.55/1659.31 c nbDecision=1211000 #constraints=4630 1659.16/1659.94 c nbDecision=1211500 #constraints=4630 1659.75/1660.57 c nbDecision=1212000 #constraints=4630 1660.45/1661.20 c nbDecision=1212500 #constraints=4630 1661.15/1661.92 c nbDecision=1213000 #constraints=4631 1661.85/1662.64 c nbDecision=1213500 #constraints=4631 1662.55/1663.36 c nbDecision=1214000 #constraints=4631 1663.25/1664.07 c nbDecision=1214500 #constraints=4631 1664.05/1664.80 c nbDecision=1215000 #constraints=4631 1664.75/1665.51 c nbDecision=1215500 #constraints=4631 1665.45/1666.21 c nbDecision=1216000 #constraints=4631 1666.15/1666.91 c nbDecision=1216500 #constraints=4631 1666.85/1667.62 c nbDecision=1217000 #constraints=4631 1667.55/1668.32 c nbDecision=1217500 #constraints=4631 1668.25/1669.02 c nbDecision=1218000 #constraints=4631 1668.95/1669.72 c nbDecision=1218500 #constraints=4631 1669.65/1670.41 c nbDecision=1219000 #constraints=4631 1670.35/1671.10 c nbDecision=1219500 #constraints=4631 1670.95/1671.79 c nbDecision=1220000 #constraints=4631 1671.65/1672.48 c nbDecision=1220500 #constraints=4631 1672.35/1673.16 c nbDecision=1221000 #constraints=4631 1673.05/1673.84 c nbDecision=1221500 #constraints=4631 1673.75/1674.52 c nbDecision=1222000 #constraints=4631 1674.35/1675.20 c nbDecision=1222500 #constraints=4631 1675.05/1675.87 c nbDecision=1223000 #constraints=4631 1675.75/1676.54 c nbDecision=1223500 #constraints=4631 1676.45/1677.21 c nbDecision=1224000 #constraints=4631 1677.05/1677.87 c nbDecision=1224500 #constraints=4631 1677.75/1678.52 c nbDecision=1225000 #constraints=4631 1678.34/1679.17 c nbDecision=1225500 #constraints=4631 1679.04/1679.82 c nbDecision=1226000 #constraints=4631 1679.64/1680.47 c nbDecision=1226500 #constraints=4631 1680.34/1681.12 c nbDecision=1227000 #constraints=4631 1680.94/1681.76 c nbDecision=1227500 #constraints=4631 1681.64/1682.40 c nbDecision=1228000 #constraints=4631 1682.25/1683.03 c nbDecision=1228500 #constraints=4631 1682.84/1683.67 c nbDecision=1229000 #constraints=4631 1683.44/1684.30 c nbDecision=1229500 #constraints=4631 1684.14/1684.92 c nbDecision=1230000 #constraints=4631 1684.84/1685.66 c nbDecision=1230500 #constraints=4632 1685.55/1686.38 c nbDecision=1231000 #constraints=4632 1686.24/1687.10 c nbDecision=1231500 #constraints=4632 1687.04/1687.81 c nbDecision=1232000 #constraints=4632 1687.75/1688.53 c nbDecision=1232500 #constraints=4632 1688.44/1689.24 c nbDecision=1233000 #constraints=4632 1689.14/1689.95 c nbDecision=1233500 #constraints=4632 1689.85/1690.66 c nbDecision=1234000 #constraints=4632 1690.54/1691.37 c nbDecision=1234500 #constraints=4632 1691.24/1692.07 c nbDecision=1235000 #constraints=4632 1691.94/1692.77 c nbDecision=1235500 #constraints=4632 1692.64/1693.46 c nbDecision=1236000 #constraints=4632 1693.34/1694.16 c nbDecision=1236500 #constraints=4632 1694.04/1694.85 c nbDecision=1237000 #constraints=4632 1694.74/1695.53 c nbDecision=1237500 #constraints=4632 1695.44/1696.22 c nbDecision=1238000 #constraints=4632 1696.14/1696.91 c nbDecision=1238500 #constraints=4632 1696.74/1697.58 c nbDecision=1239000 #constraints=4632 1697.44/1698.26 c nbDecision=1239500 #constraints=4632 1698.14/1698.92 c nbDecision=1240000 #constraints=4632 1698.74/1699.59 c nbDecision=1240500 #constraints=4632 1699.44/1700.25 c nbDecision=1241000 #constraints=4632 1700.14/1700.91 c nbDecision=1241500 #constraints=4632 1700.74/1701.57 c nbDecision=1242000 #constraints=4632 1701.44/1702.23 c nbDecision=1242500 #constraints=4632 1702.04/1702.88 c nbDecision=1243000 #constraints=4632 1702.74/1703.53 c nbDecision=1243500 #constraints=4632 1703.34/1704.18 c nbDecision=1244000 #constraints=4632 1704.03/1704.82 c nbDecision=1244500 #constraints=4632 1704.63/1705.46 c nbDecision=1245000 #constraints=4632 1705.34/1706.10 c nbDecision=1245500 #constraints=4632 1705.93/1706.74 c nbDecision=1246000 #constraints=4632 1706.53/1707.37 c nbDecision=1246500 #constraints=4632 1707.23/1708.00 c nbDecision=1247000 #constraints=4632 1707.83/1708.68 c nbDecision=1247500 #constraints=4633 1708.64/1709.42 c nbDecision=1248000 #constraints=4633 1709.33/1710.14 c nbDecision=1248500 #constraints=4633 1710.03/1710.87 c nbDecision=1249000 #constraints=4633 1710.74/1711.58 c nbDecision=1249500 #constraints=4633 1711.53/1712.30 c nbDecision=1250000 #constraints=4633 1712.23/1713.02 c nbDecision=1250500 #constraints=4633 1712.94/1713.74 c nbDecision=1251000 #constraints=4633 1713.63/1714.45 c nbDecision=1251500 #constraints=4633 1714.33/1715.17 c nbDecision=1252000 #constraints=4633 1715.03/1715.87 c nbDecision=1252500 #constraints=4633 1715.73/1716.58 c nbDecision=1253000 #constraints=4633 1716.43/1717.28 c nbDecision=1253500 #constraints=4633 1717.13/1717.98 c nbDecision=1254000 #constraints=4633 1717.83/1718.67 c nbDecision=1254500 #constraints=4633 1718.53/1719.36 c nbDecision=1255000 #constraints=4633 1719.23/1720.04 c nbDecision=1255500 #constraints=4633 1719.93/1720.72 c nbDecision=1256000 #constraints=4633 1720.53/1721.40 c nbDecision=1256500 #constraints=4633 1721.23/1722.07 c nbDecision=1257000 #constraints=4633 1721.93/1722.74 c nbDecision=1257500 #constraints=4633 1722.63/1723.41 c nbDecision=1258000 #constraints=4633 1723.23/1724.08 c nbDecision=1258500 #constraints=4633 1723.93/1724.75 c nbDecision=1259000 #constraints=4633 1724.63/1725.41 c nbDecision=1259500 #constraints=4633 1725.23/1726.07 c nbDecision=1260000 #constraints=4633 1725.93/1726.72 c nbDecision=1260500 #constraints=4633 1726.53/1727.38 c nbDecision=1261000 #constraints=4633 1727.23/1728.04 c nbDecision=1261500 #constraints=4633 1727.83/1728.69 c nbDecision=1262000 #constraints=4633 1728.53/1729.35 c nbDecision=1262500 #constraints=4633 1729.23/1730.00 c nbDecision=1263000 #constraints=4633 1729.83/1730.65 c nbDecision=1263500 #constraints=4633 1730.43/1731.29 c nbDecision=1264000 #constraints=4633 1731.13/1731.93 c nbDecision=1264500 #constraints=4633 1731.73/1732.57 c nbDecision=1265000 #constraints=4633 1732.42/1733.21 c nbDecision=1265500 #constraints=4633 1733.02/1733.84 c nbDecision=1266000 #constraints=4633 1733.62/1734.49 c nbDecision=1266500 #constraints=4634 1734.32/1735.13 c nbDecision=1267000 #constraints=4634 1734.93/1735.77 c nbDecision=1267500 #constraints=4634 1735.62/1736.41 c nbDecision=1268000 #constraints=4634 1736.22/1737.04 c nbDecision=1268500 #constraints=4634 1736.82/1737.69 c nbDecision=1269000 #constraints=4635 1737.52/1738.33 c nbDecision=1269500 #constraints=4635 1738.12/1738.97 c nbDecision=1270000 #constraints=4635 1738.82/1739.60 c nbDecision=1270500 #constraints=4635 1739.42/1740.24 c nbDecision=1271000 #constraints=4635 1740.02/1740.87 c nbDecision=1271500 #constraints=4635 1740.72/1741.53 c nbDecision=1272000 #constraints=4636 1741.42/1742.25 c nbDecision=1272500 #constraints=4636 1742.12/1742.96 c nbDecision=1273000 #constraints=4636 1742.82/1743.68 c nbDecision=1273500 #constraints=4636 1743.52/1744.39 c nbDecision=1274000 #constraints=4636 1744.32/1745.10 c nbDecision=1274500 #constraints=4636 1745.02/1745.81 c nbDecision=1275000 #constraints=4636 1745.72/1746.51 c nbDecision=1275500 #constraints=4636 1746.42/1747.21 c nbDecision=1276000 #constraints=4636 1747.12/1747.91 c nbDecision=1276500 #constraints=4636 1747.82/1748.61 c nbDecision=1277000 #constraints=4636 1748.52/1749.31 c nbDecision=1277500 #constraints=4636 1749.22/1750.01 c nbDecision=1278000 #constraints=4636 1749.92/1750.70 c nbDecision=1278500 #constraints=4636 1750.52/1751.39 c nbDecision=1279000 #constraints=4636 1751.22/1752.08 c nbDecision=1279500 #constraints=4636 1751.92/1752.76 c nbDecision=1280000 #constraints=4636 1752.62/1753.44 c nbDecision=1280500 #constraints=4636 1753.31/1754.12 c nbDecision=1281000 #constraints=4636 1753.91/1754.79 c nbDecision=1281500 #constraints=4636 1754.61/1755.46 c nbDecision=1282000 #constraints=4636 1755.31/1756.13 c nbDecision=1282500 #constraints=4636 1756.01/1756.80 c nbDecision=1283000 #constraints=4636 1756.61/1757.47 c nbDecision=1283500 #constraints=4636 1757.31/1758.12 c nbDecision=1284000 #constraints=4636 1757.91/1758.78 c nbDecision=1284500 #constraints=4636 1758.61/1759.43 c nbDecision=1285000 #constraints=4636 1759.22/1760.08 c nbDecision=1285500 #constraints=4636 1759.91/1760.73 c nbDecision=1286000 #constraints=4636 1760.51/1761.37 c nbDecision=1286500 #constraints=4636 1761.21/1762.01 c nbDecision=1287000 #constraints=4636 1761.81/1762.65 c nbDecision=1287500 #constraints=4636 1762.42/1763.28 c nbDecision=1288000 #constraints=4636 1763.11/1763.91 c nbDecision=1288500 #constraints=4636 1763.71/1764.54 c nbDecision=1289000 #constraints=4636 1764.41/1765.24 c nbDecision=1289500 #constraints=4637 1765.11/1765.96 c nbDecision=1290000 #constraints=4637 1765.81/1766.68 c nbDecision=1290500 #constraints=4637 1766.51/1767.39 c nbDecision=1291000 #constraints=4637 1767.31/1768.11 c nbDecision=1291500 #constraints=4637 1768.01/1768.82 c nbDecision=1292000 #constraints=4637 1768.71/1769.53 c nbDecision=1292500 #constraints=4637 1769.41/1770.24 c nbDecision=1293000 #constraints=4637 1770.11/1770.95 c nbDecision=1293500 #constraints=4637 1770.81/1771.65 c nbDecision=1294000 #constraints=4637 1771.51/1772.35 c nbDecision=1294500 #constraints=4637 1772.21/1773.05 c nbDecision=1295000 #constraints=4637 1772.91/1773.75 c nbDecision=1295500 #constraints=4637 1773.61/1774.44 c nbDecision=1296000 #constraints=4637 1774.31/1775.12 c nbDecision=1296500 #constraints=4637 1775.01/1775.81 c nbDecision=1297000 #constraints=4637 1775.61/1776.50 c nbDecision=1297500 #constraints=4637 1776.31/1777.18 c nbDecision=1298000 #constraints=4637 1777.00/1777.85 c nbDecision=1298500 #constraints=4637 1777.70/1778.52 c nbDecision=1299000 #constraints=4637 1778.30/1779.19 c nbDecision=1299500 #constraints=4637 1779.01/1779.85 c nbDecision=1300000 #constraints=4637 1779.70/1780.51 c nbDecision=1300500 #constraints=4637 1780.30/1781.17 c nbDecision=1301000 #constraints=4637 1781.00/1781.83 c nbDecision=1301500 #constraints=4637 1781.60/1782.48 c nbDecision=1302000 #constraints=4637 1782.31/1783.13 c nbDecision=1302500 #constraints=4637 1782.90/1783.77 c nbDecision=1303000 #constraints=4637 1783.60/1784.42 c nbDecision=1303500 #constraints=4637 1784.20/1785.06 c nbDecision=1304000 #constraints=4637 1784.90/1785.70 c nbDecision=1304500 #constraints=4637 1785.51/1786.33 c nbDecision=1305000 #constraints=4637 1786.10/1786.97 c nbDecision=1305500 #constraints=4637 1786.71/1787.59 c nbDecision=1306000 #constraints=4637 1787.40/1788.23 c nbDecision=1306500 #constraints=4637 1788.00/1788.88 c nbDecision=1307000 #constraints=4638 1788.70/1789.53 c nbDecision=1307500 #constraints=4638 1789.30/1790.17 c nbDecision=1308000 #constraints=4638 1790.00/1790.81 c nbDecision=1308500 #constraints=4638 1790.60/1791.44 c nbDecision=1309000 #constraints=4638 1791.20/1792.08 c nbDecision=1309500 #constraints=4638 1791.90/1792.73 c nbDecision=1310000 #constraints=4639 1792.50/1793.37 c nbDecision=1310500 #constraints=4639 1793.20/1794.01 c nbDecision=1311000 #constraints=4639 1793.80/1794.65 c nbDecision=1311500 #constraints=4639 1794.40/1795.28 c nbDecision=1312000 #constraints=4639 1795.10/1795.97 c nbDecision=1312500 #constraints=4640 1795.90/1796.70 c nbDecision=1313000 #constraints=4640 1796.60/1797.42 c nbDecision=1313500 #constraints=4640 1797.30/1798.13 c nbDecision=1314000 #constraints=4640 1798.00/1798.84 c nbDecision=1314500 #constraints=4640 1798.70/1799.55 c nbDecision=1315000 #constraints=4640 1799.40/1800.26 c nbDecision=1315500 #constraints=4640 1800.00/1800.80 Received signal 15 1800.00/1800.80 1800.00/1800.80 s UNKNOWN 1800.00/1800.80 1800.00/1800.80 c user time= 1799.91 s 1800.00/1800.80 c system time= 0.106983 s 1800.00/1800.80 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-357292-1176993593 -o ROOT/results/node69/solver-357292-1176993593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357292-1176993593/instance-357292-1176993593.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.93 0.99 0.99 3/64 2071 /proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=1468 CPUtime=0 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175348780 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 367 160 127 317 0 46 0 [startup+0.0408559 s] /proc/loadavg: 0.93 0.99 0.99 3/64 2071 /proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=1880 CPUtime=0.03 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 314 0 0 0 3 0 0 0 18 0 1 0 175348780 1925120 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 470 263 127 317 0 149 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1880 [startup+0.101865 s] /proc/loadavg: 0.93 0.99 0.99 3/64 2071 /proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=3440 CPUtime=0.09 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 781 0 0 0 9 0 0 0 18 0 1 0 175348780 3522560 536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 860 536 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301897 s] /proc/loadavg: 0.93 0.99 0.99 3/64 2071 /proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=5052 CPUtime=0.29 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 1197 0 0 0 29 0 0 0 19 0 1 0 175348780 5173248 952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 1263 953 131 317 0 942 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5052 [startup+0.701961 s] /proc/loadavg: 0.93 0.99 0.99 3/64 2071 /proc/meminfo: memFree=1661476/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=12972 CPUtime=0.69 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 3168 0 0 0 68 1 0 0 22 0 1 0 175348780 13283328 2923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 3243 2923 131 317 0 2922 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12972 [startup+1.50109 s] /proc/loadavg: 0.93 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1645276/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=31492 CPUtime=1.49 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7816 0 0 0 146 3 0 0 25 0 1 0 175348780 32247808 7571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 7873 7571 137 317 0 7552 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31492 [startup+3.10135 s] /proc/loadavg: 0.93 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1631004/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32020 CPUtime=3.09 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7942 0 0 0 306 3 0 0 25 0 1 0 175348780 32788480 7697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8005 7697 138 317 0 7684 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32020 [startup+6.30288 s] /proc/loadavg: 0.93 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630620/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=6.29 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 625 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32272 [startup+12.7019 s] /proc/loadavg: 0.94 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630620/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=12.69 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 1265 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32272 [startup+25.502 s] /proc/loadavg: 0.95 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=25.49 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 2545 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32272 [startup+51.1011 s] /proc/loadavg: 0.97 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=51.07 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 5103 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32272 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630876/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=102.25 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 10221 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 32272 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=162.23 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 16219 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32272 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=222.21 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 22217 4 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 32272 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 2073 /proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=282.19 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 28214 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 32272 [startup+342.301 s] /proc/loadavg: 1.06 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=342.17 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 34212 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 32272 [startup+402.302 s] /proc/loadavg: 1.23 1.05 1.01 2/65 2073 /proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=402.14 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 40209 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 32272 [startup+462.302 s] /proc/loadavg: 1.08 1.04 1.01 2/65 2073 /proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=462.12 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 46207 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 32272 [startup+522.302 s] /proc/loadavg: 1.03 1.03 1.00 2/65 2073 /proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=522.09 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 52204 5 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 32272 [startup+582.301 s] /proc/loadavg: 1.01 1.02 1.00 2/65 2073 /proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=582.07 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 58201 6 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 32272 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2073 /proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=642.06 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 64200 6 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 32272 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=821.98 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 82191 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 32272 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630876/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=881.96 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 88189 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 32272 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=941.93 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 94186 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 32272 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630812/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1001.91 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 100184 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 32272 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630748/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1061.88 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 106181 7 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 32272 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1121.87 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 112179 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 32272 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1181.84 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 118176 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 32272 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2073 /proc/meminfo: memFree=1630684/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1241.82 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 124174 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 32272 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 2246 /proc/meminfo: memFree=1629212/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1301.72 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 130164 8 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 32272 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630236/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1361.68 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 136159 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 32272 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630236/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1421.66 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 142157 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 32272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630428/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1481.62 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 148153 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 32272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630428/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1541.6 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 154151 9 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 32272 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1601.58 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7978 0 0 0 160148 10 0 0 25 0 1 0 175348780 33046528 7733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7733 139 317 0 7747 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 32272 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630428/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1661.55 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7979 0 0 0 166145 10 0 0 25 0 1 0 175348780 33046528 7734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7734 139 317 0 7747 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 32272 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1721.53 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7979 0 0 0 172143 10 0 0 25 0 1 0 175348780 33046528 7734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7734 139 317 0 7747 0 Current children cumulated CPU time (s) 1721.53 Current children cumulated vsize (KiB) 32272 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1781.5 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7981 0 0 0 178140 10 0 0 25 0 1 0 175348780 33046528 7736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7736 139 317 0 7747 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (KiB) 32272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2278 /proc/meminfo: memFree=1630364/2055920 swapFree=4182908/4192956 [pid=2071] ppid=2069 vsize=32272 CPUtime=1800 /proc/2071/stat : 2071 (oree) R 2069 2071 1616 0 -1 4194304 7982 0 0 0 179990 10 0 0 25 0 1 0 175348780 33046528 7737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2071/statm: 8068 7737 139 317 0 7747 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 32272 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.03 CPU user time (s): 1799.92 CPU system time (s): 0.111982 CPU usage (%): 99.956 Max. virtual memory (cumulated for all children) (KiB): 32272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.111982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7998 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= 4334 runsolver used 1.44178 second user time and 3.72343 second system time The end
Begin job on node69 on Thu Apr 19 14:39:53 UTC 2007 IDJOB= 357292 IDBENCH= 2356 IDSOLVER= 172 FILE ID= node69/357292-1176993593 PBS_JOBID= 4630441 Free space on /tmp= 66493 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-A2C1S1.opb COMMAND LINE= oree /tmp/evaluation/357292-1176993593/instance-357292-1176993593.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-357292-1176993593 -o ROOT/results/node69/solver-357292-1176993593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357292-1176993593/instance-357292-1176993593.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a644593dc228e712d5b0d277ee939168 RANDOM SEED= 396686902 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1661884 kB Buffers: 29528 kB Cached: 295908 kB SwapCached: 3888 kB Active: 151440 kB Inactive: 183564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1661884 kB SwapTotal: 4192956 kB SwapFree: 4182908 kB Dirty: 5752 kB Writeback: 0 kB Mapped: 15484 kB Slab: 45052 kB Committed_AS: 1532796 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66493 MiB End job on node69 on Thu Apr 19 15:09:56 UTC 2007