Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.93 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb |
MD5SUM | bb02029eb777c2a6ae8e192b29bcb9de |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 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 | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.10/1.15 c ...done 1.10/1.15 c #vars=107808 #constraints=5185 hasObjective=yes 1.59/1.66 c res. mode=mod 1.59/1.66 c VSIDS like heuristics 1.59/1.66 c complete search running 2.39/2.42 c restart after 401 decisions 2.49/2.57 c nbDecision=500 #constraints=5185 2.99/3.04 c restart after 801 decisions 3.29/3.36 c nbDecision=1000 #constraints=5185 4.09/4.15 c nbDecision=1500 #constraints=5185 4.29/4.31 c restart after 1601 decisions 4.89/4.94 c nbDecision=2000 #constraints=5185 5.69/5.73 c nbDecision=2500 #constraints=5185 6.49/6.50 c nbDecision=3000 #constraints=5185 6.79/6.81 c restart after 3201 decisions 7.19/7.28 c nbDecision=3500 #constraints=5185 7.99/8.06 c nbDecision=4000 #constraints=5185 8.79/8.84 c nbDecision=4500 #constraints=5185 9.59/9.60 c nbDecision=5000 #constraints=5185 10.29/10.37 c nbDecision=5500 #constraints=5185 11.09/11.12 c nbDecision=6000 #constraints=5185 11.68/11.73 c restart after 6401 decisions 11.88/11.90 c nbDecision=6500 #constraints=5185 12.58/12.68 c nbDecision=7000 #constraints=5185 13.38/13.44 c nbDecision=7500 #constraints=5185 14.19/14.21 c nbDecision=8000 #constraints=5185 14.88/14.98 c nbDecision=8500 #constraints=5185 15.68/15.74 c nbDecision=9000 #constraints=5185 16.49/16.51 c nbDecision=9500 #constraints=5185 17.18/17.26 c nbDecision=10000 #constraints=5185 17.98/18.02 c nbDecision=10500 #constraints=5185 18.69/18.78 c nbDecision=11000 #constraints=5185 19.48/19.53 c nbDecision=11500 #constraints=5185 20.18/20.27 c nbDecision=12000 #constraints=5185 20.98/21.03 c nbDecision=12500 #constraints=5185 21.38/21.48 c restart after 12801 decisions 21.78/21.80 c nbDecision=13000 #constraints=5185 22.48/22.57 c nbDecision=13500 #constraints=5185 23.28/23.35 c nbDecision=14000 #constraints=5185 24.08/24.13 c nbDecision=14500 #constraints=5185 24.78/24.89 c nbDecision=15000 #constraints=5185 25.58/25.66 c nbDecision=15500 #constraints=5185 26.38/26.43 c nbDecision=16000 #constraints=5185 27.08/27.19 c nbDecision=16500 #constraints=5185 27.88/27.95 c nbDecision=17000 #constraints=5185 28.68/28.70 c nbDecision=17500 #constraints=5185 29.38/29.44 c nbDecision=18000 #constraints=5185 30.08/30.19 c nbDecision=18500 #constraints=5185 30.88/30.93 c nbDecision=19000 #constraints=5185 31.58/31.67 c nbDecision=19500 #constraints=5185 32.38/32.41 c nbDecision=20000 #constraints=5185 33.08/33.14 c nbDecision=20500 #constraints=5185 33.78/33.87 c nbDecision=21000 #constraints=5185 34.58/34.61 c nbDecision=21500 #constraints=5185 35.28/35.33 c nbDecision=22000 #constraints=5185 35.97/36.06 c nbDecision=22500 #constraints=5185 36.67/36.78 c nbDecision=23000 #constraints=5185 37.38/37.49 c nbDecision=23500 #constraints=5185 38.17/38.21 c nbDecision=24000 #constraints=5185 38.87/38.94 c nbDecision=24500 #constraints=5185 39.58/39.65 c nbDecision=25000 #constraints=5185 40.27/40.37 c nbDecision=25500 #constraints=5185 40.47/40.51 c restart after 25601 decisions 41.07/41.16 c nbDecision=26000 #constraints=5185 41.87/41.93 c nbDecision=26500 #constraints=5185 42.67/42.71 c nbDecision=27000 #constraints=5185 43.37/43.49 c nbDecision=27500 #constraints=5185 44.17/44.25 c nbDecision=28000 #constraints=5185 44.98/45.02 c nbDecision=28500 #constraints=5185 45.67/45.79 c nbDecision=29000 #constraints=5185 46.47/46.54 c nbDecision=29500 #constraints=5185 47.18/47.30 c nbDecision=30000 #constraints=5185 47.97/48.03 c nbDecision=30500 #constraints=5185 48.67/48.78 c nbDecision=31000 #constraints=5185 49.47/49.51 c nbDecision=31500 #constraints=5185 50.17/50.25 c nbDecision=32000 #constraints=5185 50.87/50.99 c nbDecision=32500 #constraints=5185 51.67/51.72 c nbDecision=33000 #constraints=5185 52.37/52.46 c nbDecision=33500 #constraints=5185 53.07/53.18 c nbDecision=34000 #constraints=5185 53.87/53.91 c nbDecision=34500 #constraints=5185 54.57/54.64 c nbDecision=35000 #constraints=5185 55.27/55.36 c nbDecision=35500 #constraints=5185 55.97/56.08 c nbDecision=36000 #constraints=5185 56.67/56.79 c nbDecision=36500 #constraints=5185 57.47/57.50 c nbDecision=37000 #constraints=5185 58.17/58.21 c nbDecision=37500 #constraints=5185 58.87/58.93 c nbDecision=38000 #constraints=5185 59.57/59.64 c nbDecision=38500 #constraints=5185 60.27/60.35 c nbDecision=39000 #constraints=5187 60.97/61.06 c nbDecision=39500 #constraints=5187 61.67/61.77 c nbDecision=40000 #constraints=5187 62.37/62.47 c nbDecision=40500 #constraints=5187 63.07/63.16 c nbDecision=41000 #constraints=5187 63.77/63.86 c nbDecision=41500 #constraints=5187 64.47/64.56 c nbDecision=42000 #constraints=5187 65.16/65.25 c nbDecision=42500 #constraints=5187 65.87/65.94 c nbDecision=43000 #constraints=5187 66.56/66.62 c nbDecision=43500 #constraints=5187 67.26/67.32 c nbDecision=44000 #constraints=5196 67.96/68.01 c nbDecision=44500 #constraints=5203 68.56/68.69 c nbDecision=45000 #constraints=5204 69.27/69.36 c nbDecision=45500 #constraints=5205 69.96/70.02 c nbDecision=46000 #constraints=5206 70.66/70.70 c nbDecision=46500 #constraints=5216 71.26/71.37 c nbDecision=47000 #constraints=5225 71.96/72.04 c nbDecision=47500 #constraints=5229 72.66/72.71 c nbDecision=48000 #constraints=5238 73.26/73.39 c nbDecision=48500 #constraints=5244 74.06/74.11 c nbDecision=49000 #constraints=5253 74.66/74.79 c nbDecision=49500 #constraints=5253 75.36/75.47 c nbDecision=50000 #constraints=5253 76.06/76.14 c nbDecision=50500 #constraints=5253 76.76/76.82 c nbDecision=51000 #constraints=5253 76.96/77.09 c restart after 51201 decisions 77.56/77.60 c nbDecision=51500 #constraints=5253 78.26/78.39 c nbDecision=52000 #constraints=5253 79.06/79.17 c nbDecision=52500 #constraints=5253 79.86/79.94 c nbDecision=53000 #constraints=5253 80.66/80.72 c nbDecision=53500 #constraints=5253 81.36/81.49 c nbDecision=54000 #constraints=5253 82.16/82.26 c nbDecision=54500 #constraints=5253 82.96/83.03 c nbDecision=55000 #constraints=5253 83.66/83.79 c nbDecision=55500 #constraints=5253 84.46/84.55 c nbDecision=56000 #constraints=5253 85.26/85.30 c nbDecision=56500 #constraints=5253 85.96/86.06 c nbDecision=57000 #constraints=5253 86.76/86.81 c nbDecision=57500 #constraints=5253 87.46/87.56 c nbDecision=58000 #constraints=5253 88.16/88.30 c nbDecision=58500 #constraints=5253 88.96/89.03 c nbDecision=59000 #constraints=5253 89.66/89.75 c nbDecision=59500 #constraints=5253 90.36/90.47 c nbDecision=60000 #constraints=5253 91.06/91.20 c nbDecision=60500 #constraints=5253 91.86/91.91 c nbDecision=61000 #constraints=5253 92.55/92.62 c nbDecision=61500 #constraints=5253 93.25/93.34 c nbDecision=62000 #constraints=5253 93.95/94.05 c nbDecision=62500 #constraints=5253 94.65/94.76 c nbDecision=63000 #constraints=5253 95.35/95.47 c nbDecision=63500 #constraints=5253 96.05/96.17 c nbDecision=64000 #constraints=5253 96.76/96.87 c nbDecision=64500 #constraints=5253 97.45/97.56 c nbDecision=65000 #constraints=5253 98.15/98.26 c nbDecision=65500 #constraints=5253 98.86/98.96 c nbDecision=66000 #constraints=5253 99.55/99.65 c nbDecision=66500 #constraints=5253 100.25/100.35 c nbDecision=67000 #constraints=5253 100.95/101.06 c nbDecision=67500 #constraints=5253 101.65/101.76 c nbDecision=68000 #constraints=5253 102.35/102.44 c nbDecision=68500 #constraints=5253 103.05/103.13 c nbDecision=69000 #constraints=5253 103.75/103.82 c nbDecision=69500 #constraints=5253 104.35/104.49 c nbDecision=70000 #constraints=5253 105.05/105.17 c nbDecision=70500 #constraints=5253 105.75/105.85 c nbDecision=71000 #constraints=5253 106.45/106.52 c nbDecision=71500 #constraints=5253 107.05/107.19 c nbDecision=72000 #constraints=5253 107.75/107.85 c nbDecision=72500 #constraints=5253 108.45/108.51 c nbDecision=73000 #constraints=5253 109.05/109.16 c nbDecision=73500 #constraints=5253 109.75/109.81 c nbDecision=74000 #constraints=5253 110.35/110.47 c nbDecision=74500 #constraints=5254 111.05/111.13 c nbDecision=75000 #constraints=5255 111.65/111.79 c nbDecision=75500 #constraints=5255 112.35/112.45 c nbDecision=76000 #constraints=5255 113.05/113.10 c nbDecision=76500 #constraints=5255 113.65/113.75 c nbDecision=77000 #constraints=5255 114.35/114.41 c nbDecision=77500 #constraints=5255 114.95/115.09 c nbDecision=78000 #constraints=5256 115.65/115.75 c nbDecision=78500 #constraints=5256 116.35/116.42 c nbDecision=79000 #constraints=5256 116.95/117.09 c nbDecision=79500 #constraints=5256 117.65/117.75 c nbDecision=80000 #constraints=5256 118.35/118.42 c nbDecision=80500 #constraints=5256 118.95/119.08 c nbDecision=81000 #constraints=5256 119.64/119.74 c nbDecision=81500 #constraints=5256 120.34/120.40 c nbDecision=82000 #constraints=5256 120.95/121.06 c nbDecision=82500 #constraints=5256 121.64/121.76 c nbDecision=83000 #constraints=5257 122.34/122.45 c nbDecision=83500 #constraints=5257 123.05/123.14 c nbDecision=84000 #constraints=5257 123.74/123.81 c nbDecision=84500 #constraints=5257 124.34/124.49 c nbDecision=85000 #constraints=5257 125.04/125.17 c nbDecision=85500 #constraints=5257 125.74/125.84 c nbDecision=86000 #constraints=5257 126.45/126.51 c nbDecision=86500 #constraints=5257 127.04/127.18 c nbDecision=87000 #constraints=5257 127.74/127.84 c nbDecision=87500 #constraints=5257 128.44/128.50 c nbDecision=88000 #constraints=5257 129.04/129.15 c nbDecision=88500 #constraints=5257 129.75/129.81 c nbDecision=89000 #constraints=5257 130.34/130.49 c nbDecision=89500 #constraints=5258 131.04/131.16 c nbDecision=90000 #constraints=5258 131.74/131.83 c nbDecision=90500 #constraints=5258 132.44/132.50 c nbDecision=91000 #constraints=5258 133.04/133.16 c nbDecision=91500 #constraints=5258 133.74/133.82 c nbDecision=92000 #constraints=5258 134.34/134.48 c nbDecision=92500 #constraints=5258 135.04/135.13 c nbDecision=93000 #constraints=5258 135.64/135.79 c nbDecision=93500 #constraints=5258 136.34/136.44 c nbDecision=94000 #constraints=5258 137.04/137.11 c nbDecision=94500 #constraints=5259 137.64/137.79 c nbDecision=95000 #constraints=5259 138.34/138.47 c nbDecision=95500 #constraints=5259 139.04/139.14 c nbDecision=96000 #constraints=5259 139.74/139.82 c nbDecision=96500 #constraints=5259 140.34/140.48 c nbDecision=97000 #constraints=5259 141.04/141.15 c nbDecision=97500 #constraints=5259 141.74/141.81 c nbDecision=98000 #constraints=5259 142.33/142.47 c nbDecision=98500 #constraints=5259 143.03/143.12 c nbDecision=99000 #constraints=5259 143.63/143.79 c nbDecision=99500 #constraints=5260 144.34/144.45 c nbDecision=100000 #constraints=5260 145.05/145.11 c nbDecision=100500 #constraints=5261 145.64/145.77 c nbDecision=101000 #constraints=5261 146.34/146.42 c nbDecision=101500 #constraints=5261 147.04/147.11 c nbDecision=102000 #constraints=5262 147.54/147.64 c restart after 102401 decisions 147.74/147.84 c nbDecision=102500 #constraints=5262 148.54/148.62 c nbDecision=103000 #constraints=5262 149.24/149.40 c nbDecision=103500 #constraints=5262 150.04/150.17 c nbDecision=104000 #constraints=5262 150.84/150.94 c nbDecision=104500 #constraints=5262 151.64/151.71 c nbDecision=105000 #constraints=5262 152.34/152.47 c nbDecision=105500 #constraints=5262 153.14/153.23 c nbDecision=106000 #constraints=5262 153.84/153.99 c nbDecision=106500 #constraints=5262 154.64/154.74 c nbDecision=107000 #constraints=5262 155.34/155.49 c nbDecision=107500 #constraints=5262 156.14/156.24 c nbDecision=108000 #constraints=5262 156.84/156.98 c nbDecision=108500 #constraints=5262 157.64/157.73 c nbDecision=109000 #constraints=5262 158.34/158.47 c nbDecision=109500 #constraints=5262 159.14/159.21 c nbDecision=110000 #constraints=5262 159.84/159.95 c nbDecision=110500 #constraints=5262 160.54/160.69 c nbDecision=111000 #constraints=5262 161.34/161.41 c nbDecision=111500 #constraints=5262 162.04/162.14 c nbDecision=112000 #constraints=5262 162.74/162.87 c nbDecision=112500 #constraints=5262 163.44/163.59 c nbDecision=113000 #constraints=5262 164.24/164.30 c nbDecision=113500 #constraints=5262 164.94/165.01 c nbDecision=114000 #constraints=5262 165.64/165.73 c nbDecision=114500 #constraints=5262 166.33/166.44 c nbDecision=115000 #constraints=5262 167.04/167.15 c nbDecision=115500 #constraints=5262 167.73/167.86 c nbDecision=116000 #constraints=5262 168.43/168.55 c nbDecision=116500 #constraints=5262 169.13/169.24 c nbDecision=117000 #constraints=5262 169.83/169.94 c nbDecision=117500 #constraints=5262 170.53/170.62 c nbDecision=118000 #constraints=5262 171.23/171.31 c nbDecision=118500 #constraints=5262 171.83/171.99 c nbDecision=119000 #constraints=5262 172.54/172.67 c nbDecision=119500 #constraints=5262 173.23/173.35 c nbDecision=120000 #constraints=5262 173.93/174.02 c nbDecision=120500 #constraints=5262 174.53/174.69 c nbDecision=121000 #constraints=5262 175.23/175.37 c nbDecision=121500 #constraints=5262 175.94/176.04 c nbDecision=122000 #constraints=5262 176.53/176.70 c nbDecision=122500 #constraints=5262 177.23/177.36 c nbDecision=123000 #constraints=5262 177.93/178.02 c nbDecision=123500 #constraints=5262 178.53/178.68 c nbDecision=124000 #constraints=5262 179.23/179.34 c nbDecision=124500 #constraints=5262 179.83/180.00 c nbDecision=125000 #constraints=5262 180.53/180.66 c nbDecision=125500 #constraints=5263 181.23/181.32 c nbDecision=126000 #constraints=5263 181.83/181.98 c nbDecision=126500 #constraints=5263 182.53/182.64 c nbDecision=127000 #constraints=5263 183.23/183.33 c nbDecision=127500 #constraints=5264 183.93/184.02 c nbDecision=128000 #constraints=5264 184.63/184.72 c nbDecision=128500 #constraints=5264 185.33/185.41 c nbDecision=129000 #constraints=5264 185.93/186.09 c nbDecision=129500 #constraints=5264 186.63/186.76 c nbDecision=130000 #constraints=5264 187.33/187.43 c nbDecision=130500 #constraints=5264 188.03/188.10 c nbDecision=131000 #constraints=5264 188.63/188.77 c nbDecision=131500 #constraints=5264 189.33/189.43 c nbDecision=132000 #constraints=5264 189.93/190.08 c nbDecision=132500 #constraints=5264 190.63/190.73 c nbDecision=133000 #constraints=5264 191.23/191.39 c nbDecision=133500 #constraints=5264 191.93/192.06 c nbDecision=134000 #constraints=5266 192.63/192.74 c nbDecision=134500 #constraints=5266 193.33/193.41 c nbDecision=135000 #constraints=5266 193.93/194.08 c nbDecision=135500 #constraints=5266 194.63/194.76 c nbDecision=136000 #constraints=5266 195.33/195.43 c nbDecision=136500 #constraints=5266 196.02/196.10 c nbDecision=137000 #constraints=5266 196.62/196.76 c nbDecision=137500 #constraints=5266 197.32/197.42 c nbDecision=138000 #constraints=5266 197.93/198.09 c nbDecision=138500 #constraints=5266 198.62/198.74 c nbDecision=139000 #constraints=5266 199.32/199.41 c nbDecision=139500 #constraints=5266 199.92/200.06 c nbDecision=140000 #constraints=5266 200.62/200.75 c nbDecision=140500 #constraints=5267 201.32/201.44 c nbDecision=141000 #constraints=5267 202.02/202.12 c nbDecision=141500 #constraints=5267 202.72/202.81 c nbDecision=142000 #constraints=5267 203.33/203.49 c nbDecision=142500 #constraints=5267 204.02/204.17 c nbDecision=143000 #constraints=5267 204.72/204.84 c nbDecision=143500 #constraints=5267 205.42/205.51 c nbDecision=144000 #constraints=5267 206.02/206.18 c nbDecision=144500 #constraints=5267 206.72/206.85 c nbDecision=145000 #constraints=5267 207.42/207.51 c nbDecision=145500 #constraints=5267 208.02/208.17 c nbDecision=146000 #constraints=5267 208.72/208.81 c nbDecision=146500 #constraints=5267 209.42/209.50 c nbDecision=147000 #constraints=5268 210.02/210.18 c nbDecision=147500 #constraints=5268 210.72/210.85 c nbDecision=148000 #constraints=5268 211.42/211.53 c nbDecision=148500 #constraints=5268 212.02/212.20 c nbDecision=149000 #constraints=5268 212.72/212.86 c nbDecision=149500 #constraints=5268 213.42/213.52 c nbDecision=150000 #constraints=5268 214.02/214.19 c nbDecision=150500 #constraints=5268 214.72/214.84 c nbDecision=151000 #constraints=5268 215.32/215.50 c nbDecision=151500 #constraints=5268 216.02/216.16 c nbDecision=152000 #constraints=5268 216.72/216.81 c nbDecision=152500 #constraints=5268 217.32/217.47 c nbDecision=153000 #constraints=5269 218.02/218.12 c nbDecision=153500 #constraints=5269 218.61/218.79 c nbDecision=154000 #constraints=5269 219.31/219.45 c nbDecision=154500 #constraints=5270 220.01/220.11 c nbDecision=155000 #constraints=5270 220.61/220.77 c nbDecision=155500 #constraints=5270 221.31/221.43 c nbDecision=156000 #constraints=5270 222.02/222.12 c nbDecision=156500 #constraints=5271 222.61/222.79 c nbDecision=157000 #constraints=5271 223.31/223.46 c nbDecision=157500 #constraints=5271 224.01/224.12 c nbDecision=158000 #constraints=5271 224.61/224.78 c nbDecision=158500 #constraints=5271 225.32/225.44 c nbDecision=159000 #constraints=5271 226.01/226.10 c nbDecision=159500 #constraints=5271 226.61/226.79 c nbDecision=160000 #constraints=5272 227.31/227.47 c nbDecision=160500 #constraints=5272 228.01/228.15 c nbDecision=161000 #constraints=5272 228.71/228.82 c nbDecision=161500 #constraints=5272 229.41/229.50 c nbDecision=162000 #constraints=5272 230.01/230.17 c nbDecision=162500 #constraints=5272 230.71/230.83 c nbDecision=163000 #constraints=5272 231.31/231.49 c nbDecision=163500 #constraints=5272 232.01/232.16 c nbDecision=164000 #constraints=5272 232.71/232.81 c nbDecision=164500 #constraints=5272 233.31/233.47 c nbDecision=165000 #constraints=5272 234.01/234.12 c nbDecision=165500 #constraints=5272 234.61/234.78 c nbDecision=166000 #constraints=5272 235.31/235.47 c nbDecision=166500 #constraints=5273 236.01/236.15 c nbDecision=167000 #constraints=5273 236.71/236.83 c nbDecision=167500 #constraints=5273 237.41/237.50 c nbDecision=168000 #constraints=5273 238.01/238.17 c nbDecision=168500 #constraints=5273 238.71/238.84 c nbDecision=169000 #constraints=5273 239.41/239.52 c nbDecision=169500 #constraints=5273 240.01/240.18 c nbDecision=170000 #constraints=5273 240.71/240.85 c nbDecision=170500 #constraints=5273 241.41/241.51 c nbDecision=171000 #constraints=5273 242.01/242.17 c nbDecision=171500 #constraints=5273 242.71/242.82 c nbDecision=172000 #constraints=5273 243.40/243.50 c nbDecision=172500 #constraints=5274 244.01/244.17 c nbDecision=173000 #constraints=5274 244.70/244.83 c nbDecision=173500 #constraints=5274 245.40/245.50 c nbDecision=174000 #constraints=5274 246.00/246.16 c nbDecision=174500 #constraints=5274 246.70/246.82 c nbDecision=175000 #constraints=5274 247.31/247.48 c nbDecision=175500 #constraints=5274 248.00/248.14 c nbDecision=176000 #constraints=5274 248.70/248.81 c nbDecision=176500 #constraints=5275 249.30/249.47 c nbDecision=177000 #constraints=5275 250.00/250.12 c nbDecision=177500 #constraints=5275 250.61/250.77 c nbDecision=178000 #constraints=5275 251.30/251.43 c nbDecision=178500 #constraints=5275 251.90/252.08 c nbDecision=179000 #constraints=5275 252.60/252.77 c nbDecision=179500 #constraints=5276 253.30/253.45 c nbDecision=180000 #constraints=5276 254.01/254.13 c nbDecision=180500 #constraints=5276 254.70/254.80 c nbDecision=181000 #constraints=5276 255.30/255.48 c nbDecision=181500 #constraints=5276 256.00/256.15 c nbDecision=182000 #constraints=5276 256.70/256.81 c nbDecision=182500 #constraints=5276 257.30/257.47 c nbDecision=183000 #constraints=5276 258.00/258.14 c nbDecision=183500 #constraints=5276 258.70/258.80 c nbDecision=184000 #constraints=5276 259.30/259.46 c nbDecision=184500 #constraints=5276 260.00/260.12 c nbDecision=185000 #constraints=5276 260.70/260.80 c nbDecision=185500 #constraints=5277 261.30/261.49 c nbDecision=186000 #constraints=5277 262.00/262.17 c nbDecision=186500 #constraints=5277 262.70/262.85 c nbDecision=187000 #constraints=5277 263.40/263.53 c nbDecision=187500 #constraints=5277 264.10/264.20 c nbDecision=188000 #constraints=5277 264.69/264.87 c nbDecision=188500 #constraints=5277 265.39/265.54 c nbDecision=189000 #constraints=5277 266.00/266.20 c nbDecision=189500 #constraints=5277 266.69/266.86 c nbDecision=190000 #constraints=5277 267.39/267.52 c nbDecision=190500 #constraints=5277 267.99/268.19 c nbDecision=191000 #constraints=5278 268.69/268.87 c nbDecision=191500 #constraints=5278 269.40/269.55 c nbDecision=192000 #constraints=5278 270.09/270.22 c nbDecision=192500 #constraints=5278 270.69/270.89 c nbDecision=193000 #constraints=5278 271.39/271.55 c nbDecision=193500 #constraints=5278 272.09/272.22 c nbDecision=194000 #constraints=5278 272.69/272.88 c nbDecision=194500 #constraints=5278 273.39/273.53 c nbDecision=195000 #constraints=5278 273.99/274.19 c nbDecision=195500 #constraints=5278 274.69/274.84 c nbDecision=196000 #constraints=5278 275.39/275.50 c nbDecision=196500 #constraints=5279 275.99/276.15 c nbDecision=197000 #constraints=5279 276.69/276.80 c nbDecision=197500 #constraints=5280 277.29/277.45 c nbDecision=198000 #constraints=5280 277.99/278.12 c nbDecision=198500 #constraints=5281 278.58/278.77 c nbDecision=199000 #constraints=5281 279.29/279.43 c nbDecision=199500 #constraints=5281 279.98/280.14 c nbDecision=200000 #constraints=5282 280.68/280.82 c nbDecision=200500 #constraints=5282 281.39/281.51 c nbDecision=201000 #constraints=5282 281.98/282.19 c nbDecision=201500 #constraints=5282 282.68/282.86 c nbDecision=202000 #constraints=5282 283.38/283.54 c nbDecision=202500 #constraints=5282 284.08/284.20 c nbDecision=203000 #constraints=5282 284.69/284.87 c nbDecision=203500 #constraints=5282 285.38/285.53 c nbDecision=204000 #constraints=5282 285.98/286.19 c nbDecision=204500 #constraints=5282 286.38/286.59 c restart after 204801 decisions 286.78/286.95 c nbDecision=205000 #constraints=5282 287.58/287.73 c nbDecision=205500 #constraints=5282 288.38/288.51 c nbDecision=206000 #constraints=5282 289.09/289.28 c nbDecision=206500 #constraints=5282 289.88/290.05 c nbDecision=207000 #constraints=5282 290.68/290.82 c nbDecision=207500 #constraints=5282 291.38/291.58 c nbDecision=208000 #constraints=5282 292.18/292.34 c nbDecision=208500 #constraints=5282 292.98/293.10 c nbDecision=209000 #constraints=5282 293.68/293.85 c nbDecision=209500 #constraints=5282 294.38/294.59 c nbDecision=210000 #constraints=5282 295.18/295.34 c nbDecision=210500 #constraints=5282 295.88/296.09 c nbDecision=211000 #constraints=5282 296.68/296.83 c nbDecision=211500 #constraints=5282 297.38/297.57 c nbDecision=212000 #constraints=5282 298.18/298.31 c nbDecision=212500 #constraints=5282 298.88/299.05 c nbDecision=213000 #constraints=5282 299.58/299.78 c nbDecision=213500 #constraints=5282 300.38/300.52 c nbDecision=214000 #constraints=5282 301.08/301.24 c nbDecision=214500 #constraints=5282 301.78/301.96 c nbDecision=215000 #constraints=5282 302.48/302.68 c nbDecision=215500 #constraints=5282 303.17/303.39 c nbDecision=216000 #constraints=5282 303.97/304.10 c nbDecision=216500 #constraints=5282 304.67/304.81 c nbDecision=217000 #constraints=5282 305.37/305.52 c nbDecision=217500 #constraints=5282 306.07/306.23 c nbDecision=218000 #constraints=5282 306.78/306.94 c nbDecision=218500 #constraints=5282 307.47/307.64 c nbDecision=219000 #constraints=5282 308.17/308.33 c nbDecision=219500 #constraints=5282 308.88/309.02 c nbDecision=220000 #constraints=5282 309.57/309.70 c nbDecision=220500 #constraints=5282 310.17/310.39 c nbDecision=221000 #constraints=5282 310.87/311.07 c nbDecision=221500 #constraints=5282 311.57/311.74 c nbDecision=222000 #constraints=5282 312.28/312.42 c nbDecision=222500 #constraints=5282 312.87/313.09 c nbDecision=223000 #constraints=5282 313.57/313.77 c nbDecision=223500 #constraints=5282 314.27/314.44 c nbDecision=224000 #constraints=5282 314.97/315.11 c nbDecision=224500 #constraints=5282 315.58/315.77 c nbDecision=225000 #constraints=5282 316.27/316.43 c nbDecision=225500 #constraints=5282 316.87/317.09 c nbDecision=226000 #constraints=5282 317.57/317.75 c nbDecision=226500 #constraints=5282 318.27/318.43 c nbDecision=227000 #constraints=5282 318.87/319.08 c nbDecision=227500 #constraints=5282 319.67/319.81 c nbDecision=228000 #constraints=5283 320.37/320.56 c nbDecision=228500 #constraints=5283 321.07/321.29 c nbDecision=229000 #constraints=5283 321.87/322.03 c nbDecision=229500 #constraints=5283 322.57/322.76 c nbDecision=230000 #constraints=5283 323.27/323.48 c nbDecision=230500 #constraints=5283 324.07/324.20 c nbDecision=231000 #constraints=5283 324.77/324.93 c nbDecision=231500 #constraints=5283 325.47/325.65 c nbDecision=232000 #constraints=5283 326.17/326.36 c nbDecision=232500 #constraints=5283 326.87/327.07 c nbDecision=233000 #constraints=5283 327.57/327.78 c nbDecision=233500 #constraints=5283 328.26/328.48 c nbDecision=234000 #constraints=5283 328.96/329.18 c nbDecision=234500 #constraints=5283 329.66/329.88 c nbDecision=235000 #constraints=5283 330.36/330.57 c nbDecision=235500 #constraints=5283 331.06/331.25 c nbDecision=236000 #constraints=5283 331.76/331.94 c nbDecision=236500 #constraints=5283 332.46/332.62 c nbDecision=237000 #constraints=5283 333.17/333.30 c nbDecision=237500 #constraints=5283 333.76/333.99 c nbDecision=238000 #constraints=5283 334.47/334.66 c nbDecision=238500 #constraints=5283 335.17/335.33 c nbDecision=239000 #constraints=5283 335.87/336.01 c nbDecision=239500 #constraints=5283 336.47/336.68 c nbDecision=240000 #constraints=5283 337.17/337.35 c nbDecision=240500 #constraints=5283 337.87/338.01 c nbDecision=241000 #constraints=5283 338.47/338.68 c nbDecision=241500 #constraints=5283 339.17/339.34 c nbDecision=242000 #constraints=5283 339.77/339.99 c nbDecision=242500 #constraints=5283 340.47/340.65 c nbDecision=243000 #constraints=5283 341.17/341.31 c nbDecision=243500 #constraints=5283 341.87/342.05 c nbDecision=244000 #constraints=5284 342.57/342.79 c nbDecision=244500 #constraints=5284 343.37/343.52 c nbDecision=245000 #constraints=5284 344.07/344.24 c nbDecision=245500 #constraints=5284 344.77/344.96 c nbDecision=246000 #constraints=5284 345.47/345.68 c nbDecision=246500 #constraints=5284 346.17/346.39 c nbDecision=247000 #constraints=5284 346.97/347.10 c nbDecision=247500 #constraints=5284 347.67/347.81 c nbDecision=248000 #constraints=5284 348.37/348.52 c nbDecision=248500 #constraints=5284 349.06/349.22 c nbDecision=249000 #constraints=5284 349.76/349.92 c nbDecision=249500 #constraints=5284 350.46/350.61 c nbDecision=250000 #constraints=5284 351.16/351.30 c nbDecision=250500 #constraints=5284 351.77/351.99 c nbDecision=251000 #constraints=5284 352.46/352.67 c nbDecision=251500 #constraints=5284 353.16/353.35 c nbDecision=252000 #constraints=5284 353.86/354.03 c nbDecision=252500 #constraints=5284 354.56/354.71 c nbDecision=253000 #constraints=5284 355.17/355.39 c nbDecision=253500 #constraints=5284 355.86/356.05 c nbDecision=254000 #constraints=5284 356.56/356.73 c nbDecision=254500 #constraints=5284 357.16/357.39 c nbDecision=255000 #constraints=5284 357.86/358.06 c nbDecision=255500 #constraints=5284 358.56/358.73 c nbDecision=256000 #constraints=5284 359.16/359.39 c nbDecision=256500 #constraints=5284 359.86/360.05 c nbDecision=257000 #constraints=5284 360.57/360.71 c nbDecision=257500 #constraints=5284 361.16/361.37 c nbDecision=258000 #constraints=5284 361.86/362.09 c nbDecision=258500 #constraints=5285 362.66/362.82 c nbDecision=259000 #constraints=5285 363.36/363.56 c nbDecision=259500 #constraints=5285 364.06/364.28 c nbDecision=260000 #constraints=5285 364.86/365.00 c nbDecision=260500 #constraints=5285 365.56/365.72 c nbDecision=261000 #constraints=5285 366.26/366.44 c nbDecision=261500 #constraints=5285 366.96/367.15 c nbDecision=262000 #constraints=5285 367.66/367.86 c nbDecision=262500 #constraints=5285 368.36/368.57 c nbDecision=263000 #constraints=5285 369.06/369.27 c nbDecision=263500 #constraints=5285 369.76/369.97 c nbDecision=264000 #constraints=5285 370.46/370.66 c nbDecision=264500 #constraints=5285 371.16/371.35 c nbDecision=265000 #constraints=5285 371.86/372.05 c nbDecision=265500 #constraints=5285 372.56/372.73 c nbDecision=266000 #constraints=5285 373.26/373.42 c nbDecision=266500 #constraints=5285 373.96/374.10 c nbDecision=267000 #constraints=5285 374.56/374.78 c nbDecision=267500 #constraints=5285 375.25/375.46 c nbDecision=268000 #constraints=5285 375.96/376.13 c nbDecision=268500 #constraints=5285 376.65/376.80 c nbDecision=269000 #constraints=5285 377.25/377.47 c nbDecision=269500 #constraints=5285 377.95/378.14 c nbDecision=270000 #constraints=5285 378.65/378.81 c nbDecision=270500 #constraints=5285 379.26/379.47 c nbDecision=271000 #constraints=5285 379.95/380.14 c nbDecision=271500 #constraints=5285 380.65/380.80 c nbDecision=272000 #constraints=5285 381.25/381.46 c nbDecision=272500 #constraints=5285 381.95/382.12 c nbDecision=273000 #constraints=5285 382.65/382.87 c nbDecision=273500 #constraints=5286 383.45/383.61 c nbDecision=274000 #constraints=5286 384.15/384.35 c nbDecision=274500 #constraints=5286 384.85/385.08 c nbDecision=275000 #constraints=5286 385.55/385.79 c nbDecision=275500 #constraints=5286 386.35/386.50 c nbDecision=276000 #constraints=5286 387.05/387.21 c nbDecision=276500 #constraints=5286 387.75/387.93 c nbDecision=277000 #constraints=5286 388.45/388.64 c nbDecision=277500 #constraints=5286 389.15/389.34 c nbDecision=278000 #constraints=5286 389.85/390.04 c nbDecision=278500 #constraints=5286 390.55/390.74 c nbDecision=279000 #constraints=5286 391.25/391.44 c nbDecision=279500 #constraints=5286 391.95/392.13 c nbDecision=280000 #constraints=5286 392.65/392.82 c nbDecision=280500 #constraints=5286 393.35/393.51 c nbDecision=281000 #constraints=5286 393.95/394.19 c nbDecision=281500 #constraints=5286 394.65/394.88 c nbDecision=282000 #constraints=5286 395.35/395.55 c nbDecision=282500 #constraints=5286 396.05/396.23 c nbDecision=283000 #constraints=5286 396.75/396.91 c nbDecision=283500 #constraints=5286 397.34/397.58 c nbDecision=284000 #constraints=5286 398.05/398.26 c nbDecision=284500 #constraints=5286 398.74/398.94 c nbDecision=285000 #constraints=5286 399.44/399.61 c nbDecision=285500 #constraints=5286 400.04/400.28 c nbDecision=286000 #constraints=5286 400.74/400.94 c nbDecision=286500 #constraints=5286 401.44/401.60 c nbDecision=287000 #constraints=5286 402.04/402.26 c nbDecision=287500 #constraints=5286 402.74/402.92 c nbDecision=288000 #constraints=5286 403.45/403.65 c nbDecision=288500 #constraints=5287 404.14/404.39 c nbDecision=289000 #constraints=5287 404.94/405.13 c nbDecision=289500 #constraints=5287 405.65/405.87 c nbDecision=290000 #constraints=5287 406.44/406.61 c nbDecision=290500 #constraints=5287 407.14/407.33 c nbDecision=291000 #constraints=5287 407.85/408.05 c nbDecision=291500 #constraints=5287 408.54/408.75 c nbDecision=292000 #constraints=5287 409.24/409.46 c nbDecision=292500 #constraints=5287 409.94/410.17 c nbDecision=293000 #constraints=5287 410.64/410.87 c nbDecision=293500 #constraints=5287 411.34/411.57 c nbDecision=294000 #constraints=5287 412.04/412.28 c nbDecision=294500 #constraints=5287 412.74/412.97 c nbDecision=295000 #constraints=5287 413.44/413.67 c nbDecision=295500 #constraints=5287 414.14/414.36 c nbDecision=296000 #constraints=5287 414.84/415.04 c nbDecision=296500 #constraints=5287 415.54/415.73 c nbDecision=297000 #constraints=5287 416.24/416.42 c nbDecision=297500 #constraints=5287 416.94/417.10 c nbDecision=298000 #constraints=5287 417.54/417.78 c nbDecision=298500 #constraints=5287 418.24/418.46 c nbDecision=299000 #constraints=5287 418.94/419.14 c nbDecision=299500 #constraints=5287 419.64/419.81 c nbDecision=300000 #constraints=5287 420.24/420.49 c nbDecision=300500 #constraints=5287 420.93/421.16 c nbDecision=301000 #constraints=5287 421.63/421.83 c nbDecision=301500 #constraints=5287 422.24/422.50 c nbDecision=302000 #constraints=5287 422.93/423.16 c nbDecision=302500 #constraints=5287 423.63/423.82 c nbDecision=303000 #constraints=5287 424.23/424.48 c nbDecision=303500 #constraints=5287 424.93/425.14 c nbDecision=304000 #constraints=5287 425.63/425.89 c nbDecision=304500 #constraints=5288 426.43/426.63 c nbDecision=305000 #constraints=5288 427.13/427.37 c nbDecision=305500 #constraints=5288 427.83/428.09 c nbDecision=306000 #constraints=5288 428.63/428.81 c nbDecision=306500 #constraints=5288 429.33/429.53 c nbDecision=307000 #constraints=5288 430.03/430.23 c nbDecision=307500 #constraints=5288 430.73/430.94 c nbDecision=308000 #constraints=5288 431.43/431.64 c nbDecision=308500 #constraints=5288 432.13/432.35 c nbDecision=309000 #constraints=5288 432.83/433.05 c nbDecision=309500 #constraints=5288 433.53/433.76 c nbDecision=310000 #constraints=5288 434.23/434.46 c nbDecision=310500 #constraints=5288 434.93/435.16 c nbDecision=311000 #constraints=5288 435.63/435.85 c nbDecision=311500 #constraints=5288 436.33/436.54 c nbDecision=312000 #constraints=5288 437.03/437.23 c nbDecision=312500 #constraints=5288 437.73/437.91 c nbDecision=313000 #constraints=5288 438.33/438.59 c nbDecision=313500 #constraints=5288 439.03/439.28 c nbDecision=314000 #constraints=5288 439.73/439.97 c nbDecision=314500 #constraints=5288 440.43/440.65 c nbDecision=315000 #constraints=5288 441.13/441.33 c nbDecision=315500 #constraints=5288 441.83/442.01 c nbDecision=316000 #constraints=5288 442.43/442.68 c nbDecision=316500 #constraints=5288 443.13/443.35 c nbDecision=317000 #constraints=5288 443.83/444.02 c nbDecision=317500 #constraints=5288 444.42/444.68 c nbDecision=318000 #constraints=5288 445.12/445.34 c nbDecision=318500 #constraints=5288 445.82/446.01 c nbDecision=319000 #constraints=5288 446.43/446.66 c nbDecision=319500 #constraints=5288 447.12/447.36 c nbDecision=320000 #constraints=5289 447.82/448.09 c nbDecision=320500 #constraints=5289 448.62/448.82 c nbDecision=321000 #constraints=5289 449.32/449.55 c nbDecision=321500 #constraints=5289 450.02/450.27 c nbDecision=322000 #constraints=5289 450.72/450.99 c nbDecision=322500 #constraints=5289 451.52/451.70 c nbDecision=323000 #constraints=5289 452.22/452.41 c nbDecision=323500 #constraints=5289 452.92/453.12 c nbDecision=324000 #constraints=5289 453.62/453.82 c nbDecision=324500 #constraints=5289 454.32/454.52 c nbDecision=325000 #constraints=5289 455.02/455.23 c nbDecision=325500 #constraints=5289 455.72/455.93 c nbDecision=326000 #constraints=5289 456.42/456.62 c nbDecision=326500 #constraints=5289 457.12/457.32 c nbDecision=327000 #constraints=5289 457.81/458.01 c nbDecision=327500 #constraints=5289 458.42/458.70 c nbDecision=328000 #constraints=5289 459.11/459.38 c nbDecision=328500 #constraints=5289 459.81/460.07 c nbDecision=329000 #constraints=5289 460.51/460.75 c nbDecision=329500 #constraints=5289 461.21/461.43 c nbDecision=330000 #constraints=5289 461.91/462.12 c nbDecision=330500 #constraints=5289 462.51/462.79 c nbDecision=331000 #constraints=5289 463.21/463.47 c nbDecision=331500 #constraints=5289 463.91/464.14 c nbDecision=332000 #constraints=5289 464.61/464.81 c nbDecision=332500 #constraints=5289 465.21/465.48 c nbDecision=333000 #constraints=5289 465.91/466.14 c nbDecision=333500 #constraints=5289 466.61/466.80 c nbDecision=334000 #constraints=5289 467.21/467.46 c nbDecision=334500 #constraints=5289 467.91/468.12 c nbDecision=335000 #constraints=5289 468.61/468.87 c nbDecision=335500 #constraints=5290 469.41/469.61 c nbDecision=336000 #constraints=5290 470.11/470.34 c nbDecision=336500 #constraints=5290 470.81/471.07 c nbDecision=337000 #constraints=5290 471.51/471.79 c nbDecision=337500 #constraints=5290 472.31/472.50 c nbDecision=338000 #constraints=5290 473.01/473.22 c nbDecision=338500 #constraints=5290 473.71/473.93 c nbDecision=339000 #constraints=5290 474.41/474.64 c nbDecision=339500 #constraints=5290 475.11/475.35 c nbDecision=340000 #constraints=5290 475.81/476.05 c nbDecision=340500 #constraints=5290 476.51/476.75 c nbDecision=341000 #constraints=5290 477.21/477.45 c nbDecision=341500 #constraints=5290 477.91/478.15 c nbDecision=342000 #constraints=5290 478.61/478.85 c nbDecision=342500 #constraints=5290 479.31/479.54 c nbDecision=343000 #constraints=5290 480.01/480.23 c nbDecision=343500 #constraints=5290 480.70/480.93 c nbDecision=344000 #constraints=5290 481.40/481.62 c nbDecision=344500 #constraints=5290 482.10/482.30 c nbDecision=345000 #constraints=5290 482.71/482.98 c nbDecision=345500 #constraints=5290 483.40/483.66 c nbDecision=346000 #constraints=5290 484.10/484.34 c nbDecision=346500 #constraints=5290 484.81/485.02 c nbDecision=347000 #constraints=5290 485.50/485.70 c nbDecision=347500 #constraints=5290 486.10/486.37 c nbDecision=348000 #constraints=5290 486.80/487.04 c nbDecision=348500 #constraints=5290 487.50/487.70 c nbDecision=349000 #constraints=5290 488.10/488.36 c nbDecision=349500 #constraints=5290 488.80/489.01 c nbDecision=350000 #constraints=5290 489.40/489.66 c nbDecision=350500 #constraints=5290 490.10/490.37 c nbDecision=351000 #constraints=5291 490.90/491.10 c nbDecision=351500 #constraints=5291 491.60/491.84 c nbDecision=352000 #constraints=5291 492.30/492.57 c nbDecision=352500 #constraints=5291 493.00/493.29 c nbDecision=353000 #constraints=5291 493.80/494.02 c nbDecision=353500 #constraints=5291 494.50/494.73 c nbDecision=354000 #constraints=5291 495.20/495.45 c nbDecision=354500 #constraints=5291 495.90/496.15 c nbDecision=355000 #constraints=5291 496.60/496.85 c nbDecision=355500 #constraints=5291 497.30/497.56 c nbDecision=356000 #constraints=5291 498.00/498.26 c nbDecision=356500 #constraints=5291 498.70/498.97 c nbDecision=357000 #constraints=5291 499.40/499.68 c nbDecision=357500 #constraints=5291 500.09/500.38 c nbDecision=358000 #constraints=5291 500.79/501.08 c nbDecision=358500 #constraints=5291 501.49/501.78 c nbDecision=359000 #constraints=5291 502.19/502.47 c nbDecision=359500 #constraints=5291 502.89/503.16 c nbDecision=360000 #constraints=5291 503.60/503.84 c nbDecision=360500 #constraints=5291 504.29/504.53 c nbDecision=361000 #constraints=5291 504.99/505.20 c nbDecision=361500 #constraints=5291 505.59/505.88 c nbDecision=362000 #constraints=5291 506.29/506.56 c nbDecision=362500 #constraints=5291 506.99/507.24 c nbDecision=363000 #constraints=5291 507.69/507.91 c nbDecision=363500 #constraints=5291 508.29/508.57 c nbDecision=364000 #constraints=5291 508.99/509.23 c nbDecision=364500 #constraints=5291 509.59/509.89 c nbDecision=365000 #constraints=5291 510.29/510.54 c nbDecision=365500 #constraints=5291 510.89/511.19 c nbDecision=366000 #constraints=5291 511.59/511.84 c nbDecision=366500 #constraints=5291 512.29/512.59 c nbDecision=367000 #constraints=5292 513.09/513.32 c nbDecision=367500 #constraints=5292 513.79/514.04 c nbDecision=368000 #constraints=5292 514.49/514.77 c nbDecision=368500 #constraints=5292 515.19/515.48 c nbDecision=369000 #constraints=5292 515.88/516.18 c nbDecision=369500 #constraints=5292 516.58/516.89 c nbDecision=370000 #constraints=5292 517.38/517.60 c nbDecision=370500 #constraints=5292 518.08/518.31 c nbDecision=371000 #constraints=5292 518.78/519.02 c nbDecision=371500 #constraints=5292 519.48/519.73 c nbDecision=372000 #constraints=5292 520.18/520.44 c nbDecision=372500 #constraints=5292 520.88/521.14 c nbDecision=373000 #constraints=5292 521.58/521.84 c nbDecision=373500 #constraints=5292 522.29/522.54 c nbDecision=374000 #constraints=5292 522.98/523.22 c nbDecision=374500 #constraints=5292 523.68/523.91 c nbDecision=375000 #constraints=5292 524.39/524.60 c nbDecision=375500 #constraints=5292 524.98/525.29 c nbDecision=376000 #constraints=5292 525.68/525.97 c nbDecision=376500 #constraints=5292 526.38/526.66 c nbDecision=377000 #constraints=5292 527.08/527.34 c nbDecision=377500 #constraints=5292 527.78/528.02 c nbDecision=378000 #constraints=5292 528.38/528.69 c nbDecision=378500 #constraints=5292 529.08/529.35 c nbDecision=379000 #constraints=5292 529.78/530.01 c nbDecision=379500 #constraints=5292 530.38/530.67 c nbDecision=380000 #constraints=5292 531.08/531.33 c nbDecision=380500 #constraints=5292 531.68/531.98 c nbDecision=381000 #constraints=5292 532.38/532.63 c nbDecision=381500 #constraints=5292 533.08/533.36 c nbDecision=382000 #constraints=5293 533.78/534.09 c nbDecision=382500 #constraints=5293 534.58/534.82 c nbDecision=383000 #constraints=5293 535.28/535.55 c nbDecision=383500 #constraints=5293 535.98/536.27 c nbDecision=384000 #constraints=5293 536.68/536.98 c nbDecision=384500 #constraints=5293 537.38/537.69 c nbDecision=385000 #constraints=5293 538.18/538.41 c nbDecision=385500 #constraints=5293 538.88/539.12 c nbDecision=386000 #constraints=5293 539.57/539.82 c nbDecision=386500 #constraints=5293 540.27/540.53 c nbDecision=387000 #constraints=5293 540.98/541.24 c nbDecision=387500 #constraints=5293 541.67/541.95 c nbDecision=388000 #constraints=5293 542.37/542.65 c nbDecision=388500 #constraints=5293 543.08/543.34 c nbDecision=389000 #constraints=5293 543.77/544.03 c nbDecision=389500 #constraints=5293 544.47/544.72 c nbDecision=390000 #constraints=5293 545.17/545.41 c nbDecision=390500 #constraints=5293 545.77/546.09 c nbDecision=391000 #constraints=5293 546.48/546.77 c nbDecision=391500 #constraints=5293 547.17/547.45 c nbDecision=392000 #constraints=5293 547.87/548.13 c nbDecision=392500 #constraints=5293 548.47/548.80 c nbDecision=393000 #constraints=5293 549.17/549.47 c nbDecision=393500 #constraints=5293 549.87/550.13 c nbDecision=394000 #constraints=5293 550.47/550.79 c nbDecision=394500 #constraints=5293 551.17/551.45 c nbDecision=395000 #constraints=5293 551.87/552.11 c nbDecision=395500 #constraints=5293 552.47/552.76 c nbDecision=396000 #constraints=5293 553.17/553.41 c nbDecision=396500 #constraints=5293 553.87/554.13 c nbDecision=397000 #constraints=5294 554.57/554.87 c nbDecision=397500 #constraints=5294 555.37/555.60 c nbDecision=398000 #constraints=5294 556.07/556.33 c nbDecision=398500 #constraints=5294 556.77/557.06 c nbDecision=399000 #constraints=5294 557.47/557.77 c nbDecision=399500 #constraints=5294 558.17/558.49 c nbDecision=400000 #constraints=5294 558.97/559.21 c nbDecision=400500 #constraints=5294 559.67/559.92 c nbDecision=401000 #constraints=5294 560.37/560.63 c nbDecision=401500 #constraints=5294 561.07/561.34 c nbDecision=402000 #constraints=5294 561.77/562.04 c nbDecision=402500 #constraints=5294 562.47/562.76 c nbDecision=403000 #constraints=5294 563.17/563.46 c nbDecision=403500 #constraints=5294 563.87/564.16 c nbDecision=404000 #constraints=5294 564.57/564.86 c nbDecision=404500 #constraints=5294 565.27/565.55 c nbDecision=405000 #constraints=5294 565.96/566.23 c nbDecision=405500 #constraints=5294 566.66/566.92 c nbDecision=406000 #constraints=5294 567.37/567.61 c nbDecision=406500 #constraints=5294 567.97/568.29 c nbDecision=407000 #constraints=5294 568.67/568.97 c nbDecision=407500 #constraints=5294 569.37/569.65 c nbDecision=408000 #constraints=5294 570.07/570.32 c nbDecision=408500 #constraints=5294 570.68/570.99 c nbDecision=409000 #constraints=5294 571.37/571.65 c nbDecision=409500 #constraints=5294 571.47/571.79 c restart after 409601 decisions 572.17/572.45 c nbDecision=410000 #constraints=5294 572.97/573.21 c nbDecision=410500 #constraints=5294 573.67/573.97 c nbDecision=411000 #constraints=5294 574.47/574.74 c nbDecision=411500 #constraints=5294 575.27/575.51 c nbDecision=412000 #constraints=5294 575.97/576.27 c nbDecision=412500 #constraints=5294 576.77/577.03 c nbDecision=413000 #constraints=5294 577.47/577.79 c nbDecision=413500 #constraints=5294 578.27/578.55 c nbDecision=414000 #constraints=5294 579.07/579.31 c nbDecision=414500 #constraints=5294 579.77/580.07 c nbDecision=415000 #constraints=5294 580.57/580.82 c nbDecision=415500 #constraints=5294 581.27/581.56 c nbDecision=416000 #constraints=5294 582.07/582.31 c nbDecision=416500 #constraints=5294 582.77/583.05 c nbDecision=417000 #constraints=5294 583.47/583.79 c nbDecision=417500 #constraints=5294 584.27/584.53 c nbDecision=418000 #constraints=5294 584.97/585.27 c nbDecision=418500 #constraints=5294 585.67/585.99 c nbDecision=419000 #constraints=5294 586.47/586.71 c nbDecision=419500 #constraints=5294 587.17/587.44 c nbDecision=420000 #constraints=5294 587.87/588.15 c nbDecision=420500 #constraints=5294 588.57/588.86 c nbDecision=421000 #constraints=5294 589.27/589.57 c nbDecision=421500 #constraints=5294 589.96/590.27 c nbDecision=422000 #constraints=5294 590.66/590.97 c nbDecision=422500 #constraints=5294 591.36/591.67 c nbDecision=423000 #constraints=5294 592.06/592.38 c nbDecision=423500 #constraints=5294 592.76/593.07 c nbDecision=424000 #constraints=5294 593.46/593.76 c nbDecision=424500 #constraints=5294 594.16/594.45 c nbDecision=425000 #constraints=5294 594.87/595.13 c nbDecision=425500 #constraints=5294 595.56/595.81 c nbDecision=426000 #constraints=5294 596.16/596.50 c nbDecision=426500 #constraints=5294 596.86/597.17 c nbDecision=427000 #constraints=5294 597.56/597.85 c nbDecision=427500 #constraints=5294 598.26/598.54 c nbDecision=428000 #constraints=5294 598.96/599.22 c nbDecision=428500 #constraints=5294 599.56/599.89 c nbDecision=429000 #constraints=5294 600.26/600.57 c nbDecision=429500 #constraints=5294 600.96/601.24 c nbDecision=430000 #constraints=5294 601.66/601.91 c nbDecision=430500 #constraints=5294 602.26/602.57 c nbDecision=431000 #constraints=5294 602.96/603.22 c nbDecision=431500 #constraints=5294 603.56/603.88 c nbDecision=432000 #constraints=5294 604.26/604.54 c nbDecision=432500 #constraints=5294 605.06/605.31 c nbDecision=433000 #constraints=5295 605.76/606.05 c nbDecision=433500 #constraints=5295 606.46/606.79 c nbDecision=434000 #constraints=5295 607.26/607.52 c nbDecision=434500 #constraints=5295 607.96/608.25 c nbDecision=435000 #constraints=5295 608.66/608.96 c nbDecision=435500 #constraints=5295 609.36/609.68 c nbDecision=436000 #constraints=5295 610.06/610.38 c nbDecision=436500 #constraints=5295 610.76/611.09 c nbDecision=437000 #constraints=5295 611.46/611.79 c nbDecision=437500 #constraints=5295 612.15/612.49 c nbDecision=438000 #constraints=5295 612.85/613.19 c nbDecision=438500 #constraints=5295 613.56/613.89 c nbDecision=439000 #constraints=5295 614.25/614.59 c nbDecision=439500 #constraints=5295 614.95/615.28 c nbDecision=440000 #constraints=5295 615.66/615.97 c nbDecision=440500 #constraints=5295 616.36/616.66 c nbDecision=441000 #constraints=5295 617.05/617.34 c nbDecision=441500 #constraints=5295 617.75/618.02 c nbDecision=442000 #constraints=5295 618.45/618.71 c nbDecision=442500 #constraints=5295 619.05/619.39 c nbDecision=443000 #constraints=5295 619.75/620.07 c nbDecision=443500 #constraints=5295 620.45/620.75 c nbDecision=444000 #constraints=5295 621.15/621.43 c nbDecision=444500 #constraints=5295 621.85/622.10 c nbDecision=445000 #constraints=5295 622.45/622.77 c nbDecision=445500 #constraints=5295 623.15/623.44 c nbDecision=446000 #constraints=5295 623.85/624.10 c nbDecision=446500 #constraints=5295 624.45/624.76 c nbDecision=447000 #constraints=5295 625.15/625.43 c nbDecision=447500 #constraints=5295 625.75/626.08 c nbDecision=448000 #constraints=5295 626.55/626.83 c nbDecision=448500 #constraints=5296 627.25/627.57 c nbDecision=449000 #constraints=5296 628.04/628.30 c nbDecision=449500 #constraints=5296 628.74/629.02 c nbDecision=450000 #constraints=5296 629.44/629.74 c nbDecision=450500 #constraints=5296 630.14/630.46 c nbDecision=451000 #constraints=5296 630.84/631.18 c nbDecision=451500 #constraints=5296 631.54/631.89 c nbDecision=452000 #constraints=5296 632.25/632.59 c nbDecision=452500 #constraints=5296 633.04/633.30 c nbDecision=453000 #constraints=5296 633.64/634.00 c nbDecision=453500 #constraints=5296 634.35/634.69 c nbDecision=454000 #constraints=5296 635.04/635.39 c nbDecision=454500 #constraints=5296 635.74/636.09 c nbDecision=455000 #constraints=5296 636.44/636.78 c nbDecision=455500 #constraints=5296 637.14/637.48 c nbDecision=456000 #constraints=5296 637.84/638.16 c nbDecision=456500 #constraints=5296 638.54/638.85 c nbDecision=457000 #constraints=5296 639.24/639.54 c nbDecision=457500 #constraints=5296 639.94/640.22 c nbDecision=458000 #constraints=5296 640.64/640.91 c nbDecision=458500 #constraints=5296 641.24/641.58 c nbDecision=459000 #constraints=5296 641.94/642.27 c nbDecision=459500 #constraints=5296 642.64/642.95 c nbDecision=460000 #constraints=5296 643.34/643.62 c nbDecision=460500 #constraints=5296 643.94/644.29 c nbDecision=461000 #constraints=5296 644.64/644.95 c nbDecision=461500 #constraints=5296 645.34/645.62 c nbDecision=462000 #constraints=5296 645.94/646.28 c nbDecision=462500 #constraints=5296 646.64/646.94 c nbDecision=463000 #constraints=5296 647.34/647.60 c nbDecision=463500 #constraints=5296 648.04/648.32 c nbDecision=464000 #constraints=5297 648.74/649.06 c nbDecision=464500 #constraints=5297 649.44/649.79 c nbDecision=465000 #constraints=5297 650.24/650.52 c nbDecision=465500 #constraints=5297 650.94/651.25 c nbDecision=466000 #constraints=5297 651.63/651.97 c nbDecision=466500 #constraints=5297 652.33/652.69 c nbDecision=467000 #constraints=5297 653.04/653.40 c nbDecision=467500 #constraints=5297 653.83/654.10 c nbDecision=468000 #constraints=5297 654.53/654.81 c nbDecision=468500 #constraints=5297 655.24/655.51 c nbDecision=469000 #constraints=5297 655.93/656.21 c nbDecision=469500 #constraints=5297 656.63/656.91 c nbDecision=470000 #constraints=5297 657.33/657.61 c nbDecision=470500 #constraints=5297 658.03/658.31 c nbDecision=471000 #constraints=5297 658.73/659.01 c nbDecision=471500 #constraints=5297 659.43/659.70 c nbDecision=472000 #constraints=5297 660.03/660.39 c nbDecision=472500 #constraints=5297 660.73/661.07 c nbDecision=473000 #constraints=5297 661.43/661.76 c nbDecision=473500 #constraints=5297 662.13/662.44 c nbDecision=474000 #constraints=5297 662.83/663.12 c nbDecision=474500 #constraints=5297 663.53/663.80 c nbDecision=475000 #constraints=5297 664.13/664.47 c nbDecision=475500 #constraints=5297 664.83/665.14 c nbDecision=476000 #constraints=5297 665.53/665.81 c nbDecision=476500 #constraints=5297 666.13/666.48 c nbDecision=477000 #constraints=5297 666.83/667.15 c nbDecision=477500 #constraints=5297 667.53/667.81 c nbDecision=478000 #constraints=5297 668.13/668.47 c nbDecision=478500 #constraints=5297 668.83/669.12 c nbDecision=479000 #constraints=5297 669.53/669.82 c nbDecision=479500 #constraints=5298 670.23/670.56 c nbDecision=480000 #constraints=5298 670.93/671.29 c nbDecision=480500 #constraints=5298 671.73/672.02 c nbDecision=481000 #constraints=5298 672.43/672.75 c nbDecision=481500 #constraints=5298 673.13/673.48 c nbDecision=482000 #constraints=5298 673.83/674.20 c nbDecision=482500 #constraints=5298 674.63/674.92 c nbDecision=483000 #constraints=5298 675.33/675.63 c nbDecision=483500 #constraints=5298 676.03/676.35 c nbDecision=484000 #constraints=5298 676.73/677.04 c nbDecision=484500 #constraints=5298 677.43/677.75 c nbDecision=485000 #constraints=5298 678.12/678.46 c nbDecision=485500 #constraints=5298 678.82/679.16 c nbDecision=486000 #constraints=5298 679.53/679.87 c nbDecision=486500 #constraints=5298 680.22/680.57 c nbDecision=487000 #constraints=5298 680.92/681.27 c nbDecision=487500 #constraints=5298 681.63/681.96 c nbDecision=488000 #constraints=5298 682.32/682.65 c nbDecision=488500 #constraints=5298 683.02/683.34 c nbDecision=489000 #constraints=5298 683.72/684.02 c nbDecision=489500 #constraints=5298 684.42/684.71 c nbDecision=490000 #constraints=5298 685.03/685.39 c nbDecision=490500 #constraints=5298 685.72/686.07 c nbDecision=491000 #constraints=5298 686.42/686.75 c nbDecision=491500 #constraints=5298 687.12/687.42 c nbDecision=492000 #constraints=5298 687.72/688.10 c nbDecision=492500 #constraints=5298 688.42/688.75 c nbDecision=493000 #constraints=5298 689.12/689.41 c nbDecision=493500 #constraints=5298 689.72/690.07 c nbDecision=494000 #constraints=5298 690.42/690.72 c nbDecision=494500 #constraints=5298 691.02/691.37 c nbDecision=495000 #constraints=5298 691.82/692.11 c nbDecision=495500 #constraints=5299 692.52/692.85 c nbDecision=496000 #constraints=5299 693.32/693.60 c nbDecision=496500 #constraints=5299 694.02/694.35 c nbDecision=497000 #constraints=5299 694.72/695.09 c nbDecision=497500 #constraints=5299 695.52/695.83 c nbDecision=498000 #constraints=5299 696.22/696.55 c nbDecision=498500 #constraints=5299 696.92/697.28 c nbDecision=499000 #constraints=5299 697.72/698.01 c nbDecision=499500 #constraints=5299 698.41/698.75 c nbDecision=500000 #constraints=5299 699.11/699.47 c nbDecision=500500 #constraints=5299 699.91/700.20 c nbDecision=501000 #constraints=5299 700.61/700.91 c nbDecision=501500 #constraints=5299 701.31/701.63 c nbDecision=502000 #constraints=5299 702.01/702.35 c nbDecision=502500 #constraints=5299 702.71/703.06 c nbDecision=503000 #constraints=5299 703.41/703.77 c nbDecision=503500 #constraints=5299 704.11/704.48 c nbDecision=504000 #constraints=5299 704.81/705.17 c nbDecision=504500 #constraints=5299 705.51/705.87 c nbDecision=505000 #constraints=5299 706.21/706.57 c nbDecision=505500 #constraints=5299 706.91/707.26 c nbDecision=506000 #constraints=5299 707.61/707.95 c nbDecision=506500 #constraints=5299 708.31/708.63 c nbDecision=507000 #constraints=5299 709.01/709.31 c nbDecision=507500 #constraints=5299 709.61/709.99 c nbDecision=508000 #constraints=5299 710.31/710.66 c nbDecision=508500 #constraints=5299 711.01/711.34 c nbDecision=509000 #constraints=5299 711.71/712.01 c nbDecision=509500 #constraints=5299 712.31/712.68 c nbDecision=510000 #constraints=5299 713.01/713.34 c nbDecision=510500 #constraints=5299 713.70/714.00 c nbDecision=511000 #constraints=5299 714.30/714.66 c nbDecision=511500 #constraints=5299 715.00/715.32 c nbDecision=512000 #constraints=5299 715.60/715.97 c nbDecision=512500 #constraints=5299 716.30/716.62 c nbDecision=513000 #constraints=5299 716.91/717.27 c nbDecision=513500 #constraints=5299 717.70/718.03 c nbDecision=514000 #constraints=5300 718.40/718.76 c nbDecision=514500 #constraints=5300 719.20/719.50 c nbDecision=515000 #constraints=5300 719.90/720.24 c nbDecision=515500 #constraints=5300 720.60/720.97 c nbDecision=516000 #constraints=5300 721.40/721.70 c nbDecision=516500 #constraints=5300 722.10/722.43 c nbDecision=517000 #constraints=5300 722.80/723.15 c nbDecision=517500 #constraints=5300 723.50/723.86 c nbDecision=518000 #constraints=5300 724.20/724.57 c nbDecision=518500 #constraints=5300 724.90/725.28 c nbDecision=519000 #constraints=5300 725.60/725.98 c nbDecision=519500 #constraints=5300 726.30/726.69 c nbDecision=520000 #constraints=5300 727.10/727.40 c nbDecision=520500 #constraints=5300 727.70/728.10 c nbDecision=521000 #constraints=5300 728.40/728.79 c nbDecision=521500 #constraints=5300 729.10/729.47 c nbDecision=522000 #constraints=5300 729.80/730.15 c nbDecision=522500 #constraints=5300 730.50/730.83 c nbDecision=523000 #constraints=5300 731.20/731.51 c nbDecision=523500 #constraints=5300 731.80/732.18 c nbDecision=524000 #constraints=5300 732.50/732.85 c nbDecision=524500 #constraints=5300 733.20/733.53 c nbDecision=525000 #constraints=5300 733.90/734.20 c nbDecision=525500 #constraints=5300 734.50/734.87 c nbDecision=526000 #constraints=5300 735.19/735.53 c nbDecision=526500 #constraints=5300 735.79/736.19 c nbDecision=527000 #constraints=5300 736.49/736.85 c nbDecision=527500 #constraints=5300 737.19/737.51 c nbDecision=528000 #constraints=5300 737.80/738.16 c nbDecision=528500 #constraints=5300 738.49/738.82 c nbDecision=529000 #constraints=5300 739.19/739.54 c nbDecision=529500 #constraints=5301 739.90/740.28 c nbDecision=530000 #constraints=5301 740.69/741.02 c nbDecision=530500 #constraints=5301 741.39/741.75 c nbDecision=531000 #constraints=5301 742.09/742.48 c nbDecision=531500 #constraints=5301 742.89/743.21 c nbDecision=532000 #constraints=5301 743.59/743.93 c nbDecision=532500 #constraints=5301 744.29/744.65 c nbDecision=533000 #constraints=5301 744.99/745.37 c nbDecision=533500 #constraints=5301 745.69/746.08 c nbDecision=534000 #constraints=5301 746.39/746.78 c nbDecision=534500 #constraints=5301 747.09/747.49 c nbDecision=535000 #constraints=5301 747.89/748.20 c nbDecision=535500 #constraints=5301 748.49/748.89 c nbDecision=536000 #constraints=5301 749.19/749.58 c nbDecision=536500 #constraints=5301 749.89/750.28 c nbDecision=537000 #constraints=5301 750.59/750.95 c nbDecision=537500 #constraints=5301 751.29/751.64 c nbDecision=538000 #constraints=5301 751.99/752.32 c nbDecision=538500 #constraints=5301 752.69/753.00 c nbDecision=539000 #constraints=5301 753.29/753.67 c nbDecision=539500 #constraints=5301 753.99/754.34 c nbDecision=540000 #constraints=5301 754.69/755.01 c nbDecision=540500 #constraints=5301 755.29/755.68 c nbDecision=541000 #constraints=5301 755.99/756.34 c nbDecision=541500 #constraints=5301 756.68/757.01 c nbDecision=542000 #constraints=5301 757.28/757.67 c nbDecision=542500 #constraints=5301 757.98/758.32 c nbDecision=543000 #constraints=5301 758.59/758.98 c nbDecision=543500 #constraints=5301 759.28/759.64 c nbDecision=544000 #constraints=5301 759.98/760.30 c nbDecision=544500 #constraints=5301 760.68/761.07 c nbDecision=545000 #constraints=5302 761.48/761.81 c nbDecision=545500 #constraints=5302 762.18/762.56 c nbDecision=546000 #constraints=5302 762.88/763.30 c nbDecision=546500 #constraints=5302 763.68/764.02 c nbDecision=547000 #constraints=5302 764.38/764.76 c nbDecision=547500 #constraints=5302 765.08/765.48 c nbDecision=548000 #constraints=5302 765.88/766.20 c nbDecision=548500 #constraints=5302 766.58/766.92 c nbDecision=549000 #constraints=5302 767.28/767.63 c nbDecision=549500 #constraints=5302 767.98/768.35 c nbDecision=550000 #constraints=5302 768.68/769.05 c nbDecision=550500 #constraints=5302 769.38/769.75 c nbDecision=551000 #constraints=5302 770.08/770.45 c nbDecision=551500 #constraints=5302 770.78/771.14 c nbDecision=552000 #constraints=5302 771.48/771.83 c nbDecision=552500 #constraints=5302 772.18/772.51 c nbDecision=553000 #constraints=5302 772.78/773.20 c nbDecision=553500 #constraints=5302 773.48/773.88 c nbDecision=554000 #constraints=5302 774.18/774.56 c nbDecision=554500 #constraints=5302 774.88/775.24 c nbDecision=555000 #constraints=5302 775.58/775.91 c nbDecision=555500 #constraints=5302 776.18/776.59 c nbDecision=556000 #constraints=5302 776.88/777.26 c nbDecision=556500 #constraints=5302 777.57/777.92 c nbDecision=557000 #constraints=5302 778.17/778.60 c nbDecision=557500 #constraints=5302 778.87/779.26 c nbDecision=558000 #constraints=5302 779.58/779.93 c nbDecision=558500 #constraints=5302 780.17/780.59 c nbDecision=559000 #constraints=5302 780.87/781.26 c nbDecision=559500 #constraints=5302 781.57/781.91 c nbDecision=560000 #constraints=5302 782.27/782.63 c nbDecision=560500 #constraints=5303 782.97/783.38 c nbDecision=561000 #constraints=5303 783.77/784.11 c nbDecision=561500 #constraints=5303 784.47/784.84 c nbDecision=562000 #constraints=5303 785.17/785.57 c nbDecision=562500 #constraints=5303 785.97/786.30 c nbDecision=563000 #constraints=5303 786.67/787.03 c nbDecision=563500 #constraints=5303 787.37/787.75 c nbDecision=564000 #constraints=5303 788.07/788.45 c nbDecision=564500 #constraints=5303 788.77/789.16 c nbDecision=565000 #constraints=5303 789.47/789.86 c nbDecision=565500 #constraints=5303 790.17/790.56 c nbDecision=566000 #constraints=5303 790.87/791.25 c nbDecision=566500 #constraints=5303 791.57/791.95 c nbDecision=567000 #constraints=5303 792.27/792.65 c nbDecision=567500 #constraints=5303 792.97/793.34 c nbDecision=568000 #constraints=5303 793.67/794.03 c nbDecision=568500 #constraints=5303 794.37/794.72 c nbDecision=569000 #constraints=5303 795.07/795.40 c nbDecision=569500 #constraints=5303 795.67/796.07 c nbDecision=570000 #constraints=5303 796.36/796.75 c nbDecision=570500 #constraints=5303 797.07/797.43 c nbDecision=571000 #constraints=5303 797.76/798.10 c nbDecision=571500 #constraints=5303 798.36/798.78 c nbDecision=572000 #constraints=5303 799.06/799.46 c nbDecision=572500 #constraints=5303 799.76/800.13 c nbDecision=573000 #constraints=5303 800.37/800.80 c nbDecision=573500 #constraints=5303 801.06/801.47 c nbDecision=574000 #constraints=5303 801.76/802.13 c nbDecision=574500 #constraints=5303 802.36/802.79 c nbDecision=575000 #constraints=5303 803.06/803.45 c nbDecision=575500 #constraints=5303 803.76/804.11 c nbDecision=576000 #constraints=5303 804.46/804.86 c nbDecision=576500 #constraints=5304 805.26/805.60 c nbDecision=577000 #constraints=5304 805.96/806.33 c nbDecision=577500 #constraints=5304 806.66/807.07 c nbDecision=578000 #constraints=5304 807.36/807.79 c nbDecision=578500 #constraints=5304 808.16/808.52 c nbDecision=579000 #constraints=5304 808.86/809.23 c nbDecision=579500 #constraints=5304 809.55/809.94 c nbDecision=580000 #constraints=5304 810.26/810.64 c nbDecision=580500 #constraints=5304 810.95/811.35 c nbDecision=581000 #constraints=5304 811.65/812.05 c nbDecision=581500 #constraints=5304 812.35/812.75 c nbDecision=582000 #constraints=5304 813.05/813.45 c nbDecision=582500 #constraints=5304 813.75/814.14 c nbDecision=583000 #constraints=5304 814.45/814.84 c nbDecision=583500 #constraints=5304 815.15/815.52 c nbDecision=584000 #constraints=5304 815.86/816.21 c nbDecision=584500 #constraints=5304 816.45/816.89 c nbDecision=585000 #constraints=5304 817.15/817.57 c nbDecision=585500 #constraints=5304 817.85/818.24 c nbDecision=586000 #constraints=5304 818.55/818.93 c nbDecision=586500 #constraints=5304 819.25/819.61 c nbDecision=587000 #constraints=5304 819.85/820.28 c nbDecision=587500 #constraints=5304 820.55/820.95 c nbDecision=588000 #constraints=5304 821.25/821.62 c nbDecision=588500 #constraints=5304 821.85/822.29 c nbDecision=589000 #constraints=5304 822.55/822.95 c nbDecision=589500 #constraints=5304 823.25/823.61 c nbDecision=590000 #constraints=5304 823.85/824.27 c nbDecision=590500 #constraints=5304 824.55/824.93 c nbDecision=591000 #constraints=5304 825.25/825.67 c nbDecision=591500 #constraints=5305 826.05/826.41 c nbDecision=592000 #constraints=5305 826.75/827.14 c nbDecision=592500 #constraints=5305 827.45/827.88 c nbDecision=593000 #constraints=5305 828.25/828.60 c nbDecision=593500 #constraints=5305 828.95/829.32 c nbDecision=594000 #constraints=5305 829.65/830.03 c nbDecision=594500 #constraints=5305 830.35/830.74 c nbDecision=595000 #constraints=5305 831.04/831.45 c nbDecision=595500 #constraints=5305 831.74/832.15 c nbDecision=596000 #constraints=5305 832.44/832.85 c nbDecision=596500 #constraints=5305 833.14/833.56 c nbDecision=597000 #constraints=5305 833.84/834.27 c nbDecision=597500 #constraints=5305 834.55/834.97 c nbDecision=598000 #constraints=5305 835.24/835.66 c nbDecision=598500 #constraints=5305 835.94/836.36 c nbDecision=599000 #constraints=5305 836.65/837.05 c nbDecision=599500 #constraints=5305 837.34/837.74 c nbDecision=600000 #constraints=5305 838.04/838.42 c nbDecision=600500 #constraints=5305 838.74/839.11 c nbDecision=601000 #constraints=5305 839.34/839.79 c nbDecision=601500 #constraints=5305 840.04/840.47 c nbDecision=602000 #constraints=5305 840.74/841.15 c nbDecision=602500 #constraints=5305 841.44/841.83 c nbDecision=603000 #constraints=5305 842.14/842.51 c nbDecision=603500 #constraints=5305 842.74/843.17 c nbDecision=604000 #constraints=5305 843.44/843.84 c nbDecision=604500 #constraints=5305 844.14/844.51 c nbDecision=605000 #constraints=5305 844.74/845.17 c nbDecision=605500 #constraints=5305 845.44/845.83 c nbDecision=606000 #constraints=5305 846.04/846.49 c nbDecision=606500 #constraints=5305 846.74/847.19 c nbDecision=607000 #constraints=5306 847.54/847.93 c nbDecision=607500 #constraints=5306 848.24/848.66 c nbDecision=608000 #constraints=5306 848.94/849.39 c nbDecision=608500 #constraints=5306 849.74/850.11 c nbDecision=609000 #constraints=5306 850.44/850.83 c nbDecision=609500 #constraints=5306 851.14/851.55 c nbDecision=610000 #constraints=5306 851.84/852.26 c nbDecision=610500 #constraints=5306 852.54/852.97 c nbDecision=611000 #constraints=5306 853.24/853.67 c nbDecision=611500 #constraints=5306 853.94/854.38 c nbDecision=612000 #constraints=5306 854.64/855.08 c nbDecision=612500 #constraints=5306 855.34/855.78 c nbDecision=613000 #constraints=5306 856.03/856.47 c nbDecision=613500 #constraints=5306 856.73/857.17 c nbDecision=614000 #constraints=5306 857.43/857.86 c nbDecision=614500 #constraints=5306 858.13/858.56 c nbDecision=615000 #constraints=5306 858.83/859.25 c nbDecision=615500 #constraints=5306 859.53/859.93 c nbDecision=616000 #constraints=5306 860.23/860.62 c nbDecision=616500 #constraints=5306 860.94/861.31 c nbDecision=617000 #constraints=5306 861.53/861.99 c nbDecision=617500 #constraints=5306 862.23/862.68 c nbDecision=618000 #constraints=5306 862.93/863.35 c nbDecision=618500 #constraints=5306 863.63/864.02 c nbDecision=619000 #constraints=5306 864.24/864.69 c nbDecision=619500 #constraints=5306 864.94/865.36 c nbDecision=620000 #constraints=5306 865.64/866.03 c nbDecision=620500 #constraints=5306 866.24/866.69 c nbDecision=621000 #constraints=5306 866.94/867.35 c nbDecision=621500 #constraints=5306 867.64/868.01 c nbDecision=622000 #constraints=5306 868.24/868.66 c nbDecision=622500 #constraints=5306 869.04/869.40 c nbDecision=623000 #constraints=5307 869.74/870.14 c nbDecision=623500 #constraints=5307 870.44/870.86 c nbDecision=624000 #constraints=5307 871.14/871.59 c nbDecision=624500 #constraints=5307 871.94/872.31 c nbDecision=625000 #constraints=5307 872.64/873.03 c nbDecision=625500 #constraints=5307 873.34/873.74 c nbDecision=626000 #constraints=5307 874.04/874.45 c nbDecision=626500 #constraints=5307 874.73/875.15 c nbDecision=627000 #constraints=5307 875.43/875.86 c nbDecision=627500 #constraints=5307 876.13/876.56 c nbDecision=628000 #constraints=5307 876.83/877.26 c nbDecision=628500 #constraints=5307 877.53/877.96 c nbDecision=629000 #constraints=5307 878.23/878.66 c nbDecision=629500 #constraints=5307 878.93/879.36 c nbDecision=630000 #constraints=5307 879.64/880.04 c nbDecision=630500 #constraints=5307 880.33/880.74 c nbDecision=631000 #constraints=5307 881.03/881.42 c nbDecision=631500 #constraints=5307 881.73/882.11 c nbDecision=632000 #constraints=5307 882.33/882.80 c nbDecision=632500 #constraints=5307 883.03/883.48 c nbDecision=633000 #constraints=5307 883.73/884.15 c nbDecision=633500 #constraints=5307 884.43/884.83 c nbDecision=634000 #constraints=5307 885.13/885.50 c nbDecision=634500 #constraints=5307 885.73/886.17 c nbDecision=635000 #constraints=5307 886.43/886.83 c nbDecision=635500 #constraints=5307 887.13/887.50 c nbDecision=636000 #constraints=5307 887.73/888.15 c nbDecision=636500 #constraints=5307 888.43/888.81 c nbDecision=637000 #constraints=5307 889.03/889.46 c nbDecision=637500 #constraints=5307 889.73/890.20 c nbDecision=638000 #constraints=5308 890.53/890.91 c nbDecision=638500 #constraints=5308 891.23/891.62 c nbDecision=639000 #constraints=5308 891.93/892.35 c nbDecision=639500 #constraints=5308 892.63/893.06 c nbDecision=640000 #constraints=5308 893.33/893.78 c nbDecision=640500 #constraints=5308 894.03/894.50 c nbDecision=641000 #constraints=5308 894.83/895.20 c nbDecision=641500 #constraints=5308 895.53/895.90 c nbDecision=642000 #constraints=5308 896.23/896.61 c nbDecision=642500 #constraints=5308 896.93/897.30 c nbDecision=643000 #constraints=5308 897.63/898.00 c nbDecision=643500 #constraints=5308 898.33/898.70 c nbDecision=644000 #constraints=5308 899.02/899.40 c nbDecision=644500 #constraints=5308 899.72/900.10 c nbDecision=645000 #constraints=5308 900.32/900.79 c nbDecision=645500 #constraints=5308 901.02/901.48 c nbDecision=646000 #constraints=5308 901.72/902.16 c nbDecision=646500 #constraints=5308 902.42/902.85 c nbDecision=647000 #constraints=5308 903.12/903.53 c nbDecision=647500 #constraints=5308 903.83/904.20 c nbDecision=648000 #constraints=5308 904.42/904.88 c nbDecision=648500 #constraints=5308 905.12/905.56 c nbDecision=649000 #constraints=5308 905.82/906.23 c nbDecision=649500 #constraints=5308 906.52/906.90 c nbDecision=650000 #constraints=5308 907.13/907.57 c nbDecision=650500 #constraints=5308 907.82/908.23 c nbDecision=651000 #constraints=5308 908.42/908.88 c nbDecision=651500 #constraints=5308 909.12/909.54 c nbDecision=652000 #constraints=5308 909.72/910.19 c nbDecision=652500 #constraints=5308 910.52/910.92 c nbDecision=653000 #constraints=5309 911.22/911.65 c nbDecision=653500 #constraints=5309 911.92/912.38 c nbDecision=654000 #constraints=5309 912.72/913.11 c nbDecision=654500 #constraints=5309 913.42/913.82 c nbDecision=655000 #constraints=5309 914.12/914.55 c nbDecision=655500 #constraints=5309 914.82/915.27 c nbDecision=656000 #constraints=5309 915.52/915.99 c nbDecision=656500 #constraints=5309 916.32/916.70 c nbDecision=657000 #constraints=5309 917.02/917.40 c nbDecision=657500 #constraints=5309 917.72/918.11 c nbDecision=658000 #constraints=5309 918.42/918.82 c nbDecision=658500 #constraints=5309 919.12/919.53 c nbDecision=659000 #constraints=5309 919.81/920.23 c nbDecision=659500 #constraints=5309 920.51/920.93 c nbDecision=660000 #constraints=5309 921.21/921.63 c nbDecision=660500 #constraints=5309 921.91/922.32 c nbDecision=661000 #constraints=5309 922.61/923.01 c nbDecision=661500 #constraints=5309 923.21/923.70 c nbDecision=662000 #constraints=5309 923.91/924.38 c nbDecision=662500 #constraints=5309 924.62/925.06 c nbDecision=663000 #constraints=5309 925.31/925.74 c nbDecision=663500 #constraints=5309 926.01/926.42 c nbDecision=664000 #constraints=5309 926.61/927.10 c nbDecision=664500 #constraints=5309 927.31/927.77 c nbDecision=665000 #constraints=5309 928.01/928.44 c nbDecision=665500 #constraints=5309 928.71/929.10 c nbDecision=666000 #constraints=5309 929.31/929.77 c nbDecision=666500 #constraints=5309 930.01/930.42 c nbDecision=667000 #constraints=5309 930.61/931.07 c nbDecision=667500 #constraints=5309 931.31/931.73 c nbDecision=668000 #constraints=5309 932.00/932.43 c nbDecision=668500 #constraints=5310 932.70/933.17 c nbDecision=669000 #constraints=5310 933.41/933.90 c nbDecision=669500 #constraints=5310 934.20/934.63 c nbDecision=670000 #constraints=5310 934.90/935.36 c nbDecision=670500 #constraints=5310 935.61/936.08 c nbDecision=671000 #constraints=5310 936.40/936.80 c nbDecision=671500 #constraints=5310 937.10/937.52 c nbDecision=672000 #constraints=5310 937.81/938.24 c nbDecision=672500 #constraints=5310 938.50/938.95 c nbDecision=673000 #constraints=5310 939.20/939.66 c nbDecision=673500 #constraints=5310 939.90/940.37 c nbDecision=674000 #constraints=5310 940.60/941.08 c nbDecision=674500 #constraints=5310 941.30/941.77 c nbDecision=675000 #constraints=5310 942.00/942.46 c nbDecision=675500 #constraints=5310 942.70/943.16 c nbDecision=676000 #constraints=5310 943.40/943.86 c nbDecision=676500 #constraints=5310 944.10/944.55 c nbDecision=677000 #constraints=5310 944.80/945.24 c nbDecision=677500 #constraints=5310 945.50/945.92 c nbDecision=678000 #constraints=5310 946.20/946.61 c nbDecision=678500 #constraints=5310 946.80/947.29 c nbDecision=679000 #constraints=5310 947.50/947.97 c nbDecision=679500 #constraints=5310 948.20/948.64 c nbDecision=680000 #constraints=5310 948.90/949.31 c nbDecision=680500 #constraints=5310 949.50/949.97 c nbDecision=681000 #constraints=5310 950.20/950.64 c nbDecision=681500 #constraints=5310 950.90/951.32 c nbDecision=682000 #constraints=5310 951.50/951.98 c nbDecision=682500 #constraints=5310 952.20/952.63 c nbDecision=683000 #constraints=5310 952.80/953.29 c nbDecision=683500 #constraints=5310 953.49/953.98 c nbDecision=684000 #constraints=5311 954.30/954.71 c nbDecision=684500 #constraints=5311 954.99/955.45 c nbDecision=685000 #constraints=5311 955.69/956.18 c nbDecision=685500 #constraints=5311 956.50/956.91 c nbDecision=686000 #constraints=5311 957.19/957.63 c nbDecision=686500 #constraints=5311 957.89/958.35 c nbDecision=687000 #constraints=5311 958.59/959.08 c nbDecision=687500 #constraints=5311 959.29/959.79 c nbDecision=688000 #constraints=5311 960.09/960.51 c nbDecision=688500 #constraints=5311 960.79/961.22 c nbDecision=689000 #constraints=5311 961.49/961.93 c nbDecision=689500 #constraints=5311 962.19/962.64 c nbDecision=690000 #constraints=5311 962.89/963.34 c nbDecision=690500 #constraints=5311 963.59/964.04 c nbDecision=691000 #constraints=5311 964.29/964.74 c nbDecision=691500 #constraints=5311 964.99/965.44 c nbDecision=692000 #constraints=5311 965.69/966.13 c nbDecision=692500 #constraints=5311 966.39/966.82 c nbDecision=693000 #constraints=5311 967.09/967.50 c nbDecision=693500 #constraints=5311 967.69/968.18 c nbDecision=694000 #constraints=5311 968.39/968.86 c nbDecision=694500 #constraints=5311 969.09/969.54 c nbDecision=695000 #constraints=5311 969.79/970.21 c nbDecision=695500 #constraints=5311 970.39/970.88 c nbDecision=696000 #constraints=5311 971.09/971.54 c nbDecision=696500 #constraints=5311 971.79/972.21 c nbDecision=697000 #constraints=5311 972.38/972.87 c nbDecision=697500 #constraints=5311 973.09/973.53 c nbDecision=698000 #constraints=5311 973.68/974.18 c nbDecision=698500 #constraints=5311 974.38/974.84 c nbDecision=699000 #constraints=5311 974.98/975.49 c nbDecision=699500 #constraints=5311 975.78/976.25 c nbDecision=700000 #constraints=5312 976.48/976.98 c nbDecision=700500 #constraints=5312 977.28/977.71 c nbDecision=701000 #constraints=5312 977.98/978.44 c nbDecision=701500 #constraints=5312 978.68/979.17 c nbDecision=702000 #constraints=5312 979.48/979.90 c nbDecision=702500 #constraints=5312 980.18/980.62 c nbDecision=703000 #constraints=5312 980.88/981.34 c nbDecision=703500 #constraints=5312 981.58/982.06 c nbDecision=704000 #constraints=5312 982.28/982.77 c nbDecision=704500 #constraints=5312 982.98/983.48 c nbDecision=705000 #constraints=5312 983.68/984.19 c nbDecision=705500 #constraints=5312 984.38/984.90 c nbDecision=706000 #constraints=5312 985.08/985.59 c nbDecision=706500 #constraints=5312 985.78/986.29 c nbDecision=707000 #constraints=5312 986.48/986.99 c nbDecision=707500 #constraints=5312 987.18/987.68 c nbDecision=708000 #constraints=5312 987.88/988.36 c nbDecision=708500 #constraints=5312 988.58/989.04 c nbDecision=709000 #constraints=5312 989.28/989.72 c nbDecision=709500 #constraints=5312 989.98/990.40 c nbDecision=710000 #constraints=5312 990.58/991.07 c nbDecision=710500 #constraints=5312 991.28/991.74 c nbDecision=711000 #constraints=5312 991.98/992.42 c nbDecision=711500 #constraints=5312 992.58/993.08 c nbDecision=712000 #constraints=5312 993.28/993.74 c nbDecision=712500 #constraints=5312 993.98/994.40 c nbDecision=713000 #constraints=5312 994.58/995.06 c nbDecision=713500 #constraints=5312 995.28/995.72 c nbDecision=714000 #constraints=5312 995.88/996.37 c nbDecision=714500 #constraints=5312 996.58/997.02 c nbDecision=715000 #constraints=5312 997.28/997.77 c nbDecision=715500 #constraints=5313 998.07/998.52 c nbDecision=716000 #constraints=5313 998.77/999.27 c nbDecision=716500 #constraints=5313 999.57/1000.02 c nbDecision=717000 #constraints=5313 1000.27/1000.76 c nbDecision=717500 #constraints=5313 1001.07/1001.50 c nbDecision=718000 #constraints=5313 1001.77/1002.24 c nbDecision=718500 #constraints=5313 1002.47/1002.98 c nbDecision=719000 #constraints=5313 1003.27/1003.71 c nbDecision=719500 #constraints=5313 1003.97/1004.44 c nbDecision=720000 #constraints=5313 1004.67/1005.17 c nbDecision=720500 #constraints=5313 1005.37/1005.89 c nbDecision=721000 #constraints=5313 1006.17/1006.61 c nbDecision=721500 #constraints=5313 1006.87/1007.33 c nbDecision=722000 #constraints=5313 1007.57/1008.04 c nbDecision=722500 #constraints=5313 1008.27/1008.73 c nbDecision=723000 #constraints=5313 1008.97/1009.44 c nbDecision=723500 #constraints=5313 1009.67/1010.13 c nbDecision=724000 #constraints=5313 1010.37/1010.82 c nbDecision=724500 #constraints=5313 1011.07/1011.52 c nbDecision=725000 #constraints=5313 1011.77/1012.21 c nbDecision=725500 #constraints=5313 1012.37/1012.89 c nbDecision=726000 #constraints=5313 1013.07/1013.57 c nbDecision=726500 #constraints=5313 1013.77/1014.25 c nbDecision=727000 #constraints=5313 1014.47/1014.92 c nbDecision=727500 #constraints=5313 1015.07/1015.60 c nbDecision=728000 #constraints=5313 1015.77/1016.27 c nbDecision=728500 #constraints=5313 1016.47/1016.94 c nbDecision=729000 #constraints=5313 1017.16/1017.61 c nbDecision=729500 #constraints=5313 1017.76/1018.27 c nbDecision=730000 #constraints=5313 1018.46/1018.94 c nbDecision=730500 #constraints=5313 1019.17/1019.61 c nbDecision=731000 #constraints=5313 1019.76/1020.27 c nbDecision=731500 #constraints=5313 1020.46/1020.93 c nbDecision=732000 #constraints=5313 1021.06/1021.58 c nbDecision=732500 #constraints=5313 1021.86/1022.33 c nbDecision=733000 #constraints=5314 1022.56/1023.08 c nbDecision=733500 #constraints=5314 1023.36/1023.82 c nbDecision=734000 #constraints=5314 1024.06/1024.56 c nbDecision=734500 #constraints=5314 1024.86/1025.31 c nbDecision=735000 #constraints=5314 1025.56/1026.05 c nbDecision=735500 #constraints=5314 1026.26/1026.80 c nbDecision=736000 #constraints=5314 1027.06/1027.54 c nbDecision=736500 #constraints=5314 1027.76/1028.27 c nbDecision=737000 #constraints=5314 1028.56/1029.00 c nbDecision=737500 #constraints=5314 1029.26/1029.72 c nbDecision=738000 #constraints=5314 1029.96/1030.44 c nbDecision=738500 #constraints=5314 1030.66/1031.16 c nbDecision=739000 #constraints=5314 1031.36/1031.87 c nbDecision=739500 #constraints=5314 1032.06/1032.58 c nbDecision=740000 #constraints=5314 1032.76/1033.29 c nbDecision=740500 #constraints=5314 1033.46/1033.98 c nbDecision=741000 #constraints=5314 1034.15/1034.69 c nbDecision=741500 #constraints=5314 1034.85/1035.39 c nbDecision=742000 #constraints=5314 1035.55/1036.09 c nbDecision=742500 #constraints=5314 1036.25/1036.78 c nbDecision=743000 #constraints=5314 1036.96/1037.47 c nbDecision=743500 #constraints=5314 1037.66/1038.16 c nbDecision=744000 #constraints=5314 1038.36/1038.86 c nbDecision=744500 #constraints=5314 1039.07/1039.55 c nbDecision=745000 #constraints=5314 1039.76/1040.24 c nbDecision=745500 #constraints=5314 1040.46/1040.92 c nbDecision=746000 #constraints=5314 1041.16/1041.60 c nbDecision=746500 #constraints=5314 1041.76/1042.28 c nbDecision=747000 #constraints=5314 1042.46/1042.96 c nbDecision=747500 #constraints=5314 1043.16/1043.63 c nbDecision=748000 #constraints=5314 1043.86/1044.31 c nbDecision=748500 #constraints=5314 1044.46/1044.97 c nbDecision=749000 #constraints=5314 1045.16/1045.64 c nbDecision=749500 #constraints=5314 1045.86/1046.30 c nbDecision=750000 #constraints=5314 1046.45/1046.96 c nbDecision=750500 #constraints=5314 1047.15/1047.66 c nbDecision=751000 #constraints=5315 1047.95/1048.41 c nbDecision=751500 #constraints=5315 1048.65/1049.16 c nbDecision=752000 #constraints=5315 1049.45/1049.90 c nbDecision=752500 #constraints=5315 1050.15/1050.64 c nbDecision=753000 #constraints=5315 1050.85/1051.38 c nbDecision=753500 #constraints=5315 1051.65/1052.11 c nbDecision=754000 #constraints=5315 1052.35/1052.84 c nbDecision=754500 #constraints=5315 1053.05/1053.57 c nbDecision=755000 #constraints=5315 1053.75/1054.29 c nbDecision=755500 #constraints=5315 1054.55/1055.01 c nbDecision=756000 #constraints=5315 1055.25/1055.73 c nbDecision=756500 #constraints=5315 1055.95/1056.45 c nbDecision=757000 #constraints=5315 1056.65/1057.16 c nbDecision=757500 #constraints=5315 1057.35/1057.87 c nbDecision=758000 #constraints=5315 1058.05/1058.59 c nbDecision=758500 #constraints=5315 1058.75/1059.30 c nbDecision=759000 #constraints=5315 1059.55/1060.00 c nbDecision=759500 #constraints=5315 1060.25/1060.71 c nbDecision=760000 #constraints=5315 1060.95/1061.41 c nbDecision=760500 #constraints=5315 1061.65/1062.11 c nbDecision=761000 #constraints=5315 1062.35/1062.81 c nbDecision=761500 #constraints=5315 1063.04/1063.50 c nbDecision=762000 #constraints=5315 1063.64/1064.19 c nbDecision=762500 #constraints=5315 1064.35/1064.88 c nbDecision=763000 #constraints=5315 1065.04/1065.56 c nbDecision=763500 #constraints=5315 1065.74/1066.25 c nbDecision=764000 #constraints=5315 1066.45/1066.93 c nbDecision=764500 #constraints=5315 1067.14/1067.60 c nbDecision=765000 #constraints=5315 1067.74/1068.28 c nbDecision=765500 #constraints=5315 1068.44/1068.94 c nbDecision=766000 #constraints=5315 1069.14/1069.60 c nbDecision=766500 #constraints=5315 1069.75/1070.26 c nbDecision=767000 #constraints=5315 1070.44/1070.92 c nbDecision=767500 #constraints=5315 1071.04/1071.58 c nbDecision=768000 #constraints=5315 1071.74/1072.23 c nbDecision=768500 #constraints=5315 1072.54/1073.00 c nbDecision=769000 #constraints=5316 1073.24/1073.75 c nbDecision=769500 #constraints=5316 1074.04/1074.50 c nbDecision=770000 #constraints=5316 1074.74/1075.24 c nbDecision=770500 #constraints=5316 1075.44/1075.98 c nbDecision=771000 #constraints=5316 1076.24/1076.72 c nbDecision=771500 #constraints=5316 1076.94/1077.45 c nbDecision=772000 #constraints=5316 1077.64/1078.18 c nbDecision=772500 #constraints=5316 1078.44/1078.92 c nbDecision=773000 #constraints=5316 1079.14/1079.65 c nbDecision=773500 #constraints=5316 1079.83/1080.37 c nbDecision=774000 #constraints=5316 1080.53/1081.09 c nbDecision=774500 #constraints=5316 1081.33/1081.81 c nbDecision=775000 #constraints=5316 1082.03/1082.53 c nbDecision=775500 #constraints=5316 1082.73/1083.24 c nbDecision=776000 #constraints=5316 1083.44/1083.96 c nbDecision=776500 #constraints=5316 1084.14/1084.67 c nbDecision=777000 #constraints=5316 1084.83/1085.38 c nbDecision=777500 #constraints=5316 1085.53/1086.08 c nbDecision=778000 #constraints=5316 1086.24/1086.79 c nbDecision=778500 #constraints=5316 1086.93/1087.49 c nbDecision=779000 #constraints=5316 1087.63/1088.19 c nbDecision=779500 #constraints=5316 1088.33/1088.86 c nbDecision=780000 #constraints=5316 1089.03/1089.54 c nbDecision=780500 #constraints=5316 1089.73/1090.22 c nbDecision=781000 #constraints=5316 1090.43/1090.90 c nbDecision=781500 #constraints=5316 1091.03/1091.58 c nbDecision=782000 #constraints=5316 1091.74/1092.26 c nbDecision=782500 #constraints=5316 1092.43/1092.93 c nbDecision=783000 #constraints=5316 1093.03/1093.60 c nbDecision=783500 #constraints=5316 1093.73/1094.26 c nbDecision=784000 #constraints=5316 1094.43/1094.92 c nbDecision=784500 #constraints=5316 1095.03/1095.58 c nbDecision=785000 #constraints=5316 1095.73/1096.24 c nbDecision=785500 #constraints=5316 1096.33/1096.89 c nbDecision=786000 #constraints=5316 1097.03/1097.54 c nbDecision=786500 #constraints=5316 1097.73/1098.28 c nbDecision=787000 #constraints=5317 1098.53/1099.04 c nbDecision=787500 #constraints=5317 1099.23/1099.79 c nbDecision=788000 #constraints=5317 1100.03/1100.53 c nbDecision=788500 #constraints=5317 1100.73/1101.28 c nbDecision=789000 #constraints=5317 1101.53/1102.02 c nbDecision=789500 #constraints=5317 1102.23/1102.76 c nbDecision=790000 #constraints=5317 1103.03/1103.50 c nbDecision=790500 #constraints=5317 1103.73/1104.24 c nbDecision=791000 #constraints=5317 1104.42/1104.97 c nbDecision=791500 #constraints=5317 1105.22/1105.70 c nbDecision=792000 #constraints=5317 1105.92/1106.43 c nbDecision=792500 #constraints=5317 1106.62/1107.15 c nbDecision=793000 #constraints=5317 1107.32/1107.88 c nbDecision=793500 #constraints=5317 1108.02/1108.59 c nbDecision=794000 #constraints=5317 1108.72/1109.29 c nbDecision=794500 #constraints=5317 1109.42/1109.99 c nbDecision=795000 #constraints=5317 1110.12/1110.69 c nbDecision=795500 #constraints=5317 1110.82/1111.39 c nbDecision=796000 #constraints=5317 1111.52/1112.08 c nbDecision=796500 #constraints=5317 1112.22/1112.77 c nbDecision=797000 #constraints=5317 1112.92/1113.46 c nbDecision=797500 #constraints=5317 1113.62/1114.14 c nbDecision=798000 #constraints=5317 1114.32/1114.83 c nbDecision=798500 #constraints=5317 1115.02/1115.50 c nbDecision=799000 #constraints=5317 1115.62/1116.18 c nbDecision=799500 #constraints=5317 1116.32/1116.86 c nbDecision=800000 #constraints=5317 1117.02/1117.53 c nbDecision=800500 #constraints=5317 1117.72/1118.20 c nbDecision=801000 #constraints=5317 1118.32/1118.88 c nbDecision=801500 #constraints=5317 1119.02/1119.55 c nbDecision=802000 #constraints=5317 1119.72/1120.22 c nbDecision=802500 #constraints=5317 1120.32/1120.88 c nbDecision=803000 #constraints=5317 1121.02/1121.54 c nbDecision=803500 #constraints=5317 1121.71/1122.20 c nbDecision=804000 #constraints=5317 1122.31/1122.86 c nbDecision=804500 #constraints=5317 1123.01/1123.57 c nbDecision=805000 #constraints=5318 1123.81/1124.32 c nbDecision=805500 #constraints=5318 1124.51/1125.07 c nbDecision=806000 #constraints=5318 1125.31/1125.82 c nbDecision=806500 #constraints=5318 1126.01/1126.56 c nbDecision=807000 #constraints=5318 1126.81/1127.31 c nbDecision=807500 #constraints=5318 1127.51/1128.05 c nbDecision=808000 #constraints=5318 1128.21/1128.78 c nbDecision=808500 #constraints=5318 1129.01/1129.50 c nbDecision=809000 #constraints=5318 1129.71/1130.23 c nbDecision=809500 #constraints=5318 1130.41/1130.95 c nbDecision=810000 #constraints=5318 1131.11/1131.67 c nbDecision=810500 #constraints=5318 1131.81/1132.38 c nbDecision=811000 #constraints=5318 1132.52/1133.09 c nbDecision=811500 #constraints=5318 1133.21/1133.79 c nbDecision=812000 #constraints=5318 1133.91/1134.49 c nbDecision=812500 #constraints=5318 1134.61/1135.19 c nbDecision=813000 #constraints=5318 1135.31/1135.88 c nbDecision=813500 #constraints=5318 1136.01/1136.58 c nbDecision=814000 #constraints=5318 1136.71/1137.27 c nbDecision=814500 #constraints=5318 1137.41/1137.96 c nbDecision=815000 #constraints=5318 1138.11/1138.65 c nbDecision=815500 #constraints=5318 1138.81/1139.33 c nbDecision=816000 #constraints=5318 1139.51/1140.02 c nbDecision=816500 #constraints=5318 1140.11/1140.70 c nbDecision=817000 #constraints=5318 1140.81/1141.38 c nbDecision=817500 #constraints=5318 1141.51/1142.06 c nbDecision=818000 #constraints=5318 1142.21/1142.74 c nbDecision=818500 #constraints=5318 1142.91/1143.41 c nbDecision=819000 #constraints=5318 1143.11/1143.68 c restart after 819201 decisions 1143.61/1144.19 c nbDecision=819500 #constraints=5318 1144.42/1144.98 c nbDecision=820000 #constraints=5318 1145.21/1145.75 c nbDecision=820500 #constraints=5318 1146.01/1146.53 c nbDecision=821000 #constraints=5318 1146.82/1147.30 c nbDecision=821500 #constraints=5318 1147.51/1148.08 c nbDecision=822000 #constraints=5318 1148.31/1148.84 c nbDecision=822500 #constraints=5318 1149.11/1149.60 c nbDecision=823000 #constraints=5318 1149.81/1150.36 c nbDecision=823500 #constraints=5318 1150.61/1151.10 c nbDecision=824000 #constraints=5318 1151.31/1151.85 c nbDecision=824500 #constraints=5318 1152.01/1152.58 c nbDecision=825000 #constraints=5318 1152.81/1153.32 c nbDecision=825500 #constraints=5318 1153.51/1154.06 c nbDecision=826000 #constraints=5318 1154.31/1154.80 c nbDecision=826500 #constraints=5318 1155.01/1155.54 c nbDecision=827000 #constraints=5318 1155.71/1156.27 c nbDecision=827500 #constraints=5318 1156.51/1157.00 c nbDecision=828000 #constraints=5318 1157.21/1157.73 c nbDecision=828500 #constraints=5318 1157.91/1158.46 c nbDecision=829000 #constraints=5318 1158.61/1159.18 c nbDecision=829500 #constraints=5318 1159.41/1159.91 c nbDecision=830000 #constraints=5318 1160.11/1160.63 c nbDecision=830500 #constraints=5318 1160.81/1161.34 c nbDecision=831000 #constraints=5318 1161.51/1162.05 c nbDecision=831500 #constraints=5318 1162.21/1162.76 c nbDecision=832000 #constraints=5318 1162.91/1163.47 c nbDecision=832500 #constraints=5318 1163.61/1164.17 c nbDecision=833000 #constraints=5318 1164.31/1164.87 c nbDecision=833500 #constraints=5318 1165.00/1165.57 c nbDecision=834000 #constraints=5318 1165.70/1166.27 c nbDecision=834500 #constraints=5318 1166.40/1166.96 c nbDecision=835000 #constraints=5318 1167.10/1167.65 c nbDecision=835500 #constraints=5318 1167.80/1168.33 c nbDecision=836000 #constraints=5318 1168.50/1169.01 c nbDecision=836500 #constraints=5318 1169.10/1169.68 c nbDecision=837000 #constraints=5318 1169.81/1170.35 c nbDecision=837500 #constraints=5318 1170.50/1171.02 c nbDecision=838000 #constraints=5318 1171.10/1171.69 c nbDecision=838500 #constraints=5318 1171.80/1172.36 c nbDecision=839000 #constraints=5318 1172.50/1173.02 c nbDecision=839500 #constraints=5318 1173.11/1173.68 c nbDecision=840000 #constraints=5318 1173.80/1174.34 c nbDecision=840500 #constraints=5318 1174.40/1175.00 c nbDecision=841000 #constraints=5318 1175.10/1175.65 c nbDecision=841500 #constraints=5318 1175.80/1176.30 c nbDecision=842000 #constraints=5318 1176.50/1177.07 c nbDecision=842500 #constraints=5319 1177.30/1177.82 c nbDecision=843000 #constraints=5319 1178.00/1178.57 c nbDecision=843500 #constraints=5319 1178.80/1179.32 c nbDecision=844000 #constraints=5319 1179.50/1180.07 c nbDecision=844500 #constraints=5319 1180.30/1180.81 c nbDecision=845000 #constraints=5319 1181.00/1181.55 c nbDecision=845500 #constraints=5319 1181.70/1182.29 c nbDecision=846000 #constraints=5319 1182.50/1183.02 c nbDecision=846500 #constraints=5319 1183.20/1183.75 c nbDecision=847000 #constraints=5319 1183.90/1184.48 c nbDecision=847500 #constraints=5319 1184.69/1185.21 c nbDecision=848000 #constraints=5319 1185.39/1185.93 c nbDecision=848500 #constraints=5319 1186.09/1186.65 c nbDecision=849000 #constraints=5319 1186.79/1187.36 c nbDecision=849500 #constraints=5319 1187.50/1188.07 c nbDecision=850000 #constraints=5319 1188.19/1188.76 c nbDecision=850500 #constraints=5319 1188.89/1189.46 c nbDecision=851000 #constraints=5319 1189.60/1190.15 c nbDecision=851500 #constraints=5319 1190.29/1190.84 c nbDecision=852000 #constraints=5319 1190.99/1191.53 c nbDecision=852500 #constraints=5319 1191.69/1192.22 c nbDecision=853000 #constraints=5319 1192.29/1192.90 c nbDecision=853500 #constraints=5319 1192.99/1193.58 c nbDecision=854000 #constraints=5319 1193.69/1194.25 c nbDecision=854500 #constraints=5319 1194.39/1194.93 c nbDecision=855000 #constraints=5319 1194.99/1195.60 c nbDecision=855500 #constraints=5319 1195.69/1196.27 c nbDecision=856000 #constraints=5319 1196.39/1196.94 c nbDecision=856500 #constraints=5319 1197.09/1197.61 c nbDecision=857000 #constraints=5319 1197.69/1198.28 c nbDecision=857500 #constraints=5319 1198.39/1198.94 c nbDecision=858000 #constraints=5319 1199.09/1199.61 c nbDecision=858500 #constraints=5319 1199.69/1200.27 c nbDecision=859000 #constraints=5319 1200.39/1200.93 c nbDecision=859500 #constraints=5319 1200.99/1201.59 c nbDecision=860000 #constraints=5319 1201.79/1202.33 c nbDecision=860500 #constraints=5320 1202.49/1203.08 c nbDecision=861000 #constraints=5320 1203.29/1203.83 c nbDecision=861500 #constraints=5320 1203.99/1204.58 c nbDecision=862000 #constraints=5320 1204.79/1205.32 c nbDecision=862500 #constraints=5320 1205.49/1206.06 c nbDecision=863000 #constraints=5320 1206.29/1206.80 c nbDecision=863500 #constraints=5320 1206.99/1207.54 c nbDecision=864000 #constraints=5320 1207.69/1208.27 c nbDecision=864500 #constraints=5320 1208.39/1208.99 c nbDecision=865000 #constraints=5320 1209.19/1209.71 c nbDecision=865500 #constraints=5320 1209.89/1210.42 c nbDecision=866000 #constraints=5320 1210.59/1211.13 c nbDecision=866500 #constraints=5320 1211.28/1211.83 c nbDecision=867000 #constraints=5320 1211.98/1212.54 c nbDecision=867500 #constraints=5320 1212.69/1213.23 c nbDecision=868000 #constraints=5320 1213.38/1213.92 c nbDecision=868500 #constraints=5320 1214.08/1214.61 c nbDecision=869000 #constraints=5320 1214.78/1215.31 c nbDecision=869500 #constraints=5320 1215.48/1216.00 c nbDecision=870000 #constraints=5320 1216.09/1216.69 c nbDecision=870500 #constraints=5320 1216.78/1217.38 c nbDecision=871000 #constraints=5320 1217.48/1218.06 c nbDecision=871500 #constraints=5320 1218.18/1218.75 c nbDecision=872000 #constraints=5320 1218.88/1219.43 c nbDecision=872500 #constraints=5320 1219.58/1220.11 c nbDecision=873000 #constraints=5320 1220.18/1220.79 c nbDecision=873500 #constraints=5320 1220.88/1221.46 c nbDecision=874000 #constraints=5320 1221.58/1222.14 c nbDecision=874500 #constraints=5320 1222.28/1222.80 c nbDecision=875000 #constraints=5320 1222.88/1223.47 c nbDecision=875500 #constraints=5320 1223.58/1224.13 c nbDecision=876000 #constraints=5320 1224.18/1224.80 c nbDecision=876500 #constraints=5320 1224.88/1225.46 c nbDecision=877000 #constraints=5320 1225.58/1226.11 c nbDecision=877500 #constraints=5320 1226.27/1226.87 c nbDecision=878000 #constraints=5321 1227.08/1227.62 c nbDecision=878500 #constraints=5321 1227.77/1228.37 c nbDecision=879000 #constraints=5321 1228.57/1229.11 c nbDecision=879500 #constraints=5321 1229.28/1229.85 c nbDecision=880000 #constraints=5321 1229.97/1230.58 c nbDecision=880500 #constraints=5321 1230.77/1231.31 c nbDecision=881000 #constraints=5321 1231.48/1232.04 c nbDecision=881500 #constraints=5321 1232.17/1232.76 c nbDecision=882000 #constraints=5321 1232.87/1233.49 c nbDecision=882500 #constraints=5321 1233.68/1234.21 c nbDecision=883000 #constraints=5321 1234.37/1234.92 c nbDecision=883500 #constraints=5321 1235.07/1235.64 c nbDecision=884000 #constraints=5321 1235.78/1236.34 c nbDecision=884500 #constraints=5321 1236.47/1237.04 c nbDecision=885000 #constraints=5321 1237.17/1237.74 c nbDecision=885500 #constraints=5321 1237.87/1238.44 c nbDecision=886000 #constraints=5321 1238.57/1239.14 c nbDecision=886500 #constraints=5321 1239.27/1239.84 c nbDecision=887000 #constraints=5321 1239.97/1240.54 c nbDecision=887500 #constraints=5321 1240.67/1241.24 c nbDecision=888000 #constraints=5321 1241.37/1241.92 c nbDecision=888500 #constraints=5321 1242.07/1242.61 c nbDecision=889000 #constraints=5321 1242.67/1243.29 c nbDecision=889500 #constraints=5321 1243.36/1243.98 c nbDecision=890000 #constraints=5321 1244.06/1244.65 c nbDecision=890500 #constraints=5321 1244.76/1245.33 c nbDecision=891000 #constraints=5321 1245.46/1246.03 c nbDecision=891500 #constraints=5321 1246.16/1246.71 c nbDecision=892000 #constraints=5321 1246.77/1247.37 c nbDecision=892500 #constraints=5321 1247.46/1248.03 c nbDecision=893000 #constraints=5321 1248.06/1248.69 c nbDecision=893500 #constraints=5321 1248.76/1249.34 c nbDecision=894000 #constraints=5321 1249.46/1250.00 c nbDecision=894500 #constraints=5321 1250.07/1250.65 c nbDecision=895000 #constraints=5321 1250.86/1251.40 c nbDecision=895500 #constraints=5322 1251.56/1252.14 c nbDecision=896000 #constraints=5322 1252.27/1252.89 c nbDecision=896500 #constraints=5322 1253.06/1253.63 c nbDecision=897000 #constraints=5322 1253.76/1254.36 c nbDecision=897500 #constraints=5322 1254.47/1255.10 c nbDecision=898000 #constraints=5322 1255.26/1255.83 c nbDecision=898500 #constraints=5322 1255.96/1256.56 c nbDecision=899000 #constraints=5322 1256.66/1257.29 c nbDecision=899500 #constraints=5322 1257.46/1258.01 c nbDecision=900000 #constraints=5322 1258.16/1258.74 c nbDecision=900500 #constraints=5322 1258.86/1259.46 c nbDecision=901000 #constraints=5322 1259.56/1260.19 c nbDecision=901500 #constraints=5322 1260.36/1260.91 c nbDecision=902000 #constraints=5322 1261.06/1261.62 c nbDecision=902500 #constraints=5322 1261.76/1262.33 c nbDecision=903000 #constraints=5322 1262.46/1263.04 c nbDecision=903500 #constraints=5322 1263.16/1263.75 c nbDecision=904000 #constraints=5322 1263.86/1264.45 c nbDecision=904500 #constraints=5322 1264.56/1265.15 c nbDecision=905000 #constraints=5322 1265.26/1265.84 c nbDecision=905500 #constraints=5322 1265.96/1266.53 c nbDecision=906000 #constraints=5322 1266.66/1267.22 c nbDecision=906500 #constraints=5322 1267.36/1267.91 c nbDecision=907000 #constraints=5322 1267.96/1268.59 c nbDecision=907500 #constraints=5322 1268.66/1269.27 c nbDecision=908000 #constraints=5322 1269.36/1269.94 c nbDecision=908500 #constraints=5322 1270.05/1270.61 c nbDecision=909000 #constraints=5322 1270.65/1271.28 c nbDecision=909500 #constraints=5322 1271.36/1271.95 c nbDecision=910000 #constraints=5322 1272.06/1272.61 c nbDecision=910500 #constraints=5322 1272.65/1273.28 c nbDecision=911000 #constraints=5322 1273.35/1273.93 c nbDecision=911500 #constraints=5322 1273.95/1274.59 c nbDecision=912000 #constraints=5322 1274.65/1275.24 c nbDecision=912500 #constraints=5322 1275.25/1275.89 c nbDecision=913000 #constraints=5322 1276.05/1276.63 c nbDecision=913500 #constraints=5323 1276.75/1277.37 c nbDecision=914000 #constraints=5323 1277.56/1278.11 c nbDecision=914500 #constraints=5323 1278.25/1278.86 c nbDecision=915000 #constraints=5323 1279.05/1279.60 c nbDecision=915500 #constraints=5323 1279.76/1280.34 c nbDecision=916000 #constraints=5323 1280.45/1281.08 c nbDecision=916500 #constraints=5323 1281.25/1281.81 c nbDecision=917000 #constraints=5323 1281.96/1282.54 c nbDecision=917500 #constraints=5323 1282.65/1283.27 c nbDecision=918000 #constraints=5323 1283.35/1284.00 c nbDecision=918500 #constraints=5323 1284.15/1284.72 c nbDecision=919000 #constraints=5323 1284.85/1285.44 c nbDecision=919500 #constraints=5323 1285.55/1286.15 c nbDecision=920000 #constraints=5323 1286.25/1286.86 c nbDecision=920500 #constraints=5323 1286.95/1287.56 c nbDecision=921000 #constraints=5323 1287.65/1288.27 c nbDecision=921500 #constraints=5323 1288.35/1288.96 c nbDecision=922000 #constraints=5323 1289.05/1289.65 c nbDecision=922500 #constraints=5323 1289.75/1290.34 c nbDecision=923000 #constraints=5323 1290.45/1291.03 c nbDecision=923500 #constraints=5323 1291.15/1291.72 c nbDecision=924000 #constraints=5323 1291.75/1292.40 c nbDecision=924500 #constraints=5323 1292.45/1293.08 c nbDecision=925000 #constraints=5323 1293.15/1293.75 c nbDecision=925500 #constraints=5323 1293.85/1294.42 c nbDecision=926000 #constraints=5323 1294.55/1295.10 c nbDecision=926500 #constraints=5323 1295.15/1295.77 c nbDecision=927000 #constraints=5323 1295.85/1296.44 c nbDecision=927500 #constraints=5323 1296.45/1297.10 c nbDecision=928000 #constraints=5323 1297.15/1297.75 c nbDecision=928500 #constraints=5323 1297.85/1298.41 c nbDecision=929000 #constraints=5323 1298.45/1299.07 c nbDecision=929500 #constraints=5323 1299.15/1299.73 c nbDecision=930000 #constraints=5323 1299.74/1300.39 c nbDecision=930500 #constraints=5323 1300.54/1301.15 c nbDecision=931000 #constraints=5324 1301.34/1301.90 c nbDecision=931500 #constraints=5324 1302.04/1302.65 c nbDecision=932000 #constraints=5324 1302.74/1303.39 c nbDecision=932500 #constraints=5324 1303.54/1304.14 c nbDecision=933000 #constraints=5324 1304.24/1304.88 c nbDecision=933500 #constraints=5324 1305.05/1305.62 c nbDecision=934000 #constraints=5324 1305.74/1306.35 c nbDecision=934500 #constraints=5324 1306.44/1307.08 c nbDecision=935000 #constraints=5324 1307.24/1307.81 c nbDecision=935500 #constraints=5324 1307.94/1308.53 c nbDecision=936000 #constraints=5324 1308.64/1309.25 c nbDecision=936500 #constraints=5324 1309.34/1309.96 c nbDecision=937000 #constraints=5324 1310.04/1310.67 c nbDecision=937500 #constraints=5324 1310.74/1311.37 c nbDecision=938000 #constraints=5324 1311.44/1312.07 c nbDecision=938500 #constraints=5324 1312.14/1312.76 c nbDecision=939000 #constraints=5324 1312.84/1313.45 c nbDecision=939500 #constraints=5324 1313.54/1314.14 c nbDecision=940000 #constraints=5324 1314.24/1314.83 c nbDecision=940500 #constraints=5324 1314.94/1315.52 c nbDecision=941000 #constraints=5324 1315.64/1316.21 c nbDecision=941500 #constraints=5324 1316.24/1316.88 c nbDecision=942000 #constraints=5324 1316.94/1317.56 c nbDecision=942500 #constraints=5324 1317.64/1318.23 c nbDecision=943000 #constraints=5324 1318.34/1318.91 c nbDecision=943500 #constraints=5324 1318.94/1319.59 c nbDecision=944000 #constraints=5324 1319.64/1320.26 c nbDecision=944500 #constraints=5324 1320.34/1320.94 c nbDecision=945000 #constraints=5324 1321.04/1321.60 c nbDecision=945500 #constraints=5324 1321.64/1322.27 c nbDecision=946000 #constraints=5324 1322.34/1322.93 c nbDecision=946500 #constraints=5324 1322.94/1323.59 c nbDecision=947000 #constraints=5324 1323.63/1324.25 c nbDecision=947500 #constraints=5324 1324.33/1324.91 c nbDecision=948000 #constraints=5324 1325.03/1325.69 c nbDecision=948500 #constraints=5325 1325.83/1326.44 c nbDecision=949000 #constraints=5325 1326.53/1327.19 c nbDecision=949500 #constraints=5325 1327.33/1327.93 c nbDecision=950000 #constraints=5325 1328.03/1328.67 c nbDecision=950500 #constraints=5325 1328.83/1329.40 c nbDecision=951000 #constraints=5325 1329.53/1330.13 c nbDecision=951500 #constraints=5325 1330.23/1330.86 c nbDecision=952000 #constraints=5325 1330.93/1331.58 c nbDecision=952500 #constraints=5325 1331.73/1332.31 c nbDecision=953000 #constraints=5325 1332.43/1333.02 c nbDecision=953500 #constraints=5325 1333.13/1333.73 c nbDecision=954000 #constraints=5325 1333.83/1334.44 c nbDecision=954500 #constraints=5325 1334.53/1335.15 c nbDecision=955000 #constraints=5325 1335.23/1335.86 c nbDecision=955500 #constraints=5325 1335.93/1336.56 c nbDecision=956000 #constraints=5325 1336.63/1337.25 c nbDecision=956500 #constraints=5325 1337.33/1337.94 c nbDecision=957000 #constraints=5325 1338.03/1338.63 c nbDecision=957500 #constraints=5325 1338.73/1339.33 c nbDecision=958000 #constraints=5325 1339.43/1340.02 c nbDecision=958500 #constraints=5325 1340.13/1340.71 c nbDecision=959000 #constraints=5325 1340.83/1341.40 c nbDecision=959500 #constraints=5325 1341.43/1342.09 c nbDecision=960000 #constraints=5325 1342.12/1342.76 c nbDecision=960500 #constraints=5325 1342.82/1343.44 c nbDecision=961000 #constraints=5325 1343.53/1344.11 c nbDecision=961500 #constraints=5325 1344.12/1344.79 c nbDecision=962000 #constraints=5325 1344.82/1345.46 c nbDecision=962500 #constraints=5325 1345.53/1346.13 c nbDecision=963000 #constraints=5325 1346.13/1346.79 c nbDecision=963500 #constraints=5325 1346.84/1347.46 c nbDecision=964000 #constraints=5325 1347.53/1348.12 c nbDecision=964500 #constraints=5325 1348.13/1348.77 c nbDecision=965000 #constraints=5325 1348.83/1349.48 c nbDecision=965500 #constraints=5326 1349.63/1350.22 c nbDecision=966000 #constraints=5326 1350.33/1350.96 c nbDecision=966500 #constraints=5326 1351.13/1351.70 c nbDecision=967000 #constraints=5326 1351.83/1352.44 c nbDecision=967500 #constraints=5326 1352.53/1353.17 c nbDecision=968000 #constraints=5326 1353.33/1353.90 c nbDecision=968500 #constraints=5326 1354.03/1354.62 c nbDecision=969000 #constraints=5326 1354.73/1355.35 c nbDecision=969500 #constraints=5326 1355.43/1356.07 c nbDecision=970000 #constraints=5326 1356.13/1356.79 c nbDecision=970500 #constraints=5326 1356.93/1357.51 c nbDecision=971000 #constraints=5326 1357.63/1358.22 c nbDecision=971500 #constraints=5326 1358.33/1358.94 c nbDecision=972000 #constraints=5326 1359.03/1359.66 c nbDecision=972500 #constraints=5326 1359.72/1360.37 c nbDecision=973000 #constraints=5326 1360.42/1361.07 c nbDecision=973500 #constraints=5326 1361.13/1361.77 c nbDecision=974000 #constraints=5326 1361.82/1362.47 c nbDecision=974500 #constraints=5326 1362.52/1363.17 c nbDecision=975000 #constraints=5326 1363.22/1363.87 c nbDecision=975500 #constraints=5326 1363.92/1364.56 c nbDecision=976000 #constraints=5326 1364.62/1365.25 c nbDecision=976500 #constraints=5326 1365.32/1365.93 c nbDecision=977000 #constraints=5326 1366.02/1366.62 c nbDecision=977500 #constraints=5326 1366.63/1367.30 c nbDecision=978000 #constraints=5326 1367.32/1367.97 c nbDecision=978500 #constraints=5326 1368.02/1368.64 c nbDecision=979000 #constraints=5326 1368.72/1369.31 c nbDecision=979500 #constraints=5326 1369.32/1369.98 c nbDecision=980000 #constraints=5326 1370.02/1370.64 c nbDecision=980500 #constraints=5326 1370.62/1371.30 c nbDecision=981000 #constraints=5326 1371.32/1371.95 c nbDecision=981500 #constraints=5326 1372.02/1372.61 c nbDecision=982000 #constraints=5326 1372.62/1373.26 c nbDecision=982500 #constraints=5326 1373.32/1373.99 c nbDecision=983000 #constraints=5327 1374.12/1374.72 c nbDecision=983500 #constraints=5327 1374.82/1375.46 c nbDecision=984000 #constraints=5327 1375.52/1376.19 c nbDecision=984500 #constraints=5327 1376.32/1376.91 c nbDecision=985000 #constraints=5327 1377.02/1377.64 c nbDecision=985500 #constraints=5327 1377.72/1378.36 c nbDecision=986000 #constraints=5327 1378.41/1379.09 c nbDecision=986500 #constraints=5327 1379.21/1379.81 c nbDecision=987000 #constraints=5327 1379.92/1380.53 c nbDecision=987500 #constraints=5327 1380.61/1381.24 c nbDecision=988000 #constraints=5327 1381.31/1381.96 c nbDecision=988500 #constraints=5327 1382.02/1382.66 c nbDecision=989000 #constraints=5327 1382.71/1383.36 c nbDecision=989500 #constraints=5327 1383.41/1384.07 c nbDecision=990000 #constraints=5327 1384.11/1384.76 c nbDecision=990500 #constraints=5327 1384.81/1385.46 c nbDecision=991000 #constraints=5327 1385.51/1386.15 c nbDecision=991500 #constraints=5327 1386.21/1386.84 c nbDecision=992000 #constraints=5327 1386.91/1387.53 c nbDecision=992500 #constraints=5327 1387.62/1388.21 c nbDecision=993000 #constraints=5327 1388.21/1388.89 c nbDecision=993500 #constraints=5327 1388.91/1389.56 c nbDecision=994000 #constraints=5327 1389.61/1390.23 c nbDecision=994500 #constraints=5327 1390.31/1390.90 c nbDecision=995000 #constraints=5327 1390.91/1391.57 c nbDecision=995500 #constraints=5327 1391.61/1392.23 c nbDecision=996000 #constraints=5327 1392.21/1392.89 c nbDecision=996500 #constraints=5327 1392.91/1393.55 c nbDecision=997000 #constraints=5327 1393.61/1394.20 c nbDecision=997500 #constraints=5327 1394.21/1394.85 c nbDecision=998000 #constraints=5327 1394.91/1395.50 c nbDecision=998500 #constraints=5327 1395.61/1396.26 c nbDecision=999000 #constraints=5328 1396.31/1396.99 c nbDecision=999500 #constraints=5328 1397.11/1397.72 c nbDecision=1000000 #constraints=5328 1397.81/1398.45 c nbDecision=1000500 #constraints=5328 1398.51/1399.18 c nbDecision=1001000 #constraints=5328 1399.31/1399.91 c nbDecision=1001500 #constraints=5328 1400.00/1400.64 c nbDecision=1002000 #constraints=5328 1400.71/1401.37 c nbDecision=1002500 #constraints=5328 1401.40/1402.09 c nbDecision=1003000 #constraints=5328 1402.20/1402.80 c nbDecision=1003500 #constraints=5328 1402.91/1403.52 c nbDecision=1004000 #constraints=5328 1403.60/1404.23 c nbDecision=1004500 #constraints=5328 1404.30/1404.94 c nbDecision=1005000 #constraints=5328 1405.00/1405.64 c nbDecision=1005500 #constraints=5328 1405.70/1406.33 c nbDecision=1006000 #constraints=5328 1406.40/1407.03 c nbDecision=1006500 #constraints=5328 1407.10/1407.72 c nbDecision=1007000 #constraints=5328 1407.80/1408.41 c nbDecision=1007500 #constraints=5328 1408.40/1409.10 c nbDecision=1008000 #constraints=5328 1409.10/1409.78 c nbDecision=1008500 #constraints=5328 1409.80/1410.45 c nbDecision=1009000 #constraints=5328 1410.50/1411.13 c nbDecision=1009500 #constraints=5328 1411.20/1411.80 c nbDecision=1010000 #constraints=5328 1411.80/1412.47 c nbDecision=1010500 #constraints=5328 1412.50/1413.14 c nbDecision=1011000 #constraints=5328 1413.20/1413.81 c nbDecision=1011500 #constraints=5328 1413.80/1414.46 c nbDecision=1012000 #constraints=5328 1414.49/1415.13 c nbDecision=1012500 #constraints=5328 1415.10/1415.79 c nbDecision=1013000 #constraints=5328 1415.79/1416.44 c nbDecision=1013500 #constraints=5328 1416.39/1417.09 c nbDecision=1014000 #constraints=5328 1417.09/1417.80 c nbDecision=1014500 #constraints=5329 1417.89/1418.53 c nbDecision=1015000 #constraints=5329 1418.59/1419.27 c nbDecision=1015500 #constraints=5329 1419.39/1420.00 c nbDecision=1016000 #constraints=5329 1420.09/1420.73 c nbDecision=1016500 #constraints=5329 1420.79/1421.45 c nbDecision=1017000 #constraints=5329 1421.49/1422.18 c nbDecision=1017500 #constraints=5329 1422.29/1422.90 c nbDecision=1018000 #constraints=5329 1422.99/1423.62 c nbDecision=1018500 #constraints=5329 1423.69/1424.34 c nbDecision=1019000 #constraints=5329 1424.39/1425.05 c nbDecision=1019500 #constraints=5329 1425.09/1425.77 c nbDecision=1020000 #constraints=5329 1425.79/1426.47 c nbDecision=1020500 #constraints=5329 1426.49/1427.16 c nbDecision=1021000 #constraints=5329 1427.19/1427.86 c nbDecision=1021500 #constraints=5329 1427.88/1428.55 c nbDecision=1022000 #constraints=5329 1428.58/1429.24 c nbDecision=1022500 #constraints=5329 1429.29/1429.92 c nbDecision=1023000 #constraints=5329 1429.98/1430.60 c nbDecision=1023500 #constraints=5329 1430.58/1431.29 c nbDecision=1024000 #constraints=5329 1431.28/1431.96 c nbDecision=1024500 #constraints=5329 1431.98/1432.63 c nbDecision=1025000 #constraints=5329 1432.69/1433.31 c nbDecision=1025500 #constraints=5329 1433.28/1433.97 c nbDecision=1026000 #constraints=5329 1433.98/1434.63 c nbDecision=1026500 #constraints=5329 1434.68/1435.30 c nbDecision=1027000 #constraints=5329 1435.28/1435.95 c nbDecision=1027500 #constraints=5329 1435.98/1436.61 c nbDecision=1028000 #constraints=5329 1436.58/1437.27 c nbDecision=1028500 #constraints=5329 1437.28/1437.92 c nbDecision=1029000 #constraints=5329 1437.88/1438.58 c nbDecision=1029500 #constraints=5329 1438.68/1439.34 c nbDecision=1030000 #constraints=5330 1439.38/1440.07 c nbDecision=1030500 #constraints=5330 1440.18/1440.81 c nbDecision=1031000 #constraints=5330 1440.88/1441.53 c nbDecision=1031500 #constraints=5330 1441.58/1442.26 c nbDecision=1032000 #constraints=5330 1442.28/1442.99 c nbDecision=1032500 #constraints=5330 1443.08/1443.72 c nbDecision=1033000 #constraints=5330 1443.78/1444.44 c nbDecision=1033500 #constraints=5330 1444.48/1445.16 c nbDecision=1034000 #constraints=5330 1445.18/1445.87 c nbDecision=1034500 #constraints=5330 1445.88/1446.59 c nbDecision=1035000 #constraints=5330 1446.68/1447.30 c nbDecision=1035500 #constraints=5330 1447.38/1448.01 c nbDecision=1036000 #constraints=5330 1448.08/1448.71 c nbDecision=1036500 #constraints=5330 1448.77/1449.40 c nbDecision=1037000 #constraints=5330 1449.37/1450.09 c nbDecision=1037500 #constraints=5330 1450.07/1450.78 c nbDecision=1038000 #constraints=5330 1450.77/1451.46 c nbDecision=1038500 #constraints=5330 1451.47/1452.15 c nbDecision=1039000 #constraints=5330 1452.17/1452.83 c nbDecision=1039500 #constraints=5330 1452.87/1453.50 c nbDecision=1040000 #constraints=5330 1453.48/1454.18 c nbDecision=1040500 #constraints=5330 1454.17/1454.85 c nbDecision=1041000 #constraints=5330 1454.87/1455.52 c nbDecision=1041500 #constraints=5330 1455.47/1456.19 c nbDecision=1042000 #constraints=5330 1456.17/1456.85 c nbDecision=1042500 #constraints=5330 1456.88/1457.52 c nbDecision=1043000 #constraints=5330 1457.47/1458.17 c nbDecision=1043500 #constraints=5330 1458.17/1458.84 c nbDecision=1044000 #constraints=5330 1458.87/1459.50 c nbDecision=1044500 #constraints=5330 1459.47/1460.16 c nbDecision=1045000 #constraints=5330 1460.17/1460.89 c nbDecision=1045500 #constraints=5331 1460.97/1461.63 c nbDecision=1046000 #constraints=5331 1461.67/1462.37 c nbDecision=1046500 #constraints=5331 1462.47/1463.11 c nbDecision=1047000 #constraints=5331 1463.17/1463.83 c nbDecision=1047500 #constraints=5331 1463.87/1464.56 c nbDecision=1048000 #constraints=5331 1464.57/1465.29 c nbDecision=1048500 #constraints=5331 1465.37/1466.01 c nbDecision=1049000 #constraints=5331 1466.07/1466.73 c nbDecision=1049500 #constraints=5331 1466.77/1467.45 c nbDecision=1050000 #constraints=5331 1467.46/1468.17 c nbDecision=1050500 #constraints=5331 1468.16/1468.87 c nbDecision=1051000 #constraints=5331 1468.87/1469.58 c nbDecision=1051500 #constraints=5331 1469.56/1470.28 c nbDecision=1052000 #constraints=5331 1470.26/1470.97 c nbDecision=1052500 #constraints=5331 1470.96/1471.66 c nbDecision=1053000 #constraints=5331 1471.66/1472.34 c nbDecision=1053500 #constraints=5331 1472.36/1473.03 c nbDecision=1054000 #constraints=5331 1473.06/1473.72 c nbDecision=1054500 #constraints=5331 1473.76/1474.40 c nbDecision=1055000 #constraints=5331 1474.36/1475.08 c nbDecision=1055500 #constraints=5331 1475.06/1475.76 c nbDecision=1056000 #constraints=5331 1475.76/1476.43 c nbDecision=1056500 #constraints=5331 1476.46/1477.11 c nbDecision=1057000 #constraints=5331 1477.06/1477.77 c nbDecision=1057500 #constraints=5331 1477.76/1478.44 c nbDecision=1058000 #constraints=5331 1478.46/1479.12 c nbDecision=1058500 #constraints=5331 1479.06/1479.78 c nbDecision=1059000 #constraints=5331 1479.76/1480.45 c nbDecision=1059500 #constraints=5331 1480.46/1481.10 c nbDecision=1060000 #constraints=5331 1481.06/1481.76 c nbDecision=1060500 #constraints=5331 1481.76/1482.42 c nbDecision=1061000 #constraints=5331 1482.46/1483.18 c nbDecision=1061500 #constraints=5332 1483.26/1483.92 c nbDecision=1062000 #constraints=5332 1483.95/1484.65 c nbDecision=1062500 #constraints=5332 1484.66/1485.38 c nbDecision=1063000 #constraints=5332 1485.46/1486.11 c nbDecision=1063500 #constraints=5332 1486.15/1486.84 c nbDecision=1064000 #constraints=5332 1486.85/1487.56 c nbDecision=1064500 #constraints=5332 1487.56/1488.28 c nbDecision=1065000 #constraints=5332 1488.25/1488.98 c nbDecision=1065500 #constraints=5332 1488.95/1489.68 c nbDecision=1066000 #constraints=5332 1489.65/1490.39 c nbDecision=1066500 #constraints=5332 1490.35/1491.09 c nbDecision=1067000 #constraints=5332 1491.05/1491.79 c nbDecision=1067500 #constraints=5332 1491.75/1492.48 c nbDecision=1068000 #constraints=5332 1492.45/1493.17 c nbDecision=1068500 #constraints=5332 1493.16/1493.86 c nbDecision=1069000 #constraints=5332 1493.85/1494.55 c nbDecision=1069500 #constraints=5332 1494.55/1495.23 c nbDecision=1070000 #constraints=5332 1495.25/1495.91 c nbDecision=1070500 #constraints=5332 1495.85/1496.58 c nbDecision=1071000 #constraints=5332 1496.55/1497.26 c nbDecision=1071500 #constraints=5332 1497.25/1497.92 c nbDecision=1072000 #constraints=5332 1497.95/1498.60 c nbDecision=1072500 #constraints=5332 1498.55/1499.27 c nbDecision=1073000 #constraints=5332 1499.25/1499.94 c nbDecision=1073500 #constraints=5332 1499.95/1500.61 c nbDecision=1074000 #constraints=5332 1500.55/1501.27 c nbDecision=1074500 #constraints=5332 1501.25/1501.93 c nbDecision=1075000 #constraints=5332 1501.85/1502.59 c nbDecision=1075500 #constraints=5332 1502.55/1503.25 c nbDecision=1076000 #constraints=5332 1503.35/1504.00 c nbDecision=1076500 #constraints=5333 1504.05/1504.74 c nbDecision=1077000 #constraints=5333 1504.75/1505.48 c nbDecision=1077500 #constraints=5333 1505.55/1506.22 c nbDecision=1078000 #constraints=5333 1506.25/1506.95 c nbDecision=1078500 #constraints=5333 1506.94/1507.68 c nbDecision=1079000 #constraints=5333 1507.74/1508.40 c nbDecision=1079500 #constraints=5333 1508.45/1509.12 c nbDecision=1080000 #constraints=5333 1509.14/1509.83 c nbDecision=1080500 #constraints=5333 1509.84/1510.55 c nbDecision=1081000 #constraints=5333 1510.54/1511.26 c nbDecision=1081500 #constraints=5333 1511.24/1511.96 c nbDecision=1082000 #constraints=5333 1511.94/1512.66 c nbDecision=1082500 #constraints=5333 1512.64/1513.36 c nbDecision=1083000 #constraints=5333 1513.34/1514.05 c nbDecision=1083500 #constraints=5333 1514.04/1514.73 c nbDecision=1084000 #constraints=5333 1514.75/1515.42 c nbDecision=1084500 #constraints=5333 1515.45/1516.10 c nbDecision=1085000 #constraints=5333 1516.05/1516.79 c nbDecision=1085500 #constraints=5333 1516.75/1517.47 c nbDecision=1086000 #constraints=5333 1517.45/1518.15 c nbDecision=1086500 #constraints=5333 1518.15/1518.83 c nbDecision=1087000 #constraints=5333 1518.85/1519.51 c nbDecision=1087500 #constraints=5333 1519.45/1520.18 c nbDecision=1088000 #constraints=5333 1520.15/1520.85 c nbDecision=1088500 #constraints=5333 1520.85/1521.53 c nbDecision=1089000 #constraints=5333 1521.55/1522.20 c nbDecision=1089500 #constraints=5333 1522.15/1522.86 c nbDecision=1090000 #constraints=5333 1522.85/1523.52 c nbDecision=1090500 #constraints=5333 1523.45/1524.19 c nbDecision=1091000 #constraints=5333 1524.14/1524.85 c nbDecision=1091500 #constraints=5333 1524.84/1525.56 c nbDecision=1092000 #constraints=5334 1525.64/1526.30 c nbDecision=1092500 #constraints=5334 1526.34/1527.03 c nbDecision=1093000 #constraints=5334 1527.04/1527.77 c nbDecision=1093500 #constraints=5334 1527.74/1528.50 c nbDecision=1094000 #constraints=5334 1528.54/1529.22 c nbDecision=1094500 #constraints=5334 1529.24/1529.94 c nbDecision=1095000 #constraints=5334 1529.94/1530.66 c nbDecision=1095500 #constraints=5334 1530.64/1531.38 c nbDecision=1096000 #constraints=5334 1531.34/1532.09 c nbDecision=1096500 #constraints=5334 1532.04/1532.79 c nbDecision=1097000 #constraints=5334 1532.84/1533.50 c nbDecision=1097500 #constraints=5334 1533.54/1534.20 c nbDecision=1098000 #constraints=5334 1534.24/1534.90 c nbDecision=1098500 #constraints=5334 1534.84/1535.60 c nbDecision=1099000 #constraints=5334 1535.54/1536.29 c nbDecision=1099500 #constraints=5334 1536.24/1536.98 c nbDecision=1100000 #constraints=5334 1536.94/1537.67 c nbDecision=1100500 #constraints=5334 1537.64/1538.35 c nbDecision=1101000 #constraints=5334 1538.34/1539.04 c nbDecision=1101500 #constraints=5334 1539.04/1539.73 c nbDecision=1102000 #constraints=5334 1539.74/1540.41 c nbDecision=1102500 #constraints=5334 1540.34/1541.09 c nbDecision=1103000 #constraints=5334 1541.04/1541.77 c nbDecision=1103500 #constraints=5334 1541.74/1542.44 c nbDecision=1104000 #constraints=5334 1542.44/1543.11 c nbDecision=1104500 #constraints=5334 1543.04/1543.78 c nbDecision=1105000 #constraints=5334 1543.74/1544.45 c nbDecision=1105500 #constraints=5334 1544.43/1545.11 c nbDecision=1106000 #constraints=5334 1545.03/1545.77 c nbDecision=1106500 #constraints=5334 1545.74/1546.43 c nbDecision=1107000 #constraints=5334 1546.33/1547.09 c nbDecision=1107500 #constraints=5334 1547.13/1547.84 c nbDecision=1108000 #constraints=5335 1547.83/1548.57 c nbDecision=1108500 #constraints=5335 1548.63/1549.30 c nbDecision=1109000 #constraints=5335 1549.33/1550.02 c nbDecision=1109500 #constraints=5335 1550.03/1550.74 c nbDecision=1110000 #constraints=5335 1550.73/1551.45 c nbDecision=1110500 #constraints=5335 1551.44/1552.17 c nbDecision=1111000 #constraints=5335 1552.13/1552.88 c nbDecision=1111500 #constraints=5335 1552.83/1553.58 c nbDecision=1112000 #constraints=5335 1553.54/1554.29 c nbDecision=1112500 #constraints=5335 1554.23/1554.99 c nbDecision=1113000 #constraints=5335 1554.93/1555.68 c nbDecision=1113500 #constraints=5335 1555.63/1556.37 c nbDecision=1114000 #constraints=5335 1556.33/1557.06 c nbDecision=1114500 #constraints=5335 1557.03/1557.74 c nbDecision=1115000 #constraints=5335 1557.73/1558.43 c nbDecision=1115500 #constraints=5335 1558.43/1559.12 c nbDecision=1116000 #constraints=5335 1559.13/1559.82 c nbDecision=1116500 #constraints=5335 1559.83/1560.50 c nbDecision=1117000 #constraints=5335 1560.43/1561.18 c nbDecision=1117500 #constraints=5335 1561.13/1561.87 c nbDecision=1118000 #constraints=5335 1561.83/1562.55 c nbDecision=1118500 #constraints=5335 1562.53/1563.22 c nbDecision=1119000 #constraints=5335 1563.13/1563.89 c nbDecision=1119500 #constraints=5335 1563.83/1564.56 c nbDecision=1120000 #constraints=5335 1564.53/1565.23 c nbDecision=1120500 #constraints=5335 1565.23/1565.90 c nbDecision=1121000 #constraints=5335 1565.83/1566.57 c nbDecision=1121500 #constraints=5335 1566.53/1567.24 c nbDecision=1122000 #constraints=5335 1567.23/1567.90 c nbDecision=1122500 #constraints=5335 1567.93/1568.65 c nbDecision=1123000 #constraints=5336 1568.63/1569.38 c nbDecision=1123500 #constraints=5336 1569.33/1570.09 c nbDecision=1124000 #constraints=5336 1570.13/1570.82 c nbDecision=1124500 #constraints=5336 1570.83/1571.53 c nbDecision=1125000 #constraints=5336 1571.53/1572.25 c nbDecision=1125500 #constraints=5336 1572.23/1572.96 c nbDecision=1126000 #constraints=5336 1572.92/1573.67 c nbDecision=1126500 #constraints=5336 1573.62/1574.38 c nbDecision=1127000 #constraints=5336 1574.32/1575.09 c nbDecision=1127500 #constraints=5336 1575.02/1575.79 c nbDecision=1128000 #constraints=5336 1575.72/1576.49 c nbDecision=1128500 #constraints=5336 1576.42/1577.19 c nbDecision=1129000 #constraints=5336 1577.12/1577.87 c nbDecision=1129500 #constraints=5336 1577.83/1578.56 c nbDecision=1130000 #constraints=5336 1578.52/1579.26 c nbDecision=1130500 #constraints=5336 1579.22/1579.95 c nbDecision=1131000 #constraints=5336 1579.92/1580.63 c nbDecision=1131500 #constraints=5336 1580.62/1581.32 c nbDecision=1132000 #constraints=5336 1581.32/1582.01 c nbDecision=1132500 #constraints=5336 1581.92/1582.69 c nbDecision=1133000 #constraints=5336 1582.62/1583.37 c nbDecision=1133500 #constraints=5336 1583.32/1584.04 c nbDecision=1134000 #constraints=5336 1584.02/1584.72 c nbDecision=1134500 #constraints=5336 1584.62/1585.38 c nbDecision=1135000 #constraints=5336 1585.32/1586.05 c nbDecision=1135500 #constraints=5336 1586.02/1586.71 c nbDecision=1136000 #constraints=5336 1586.62/1587.38 c nbDecision=1136500 #constraints=5336 1587.32/1588.04 c nbDecision=1137000 #constraints=5336 1587.92/1588.69 c nbDecision=1137500 #constraints=5336 1588.72/1589.44 c nbDecision=1138000 #constraints=5337 1589.42/1590.18 c nbDecision=1138500 #constraints=5337 1590.22/1590.90 c nbDecision=1139000 #constraints=5337 1590.92/1591.62 c nbDecision=1139500 #constraints=5337 1591.62/1592.35 c nbDecision=1140000 #constraints=5337 1592.31/1593.07 c nbDecision=1140500 #constraints=5337 1593.01/1593.79 c nbDecision=1141000 #constraints=5337 1593.81/1594.51 c nbDecision=1141500 #constraints=5337 1594.51/1595.22 c nbDecision=1142000 #constraints=5337 1595.21/1595.93 c nbDecision=1142500 #constraints=5337 1595.91/1596.64 c nbDecision=1143000 #constraints=5337 1596.61/1597.35 c nbDecision=1143500 #constraints=5337 1597.31/1598.05 c nbDecision=1144000 #constraints=5337 1598.01/1598.75 c nbDecision=1144500 #constraints=5337 1598.72/1599.46 c nbDecision=1145000 #constraints=5337 1599.41/1600.15 c nbDecision=1145500 #constraints=5337 1600.11/1600.84 c nbDecision=1146000 #constraints=5337 1600.82/1601.54 c nbDecision=1146500 #constraints=5337 1601.51/1602.23 c nbDecision=1147000 #constraints=5337 1602.21/1602.91 c nbDecision=1147500 #constraints=5337 1602.81/1603.60 c nbDecision=1148000 #constraints=5337 1603.51/1604.28 c nbDecision=1148500 #constraints=5337 1604.22/1604.95 c nbDecision=1149000 #constraints=5337 1604.91/1605.63 c nbDecision=1149500 #constraints=5337 1605.61/1606.30 c nbDecision=1150000 #constraints=5337 1606.21/1606.98 c nbDecision=1150500 #constraints=5337 1606.91/1607.64 c nbDecision=1151000 #constraints=5337 1607.61/1608.31 c nbDecision=1151500 #constraints=5337 1608.21/1608.96 c nbDecision=1152000 #constraints=5337 1608.91/1609.61 c nbDecision=1152500 #constraints=5337 1609.51/1610.27 c nbDecision=1153000 #constraints=5337 1610.21/1610.99 c nbDecision=1153500 #constraints=5338 1611.01/1611.72 c nbDecision=1154000 #constraints=5338 1611.71/1612.45 c nbDecision=1154500 #constraints=5338 1612.41/1613.16 c nbDecision=1155000 #constraints=5338 1613.11/1613.88 c nbDecision=1155500 #constraints=5338 1613.91/1614.60 c nbDecision=1156000 #constraints=5338 1614.61/1615.31 c nbDecision=1156500 #constraints=5338 1615.31/1616.03 c nbDecision=1157000 #constraints=5338 1616.01/1616.74 c nbDecision=1157500 #constraints=5338 1616.71/1617.45 c nbDecision=1158000 #constraints=5338 1617.41/1618.15 c nbDecision=1158500 #constraints=5338 1618.10/1618.86 c nbDecision=1159000 #constraints=5338 1618.80/1619.57 c nbDecision=1159500 #constraints=5338 1619.51/1620.27 c nbDecision=1160000 #constraints=5338 1620.20/1620.97 c nbDecision=1160500 #constraints=5338 1620.90/1621.67 c nbDecision=1161000 #constraints=5338 1621.60/1622.37 c nbDecision=1161500 #constraints=5338 1622.30/1623.05 c nbDecision=1162000 #constraints=5338 1623.00/1623.74 c nbDecision=1162500 #constraints=5338 1623.70/1624.43 c nbDecision=1163000 #constraints=5338 1624.40/1625.12 c nbDecision=1163500 #constraints=5338 1625.01/1625.80 c nbDecision=1164000 #constraints=5338 1625.70/1626.48 c nbDecision=1164500 #constraints=5338 1626.40/1627.15 c nbDecision=1165000 #constraints=5338 1627.10/1627.83 c nbDecision=1165500 #constraints=5338 1627.80/1628.50 c nbDecision=1166000 #constraints=5338 1628.40/1629.17 c nbDecision=1166500 #constraints=5338 1629.10/1629.83 c nbDecision=1167000 #constraints=5338 1629.70/1630.49 c nbDecision=1167500 #constraints=5338 1630.40/1631.14 c nbDecision=1168000 #constraints=5338 1631.00/1631.79 c nbDecision=1168500 #constraints=5338 1631.70/1632.49 c nbDecision=1169000 #constraints=5339 1632.50/1633.23 c nbDecision=1169500 #constraints=5339 1633.20/1633.96 c nbDecision=1170000 #constraints=5339 1633.90/1634.69 c nbDecision=1170500 #constraints=5339 1634.70/1635.41 c nbDecision=1171000 #constraints=5339 1635.40/1636.14 c nbDecision=1171500 #constraints=5339 1636.10/1636.86 c nbDecision=1172000 #constraints=5339 1636.80/1637.58 c nbDecision=1172500 #constraints=5339 1637.50/1638.29 c nbDecision=1173000 #constraints=5339 1638.30/1639.01 c nbDecision=1173500 #constraints=5339 1639.00/1639.73 c nbDecision=1174000 #constraints=5339 1639.70/1640.44 c nbDecision=1174500 #constraints=5339 1640.40/1641.15 c nbDecision=1175000 #constraints=5339 1641.10/1641.86 c nbDecision=1175500 #constraints=5339 1641.80/1642.56 c nbDecision=1176000 #constraints=5339 1642.50/1643.26 c nbDecision=1176500 #constraints=5339 1643.20/1643.95 c nbDecision=1177000 #constraints=5339 1643.90/1644.64 c nbDecision=1177500 #constraints=5339 1644.59/1645.34 c nbDecision=1178000 #constraints=5339 1645.29/1646.03 c nbDecision=1178500 #constraints=5339 1646.00/1646.71 c nbDecision=1179000 #constraints=5339 1646.69/1647.40 c nbDecision=1179500 #constraints=5339 1647.29/1648.08 c nbDecision=1180000 #constraints=5339 1647.99/1648.75 c nbDecision=1180500 #constraints=5339 1648.69/1649.41 c nbDecision=1181000 #constraints=5339 1649.31/1650.08 c nbDecision=1181500 #constraints=5339 1650.00/1650.74 c nbDecision=1182000 #constraints=5339 1650.70/1651.41 c nbDecision=1182500 #constraints=5339 1651.30/1652.06 c nbDecision=1183000 #constraints=5339 1652.00/1652.71 c nbDecision=1183500 #constraints=5339 1652.60/1653.37 c nbDecision=1184000 #constraints=5339 1653.30/1654.06 c nbDecision=1184500 #constraints=5340 1654.00/1654.79 c nbDecision=1185000 #constraints=5340 1654.80/1655.52 c nbDecision=1185500 #constraints=5340 1655.50/1656.25 c nbDecision=1186000 #constraints=5340 1656.20/1656.98 c nbDecision=1186500 #constraints=5340 1657.00/1657.71 c nbDecision=1187000 #constraints=5340 1657.69/1658.44 c nbDecision=1187500 #constraints=5340 1658.39/1659.17 c nbDecision=1188000 #constraints=5340 1659.09/1659.89 c nbDecision=1188500 #constraints=5340 1659.89/1660.61 c nbDecision=1189000 #constraints=5340 1660.58/1661.34 c nbDecision=1189500 #constraints=5340 1661.28/1662.05 c nbDecision=1190000 #constraints=5340 1661.98/1662.76 c nbDecision=1190500 #constraints=5340 1662.68/1663.47 c nbDecision=1191000 #constraints=5340 1663.38/1664.18 c nbDecision=1191500 #constraints=5340 1664.08/1664.88 c nbDecision=1192000 #constraints=5340 1664.77/1665.58 c nbDecision=1192500 #constraints=5340 1665.47/1666.27 c nbDecision=1193000 #constraints=5340 1666.17/1666.96 c nbDecision=1193500 #constraints=5340 1666.88/1667.65 c nbDecision=1194000 #constraints=5340 1667.57/1668.34 c nbDecision=1194500 #constraints=5340 1668.27/1669.02 c nbDecision=1195000 #constraints=5340 1668.87/1669.69 c nbDecision=1195500 #constraints=5340 1669.57/1670.38 c nbDecision=1196000 #constraints=5340 1670.27/1671.04 c nbDecision=1196500 #constraints=5340 1670.97/1671.71 c nbDecision=1197000 #constraints=5340 1671.57/1672.38 c nbDecision=1197500 #constraints=5340 1672.26/1673.06 c nbDecision=1198000 #constraints=5340 1672.95/1673.72 c nbDecision=1198500 #constraints=5340 1673.55/1674.38 c nbDecision=1199000 #constraints=5340 1674.25/1675.04 c nbDecision=1199500 #constraints=5340 1674.85/1675.69 c nbDecision=1200000 #constraints=5340 1675.65/1676.45 c nbDecision=1200500 #constraints=5341 1676.35/1677.17 c nbDecision=1201000 #constraints=5341 1677.14/1677.90 c nbDecision=1201500 #constraints=5341 1677.85/1678.62 c nbDecision=1202000 #constraints=5341 1678.54/1679.36 c nbDecision=1202500 #constraints=5341 1679.24/1680.08 c nbDecision=1203000 #constraints=5341 1679.94/1680.79 c nbDecision=1203500 #constraints=5341 1680.64/1681.50 c nbDecision=1204000 #constraints=5341 1681.43/1682.21 c nbDecision=1204500 #constraints=5341 1682.13/1682.92 c nbDecision=1205000 #constraints=5341 1682.83/1683.63 c nbDecision=1205500 #constraints=5341 1683.53/1684.32 c nbDecision=1206000 #constraints=5341 1684.22/1685.04 c nbDecision=1206500 #constraints=5341 1684.92/1685.74 c nbDecision=1207000 #constraints=5341 1685.62/1686.43 c nbDecision=1207500 #constraints=5341 1686.32/1687.11 c nbDecision=1208000 #constraints=5341 1687.02/1687.81 c nbDecision=1208500 #constraints=5341 1687.62/1688.50 c nbDecision=1209000 #constraints=5341 1688.31/1689.18 c nbDecision=1209500 #constraints=5341 1689.01/1689.86 c nbDecision=1210000 #constraints=5341 1689.71/1690.53 c nbDecision=1210500 #constraints=5341 1690.41/1691.21 c nbDecision=1211000 #constraints=5341 1691.01/1691.87 c nbDecision=1211500 #constraints=5341 1691.71/1692.54 c nbDecision=1212000 #constraints=5341 1692.41/1693.20 c nbDecision=1212500 #constraints=5341 1693.01/1693.86 c nbDecision=1213000 #constraints=5341 1693.71/1694.52 c nbDecision=1213500 #constraints=5341 1694.31/1695.17 c nbDecision=1214000 #constraints=5341 1695.01/1695.82 c nbDecision=1214500 #constraints=5341 1695.71/1696.56 c nbDecision=1215000 #constraints=5342 1696.51/1697.30 c nbDecision=1215500 #constraints=5342 1697.20/1698.03 c nbDecision=1216000 #constraints=5342 1697.90/1698.75 c nbDecision=1216500 #constraints=5342 1698.61/1699.50 c nbDecision=1217000 #constraints=5342 1699.40/1700.22 c nbDecision=1217500 #constraints=5342 1700.10/1700.94 c nbDecision=1218000 #constraints=5342 1700.80/1701.66 c nbDecision=1218500 #constraints=5342 1701.50/1702.37 c nbDecision=1219000 #constraints=5342 1702.20/1703.09 c nbDecision=1219500 #constraints=5342 1702.90/1703.79 c nbDecision=1220000 #constraints=5342 1703.70/1704.50 c nbDecision=1220500 #constraints=5342 1704.30/1705.20 c nbDecision=1221000 #constraints=5342 1705.00/1705.89 c nbDecision=1221500 #constraints=5342 1705.70/1706.59 c nbDecision=1222000 #constraints=5342 1706.40/1707.28 c nbDecision=1222500 #constraints=5342 1707.10/1707.97 c nbDecision=1223000 #constraints=5342 1707.80/1708.66 c nbDecision=1223500 #constraints=5342 1708.50/1709.34 c nbDecision=1224000 #constraints=5342 1709.20/1710.01 c nbDecision=1224500 #constraints=5342 1709.80/1710.68 c nbDecision=1225000 #constraints=5342 1710.49/1711.35 c nbDecision=1225500 #constraints=5342 1711.18/1712.03 c nbDecision=1226000 #constraints=5342 1711.88/1712.70 c nbDecision=1226500 #constraints=5342 1712.48/1713.37 c nbDecision=1227000 #constraints=5342 1713.18/1714.03 c nbDecision=1227500 #constraints=5342 1713.78/1714.68 c nbDecision=1228000 #constraints=5342 1714.48/1715.34 c nbDecision=1228500 #constraints=5342 1715.08/1715.99 c nbDecision=1229000 #constraints=5342 1715.88/1716.71 c nbDecision=1229500 #constraints=5343 1716.58/1717.44 c nbDecision=1230000 #constraints=5343 1717.28/1718.16 c nbDecision=1230500 #constraints=5343 1717.97/1718.89 c nbDecision=1231000 #constraints=5343 1718.77/1719.61 c nbDecision=1231500 #constraints=5343 1719.48/1720.34 c nbDecision=1232000 #constraints=5343 1720.17/1721.06 c nbDecision=1232500 #constraints=5343 1720.87/1721.77 c nbDecision=1233000 #constraints=5343 1721.57/1722.49 c nbDecision=1233500 #constraints=5343 1722.37/1723.20 c nbDecision=1234000 #constraints=5343 1723.07/1723.91 c nbDecision=1234500 #constraints=5343 1723.77/1724.62 c nbDecision=1235000 #constraints=5343 1724.47/1725.32 c nbDecision=1235500 #constraints=5343 1725.17/1726.02 c nbDecision=1236000 #constraints=5343 1725.87/1726.71 c nbDecision=1236500 #constraints=5343 1726.57/1727.41 c nbDecision=1237000 #constraints=5343 1727.18/1728.10 c nbDecision=1237500 #constraints=5343 1727.87/1728.78 c nbDecision=1238000 #constraints=5343 1728.57/1729.46 c nbDecision=1238500 #constraints=5343 1729.27/1730.14 c nbDecision=1239000 #constraints=5343 1729.97/1730.81 c nbDecision=1239500 #constraints=5343 1730.57/1731.48 c nbDecision=1240000 #constraints=5343 1731.27/1732.14 c nbDecision=1240500 #constraints=5343 1731.97/1732.81 c nbDecision=1241000 #constraints=5343 1732.57/1733.47 c nbDecision=1241500 #constraints=5343 1733.27/1734.13 c nbDecision=1242000 #constraints=5343 1733.87/1734.78 c nbDecision=1242500 #constraints=5343 1734.57/1735.44 c nbDecision=1243000 #constraints=5343 1735.17/1736.09 c nbDecision=1243500 #constraints=5343 1735.87/1736.79 c nbDecision=1244000 #constraints=5344 1736.67/1737.52 c nbDecision=1244500 #constraints=5344 1737.37/1738.23 c nbDecision=1245000 #constraints=5344 1738.07/1738.97 c nbDecision=1245500 #constraints=5344 1738.87/1739.70 c nbDecision=1246000 #constraints=5344 1739.57/1740.42 c nbDecision=1246500 #constraints=5344 1740.27/1741.14 c nbDecision=1247000 #constraints=5344 1740.97/1741.86 c nbDecision=1247500 #constraints=5344 1741.67/1742.58 c nbDecision=1248000 #constraints=5344 1742.37/1743.29 c nbDecision=1248500 #constraints=5344 1743.07/1743.99 c nbDecision=1249000 #constraints=5344 1743.77/1744.69 c nbDecision=1249500 #constraints=5344 1744.46/1745.39 c nbDecision=1250000 #constraints=5344 1745.16/1746.09 c nbDecision=1250500 #constraints=5344 1745.87/1746.78 c nbDecision=1251000 #constraints=5344 1746.56/1747.48 c nbDecision=1251500 #constraints=5344 1747.26/1748.16 c nbDecision=1252000 #constraints=5344 1747.96/1748.85 c nbDecision=1252500 #constraints=5344 1748.66/1749.52 c nbDecision=1253000 #constraints=5344 1749.27/1750.19 c nbDecision=1253500 #constraints=5344 1749.96/1750.86 c nbDecision=1254000 #constraints=5344 1750.66/1751.52 c nbDecision=1254500 #constraints=5344 1751.26/1752.19 c nbDecision=1255000 #constraints=5344 1751.96/1752.85 c nbDecision=1255500 #constraints=5344 1752.66/1753.51 c nbDecision=1256000 #constraints=5344 1753.26/1754.17 c nbDecision=1256500 #constraints=5344 1753.96/1754.83 c nbDecision=1257000 #constraints=5344 1754.56/1755.48 c nbDecision=1257500 #constraints=5344 1755.26/1756.13 c nbDecision=1258000 #constraints=5344 1755.96/1756.82 c nbDecision=1258500 #constraints=5345 1756.66/1757.55 c nbDecision=1259000 #constraints=5345 1757.36/1758.27 c nbDecision=1259500 #constraints=5345 1758.16/1759.01 c nbDecision=1260000 #constraints=5345 1758.86/1759.73 c nbDecision=1260500 #constraints=5345 1759.56/1760.46 c nbDecision=1261000 #constraints=5345 1760.26/1761.17 c nbDecision=1261500 #constraints=5345 1760.96/1761.88 c nbDecision=1262000 #constraints=5345 1761.76/1762.60 c nbDecision=1262500 #constraints=5345 1762.46/1763.31 c nbDecision=1263000 #constraints=5345 1763.16/1764.02 c nbDecision=1263500 #constraints=5345 1763.86/1764.72 c nbDecision=1264000 #constraints=5345 1764.56/1765.43 c nbDecision=1264500 #constraints=5345 1765.26/1766.13 c nbDecision=1265000 #constraints=5345 1765.96/1766.82 c nbDecision=1265500 #constraints=5345 1766.66/1767.51 c nbDecision=1266000 #constraints=5345 1767.36/1768.20 c nbDecision=1266500 #constraints=5345 1767.96/1768.88 c nbDecision=1267000 #constraints=5345 1768.66/1769.56 c nbDecision=1267500 #constraints=5345 1769.35/1770.23 c nbDecision=1268000 #constraints=5345 1769.95/1770.90 c nbDecision=1268500 #constraints=5345 1770.65/1771.57 c nbDecision=1269000 #constraints=5345 1771.35/1772.24 c nbDecision=1269500 #constraints=5345 1772.05/1772.91 c nbDecision=1270000 #constraints=5345 1772.65/1773.57 c nbDecision=1270500 #constraints=5345 1773.36/1774.22 c nbDecision=1271000 #constraints=5345 1773.95/1774.88 c nbDecision=1271500 #constraints=5345 1774.65/1775.54 c nbDecision=1272000 #constraints=5345 1775.25/1776.19 c nbDecision=1272500 #constraints=5345 1775.95/1776.87 c nbDecision=1273000 #constraints=5346 1776.76/1777.60 c nbDecision=1273500 #constraints=5346 1777.45/1778.33 c nbDecision=1274000 #constraints=5346 1778.15/1779.06 c nbDecision=1274500 #constraints=5346 1778.85/1779.79 c nbDecision=1275000 #constraints=5346 1779.65/1780.51 c nbDecision=1275500 #constraints=5346 1780.35/1781.24 c nbDecision=1276000 #constraints=5346 1781.05/1781.95 c nbDecision=1276500 #constraints=5346 1781.75/1782.67 c nbDecision=1277000 #constraints=5346 1782.45/1783.38 c nbDecision=1277500 #constraints=5346 1783.15/1784.09 c nbDecision=1278000 #constraints=5346 1783.95/1784.80 c nbDecision=1278500 #constraints=5346 1784.65/1785.50 c nbDecision=1279000 #constraints=5346 1785.35/1786.20 c nbDecision=1279500 #constraints=5346 1785.95/1786.89 c nbDecision=1280000 #constraints=5346 1786.65/1787.59 c nbDecision=1280500 #constraints=5346 1787.35/1788.29 c nbDecision=1281000 #constraints=5346 1788.05/1788.96 c nbDecision=1281500 #constraints=5346 1788.75/1789.64 c nbDecision=1282000 #constraints=5346 1789.45/1790.32 c nbDecision=1282500 #constraints=5346 1790.05/1790.99 c nbDecision=1283000 #constraints=5346 1790.75/1791.66 c nbDecision=1283500 #constraints=5346 1791.45/1792.33 c nbDecision=1284000 #constraints=5346 1792.05/1793.00 c nbDecision=1284500 #constraints=5346 1792.74/1793.66 c nbDecision=1285000 #constraints=5346 1793.44/1794.33 c nbDecision=1285500 #constraints=5346 1794.04/1794.98 c nbDecision=1286000 #constraints=5346 1794.74/1795.64 c nbDecision=1286500 #constraints=5346 1795.35/1796.29 c nbDecision=1287000 #constraints=5346 1796.04/1796.94 c nbDecision=1287500 #constraints=5346 1796.84/1797.70 c nbDecision=1288000 #constraints=5347 1797.55/1798.42 c nbDecision=1288500 #constraints=5347 1798.24/1799.15 c nbDecision=1289000 #constraints=5347 1798.94/1799.87 c nbDecision=1289500 #constraints=5347 1799.75/1800.60 c nbDecision=1290000 #constraints=5347 1800.05/1800.90 Received signal 15 1800.05/1800.90 1800.05/1800.90 s UNKNOWN 1800.05/1800.90 1800.05/1800.90 c user time= 1799.9 s 1800.05/1800.90 c system time= 0.156976 s 1800.05/1800.90 c wall clock time=1800.91
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-357278-1176993202 -o ROOT/results/node58/solver-357278-1176993202 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357278-1176993202/instance-357278-1176993202.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.92 0.98 0.98 3/64 24902 /proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=1468 CPUtime=0 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147229968 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 367 161 127 317 0 46 0 [startup+0.0450729 s] /proc/loadavg: 0.92 0.98 0.98 3/64 24902 /proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=2660 CPUtime=0.04 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 451 0 0 0 4 0 0 0 18 0 1 0 147229968 2723840 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 665 400 127 317 0 344 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2660 [startup+0.101082 s] /proc/loadavg: 0.92 0.98 0.98 3/64 24902 /proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=3440 CPUtime=0.09 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 790 0 0 0 9 0 0 0 18 0 1 0 147229968 3522560 545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 860 545 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301115 s] /proc/loadavg: 0.92 0.98 0.98 3/64 24902 /proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=5232 CPUtime=0.29 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 1230 0 0 0 29 0 0 0 19 0 1 0 147229968 5357568 985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 1308 985 131 317 0 987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5232 [startup+0.701183 s] /proc/loadavg: 0.92 0.98 0.98 3/64 24902 /proc/meminfo: memFree=1705312/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=13020 CPUtime=0.69 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 3175 0 0 0 69 0 0 0 23 0 1 0 147229968 13332480 2930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 3255 2930 131 317 0 2934 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13020 [startup+1.50132 s] /proc/loadavg: 0.92 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1689048/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=32456 CPUtime=1.49 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8051 0 0 0 147 2 0 0 25 0 1 0 147229968 33234944 7806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8114 7806 137 317 0 7793 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32456 [startup+3.10159 s] /proc/loadavg: 0.92 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1672856/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34040 CPUtime=3.09 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8435 0 0 0 307 2 0 0 25 0 1 0 147229968 34856960 8190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8510 8190 138 317 0 8189 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34040 [startup+6.30113 s] /proc/loadavg: 0.93 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1672664/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34040 CPUtime=6.29 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8437 0 0 0 627 2 0 0 25 0 1 0 147229968 34856960 8192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8510 8192 138 317 0 8189 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34040 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1672680/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34040 CPUtime=12.68 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8442 0 0 0 1266 2 0 0 25 0 1 0 147229968 34856960 8197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8510 8197 138 317 0 8189 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34040 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1672680/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34176 CPUtime=25.48 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8451 0 0 0 2546 2 0 0 25 0 1 0 147229968 34996224 8206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8544 8206 138 317 0 8223 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34176 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1672680/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34176 CPUtime=51.07 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8466 0 0 0 5105 2 0 0 25 0 1 0 147229968 34996224 8221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8544 8221 138 317 0 8223 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34176 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1672424/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=102.25 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8577 0 0 0 10223 2 0 0 25 0 1 0 147229968 35409920 8296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8296 139 317 0 8324 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34580 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/65 24903 /proc/meminfo: memFree=1672360/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=162.24 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8577 0 0 0 16221 3 0 0 25 0 1 0 147229968 35409920 8296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8296 139 317 0 8324 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34580 [startup+222.302 s] /proc/loadavg: 1.03 1.00 0.99 2/65 24903 /proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=222.21 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8579 0 0 0 22218 3 0 0 25 0 1 0 147229968 35409920 8298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8298 139 317 0 8324 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 34580 [startup+282.302 s] /proc/loadavg: 1.01 1.00 0.99 2/65 24903 /proc/meminfo: memFree=1672232/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=282.18 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8581 0 0 0 28215 3 0 0 25 0 1 0 147229968 35409920 8300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8300 139 317 0 8324 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 34580 [startup+342.303 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24903 /proc/meminfo: memFree=1672232/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=342.17 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8581 0 0 0 34213 4 0 0 25 0 1 0 147229968 35409920 8300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8300 139 317 0 8324 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 34580 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672360/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=402.14 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8582 0 0 0 40210 4 0 0 25 0 1 0 147229968 35409920 8301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8301 139 317 0 8324 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 34580 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672360/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=462.11 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8582 0 0 0 46207 4 0 0 25 0 1 0 147229968 35409920 8301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8301 139 317 0 8324 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 34580 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=522.08 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8583 0 0 0 52204 4 0 0 25 0 1 0 147229968 35409920 8302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8302 139 317 0 8324 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 34580 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=582.07 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8583 0 0 0 58202 5 0 0 25 0 1 0 147229968 35409920 8302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8302 139 317 0 8324 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 34580 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672296/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=642.04 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8584 0 0 0 64199 5 0 0 25 0 1 0 147229968 35409920 8303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8303 139 317 0 8324 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 34580 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=881.93 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8586 0 0 0 88187 6 0 0 25 0 1 0 147229968 35409920 8305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8305 139 317 0 8324 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 34580 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=941.9 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8587 0 0 0 94184 6 0 0 25 0 1 0 147229968 35409920 8306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8306 139 317 0 8324 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 34580 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=1001.87 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8588 0 0 0 100181 6 0 0 25 0 1 0 147229968 35409920 8307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8307 139 317 0 8324 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 34580 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=1061.85 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8588 0 0 0 106178 7 0 0 25 0 1 0 147229968 35409920 8307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8307 139 317 0 8324 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 34580 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=1121.81 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8588 0 0 0 112174 7 0 0 25 0 1 0 147229968 35409920 8307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8307 139 317 0 8324 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 34580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=1181.8 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 118172 8 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8308 139 317 0 8324 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 34580 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672104/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=1241.77 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 124169 8 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8308 139 317 0 8324 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 34580 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=1301.75 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 130167 8 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8308 139 317 0 8324 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 34580 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672040/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34580 CPUtime=1361.72 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8589 0 0 0 136163 9 0 0 25 0 1 0 147229968 35409920 8308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8645 8308 139 317 0 8324 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 34580 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1671976/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1421.69 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8590 0 0 0 142160 9 0 0 25 0 1 0 147229968 35545088 8309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8309 139 317 0 8357 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 34712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1671976/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1481.66 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8590 0 0 0 148157 9 0 0 25 0 1 0 147229968 35545088 8309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8309 139 317 0 8357 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 34712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672168/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1541.64 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8591 0 0 0 154154 10 0 0 25 0 1 0 147229968 35545088 8310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8310 139 317 0 8357 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 34712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 24905 /proc/meminfo: memFree=1672168/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1601.61 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8591 0 0 0 160151 10 0 0 25 0 1 0 147229968 35545088 8310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8310 139 317 0 8357 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 34712 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 0.99 2/71 24971 /proc/meminfo: memFree=1670904/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1661.58 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8592 0 0 0 166144 14 0 0 25 0 1 0 147229968 35545088 8311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8311 139 317 0 8357 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 34712 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 0.99 2/65 25103 /proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1721.47 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8592 0 0 0 172132 15 0 0 25 0 1 0 147229968 35545088 8311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8311 139 317 0 8357 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 34712 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 0.99 2/65 25103 /proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1781.45 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8593 0 0 0 178130 15 0 0 25 0 1 0 147229968 35545088 8312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8312 139 317 0 8357 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (KiB) 34712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25103 /proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1800.05 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8593 0 0 0 179990 15 0 0 25 0 1 0 147229968 35545088 8312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8312 139 317 0 8357 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 34712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.99 2/65 25103 /proc/meminfo: memFree=1671720/2055920 swapFree=4184528/4192956 [pid=24902] ppid=24900 vsize=34712 CPUtime=1800.05 /proc/24902/stat : 24902 (oree) R 24900 24902 24474 0 -1 4194304 8593 0 0 0 179990 15 0 0 25 0 1 0 147229968 35545088 8312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24902/statm: 8678 8312 139 317 0 8357 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 34712 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.08 CPU user time (s): 1799.92 CPU system time (s): 0.161975 CPU usage (%): 99.9528 Max. virtual memory (cumulated for all children) (KiB): 34712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.161975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8609 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= 6247 runsolver used 1.55976 second user time and 3.66644 second system time The end
Begin job on node58 on Thu Apr 19 14:33:23 UTC 2007 IDJOB= 357278 IDBENCH= 2342 IDSOLVER= 172 FILE ID= node58/357278-1176993202 PBS_JOBID= 4630442 Free space on /tmp= 66445 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb COMMAND LINE= oree /tmp/evaluation/357278-1176993202/instance-357278-1176993202.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-357278-1176993202 -o ROOT/results/node58/solver-357278-1176993202 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357278-1176993202/instance-357278-1176993202.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bb02029eb777c2a6ae8e192b29bcb9de RANDOM SEED= 166730033 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1705720 kB Buffers: 27560 kB Cached: 248152 kB SwapCached: 2340 kB Active: 27584 kB Inactive: 258536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1705720 kB SwapTotal: 4192956 kB SwapFree: 4184528 kB Dirty: 5968 kB Writeback: 0 kB Mapped: 16836 kB Slab: 50116 kB Committed_AS: 957452 kB PageTables: 1384 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= 66445 MiB End job on node58 on Thu Apr 19 15:03:26 UTC 2007