Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb |
MD5SUM | cc797868c6f9cb3811b8dc2300ad7f9f |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 612 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 556800 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 556800 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.89/0.93 c ...done 0.89/0.93 c #vars=107808 #constraints=5185 hasObjective=yes 1.39/1.44 c res. mode=mod 1.39/1.44 c VSIDS like heuristics 1.39/1.44 c complete search running 2.09/2.18 c restart after 401 decisions 2.29/2.34 c nbDecision=500 #constraints=5185 2.79/2.81 c restart after 801 decisions 3.09/3.12 c nbDecision=1000 #constraints=5185 3.89/3.90 c nbDecision=1500 #constraints=5185 3.99/4.06 c restart after 1601 decisions 4.59/4.69 c nbDecision=2000 #constraints=5185 5.40/5.47 c nbDecision=2500 #constraints=5185 6.19/6.26 c nbDecision=3000 #constraints=5185 6.49/6.57 c restart after 3201 decisions 6.99/7.04 c nbDecision=3500 #constraints=5185 7.79/7.83 c nbDecision=4000 #constraints=5185 8.59/8.61 c nbDecision=4500 #constraints=5185 9.29/9.39 c nbDecision=5000 #constraints=5185 10.09/10.17 c nbDecision=5500 #constraints=5185 10.89/10.94 c nbDecision=6000 #constraints=5185 11.49/11.56 c restart after 6401 decisions 11.69/11.72 c nbDecision=6500 #constraints=5185 12.49/12.50 c nbDecision=7000 #constraints=5185 13.19/13.27 c nbDecision=7500 #constraints=5185 13.99/14.05 c nbDecision=8000 #constraints=5185 14.79/14.81 c nbDecision=8500 #constraints=5185 15.49/15.58 c nbDecision=9000 #constraints=5185 16.29/16.35 c nbDecision=9500 #constraints=5185 17.09/17.12 c nbDecision=10000 #constraints=5185 17.79/17.88 c nbDecision=10500 #constraints=5185 18.59/18.64 c nbDecision=11000 #constraints=5185 19.38/19.41 c nbDecision=11500 #constraints=5185 20.08/20.17 c nbDecision=12000 #constraints=5185 20.89/20.93 c nbDecision=12500 #constraints=5185 21.28/21.39 c restart after 12801 decisions 21.68/21.71 c nbDecision=13000 #constraints=5185 22.38/22.49 c nbDecision=13500 #constraints=5185 23.18/23.27 c nbDecision=14000 #constraints=5185 23.98/24.05 c nbDecision=14500 #constraints=5185 24.78/24.83 c nbDecision=15000 #constraints=5185 25.48/25.60 c nbDecision=15500 #constraints=5185 26.29/26.37 c nbDecision=16000 #constraints=5185 27.08/27.14 c nbDecision=16500 #constraints=5185 27.88/27.91 c nbDecision=17000 #constraints=5185 28.59/28.68 c nbDecision=17500 #constraints=5185 29.38/29.46 c nbDecision=18000 #constraints=5185 30.18/30.22 c nbDecision=18500 #constraints=5185 30.88/30.99 c nbDecision=19000 #constraints=5185 31.68/31.75 c nbDecision=19500 #constraints=5185 32.48/32.51 c nbDecision=20000 #constraints=5185 33.18/33.27 c nbDecision=20500 #constraints=5185 33.98/34.02 c nbDecision=21000 #constraints=5185 34.68/34.78 c nbDecision=21500 #constraints=5185 35.48/35.54 c nbDecision=22000 #constraints=5185 36.18/36.29 c nbDecision=22500 #constraints=5185 36.97/37.04 c nbDecision=23000 #constraints=5185 37.67/37.79 c nbDecision=23500 #constraints=5185 38.48/38.53 c nbDecision=24000 #constraints=5185 39.17/39.28 c nbDecision=24500 #constraints=5185 39.97/40.02 c nbDecision=25000 #constraints=5185 40.68/40.77 c nbDecision=25500 #constraints=5185 40.87/40.93 c restart after 25601 decisions 41.47/41.56 c nbDecision=26000 #constraints=5185 42.27/42.35 c nbDecision=26500 #constraints=5185 43.07/43.13 c nbDecision=27000 #constraints=5185 43.87/43.91 c nbDecision=27500 #constraints=5185 44.57/44.68 c nbDecision=28000 #constraints=5185 45.37/45.46 c nbDecision=28500 #constraints=5185 46.17/46.24 c nbDecision=29000 #constraints=5185 46.97/47.02 c nbDecision=29500 #constraints=5185 47.67/47.79 c nbDecision=30000 #constraints=5185 48.47/48.56 c nbDecision=30500 #constraints=5185 49.27/49.33 c nbDecision=31000 #constraints=5185 50.07/50.10 c nbDecision=31500 #constraints=5185 50.77/50.85 c nbDecision=32000 #constraints=5185 51.57/51.61 c nbDecision=32500 #constraints=5185 52.27/52.35 c nbDecision=33000 #constraints=5185 53.07/53.11 c nbDecision=33500 #constraints=5185 53.77/53.85 c nbDecision=34000 #constraints=5185 54.56/54.60 c nbDecision=34500 #constraints=5185 55.26/55.34 c nbDecision=35000 #constraints=5185 55.97/56.08 c nbDecision=35500 #constraints=5185 56.76/56.83 c nbDecision=36000 #constraints=5185 57.46/57.58 c nbDecision=36500 #constraints=5185 58.27/58.32 c nbDecision=37000 #constraints=5185 58.96/59.06 c nbDecision=37500 #constraints=5185 59.76/59.80 c nbDecision=38000 #constraints=5185 60.47/60.55 c nbDecision=38500 #constraints=5185 61.16/61.30 c nbDecision=39000 #constraints=5185 61.96/62.05 c nbDecision=39500 #constraints=5185 62.67/62.79 c nbDecision=40000 #constraints=5185 63.46/63.54 c nbDecision=40500 #constraints=5185 64.16/64.28 c nbDecision=41000 #constraints=5185 64.96/65.03 c nbDecision=41500 #constraints=5185 65.66/65.76 c nbDecision=42000 #constraints=5185 66.46/66.51 c nbDecision=42500 #constraints=5185 67.16/67.25 c nbDecision=43000 #constraints=5185 67.86/67.99 c nbDecision=43500 #constraints=5185 68.66/68.73 c nbDecision=44000 #constraints=5185 69.36/69.47 c nbDecision=44500 #constraints=5185 70.16/70.21 c nbDecision=45000 #constraints=5185 70.86/70.94 c nbDecision=45500 #constraints=5185 71.56/71.67 c nbDecision=46000 #constraints=5185 72.36/72.40 c nbDecision=46500 #constraints=5185 73.06/73.13 c nbDecision=47000 #constraints=5185 73.76/73.85 c nbDecision=47500 #constraints=5185 74.46/74.58 c nbDecision=48000 #constraints=5185 75.26/75.30 c nbDecision=48500 #constraints=5185 75.96/76.03 c nbDecision=49000 #constraints=5185 76.66/76.75 c nbDecision=49500 #constraints=5185 77.36/77.47 c nbDecision=50000 #constraints=5185 78.06/78.19 c nbDecision=50500 #constraints=5185 78.86/78.91 c nbDecision=51000 #constraints=5185 79.16/79.20 c restart after 51201 decisions 79.65/79.70 c nbDecision=51500 #constraints=5185 80.35/80.47 c nbDecision=52000 #constraints=5185 81.15/81.25 c nbDecision=52500 #constraints=5185 81.95/82.03 c nbDecision=53000 #constraints=5185 82.75/82.81 c nbDecision=53500 #constraints=5185 83.47/83.59 c nbDecision=54000 #constraints=5185 84.26/84.37 c nbDecision=54500 #constraints=5185 85.06/85.14 c nbDecision=55000 #constraints=5185 85.86/85.92 c nbDecision=55500 #constraints=5185 86.56/86.69 c nbDecision=56000 #constraints=5185 87.36/87.46 c nbDecision=56500 #constraints=5185 88.16/88.22 c nbDecision=57000 #constraints=5185 88.86/88.99 c nbDecision=57500 #constraints=5185 89.66/89.75 c nbDecision=58000 #constraints=5185 90.46/90.51 c nbDecision=58500 #constraints=5185 91.16/91.27 c nbDecision=59000 #constraints=5185 91.96/92.02 c nbDecision=59500 #constraints=5185 92.66/92.76 c nbDecision=60000 #constraints=5185 93.46/93.51 c nbDecision=60500 #constraints=5185 94.16/94.26 c nbDecision=61000 #constraints=5185 94.96/95.00 c nbDecision=61500 #constraints=5185 95.66/95.75 c nbDecision=62000 #constraints=5185 96.36/96.49 c nbDecision=62500 #constraints=5185 97.16/97.24 c nbDecision=63000 #constraints=5185 97.86/97.99 c nbDecision=63500 #constraints=5185 98.66/98.73 c nbDecision=64000 #constraints=5185 99.36/99.47 c nbDecision=64500 #constraints=5185 100.16/100.22 c nbDecision=65000 #constraints=5185 100.86/100.97 c nbDecision=65500 #constraints=5185 101.65/101.71 c nbDecision=66000 #constraints=5185 102.35/102.45 c nbDecision=66500 #constraints=5185 103.15/103.20 c nbDecision=67000 #constraints=5185 103.85/103.94 c nbDecision=67500 #constraints=5185 104.55/104.69 c nbDecision=68000 #constraints=5185 105.35/105.43 c nbDecision=68500 #constraints=5185 106.05/106.17 c nbDecision=69000 #constraints=5185 106.85/106.91 c nbDecision=69500 #constraints=5185 107.55/107.65 c nbDecision=70000 #constraints=5185 108.25/108.39 c nbDecision=70500 #constraints=5185 109.05/109.13 c nbDecision=71000 #constraints=5185 109.75/109.87 c nbDecision=71500 #constraints=5185 110.45/110.60 c nbDecision=72000 #constraints=5185 111.25/111.32 c nbDecision=72500 #constraints=5185 111.95/112.05 c nbDecision=73000 #constraints=5185 112.65/112.78 c nbDecision=73500 #constraints=5185 113.45/113.50 c nbDecision=74000 #constraints=5185 114.15/114.23 c nbDecision=74500 #constraints=5185 114.85/114.95 c nbDecision=75000 #constraints=5185 115.55/115.67 c nbDecision=75500 #constraints=5185 116.25/116.39 c nbDecision=76000 #constraints=5185 117.05/117.12 c nbDecision=76500 #constraints=5185 117.75/117.84 c nbDecision=77000 #constraints=5185 118.45/118.56 c nbDecision=77500 #constraints=5185 119.15/119.28 c nbDecision=78000 #constraints=5185 119.85/119.99 c nbDecision=78500 #constraints=5185 120.65/120.75 c nbDecision=79000 #constraints=5186 121.35/121.48 c nbDecision=79500 #constraints=5186 122.15/122.22 c nbDecision=80000 #constraints=5186 122.85/122.97 c nbDecision=80500 #constraints=5186 123.65/123.70 c nbDecision=81000 #constraints=5186 124.35/124.43 c nbDecision=81500 #constraints=5186 125.05/125.18 c nbDecision=82000 #constraints=5186 125.84/125.92 c nbDecision=82500 #constraints=5186 126.54/126.66 c nbDecision=83000 #constraints=5186 127.35/127.41 c nbDecision=83500 #constraints=5186 128.04/128.14 c nbDecision=84000 #constraints=5186 128.74/128.87 c nbDecision=84500 #constraints=5186 129.54/129.61 c nbDecision=85000 #constraints=5186 130.24/130.34 c nbDecision=85500 #constraints=5186 130.94/131.06 c nbDecision=86000 #constraints=5186 131.64/131.79 c nbDecision=86500 #constraints=5186 132.44/132.51 c nbDecision=87000 #constraints=5186 133.14/133.23 c nbDecision=87500 #constraints=5186 133.84/133.94 c nbDecision=88000 #constraints=5186 134.54/134.65 c nbDecision=88500 #constraints=5186 135.25/135.37 c nbDecision=89000 #constraints=5186 136.04/136.10 c nbDecision=89500 #constraints=5186 136.74/136.81 c nbDecision=90000 #constraints=5186 137.45/137.55 c nbDecision=90500 #constraints=5187 138.14/138.28 c nbDecision=91000 #constraints=5187 138.94/139.01 c nbDecision=91500 #constraints=5187 139.64/139.73 c nbDecision=92000 #constraints=5187 140.34/140.46 c nbDecision=92500 #constraints=5187 141.04/141.19 c nbDecision=93000 #constraints=5187 141.85/141.92 c nbDecision=93500 #constraints=5187 142.54/142.64 c nbDecision=94000 #constraints=5187 143.24/143.37 c nbDecision=94500 #constraints=5187 143.94/144.10 c nbDecision=95000 #constraints=5187 144.74/144.82 c nbDecision=95500 #constraints=5187 145.44/145.54 c nbDecision=96000 #constraints=5187 146.14/146.25 c nbDecision=96500 #constraints=5187 146.84/146.98 c nbDecision=97000 #constraints=5187 147.64/147.70 c nbDecision=97500 #constraints=5187 148.34/148.45 c nbDecision=98000 #constraints=5188 149.04/149.19 c nbDecision=98500 #constraints=5188 149.84/149.93 c nbDecision=99000 #constraints=5188 150.54/150.67 c nbDecision=99500 #constraints=5188 151.33/151.40 c nbDecision=100000 #constraints=5188 152.03/152.13 c nbDecision=100500 #constraints=5188 152.74/152.86 c nbDecision=101000 #constraints=5188 153.43/153.59 c nbDecision=101500 #constraints=5188 154.23/154.32 c nbDecision=102000 #constraints=5188 154.83/154.91 c restart after 102401 decisions 154.94/155.09 c nbDecision=102500 #constraints=5188 155.73/155.86 c nbDecision=103000 #constraints=5188 156.53/156.63 c nbDecision=103500 #constraints=5188 157.24/157.40 c nbDecision=104000 #constraints=5188 158.03/158.17 c nbDecision=104500 #constraints=5188 158.83/158.94 c nbDecision=105000 #constraints=5188 159.63/159.71 c nbDecision=105500 #constraints=5188 160.33/160.48 c nbDecision=106000 #constraints=5188 161.13/161.25 c nbDecision=106500 #constraints=5188 161.93/162.02 c nbDecision=107000 #constraints=5188 162.63/162.78 c nbDecision=107500 #constraints=5188 163.43/163.54 c nbDecision=108000 #constraints=5188 164.23/164.31 c nbDecision=108500 #constraints=5188 164.93/165.08 c nbDecision=109000 #constraints=5188 165.73/165.84 c nbDecision=109500 #constraints=5188 166.53/166.61 c nbDecision=110000 #constraints=5188 167.23/167.37 c nbDecision=110500 #constraints=5188 168.03/168.14 c nbDecision=111000 #constraints=5188 168.73/168.89 c nbDecision=111500 #constraints=5188 169.53/169.65 c nbDecision=112000 #constraints=5188 170.23/170.40 c nbDecision=112500 #constraints=5188 171.02/171.14 c nbDecision=113000 #constraints=5188 171.73/171.89 c nbDecision=113500 #constraints=5188 172.54/172.63 c nbDecision=114000 #constraints=5188 173.23/173.37 c nbDecision=114500 #constraints=5188 174.03/174.11 c nbDecision=115000 #constraints=5188 174.74/174.84 c nbDecision=115500 #constraints=5188 175.43/175.57 c nbDecision=116000 #constraints=5188 176.23/176.30 c nbDecision=116500 #constraints=5188 176.94/177.04 c nbDecision=117000 #constraints=5188 177.63/177.78 c nbDecision=117500 #constraints=5188 178.43/178.52 c nbDecision=118000 #constraints=5188 179.13/179.25 c nbDecision=118500 #constraints=5188 179.83/179.98 c nbDecision=119000 #constraints=5188 180.63/180.71 c nbDecision=119500 #constraints=5188 181.33/181.45 c nbDecision=120000 #constraints=5188 182.03/182.19 c nbDecision=120500 #constraints=5188 182.83/182.93 c nbDecision=121000 #constraints=5188 183.53/183.67 c nbDecision=121500 #constraints=5188 184.33/184.40 c nbDecision=122000 #constraints=5188 185.03/185.14 c nbDecision=122500 #constraints=5188 185.73/185.87 c nbDecision=123000 #constraints=5188 186.53/186.61 c nbDecision=123500 #constraints=5188 187.23/187.34 c nbDecision=124000 #constraints=5188 187.93/188.08 c nbDecision=124500 #constraints=5188 188.73/188.80 c nbDecision=125000 #constraints=5188 189.43/189.53 c nbDecision=125500 #constraints=5188 190.13/190.25 c nbDecision=126000 #constraints=5188 190.83/190.97 c nbDecision=126500 #constraints=5188 191.53/191.68 c nbDecision=127000 #constraints=5188 192.23/192.39 c nbDecision=127500 #constraints=5188 193.03/193.11 c nbDecision=128000 #constraints=5188 193.73/193.83 c nbDecision=128500 #constraints=5188 194.43/194.54 c nbDecision=129000 #constraints=5188 195.13/195.26 c nbDecision=129500 #constraints=5188 195.93/196.00 c nbDecision=130000 #constraints=5189 196.62/196.73 c nbDecision=130500 #constraints=5189 197.32/197.46 c nbDecision=131000 #constraints=5189 198.12/198.20 c nbDecision=131500 #constraints=5189 198.82/198.93 c nbDecision=132000 #constraints=5189 199.52/199.65 c nbDecision=132500 #constraints=5189 200.22/200.39 c nbDecision=133000 #constraints=5189 201.02/201.12 c nbDecision=133500 #constraints=5189 201.72/201.85 c nbDecision=134000 #constraints=5189 202.42/202.59 c nbDecision=134500 #constraints=5189 203.22/203.32 c nbDecision=135000 #constraints=5189 203.92/204.06 c nbDecision=135500 #constraints=5189 204.62/204.79 c nbDecision=136000 #constraints=5189 205.42/205.52 c nbDecision=136500 #constraints=5189 206.12/206.25 c nbDecision=137000 #constraints=5189 206.82/206.96 c nbDecision=137500 #constraints=5189 207.52/207.69 c nbDecision=138000 #constraints=5189 208.32/208.41 c nbDecision=138500 #constraints=5189 209.02/209.12 c nbDecision=139000 #constraints=5189 209.72/209.85 c nbDecision=139500 #constraints=5189 210.42/210.56 c nbDecision=140000 #constraints=5189 211.12/211.26 c nbDecision=140500 #constraints=5189 211.92/212.01 c nbDecision=141000 #constraints=5190 212.62/212.74 c nbDecision=141500 #constraints=5190 213.32/213.47 c nbDecision=142000 #constraints=5190 214.12/214.20 c nbDecision=142500 #constraints=5190 214.82/214.93 c nbDecision=143000 #constraints=5190 215.52/215.66 c nbDecision=143500 #constraints=5190 216.22/216.38 c nbDecision=144000 #constraints=5190 217.02/217.11 c nbDecision=144500 #constraints=5190 217.72/217.83 c nbDecision=145000 #constraints=5190 218.42/218.56 c nbDecision=145500 #constraints=5190 219.11/219.27 c nbDecision=146000 #constraints=5190 219.82/219.99 c nbDecision=146500 #constraints=5190 220.61/220.70 c nbDecision=147000 #constraints=5190 221.31/221.43 c nbDecision=147500 #constraints=5190 222.02/222.14 c nbDecision=148000 #constraints=5190 222.71/222.87 c nbDecision=148500 #constraints=5190 223.41/223.60 c nbDecision=149000 #constraints=5190 224.22/224.31 c nbDecision=149500 #constraints=5190 224.91/225.05 c nbDecision=150000 #constraints=5191 225.61/225.77 c nbDecision=150500 #constraints=5191 226.31/226.49 c nbDecision=151000 #constraints=5191 227.11/227.24 c nbDecision=151500 #constraints=5192 227.81/227.98 c nbDecision=152000 #constraints=5192 228.61/228.72 c nbDecision=152500 #constraints=5192 229.31/229.46 c nbDecision=153000 #constraints=5192 230.11/230.20 c nbDecision=153500 #constraints=5192 230.81/230.94 c nbDecision=154000 #constraints=5192 231.51/231.66 c nbDecision=154500 #constraints=5192 232.21/232.39 c nbDecision=155000 #constraints=5192 233.01/233.12 c nbDecision=155500 #constraints=5192 233.71/233.84 c nbDecision=156000 #constraints=5192 234.41/234.56 c nbDecision=156500 #constraints=5192 235.11/235.27 c nbDecision=157000 #constraints=5192 235.81/235.99 c nbDecision=157500 #constraints=5192 236.61/236.71 c nbDecision=158000 #constraints=5192 237.31/237.43 c nbDecision=158500 #constraints=5192 238.00/238.15 c nbDecision=159000 #constraints=5192 238.71/238.86 c nbDecision=159500 #constraints=5192 239.40/239.58 c nbDecision=160000 #constraints=5192 240.10/240.29 c nbDecision=160500 #constraints=5192 240.90/241.00 c nbDecision=161000 #constraints=5192 241.60/241.72 c nbDecision=161500 #constraints=5192 242.30/242.46 c nbDecision=162000 #constraints=5193 243.01/243.19 c nbDecision=162500 #constraints=5193 243.80/243.92 c nbDecision=163000 #constraints=5193 244.50/244.66 c nbDecision=163500 #constraints=5193 245.21/245.39 c nbDecision=164000 #constraints=5193 246.00/246.11 c nbDecision=164500 #constraints=5193 246.70/246.83 c nbDecision=165000 #constraints=5193 247.41/247.56 c nbDecision=165500 #constraints=5193 248.10/248.28 c nbDecision=166000 #constraints=5193 248.90/249.00 c nbDecision=166500 #constraints=5193 249.61/249.73 c nbDecision=167000 #constraints=5193 250.30/250.44 c nbDecision=167500 #constraints=5193 251.00/251.15 c nbDecision=168000 #constraints=5193 251.70/251.86 c nbDecision=168500 #constraints=5193 252.50/252.61 c nbDecision=169000 #constraints=5194 253.20/253.34 c nbDecision=169500 #constraints=5194 253.90/254.07 c nbDecision=170000 #constraints=5194 254.70/254.80 c nbDecision=170500 #constraints=5194 255.40/255.53 c nbDecision=171000 #constraints=5194 256.10/256.26 c nbDecision=171500 #constraints=5194 256.80/256.99 c nbDecision=172000 #constraints=5194 257.60/257.72 c nbDecision=172500 #constraints=5194 258.30/258.44 c nbDecision=173000 #constraints=5194 259.00/259.17 c nbDecision=173500 #constraints=5194 259.70/259.89 c nbDecision=174000 #constraints=5194 260.50/260.62 c nbDecision=174500 #constraints=5194 261.20/261.35 c nbDecision=175000 #constraints=5194 261.90/262.08 c nbDecision=175500 #constraints=5194 262.60/262.80 c nbDecision=176000 #constraints=5194 263.40/263.51 c nbDecision=176500 #constraints=5194 264.10/264.23 c nbDecision=177000 #constraints=5194 264.80/264.95 c nbDecision=177500 #constraints=5194 265.50/265.66 c nbDecision=178000 #constraints=5194 266.30/266.40 c nbDecision=178500 #constraints=5195 267.00/267.14 c nbDecision=179000 #constraints=5195 267.69/267.88 c nbDecision=179500 #constraints=5195 268.49/268.62 c nbDecision=180000 #constraints=5195 269.19/269.36 c nbDecision=180500 #constraints=5195 269.99/270.10 c nbDecision=181000 #constraints=5195 270.69/270.84 c nbDecision=181500 #constraints=5195 271.39/271.57 c nbDecision=182000 #constraints=5195 272.09/272.30 c nbDecision=182500 #constraints=5195 272.89/273.03 c nbDecision=183000 #constraints=5195 273.59/273.75 c nbDecision=183500 #constraints=5195 274.29/274.47 c nbDecision=184000 #constraints=5195 274.99/275.19 c nbDecision=184500 #constraints=5195 275.79/275.91 c nbDecision=185000 #constraints=5195 276.49/276.63 c nbDecision=185500 #constraints=5195 277.19/277.36 c nbDecision=186000 #constraints=5195 277.89/278.08 c nbDecision=186500 #constraints=5195 278.69/278.80 c nbDecision=187000 #constraints=5195 279.39/279.52 c nbDecision=187500 #constraints=5195 280.09/280.23 c nbDecision=188000 #constraints=5195 280.79/280.95 c nbDecision=188500 #constraints=5195 281.49/281.67 c nbDecision=189000 #constraints=5195 282.29/282.42 c nbDecision=189500 #constraints=5196 282.98/283.15 c nbDecision=190000 #constraints=5196 283.69/283.90 c nbDecision=190500 #constraints=5196 284.48/284.63 c nbDecision=191000 #constraints=5196 285.18/285.37 c nbDecision=191500 #constraints=5196 285.98/286.11 c nbDecision=192000 #constraints=5196 286.68/286.85 c nbDecision=192500 #constraints=5196 287.38/287.58 c nbDecision=193000 #constraints=5196 288.18/288.32 c nbDecision=193500 #constraints=5196 288.88/289.06 c nbDecision=194000 #constraints=5196 289.58/289.79 c nbDecision=194500 #constraints=5196 290.38/290.52 c nbDecision=195000 #constraints=5196 291.08/291.25 c nbDecision=195500 #constraints=5196 291.78/291.97 c nbDecision=196000 #constraints=5196 292.58/292.70 c nbDecision=196500 #constraints=5196 293.28/293.42 c nbDecision=197000 #constraints=5196 293.98/294.14 c nbDecision=197500 #constraints=5196 294.68/294.86 c nbDecision=198000 #constraints=5196 295.38/295.58 c nbDecision=198500 #constraints=5196 296.18/296.30 c nbDecision=199000 #constraints=5196 296.88/297.02 c nbDecision=199500 #constraints=5196 297.58/297.77 c nbDecision=200000 #constraints=5197 298.38/298.51 c nbDecision=200500 #constraints=5197 299.08/299.24 c nbDecision=201000 #constraints=5197 299.78/299.98 c nbDecision=201500 #constraints=5197 300.58/300.71 c nbDecision=202000 #constraints=5197 301.28/301.45 c nbDecision=202500 #constraints=5197 301.98/302.19 c nbDecision=203000 #constraints=5197 302.78/302.92 c nbDecision=203500 #constraints=5197 303.48/303.66 c nbDecision=204000 #constraints=5197 304.17/304.39 c nbDecision=204500 #constraints=5197 304.67/304.83 c restart after 204801 decisions 304.97/305.17 c nbDecision=205000 #constraints=5197 305.77/305.95 c nbDecision=205500 #constraints=5197 306.57/306.73 c nbDecision=206000 #constraints=5197 307.37/307.51 c nbDecision=206500 #constraints=5197 308.07/308.29 c nbDecision=207000 #constraints=5197 308.88/309.07 c nbDecision=207500 #constraints=5197 309.67/309.85 c nbDecision=208000 #constraints=5197 310.47/310.63 c nbDecision=208500 #constraints=5197 311.18/311.39 c nbDecision=209000 #constraints=5197 311.97/312.16 c nbDecision=209500 #constraints=5197 312.77/312.93 c nbDecision=210000 #constraints=5197 313.47/313.69 c nbDecision=210500 #constraints=5197 314.27/314.45 c nbDecision=211000 #constraints=5197 315.08/315.21 c nbDecision=211500 #constraints=5197 315.78/315.97 c nbDecision=212000 #constraints=5197 316.58/316.72 c nbDecision=212500 #constraints=5197 317.28/317.48 c nbDecision=213000 #constraints=5197 318.08/318.24 c nbDecision=213500 #constraints=5197 318.78/318.99 c nbDecision=214000 #constraints=5197 319.58/319.73 c nbDecision=214500 #constraints=5197 320.28/320.49 c nbDecision=215000 #constraints=5197 321.08/321.25 c nbDecision=215500 #constraints=5197 321.88/322.00 c nbDecision=216000 #constraints=5197 322.57/322.75 c nbDecision=216500 #constraints=5197 323.37/323.51 c nbDecision=217000 #constraints=5197 324.07/324.26 c nbDecision=217500 #constraints=5197 324.87/325.02 c nbDecision=218000 #constraints=5197 325.57/325.77 c nbDecision=218500 #constraints=5197 326.37/326.52 c nbDecision=219000 #constraints=5197 327.07/327.25 c nbDecision=219500 #constraints=5197 327.77/327.99 c nbDecision=220000 #constraints=5197 328.57/328.73 c nbDecision=220500 #constraints=5197 329.27/329.48 c nbDecision=221000 #constraints=5197 330.07/330.22 c nbDecision=221500 #constraints=5197 330.77/330.96 c nbDecision=222000 #constraints=5197 331.47/331.69 c nbDecision=222500 #constraints=5197 332.27/332.43 c nbDecision=223000 #constraints=5197 332.97/333.16 c nbDecision=223500 #constraints=5197 333.67/333.90 c nbDecision=224000 #constraints=5197 334.47/334.63 c nbDecision=224500 #constraints=5197 335.17/335.36 c nbDecision=225000 #constraints=5197 335.87/336.09 c nbDecision=225500 #constraints=5197 336.67/336.82 c nbDecision=226000 #constraints=5197 337.37/337.55 c nbDecision=226500 #constraints=5197 338.07/338.27 c nbDecision=227000 #constraints=5197 338.87/339.00 c nbDecision=227500 #constraints=5197 339.57/339.72 c nbDecision=228000 #constraints=5197 340.27/340.43 c nbDecision=228500 #constraints=5197 340.97/341.15 c nbDecision=229000 #constraints=5197 341.67/341.87 c nbDecision=229500 #constraints=5197 342.37/342.59 c nbDecision=230000 #constraints=5197 343.17/343.30 c nbDecision=230500 #constraints=5197 343.87/344.02 c nbDecision=231000 #constraints=5197 344.56/344.73 c nbDecision=231500 #constraints=5197 345.27/345.45 c nbDecision=232000 #constraints=5197 346.06/346.20 c nbDecision=232500 #constraints=5198 346.76/346.94 c nbDecision=233000 #constraints=5198 347.47/347.68 c nbDecision=233500 #constraints=5198 348.26/348.42 c nbDecision=234000 #constraints=5198 348.96/349.16 c nbDecision=234500 #constraints=5198 349.76/349.90 c nbDecision=235000 #constraints=5198 350.46/350.63 c nbDecision=235500 #constraints=5198 351.16/351.37 c nbDecision=236000 #constraints=5198 351.86/352.10 c nbDecision=236500 #constraints=5198 352.66/352.82 c nbDecision=237000 #constraints=5198 353.36/353.55 c nbDecision=237500 #constraints=5198 354.06/354.28 c nbDecision=238000 #constraints=5198 354.86/355.00 c nbDecision=238500 #constraints=5198 355.56/355.73 c nbDecision=239000 #constraints=5198 356.26/356.44 c nbDecision=239500 #constraints=5198 356.96/357.16 c nbDecision=240000 #constraints=5198 357.66/357.88 c nbDecision=240500 #constraints=5198 358.36/358.59 c nbDecision=241000 #constraints=5198 359.16/359.30 c nbDecision=241500 #constraints=5198 359.86/360.01 c nbDecision=242000 #constraints=5198 360.56/360.73 c nbDecision=242500 #constraints=5198 361.26/361.46 c nbDecision=243000 #constraints=5199 361.95/362.20 c nbDecision=243500 #constraints=5199 362.76/362.93 c nbDecision=244000 #constraints=5199 363.45/363.66 c nbDecision=244500 #constraints=5199 364.15/364.39 c nbDecision=245000 #constraints=5199 364.96/365.11 c nbDecision=245500 #constraints=5199 365.65/365.83 c nbDecision=246000 #constraints=5199 366.35/366.55 c nbDecision=246500 #constraints=5199 367.05/367.28 c nbDecision=247000 #constraints=5199 367.85/368.00 c nbDecision=247500 #constraints=5199 368.55/368.72 c nbDecision=248000 #constraints=5199 369.25/369.43 c nbDecision=248500 #constraints=5199 369.95/370.15 c nbDecision=249000 #constraints=5199 370.65/370.87 c nbDecision=249500 #constraints=5200 371.45/371.61 c nbDecision=250000 #constraints=5201 372.15/372.35 c nbDecision=250500 #constraints=5201 372.85/373.08 c nbDecision=251000 #constraints=5201 373.65/373.81 c nbDecision=251500 #constraints=5201 374.35/374.55 c nbDecision=252000 #constraints=5201 375.05/375.28 c nbDecision=252500 #constraints=5201 375.85/376.02 c nbDecision=253000 #constraints=5201 376.55/376.74 c nbDecision=253500 #constraints=5201 377.25/377.47 c nbDecision=254000 #constraints=5201 378.05/378.20 c nbDecision=254500 #constraints=5201 378.75/378.93 c nbDecision=255000 #constraints=5201 379.45/379.65 c nbDecision=255500 #constraints=5201 380.15/380.37 c nbDecision=256000 #constraints=5201 380.85/381.09 c nbDecision=256500 #constraints=5201 381.65/381.81 c nbDecision=257000 #constraints=5201 382.35/382.53 c nbDecision=257500 #constraints=5201 383.05/383.26 c nbDecision=258000 #constraints=5201 383.75/383.97 c nbDecision=258500 #constraints=5201 384.45/384.69 c nbDecision=259000 #constraints=5201 385.25/385.41 c nbDecision=259500 #constraints=5201 385.95/386.13 c nbDecision=260000 #constraints=5201 386.64/386.84 c nbDecision=260500 #constraints=5201 387.34/387.56 c nbDecision=261000 #constraints=5201 388.05/388.30 c nbDecision=261500 #constraints=5202 388.84/389.02 c nbDecision=262000 #constraints=5202 389.54/389.74 c nbDecision=262500 #constraints=5202 390.25/390.46 c nbDecision=263000 #constraints=5202 390.94/391.18 c nbDecision=263500 #constraints=5202 391.74/391.91 c nbDecision=264000 #constraints=5203 392.44/392.63 c nbDecision=264500 #constraints=5203 393.14/393.35 c nbDecision=265000 #constraints=5203 393.84/394.08 c nbDecision=265500 #constraints=5204 394.54/394.80 c nbDecision=266000 #constraints=5204 395.34/395.52 c nbDecision=266500 #constraints=5204 396.04/396.24 c nbDecision=267000 #constraints=5204 396.74/396.95 c nbDecision=267500 #constraints=5204 397.44/397.69 c nbDecision=268000 #constraints=5205 398.24/398.42 c nbDecision=268500 #constraints=5205 398.93/399.15 c nbDecision=269000 #constraints=5205 399.63/399.88 c nbDecision=269500 #constraints=5205 400.43/400.61 c nbDecision=270000 #constraints=5205 401.13/401.34 c nbDecision=270500 #constraints=5205 401.83/402.07 c nbDecision=271000 #constraints=5205 402.63/402.80 c nbDecision=271500 #constraints=5205 403.33/403.54 c nbDecision=272000 #constraints=5205 404.03/404.27 c nbDecision=272500 #constraints=5205 404.83/405.00 c nbDecision=273000 #constraints=5205 405.53/405.73 c nbDecision=273500 #constraints=5205 406.23/406.46 c nbDecision=274000 #constraints=5205 406.93/407.18 c nbDecision=274500 #constraints=5205 407.73/407.90 c nbDecision=275000 #constraints=5205 408.43/408.62 c nbDecision=275500 #constraints=5205 409.13/409.34 c nbDecision=276000 #constraints=5205 409.83/410.05 c nbDecision=276500 #constraints=5205 410.53/410.80 c nbDecision=277000 #constraints=5206 411.33/411.52 c nbDecision=277500 #constraints=5206 412.03/412.26 c nbDecision=278000 #constraints=5206 412.73/412.99 c nbDecision=278500 #constraints=5206 413.53/413.72 c nbDecision=279000 #constraints=5206 414.23/414.44 c nbDecision=279500 #constraints=5206 414.93/415.17 c nbDecision=280000 #constraints=5206 415.73/415.90 c nbDecision=280500 #constraints=5206 416.43/416.62 c nbDecision=281000 #constraints=5206 417.13/417.34 c nbDecision=281500 #constraints=5206 417.83/418.06 c nbDecision=282000 #constraints=5206 418.53/418.79 c nbDecision=282500 #constraints=5206 419.33/419.51 c nbDecision=283000 #constraints=5206 420.03/420.23 c nbDecision=283500 #constraints=5206 420.73/420.95 c nbDecision=284000 #constraints=5206 421.43/421.66 c nbDecision=284500 #constraints=5206 422.13/422.38 c nbDecision=285000 #constraints=5206 422.93/423.11 c nbDecision=285500 #constraints=5207 423.63/423.83 c nbDecision=286000 #constraints=5207 424.33/424.55 c nbDecision=286500 #constraints=5207 425.03/425.26 c nbDecision=287000 #constraints=5207 425.83/426.01 c nbDecision=287500 #constraints=5208 426.53/426.74 c nbDecision=288000 #constraints=5208 427.23/427.48 c nbDecision=288500 #constraints=5208 428.02/428.22 c nbDecision=289000 #constraints=5208 428.74/428.95 c nbDecision=289500 #constraints=5208 429.43/429.68 c nbDecision=290000 #constraints=5208 430.23/430.41 c nbDecision=290500 #constraints=5208 430.94/431.14 c nbDecision=291000 #constraints=5208 431.63/431.86 c nbDecision=291500 #constraints=5208 432.33/432.59 c nbDecision=292000 #constraints=5208 433.14/433.31 c nbDecision=292500 #constraints=5208 433.83/434.03 c nbDecision=293000 #constraints=5208 434.53/434.75 c nbDecision=293500 #constraints=5208 435.23/435.47 c nbDecision=294000 #constraints=5208 435.93/436.17 c nbDecision=294500 #constraints=5208 436.63/436.88 c nbDecision=295000 #constraints=5208 437.43/437.64 c nbDecision=295500 #constraints=5209 438.13/438.37 c nbDecision=296000 #constraints=5209 438.93/439.11 c nbDecision=296500 #constraints=5209 439.63/439.84 c nbDecision=297000 #constraints=5209 440.33/440.57 c nbDecision=297500 #constraints=5209 441.13/441.31 c nbDecision=298000 #constraints=5209 441.83/442.05 c nbDecision=298500 #constraints=5209 442.53/442.78 c nbDecision=299000 #constraints=5209 443.33/443.52 c nbDecision=299500 #constraints=5209 444.03/444.26 c nbDecision=300000 #constraints=5209 444.73/444.99 c nbDecision=300500 #constraints=5209 445.52/445.72 c nbDecision=301000 #constraints=5209 446.22/446.46 c nbDecision=301500 #constraints=5209 446.92/447.19 c nbDecision=302000 #constraints=5209 447.72/447.92 c nbDecision=302500 #constraints=5209 448.42/448.65 c nbDecision=303000 #constraints=5209 449.12/449.38 c nbDecision=303500 #constraints=5209 449.92/450.11 c nbDecision=304000 #constraints=5209 450.62/450.83 c nbDecision=304500 #constraints=5209 451.32/451.55 c nbDecision=305000 #constraints=5209 452.02/452.26 c nbDecision=305500 #constraints=5209 452.72/452.98 c nbDecision=306000 #constraints=5209 453.52/453.71 c nbDecision=306500 #constraints=5210 454.22/454.44 c nbDecision=307000 #constraints=5210 454.92/455.17 c nbDecision=307500 #constraints=5210 455.62/455.89 c nbDecision=308000 #constraints=5210 456.42/456.61 c nbDecision=308500 #constraints=5210 457.12/457.34 c nbDecision=309000 #constraints=5210 457.81/458.07 c nbDecision=309500 #constraints=5210 458.52/458.79 c nbDecision=310000 #constraints=5210 459.31/459.51 c nbDecision=310500 #constraints=5210 460.01/460.24 c nbDecision=311000 #constraints=5210 460.72/460.97 c nbDecision=311500 #constraints=5210 461.41/461.69 c nbDecision=312000 #constraints=5210 462.21/462.42 c nbDecision=312500 #constraints=5210 462.92/463.14 c nbDecision=313000 #constraints=5210 463.61/463.87 c nbDecision=313500 #constraints=5210 464.41/464.61 c nbDecision=314000 #constraints=5211 465.11/465.35 c nbDecision=314500 #constraints=5211 465.81/466.09 c nbDecision=315000 #constraints=5211 466.61/466.83 c nbDecision=315500 #constraints=5211 467.31/467.56 c nbDecision=316000 #constraints=5211 468.01/468.30 c nbDecision=316500 #constraints=5211 468.81/469.03 c nbDecision=317000 #constraints=5211 469.51/469.76 c nbDecision=317500 #constraints=5211 470.21/470.49 c nbDecision=318000 #constraints=5211 471.01/471.21 c nbDecision=318500 #constraints=5211 471.71/471.94 c nbDecision=319000 #constraints=5211 472.41/472.66 c nbDecision=319500 #constraints=5211 473.11/473.37 c nbDecision=320000 #constraints=5211 473.81/474.09 c nbDecision=320500 #constraints=5211 474.61/474.80 c nbDecision=321000 #constraints=5211 475.30/475.52 c nbDecision=321500 #constraints=5211 476.01/476.27 c nbDecision=322000 #constraints=5212 476.80/477.00 c nbDecision=322500 #constraints=5212 477.51/477.73 c nbDecision=323000 #constraints=5212 478.21/478.46 c nbDecision=323500 #constraints=5212 478.90/479.18 c nbDecision=324000 #constraints=5212 479.70/479.90 c nbDecision=324500 #constraints=5212 480.41/480.63 c nbDecision=325000 #constraints=5212 481.10/481.37 c nbDecision=325500 #constraints=5212 481.90/482.10 c nbDecision=326000 #constraints=5212 482.61/482.83 c nbDecision=326500 #constraints=5212 483.30/483.56 c nbDecision=327000 #constraints=5212 484.00/484.29 c nbDecision=327500 #constraints=5212 484.81/485.02 c nbDecision=328000 #constraints=5212 485.50/485.74 c nbDecision=328500 #constraints=5212 486.20/486.46 c nbDecision=329000 #constraints=5212 486.90/487.18 c nbDecision=329500 #constraints=5212 487.70/487.93 c nbDecision=330000 #constraints=5213 488.40/488.67 c nbDecision=330500 #constraints=5213 489.20/489.41 c nbDecision=331000 #constraints=5213 489.90/490.14 c nbDecision=331500 #constraints=5213 490.60/490.87 c nbDecision=332000 #constraints=5213 491.30/491.60 c nbDecision=332500 #constraints=5213 492.10/492.33 c nbDecision=333000 #constraints=5213 492.80/493.05 c nbDecision=333500 #constraints=5213 493.50/493.78 c nbDecision=334000 #constraints=5213 494.30/494.50 c nbDecision=334500 #constraints=5213 495.00/495.22 c nbDecision=335000 #constraints=5213 495.70/495.94 c nbDecision=335500 #constraints=5213 496.40/496.67 c nbDecision=336000 #constraints=5213 497.10/497.38 c nbDecision=336500 #constraints=5213 497.80/498.09 c nbDecision=337000 #constraints=5213 498.59/498.83 c nbDecision=337500 #constraints=5214 499.29/499.55 c nbDecision=338000 #constraints=5214 499.99/500.26 c nbDecision=338500 #constraints=5214 500.79/501.01 c nbDecision=339000 #constraints=5215 501.49/501.75 c nbDecision=339500 #constraints=5215 502.29/502.50 c nbDecision=340000 #constraints=5215 502.99/503.24 c nbDecision=340500 #constraints=5215 503.69/503.98 c nbDecision=341000 #constraints=5215 504.49/504.72 c nbDecision=341500 #constraints=5215 505.19/505.46 c nbDecision=342000 #constraints=5215 505.99/506.20 c nbDecision=342500 #constraints=5215 506.69/506.94 c nbDecision=343000 #constraints=5215 507.39/507.67 c nbDecision=343500 #constraints=5215 508.19/508.41 c nbDecision=344000 #constraints=5215 508.89/509.14 c nbDecision=344500 #constraints=5215 509.59/509.87 c nbDecision=345000 #constraints=5215 510.39/510.61 c nbDecision=345500 #constraints=5215 511.09/511.33 c nbDecision=346000 #constraints=5215 511.79/512.05 c nbDecision=346500 #constraints=5215 512.49/512.78 c nbDecision=347000 #constraints=5215 513.29/513.50 c nbDecision=347500 #constraints=5215 513.99/514.22 c nbDecision=348000 #constraints=5215 514.69/514.95 c nbDecision=348500 #constraints=5215 515.39/515.66 c nbDecision=349000 #constraints=5215 516.09/516.38 c nbDecision=349500 #constraints=5215 516.89/517.14 c nbDecision=350000 #constraints=5216 517.69/517.90 c nbDecision=350500 #constraints=5216 518.39/518.66 c nbDecision=351000 #constraints=5216 519.18/519.43 c nbDecision=351500 #constraints=5216 519.88/520.17 c nbDecision=352000 #constraints=5216 520.68/520.93 c nbDecision=352500 #constraints=5216 521.38/521.70 c nbDecision=353000 #constraints=5216 522.19/522.45 c nbDecision=353500 #constraints=5216 522.98/523.21 c nbDecision=354000 #constraints=5216 523.68/523.97 c nbDecision=354500 #constraints=5216 524.49/524.73 c nbDecision=355000 #constraints=5216 525.18/525.47 c nbDecision=355500 #constraints=5216 525.98/526.23 c nbDecision=356000 #constraints=5216 526.68/526.98 c nbDecision=356500 #constraints=5216 527.48/527.74 c nbDecision=357000 #constraints=5216 528.18/528.48 c nbDecision=357500 #constraints=5216 528.98/529.23 c nbDecision=358000 #constraints=5216 529.68/529.98 c nbDecision=358500 #constraints=5216 530.48/530.73 c nbDecision=359000 #constraints=5216 531.18/531.47 c nbDecision=359500 #constraints=5216 531.98/532.20 c nbDecision=360000 #constraints=5216 532.68/532.94 c nbDecision=360500 #constraints=5216 533.38/533.68 c nbDecision=361000 #constraints=5216 534.17/534.41 c nbDecision=361500 #constraints=5216 534.88/535.15 c nbDecision=362000 #constraints=5216 535.58/535.88 c nbDecision=362500 #constraints=5216 536.38/536.62 c nbDecision=363000 #constraints=5216 537.08/537.36 c nbDecision=363500 #constraints=5216 537.78/538.09 c nbDecision=364000 #constraints=5216 538.58/538.82 c nbDecision=364500 #constraints=5216 539.28/539.55 c nbDecision=365000 #constraints=5216 539.98/540.28 c nbDecision=365500 #constraints=5216 540.78/541.01 c nbDecision=366000 #constraints=5216 541.48/541.75 c nbDecision=366500 #constraints=5216 542.18/542.48 c nbDecision=367000 #constraints=5216 542.98/543.21 c nbDecision=367500 #constraints=5216 543.68/543.94 c nbDecision=368000 #constraints=5216 544.38/544.67 c nbDecision=368500 #constraints=5216 545.18/545.40 c nbDecision=369000 #constraints=5216 545.88/546.13 c nbDecision=369500 #constraints=5216 546.58/546.86 c nbDecision=370000 #constraints=5216 547.28/547.58 c nbDecision=370500 #constraints=5216 548.08/548.30 c nbDecision=371000 #constraints=5216 548.78/549.06 c nbDecision=371500 #constraints=5217 549.58/549.83 c nbDecision=372000 #constraints=5217 550.28/550.58 c nbDecision=372500 #constraints=5217 551.08/551.34 c nbDecision=373000 #constraints=5217 551.88/552.10 c nbDecision=373500 #constraints=5217 552.58/552.86 c nbDecision=374000 #constraints=5217 553.38/553.62 c nbDecision=374500 #constraints=5217 554.08/554.38 c nbDecision=375000 #constraints=5217 554.88/555.12 c nbDecision=375500 #constraints=5217 555.58/555.87 c nbDecision=376000 #constraints=5217 556.38/556.63 c nbDecision=376500 #constraints=5217 557.08/557.38 c nbDecision=377000 #constraints=5217 557.88/558.13 c nbDecision=377500 #constraints=5217 558.58/558.87 c nbDecision=378000 #constraints=5217 559.37/559.61 c nbDecision=378500 #constraints=5217 560.07/560.36 c nbDecision=379000 #constraints=5217 560.87/561.11 c nbDecision=379500 #constraints=5217 561.57/561.86 c nbDecision=380000 #constraints=5217 562.37/562.61 c nbDecision=380500 #constraints=5217 563.07/563.36 c nbDecision=381000 #constraints=5217 563.87/564.10 c nbDecision=381500 #constraints=5217 564.57/564.85 c nbDecision=382000 #constraints=5217 565.27/565.59 c nbDecision=382500 #constraints=5217 566.07/566.34 c nbDecision=383000 #constraints=5217 566.77/567.08 c nbDecision=383500 #constraints=5217 567.57/567.83 c nbDecision=384000 #constraints=5217 568.27/568.57 c nbDecision=384500 #constraints=5217 569.07/569.30 c nbDecision=385000 #constraints=5217 569.77/570.05 c nbDecision=385500 #constraints=5217 570.47/570.78 c nbDecision=386000 #constraints=5217 571.27/571.51 c nbDecision=386500 #constraints=5217 571.97/572.24 c nbDecision=387000 #constraints=5217 572.67/572.97 c nbDecision=387500 #constraints=5217 573.46/573.70 c nbDecision=388000 #constraints=5217 574.17/574.42 c nbDecision=388500 #constraints=5217 574.86/575.15 c nbDecision=389000 #constraints=5217 575.56/575.87 c nbDecision=389500 #constraints=5217 576.36/576.60 c nbDecision=390000 #constraints=5217 577.06/577.32 c nbDecision=390500 #constraints=5217 577.76/578.05 c nbDecision=391000 #constraints=5217 578.46/578.77 c nbDecision=391500 #constraints=5217 579.16/579.49 c nbDecision=392000 #constraints=5217 579.96/580.21 c nbDecision=392500 #constraints=5217 580.66/580.93 c nbDecision=393000 #constraints=5217 581.36/581.66 c nbDecision=393500 #constraints=5217 582.16/582.44 c nbDecision=394000 #constraints=5218 582.96/583.20 c nbDecision=394500 #constraints=5218 583.66/583.97 c nbDecision=395000 #constraints=5218 584.46/584.74 c nbDecision=395500 #constraints=5218 585.26/585.51 c nbDecision=396000 #constraints=5218 585.96/586.27 c nbDecision=396500 #constraints=5218 586.76/587.03 c nbDecision=397000 #constraints=5218 587.46/587.79 c nbDecision=397500 #constraints=5218 588.26/588.56 c nbDecision=398000 #constraints=5218 589.06/589.32 c nbDecision=398500 #constraints=5218 589.76/590.07 c nbDecision=399000 #constraints=5218 590.56/590.83 c nbDecision=399500 #constraints=5218 591.26/591.58 c nbDecision=400000 #constraints=5218 592.06/592.33 c nbDecision=400500 #constraints=5218 592.76/593.07 c nbDecision=401000 #constraints=5218 593.55/593.82 c nbDecision=401500 #constraints=5218 594.25/594.56 c nbDecision=402000 #constraints=5218 595.05/595.30 c nbDecision=402500 #constraints=5218 595.75/596.04 c nbDecision=403000 #constraints=5218 596.45/596.78 c nbDecision=403500 #constraints=5218 597.25/597.51 c nbDecision=404000 #constraints=5218 597.95/598.25 c nbDecision=404500 #constraints=5218 598.65/598.99 c nbDecision=405000 #constraints=5218 599.45/599.73 c nbDecision=405500 #constraints=5218 600.15/600.46 c nbDecision=406000 #constraints=5218 600.85/601.19 c nbDecision=406500 #constraints=5218 601.65/601.93 c nbDecision=407000 #constraints=5218 602.35/602.67 c nbDecision=407500 #constraints=5218 603.15/603.41 c nbDecision=408000 #constraints=5218 603.85/604.15 c nbDecision=408500 #constraints=5218 604.55/604.89 c nbDecision=409000 #constraints=5218 605.35/605.62 c nbDecision=409500 #constraints=5218 605.45/605.77 c restart after 409601 decisions 606.15/606.42 c nbDecision=410000 #constraints=5218 606.95/607.21 c nbDecision=410500 #constraints=5218 607.65/607.99 c nbDecision=411000 #constraints=5218 608.45/608.77 c nbDecision=411500 #constraints=5218 609.25/609.55 c nbDecision=412000 #constraints=5218 610.05/610.33 c nbDecision=412500 #constraints=5218 610.85/611.10 c nbDecision=413000 #constraints=5218 611.55/611.87 c nbDecision=413500 #constraints=5218 612.35/612.64 c nbDecision=414000 #constraints=5218 613.15/613.40 c nbDecision=414500 #constraints=5218 613.85/614.17 c nbDecision=415000 #constraints=5218 614.65/614.93 c nbDecision=415500 #constraints=5218 615.35/615.69 c nbDecision=416000 #constraints=5218 616.15/616.45 c nbDecision=416500 #constraints=5218 616.94/617.21 c nbDecision=417000 #constraints=5218 617.64/617.97 c nbDecision=417500 #constraints=5218 618.44/618.72 c nbDecision=418000 #constraints=5218 619.14/619.48 c nbDecision=418500 #constraints=5218 619.94/620.23 c nbDecision=419000 #constraints=5218 620.64/620.99 c nbDecision=419500 #constraints=5218 621.44/621.74 c nbDecision=420000 #constraints=5218 622.25/622.50 c nbDecision=420500 #constraints=5218 622.94/623.25 c nbDecision=421000 #constraints=5218 623.74/624.01 c nbDecision=421500 #constraints=5218 624.45/624.76 c nbDecision=422000 #constraints=5218 625.24/625.51 c nbDecision=422500 #constraints=5218 625.94/626.26 c nbDecision=423000 #constraints=5218 626.75/627.01 c nbDecision=423500 #constraints=5218 627.44/627.75 c nbDecision=424000 #constraints=5218 628.14/628.49 c nbDecision=424500 #constraints=5218 628.94/629.24 c nbDecision=425000 #constraints=5218 629.64/629.99 c nbDecision=425500 #constraints=5218 630.44/630.73 c nbDecision=426000 #constraints=5218 631.14/631.47 c nbDecision=426500 #constraints=5218 631.94/632.20 c nbDecision=427000 #constraints=5218 632.64/632.94 c nbDecision=427500 #constraints=5218 633.34/633.67 c nbDecision=428000 #constraints=5218 634.14/634.41 c nbDecision=428500 #constraints=5218 634.84/635.13 c nbDecision=429000 #constraints=5218 635.54/635.86 c nbDecision=429500 #constraints=5218 636.24/636.59 c nbDecision=430000 #constraints=5218 637.04/637.32 c nbDecision=430500 #constraints=5218 637.74/638.05 c nbDecision=431000 #constraints=5218 638.43/638.78 c nbDecision=431500 #constraints=5218 639.23/639.51 c nbDecision=432000 #constraints=5218 639.94/640.23 c nbDecision=432500 #constraints=5218 640.63/640.96 c nbDecision=433000 #constraints=5218 641.33/641.69 c nbDecision=433500 #constraints=5218 642.14/642.42 c nbDecision=434000 #constraints=5218 642.83/643.15 c nbDecision=434500 #constraints=5218 643.53/643.88 c nbDecision=435000 #constraints=5218 644.34/644.60 c nbDecision=435500 #constraints=5218 645.03/645.33 c nbDecision=436000 #constraints=5218 645.73/646.06 c nbDecision=436500 #constraints=5218 646.43/646.78 c nbDecision=437000 #constraints=5218 647.23/647.58 c nbDecision=437500 #constraints=5219 648.03/648.34 c nbDecision=438000 #constraints=5219 648.83/649.11 c nbDecision=438500 #constraints=5219 649.53/649.87 c nbDecision=439000 #constraints=5219 650.33/650.64 c nbDecision=439500 #constraints=5219 651.03/651.40 c nbDecision=440000 #constraints=5219 651.82/652.15 c nbDecision=440500 #constraints=5219 652.62/652.91 c nbDecision=441000 #constraints=5219 653.32/653.66 c nbDecision=441500 #constraints=5219 654.13/654.42 c nbDecision=442000 #constraints=5219 654.82/655.15 c nbDecision=442500 #constraints=5219 655.62/655.90 c nbDecision=443000 #constraints=5219 656.33/656.65 c nbDecision=443500 #constraints=5219 657.02/657.39 c nbDecision=444000 #constraints=5219 657.82/658.13 c nbDecision=444500 #constraints=5219 658.52/658.87 c nbDecision=445000 #constraints=5219 659.32/659.62 c nbDecision=445500 #constraints=5219 660.02/660.36 c nbDecision=446000 #constraints=5219 660.82/661.10 c nbDecision=446500 #constraints=5219 661.52/661.85 c nbDecision=447000 #constraints=5219 662.22/662.59 c nbDecision=447500 #constraints=5219 663.02/663.34 c nbDecision=448000 #constraints=5219 663.72/664.08 c nbDecision=448500 #constraints=5219 664.52/664.82 c nbDecision=449000 #constraints=5219 665.22/665.54 c nbDecision=449500 #constraints=5219 665.92/666.29 c nbDecision=450000 #constraints=5219 666.72/667.03 c nbDecision=450500 #constraints=5219 667.42/667.77 c nbDecision=451000 #constraints=5219 668.22/668.50 c nbDecision=451500 #constraints=5219 668.92/669.24 c nbDecision=452000 #constraints=5219 669.62/669.98 c nbDecision=452500 #constraints=5219 670.42/670.71 c nbDecision=453000 #constraints=5219 671.12/671.44 c nbDecision=453500 #constraints=5219 671.82/672.16 c nbDecision=454000 #constraints=5219 672.52/672.89 c nbDecision=454500 #constraints=5219 673.32/673.60 c nbDecision=455000 #constraints=5219 674.02/674.33 c nbDecision=455500 #constraints=5219 674.72/675.05 c nbDecision=456000 #constraints=5219 675.42/675.77 c nbDecision=456500 #constraints=5219 676.12/676.49 c nbDecision=457000 #constraints=5219 676.92/677.21 c nbDecision=457500 #constraints=5219 677.61/677.93 c nbDecision=458000 #constraints=5219 678.32/678.64 c nbDecision=458500 #constraints=5219 679.01/679.36 c nbDecision=459000 #constraints=5219 679.81/680.12 c nbDecision=459500 #constraints=5220 680.52/680.88 c nbDecision=460000 #constraints=5220 681.31/681.64 c nbDecision=460500 #constraints=5220 682.11/682.41 c nbDecision=461000 #constraints=5220 682.82/683.17 c nbDecision=461500 #constraints=5220 683.61/683.94 c nbDecision=462000 #constraints=5220 684.41/684.70 c nbDecision=462500 #constraints=5220 685.11/685.45 c nbDecision=463000 #constraints=5220 685.91/686.21 c nbDecision=463500 #constraints=5220 686.62/686.97 c nbDecision=464000 #constraints=5220 687.42/687.72 c nbDecision=464500 #constraints=5220 688.12/688.46 c nbDecision=465000 #constraints=5220 688.92/689.21 c nbDecision=465500 #constraints=5220 689.62/689.97 c nbDecision=466000 #constraints=5220 690.42/690.72 c nbDecision=466500 #constraints=5220 691.12/691.45 c nbDecision=467000 #constraints=5220 691.92/692.20 c nbDecision=467500 #constraints=5220 692.62/692.94 c nbDecision=468000 #constraints=5220 693.32/693.68 c nbDecision=468500 #constraints=5220 694.12/694.42 c nbDecision=469000 #constraints=5220 694.82/695.16 c nbDecision=469500 #constraints=5220 695.62/695.90 c nbDecision=470000 #constraints=5220 696.32/696.63 c nbDecision=470500 #constraints=5220 697.02/697.37 c nbDecision=471000 #constraints=5220 697.81/698.10 c nbDecision=471500 #constraints=5220 698.51/698.84 c nbDecision=472000 #constraints=5220 699.22/699.57 c nbDecision=472500 #constraints=5220 700.01/700.30 c nbDecision=473000 #constraints=5220 700.71/701.04 c nbDecision=473500 #constraints=5220 701.42/701.78 c nbDecision=474000 #constraints=5220 702.21/702.52 c nbDecision=474500 #constraints=5220 702.91/703.25 c nbDecision=475000 #constraints=5220 703.62/703.99 c nbDecision=475500 #constraints=5220 704.41/704.72 c nbDecision=476000 #constraints=5220 705.11/705.44 c nbDecision=476500 #constraints=5220 705.81/706.17 c nbDecision=477000 #constraints=5220 706.61/706.91 c nbDecision=477500 #constraints=5220 707.31/707.62 c nbDecision=478000 #constraints=5220 708.01/708.35 c nbDecision=478500 #constraints=5220 708.71/709.08 c nbDecision=479000 #constraints=5220 709.51/709.81 c nbDecision=479500 #constraints=5220 710.21/710.53 c nbDecision=480000 #constraints=5220 710.91/711.26 c nbDecision=480500 #constraints=5220 711.61/711.98 c nbDecision=481000 #constraints=5220 712.31/712.70 c nbDecision=481500 #constraints=5220 713.11/713.48 c nbDecision=482000 #constraints=5221 713.91/714.24 c nbDecision=482500 #constraints=5221 714.61/715.00 c nbDecision=483000 #constraints=5221 715.41/715.76 c nbDecision=483500 #constraints=5221 716.21/716.51 c nbDecision=484000 #constraints=5221 716.91/717.27 c nbDecision=484500 #constraints=5221 717.71/718.02 c nbDecision=485000 #constraints=5221 718.41/718.77 c nbDecision=485500 #constraints=5221 719.20/719.52 c nbDecision=486000 #constraints=5221 719.90/720.26 c nbDecision=486500 #constraints=5221 720.70/721.02 c nbDecision=487000 #constraints=5221 721.41/721.77 c nbDecision=487500 #constraints=5221 722.20/722.52 c nbDecision=488000 #constraints=5221 722.90/723.27 c nbDecision=488500 #constraints=5221 723.70/724.02 c nbDecision=489000 #constraints=5221 724.40/724.77 c nbDecision=489500 #constraints=5221 725.20/725.52 c nbDecision=490000 #constraints=5221 725.90/726.27 c nbDecision=490500 #constraints=5221 726.71/727.01 c nbDecision=491000 #constraints=5221 727.40/727.76 c nbDecision=491500 #constraints=5221 728.20/728.50 c nbDecision=492000 #constraints=5221 728.91/729.24 c nbDecision=492500 #constraints=5221 729.60/729.98 c nbDecision=493000 #constraints=5221 730.40/730.72 c nbDecision=493500 #constraints=5221 731.10/731.45 c nbDecision=494000 #constraints=5221 731.80/732.18 c nbDecision=494500 #constraints=5221 732.60/732.92 c nbDecision=495000 #constraints=5221 733.30/733.64 c nbDecision=495500 #constraints=5221 734.00/734.37 c nbDecision=496000 #constraints=5221 734.80/735.10 c nbDecision=496500 #constraints=5221 735.50/735.82 c nbDecision=497000 #constraints=5221 736.20/736.54 c nbDecision=497500 #constraints=5221 736.90/737.26 c nbDecision=498000 #constraints=5221 737.60/737.98 c nbDecision=498500 #constraints=5221 738.40/738.70 c nbDecision=499000 #constraints=5221 739.10/739.43 c nbDecision=499500 #constraints=5221 739.80/740.15 c nbDecision=500000 #constraints=5221 740.50/740.88 c nbDecision=500500 #constraints=5221 741.30/741.60 c nbDecision=501000 #constraints=5221 742.00/742.33 c nbDecision=501500 #constraints=5221 742.70/743.05 c nbDecision=502000 #constraints=5221 743.40/743.77 c nbDecision=502500 #constraints=5221 744.20/744.50 c nbDecision=503000 #constraints=5221 744.90/745.29 c nbDecision=503500 #constraints=5222 745.70/746.06 c nbDecision=504000 #constraints=5222 746.50/746.83 c nbDecision=504500 #constraints=5222 747.20/747.58 c nbDecision=505000 #constraints=5222 748.00/748.34 c nbDecision=505500 #constraints=5222 748.80/749.11 c nbDecision=506000 #constraints=5222 749.50/749.86 c nbDecision=506500 #constraints=5222 750.29/750.62 c nbDecision=507000 #constraints=5222 751.00/751.37 c nbDecision=507500 #constraints=5222 751.80/752.12 c nbDecision=508000 #constraints=5222 752.49/752.87 c nbDecision=508500 #constraints=5222 753.29/753.61 c nbDecision=509000 #constraints=5222 753.99/754.36 c nbDecision=509500 #constraints=5222 754.79/755.11 c nbDecision=510000 #constraints=5222 755.49/755.86 c nbDecision=510500 #constraints=5222 756.19/756.60 c nbDecision=511000 #constraints=5222 756.99/757.33 c nbDecision=511500 #constraints=5222 757.69/758.07 c nbDecision=512000 #constraints=5222 758.49/758.81 c nbDecision=512500 #constraints=5222 759.19/759.55 c nbDecision=513000 #constraints=5222 759.89/760.29 c nbDecision=513500 #constraints=5222 760.69/761.03 c nbDecision=514000 #constraints=5222 761.39/761.77 c nbDecision=514500 #constraints=5222 762.19/762.52 c nbDecision=515000 #constraints=5222 762.89/763.26 c nbDecision=515500 #constraints=5222 763.59/763.99 c nbDecision=516000 #constraints=5222 764.39/764.73 c nbDecision=516500 #constraints=5222 765.09/765.47 c nbDecision=517000 #constraints=5222 765.89/766.21 c nbDecision=517500 #constraints=5222 766.59/766.95 c nbDecision=518000 #constraints=5222 767.29/767.68 c nbDecision=518500 #constraints=5222 768.09/768.41 c nbDecision=519000 #constraints=5222 768.79/769.14 c nbDecision=519500 #constraints=5222 769.49/769.88 c nbDecision=520000 #constraints=5222 770.29/770.61 c nbDecision=520500 #constraints=5222 770.98/771.33 c nbDecision=521000 #constraints=5222 771.68/772.06 c nbDecision=521500 #constraints=5222 772.38/772.78 c nbDecision=522000 #constraints=5222 773.08/773.49 c nbDecision=522500 #constraints=5222 773.88/774.21 c nbDecision=523000 #constraints=5222 774.58/774.94 c nbDecision=523500 #constraints=5222 775.28/775.64 c nbDecision=524000 #constraints=5222 775.98/776.36 c nbDecision=524500 #constraints=5222 776.68/777.07 c nbDecision=525000 #constraints=5222 777.48/777.84 c nbDecision=525500 #constraints=5223 778.18/778.59 c nbDecision=526000 #constraints=5223 778.98/779.33 c nbDecision=526500 #constraints=5223 779.68/780.08 c nbDecision=527000 #constraints=5223 780.48/780.83 c nbDecision=527500 #constraints=5223 781.18/781.58 c nbDecision=528000 #constraints=5223 781.98/782.33 c nbDecision=528500 #constraints=5223 782.68/783.08 c nbDecision=529000 #constraints=5223 783.48/783.83 c nbDecision=529500 #constraints=5223 784.18/784.57 c nbDecision=530000 #constraints=5223 784.98/785.32 c nbDecision=530500 #constraints=5223 785.68/786.06 c nbDecision=531000 #constraints=5223 786.48/786.81 c nbDecision=531500 #constraints=5223 787.18/787.54 c nbDecision=532000 #constraints=5223 787.88/788.28 c nbDecision=532500 #constraints=5223 788.68/789.02 c nbDecision=533000 #constraints=5223 789.38/789.76 c nbDecision=533500 #constraints=5223 790.18/790.50 c nbDecision=534000 #constraints=5223 790.88/791.23 c nbDecision=534500 #constraints=5223 791.58/791.96 c nbDecision=535000 #constraints=5223 792.28/792.69 c nbDecision=535500 #constraints=5223 793.08/793.42 c nbDecision=536000 #constraints=5223 793.78/794.15 c nbDecision=536500 #constraints=5223 794.48/794.87 c nbDecision=537000 #constraints=5223 795.27/795.60 c nbDecision=537500 #constraints=5223 795.98/796.33 c nbDecision=538000 #constraints=5223 796.67/797.05 c nbDecision=538500 #constraints=5223 797.37/797.78 c nbDecision=539000 #constraints=5223 798.18/798.50 c nbDecision=539500 #constraints=5223 798.87/799.22 c nbDecision=540000 #constraints=5223 799.57/799.94 c nbDecision=540500 #constraints=5223 800.27/800.65 c nbDecision=541000 #constraints=5223 800.97/801.38 c nbDecision=541500 #constraints=5223 801.77/802.11 c nbDecision=542000 #constraints=5223 802.47/802.83 c nbDecision=542500 #constraints=5223 803.27/803.60 c nbDecision=543000 #constraints=5224 803.97/804.37 c nbDecision=543500 #constraints=5224 804.77/805.13 c nbDecision=544000 #constraints=5224 805.47/805.89 c nbDecision=544500 #constraints=5224 806.27/806.66 c nbDecision=545000 #constraints=5224 807.07/807.42 c nbDecision=545500 #constraints=5224 807.77/808.18 c nbDecision=546000 #constraints=5224 808.57/808.94 c nbDecision=546500 #constraints=5224 809.27/809.69 c nbDecision=547000 #constraints=5224 810.07/810.45 c nbDecision=547500 #constraints=5224 810.87/811.20 c nbDecision=548000 #constraints=5224 811.57/811.95 c nbDecision=548500 #constraints=5224 812.37/812.70 c nbDecision=549000 #constraints=5224 813.08/813.44 c nbDecision=549500 #constraints=5224 813.78/814.19 c nbDecision=550000 #constraints=5224 814.58/814.93 c nbDecision=550500 #constraints=5224 815.28/815.67 c nbDecision=551000 #constraints=5224 816.08/816.41 c nbDecision=551500 #constraints=5224 816.78/817.15 c nbDecision=552000 #constraints=5224 817.48/817.88 c nbDecision=552500 #constraints=5224 818.27/818.61 c nbDecision=553000 #constraints=5224 818.97/819.35 c nbDecision=553500 #constraints=5224 819.67/820.09 c nbDecision=554000 #constraints=5224 820.47/820.82 c nbDecision=554500 #constraints=5224 821.17/821.56 c nbDecision=555000 #constraints=5224 821.97/822.30 c nbDecision=555500 #constraints=5224 822.67/823.04 c nbDecision=556000 #constraints=5224 823.37/823.78 c nbDecision=556500 #constraints=5224 824.17/824.51 c nbDecision=557000 #constraints=5224 824.87/825.25 c nbDecision=557500 #constraints=5224 825.57/825.99 c nbDecision=558000 #constraints=5224 826.37/826.72 c nbDecision=558500 #constraints=5224 827.07/827.46 c nbDecision=559000 #constraints=5224 827.77/828.19 c nbDecision=559500 #constraints=5224 828.57/828.92 c nbDecision=560000 #constraints=5224 829.27/829.65 c nbDecision=560500 #constraints=5224 829.97/830.38 c nbDecision=561000 #constraints=5224 830.77/831.10 c nbDecision=561500 #constraints=5224 831.47/831.83 c nbDecision=562000 #constraints=5224 832.17/832.55 c nbDecision=562500 #constraints=5224 832.87/833.27 c nbDecision=563000 #constraints=5224 833.57/833.98 c nbDecision=563500 #constraints=5224 834.37/834.70 c nbDecision=564000 #constraints=5224 835.07/835.46 c nbDecision=564500 #constraints=5225 835.87/836.22 c nbDecision=565000 #constraints=5225 836.56/836.99 c nbDecision=565500 #constraints=5225 837.36/837.74 c nbDecision=566000 #constraints=5225 838.07/838.50 c nbDecision=566500 #constraints=5225 838.87/839.26 c nbDecision=567000 #constraints=5225 839.66/840.01 c nbDecision=567500 #constraints=5225 840.36/840.76 c nbDecision=568000 #constraints=5225 841.17/841.52 c nbDecision=568500 #constraints=5225 841.86/842.28 c nbDecision=569000 #constraints=5225 842.66/843.04 c nbDecision=569500 #constraints=5225 843.37/843.80 c nbDecision=570000 #constraints=5225 844.16/844.55 c nbDecision=570500 #constraints=5225 844.96/845.31 c nbDecision=571000 #constraints=5225 845.66/846.06 c nbDecision=571500 #constraints=5225 846.46/846.81 c nbDecision=572000 #constraints=5225 847.16/847.56 c nbDecision=572500 #constraints=5225 847.96/848.30 c nbDecision=573000 #constraints=5225 848.66/849.05 c nbDecision=573500 #constraints=5225 849.36/849.79 c nbDecision=574000 #constraints=5225 850.16/850.54 c nbDecision=574500 #constraints=5225 850.86/851.28 c nbDecision=575000 #constraints=5225 851.66/852.02 c nbDecision=575500 #constraints=5225 852.36/852.75 c nbDecision=576000 #constraints=5225 853.06/853.48 c nbDecision=576500 #constraints=5225 853.86/854.22 c nbDecision=577000 #constraints=5225 854.56/854.95 c nbDecision=577500 #constraints=5225 855.26/855.67 c nbDecision=578000 #constraints=5225 856.06/856.40 c nbDecision=578500 #constraints=5225 856.76/857.13 c nbDecision=579000 #constraints=5225 857.46/857.85 c nbDecision=579500 #constraints=5225 858.16/858.57 c nbDecision=580000 #constraints=5225 858.96/859.30 c nbDecision=580500 #constraints=5225 859.66/860.03 c nbDecision=581000 #constraints=5225 860.35/860.75 c nbDecision=581500 #constraints=5225 861.05/861.48 c nbDecision=582000 #constraints=5225 861.85/862.22 c nbDecision=582500 #constraints=5225 862.55/862.95 c nbDecision=583000 #constraints=5225 863.25/863.67 c nbDecision=583500 #constraints=5225 864.05/864.40 c nbDecision=584000 #constraints=5225 864.75/865.13 c nbDecision=584500 #constraints=5225 865.45/865.86 c nbDecision=585000 #constraints=5225 866.15/866.58 c nbDecision=585500 #constraints=5225 866.95/867.30 c nbDecision=586000 #constraints=5225 867.65/868.06 c nbDecision=586500 #constraints=5226 868.45/868.83 c nbDecision=587000 #constraints=5226 869.15/869.59 c nbDecision=587500 #constraints=5226 869.95/870.35 c nbDecision=588000 #constraints=5226 870.76/871.12 c nbDecision=588500 #constraints=5226 871.45/871.87 c nbDecision=589000 #constraints=5226 872.25/872.62 c nbDecision=589500 #constraints=5226 872.95/873.37 c nbDecision=590000 #constraints=5226 873.75/874.12 c nbDecision=590500 #constraints=5226 874.45/874.87 c nbDecision=591000 #constraints=5226 875.25/875.62 c nbDecision=591500 #constraints=5226 875.95/876.37 c nbDecision=592000 #constraints=5226 876.75/877.11 c nbDecision=592500 #constraints=5226 877.45/877.85 c nbDecision=593000 #constraints=5226 878.15/878.59 c nbDecision=593500 #constraints=5226 878.95/879.33 c nbDecision=594000 #constraints=5226 879.65/880.07 c nbDecision=594500 #constraints=5226 880.45/880.81 c nbDecision=595000 #constraints=5226 881.15/881.55 c nbDecision=595500 #constraints=5226 881.85/882.29 c nbDecision=596000 #constraints=5226 882.64/883.04 c nbDecision=596500 #constraints=5226 883.34/883.77 c nbDecision=597000 #constraints=5226 884.14/884.52 c nbDecision=597500 #constraints=5226 884.84/885.26 c nbDecision=598000 #constraints=5226 885.64/886.00 c nbDecision=598500 #constraints=5226 886.34/886.74 c nbDecision=599000 #constraints=5226 887.04/887.48 c nbDecision=599500 #constraints=5226 887.84/888.22 c nbDecision=600000 #constraints=5226 888.54/888.96 c nbDecision=600500 #constraints=5226 889.24/889.69 c nbDecision=601000 #constraints=5226 890.04/890.42 c nbDecision=601500 #constraints=5226 890.74/891.15 c nbDecision=602000 #constraints=5226 891.45/891.88 c nbDecision=602500 #constraints=5226 892.25/892.61 c nbDecision=603000 #constraints=5226 892.95/893.33 c nbDecision=603500 #constraints=5226 893.65/894.06 c nbDecision=604000 #constraints=5226 894.35/894.78 c nbDecision=604500 #constraints=5226 895.15/895.50 c nbDecision=605000 #constraints=5226 895.85/896.22 c nbDecision=605500 #constraints=5226 896.55/896.94 c nbDecision=606000 #constraints=5226 897.25/897.66 c nbDecision=606500 #constraints=5226 897.95/898.37 c nbDecision=607000 #constraints=5226 898.65/899.09 c nbDecision=607500 #constraints=5226 899.45/899.84 c nbDecision=608000 #constraints=5227 900.25/900.60 c nbDecision=608500 #constraints=5227 900.95/901.37 c nbDecision=609000 #constraints=5227 901.74/902.13 c nbDecision=609500 #constraints=5227 902.44/902.89 c nbDecision=610000 #constraints=5227 903.24/903.65 c nbDecision=610500 #constraints=5227 904.04/904.42 c nbDecision=611000 #constraints=5227 904.74/905.18 c nbDecision=611500 #constraints=5227 905.54/905.92 c nbDecision=612000 #constraints=5227 906.24/906.67 c nbDecision=612500 #constraints=5227 907.05/907.42 c nbDecision=613000 #constraints=5227 907.74/908.17 c nbDecision=613500 #constraints=5227 908.54/908.93 c nbDecision=614000 #constraints=5227 909.25/909.68 c nbDecision=614500 #constraints=5227 910.04/910.42 c nbDecision=615000 #constraints=5227 910.74/911.17 c nbDecision=615500 #constraints=5227 911.55/911.90 c nbDecision=616000 #constraints=5227 912.24/912.64 c nbDecision=616500 #constraints=5227 912.94/913.38 c nbDecision=617000 #constraints=5227 913.75/914.11 c nbDecision=617500 #constraints=5227 914.44/914.84 c nbDecision=618000 #constraints=5227 915.14/915.58 c nbDecision=618500 #constraints=5227 915.94/916.31 c nbDecision=619000 #constraints=5227 916.64/917.04 c nbDecision=619500 #constraints=5227 917.34/917.77 c nbDecision=620000 #constraints=5227 918.14/918.51 c nbDecision=620500 #constraints=5227 918.84/919.23 c nbDecision=621000 #constraints=5227 919.54/919.96 c nbDecision=621500 #constraints=5227 920.24/920.69 c nbDecision=622000 #constraints=5227 921.04/921.42 c nbDecision=622500 #constraints=5227 921.74/922.16 c nbDecision=623000 #constraints=5227 922.44/922.89 c nbDecision=623500 #constraints=5227 923.24/923.62 c nbDecision=624000 #constraints=5227 923.94/924.36 c nbDecision=624500 #constraints=5227 924.64/925.09 c nbDecision=625000 #constraints=5227 925.43/925.81 c nbDecision=625500 #constraints=5227 926.13/926.54 c nbDecision=626000 #constraints=5227 926.84/927.26 c nbDecision=626500 #constraints=5227 927.53/927.99 c nbDecision=627000 #constraints=5227 928.33/928.71 c nbDecision=627500 #constraints=5227 929.04/929.44 c nbDecision=628000 #constraints=5227 929.73/930.16 c nbDecision=628500 #constraints=5227 930.53/930.95 c nbDecision=629000 #constraints=5228 931.34/931.71 c nbDecision=629500 #constraints=5228 932.03/932.47 c nbDecision=630000 #constraints=5228 932.83/933.23 c nbDecision=630500 #constraints=5228 933.53/933.99 c nbDecision=631000 #constraints=5228 934.33/934.74 c nbDecision=631500 #constraints=5228 935.03/935.49 c nbDecision=632000 #constraints=5228 935.83/936.23 c nbDecision=632500 #constraints=5228 936.53/936.99 c nbDecision=633000 #constraints=5228 937.33/937.73 c nbDecision=633500 #constraints=5228 938.03/938.48 c nbDecision=634000 #constraints=5228 938.83/939.23 c nbDecision=634500 #constraints=5228 939.53/939.98 c nbDecision=635000 #constraints=5228 940.33/940.72 c nbDecision=635500 #constraints=5228 941.03/941.47 c nbDecision=636000 #constraints=5228 941.83/942.23 c nbDecision=636500 #constraints=5228 942.53/942.97 c nbDecision=637000 #constraints=5228 943.33/943.72 c nbDecision=637500 #constraints=5228 944.03/944.46 c nbDecision=638000 #constraints=5228 944.83/945.20 c nbDecision=638500 #constraints=5228 945.53/945.94 c nbDecision=639000 #constraints=5228 946.23/946.69 c nbDecision=639500 #constraints=5228 947.03/947.42 c nbDecision=640000 #constraints=5228 947.73/948.16 c nbDecision=640500 #constraints=5228 948.52/948.90 c nbDecision=641000 #constraints=5228 949.22/949.64 c nbDecision=641500 #constraints=5228 949.93/950.38 c nbDecision=642000 #constraints=5228 950.72/951.12 c nbDecision=642500 #constraints=5228 951.42/951.85 c nbDecision=643000 #constraints=5228 952.13/952.58 c nbDecision=643500 #constraints=5228 952.92/953.31 c nbDecision=644000 #constraints=5228 953.62/954.04 c nbDecision=644500 #constraints=5228 954.33/954.76 c nbDecision=645000 #constraints=5228 955.02/955.48 c nbDecision=645500 #constraints=5228 955.82/956.21 c nbDecision=646000 #constraints=5228 956.52/956.93 c nbDecision=646500 #constraints=5228 957.22/957.66 c nbDecision=647000 #constraints=5228 957.92/958.38 c nbDecision=647500 #constraints=5228 958.72/959.10 c nbDecision=648000 #constraints=5228 959.42/959.82 c nbDecision=648500 #constraints=5228 960.12/960.53 c nbDecision=649000 #constraints=5228 960.82/961.26 c nbDecision=649500 #constraints=5228 961.52/961.99 c nbDecision=650000 #constraints=5228 962.32/962.71 c nbDecision=650500 #constraints=5228 963.02/963.47 c nbDecision=651000 #constraints=5229 963.82/964.23 c nbDecision=651500 #constraints=5229 964.52/964.99 c nbDecision=652000 #constraints=5229 965.32/965.74 c nbDecision=652500 #constraints=5229 966.02/966.49 c nbDecision=653000 #constraints=5229 966.82/967.25 c nbDecision=653500 #constraints=5229 967.52/968.00 c nbDecision=654000 #constraints=5229 968.32/968.75 c nbDecision=654500 #constraints=5229 969.12/969.50 c nbDecision=655000 #constraints=5229 969.82/970.23 c nbDecision=655500 #constraints=5229 970.52/970.98 c nbDecision=656000 #constraints=5229 971.32/971.72 c nbDecision=656500 #constraints=5229 972.02/972.45 c nbDecision=657000 #constraints=5229 972.71/973.19 c nbDecision=657500 #constraints=5229 973.51/973.93 c nbDecision=658000 #constraints=5229 974.22/974.66 c nbDecision=658500 #constraints=5229 974.91/975.38 c nbDecision=659000 #constraints=5229 975.71/976.12 c nbDecision=659500 #constraints=5229 976.42/976.85 c nbDecision=660000 #constraints=5229 977.11/977.58 c nbDecision=660500 #constraints=5229 977.91/978.31 c nbDecision=661000 #constraints=5229 978.62/979.03 c nbDecision=661500 #constraints=5229 979.31/979.76 c nbDecision=662000 #constraints=5229 980.01/980.49 c nbDecision=662500 #constraints=5229 980.82/981.22 c nbDecision=663000 #constraints=5229 981.51/981.95 c nbDecision=663500 #constraints=5229 982.21/982.68 c nbDecision=664000 #constraints=5229 983.02/983.41 c nbDecision=664500 #constraints=5229 983.71/984.15 c nbDecision=665000 #constraints=5229 984.41/984.87 c nbDecision=665500 #constraints=5229 985.11/985.60 c nbDecision=666000 #constraints=5229 985.91/986.32 c nbDecision=666500 #constraints=5229 986.61/987.05 c nbDecision=667000 #constraints=5229 987.31/987.77 c nbDecision=667500 #constraints=5229 988.01/988.50 c nbDecision=668000 #constraints=5229 988.81/989.27 c nbDecision=668500 #constraints=5230 989.61/990.03 c nbDecision=669000 #constraints=5230 990.31/990.79 c nbDecision=669500 #constraints=5230 991.11/991.55 c nbDecision=670000 #constraints=5230 991.91/992.31 c nbDecision=670500 #constraints=5230 992.61/993.06 c nbDecision=671000 #constraints=5230 993.41/993.82 c nbDecision=671500 #constraints=5230 994.11/994.57 c nbDecision=672000 #constraints=5230 994.91/995.32 c nbDecision=672500 #constraints=5230 995.61/996.07 c nbDecision=673000 #constraints=5230 996.41/996.82 c nbDecision=673500 #constraints=5230 997.11/997.57 c nbDecision=674000 #constraints=5230 997.91/998.31 c nbDecision=674500 #constraints=5230 998.60/999.06 c nbDecision=675000 #constraints=5230 999.30/999.80 c nbDecision=675500 #constraints=5230 1000.10/1000.54 c nbDecision=676000 #constraints=5230 1000.80/1001.28 c nbDecision=676500 #constraints=5230 1001.61/1002.03 c nbDecision=677000 #constraints=5230 1002.30/1002.78 c nbDecision=677500 #constraints=5230 1003.10/1003.52 c nbDecision=678000 #constraints=5230 1003.81/1004.27 c nbDecision=678500 #constraints=5230 1004.60/1005.01 c nbDecision=679000 #constraints=5230 1005.30/1005.75 c nbDecision=679500 #constraints=5230 1006.01/1006.49 c nbDecision=680000 #constraints=5230 1006.80/1007.23 c nbDecision=680500 #constraints=5230 1007.50/1007.98 c nbDecision=681000 #constraints=5230 1008.30/1008.72 c nbDecision=681500 #constraints=5230 1009.00/1009.46 c nbDecision=682000 #constraints=5230 1009.70/1010.18 c nbDecision=682500 #constraints=5230 1010.50/1010.91 c nbDecision=683000 #constraints=5230 1011.21/1011.64 c nbDecision=683500 #constraints=5230 1011.91/1012.37 c nbDecision=684000 #constraints=5230 1012.61/1013.10 c nbDecision=684500 #constraints=5230 1013.41/1013.82 c nbDecision=685000 #constraints=5230 1014.11/1014.55 c nbDecision=685500 #constraints=5230 1014.81/1015.26 c nbDecision=686000 #constraints=5230 1015.51/1015.98 c nbDecision=686500 #constraints=5230 1016.31/1016.70 c nbDecision=687000 #constraints=5230 1017.01/1017.41 c nbDecision=687500 #constraints=5230 1017.71/1018.14 c nbDecision=688000 #constraints=5230 1018.41/1018.85 c nbDecision=688500 #constraints=5230 1019.11/1019.57 c nbDecision=689000 #constraints=5230 1019.80/1020.28 c nbDecision=689500 #constraints=5230 1020.60/1021.07 c nbDecision=690000 #constraints=5231 1021.41/1021.83 c nbDecision=690500 #constraints=5231 1022.10/1022.59 c nbDecision=691000 #constraints=5231 1022.90/1023.36 c nbDecision=691500 #constraints=5231 1023.71/1024.12 c nbDecision=692000 #constraints=5231 1024.40/1024.88 c nbDecision=692500 #constraints=5231 1025.20/1025.63 c nbDecision=693000 #constraints=5231 1025.91/1026.39 c nbDecision=693500 #constraints=5231 1026.70/1027.15 c nbDecision=694000 #constraints=5231 1027.50/1027.90 c nbDecision=694500 #constraints=5231 1028.20/1028.66 c nbDecision=695000 #constraints=5231 1029.00/1029.42 c nbDecision=695500 #constraints=5231 1029.70/1030.17 c nbDecision=696000 #constraints=5231 1030.50/1030.92 c nbDecision=696500 #constraints=5231 1031.20/1031.67 c nbDecision=697000 #constraints=5231 1032.00/1032.41 c nbDecision=697500 #constraints=5231 1032.70/1033.15 c nbDecision=698000 #constraints=5231 1033.40/1033.89 c nbDecision=698500 #constraints=5231 1034.20/1034.63 c nbDecision=699000 #constraints=5231 1034.90/1035.35 c nbDecision=699500 #constraints=5231 1035.60/1036.09 c nbDecision=700000 #constraints=5231 1036.40/1036.82 c nbDecision=700500 #constraints=5231 1037.10/1037.56 c nbDecision=701000 #constraints=5231 1037.80/1038.30 c nbDecision=701500 #constraints=5231 1038.60/1039.03 c nbDecision=702000 #constraints=5231 1039.30/1039.76 c nbDecision=702500 #constraints=5231 1040.00/1040.48 c nbDecision=703000 #constraints=5231 1040.80/1041.22 c nbDecision=703500 #constraints=5231 1041.50/1041.96 c nbDecision=704000 #constraints=5231 1042.20/1042.69 c nbDecision=704500 #constraints=5231 1043.00/1043.43 c nbDecision=705000 #constraints=5231 1043.70/1044.17 c nbDecision=705500 #constraints=5231 1044.40/1044.89 c nbDecision=706000 #constraints=5231 1045.20/1045.62 c nbDecision=706500 #constraints=5231 1045.90/1046.35 c nbDecision=707000 #constraints=5231 1046.60/1047.08 c nbDecision=707500 #constraints=5231 1047.40/1047.81 c nbDecision=708000 #constraints=5231 1048.10/1048.54 c nbDecision=708500 #constraints=5231 1048.80/1049.27 c nbDecision=709000 #constraints=5231 1049.59/1050.00 c nbDecision=709500 #constraints=5231 1050.29/1050.72 c nbDecision=710000 #constraints=5231 1050.99/1051.44 c nbDecision=710500 #constraints=5231 1051.69/1052.16 c nbDecision=711000 #constraints=5231 1052.49/1052.93 c nbDecision=711500 #constraints=5232 1053.19/1053.69 c nbDecision=712000 #constraints=5232 1053.99/1054.45 c nbDecision=712500 #constraints=5232 1054.79/1055.21 c nbDecision=713000 #constraints=5232 1055.50/1055.97 c nbDecision=713500 #constraints=5232 1056.29/1056.72 c nbDecision=714000 #constraints=5232 1056.99/1057.48 c nbDecision=714500 #constraints=5232 1057.80/1058.24 c nbDecision=715000 #constraints=5232 1058.49/1058.99 c nbDecision=715500 #constraints=5232 1059.29/1059.74 c nbDecision=716000 #constraints=5232 1059.99/1060.49 c nbDecision=716500 #constraints=5232 1060.79/1061.25 c nbDecision=717000 #constraints=5232 1061.59/1062.00 c nbDecision=717500 #constraints=5232 1062.29/1062.76 c nbDecision=718000 #constraints=5232 1063.09/1063.51 c nbDecision=718500 #constraints=5232 1063.79/1064.26 c nbDecision=719000 #constraints=5232 1064.59/1065.01 c nbDecision=719500 #constraints=5232 1065.29/1065.76 c nbDecision=720000 #constraints=5232 1066.09/1066.51 c nbDecision=720500 #constraints=5232 1066.79/1067.26 c nbDecision=721000 #constraints=5232 1067.59/1068.00 c nbDecision=721500 #constraints=5232 1068.29/1068.75 c nbDecision=722000 #constraints=5232 1068.99/1069.49 c nbDecision=722500 #constraints=5232 1069.79/1070.23 c nbDecision=723000 #constraints=5232 1070.49/1070.97 c nbDecision=723500 #constraints=5232 1071.29/1071.71 c nbDecision=724000 #constraints=5232 1071.99/1072.44 c nbDecision=724500 #constraints=5232 1072.68/1073.17 c nbDecision=725000 #constraints=5232 1073.48/1073.90 c nbDecision=725500 #constraints=5232 1074.19/1074.63 c nbDecision=726000 #constraints=5232 1074.88/1075.36 c nbDecision=726500 #constraints=5232 1075.58/1076.09 c nbDecision=727000 #constraints=5232 1076.39/1076.82 c nbDecision=727500 #constraints=5232 1077.08/1077.55 c nbDecision=728000 #constraints=5232 1077.78/1078.27 c nbDecision=728500 #constraints=5232 1078.48/1079.00 c nbDecision=729000 #constraints=5232 1079.28/1079.72 c nbDecision=729500 #constraints=5232 1079.98/1080.44 c nbDecision=730000 #constraints=5232 1080.68/1081.17 c nbDecision=730500 #constraints=5232 1081.48/1081.90 c nbDecision=731000 #constraints=5232 1082.18/1082.63 c nbDecision=731500 #constraints=5232 1082.88/1083.36 c nbDecision=732000 #constraints=5232 1083.58/1084.09 c nbDecision=732500 #constraints=5232 1084.38/1084.81 c nbDecision=733000 #constraints=5232 1085.08/1085.54 c nbDecision=733500 #constraints=5232 1085.88/1086.34 c nbDecision=734000 #constraints=5233 1086.68/1087.11 c nbDecision=734500 #constraints=5233 1087.38/1087.88 c nbDecision=735000 #constraints=5233 1088.18/1088.64 c nbDecision=735500 #constraints=5233 1088.98/1089.40 c nbDecision=736000 #constraints=5233 1089.68/1090.17 c nbDecision=736500 #constraints=5233 1090.48/1090.93 c nbDecision=737000 #constraints=5233 1091.18/1091.68 c nbDecision=737500 #constraints=5233 1091.98/1092.44 c nbDecision=738000 #constraints=5233 1092.67/1093.19 c nbDecision=738500 #constraints=5233 1093.47/1093.94 c nbDecision=739000 #constraints=5233 1094.17/1094.69 c nbDecision=739500 #constraints=5233 1094.97/1095.44 c nbDecision=740000 #constraints=5233 1095.67/1096.19 c nbDecision=740500 #constraints=5233 1096.47/1096.93 c nbDecision=741000 #constraints=5233 1097.17/1097.67 c nbDecision=741500 #constraints=5233 1097.97/1098.42 c nbDecision=742000 #constraints=5233 1098.67/1099.16 c nbDecision=742500 #constraints=5233 1099.37/1099.90 c nbDecision=743000 #constraints=5233 1100.17/1100.64 c nbDecision=743500 #constraints=5233 1100.87/1101.38 c nbDecision=744000 #constraints=5233 1101.68/1102.12 c nbDecision=744500 #constraints=5233 1102.37/1102.87 c nbDecision=745000 #constraints=5233 1103.17/1103.61 c nbDecision=745500 #constraints=5233 1103.87/1104.35 c nbDecision=746000 #constraints=5233 1104.57/1105.09 c nbDecision=746500 #constraints=5233 1105.37/1105.83 c nbDecision=747000 #constraints=5233 1106.07/1106.58 c nbDecision=747500 #constraints=5233 1106.87/1107.31 c nbDecision=748000 #constraints=5233 1107.57/1108.05 c nbDecision=748500 #constraints=5233 1108.27/1108.78 c nbDecision=749000 #constraints=5233 1109.07/1109.52 c nbDecision=749500 #constraints=5233 1109.77/1110.25 c nbDecision=750000 #constraints=5233 1110.47/1110.99 c nbDecision=750500 #constraints=5233 1111.27/1111.71 c nbDecision=751000 #constraints=5233 1111.97/1112.44 c nbDecision=751500 #constraints=5233 1112.67/1113.16 c nbDecision=752000 #constraints=5233 1113.37/1113.88 c nbDecision=752500 #constraints=5233 1114.16/1114.60 c nbDecision=753000 #constraints=5233 1114.87/1115.32 c nbDecision=753500 #constraints=5233 1115.56/1116.05 c nbDecision=754000 #constraints=5233 1116.26/1116.76 c nbDecision=754500 #constraints=5233 1116.96/1117.48 c nbDecision=755000 #constraints=5233 1117.76/1118.20 c nbDecision=755500 #constraints=5233 1118.46/1118.97 c nbDecision=756000 #constraints=5234 1119.26/1119.73 c nbDecision=756500 #constraints=5234 1119.96/1120.49 c nbDecision=757000 #constraints=5234 1120.76/1121.26 c nbDecision=757500 #constraints=5234 1121.56/1122.03 c nbDecision=758000 #constraints=5234 1122.26/1122.79 c nbDecision=758500 #constraints=5234 1123.06/1123.56 c nbDecision=759000 #constraints=5234 1123.86/1124.32 c nbDecision=759500 #constraints=5234 1124.56/1125.08 c nbDecision=760000 #constraints=5234 1125.36/1125.84 c nbDecision=760500 #constraints=5234 1126.16/1126.60 c nbDecision=761000 #constraints=5234 1126.85/1127.36 c nbDecision=761500 #constraints=5234 1127.66/1128.11 c nbDecision=762000 #constraints=5234 1128.35/1128.87 c nbDecision=762500 #constraints=5234 1129.16/1129.62 c nbDecision=763000 #constraints=5234 1129.85/1130.37 c nbDecision=763500 #constraints=5234 1130.65/1131.12 c nbDecision=764000 #constraints=5234 1131.36/1131.85 c nbDecision=764500 #constraints=5234 1132.05/1132.59 c nbDecision=765000 #constraints=5234 1132.85/1133.33 c nbDecision=765500 #constraints=5234 1133.55/1134.07 c nbDecision=766000 #constraints=5234 1134.35/1134.81 c nbDecision=766500 #constraints=5234 1135.05/1135.55 c nbDecision=767000 #constraints=5234 1135.75/1136.28 c nbDecision=767500 #constraints=5234 1136.55/1137.02 c nbDecision=768000 #constraints=5234 1137.25/1137.76 c nbDecision=768500 #constraints=5234 1137.95/1138.49 c nbDecision=769000 #constraints=5234 1138.75/1139.22 c nbDecision=769500 #constraints=5234 1139.45/1139.95 c nbDecision=770000 #constraints=5234 1140.15/1140.68 c nbDecision=770500 #constraints=5234 1140.95/1141.42 c nbDecision=771000 #constraints=5234 1141.65/1142.15 c nbDecision=771500 #constraints=5234 1142.35/1142.88 c nbDecision=772000 #constraints=5234 1143.15/1143.62 c nbDecision=772500 #constraints=5234 1143.85/1144.35 c nbDecision=773000 #constraints=5234 1144.55/1145.09 c nbDecision=773500 #constraints=5234 1145.34/1145.82 c nbDecision=774000 #constraints=5234 1146.04/1146.55 c nbDecision=774500 #constraints=5234 1146.75/1147.28 c nbDecision=775000 #constraints=5234 1147.54/1148.01 c nbDecision=775500 #constraints=5234 1148.24/1148.74 c nbDecision=776000 #constraints=5234 1148.95/1149.47 c nbDecision=776500 #constraints=5234 1149.74/1150.20 c nbDecision=777000 #constraints=5234 1150.44/1150.92 c nbDecision=777500 #constraints=5234 1151.15/1151.67 c nbDecision=778000 #constraints=5235 1151.94/1152.43 c nbDecision=778500 #constraints=5235 1152.64/1153.19 c nbDecision=779000 #constraints=5235 1153.44/1153.95 c nbDecision=779500 #constraints=5235 1154.24/1154.71 c nbDecision=780000 #constraints=5235 1154.94/1155.46 c nbDecision=780500 #constraints=5235 1155.74/1156.22 c nbDecision=781000 #constraints=5235 1156.44/1156.98 c nbDecision=781500 #constraints=5235 1157.24/1157.73 c nbDecision=782000 #constraints=5235 1157.94/1158.48 c nbDecision=782500 #constraints=5235 1158.73/1159.23 c nbDecision=783000 #constraints=5235 1159.43/1159.98 c nbDecision=783500 #constraints=5235 1160.23/1160.73 c nbDecision=784000 #constraints=5235 1160.93/1161.49 c nbDecision=784500 #constraints=5235 1161.73/1162.24 c nbDecision=785000 #constraints=5235 1162.43/1162.99 c nbDecision=785500 #constraints=5235 1163.24/1163.74 c nbDecision=786000 #constraints=5235 1163.93/1164.49 c nbDecision=786500 #constraints=5235 1164.73/1165.24 c nbDecision=787000 #constraints=5235 1165.44/1165.98 c nbDecision=787500 #constraints=5235 1166.23/1166.73 c nbDecision=788000 #constraints=5235 1166.93/1167.48 c nbDecision=788500 #constraints=5235 1167.74/1168.22 c nbDecision=789000 #constraints=5235 1168.43/1168.96 c nbDecision=789500 #constraints=5235 1169.23/1169.71 c nbDecision=790000 #constraints=5235 1169.94/1170.45 c nbDecision=790500 #constraints=5235 1170.63/1171.19 c nbDecision=791000 #constraints=5235 1171.43/1171.92 c nbDecision=791500 #constraints=5235 1172.13/1172.65 c nbDecision=792000 #constraints=5235 1172.84/1173.39 c nbDecision=792500 #constraints=5235 1173.64/1174.12 c nbDecision=793000 #constraints=5235 1174.34/1174.85 c nbDecision=793500 #constraints=5235 1175.04/1175.58 c nbDecision=794000 #constraints=5235 1175.74/1176.30 c nbDecision=794500 #constraints=5235 1176.54/1177.02 c nbDecision=795000 #constraints=5235 1177.24/1177.74 c nbDecision=795500 #constraints=5235 1177.94/1178.47 c nbDecision=796000 #constraints=5235 1178.64/1179.19 c nbDecision=796500 #constraints=5235 1179.44/1179.92 c nbDecision=797000 #constraints=5235 1180.13/1180.64 c nbDecision=797500 #constraints=5235 1180.84/1181.37 c nbDecision=798000 #constraints=5235 1181.53/1182.10 c nbDecision=798500 #constraints=5235 1182.33/1182.82 c nbDecision=799000 #constraints=5235 1183.04/1183.55 c nbDecision=799500 #constraints=5235 1183.73/1184.27 c nbDecision=800000 #constraints=5235 1184.53/1185.06 c nbDecision=800500 #constraints=5236 1185.34/1185.82 c nbDecision=801000 #constraints=5236 1186.03/1186.59 c nbDecision=801500 #constraints=5236 1186.83/1187.36 c nbDecision=802000 #constraints=5236 1187.63/1188.12 c nbDecision=802500 #constraints=5236 1188.33/1188.88 c nbDecision=803000 #constraints=5236 1189.13/1189.65 c nbDecision=803500 #constraints=5236 1189.93/1190.41 c nbDecision=804000 #constraints=5236 1190.63/1191.16 c nbDecision=804500 #constraints=5236 1191.43/1191.90 c nbDecision=805000 #constraints=5236 1192.13/1192.66 c nbDecision=805500 #constraints=5236 1192.93/1193.40 c nbDecision=806000 #constraints=5236 1193.63/1194.15 c nbDecision=806500 #constraints=5236 1194.33/1194.90 c nbDecision=807000 #constraints=5236 1195.13/1195.64 c nbDecision=807500 #constraints=5236 1195.83/1196.38 c nbDecision=808000 #constraints=5236 1196.63/1197.12 c nbDecision=808500 #constraints=5236 1197.33/1197.86 c nbDecision=809000 #constraints=5236 1198.12/1198.60 c nbDecision=809500 #constraints=5236 1198.82/1199.34 c nbDecision=810000 #constraints=5236 1199.53/1200.08 c nbDecision=810500 #constraints=5236 1200.32/1200.81 c nbDecision=811000 #constraints=5236 1201.02/1201.56 c nbDecision=811500 #constraints=5236 1201.73/1202.30 c nbDecision=812000 #constraints=5236 1202.52/1203.04 c nbDecision=812500 #constraints=5236 1203.22/1203.78 c nbDecision=813000 #constraints=5236 1204.02/1204.52 c nbDecision=813500 #constraints=5236 1204.72/1205.26 c nbDecision=814000 #constraints=5236 1205.52/1206.00 c nbDecision=814500 #constraints=5236 1206.22/1206.74 c nbDecision=815000 #constraints=5236 1206.92/1207.47 c nbDecision=815500 #constraints=5236 1207.72/1208.21 c nbDecision=816000 #constraints=5236 1208.42/1208.94 c nbDecision=816500 #constraints=5236 1209.12/1209.68 c nbDecision=817000 #constraints=5236 1209.92/1210.41 c nbDecision=817500 #constraints=5236 1210.62/1211.13 c nbDecision=818000 #constraints=5236 1211.32/1211.85 c nbDecision=818500 #constraints=5236 1212.02/1212.57 c nbDecision=819000 #constraints=5236 1212.32/1212.86 c restart after 819201 decisions 1212.82/1213.36 c nbDecision=819500 #constraints=5236 1213.62/1214.14 c nbDecision=820000 #constraints=5236 1214.42/1214.91 c nbDecision=820500 #constraints=5236 1215.11/1215.68 c nbDecision=821000 #constraints=5236 1215.91/1216.46 c nbDecision=821500 #constraints=5236 1216.71/1217.23 c nbDecision=822000 #constraints=5236 1217.51/1218.00 c nbDecision=822500 #constraints=5236 1218.22/1218.77 c nbDecision=823000 #constraints=5236 1219.01/1219.54 c nbDecision=823500 #constraints=5236 1219.81/1220.30 c nbDecision=824000 #constraints=5236 1220.52/1221.07 c nbDecision=824500 #constraints=5236 1221.31/1221.84 c nbDecision=825000 #constraints=5236 1222.11/1222.61 c nbDecision=825500 #constraints=5236 1222.81/1223.38 c nbDecision=826000 #constraints=5236 1223.61/1224.15 c nbDecision=826500 #constraints=5236 1224.41/1224.91 c nbDecision=827000 #constraints=5236 1225.11/1225.68 c nbDecision=827500 #constraints=5236 1225.92/1226.44 c nbDecision=828000 #constraints=5236 1226.71/1227.20 c nbDecision=828500 #constraints=5236 1227.41/1227.96 c nbDecision=829000 #constraints=5236 1228.21/1228.72 c nbDecision=829500 #constraints=5236 1228.91/1229.48 c nbDecision=830000 #constraints=5236 1229.71/1230.24 c nbDecision=830500 #constraints=5236 1230.41/1230.99 c nbDecision=831000 #constraints=5236 1231.21/1231.74 c nbDecision=831500 #constraints=5236 1231.91/1232.48 c nbDecision=832000 #constraints=5236 1232.71/1233.23 c nbDecision=832500 #constraints=5236 1233.41/1233.97 c nbDecision=833000 #constraints=5236 1234.21/1234.71 c nbDecision=833500 #constraints=5236 1234.91/1235.45 c nbDecision=834000 #constraints=5236 1235.61/1236.19 c nbDecision=834500 #constraints=5236 1236.41/1236.93 c nbDecision=835000 #constraints=5236 1237.11/1237.67 c nbDecision=835500 #constraints=5236 1237.91/1238.40 c nbDecision=836000 #constraints=5236 1238.61/1239.14 c nbDecision=836500 #constraints=5236 1239.31/1239.87 c nbDecision=837000 #constraints=5236 1240.10/1240.60 c nbDecision=837500 #constraints=5236 1240.80/1241.34 c nbDecision=838000 #constraints=5236 1241.50/1242.08 c nbDecision=838500 #constraints=5236 1242.30/1242.82 c nbDecision=839000 #constraints=5236 1243.00/1243.56 c nbDecision=839500 #constraints=5236 1243.70/1244.29 c nbDecision=840000 #constraints=5236 1244.50/1245.03 c nbDecision=840500 #constraints=5236 1245.20/1245.76 c nbDecision=841000 #constraints=5236 1245.90/1246.49 c nbDecision=841500 #constraints=5236 1246.70/1247.22 c nbDecision=842000 #constraints=5236 1247.40/1247.95 c nbDecision=842500 #constraints=5236 1248.10/1248.68 c nbDecision=843000 #constraints=5236 1248.90/1249.41 c nbDecision=843500 #constraints=5236 1249.60/1250.14 c nbDecision=844000 #constraints=5236 1250.30/1250.87 c nbDecision=844500 #constraints=5236 1251.00/1251.59 c nbDecision=845000 #constraints=5236 1251.80/1252.31 c nbDecision=845500 #constraints=5236 1252.50/1253.03 c nbDecision=846000 #constraints=5236 1253.20/1253.75 c nbDecision=846500 #constraints=5236 1254.00/1254.53 c nbDecision=847000 #constraints=5237 1254.70/1255.29 c nbDecision=847500 #constraints=5237 1255.50/1256.05 c nbDecision=848000 #constraints=5237 1256.30/1256.81 c nbDecision=848500 #constraints=5237 1257.00/1257.56 c nbDecision=849000 #constraints=5237 1257.80/1258.32 c nbDecision=849500 #constraints=5237 1258.50/1259.08 c nbDecision=850000 #constraints=5237 1259.30/1259.83 c nbDecision=850500 #constraints=5237 1260.00/1260.59 c nbDecision=851000 #constraints=5237 1260.79/1261.35 c nbDecision=851500 #constraints=5237 1261.59/1262.11 c nbDecision=852000 #constraints=5237 1262.30/1262.86 c nbDecision=852500 #constraints=5237 1263.09/1263.62 c nbDecision=853000 #constraints=5237 1263.79/1264.37 c nbDecision=853500 #constraints=5237 1264.59/1265.13 c nbDecision=854000 #constraints=5237 1265.29/1265.88 c nbDecision=854500 #constraints=5237 1266.09/1266.63 c nbDecision=855000 #constraints=5237 1266.79/1267.38 c nbDecision=855500 #constraints=5237 1267.59/1268.12 c nbDecision=856000 #constraints=5237 1268.29/1268.87 c nbDecision=856500 #constraints=5237 1269.09/1269.62 c nbDecision=857000 #constraints=5237 1269.79/1270.36 c nbDecision=857500 #constraints=5237 1270.59/1271.10 c nbDecision=858000 #constraints=5237 1271.29/1271.84 c nbDecision=858500 #constraints=5237 1271.99/1272.58 c nbDecision=859000 #constraints=5237 1272.79/1273.31 c nbDecision=859500 #constraints=5237 1273.49/1274.05 c nbDecision=860000 #constraints=5237 1274.19/1274.78 c nbDecision=860500 #constraints=5237 1274.99/1275.51 c nbDecision=861000 #constraints=5237 1275.69/1276.24 c nbDecision=861500 #constraints=5237 1276.39/1276.97 c nbDecision=862000 #constraints=5237 1277.19/1277.70 c nbDecision=862500 #constraints=5237 1277.89/1278.43 c nbDecision=863000 #constraints=5237 1278.59/1279.16 c nbDecision=863500 #constraints=5237 1279.29/1279.88 c nbDecision=864000 #constraints=5237 1280.09/1280.61 c nbDecision=864500 #constraints=5237 1280.79/1281.34 c nbDecision=865000 #constraints=5237 1281.49/1282.06 c nbDecision=865500 #constraints=5237 1282.19/1282.79 c nbDecision=866000 #constraints=5237 1282.99/1283.52 c nbDecision=866500 #constraints=5237 1283.69/1284.25 c nbDecision=867000 #constraints=5237 1284.39/1284.98 c nbDecision=867500 #constraints=5237 1285.19/1285.70 c nbDecision=868000 #constraints=5237 1285.89/1286.43 c nbDecision=868500 #constraints=5237 1286.58/1287.20 c nbDecision=869000 #constraints=5238 1287.38/1287.96 c nbDecision=869500 #constraints=5238 1288.18/1288.73 c nbDecision=870000 #constraints=5238 1288.98/1289.50 c nbDecision=870500 #constraints=5238 1289.69/1290.26 c nbDecision=871000 #constraints=5238 1290.48/1291.03 c nbDecision=871500 #constraints=5238 1291.18/1291.78 c nbDecision=872000 #constraints=5238 1291.98/1292.53 c nbDecision=872500 #constraints=5238 1292.69/1293.28 c nbDecision=873000 #constraints=5238 1293.49/1294.04 c nbDecision=873500 #constraints=5238 1294.19/1294.78 c nbDecision=874000 #constraints=5238 1294.99/1295.53 c nbDecision=874500 #constraints=5238 1295.69/1296.28 c nbDecision=875000 #constraints=5238 1296.49/1297.03 c nbDecision=875500 #constraints=5238 1297.19/1297.77 c nbDecision=876000 #constraints=5238 1297.99/1298.51 c nbDecision=876500 #constraints=5238 1298.68/1299.25 c nbDecision=877000 #constraints=5238 1299.38/1299.99 c nbDecision=877500 #constraints=5238 1300.18/1300.73 c nbDecision=878000 #constraints=5238 1300.88/1301.48 c nbDecision=878500 #constraints=5238 1301.68/1302.22 c nbDecision=879000 #constraints=5238 1302.38/1302.97 c nbDecision=879500 #constraints=5238 1303.18/1303.71 c nbDecision=880000 #constraints=5238 1303.88/1304.45 c nbDecision=880500 #constraints=5238 1304.58/1305.20 c nbDecision=881000 #constraints=5238 1305.38/1305.94 c nbDecision=881500 #constraints=5238 1306.08/1306.68 c nbDecision=882000 #constraints=5238 1306.88/1307.42 c nbDecision=882500 #constraints=5238 1307.58/1308.16 c nbDecision=883000 #constraints=5238 1308.28/1308.89 c nbDecision=883500 #constraints=5238 1309.08/1309.63 c nbDecision=884000 #constraints=5238 1309.78/1310.37 c nbDecision=884500 #constraints=5238 1310.48/1311.10 c nbDecision=885000 #constraints=5238 1311.28/1311.82 c nbDecision=885500 #constraints=5238 1311.98/1312.55 c nbDecision=886000 #constraints=5238 1312.68/1313.27 c nbDecision=886500 #constraints=5238 1313.48/1314.00 c nbDecision=887000 #constraints=5238 1314.18/1314.72 c nbDecision=887500 #constraints=5238 1314.88/1315.45 c nbDecision=888000 #constraints=5238 1315.58/1316.17 c nbDecision=888500 #constraints=5238 1316.27/1316.89 c nbDecision=889000 #constraints=5238 1317.07/1317.61 c nbDecision=889500 #constraints=5238 1317.77/1318.33 c nbDecision=890000 #constraints=5238 1318.47/1319.09 c nbDecision=890500 #constraints=5239 1319.27/1319.85 c nbDecision=891000 #constraints=5239 1320.07/1320.61 c nbDecision=891500 #constraints=5239 1320.77/1321.37 c nbDecision=892000 #constraints=5239 1321.58/1322.13 c nbDecision=892500 #constraints=5239 1322.27/1322.89 c nbDecision=893000 #constraints=5239 1323.07/1323.65 c nbDecision=893500 #constraints=5239 1323.87/1324.41 c nbDecision=894000 #constraints=5239 1324.57/1325.17 c nbDecision=894500 #constraints=5239 1325.37/1325.92 c nbDecision=895000 #constraints=5239 1326.07/1326.68 c nbDecision=895500 #constraints=5239 1326.87/1327.43 c nbDecision=896000 #constraints=5239 1327.57/1328.19 c nbDecision=896500 #constraints=5239 1328.37/1328.94 c nbDecision=897000 #constraints=5239 1329.07/1329.69 c nbDecision=897500 #constraints=5239 1329.87/1330.44 c nbDecision=898000 #constraints=5239 1330.57/1331.19 c nbDecision=898500 #constraints=5239 1331.37/1331.92 c nbDecision=899000 #constraints=5239 1332.07/1332.66 c nbDecision=899500 #constraints=5239 1332.87/1333.40 c nbDecision=900000 #constraints=5239 1333.57/1334.14 c nbDecision=900500 #constraints=5239 1334.27/1334.88 c nbDecision=901000 #constraints=5239 1335.06/1335.61 c nbDecision=901500 #constraints=5239 1335.76/1336.35 c nbDecision=902000 #constraints=5239 1336.46/1337.08 c nbDecision=902500 #constraints=5239 1337.26/1337.81 c nbDecision=903000 #constraints=5239 1337.96/1338.55 c nbDecision=903500 #constraints=5239 1338.66/1339.28 c nbDecision=904000 #constraints=5239 1339.46/1340.01 c nbDecision=904500 #constraints=5239 1340.16/1340.74 c nbDecision=905000 #constraints=5239 1340.86/1341.47 c nbDecision=905500 #constraints=5239 1341.66/1342.20 c nbDecision=906000 #constraints=5239 1342.36/1342.93 c nbDecision=906500 #constraints=5239 1343.06/1343.67 c nbDecision=907000 #constraints=5239 1343.76/1344.39 c nbDecision=907500 #constraints=5239 1344.56/1345.12 c nbDecision=908000 #constraints=5239 1345.26/1345.85 c nbDecision=908500 #constraints=5239 1345.96/1346.58 c nbDecision=909000 #constraints=5239 1346.76/1347.31 c nbDecision=909500 #constraints=5239 1347.46/1348.04 c nbDecision=910000 #constraints=5239 1348.16/1348.77 c nbDecision=910500 #constraints=5239 1348.86/1349.49 c nbDecision=911000 #constraints=5239 1349.66/1350.22 c nbDecision=911500 #constraints=5239 1350.36/1350.99 c nbDecision=912000 #constraints=5240 1351.16/1351.74 c nbDecision=912500 #constraints=5240 1351.96/1352.50 c nbDecision=913000 #constraints=5240 1352.65/1353.26 c nbDecision=913500 #constraints=5240 1353.46/1354.02 c nbDecision=914000 #constraints=5240 1354.15/1354.78 c nbDecision=914500 #constraints=5240 1354.95/1355.54 c nbDecision=915000 #constraints=5240 1355.66/1356.29 c nbDecision=915500 #constraints=5240 1356.45/1357.05 c nbDecision=916000 #constraints=5240 1357.25/1357.80 c nbDecision=916500 #constraints=5240 1357.96/1358.55 c nbDecision=917000 #constraints=5240 1358.75/1359.30 c nbDecision=917500 #constraints=5240 1359.45/1360.04 c nbDecision=918000 #constraints=5240 1360.16/1360.78 c nbDecision=918500 #constraints=5240 1360.95/1361.54 c nbDecision=919000 #constraints=5240 1361.65/1362.29 c nbDecision=919500 #constraints=5240 1362.45/1363.04 c nbDecision=920000 #constraints=5240 1363.15/1363.79 c nbDecision=920500 #constraints=5240 1363.95/1364.54 c nbDecision=921000 #constraints=5240 1364.65/1365.28 c nbDecision=921500 #constraints=5240 1365.45/1366.03 c nbDecision=922000 #constraints=5240 1366.15/1366.78 c nbDecision=922500 #constraints=5240 1366.95/1367.52 c nbDecision=923000 #constraints=5240 1367.65/1368.26 c nbDecision=923500 #constraints=5240 1368.45/1369.01 c nbDecision=924000 #constraints=5240 1369.15/1369.75 c nbDecision=924500 #constraints=5240 1369.85/1370.49 c nbDecision=925000 #constraints=5240 1370.64/1371.22 c nbDecision=925500 #constraints=5240 1371.35/1371.95 c nbDecision=926000 #constraints=5240 1372.04/1372.68 c nbDecision=926500 #constraints=5240 1372.84/1373.41 c nbDecision=927000 #constraints=5240 1373.54/1374.14 c nbDecision=927500 #constraints=5240 1374.24/1374.87 c nbDecision=928000 #constraints=5240 1374.94/1375.60 c nbDecision=928500 #constraints=5240 1375.74/1376.32 c nbDecision=929000 #constraints=5240 1376.44/1377.05 c nbDecision=929500 #constraints=5240 1377.14/1377.77 c nbDecision=930000 #constraints=5240 1377.94/1378.50 c nbDecision=930500 #constraints=5240 1378.64/1379.22 c nbDecision=931000 #constraints=5240 1379.34/1379.94 c nbDecision=931500 #constraints=5240 1380.04/1380.66 c nbDecision=932000 #constraints=5240 1380.74/1381.39 c nbDecision=932500 #constraints=5240 1381.54/1382.11 c nbDecision=933000 #constraints=5240 1382.24/1382.84 c nbDecision=933500 #constraints=5240 1383.05/1383.60 c nbDecision=934000 #constraints=5241 1383.75/1384.37 c nbDecision=934500 #constraints=5241 1384.55/1385.14 c nbDecision=935000 #constraints=5241 1385.35/1385.90 c nbDecision=935500 #constraints=5241 1386.04/1386.67 c nbDecision=936000 #constraints=5241 1386.84/1387.43 c nbDecision=936500 #constraints=5241 1387.55/1388.19 c nbDecision=937000 #constraints=5241 1388.34/1388.96 c nbDecision=937500 #constraints=5241 1389.14/1389.71 c nbDecision=938000 #constraints=5241 1389.85/1390.47 c nbDecision=938500 #constraints=5241 1390.64/1391.22 c nbDecision=939000 #constraints=5241 1391.34/1391.97 c nbDecision=939500 #constraints=5241 1392.14/1392.72 c nbDecision=940000 #constraints=5241 1392.84/1393.46 c nbDecision=940500 #constraints=5241 1393.64/1394.21 c nbDecision=941000 #constraints=5241 1394.34/1394.94 c nbDecision=941500 #constraints=5241 1395.04/1395.69 c nbDecision=942000 #constraints=5241 1395.84/1396.43 c nbDecision=942500 #constraints=5241 1396.54/1397.17 c nbDecision=943000 #constraints=5241 1397.34/1397.91 c nbDecision=943500 #constraints=5241 1398.04/1398.64 c nbDecision=944000 #constraints=5241 1398.74/1399.38 c nbDecision=944500 #constraints=5241 1399.54/1400.12 c nbDecision=945000 #constraints=5241 1400.24/1400.85 c nbDecision=945500 #constraints=5241 1400.94/1401.59 c nbDecision=946000 #constraints=5241 1401.74/1402.33 c nbDecision=946500 #constraints=5241 1402.43/1403.07 c nbDecision=947000 #constraints=5241 1403.23/1403.80 c nbDecision=947500 #constraints=5241 1403.93/1404.54 c nbDecision=948000 #constraints=5241 1404.63/1405.28 c nbDecision=948500 #constraints=5241 1405.43/1406.02 c nbDecision=949000 #constraints=5241 1406.13/1406.75 c nbDecision=949500 #constraints=5241 1406.83/1407.49 c nbDecision=950000 #constraints=5241 1407.63/1408.21 c nbDecision=950500 #constraints=5241 1408.33/1408.94 c nbDecision=951000 #constraints=5241 1409.03/1409.67 c nbDecision=951500 #constraints=5241 1409.83/1410.40 c nbDecision=952000 #constraints=5241 1410.53/1411.13 c nbDecision=952500 #constraints=5241 1411.23/1411.85 c nbDecision=953000 #constraints=5241 1411.93/1412.57 c nbDecision=953500 #constraints=5241 1412.63/1413.29 c nbDecision=954000 #constraints=5241 1413.43/1414.01 c nbDecision=954500 #constraints=5241 1414.13/1414.73 c nbDecision=955000 #constraints=5241 1414.83/1415.49 c nbDecision=955500 #constraints=5242 1415.63/1416.24 c nbDecision=956000 #constraints=5242 1416.33/1417.00 c nbDecision=956500 #constraints=5242 1417.13/1417.75 c nbDecision=957000 #constraints=5242 1417.93/1418.50 c nbDecision=957500 #constraints=5242 1418.63/1419.24 c nbDecision=958000 #constraints=5242 1419.33/1419.98 c nbDecision=958500 #constraints=5242 1420.13/1420.73 c nbDecision=959000 #constraints=5242 1420.83/1421.48 c nbDecision=959500 #constraints=5242 1421.63/1422.24 c nbDecision=960000 #constraints=5242 1422.33/1422.99 c nbDecision=960500 #constraints=5242 1423.13/1423.74 c nbDecision=961000 #constraints=5242 1423.83/1424.49 c nbDecision=961500 #constraints=5242 1424.63/1425.24 c nbDecision=962000 #constraints=5242 1425.33/1425.98 c nbDecision=962500 #constraints=5242 1426.13/1426.73 c nbDecision=963000 #constraints=5242 1426.83/1427.47 c nbDecision=963500 #constraints=5242 1427.63/1428.22 c nbDecision=964000 #constraints=5242 1428.33/1428.96 c nbDecision=964500 #constraints=5242 1429.12/1429.70 c nbDecision=965000 #constraints=5242 1429.82/1430.44 c nbDecision=965500 #constraints=5242 1430.53/1431.18 c nbDecision=966000 #constraints=5242 1431.32/1431.91 c nbDecision=966500 #constraints=5242 1432.02/1432.64 c nbDecision=967000 #constraints=5242 1432.73/1433.37 c nbDecision=967500 #constraints=5242 1433.52/1434.10 c nbDecision=968000 #constraints=5242 1434.22/1434.83 c nbDecision=968500 #constraints=5242 1434.93/1435.56 c nbDecision=969000 #constraints=5242 1435.62/1436.28 c nbDecision=969500 #constraints=5242 1436.42/1437.01 c nbDecision=970000 #constraints=5242 1437.13/1437.72 c nbDecision=970500 #constraints=5242 1437.82/1438.45 c nbDecision=971000 #constraints=5242 1438.52/1439.17 c nbDecision=971500 #constraints=5242 1439.22/1439.88 c nbDecision=972000 #constraints=5242 1440.02/1440.61 c nbDecision=972500 #constraints=5242 1440.72/1441.33 c nbDecision=973000 #constraints=5242 1441.42/1442.06 c nbDecision=973500 #constraints=5242 1442.12/1442.78 c nbDecision=974000 #constraints=5242 1442.92/1443.56 c nbDecision=974500 #constraints=5243 1443.72/1444.33 c nbDecision=975000 #constraints=5243 1444.52/1445.10 c nbDecision=975500 #constraints=5243 1445.22/1445.86 c nbDecision=976000 #constraints=5243 1446.02/1446.63 c nbDecision=976500 #constraints=5243 1446.72/1447.39 c nbDecision=977000 #constraints=5243 1447.52/1448.16 c nbDecision=977500 #constraints=5243 1448.31/1448.92 c nbDecision=978000 #constraints=5243 1449.01/1449.68 c nbDecision=978500 #constraints=5243 1449.81/1450.44 c nbDecision=979000 #constraints=5243 1450.51/1451.19 c nbDecision=979500 #constraints=5243 1451.32/1451.94 c nbDecision=980000 #constraints=5243 1452.01/1452.69 c nbDecision=980500 #constraints=5243 1452.81/1453.44 c nbDecision=981000 #constraints=5243 1453.52/1454.18 c nbDecision=981500 #constraints=5243 1454.31/1454.93 c nbDecision=982000 #constraints=5243 1455.01/1455.67 c nbDecision=982500 #constraints=5243 1455.82/1456.41 c nbDecision=983000 #constraints=5243 1456.51/1457.14 c nbDecision=983500 #constraints=5243 1457.21/1457.88 c nbDecision=984000 #constraints=5243 1458.02/1458.62 c nbDecision=984500 #constraints=5243 1458.71/1459.36 c nbDecision=985000 #constraints=5243 1459.41/1460.09 c nbDecision=985500 #constraints=5243 1460.22/1460.83 c nbDecision=986000 #constraints=5243 1460.91/1461.57 c nbDecision=986500 #constraints=5243 1461.71/1462.32 c nbDecision=987000 #constraints=5243 1462.41/1463.06 c nbDecision=987500 #constraints=5243 1463.21/1463.80 c nbDecision=988000 #constraints=5243 1463.91/1464.54 c nbDecision=988500 #constraints=5243 1464.61/1465.27 c nbDecision=989000 #constraints=5243 1465.41/1466.01 c nbDecision=989500 #constraints=5243 1466.11/1466.75 c nbDecision=990000 #constraints=5243 1466.81/1467.48 c nbDecision=990500 #constraints=5243 1467.61/1468.22 c nbDecision=991000 #constraints=5243 1468.31/1468.95 c nbDecision=991500 #constraints=5243 1469.01/1469.69 c nbDecision=992000 #constraints=5243 1469.81/1470.42 c nbDecision=992500 #constraints=5243 1470.51/1471.15 c nbDecision=993000 #constraints=5243 1471.21/1471.87 c nbDecision=993500 #constraints=5243 1471.91/1472.59 c nbDecision=994000 #constraints=5243 1472.71/1473.31 c nbDecision=994500 #constraints=5243 1473.41/1474.04 c nbDecision=995000 #constraints=5243 1474.10/1474.75 c nbDecision=995500 #constraints=5243 1474.80/1475.47 c nbDecision=996000 #constraints=5243 1475.61/1476.24 c nbDecision=996500 #constraints=5244 1476.40/1477.00 c nbDecision=997000 #constraints=5244 1477.10/1477.76 c nbDecision=997500 #constraints=5244 1477.90/1478.52 c nbDecision=998000 #constraints=5244 1478.60/1479.28 c nbDecision=998500 #constraints=5244 1479.40/1480.04 c nbDecision=999000 #constraints=5244 1480.10/1480.79 c nbDecision=999500 #constraints=5244 1480.90/1481.55 c nbDecision=1000000 #constraints=5244 1481.70/1482.31 c nbDecision=1000500 #constraints=5244 1482.40/1483.07 c nbDecision=1001000 #constraints=5244 1483.20/1483.82 c nbDecision=1001500 #constraints=5244 1483.90/1484.58 c nbDecision=1002000 #constraints=5244 1484.70/1485.34 c nbDecision=1002500 #constraints=5244 1485.40/1486.09 c nbDecision=1003000 #constraints=5244 1486.20/1486.84 c nbDecision=1003500 #constraints=5244 1486.90/1487.59 c nbDecision=1004000 #constraints=5244 1487.70/1488.34 c nbDecision=1004500 #constraints=5244 1488.40/1489.08 c nbDecision=1005000 #constraints=5244 1489.20/1489.83 c nbDecision=1005500 #constraints=5244 1489.90/1490.58 c nbDecision=1006000 #constraints=5244 1490.70/1491.32 c nbDecision=1006500 #constraints=5244 1491.40/1492.06 c nbDecision=1007000 #constraints=5244 1492.10/1492.79 c nbDecision=1007500 #constraints=5244 1492.90/1493.53 c nbDecision=1008000 #constraints=5244 1493.59/1494.27 c nbDecision=1008500 #constraints=5244 1494.39/1495.00 c nbDecision=1009000 #constraints=5244 1495.09/1495.73 c nbDecision=1009500 #constraints=5244 1495.79/1496.47 c nbDecision=1010000 #constraints=5244 1496.59/1497.20 c nbDecision=1010500 #constraints=5244 1497.29/1497.93 c nbDecision=1011000 #constraints=5244 1498.00/1498.66 c nbDecision=1011500 #constraints=5244 1498.70/1499.39 c nbDecision=1012000 #constraints=5244 1499.49/1500.12 c nbDecision=1012500 #constraints=5244 1500.19/1500.85 c nbDecision=1013000 #constraints=5244 1500.90/1501.58 c nbDecision=1013500 #constraints=5244 1501.69/1502.31 c nbDecision=1014000 #constraints=5244 1502.39/1503.04 c nbDecision=1014500 #constraints=5244 1503.10/1503.77 c nbDecision=1015000 #constraints=5244 1503.89/1504.50 c nbDecision=1015500 #constraints=5244 1504.59/1505.23 c nbDecision=1016000 #constraints=5244 1505.30/1505.96 c nbDecision=1016500 #constraints=5244 1505.99/1506.68 c nbDecision=1017000 #constraints=5244 1506.79/1507.41 c nbDecision=1017500 #constraints=5244 1507.49/1508.13 c nbDecision=1018000 #constraints=5244 1508.29/1508.91 c nbDecision=1018500 #constraints=5245 1508.99/1509.68 c nbDecision=1019000 #constraints=5245 1509.79/1510.44 c nbDecision=1019500 #constraints=5245 1510.59/1511.20 c nbDecision=1020000 #constraints=5245 1511.29/1511.96 c nbDecision=1020500 #constraints=5245 1512.09/1512.71 c nbDecision=1021000 #constraints=5245 1512.79/1513.47 c nbDecision=1021500 #constraints=5245 1513.59/1514.22 c nbDecision=1022000 #constraints=5245 1514.29/1514.97 c nbDecision=1022500 #constraints=5245 1515.09/1515.72 c nbDecision=1023000 #constraints=5245 1515.79/1516.47 c nbDecision=1023500 #constraints=5245 1516.59/1517.22 c nbDecision=1024000 #constraints=5245 1517.29/1517.97 c nbDecision=1024500 #constraints=5245 1518.09/1518.71 c nbDecision=1025000 #constraints=5245 1518.78/1519.46 c nbDecision=1025500 #constraints=5245 1519.49/1520.19 c nbDecision=1026000 #constraints=5245 1520.28/1520.93 c nbDecision=1026500 #constraints=5245 1520.98/1521.68 c nbDecision=1027000 #constraints=5245 1521.79/1522.43 c nbDecision=1027500 #constraints=5245 1522.48/1523.17 c nbDecision=1028000 #constraints=5245 1523.28/1523.91 c nbDecision=1028500 #constraints=5245 1523.99/1524.66 c nbDecision=1029000 #constraints=5245 1524.68/1525.39 c nbDecision=1029500 #constraints=5245 1525.48/1526.13 c nbDecision=1030000 #constraints=5245 1526.19/1526.88 c nbDecision=1030500 #constraints=5245 1526.98/1527.62 c nbDecision=1031000 #constraints=5245 1527.68/1528.36 c nbDecision=1031500 #constraints=5245 1528.48/1529.10 c nbDecision=1032000 #constraints=5245 1529.18/1529.83 c nbDecision=1032500 #constraints=5245 1529.88/1530.57 c nbDecision=1033000 #constraints=5245 1530.68/1531.30 c nbDecision=1033500 #constraints=5245 1531.38/1532.03 c nbDecision=1034000 #constraints=5245 1532.08/1532.76 c nbDecision=1034500 #constraints=5245 1532.79/1533.48 c nbDecision=1035000 #constraints=5245 1533.59/1534.21 c nbDecision=1035500 #constraints=5245 1534.29/1534.93 c nbDecision=1036000 #constraints=5245 1534.99/1535.65 c nbDecision=1036500 #constraints=5245 1535.69/1536.38 c nbDecision=1037000 #constraints=5245 1536.49/1537.10 c nbDecision=1037500 #constraints=5245 1537.19/1537.82 c nbDecision=1038000 #constraints=5245 1537.89/1538.54 c nbDecision=1038500 #constraints=5245 1538.58/1539.26 c nbDecision=1039000 #constraints=5245 1539.29/1539.98 c nbDecision=1039500 #constraints=5245 1540.08/1540.76 c nbDecision=1040000 #constraints=5246 1540.88/1541.53 c nbDecision=1040500 #constraints=5246 1541.59/1542.30 c nbDecision=1041000 #constraints=5246 1542.38/1543.06 c nbDecision=1041500 #constraints=5246 1543.18/1543.83 c nbDecision=1042000 #constraints=5246 1543.88/1544.59 c nbDecision=1042500 #constraints=5246 1544.68/1545.34 c nbDecision=1043000 #constraints=5246 1545.48/1546.10 c nbDecision=1043500 #constraints=5246 1546.18/1546.86 c nbDecision=1044000 #constraints=5246 1546.98/1547.62 c nbDecision=1044500 #constraints=5246 1547.68/1548.38 c nbDecision=1045000 #constraints=5246 1548.48/1549.13 c nbDecision=1045500 #constraints=5246 1549.18/1549.88 c nbDecision=1046000 #constraints=5246 1549.98/1550.63 c nbDecision=1046500 #constraints=5246 1550.68/1551.38 c nbDecision=1047000 #constraints=5246 1551.48/1552.11 c nbDecision=1047500 #constraints=5246 1552.18/1552.86 c nbDecision=1048000 #constraints=5246 1552.98/1553.60 c nbDecision=1048500 #constraints=5246 1553.68/1554.34 c nbDecision=1049000 #constraints=5246 1554.38/1555.08 c nbDecision=1049500 #constraints=5246 1555.18/1555.81 c nbDecision=1050000 #constraints=5246 1555.88/1556.55 c nbDecision=1050500 #constraints=5246 1556.58/1557.29 c nbDecision=1051000 #constraints=5246 1557.38/1558.02 c nbDecision=1051500 #constraints=5246 1558.08/1558.75 c nbDecision=1052000 #constraints=5246 1558.77/1559.49 c nbDecision=1052500 #constraints=5246 1559.57/1560.22 c nbDecision=1053000 #constraints=5246 1560.28/1560.95 c nbDecision=1053500 #constraints=5246 1560.97/1561.69 c nbDecision=1054000 #constraints=5246 1561.77/1562.41 c nbDecision=1054500 #constraints=5246 1562.48/1563.15 c nbDecision=1055000 #constraints=5246 1563.17/1563.88 c nbDecision=1055500 #constraints=5246 1563.97/1564.61 c nbDecision=1056000 #constraints=5246 1564.68/1565.35 c nbDecision=1056500 #constraints=5246 1565.37/1566.08 c nbDecision=1057000 #constraints=5246 1566.17/1566.81 c nbDecision=1057500 #constraints=5246 1566.88/1567.55 c nbDecision=1058000 #constraints=5246 1567.57/1568.28 c nbDecision=1058500 #constraints=5246 1568.37/1569.01 c nbDecision=1059000 #constraints=5246 1569.07/1569.73 c nbDecision=1059500 #constraints=5246 1569.77/1570.46 c nbDecision=1060000 #constraints=5246 1570.47/1571.18 c nbDecision=1060500 #constraints=5246 1571.17/1571.89 c nbDecision=1061000 #constraints=5246 1571.97/1572.66 c nbDecision=1061500 #constraints=5247 1572.77/1573.42 c nbDecision=1062000 #constraints=5247 1573.47/1574.19 c nbDecision=1062500 #constraints=5247 1574.27/1574.95 c nbDecision=1063000 #constraints=5247 1575.07/1575.70 c nbDecision=1063500 #constraints=5247 1575.77/1576.46 c nbDecision=1064000 #constraints=5247 1576.57/1577.21 c nbDecision=1064500 #constraints=5247 1577.27/1577.97 c nbDecision=1065000 #constraints=5247 1578.07/1578.72 c nbDecision=1065500 #constraints=5247 1578.77/1579.48 c nbDecision=1066000 #constraints=5247 1579.57/1580.23 c nbDecision=1066500 #constraints=5247 1580.27/1580.98 c nbDecision=1067000 #constraints=5247 1581.07/1581.74 c nbDecision=1067500 #constraints=5247 1581.77/1582.49 c nbDecision=1068000 #constraints=5247 1582.56/1583.24 c nbDecision=1068500 #constraints=5247 1583.27/1583.99 c nbDecision=1069000 #constraints=5247 1584.06/1584.75 c nbDecision=1069500 #constraints=5247 1584.76/1585.48 c nbDecision=1070000 #constraints=5247 1585.57/1586.23 c nbDecision=1070500 #constraints=5247 1586.26/1586.98 c nbDecision=1071000 #constraints=5247 1587.06/1587.73 c nbDecision=1071500 #constraints=5247 1587.77/1588.47 c nbDecision=1072000 #constraints=5247 1588.56/1589.22 c nbDecision=1072500 #constraints=5247 1589.26/1589.96 c nbDecision=1073000 #constraints=5247 1590.06/1590.70 c nbDecision=1073500 #constraints=5247 1590.76/1591.44 c nbDecision=1074000 #constraints=5247 1591.46/1592.17 c nbDecision=1074500 #constraints=5247 1592.26/1592.90 c nbDecision=1075000 #constraints=5247 1592.96/1593.63 c nbDecision=1075500 #constraints=5247 1593.66/1594.37 c nbDecision=1076000 #constraints=5247 1594.46/1595.10 c nbDecision=1076500 #constraints=5247 1595.16/1595.83 c nbDecision=1077000 #constraints=5247 1595.86/1596.55 c nbDecision=1077500 #constraints=5247 1596.56/1597.27 c nbDecision=1078000 #constraints=5247 1597.26/1598.00 c nbDecision=1078500 #constraints=5247 1598.06/1598.72 c nbDecision=1079000 #constraints=5247 1598.76/1599.45 c nbDecision=1079500 #constraints=5247 1599.45/1600.17 c nbDecision=1080000 #constraints=5247 1600.15/1600.89 c nbDecision=1080500 #constraints=5247 1600.96/1601.62 c nbDecision=1081000 #constraints=5247 1601.65/1602.35 c nbDecision=1081500 #constraints=5247 1602.35/1603.08 c nbDecision=1082000 #constraints=5247 1603.16/1603.81 c nbDecision=1082500 #constraints=5247 1603.85/1604.53 c nbDecision=1083000 #constraints=5247 1604.55/1605.26 c nbDecision=1083500 #constraints=5247 1605.36/1606.06 c nbDecision=1084000 #constraints=5248 1606.15/1606.83 c nbDecision=1084500 #constraints=5248 1606.85/1607.59 c nbDecision=1085000 #constraints=5248 1607.65/1608.35 c nbDecision=1085500 #constraints=5248 1608.45/1609.12 c nbDecision=1086000 #constraints=5248 1609.15/1609.88 c nbDecision=1086500 #constraints=5248 1609.95/1610.64 c nbDecision=1087000 #constraints=5248 1610.65/1611.40 c nbDecision=1087500 #constraints=5248 1611.45/1612.15 c nbDecision=1088000 #constraints=5248 1612.25/1612.90 c nbDecision=1088500 #constraints=5248 1612.95/1613.66 c nbDecision=1089000 #constraints=5248 1613.75/1614.41 c nbDecision=1089500 #constraints=5248 1614.45/1615.15 c nbDecision=1090000 #constraints=5248 1615.15/1615.89 c nbDecision=1090500 #constraints=5248 1615.95/1616.63 c nbDecision=1091000 #constraints=5248 1616.65/1617.37 c nbDecision=1091500 #constraints=5248 1617.45/1618.12 c nbDecision=1092000 #constraints=5248 1618.15/1618.86 c nbDecision=1092500 #constraints=5248 1618.94/1619.60 c nbDecision=1093000 #constraints=5248 1619.65/1620.33 c nbDecision=1093500 #constraints=5248 1620.34/1621.07 c nbDecision=1094000 #constraints=5248 1621.14/1621.81 c nbDecision=1094500 #constraints=5248 1621.85/1622.55 c nbDecision=1095000 #constraints=5248 1622.54/1623.30 c nbDecision=1095500 #constraints=5248 1623.34/1624.04 c nbDecision=1096000 #constraints=5248 1624.05/1624.78 c nbDecision=1096500 #constraints=5248 1624.84/1625.51 c nbDecision=1097000 #constraints=5248 1625.54/1626.25 c nbDecision=1097500 #constraints=5248 1626.25/1626.99 c nbDecision=1098000 #constraints=5248 1627.04/1627.73 c nbDecision=1098500 #constraints=5248 1627.74/1628.46 c nbDecision=1099000 #constraints=5248 1628.45/1629.19 c nbDecision=1099500 #constraints=5248 1629.24/1629.93 c nbDecision=1100000 #constraints=5248 1629.94/1630.66 c nbDecision=1100500 #constraints=5248 1630.65/1631.39 c nbDecision=1101000 #constraints=5248 1631.44/1632.12 c nbDecision=1101500 #constraints=5248 1632.14/1632.84 c nbDecision=1102000 #constraints=5248 1632.84/1633.55 c nbDecision=1102500 #constraints=5248 1633.54/1634.27 c nbDecision=1103000 #constraints=5248 1634.24/1634.99 c nbDecision=1103500 #constraints=5248 1635.05/1635.71 c nbDecision=1104000 #constraints=5248 1635.74/1636.43 c nbDecision=1104500 #constraints=5248 1636.44/1637.14 c nbDecision=1105000 #constraints=5248 1637.14/1637.86 c nbDecision=1105500 #constraints=5248 1637.94/1638.63 c nbDecision=1106000 #constraints=5249 1638.64/1639.39 c nbDecision=1106500 #constraints=5249 1639.44/1640.15 c nbDecision=1107000 #constraints=5249 1640.24/1640.91 c nbDecision=1107500 #constraints=5249 1640.94/1641.68 c nbDecision=1108000 #constraints=5249 1641.74/1642.44 c nbDecision=1108500 #constraints=5249 1642.54/1643.21 c nbDecision=1109000 #constraints=5249 1643.24/1643.97 c nbDecision=1109500 #constraints=5249 1644.04/1644.73 c nbDecision=1110000 #constraints=5249 1644.74/1645.48 c nbDecision=1110500 #constraints=5249 1645.54/1646.24 c nbDecision=1111000 #constraints=5249 1646.24/1646.99 c nbDecision=1111500 #constraints=5249 1647.04/1647.75 c nbDecision=1112000 #constraints=5249 1647.83/1648.50 c nbDecision=1112500 #constraints=5249 1648.53/1649.25 c nbDecision=1113000 #constraints=5249 1649.24/1649.99 c nbDecision=1113500 #constraints=5249 1650.03/1650.74 c nbDecision=1114000 #constraints=5249 1650.73/1651.48 c nbDecision=1114500 #constraints=5249 1651.54/1652.22 c nbDecision=1115000 #constraints=5249 1652.23/1652.96 c nbDecision=1115500 #constraints=5249 1652.93/1653.70 c nbDecision=1116000 #constraints=5249 1653.74/1654.43 c nbDecision=1116500 #constraints=5249 1654.43/1655.17 c nbDecision=1117000 #constraints=5249 1655.23/1655.91 c nbDecision=1117500 #constraints=5249 1655.94/1656.63 c nbDecision=1118000 #constraints=5249 1656.63/1657.37 c nbDecision=1118500 #constraints=5249 1657.43/1658.10 c nbDecision=1119000 #constraints=5249 1658.13/1658.83 c nbDecision=1119500 #constraints=5249 1658.83/1659.57 c nbDecision=1120000 #constraints=5249 1659.63/1660.30 c nbDecision=1120500 #constraints=5249 1660.33/1661.03 c nbDecision=1121000 #constraints=5249 1661.03/1661.77 c nbDecision=1121500 #constraints=5249 1661.73/1662.50 c nbDecision=1122000 #constraints=5249 1662.53/1663.23 c nbDecision=1122500 #constraints=5249 1663.23/1663.97 c nbDecision=1123000 #constraints=5249 1664.03/1664.70 c nbDecision=1123500 #constraints=5249 1664.73/1665.42 c nbDecision=1124000 #constraints=5249 1665.43/1666.15 c nbDecision=1124500 #constraints=5249 1666.13/1666.88 c nbDecision=1125000 #constraints=5249 1666.93/1667.60 c nbDecision=1125500 #constraints=5249 1667.63/1668.33 c nbDecision=1126000 #constraints=5249 1668.33/1669.06 c nbDecision=1126500 #constraints=5249 1669.03/1669.78 c nbDecision=1127000 #constraints=5249 1669.83/1670.50 c nbDecision=1127500 #constraints=5249 1670.53/1671.23 c nbDecision=1128000 #constraints=5249 1671.33/1672.02 c nbDecision=1128500 #constraints=5250 1672.02/1672.78 c nbDecision=1129000 #constraints=5250 1672.82/1673.54 c nbDecision=1129500 #constraints=5250 1673.62/1674.30 c nbDecision=1130000 #constraints=5250 1674.32/1675.06 c nbDecision=1130500 #constraints=5250 1675.12/1675.81 c nbDecision=1131000 #constraints=5250 1675.82/1676.57 c nbDecision=1131500 #constraints=5250 1676.62/1677.32 c nbDecision=1132000 #constraints=5250 1677.32/1678.08 c nbDecision=1132500 #constraints=5250 1678.12/1678.83 c nbDecision=1133000 #constraints=5250 1678.82/1679.57 c nbDecision=1133500 #constraints=5250 1679.62/1680.32 c nbDecision=1134000 #constraints=5250 1680.32/1681.08 c nbDecision=1134500 #constraints=5250 1681.13/1681.83 c nbDecision=1135000 #constraints=5250 1681.82/1682.58 c nbDecision=1135500 #constraints=5250 1682.62/1683.33 c nbDecision=1136000 #constraints=5250 1683.32/1684.08 c nbDecision=1136500 #constraints=5250 1684.12/1684.83 c nbDecision=1137000 #constraints=5250 1684.82/1685.56 c nbDecision=1137500 #constraints=5250 1685.62/1686.31 c nbDecision=1138000 #constraints=5250 1686.32/1687.06 c nbDecision=1138500 #constraints=5250 1687.12/1687.80 c nbDecision=1139000 #constraints=5250 1687.82/1688.53 c nbDecision=1139500 #constraints=5250 1688.52/1689.28 c nbDecision=1140000 #constraints=5250 1689.32/1690.02 c nbDecision=1140500 #constraints=5250 1690.02/1690.76 c nbDecision=1141000 #constraints=5250 1690.72/1691.49 c nbDecision=1141500 #constraints=5250 1691.52/1692.22 c nbDecision=1142000 #constraints=5250 1692.22/1692.95 c nbDecision=1142500 #constraints=5250 1692.92/1693.68 c nbDecision=1143000 #constraints=5250 1693.72/1694.41 c nbDecision=1143500 #constraints=5250 1694.43/1695.13 c nbDecision=1144000 #constraints=5250 1695.12/1695.86 c nbDecision=1144500 #constraints=5250 1695.82/1696.59 c nbDecision=1145000 #constraints=5250 1696.63/1697.32 c nbDecision=1145500 #constraints=5250 1697.32/1698.04 c nbDecision=1146000 #constraints=5250 1698.02/1698.76 c nbDecision=1146500 #constraints=5250 1698.73/1699.47 c nbDecision=1147000 #constraints=5250 1699.42/1700.19 c nbDecision=1147500 #constraints=5250 1700.22/1700.92 c nbDecision=1148000 #constraints=5250 1700.93/1701.63 c nbDecision=1148500 #constraints=5250 1701.62/1702.36 c nbDecision=1149000 #constraints=5250 1702.32/1703.09 c nbDecision=1149500 #constraints=5250 1703.13/1703.81 c nbDecision=1150000 #constraints=5250 1703.82/1704.59 c nbDecision=1150500 #constraints=5251 1704.62/1705.36 c nbDecision=1151000 #constraints=5251 1705.42/1706.13 c nbDecision=1151500 #constraints=5251 1706.12/1706.89 c nbDecision=1152000 #constraints=5251 1706.92/1707.65 c nbDecision=1152500 #constraints=5251 1707.72/1708.42 c nbDecision=1153000 #constraints=5251 1708.42/1709.18 c nbDecision=1153500 #constraints=5251 1709.22/1709.93 c nbDecision=1154000 #constraints=5251 1709.92/1710.68 c nbDecision=1154500 #constraints=5251 1710.72/1711.43 c nbDecision=1155000 #constraints=5251 1711.42/1712.18 c nbDecision=1155500 #constraints=5251 1712.22/1712.93 c nbDecision=1156000 #constraints=5251 1712.92/1713.68 c nbDecision=1156500 #constraints=5251 1713.72/1714.42 c nbDecision=1157000 #constraints=5251 1714.42/1715.17 c nbDecision=1157500 #constraints=5251 1715.22/1715.91 c nbDecision=1158000 #constraints=5251 1715.92/1716.65 c nbDecision=1158500 #constraints=5251 1716.62/1717.39 c nbDecision=1159000 #constraints=5251 1717.42/1718.13 c nbDecision=1159500 #constraints=5251 1718.12/1718.87 c nbDecision=1160000 #constraints=5251 1718.91/1719.61 c nbDecision=1160500 #constraints=5251 1719.62/1720.34 c nbDecision=1161000 #constraints=5251 1720.31/1721.08 c nbDecision=1161500 #constraints=5251 1721.11/1721.82 c nbDecision=1162000 #constraints=5251 1721.82/1722.56 c nbDecision=1162500 #constraints=5251 1722.51/1723.29 c nbDecision=1163000 #constraints=5251 1723.31/1724.03 c nbDecision=1163500 #constraints=5251 1724.02/1724.77 c nbDecision=1164000 #constraints=5251 1724.81/1725.50 c nbDecision=1164500 #constraints=5251 1725.51/1726.23 c nbDecision=1165000 #constraints=5251 1726.21/1726.97 c nbDecision=1165500 #constraints=5251 1727.01/1727.70 c nbDecision=1166000 #constraints=5251 1727.71/1728.43 c nbDecision=1166500 #constraints=5251 1728.41/1729.16 c nbDecision=1167000 #constraints=5251 1729.11/1729.89 c nbDecision=1167500 #constraints=5251 1729.91/1730.60 c nbDecision=1168000 #constraints=5251 1730.61/1731.33 c nbDecision=1168500 #constraints=5251 1731.31/1732.06 c nbDecision=1169000 #constraints=5251 1732.01/1732.78 c nbDecision=1169500 #constraints=5251 1732.71/1733.49 c nbDecision=1170000 #constraints=5251 1733.51/1734.21 c nbDecision=1170500 #constraints=5251 1734.21/1734.93 c nbDecision=1171000 #constraints=5251 1734.91/1735.64 c nbDecision=1171500 #constraints=5251 1735.71/1736.41 c nbDecision=1172000 #constraints=5252 1736.41/1737.18 c nbDecision=1172500 #constraints=5252 1737.21/1737.94 c nbDecision=1173000 #constraints=5252 1737.91/1738.68 c nbDecision=1173500 #constraints=5252 1738.71/1739.43 c nbDecision=1174000 #constraints=5252 1739.41/1740.19 c nbDecision=1174500 #constraints=5252 1740.21/1740.94 c nbDecision=1175000 #constraints=5252 1741.01/1741.70 c nbDecision=1175500 #constraints=5252 1741.71/1742.46 c nbDecision=1176000 #constraints=5252 1742.50/1743.22 c nbDecision=1176500 #constraints=5252 1743.20/1743.97 c nbDecision=1177000 #constraints=5252 1744.00/1744.73 c nbDecision=1177500 #constraints=5252 1744.70/1745.48 c nbDecision=1178000 #constraints=5252 1745.50/1746.22 c nbDecision=1178500 #constraints=5252 1746.20/1746.98 c nbDecision=1179000 #constraints=5252 1747.00/1747.73 c nbDecision=1179500 #constraints=5252 1747.70/1748.47 c nbDecision=1180000 #constraints=5252 1748.50/1749.22 c nbDecision=1180500 #constraints=5252 1749.20/1749.96 c nbDecision=1181000 #constraints=5252 1749.90/1750.69 c nbDecision=1181500 #constraints=5252 1750.70/1751.43 c nbDecision=1182000 #constraints=5252 1751.40/1752.16 c nbDecision=1182500 #constraints=5252 1752.20/1752.90 c nbDecision=1183000 #constraints=5252 1752.90/1753.62 c nbDecision=1183500 #constraints=5252 1753.60/1754.35 c nbDecision=1184000 #constraints=5252 1754.30/1755.08 c nbDecision=1184500 #constraints=5252 1755.10/1755.82 c nbDecision=1185000 #constraints=5252 1755.80/1756.55 c nbDecision=1185500 #constraints=5252 1756.50/1757.28 c nbDecision=1186000 #constraints=5252 1757.30/1758.01 c nbDecision=1186500 #constraints=5252 1758.00/1758.74 c nbDecision=1187000 #constraints=5252 1758.69/1759.47 c nbDecision=1187500 #constraints=5252 1759.39/1760.20 c nbDecision=1188000 #constraints=5252 1760.19/1760.92 c nbDecision=1188500 #constraints=5252 1760.89/1761.65 c nbDecision=1189000 #constraints=5252 1761.59/1762.38 c nbDecision=1189500 #constraints=5252 1762.39/1763.11 c nbDecision=1190000 #constraints=5252 1763.09/1763.84 c nbDecision=1190500 #constraints=5252 1763.79/1764.56 c nbDecision=1191000 #constraints=5252 1764.49/1765.29 c nbDecision=1191500 #constraints=5252 1765.29/1766.02 c nbDecision=1192000 #constraints=5252 1765.99/1766.75 c nbDecision=1192500 #constraints=5252 1766.69/1767.47 c nbDecision=1193000 #constraints=5252 1767.39/1768.19 c nbDecision=1193500 #constraints=5252 1768.19/1768.95 c nbDecision=1194000 #constraints=5253 1768.99/1769.71 c nbDecision=1194500 #constraints=5253 1769.69/1770.47 c nbDecision=1195000 #constraints=5253 1770.49/1771.24 c nbDecision=1195500 #constraints=5253 1771.19/1772.00 c nbDecision=1196000 #constraints=5253 1771.99/1772.74 c nbDecision=1196500 #constraints=5253 1772.79/1773.50 c nbDecision=1197000 #constraints=5253 1773.49/1774.25 c nbDecision=1197500 #constraints=5253 1774.29/1775.00 c nbDecision=1198000 #constraints=5253 1774.99/1775.75 c nbDecision=1198500 #constraints=5253 1775.69/1776.50 c nbDecision=1199000 #constraints=5253 1776.49/1777.25 c nbDecision=1199500 #constraints=5253 1777.19/1777.99 c nbDecision=1200000 #constraints=5253 1777.99/1778.73 c nbDecision=1200500 #constraints=5253 1778.69/1779.48 c nbDecision=1201000 #constraints=5253 1779.49/1780.22 c nbDecision=1201500 #constraints=5253 1780.19/1780.96 c nbDecision=1202000 #constraints=5253 1780.99/1781.70 c nbDecision=1202500 #constraints=5253 1781.69/1782.45 c nbDecision=1203000 #constraints=5253 1782.39/1783.19 c nbDecision=1203500 #constraints=5253 1783.19/1783.94 c nbDecision=1204000 #constraints=5253 1783.88/1784.68 c nbDecision=1204500 #constraints=5253 1784.68/1785.42 c nbDecision=1205000 #constraints=5253 1785.38/1786.16 c nbDecision=1205500 #constraints=5253 1786.18/1786.90 c nbDecision=1206000 #constraints=5253 1786.88/1787.63 c nbDecision=1206500 #constraints=5253 1787.59/1788.37 c nbDecision=1207000 #constraints=5253 1788.38/1789.11 c nbDecision=1207500 #constraints=5253 1789.08/1789.84 c nbDecision=1208000 #constraints=5253 1789.78/1790.57 c nbDecision=1208500 #constraints=5253 1790.58/1791.30 c nbDecision=1209000 #constraints=5253 1791.28/1792.03 c nbDecision=1209500 #constraints=5253 1791.98/1792.76 c nbDecision=1210000 #constraints=5253 1792.68/1793.48 c nbDecision=1210500 #constraints=5253 1793.48/1794.21 c nbDecision=1211000 #constraints=5253 1794.18/1794.93 c nbDecision=1211500 #constraints=5253 1794.88/1795.64 c nbDecision=1212000 #constraints=5253 1795.59/1796.36 c nbDecision=1212500 #constraints=5253 1796.28/1797.08 c nbDecision=1213000 #constraints=5253 1797.08/1797.80 c nbDecision=1213500 #constraints=5253 1797.79/1798.51 c nbDecision=1214000 #constraints=5253 1798.48/1799.23 c nbDecision=1214500 #constraints=5253 1799.18/1799.94 c nbDecision=1215000 #constraints=5253 1799.88/1800.70 c nbDecision=1215500 #constraints=5254 1800.08/1800.80 Received signal 15 1800.08/1800.80 1800.08/1800.80 s UNKNOWN 1800.08/1800.80 1800.08/1800.80 c user time= 1799.92 s 1800.08/1800.80 c system time= 0.178972 s 1800.08/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/node39/watcher-356910-1176847747 -o ROOT/results/node39/solver-356910-1176847747 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356910-1176847747/instance-356910-1176847747.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.78 0.95 0.98 3/77 20045 /proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=1620 CPUtime=0 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132686771 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 405 175 126 317 0 84 0 [startup+0.00988894 s] /proc/loadavg: 0.78 0.95 0.98 3/77 20045 /proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=1752 CPUtime=0 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 228 0 0 0 0 0 0 0 18 0 1 0 132686771 1794048 210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 438 210 126 317 0 117 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1752 [startup+0.102904 s] /proc/loadavg: 0.78 0.95 0.98 3/77 20045 /proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=3440 CPUtime=0.1 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 795 0 0 0 10 0 0 0 18 0 1 0 132686771 3522560 550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 860 550 127 317 0 539 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3440 [startup+0.302939 s] /proc/loadavg: 0.78 0.95 0.98 3/77 20045 /proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=7212 CPUtime=0.29 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 1715 0 0 0 29 0 0 0 19 0 1 0 132686771 7385088 1470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 1803 1470 131 317 0 1482 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7212 [startup+0.702004 s] /proc/loadavg: 0.78 0.95 0.98 3/77 20045 /proc/meminfo: memFree=1881840/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=16188 CPUtime=0.69 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 3967 0 0 0 68 1 0 0 22 0 1 0 132686771 16576512 3722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831126 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 4047 3722 131 317 0 3726 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16188 [startup+1.50114 s] /proc/loadavg: 0.80 0.95 0.98 2/78 20046 /proc/meminfo: memFree=1853160/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=33908 CPUtime=1.49 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8415 0 0 0 146 3 0 0 25 0 1 0 132686771 34721792 8170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8477 8170 137 317 0 8156 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33908 [startup+3.10141 s] /proc/loadavg: 0.80 0.95 0.98 2/78 20046 /proc/meminfo: memFree=1849384/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=34040 CPUtime=3.09 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8424 0 0 0 306 3 0 0 25 0 1 0 132686771 34856960 8179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8510 8179 138 317 0 8189 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34040 [startup+6.30195 s] /proc/loadavg: 0.80 0.95 0.98 2/78 20046 /proc/meminfo: memFree=1849192/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=34040 CPUtime=6.29 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8426 0 0 0 626 3 0 0 25 0 1 0 132686771 34856960 8181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8510 8181 138 317 0 8189 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34040 [startup+12.702 s] /proc/loadavg: 0.83 0.95 0.98 2/78 20046 /proc/meminfo: memFree=1849200/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=34040 CPUtime=12.69 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8428 0 0 0 1266 3 0 0 25 0 1 0 132686771 34856960 8183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8510 8183 138 317 0 8189 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34040 [startup+25.5012 s] /proc/loadavg: 0.85 0.95 0.98 2/78 20046 /proc/meminfo: memFree=1849200/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=34040 CPUtime=25.48 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8434 0 0 0 2545 3 0 0 25 0 1 0 132686771 34856960 8189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8510 8189 138 317 0 8189 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34040 [startup+51.1025 s] /proc/loadavg: 0.90 0.96 0.98 2/78 20046 /proc/meminfo: memFree=1849136/2055920 swapFree=4115584/4192956 [pid=20045] ppid=20043 vsize=34040 CPUtime=51.07 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8445 0 0 0 5104 3 0 0 25 0 1 0 132686771 34856960 8200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8510 8200 138 317 0 8189 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34040 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 20046 /proc/meminfo: memFree=1849072/2055920 swapFree=4115648/4192956 [pid=20045] ppid=20043 vsize=34148 CPUtime=102.26 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8464 0 0 0 10222 4 0 0 25 0 1 0 132686771 34967552 8219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8537 8219 138 317 0 8216 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34148 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1848880/2055920 swapFree=4115648/4192956 [pid=20045] ppid=20043 vsize=34288 CPUtime=162.23 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 16219 4 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8572 8230 139 317 0 8251 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 34288 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1848880/2055920 swapFree=4115648/4192956 [pid=20045] ppid=20043 vsize=34288 CPUtime=222.21 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 22216 5 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8572 8230 139 317 0 8251 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 34288 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1848944/2055920 swapFree=4115712/4192956 [pid=20045] ppid=20043 vsize=34288 CPUtime=282.19 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 28214 5 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8572 8230 139 317 0 8251 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 34288 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1848944/2055920 swapFree=4115712/4192956 [pid=20045] ppid=20043 vsize=34288 CPUtime=342.17 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 34211 6 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8572 8230 139 317 0 8251 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 34288 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1848944/2055920 swapFree=4115776/4192956 [pid=20045] ppid=20043 vsize=34288 CPUtime=402.13 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 40207 6 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8572 8230 139 317 0 8251 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 34288 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1849072/2055920 swapFree=4115776/4192956 [pid=20045] ppid=20043 vsize=34288 CPUtime=462.11 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8511 0 0 0 46204 7 0 0 25 0 1 0 132686771 35110912 8230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8572 8230 139 317 0 8251 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 34288 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1849008/2055920 swapFree=4115776/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=522.08 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8518 0 0 0 52201 7 0 0 25 0 1 0 132686771 35241984 8237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8237 139 317 0 8283 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 34416 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1849008/2055920 swapFree=4115840/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=582.06 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8521 0 0 0 58198 8 0 0 25 0 1 0 132686771 35241984 8240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8240 139 317 0 8283 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 34416 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20046 /proc/meminfo: memFree=1849008/2055920 swapFree=4115840/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=642.04 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8521 0 0 0 64196 8 0 0 25 0 1 0 132686771 35241984 8240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8240 139 317 0 8283 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 34416 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.05 1.00 0.99 2/78 20046 /proc/meminfo: memFree=1848880/2055920 swapFree=4115904/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=821.97 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8529 0 0 0 82187 10 0 0 25 0 1 0 132686771 35241984 8248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8248 139 317 0 8283 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 34416 [startup+882.302 s] /proc/loadavg: 1.05 1.01 1.00 2/78 20046 /proc/meminfo: memFree=1848944/2055920 swapFree=4115968/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=881.94 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8532 0 0 0 88184 10 0 0 25 0 1 0 132686771 35241984 8251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8251 139 317 0 8283 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 34416 [startup+942.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 20046 /proc/meminfo: memFree=1848944/2055920 swapFree=4115968/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=941.93 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8534 0 0 0 94182 11 0 0 25 0 1 0 132686771 35241984 8253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8253 139 317 0 8283 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 34416 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848880/2055920 swapFree=4116032/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=1001.9 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8537 0 0 0 100179 11 0 0 25 0 1 0 132686771 35241984 8256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8256 139 317 0 8283 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 34416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848880/2055920 swapFree=4116032/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=1061.89 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8539 0 0 0 106177 12 0 0 25 0 1 0 132686771 35241984 8258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8258 139 317 0 8283 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 34416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848816/2055920 swapFree=4116032/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=1121.86 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8543 0 0 0 112174 12 0 0 25 0 1 0 132686771 35241984 8262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8262 139 317 0 8283 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 34416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848880/2055920 swapFree=4116096/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=1181.83 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8544 0 0 0 118170 13 0 0 25 0 1 0 132686771 35241984 8263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8263 139 317 0 8283 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 34416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848752/2055920 swapFree=4116096/4192956 [pid=20045] ppid=20043 vsize=34416 CPUtime=1241.8 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8546 0 0 0 124167 13 0 0 25 0 1 0 132686771 35241984 8265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8604 8265 139 317 0 8283 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 34416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848624/2055920 swapFree=4116160/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1301.79 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8549 0 0 0 130165 14 0 0 25 0 1 0 132686771 35377152 8268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8268 139 317 0 8316 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 34548 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 20046 /proc/meminfo: memFree=1848624/2055920 swapFree=4116160/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1361.75 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8551 0 0 0 136161 14 0 0 25 0 1 0 132686771 35377152 8270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8270 139 317 0 8316 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 34548 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/78 20046 /proc/meminfo: memFree=1848688/2055920 swapFree=4116224/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1421.73 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8554 0 0 0 142158 15 0 0 25 0 1 0 132686771 35377152 8273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8273 139 317 0 8316 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 34548 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848560/2055920 swapFree=4116224/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1481.7 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8557 0 0 0 148155 15 0 0 25 0 1 0 132686771 35377152 8276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8276 139 317 0 8316 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 34548 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848688/2055920 swapFree=4116224/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1541.68 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8560 0 0 0 154152 16 0 0 25 0 1 0 132686771 35377152 8279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8279 139 317 0 8316 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 34548 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848688/2055920 swapFree=4116288/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1601.65 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8561 0 0 0 160149 16 0 0 25 0 1 0 132686771 35377152 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8280 139 317 0 8316 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 34548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848688/2055920 swapFree=4116288/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1661.63 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8565 0 0 0 166147 16 0 0 25 0 1 0 132686771 35377152 8284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8284 139 317 0 8316 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 34548 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20046 /proc/meminfo: memFree=1848688/2055920 swapFree=4116352/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1721.61 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8568 0 0 0 172144 17 0 0 25 0 1 0 132686771 35377152 8287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8287 139 317 0 8316 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 34548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20048 /proc/meminfo: memFree=1848624/2055920 swapFree=4116352/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1781.59 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8571 0 0 0 178142 17 0 0 25 0 1 0 132686771 35377152 8290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8290 139 317 0 8316 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 34548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20048 /proc/meminfo: memFree=1848560/2055920 swapFree=4116352/4192956 [pid=20045] ppid=20043 vsize=34548 CPUtime=1800.08 /proc/20045/stat : 20045 (oree) R 20043 20045 19988 0 -1 4194304 8573 0 0 0 179991 17 0 0 25 0 1 0 132686771 35377152 8292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20045/statm: 8637 8292 139 317 0 8316 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 34548 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.12 CPU user time (s): 1799.93 CPU system time (s): 0.183972 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 34548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.183972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8589 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= 5968 runsolver used 2.00769 second user time and 4.66929 second system time The end
Begin job on node39 on Tue Apr 17 22:09:07 UTC 2007 IDJOB= 356910 IDBENCH= 1623 IDSOLVER= 172 FILE ID= node39/356910-1176847747 PBS_JOBID= 4590220 Free space on /tmp= 66479 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb COMMAND LINE= oree /tmp/evaluation/356910-1176847747/instance-356910-1176847747.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-356910-1176847747 -o ROOT/results/node39/solver-356910-1176847747 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356910-1176847747/instance-356910-1176847747.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cc797868c6f9cb3811b8dc2300ad7f9f RANDOM SEED= 541416094 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 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: 1882312 kB Buffers: 32580 kB Cached: 75124 kB SwapCached: 23400 kB Active: 88508 kB Inactive: 52412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1882312 kB SwapTotal: 4192956 kB SwapFree: 4115584 kB Dirty: 5060 kB Writeback: 0 kB Mapped: 30252 kB Slab: 18052 kB Committed_AS: 1752128 kB PageTables: 2012 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= 66479 MiB End job on node39 on Tue Apr 17 22:39:10 UTC 2007