Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb |
MD5SUM | 8e9a545df4abbe3f7a2b003048b42200 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 103872 |
Total number of constraints | 3312 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 1116 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 555552 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 555552 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.79/0.89 c ...done 0.79/0.89 c #vars=103872 #constraints=4561 hasObjective=yes 1.29/1.37 c res. mode=mod 1.29/1.37 c VSIDS like heuristics 1.29/1.37 c complete search running 2.10/2.11 c restart after 401 decisions 2.20/2.26 c nbDecision=500 #constraints=4561 2.69/2.71 c restart after 801 decisions 2.99/3.01 c nbDecision=1000 #constraints=4561 3.69/3.76 c nbDecision=1500 #constraints=4561 3.89/3.91 c restart after 1601 decisions 4.49/4.51 c nbDecision=2000 #constraints=4561 5.18/5.26 c nbDecision=2500 #constraints=4561 5.98/6.01 c nbDecision=3000 #constraints=4561 6.28/6.31 c restart after 3201 decisions 6.68/6.77 c nbDecision=3500 #constraints=4561 7.48/7.52 c nbDecision=4000 #constraints=4561 8.18/8.27 c nbDecision=4500 #constraints=4561 8.98/9.01 c nbDecision=5000 #constraints=4561 9.68/9.76 c nbDecision=5500 #constraints=4561 10.48/10.50 c nbDecision=6000 #constraints=4561 10.98/11.09 c restart after 6401 decisions 11.18/11.25 c nbDecision=6500 #constraints=4561 11.98/12.00 c nbDecision=7000 #constraints=4561 12.68/12.76 c nbDecision=7500 #constraints=4561 13.48/13.51 c nbDecision=8000 #constraints=4561 14.18/14.26 c nbDecision=8500 #constraints=4561 14.98/15.01 c nbDecision=9000 #constraints=4561 15.68/15.76 c nbDecision=9500 #constraints=4561 16.48/16.51 c nbDecision=10000 #constraints=4561 17.18/17.26 c nbDecision=10500 #constraints=4561 17.98/18.01 c nbDecision=11000 #constraints=4561 18.68/18.75 c nbDecision=11500 #constraints=4561 19.38/19.50 c nbDecision=12000 #constraints=4561 20.18/20.24 c nbDecision=12500 #constraints=4561 20.58/20.69 c restart after 12801 decisions 20.98/21.00 c nbDecision=13000 #constraints=4561 21.68/21.75 c nbDecision=13500 #constraints=4561 22.38/22.50 c nbDecision=14000 #constraints=4561 23.18/23.24 c nbDecision=14500 #constraints=4561 23.88/23.99 c nbDecision=15000 #constraints=4561 24.68/24.73 c nbDecision=15500 #constraints=4561 25.38/25.47 c nbDecision=16000 #constraints=4561 26.18/26.22 c nbDecision=16500 #constraints=4561 26.88/26.96 c nbDecision=17000 #constraints=4561 27.58/27.70 c nbDecision=17500 #constraints=4561 28.38/28.43 c nbDecision=18000 #constraints=4561 29.08/29.17 c nbDecision=18500 #constraints=4561 29.88/29.90 c nbDecision=19000 #constraints=4561 30.58/30.62 c nbDecision=19500 #constraints=4561 31.28/31.36 c nbDecision=20000 #constraints=4561 31.98/32.10 c nbDecision=20500 #constraints=4561 32.78/32.83 c nbDecision=21000 #constraints=4561 33.48/33.56 c nbDecision=21500 #constraints=4561 34.28/34.30 c nbDecision=22000 #constraints=4561 34.98/35.04 c nbDecision=22500 #constraints=4561 35.68/35.77 c nbDecision=23000 #constraints=4561 36.48/36.50 c nbDecision=23500 #constraints=4561 37.18/37.23 c nbDecision=24000 #constraints=4561 37.88/37.96 c nbDecision=24500 #constraints=4561 38.58/38.69 c nbDecision=25000 #constraints=4561 39.38/39.42 c nbDecision=25500 #constraints=4561 39.48/39.57 c restart after 25601 decisions 40.08/40.19 c nbDecision=26000 #constraints=4561 40.88/40.95 c nbDecision=26500 #constraints=4561 41.58/41.70 c nbDecision=27000 #constraints=4561 42.38/42.45 c nbDecision=27500 #constraints=4561 43.08/43.19 c nbDecision=28000 #constraints=4561 43.88/43.93 c nbDecision=28500 #constraints=4561 44.57/44.67 c nbDecision=29000 #constraints=4561 45.37/45.40 c nbDecision=29500 #constraints=4561 46.08/46.14 c nbDecision=30000 #constraints=4561 46.77/46.88 c nbDecision=30500 #constraints=4561 47.57/47.62 c nbDecision=31000 #constraints=4561 48.28/48.35 c nbDecision=31500 #constraints=4561 48.97/49.09 c nbDecision=32000 #constraints=4561 49.77/49.82 c nbDecision=32500 #constraints=4561 50.48/50.56 c nbDecision=33000 #constraints=4561 51.17/51.28 c nbDecision=33500 #constraints=4561 51.97/52.01 c nbDecision=34000 #constraints=4561 52.67/52.75 c nbDecision=34500 #constraints=4561 53.37/53.49 c nbDecision=35000 #constraints=4561 54.17/54.22 c nbDecision=35500 #constraints=4561 54.87/54.94 c nbDecision=36000 #constraints=4561 55.57/55.68 c nbDecision=36500 #constraints=4561 56.37/56.41 c nbDecision=37000 #constraints=4561 57.07/57.14 c nbDecision=37500 #constraints=4561 57.77/57.87 c nbDecision=38000 #constraints=4561 58.47/58.60 c nbDecision=38500 #constraints=4561 59.27/59.32 c nbDecision=39000 #constraints=4561 59.97/60.04 c nbDecision=39500 #constraints=4561 60.67/60.77 c nbDecision=40000 #constraints=4561 61.37/61.49 c nbDecision=40500 #constraints=4561 62.17/62.20 c nbDecision=41000 #constraints=4561 62.87/62.92 c nbDecision=41500 #constraints=4561 63.57/63.63 c nbDecision=42000 #constraints=4561 64.27/64.34 c nbDecision=42500 #constraints=4561 64.97/65.04 c nbDecision=43000 #constraints=4561 65.67/65.74 c nbDecision=43500 #constraints=4561 66.36/66.45 c nbDecision=44000 #constraints=4561 67.07/67.15 c nbDecision=44500 #constraints=4561 67.76/67.86 c nbDecision=45000 #constraints=4561 68.46/68.56 c nbDecision=45500 #constraints=4561 69.17/69.26 c nbDecision=46000 #constraints=4561 69.86/69.96 c nbDecision=46500 #constraints=4561 70.56/70.66 c nbDecision=47000 #constraints=4561 71.26/71.35 c nbDecision=47500 #constraints=4561 71.96/72.05 c nbDecision=48000 #constraints=4561 72.66/72.75 c nbDecision=48500 #constraints=4561 73.36/73.44 c nbDecision=49000 #constraints=4561 74.06/74.14 c nbDecision=49500 #constraints=4561 74.76/74.84 c nbDecision=50000 #constraints=4561 75.46/75.53 c nbDecision=50500 #constraints=4561 76.16/76.27 c nbDecision=51000 #constraints=4562 76.46/76.57 c restart after 51201 decisions 76.96/77.04 c nbDecision=51500 #constraints=4562 77.66/77.80 c nbDecision=52000 #constraints=4562 78.46/78.55 c nbDecision=52500 #constraints=4562 79.26/79.31 c nbDecision=53000 #constraints=4562 79.96/80.06 c nbDecision=53500 #constraints=4562 80.76/80.80 c nbDecision=54000 #constraints=4562 81.46/81.55 c nbDecision=54500 #constraints=4562 82.16/82.29 c nbDecision=55000 #constraints=4562 82.96/83.02 c nbDecision=55500 #constraints=4562 83.66/83.75 c nbDecision=56000 #constraints=4562 84.36/84.47 c nbDecision=56500 #constraints=4562 85.16/85.20 c nbDecision=57000 #constraints=4562 85.86/85.94 c nbDecision=57500 #constraints=4562 86.56/86.67 c nbDecision=58000 #constraints=4562 87.36/87.40 c nbDecision=58500 #constraints=4562 88.06/88.13 c nbDecision=59000 #constraints=4562 88.76/88.86 c nbDecision=59500 #constraints=4562 89.46/89.59 c nbDecision=60000 #constraints=4562 90.26/90.32 c nbDecision=60500 #constraints=4562 90.96/91.05 c nbDecision=61000 #constraints=4562 91.66/91.77 c nbDecision=61500 #constraints=4562 92.46/92.50 c nbDecision=62000 #constraints=4562 93.16/93.23 c nbDecision=62500 #constraints=4562 93.86/93.96 c nbDecision=63000 #constraints=4562 94.56/94.69 c nbDecision=63500 #constraints=4562 95.36/95.42 c nbDecision=64000 #constraints=4562 96.06/96.15 c nbDecision=64500 #constraints=4562 96.76/96.87 c nbDecision=65000 #constraints=4562 97.46/97.59 c nbDecision=65500 #constraints=4562 98.26/98.31 c nbDecision=66000 #constraints=4562 98.96/99.03 c nbDecision=66500 #constraints=4562 99.66/99.74 c nbDecision=67000 #constraints=4562 100.36/100.46 c nbDecision=67500 #constraints=4562 101.06/101.19 c nbDecision=68000 #constraints=4562 101.86/101.90 c nbDecision=68500 #constraints=4562 102.56/102.61 c nbDecision=69000 #constraints=4562 103.26/103.32 c nbDecision=69500 #constraints=4562 103.96/104.03 c nbDecision=70000 #constraints=4562 104.66/104.74 c nbDecision=70500 #constraints=4562 105.35/105.45 c nbDecision=71000 #constraints=4562 106.05/106.16 c nbDecision=71500 #constraints=4562 106.75/106.86 c nbDecision=72000 #constraints=4562 107.45/107.57 c nbDecision=72500 #constraints=4562 108.15/108.26 c nbDecision=73000 #constraints=4562 108.86/108.96 c nbDecision=73500 #constraints=4562 109.55/109.65 c nbDecision=74000 #constraints=4562 110.25/110.34 c nbDecision=74500 #constraints=4562 110.96/111.03 c nbDecision=75000 #constraints=4562 111.65/111.72 c nbDecision=75500 #constraints=4562 112.35/112.40 c nbDecision=76000 #constraints=4562 113.05/113.13 c nbDecision=76500 #constraints=4563 113.75/113.86 c nbDecision=77000 #constraints=4563 114.45/114.59 c nbDecision=77500 #constraints=4563 115.25/115.32 c nbDecision=78000 #constraints=4563 115.95/116.05 c nbDecision=78500 #constraints=4563 116.65/116.77 c nbDecision=79000 #constraints=4563 117.45/117.50 c nbDecision=79500 #constraints=4563 118.15/118.23 c nbDecision=80000 #constraints=4563 118.85/118.95 c nbDecision=80500 #constraints=4563 119.55/119.67 c nbDecision=81000 #constraints=4563 120.25/120.39 c nbDecision=81500 #constraints=4563 121.05/121.11 c nbDecision=82000 #constraints=4563 121.75/121.83 c nbDecision=82500 #constraints=4563 122.45/122.54 c nbDecision=83000 #constraints=4563 123.15/123.24 c nbDecision=83500 #constraints=4563 123.85/123.94 c nbDecision=84000 #constraints=4563 124.55/124.65 c nbDecision=84500 #constraints=4563 125.25/125.35 c nbDecision=85000 #constraints=4563 125.95/126.06 c nbDecision=85500 #constraints=4563 126.65/126.76 c nbDecision=86000 #constraints=4563 127.35/127.46 c nbDecision=86500 #constraints=4563 128.05/128.16 c nbDecision=87000 #constraints=4563 128.75/128.86 c nbDecision=87500 #constraints=4563 129.45/129.55 c nbDecision=88000 #constraints=4563 130.15/130.23 c nbDecision=88500 #constraints=4563 130.85/130.93 c nbDecision=89000 #constraints=4563 131.54/131.62 c nbDecision=89500 #constraints=4563 132.24/132.31 c nbDecision=90000 #constraints=4563 132.84/133.00 c nbDecision=90500 #constraints=4563 133.54/133.69 c nbDecision=91000 #constraints=4563 134.24/134.39 c nbDecision=91500 #constraints=4563 135.04/135.14 c nbDecision=92000 #constraints=4564 135.74/135.87 c nbDecision=92500 #constraints=4564 136.44/136.60 c nbDecision=93000 #constraints=4564 137.24/137.31 c nbDecision=93500 #constraints=4564 137.94/138.03 c nbDecision=94000 #constraints=4564 138.64/138.76 c nbDecision=94500 #constraints=4564 139.34/139.48 c nbDecision=95000 #constraints=4564 140.14/140.20 c nbDecision=95500 #constraints=4564 140.84/140.92 c nbDecision=96000 #constraints=4564 141.54/141.63 c nbDecision=96500 #constraints=4564 142.24/142.34 c nbDecision=97000 #constraints=4564 142.94/143.04 c nbDecision=97500 #constraints=4564 143.64/143.74 c nbDecision=98000 #constraints=4564 144.34/144.43 c nbDecision=98500 #constraints=4564 145.04/145.13 c nbDecision=99000 #constraints=4564 145.74/145.83 c nbDecision=99500 #constraints=4564 146.44/146.53 c nbDecision=100000 #constraints=4564 147.14/147.24 c nbDecision=100500 #constraints=4564 147.84/147.93 c nbDecision=101000 #constraints=4564 148.54/148.63 c nbDecision=101500 #constraints=4564 149.24/149.33 c nbDecision=102000 #constraints=4564 149.74/149.89 c restart after 102401 decisions 149.94/150.07 c nbDecision=102500 #constraints=4564 150.74/150.84 c nbDecision=103000 #constraints=4564 151.44/151.58 c nbDecision=103500 #constraints=4564 152.23/152.33 c nbDecision=104000 #constraints=4564 152.93/153.08 c nbDecision=104500 #constraints=4564 153.73/153.83 c nbDecision=105000 #constraints=4564 154.43/154.58 c nbDecision=105500 #constraints=4564 155.23/155.32 c nbDecision=106000 #constraints=4564 155.93/156.07 c nbDecision=106500 #constraints=4564 156.73/156.80 c nbDecision=107000 #constraints=4564 157.43/157.55 c nbDecision=107500 #constraints=4564 158.13/158.29 c nbDecision=108000 #constraints=4564 158.93/159.04 c nbDecision=108500 #constraints=4564 159.63/159.78 c nbDecision=109000 #constraints=4564 160.44/160.52 c nbDecision=109500 #constraints=4564 161.13/161.26 c nbDecision=110000 #constraints=4564 161.83/161.99 c nbDecision=110500 #constraints=4564 162.64/162.72 c nbDecision=111000 #constraints=4564 163.33/163.45 c nbDecision=111500 #constraints=4564 164.03/164.18 c nbDecision=112000 #constraints=4564 164.83/164.90 c nbDecision=112500 #constraints=4564 165.53/165.61 c nbDecision=113000 #constraints=4564 166.23/166.33 c nbDecision=113500 #constraints=4564 166.93/167.05 c nbDecision=114000 #constraints=4564 167.63/167.76 c nbDecision=114500 #constraints=4564 168.33/168.48 c nbDecision=115000 #constraints=4564 169.13/169.20 c nbDecision=115500 #constraints=4564 169.83/169.92 c nbDecision=116000 #constraints=4564 170.53/170.63 c nbDecision=116500 #constraints=4564 171.23/171.34 c nbDecision=117000 #constraints=4564 171.93/172.06 c nbDecision=117500 #constraints=4564 172.63/172.78 c nbDecision=118000 #constraints=4564 173.43/173.51 c nbDecision=118500 #constraints=4564 174.13/174.24 c nbDecision=119000 #constraints=4564 174.83/174.95 c nbDecision=119500 #constraints=4564 175.53/175.65 c nbDecision=120000 #constraints=4564 176.23/176.36 c nbDecision=120500 #constraints=4564 176.93/177.07 c nbDecision=121000 #constraints=4564 177.63/177.78 c nbDecision=121500 #constraints=4564 178.32/178.49 c nbDecision=122000 #constraints=4564 179.02/179.20 c nbDecision=122500 #constraints=4564 179.82/179.92 c nbDecision=123000 #constraints=4564 180.53/180.62 c nbDecision=123500 #constraints=4564 181.22/181.32 c nbDecision=124000 #constraints=4564 181.92/182.02 c nbDecision=124500 #constraints=4564 182.62/182.71 c nbDecision=125000 #constraints=4564 183.32/183.40 c nbDecision=125500 #constraints=4564 184.02/184.10 c nbDecision=126000 #constraints=4564 184.63/184.78 c nbDecision=126500 #constraints=4564 185.32/185.46 c nbDecision=127000 #constraints=4564 186.02/186.15 c nbDecision=127500 #constraints=4564 186.72/186.89 c nbDecision=128000 #constraints=4565 187.52/187.61 c nbDecision=128500 #constraints=4565 188.22/188.33 c nbDecision=129000 #constraints=4565 188.92/189.04 c nbDecision=129500 #constraints=4565 189.62/189.75 c nbDecision=130000 #constraints=4565 190.32/190.46 c nbDecision=130500 #constraints=4565 191.02/191.16 c nbDecision=131000 #constraints=4565 191.72/191.87 c nbDecision=131500 #constraints=4565 192.42/192.59 c nbDecision=132000 #constraints=4565 193.22/193.30 c nbDecision=132500 #constraints=4565 193.92/194.01 c nbDecision=133000 #constraints=4565 194.62/194.73 c nbDecision=133500 #constraints=4565 195.32/195.44 c nbDecision=134000 #constraints=4565 196.02/196.15 c nbDecision=134500 #constraints=4565 196.72/196.86 c nbDecision=135000 #constraints=4565 197.42/197.56 c nbDecision=135500 #constraints=4565 198.12/198.27 c nbDecision=136000 #constraints=4565 198.82/198.97 c nbDecision=136500 #constraints=4565 199.52/199.68 c nbDecision=137000 #constraints=4565 200.22/200.38 c nbDecision=137500 #constraints=4565 200.92/201.08 c nbDecision=138000 #constraints=4565 201.62/201.78 c nbDecision=138500 #constraints=4565 202.32/202.47 c nbDecision=139000 #constraints=4565 203.02/203.16 c nbDecision=139500 #constraints=4565 203.71/203.85 c nbDecision=140000 #constraints=4565 204.42/204.59 c nbDecision=140500 #constraints=4566 205.21/205.32 c nbDecision=141000 #constraints=4566 205.91/206.04 c nbDecision=141500 #constraints=4566 206.62/206.76 c nbDecision=142000 #constraints=4566 207.31/207.48 c nbDecision=142500 #constraints=4566 208.11/208.20 c nbDecision=143000 #constraints=4566 208.82/208.92 c nbDecision=143500 #constraints=4566 209.51/209.64 c nbDecision=144000 #constraints=4566 210.21/210.36 c nbDecision=144500 #constraints=4566 210.91/211.07 c nbDecision=145000 #constraints=4566 211.62/211.78 c nbDecision=145500 #constraints=4566 212.42/212.50 c nbDecision=146000 #constraints=4566 213.12/213.22 c nbDecision=146500 #constraints=4566 213.82/213.94 c nbDecision=147000 #constraints=4566 214.52/214.65 c nbDecision=147500 #constraints=4566 215.22/215.36 c nbDecision=148000 #constraints=4566 215.92/216.08 c nbDecision=148500 #constraints=4566 216.62/216.78 c nbDecision=149000 #constraints=4566 217.32/217.49 c nbDecision=149500 #constraints=4566 218.12/218.20 c nbDecision=150000 #constraints=4566 218.82/218.91 c nbDecision=150500 #constraints=4566 219.51/219.62 c nbDecision=151000 #constraints=4566 220.21/220.32 c nbDecision=151500 #constraints=4566 220.92/221.03 c nbDecision=152000 #constraints=4566 221.61/221.72 c nbDecision=152500 #constraints=4566 222.31/222.42 c nbDecision=153000 #constraints=4566 223.01/223.11 c nbDecision=153500 #constraints=4566 223.71/223.80 c nbDecision=154000 #constraints=4566 224.31/224.49 c nbDecision=154500 #constraints=4566 225.01/225.18 c nbDecision=155000 #constraints=4566 225.81/225.91 c nbDecision=155500 #constraints=4567 226.51/226.63 c nbDecision=156000 #constraints=4567 227.21/227.36 c nbDecision=156500 #constraints=4567 227.91/228.08 c nbDecision=157000 #constraints=4567 228.61/228.80 c nbDecision=157500 #constraints=4567 229.41/229.52 c nbDecision=158000 #constraints=4567 230.11/230.24 c nbDecision=158500 #constraints=4567 230.81/230.96 c nbDecision=159000 #constraints=4567 231.50/231.67 c nbDecision=159500 #constraints=4567 232.20/232.39 c nbDecision=160000 #constraints=4567 233.01/233.11 c nbDecision=160500 #constraints=4567 233.70/233.83 c nbDecision=161000 #constraints=4567 234.40/234.55 c nbDecision=161500 #constraints=4567 235.10/235.27 c nbDecision=162000 #constraints=4567 235.80/235.99 c nbDecision=162500 #constraints=4567 236.60/236.70 c nbDecision=163000 #constraints=4567 237.30/237.41 c nbDecision=163500 #constraints=4567 238.00/238.12 c nbDecision=164000 #constraints=4567 238.70/238.83 c nbDecision=164500 #constraints=4567 239.40/239.54 c nbDecision=165000 #constraints=4567 240.10/240.24 c nbDecision=165500 #constraints=4567 240.81/240.95 c nbDecision=166000 #constraints=4567 241.50/241.65 c nbDecision=166500 #constraints=4567 242.20/242.35 c nbDecision=167000 #constraints=4567 242.91/243.05 c nbDecision=167500 #constraints=4567 243.60/243.73 c nbDecision=168000 #constraints=4567 244.30/244.42 c nbDecision=168500 #constraints=4567 245.00/245.12 c nbDecision=169000 #constraints=4567 245.70/245.81 c nbDecision=169500 #constraints=4567 246.30/246.50 c nbDecision=170000 #constraints=4567 247.10/247.22 c nbDecision=170500 #constraints=4568 247.80/247.95 c nbDecision=171000 #constraints=4568 248.50/248.67 c nbDecision=171500 #constraints=4568 249.20/249.39 c nbDecision=172000 #constraints=4568 250.00/250.12 c nbDecision=172500 #constraints=4568 250.70/250.84 c nbDecision=173000 #constraints=4568 251.40/251.56 c nbDecision=173500 #constraints=4568 252.10/252.28 c nbDecision=174000 #constraints=4568 252.90/253.00 c nbDecision=174500 #constraints=4568 253.60/253.73 c nbDecision=175000 #constraints=4568 254.30/254.45 c nbDecision=175500 #constraints=4568 255.00/255.17 c nbDecision=176000 #constraints=4568 255.70/255.89 c nbDecision=176500 #constraints=4568 256.50/256.61 c nbDecision=177000 #constraints=4568 257.20/257.32 c nbDecision=177500 #constraints=4568 257.89/258.04 c nbDecision=178000 #constraints=4568 258.59/258.75 c nbDecision=178500 #constraints=4568 259.29/259.46 c nbDecision=179000 #constraints=4568 259.99/260.17 c nbDecision=179500 #constraints=4568 260.69/260.87 c nbDecision=180000 #constraints=4568 261.39/261.58 c nbDecision=180500 #constraints=4568 262.09/262.28 c nbDecision=181000 #constraints=4568 262.80/262.98 c nbDecision=181500 #constraints=4568 263.49/263.68 c nbDecision=182000 #constraints=4568 264.19/264.38 c nbDecision=182500 #constraints=4568 264.89/265.07 c nbDecision=183000 #constraints=4568 265.59/265.77 c nbDecision=183500 #constraints=4568 266.29/266.45 c nbDecision=184000 #constraints=4568 266.99/267.14 c nbDecision=184500 #constraints=4568 267.69/267.83 c nbDecision=185000 #constraints=4568 268.39/268.52 c nbDecision=185500 #constraints=4568 269.09/269.27 c nbDecision=186000 #constraints=4569 269.79/269.99 c nbDecision=186500 #constraints=4569 270.59/270.71 c nbDecision=187000 #constraints=4569 271.29/271.43 c nbDecision=187500 #constraints=4569 271.99/272.15 c nbDecision=188000 #constraints=4569 272.69/272.87 c nbDecision=188500 #constraints=4569 273.39/273.59 c nbDecision=189000 #constraints=4569 274.19/274.32 c nbDecision=189500 #constraints=4569 274.89/275.03 c nbDecision=190000 #constraints=4569 275.59/275.75 c nbDecision=190500 #constraints=4569 276.28/276.47 c nbDecision=191000 #constraints=4569 276.99/277.19 c nbDecision=191500 #constraints=4569 277.78/277.90 c nbDecision=192000 #constraints=4569 278.48/278.61 c nbDecision=192500 #constraints=4569 279.19/279.32 c nbDecision=193000 #constraints=4569 279.88/280.03 c nbDecision=193500 #constraints=4569 280.58/280.73 c nbDecision=194000 #constraints=4569 281.28/281.44 c nbDecision=194500 #constraints=4569 281.98/282.14 c nbDecision=195000 #constraints=4569 282.68/282.84 c nbDecision=195500 #constraints=4569 283.38/283.53 c nbDecision=196000 #constraints=4569 284.08/284.23 c nbDecision=196500 #constraints=4569 284.78/284.92 c nbDecision=197000 #constraints=4569 285.48/285.62 c nbDecision=197500 #constraints=4569 286.18/286.31 c nbDecision=198000 #constraints=4569 286.78/287.00 c nbDecision=198500 #constraints=4569 287.48/287.69 c nbDecision=199000 #constraints=4569 288.28/288.41 c nbDecision=199500 #constraints=4570 288.99/289.13 c nbDecision=200000 #constraints=4570 289.69/289.85 c nbDecision=200500 #constraints=4570 290.39/290.56 c nbDecision=201000 #constraints=4570 291.09/291.28 c nbDecision=201500 #constraints=4570 291.78/292.00 c nbDecision=202000 #constraints=4570 292.58/292.71 c nbDecision=202500 #constraints=4570 293.28/293.43 c nbDecision=203000 #constraints=4570 293.98/294.15 c nbDecision=203500 #constraints=4570 294.69/294.86 c nbDecision=204000 #constraints=4570 295.38/295.58 c nbDecision=204500 #constraints=4570 295.88/296.01 c restart after 204801 decisions 296.18/296.34 c nbDecision=205000 #constraints=4570 296.89/297.09 c nbDecision=205500 #constraints=4570 297.68/297.85 c nbDecision=206000 #constraints=4570 298.48/298.61 c nbDecision=206500 #constraints=4570 299.18/299.36 c nbDecision=207000 #constraints=4570 299.98/300.11 c nbDecision=207500 #constraints=4570 300.68/300.86 c nbDecision=208000 #constraints=4570 301.48/301.61 c nbDecision=208500 #constraints=4570 302.18/302.35 c nbDecision=209000 #constraints=4570 302.88/303.09 c nbDecision=209500 #constraints=4570 303.68/303.83 c nbDecision=210000 #constraints=4570 304.38/304.57 c nbDecision=210500 #constraints=4570 305.18/305.30 c nbDecision=211000 #constraints=4570 305.88/306.04 c nbDecision=211500 #constraints=4570 306.58/306.77 c nbDecision=212000 #constraints=4570 307.38/307.51 c nbDecision=212500 #constraints=4570 308.08/308.24 c nbDecision=213000 #constraints=4570 308.78/308.97 c nbDecision=213500 #constraints=4570 309.57/309.70 c nbDecision=214000 #constraints=4570 310.27/310.43 c nbDecision=214500 #constraints=4570 310.97/311.15 c nbDecision=215000 #constraints=4570 311.67/311.88 c nbDecision=215500 #constraints=4570 312.47/312.61 c nbDecision=216000 #constraints=4570 313.17/313.34 c nbDecision=216500 #constraints=4570 313.87/314.07 c nbDecision=217000 #constraints=4570 314.67/314.80 c nbDecision=217500 #constraints=4570 315.37/315.52 c nbDecision=218000 #constraints=4570 316.07/316.25 c nbDecision=218500 #constraints=4570 316.77/316.97 c nbDecision=219000 #constraints=4570 317.47/317.69 c nbDecision=219500 #constraints=4570 318.27/318.42 c nbDecision=220000 #constraints=4570 318.97/319.14 c nbDecision=220500 #constraints=4570 319.67/319.85 c nbDecision=221000 #constraints=4570 320.37/320.57 c nbDecision=221500 #constraints=4570 321.07/321.29 c nbDecision=222000 #constraints=4570 321.87/322.00 c nbDecision=222500 #constraints=4570 322.57/322.70 c nbDecision=223000 #constraints=4570 323.27/323.41 c nbDecision=223500 #constraints=4570 323.97/324.11 c nbDecision=224000 #constraints=4570 324.67/324.81 c nbDecision=224500 #constraints=4570 325.37/325.51 c nbDecision=225000 #constraints=4570 326.07/326.21 c nbDecision=225500 #constraints=4570 326.77/326.91 c nbDecision=226000 #constraints=4570 327.47/327.61 c nbDecision=226500 #constraints=4570 328.07/328.30 c nbDecision=227000 #constraints=4570 328.77/328.99 c nbDecision=227500 #constraints=4570 329.46/329.68 c nbDecision=228000 #constraints=4570 330.16/330.38 c nbDecision=228500 #constraints=4570 330.87/331.07 c nbDecision=229000 #constraints=4570 331.56/331.76 c nbDecision=229500 #constraints=4570 332.26/332.48 c nbDecision=230000 #constraints=4571 333.07/333.21 c nbDecision=230500 #constraints=4571 333.76/333.93 c nbDecision=231000 #constraints=4571 334.46/334.66 c nbDecision=231500 #constraints=4571 335.16/335.38 c nbDecision=232000 #constraints=4571 335.96/336.10 c nbDecision=232500 #constraints=4571 336.66/336.82 c nbDecision=233000 #constraints=4571 337.36/337.53 c nbDecision=233500 #constraints=4571 338.06/338.25 c nbDecision=234000 #constraints=4571 338.76/338.97 c nbDecision=234500 #constraints=4571 339.46/339.68 c nbDecision=235000 #constraints=4571 340.16/340.39 c nbDecision=235500 #constraints=4571 340.96/341.10 c nbDecision=236000 #constraints=4571 341.66/341.81 c nbDecision=236500 #constraints=4571 342.36/342.52 c nbDecision=237000 #constraints=4571 343.06/343.22 c nbDecision=237500 #constraints=4571 343.76/343.92 c nbDecision=238000 #constraints=4571 344.46/344.62 c nbDecision=238500 #constraints=4571 345.16/345.31 c nbDecision=239000 #constraints=4571 345.86/346.01 c nbDecision=239500 #constraints=4571 346.56/346.70 c nbDecision=240000 #constraints=4571 347.16/347.40 c nbDecision=240500 #constraints=4571 347.86/348.09 c nbDecision=241000 #constraints=4571 348.56/348.78 c nbDecision=241500 #constraints=4571 349.25/349.46 c nbDecision=242000 #constraints=4571 349.95/350.19 c nbDecision=242500 #constraints=4572 350.76/350.91 c nbDecision=243000 #constraints=4572 351.45/351.63 c nbDecision=243500 #constraints=4572 352.15/352.35 c nbDecision=244000 #constraints=4572 352.86/353.08 c nbDecision=244500 #constraints=4572 353.65/353.81 c nbDecision=245000 #constraints=4572 354.35/354.54 c nbDecision=245500 #constraints=4572 355.06/355.26 c nbDecision=246000 #constraints=4572 355.75/355.99 c nbDecision=246500 #constraints=4572 356.55/356.71 c nbDecision=247000 #constraints=4572 357.26/357.43 c nbDecision=247500 #constraints=4572 357.95/358.15 c nbDecision=248000 #constraints=4572 358.65/358.87 c nbDecision=248500 #constraints=4572 359.35/359.59 c nbDecision=249000 #constraints=4572 360.15/360.30 c nbDecision=249500 #constraints=4572 360.85/361.01 c nbDecision=250000 #constraints=4572 361.55/361.73 c nbDecision=250500 #constraints=4572 362.25/362.43 c nbDecision=251000 #constraints=4572 362.95/363.14 c nbDecision=251500 #constraints=4572 363.65/363.84 c nbDecision=252000 #constraints=4572 364.35/364.54 c nbDecision=252500 #constraints=4572 365.05/365.24 c nbDecision=253000 #constraints=4572 365.75/365.93 c nbDecision=253500 #constraints=4572 366.45/366.63 c nbDecision=254000 #constraints=4572 367.15/367.33 c nbDecision=254500 #constraints=4572 367.85/368.02 c nbDecision=255000 #constraints=4572 368.55/368.72 c nbDecision=255500 #constraints=4572 369.24/369.40 c nbDecision=256000 #constraints=4572 369.84/370.09 c nbDecision=256500 #constraints=4572 370.55/370.78 c nbDecision=257000 #constraints=4572 371.24/371.49 c nbDecision=257500 #constraints=4573 372.04/372.23 c nbDecision=258000 #constraints=4573 372.75/372.95 c nbDecision=258500 #constraints=4573 373.45/373.68 c nbDecision=259000 #constraints=4573 374.24/374.41 c nbDecision=259500 #constraints=4573 374.95/375.13 c nbDecision=260000 #constraints=4573 375.64/375.86 c nbDecision=260500 #constraints=4573 376.34/376.59 c nbDecision=261000 #constraints=4573 377.15/377.31 c nbDecision=261500 #constraints=4573 377.84/378.03 c nbDecision=262000 #constraints=4573 378.54/378.75 c nbDecision=262500 #constraints=4573 379.25/379.47 c nbDecision=263000 #constraints=4573 379.94/380.19 c nbDecision=263500 #constraints=4573 380.74/380.91 c nbDecision=264000 #constraints=4573 381.45/381.62 c nbDecision=264500 #constraints=4573 382.14/382.33 c nbDecision=265000 #constraints=4573 382.84/383.03 c nbDecision=265500 #constraints=4573 383.54/383.74 c nbDecision=266000 #constraints=4573 384.24/384.44 c nbDecision=266500 #constraints=4573 384.94/385.14 c nbDecision=267000 #constraints=4573 385.64/385.84 c nbDecision=267500 #constraints=4573 386.34/386.54 c nbDecision=268000 #constraints=4573 387.04/387.24 c nbDecision=268500 #constraints=4573 387.74/387.94 c nbDecision=269000 #constraints=4573 388.44/388.64 c nbDecision=269500 #constraints=4573 389.14/389.33 c nbDecision=270000 #constraints=4573 389.84/390.03 c nbDecision=270500 #constraints=4573 390.53/390.72 c nbDecision=271000 #constraints=4573 391.24/391.41 c nbDecision=271500 #constraints=4573 391.94/392.10 c nbDecision=272000 #constraints=4573 392.55/392.80 c nbDecision=272500 #constraints=4573 393.34/393.53 c nbDecision=273000 #constraints=4574 394.04/394.26 c nbDecision=273500 #constraints=4574 394.75/394.98 c nbDecision=274000 #constraints=4574 395.44/395.70 c nbDecision=274500 #constraints=4574 396.24/396.41 c nbDecision=275000 #constraints=4574 396.95/397.12 c nbDecision=275500 #constraints=4574 397.64/397.83 c nbDecision=276000 #constraints=4574 398.34/398.55 c nbDecision=276500 #constraints=4574 399.05/399.26 c nbDecision=277000 #constraints=4574 399.74/399.97 c nbDecision=277500 #constraints=4574 400.44/400.68 c nbDecision=278000 #constraints=4574 401.14/401.38 c nbDecision=278500 #constraints=4574 401.84/402.09 c nbDecision=279000 #constraints=4574 402.54/402.79 c nbDecision=279500 #constraints=4574 403.24/403.48 c nbDecision=280000 #constraints=4574 403.94/404.17 c nbDecision=280500 #constraints=4574 404.64/404.87 c nbDecision=281000 #constraints=4574 405.34/405.56 c nbDecision=281500 #constraints=4574 406.04/406.26 c nbDecision=282000 #constraints=4574 406.74/406.95 c nbDecision=282500 #constraints=4574 407.44/407.64 c nbDecision=283000 #constraints=4574 408.14/408.32 c nbDecision=283500 #constraints=4574 408.84/409.06 c nbDecision=284000 #constraints=4575 409.54/409.78 c nbDecision=284500 #constraints=4575 410.33/410.50 c nbDecision=285000 #constraints=4575 411.03/411.22 c nbDecision=285500 #constraints=4575 411.73/411.94 c nbDecision=286000 #constraints=4575 412.43/412.66 c nbDecision=286500 #constraints=4575 413.13/413.38 c nbDecision=287000 #constraints=4575 413.94/414.10 c nbDecision=287500 #constraints=4575 414.63/414.82 c nbDecision=288000 #constraints=4575 415.33/415.54 c nbDecision=288500 #constraints=4575 416.03/416.26 c nbDecision=289000 #constraints=4575 416.74/416.97 c nbDecision=289500 #constraints=4575 417.43/417.68 c nbDecision=290000 #constraints=4575 418.13/418.40 c nbDecision=290500 #constraints=4575 418.94/419.11 c nbDecision=291000 #constraints=4575 419.63/419.82 c nbDecision=291500 #constraints=4575 420.33/420.53 c nbDecision=292000 #constraints=4575 421.03/421.23 c nbDecision=292500 #constraints=4575 421.73/421.94 c nbDecision=293000 #constraints=4575 422.43/422.64 c nbDecision=293500 #constraints=4575 423.13/423.33 c nbDecision=294000 #constraints=4575 423.83/424.03 c nbDecision=294500 #constraints=4575 424.53/424.72 c nbDecision=295000 #constraints=4575 425.23/425.42 c nbDecision=295500 #constraints=4575 425.93/426.10 c nbDecision=296000 #constraints=4575 426.53/426.79 c nbDecision=296500 #constraints=4575 427.23/427.48 c nbDecision=297000 #constraints=4575 428.03/428.21 c nbDecision=297500 #constraints=4576 428.73/428.93 c nbDecision=298000 #constraints=4576 429.43/429.66 c nbDecision=298500 #constraints=4576 430.13/430.38 c nbDecision=299000 #constraints=4576 430.83/431.09 c nbDecision=299500 #constraints=4576 431.63/431.81 c nbDecision=300000 #constraints=4576 432.33/432.54 c nbDecision=300500 #constraints=4576 433.03/433.26 c nbDecision=301000 #constraints=4576 433.73/433.99 c nbDecision=301500 #constraints=4576 434.52/434.71 c nbDecision=302000 #constraints=4576 435.22/435.43 c nbDecision=302500 #constraints=4576 435.92/436.15 c nbDecision=303000 #constraints=4576 436.62/436.86 c nbDecision=303500 #constraints=4576 437.32/437.57 c nbDecision=304000 #constraints=4576 438.02/438.29 c nbDecision=304500 #constraints=4576 438.82/439.00 c nbDecision=305000 #constraints=4576 439.52/439.71 c nbDecision=305500 #constraints=4576 440.22/440.43 c nbDecision=306000 #constraints=4576 440.92/441.14 c nbDecision=306500 #constraints=4576 441.62/441.84 c nbDecision=307000 #constraints=4576 442.32/442.55 c nbDecision=307500 #constraints=4576 443.02/443.24 c nbDecision=308000 #constraints=4576 443.72/443.94 c nbDecision=308500 #constraints=4576 444.42/444.64 c nbDecision=309000 #constraints=4576 445.12/445.33 c nbDecision=309500 #constraints=4576 445.82/446.03 c nbDecision=310000 #constraints=4576 446.52/446.72 c nbDecision=310500 #constraints=4576 447.22/447.41 c nbDecision=311000 #constraints=4576 447.82/448.09 c nbDecision=311500 #constraints=4576 448.52/448.78 c nbDecision=312000 #constraints=4576 449.32/449.51 c nbDecision=312500 #constraints=4577 450.01/450.25 c nbDecision=313000 #constraints=4577 450.72/450.99 c nbDecision=313500 #constraints=4577 451.51/451.72 c nbDecision=314000 #constraints=4577 452.21/452.47 c nbDecision=314500 #constraints=4577 453.02/453.21 c nbDecision=315000 #constraints=4577 453.71/453.95 c nbDecision=315500 #constraints=4577 454.41/454.69 c nbDecision=316000 #constraints=4577 455.22/455.42 c nbDecision=316500 #constraints=4577 455.91/456.15 c nbDecision=317000 #constraints=4577 456.61/456.89 c nbDecision=317500 #constraints=4577 457.41/457.62 c nbDecision=318000 #constraints=4577 458.11/458.35 c nbDecision=318500 #constraints=4577 458.81/459.09 c nbDecision=319000 #constraints=4577 459.62/459.82 c nbDecision=319500 #constraints=4577 460.31/460.54 c nbDecision=320000 #constraints=4577 461.01/461.27 c nbDecision=320500 #constraints=4577 461.71/462.00 c nbDecision=321000 #constraints=4577 462.51/462.71 c nbDecision=321500 #constraints=4577 463.21/463.43 c nbDecision=322000 #constraints=4577 463.91/464.15 c nbDecision=322500 #constraints=4577 464.61/464.86 c nbDecision=323000 #constraints=4577 465.31/465.56 c nbDecision=323500 #constraints=4577 466.01/466.28 c nbDecision=324000 #constraints=4577 466.71/466.99 c nbDecision=324500 #constraints=4577 467.41/467.69 c nbDecision=325000 #constraints=4577 468.21/468.40 c nbDecision=325500 #constraints=4577 468.90/469.11 c nbDecision=326000 #constraints=4577 469.61/469.81 c nbDecision=326500 #constraints=4577 470.30/470.52 c nbDecision=327000 #constraints=4577 471.00/471.22 c nbDecision=327500 #constraints=4577 471.71/471.92 c nbDecision=328000 #constraints=4577 472.40/472.63 c nbDecision=328500 #constraints=4577 473.10/473.33 c nbDecision=329000 #constraints=4577 473.80/474.03 c nbDecision=329500 #constraints=4577 474.50/474.73 c nbDecision=330000 #constraints=4577 475.20/475.44 c nbDecision=330500 #constraints=4577 475.90/476.14 c nbDecision=331000 #constraints=4577 476.60/476.83 c nbDecision=331500 #constraints=4577 477.30/477.53 c nbDecision=332000 #constraints=4577 478.00/478.22 c nbDecision=332500 #constraints=4577 478.70/478.92 c nbDecision=333000 #constraints=4577 479.40/479.69 c nbDecision=333500 #constraints=4578 480.20/480.44 c nbDecision=334000 #constraints=4578 480.90/481.19 c nbDecision=334500 #constraints=4578 481.70/481.94 c nbDecision=335000 #constraints=4578 482.40/482.68 c nbDecision=335500 #constraints=4578 483.20/483.42 c nbDecision=336000 #constraints=4578 483.90/484.16 c nbDecision=336500 #constraints=4578 484.60/484.90 c nbDecision=337000 #constraints=4578 485.40/485.63 c nbDecision=337500 #constraints=4578 486.10/486.37 c nbDecision=338000 #constraints=4578 486.90/487.10 c nbDecision=338500 #constraints=4578 487.60/487.83 c nbDecision=339000 #constraints=4578 488.30/488.57 c nbDecision=339500 #constraints=4578 489.00/489.30 c nbDecision=340000 #constraints=4578 489.80/490.02 c nbDecision=340500 #constraints=4578 490.50/490.75 c nbDecision=341000 #constraints=4578 491.20/491.48 c nbDecision=341500 #constraints=4578 492.00/492.21 c nbDecision=342000 #constraints=4578 492.69/492.94 c nbDecision=342500 #constraints=4578 493.39/493.67 c nbDecision=343000 #constraints=4578 494.19/494.40 c nbDecision=343500 #constraints=4578 494.89/495.13 c nbDecision=344000 #constraints=4578 495.59/495.85 c nbDecision=344500 #constraints=4578 496.29/496.58 c nbDecision=345000 #constraints=4578 497.09/497.30 c nbDecision=345500 #constraints=4578 497.79/498.02 c nbDecision=346000 #constraints=4578 498.49/498.74 c nbDecision=346500 #constraints=4578 499.20/499.46 c nbDecision=347000 #constraints=4578 499.89/500.18 c nbDecision=347500 #constraints=4578 500.69/500.90 c nbDecision=348000 #constraints=4578 501.40/501.61 c nbDecision=348500 #constraints=4578 502.09/502.32 c nbDecision=349000 #constraints=4578 502.79/503.03 c nbDecision=349500 #constraints=4578 503.49/503.73 c nbDecision=350000 #constraints=4578 504.19/504.44 c nbDecision=350500 #constraints=4578 504.89/505.14 c nbDecision=351000 #constraints=4578 505.59/505.84 c nbDecision=351500 #constraints=4578 506.29/506.54 c nbDecision=352000 #constraints=4578 506.99/507.24 c nbDecision=352500 #constraints=4578 507.69/507.93 c nbDecision=353000 #constraints=4578 508.39/508.63 c nbDecision=353500 #constraints=4578 509.09/509.32 c nbDecision=354000 #constraints=4578 509.79/510.01 c nbDecision=354500 #constraints=4578 510.49/510.71 c nbDecision=355000 #constraints=4578 511.10/511.39 c nbDecision=355500 #constraints=4578 511.80/512.08 c nbDecision=356000 #constraints=4578 512.60/512.83 c nbDecision=356500 #constraints=4579 513.29/513.56 c nbDecision=357000 #constraints=4579 514.09/514.30 c nbDecision=357500 #constraints=4579 514.79/515.03 c nbDecision=358000 #constraints=4579 515.49/515.77 c nbDecision=358500 #constraints=4579 516.29/516.51 c nbDecision=359000 #constraints=4579 516.99/517.25 c nbDecision=359500 #constraints=4579 517.69/517.99 c nbDecision=360000 #constraints=4579 518.49/518.73 c nbDecision=360500 #constraints=4579 519.19/519.46 c nbDecision=361000 #constraints=4579 519.89/520.20 c nbDecision=361500 #constraints=4579 520.69/520.93 c nbDecision=362000 #constraints=4579 521.39/521.66 c nbDecision=362500 #constraints=4579 522.09/522.39 c nbDecision=363000 #constraints=4579 522.89/523.11 c nbDecision=363500 #constraints=4579 523.59/523.83 c nbDecision=364000 #constraints=4579 524.29/524.55 c nbDecision=364500 #constraints=4579 524.99/525.27 c nbDecision=365000 #constraints=4579 525.69/525.99 c nbDecision=365500 #constraints=4579 526.49/526.71 c nbDecision=366000 #constraints=4579 527.19/527.42 c nbDecision=366500 #constraints=4579 527.89/528.13 c nbDecision=367000 #constraints=4579 528.59/528.84 c nbDecision=367500 #constraints=4579 529.29/529.55 c nbDecision=368000 #constraints=4579 529.99/530.26 c nbDecision=368500 #constraints=4579 530.69/530.97 c nbDecision=369000 #constraints=4579 531.39/531.69 c nbDecision=369500 #constraints=4579 532.09/532.40 c nbDecision=370000 #constraints=4579 532.89/533.11 c nbDecision=370500 #constraints=4579 533.59/533.82 c nbDecision=371000 #constraints=4579 534.29/534.53 c nbDecision=371500 #constraints=4579 534.98/535.24 c nbDecision=372000 #constraints=4579 535.69/535.95 c nbDecision=372500 #constraints=4579 536.38/536.65 c nbDecision=373000 #constraints=4579 537.08/537.35 c nbDecision=373500 #constraints=4579 537.78/538.04 c nbDecision=374000 #constraints=4579 538.48/538.74 c nbDecision=374500 #constraints=4579 539.18/539.44 c nbDecision=375000 #constraints=4579 539.89/540.14 c nbDecision=375500 #constraints=4579 540.58/540.83 c nbDecision=376000 #constraints=4579 541.28/541.53 c nbDecision=376500 #constraints=4579 541.99/542.27 c nbDecision=377000 #constraints=4580 542.78/543.01 c nbDecision=377500 #constraints=4580 543.48/543.75 c nbDecision=378000 #constraints=4580 544.18/544.50 c nbDecision=378500 #constraints=4580 544.98/545.24 c nbDecision=379000 #constraints=4580 545.68/545.98 c nbDecision=379500 #constraints=4580 546.48/546.72 c nbDecision=380000 #constraints=4580 547.18/547.46 c nbDecision=380500 #constraints=4580 547.88/548.19 c nbDecision=381000 #constraints=4580 548.68/548.93 c nbDecision=381500 #constraints=4580 549.38/549.66 c nbDecision=382000 #constraints=4580 550.08/550.39 c nbDecision=382500 #constraints=4580 550.88/551.13 c nbDecision=383000 #constraints=4580 551.58/551.86 c nbDecision=383500 #constraints=4580 552.28/552.60 c nbDecision=384000 #constraints=4580 553.08/553.33 c nbDecision=384500 #constraints=4580 553.77/554.07 c nbDecision=385000 #constraints=4580 554.57/554.80 c nbDecision=385500 #constraints=4580 555.28/555.53 c nbDecision=386000 #constraints=4580 555.97/556.26 c nbDecision=386500 #constraints=4580 556.67/556.99 c nbDecision=387000 #constraints=4580 557.48/557.72 c nbDecision=387500 #constraints=4580 558.17/558.44 c nbDecision=388000 #constraints=4580 558.87/559.17 c nbDecision=388500 #constraints=4580 559.58/559.89 c nbDecision=389000 #constraints=4580 560.37/560.61 c nbDecision=389500 #constraints=4580 561.07/561.34 c nbDecision=390000 #constraints=4580 561.77/562.05 c nbDecision=390500 #constraints=4580 562.47/562.77 c nbDecision=391000 #constraints=4580 563.17/563.48 c nbDecision=391500 #constraints=4580 563.87/564.19 c nbDecision=392000 #constraints=4580 564.57/564.89 c nbDecision=392500 #constraints=4580 565.37/565.60 c nbDecision=393000 #constraints=4580 566.07/566.30 c nbDecision=393500 #constraints=4580 566.77/567.01 c nbDecision=394000 #constraints=4580 567.47/567.71 c nbDecision=394500 #constraints=4580 568.17/568.41 c nbDecision=395000 #constraints=4580 568.87/569.11 c nbDecision=395500 #constraints=4580 569.57/569.81 c nbDecision=396000 #constraints=4580 570.26/570.51 c nbDecision=396500 #constraints=4580 570.96/571.20 c nbDecision=397000 #constraints=4580 571.67/571.90 c nbDecision=397500 #constraints=4580 572.36/572.60 c nbDecision=398000 #constraints=4580 573.06/573.30 c nbDecision=398500 #constraints=4580 573.76/574.00 c nbDecision=399000 #constraints=4580 574.36/574.70 c nbDecision=399500 #constraints=4580 575.07/575.39 c nbDecision=400000 #constraints=4580 575.86/576.15 c nbDecision=400500 #constraints=4581 576.66/576.90 c nbDecision=401000 #constraints=4581 577.36/577.64 c nbDecision=401500 #constraints=4581 578.06/578.39 c nbDecision=402000 #constraints=4581 578.86/579.14 c nbDecision=402500 #constraints=4581 579.56/579.89 c nbDecision=403000 #constraints=4581 580.36/580.63 c nbDecision=403500 #constraints=4581 581.06/581.38 c nbDecision=404000 #constraints=4581 581.86/582.12 c nbDecision=404500 #constraints=4581 582.56/582.85 c nbDecision=405000 #constraints=4581 583.26/583.58 c nbDecision=405500 #constraints=4581 584.06/584.31 c nbDecision=406000 #constraints=4581 584.76/585.04 c nbDecision=406500 #constraints=4581 585.46/585.78 c nbDecision=407000 #constraints=4581 586.25/586.50 c nbDecision=407500 #constraints=4581 586.95/587.23 c nbDecision=408000 #constraints=4581 587.65/587.96 c nbDecision=408500 #constraints=4581 588.35/588.68 c nbDecision=409000 #constraints=4581 589.15/589.41 c nbDecision=409500 #constraints=4581 589.26/589.56 c restart after 409601 decisions 589.85/590.16 c nbDecision=410000 #constraints=4581 590.65/590.91 c nbDecision=410500 #constraints=4581 591.35/591.65 c nbDecision=411000 #constraints=4581 592.15/592.41 c nbDecision=411500 #constraints=4581 592.85/593.16 c nbDecision=412000 #constraints=4581 593.65/593.91 c nbDecision=412500 #constraints=4581 594.35/594.66 c nbDecision=413000 #constraints=4581 595.15/595.41 c nbDecision=413500 #constraints=4581 595.85/596.16 c nbDecision=414000 #constraints=4581 596.65/596.90 c nbDecision=414500 #constraints=4581 597.35/597.65 c nbDecision=415000 #constraints=4581 598.05/598.39 c nbDecision=415500 #constraints=4581 598.85/599.14 c nbDecision=416000 #constraints=4581 599.55/599.88 c nbDecision=416500 #constraints=4581 600.35/600.62 c nbDecision=417000 #constraints=4581 601.05/601.36 c nbDecision=417500 #constraints=4581 601.75/602.09 c nbDecision=418000 #constraints=4581 602.55/602.82 c nbDecision=418500 #constraints=4581 603.25/603.55 c nbDecision=419000 #constraints=4581 603.95/604.28 c nbDecision=419500 #constraints=4581 604.75/605.01 c nbDecision=420000 #constraints=4581 605.44/605.72 c nbDecision=420500 #constraints=4581 606.14/606.44 c nbDecision=421000 #constraints=4581 606.86/607.16 c nbDecision=421500 #constraints=4581 607.55/607.88 c nbDecision=422000 #constraints=4581 608.25/608.59 c nbDecision=422500 #constraints=4581 609.05/609.31 c nbDecision=423000 #constraints=4581 609.75/610.03 c nbDecision=423500 #constraints=4581 610.45/610.74 c nbDecision=424000 #constraints=4581 611.15/611.46 c nbDecision=424500 #constraints=4581 611.85/612.18 c nbDecision=425000 #constraints=4581 612.55/612.89 c nbDecision=425500 #constraints=4581 613.35/613.61 c nbDecision=426000 #constraints=4581 614.05/614.33 c nbDecision=426500 #constraints=4581 614.75/615.04 c nbDecision=427000 #constraints=4581 615.45/615.76 c nbDecision=427500 #constraints=4581 616.15/616.47 c nbDecision=428000 #constraints=4581 616.85/617.18 c nbDecision=428500 #constraints=4581 617.55/617.88 c nbDecision=429000 #constraints=4581 618.25/618.59 c nbDecision=429500 #constraints=4581 618.95/619.30 c nbDecision=430000 #constraints=4581 619.75/620.01 c nbDecision=430500 #constraints=4581 620.45/620.72 c nbDecision=431000 #constraints=4581 621.15/621.42 c nbDecision=431500 #constraints=4581 621.85/622.12 c nbDecision=432000 #constraints=4581 622.55/622.81 c nbDecision=432500 #constraints=4581 623.25/623.50 c nbDecision=433000 #constraints=4581 623.84/624.19 c nbDecision=433500 #constraints=4581 624.55/624.88 c nbDecision=434000 #constraints=4581 625.24/625.57 c nbDecision=434500 #constraints=4581 626.04/626.32 c nbDecision=435000 #constraints=4582 626.75/627.06 c nbDecision=435500 #constraints=4582 627.54/627.80 c nbDecision=436000 #constraints=4582 628.24/628.53 c nbDecision=436500 #constraints=4582 628.94/629.26 c nbDecision=437000 #constraints=4582 629.64/629.99 c nbDecision=437500 #constraints=4582 630.44/630.72 c nbDecision=438000 #constraints=4582 631.14/631.46 c nbDecision=438500 #constraints=4582 631.84/632.19 c nbDecision=439000 #constraints=4582 632.64/632.92 c nbDecision=439500 #constraints=4582 633.34/633.65 c nbDecision=440000 #constraints=4582 634.04/634.39 c nbDecision=440500 #constraints=4582 634.84/635.12 c nbDecision=441000 #constraints=4582 635.54/635.84 c nbDecision=441500 #constraints=4582 636.24/636.56 c nbDecision=442000 #constraints=4582 636.94/637.29 c nbDecision=442500 #constraints=4582 637.74/638.02 c nbDecision=443000 #constraints=4582 638.43/638.74 c nbDecision=443500 #constraints=4582 639.13/639.46 c nbDecision=444000 #constraints=4582 639.84/640.19 c nbDecision=444500 #constraints=4582 640.63/640.91 c nbDecision=445000 #constraints=4582 641.33/641.63 c nbDecision=445500 #constraints=4582 642.04/642.34 c nbDecision=446000 #constraints=4582 642.73/643.05 c nbDecision=446500 #constraints=4582 643.43/643.76 c nbDecision=447000 #constraints=4582 644.13/644.47 c nbDecision=447500 #constraints=4582 644.83/645.18 c nbDecision=448000 #constraints=4582 645.53/645.88 c nbDecision=448500 #constraints=4582 646.23/646.59 c nbDecision=449000 #constraints=4582 646.93/647.29 c nbDecision=449500 #constraints=4582 647.63/647.99 c nbDecision=450000 #constraints=4582 648.33/648.69 c nbDecision=450500 #constraints=4582 649.03/649.38 c nbDecision=451000 #constraints=4582 649.73/650.08 c nbDecision=451500 #constraints=4582 650.43/650.78 c nbDecision=452000 #constraints=4582 651.13/651.47 c nbDecision=452500 #constraints=4582 651.83/652.17 c nbDecision=453000 #constraints=4582 652.53/652.87 c nbDecision=453500 #constraints=4582 653.23/653.56 c nbDecision=454000 #constraints=4582 653.93/654.25 c nbDecision=454500 #constraints=4582 654.63/654.95 c nbDecision=455000 #constraints=4582 655.43/655.70 c nbDecision=455500 #constraints=4583 656.13/656.44 c nbDecision=456000 #constraints=4583 656.83/657.18 c nbDecision=456500 #constraints=4583 657.63/657.92 c nbDecision=457000 #constraints=4583 658.32/658.65 c nbDecision=457500 #constraints=4583 659.02/659.38 c nbDecision=458000 #constraints=4583 659.82/660.11 c nbDecision=458500 #constraints=4583 660.52/660.84 c nbDecision=459000 #constraints=4583 661.22/661.57 c nbDecision=459500 #constraints=4583 661.93/662.30 c nbDecision=460000 #constraints=4583 662.73/663.02 c nbDecision=460500 #constraints=4583 663.42/663.74 c nbDecision=461000 #constraints=4583 664.13/664.46 c nbDecision=461500 #constraints=4583 664.82/665.17 c nbDecision=462000 #constraints=4583 665.52/665.89 c nbDecision=462500 #constraints=4583 666.23/666.60 c nbDecision=463000 #constraints=4583 667.02/667.31 c nbDecision=463500 #constraints=4583 667.72/668.03 c nbDecision=464000 #constraints=4583 668.42/668.74 c nbDecision=464500 #constraints=4583 669.12/669.45 c nbDecision=465000 #constraints=4583 669.82/670.15 c nbDecision=465500 #constraints=4583 670.52/670.86 c nbDecision=466000 #constraints=4583 671.22/671.56 c nbDecision=466500 #constraints=4583 671.92/672.27 c nbDecision=467000 #constraints=4583 672.62/672.98 c nbDecision=467500 #constraints=4583 673.32/673.69 c nbDecision=468000 #constraints=4583 674.02/674.40 c nbDecision=468500 #constraints=4583 674.82/675.10 c nbDecision=469000 #constraints=4583 675.52/675.80 c nbDecision=469500 #constraints=4583 676.22/676.51 c nbDecision=470000 #constraints=4583 676.92/677.21 c nbDecision=470500 #constraints=4583 677.62/677.91 c nbDecision=471000 #constraints=4583 678.32/678.61 c nbDecision=471500 #constraints=4583 679.01/679.30 c nbDecision=472000 #constraints=4583 679.71/680.00 c nbDecision=472500 #constraints=4583 680.41/680.73 c nbDecision=473000 #constraints=4584 681.11/681.48 c nbDecision=473500 #constraints=4584 681.91/682.22 c nbDecision=474000 #constraints=4584 682.61/682.96 c nbDecision=474500 #constraints=4584 683.31/683.68 c nbDecision=475000 #constraints=4584 684.11/684.41 c nbDecision=475500 #constraints=4584 684.81/685.15 c nbDecision=476000 #constraints=4584 685.51/685.88 c nbDecision=476500 #constraints=4584 686.31/686.61 c nbDecision=477000 #constraints=4584 687.01/687.34 c nbDecision=477500 #constraints=4584 687.71/688.07 c nbDecision=478000 #constraints=4584 688.41/688.79 c nbDecision=478500 #constraints=4584 689.21/689.51 c nbDecision=479000 #constraints=4584 689.91/690.23 c nbDecision=479500 #constraints=4584 690.61/690.96 c nbDecision=480000 #constraints=4584 691.31/691.67 c nbDecision=480500 #constraints=4584 692.11/692.40 c nbDecision=481000 #constraints=4584 692.81/693.12 c nbDecision=481500 #constraints=4584 693.51/693.85 c nbDecision=482000 #constraints=4584 694.21/694.57 c nbDecision=482500 #constraints=4584 694.91/695.29 c nbDecision=483000 #constraints=4584 695.71/696.02 c nbDecision=483500 #constraints=4584 696.41/696.73 c nbDecision=484000 #constraints=4584 697.11/697.45 c nbDecision=484500 #constraints=4584 697.81/698.17 c nbDecision=485000 #constraints=4584 698.51/698.88 c nbDecision=485500 #constraints=4584 699.21/699.60 c nbDecision=486000 #constraints=4584 700.00/700.31 c nbDecision=486500 #constraints=4584 700.70/701.02 c nbDecision=487000 #constraints=4584 701.41/701.72 c nbDecision=487500 #constraints=4584 702.10/702.43 c nbDecision=488000 #constraints=4584 702.80/703.13 c nbDecision=488500 #constraints=4584 703.50/703.83 c nbDecision=489000 #constraints=4584 704.20/704.52 c nbDecision=489500 #constraints=4584 704.90/705.22 c nbDecision=490000 #constraints=4584 705.60/705.91 c nbDecision=490500 #constraints=4584 706.30/706.60 c nbDecision=491000 #constraints=4584 706.91/707.29 c nbDecision=491500 #constraints=4584 707.60/707.98 c nbDecision=492000 #constraints=4584 708.30/708.67 c nbDecision=492500 #constraints=4584 709.01/709.35 c nbDecision=493000 #constraints=4584 709.81/710.10 c nbDecision=493500 #constraints=4585 710.51/710.84 c nbDecision=494000 #constraints=4585 711.21/711.57 c nbDecision=494500 #constraints=4585 712.01/712.31 c nbDecision=495000 #constraints=4585 712.71/713.05 c nbDecision=495500 #constraints=4585 713.41/713.79 c nbDecision=496000 #constraints=4585 714.21/714.53 c nbDecision=496500 #constraints=4585 714.91/715.27 c nbDecision=497000 #constraints=4585 715.71/716.01 c nbDecision=497500 #constraints=4585 716.41/716.74 c nbDecision=498000 #constraints=4585 717.11/717.48 c nbDecision=498500 #constraints=4585 717.91/718.21 c nbDecision=499000 #constraints=4585 718.61/718.94 c nbDecision=499500 #constraints=4585 719.31/719.66 c nbDecision=500000 #constraints=4585 720.00/720.39 c nbDecision=500500 #constraints=4585 720.80/721.12 c nbDecision=501000 #constraints=4585 721.50/721.84 c nbDecision=501500 #constraints=4585 722.20/722.56 c nbDecision=502000 #constraints=4585 722.90/723.28 c nbDecision=502500 #constraints=4585 723.61/724.00 c nbDecision=503000 #constraints=4585 724.40/724.71 c nbDecision=503500 #constraints=4585 725.10/725.42 c nbDecision=504000 #constraints=4585 725.80/726.14 c nbDecision=504500 #constraints=4585 726.50/726.84 c nbDecision=505000 #constraints=4585 727.20/727.55 c nbDecision=505500 #constraints=4585 727.91/728.25 c nbDecision=506000 #constraints=4585 728.60/728.96 c nbDecision=506500 #constraints=4585 729.30/729.67 c nbDecision=507000 #constraints=4585 730.00/730.37 c nbDecision=507500 #constraints=4585 730.70/731.07 c nbDecision=508000 #constraints=4585 731.40/731.77 c nbDecision=508500 #constraints=4585 732.10/732.48 c nbDecision=509000 #constraints=4585 732.80/733.19 c nbDecision=509500 #constraints=4585 733.50/733.89 c nbDecision=510000 #constraints=4585 734.20/734.59 c nbDecision=510500 #constraints=4585 734.90/735.29 c nbDecision=511000 #constraints=4585 735.60/735.99 c nbDecision=511500 #constraints=4585 736.30/736.69 c nbDecision=512000 #constraints=4585 737.00/737.39 c nbDecision=512500 #constraints=4585 737.70/738.09 c nbDecision=513000 #constraints=4585 738.40/738.78 c nbDecision=513500 #constraints=4585 739.20/739.56 c nbDecision=514000 #constraints=4586 740.00/740.31 c nbDecision=514500 #constraints=4586 740.69/741.04 c nbDecision=515000 #constraints=4586 741.39/741.79 c nbDecision=515500 #constraints=4586 742.20/742.53 c nbDecision=516000 #constraints=4586 742.89/743.27 c nbDecision=516500 #constraints=4586 743.69/744.01 c nbDecision=517000 #constraints=4586 744.40/744.75 c nbDecision=517500 #constraints=4586 745.09/745.48 c nbDecision=518000 #constraints=4586 745.89/746.22 c nbDecision=518500 #constraints=4586 746.60/746.95 c nbDecision=519000 #constraints=4586 747.29/747.69 c nbDecision=519500 #constraints=4586 748.09/748.42 c nbDecision=520000 #constraints=4586 748.80/749.15 c nbDecision=520500 #constraints=4586 749.49/749.87 c nbDecision=521000 #constraints=4586 750.29/750.60 c nbDecision=521500 #constraints=4586 750.99/751.33 c nbDecision=522000 #constraints=4586 751.69/752.06 c nbDecision=522500 #constraints=4586 752.39/752.79 c nbDecision=523000 #constraints=4586 753.19/753.51 c nbDecision=523500 #constraints=4586 753.89/754.24 c nbDecision=524000 #constraints=4586 754.59/754.97 c nbDecision=524500 #constraints=4586 755.29/755.69 c nbDecision=525000 #constraints=4586 756.09/756.42 c nbDecision=525500 #constraints=4586 756.79/757.14 c nbDecision=526000 #constraints=4586 757.49/757.86 c nbDecision=526500 #constraints=4586 758.19/758.58 c nbDecision=527000 #constraints=4586 758.99/759.30 c nbDecision=527500 #constraints=4586 759.69/760.02 c nbDecision=528000 #constraints=4586 760.39/760.73 c nbDecision=528500 #constraints=4586 761.08/761.45 c nbDecision=529000 #constraints=4586 761.78/762.16 c nbDecision=529500 #constraints=4586 762.48/762.86 c nbDecision=530000 #constraints=4586 763.18/763.57 c nbDecision=530500 #constraints=4586 763.88/764.27 c nbDecision=531000 #constraints=4586 764.58/764.97 c nbDecision=531500 #constraints=4586 765.29/765.67 c nbDecision=532000 #constraints=4586 765.98/766.37 c nbDecision=532500 #constraints=4586 766.68/767.07 c nbDecision=533000 #constraints=4586 767.38/767.77 c nbDecision=533500 #constraints=4586 768.08/768.46 c nbDecision=534000 #constraints=4586 768.78/769.16 c nbDecision=534500 #constraints=4586 769.48/769.85 c nbDecision=535000 #constraints=4586 770.18/770.54 c nbDecision=535500 #constraints=4586 770.88/771.23 c nbDecision=536000 #constraints=4586 771.58/771.92 c nbDecision=536500 #constraints=4586 772.28/772.68 c nbDecision=537000 #constraints=4587 773.08/773.43 c nbDecision=537500 #constraints=4587 773.78/774.18 c nbDecision=538000 #constraints=4587 774.58/774.93 c nbDecision=538500 #constraints=4587 775.28/775.68 c nbDecision=539000 #constraints=4587 776.08/776.42 c nbDecision=539500 #constraints=4587 776.78/777.17 c nbDecision=540000 #constraints=4587 777.58/777.91 c nbDecision=540500 #constraints=4587 778.28/778.66 c nbDecision=541000 #constraints=4587 779.08/779.40 c nbDecision=541500 #constraints=4587 779.78/780.14 c nbDecision=542000 #constraints=4587 780.48/780.88 c nbDecision=542500 #constraints=4587 781.28/781.62 c nbDecision=543000 #constraints=4587 781.97/782.35 c nbDecision=543500 #constraints=4587 782.67/783.08 c nbDecision=544000 #constraints=4587 783.47/783.81 c nbDecision=544500 #constraints=4587 784.17/784.53 c nbDecision=545000 #constraints=4587 784.87/785.26 c nbDecision=545500 #constraints=4587 785.57/785.98 c nbDecision=546000 #constraints=4587 786.37/786.70 c nbDecision=546500 #constraints=4587 787.07/787.43 c nbDecision=547000 #constraints=4587 787.77/788.14 c nbDecision=547500 #constraints=4587 788.47/788.86 c nbDecision=548000 #constraints=4587 789.17/789.58 c nbDecision=548500 #constraints=4587 789.87/790.30 c nbDecision=549000 #constraints=4587 790.67/791.00 c nbDecision=549500 #constraints=4587 791.37/791.72 c nbDecision=550000 #constraints=4587 792.07/792.43 c nbDecision=550500 #constraints=4587 792.77/793.15 c nbDecision=551000 #constraints=4587 793.47/793.87 c nbDecision=551500 #constraints=4587 794.17/794.58 c nbDecision=552000 #constraints=4587 794.87/795.30 c nbDecision=552500 #constraints=4587 795.67/796.01 c nbDecision=553000 #constraints=4587 796.37/796.72 c nbDecision=553500 #constraints=4587 797.07/797.43 c nbDecision=554000 #constraints=4587 797.77/798.14 c nbDecision=554500 #constraints=4587 798.47/798.84 c nbDecision=555000 #constraints=4587 799.17/799.55 c nbDecision=555500 #constraints=4587 799.87/800.25 c nbDecision=556000 #constraints=4587 800.57/800.96 c nbDecision=556500 #constraints=4587 801.27/801.66 c nbDecision=557000 #constraints=4587 801.97/802.35 c nbDecision=557500 #constraints=4587 802.67/803.04 c nbDecision=558000 #constraints=4587 803.37/803.73 c nbDecision=558500 #constraints=4587 804.07/804.42 c nbDecision=559000 #constraints=4587 804.78/805.11 c nbDecision=559500 #constraints=4587 805.47/805.88 c nbDecision=560000 #constraints=4588 806.27/806.62 c nbDecision=560500 #constraints=4588 806.98/807.36 c nbDecision=561000 #constraints=4588 807.77/808.11 c nbDecision=561500 #constraints=4588 808.47/808.85 c nbDecision=562000 #constraints=4588 809.17/809.59 c nbDecision=562500 #constraints=4588 809.97/810.33 c nbDecision=563000 #constraints=4588 810.67/811.06 c nbDecision=563500 #constraints=4588 811.37/811.80 c nbDecision=564000 #constraints=4588 812.17/812.54 c nbDecision=564500 #constraints=4588 812.87/813.28 c nbDecision=565000 #constraints=4588 813.67/814.02 c nbDecision=565500 #constraints=4588 814.37/814.76 c nbDecision=566000 #constraints=4588 815.07/815.50 c nbDecision=566500 #constraints=4588 815.87/816.23 c nbDecision=567000 #constraints=4588 816.57/816.96 c nbDecision=567500 #constraints=4588 817.27/817.69 c nbDecision=568000 #constraints=4588 818.07/818.42 c nbDecision=568500 #constraints=4588 818.77/819.15 c nbDecision=569000 #constraints=4588 819.47/819.88 c nbDecision=569500 #constraints=4588 820.27/820.61 c nbDecision=570000 #constraints=4588 820.97/821.34 c nbDecision=570500 #constraints=4588 821.67/822.06 c nbDecision=571000 #constraints=4588 822.37/822.78 c nbDecision=571500 #constraints=4588 823.06/823.49 c nbDecision=572000 #constraints=4588 823.86/824.21 c nbDecision=572500 #constraints=4588 824.57/824.92 c nbDecision=573000 #constraints=4588 825.26/825.64 c nbDecision=573500 #constraints=4588 825.96/826.35 c nbDecision=574000 #constraints=4588 826.66/827.06 c nbDecision=574500 #constraints=4588 827.36/827.77 c nbDecision=575000 #constraints=4588 828.06/828.47 c nbDecision=575500 #constraints=4588 828.76/829.18 c nbDecision=576000 #constraints=4588 829.46/829.88 c nbDecision=576500 #constraints=4588 830.17/830.58 c nbDecision=577000 #constraints=4588 830.86/831.28 c nbDecision=577500 #constraints=4588 831.56/831.98 c nbDecision=578000 #constraints=4588 832.26/832.69 c nbDecision=578500 #constraints=4588 832.96/833.39 c nbDecision=579000 #constraints=4588 833.66/834.09 c nbDecision=579500 #constraints=4588 834.36/834.80 c nbDecision=580000 #constraints=4588 835.06/835.49 c nbDecision=580500 #constraints=4588 835.76/836.19 c nbDecision=581000 #constraints=4588 836.46/836.89 c nbDecision=581500 #constraints=4588 837.16/837.58 c nbDecision=582000 #constraints=4588 837.86/838.28 c nbDecision=582500 #constraints=4588 838.66/839.03 c nbDecision=583000 #constraints=4589 839.36/839.78 c nbDecision=583500 #constraints=4589 840.16/840.52 c nbDecision=584000 #constraints=4589 840.86/841.27 c nbDecision=584500 #constraints=4589 841.66/842.01 c nbDecision=585000 #constraints=4589 842.36/842.74 c nbDecision=585500 #constraints=4589 843.06/843.47 c nbDecision=586000 #constraints=4589 843.85/844.20 c nbDecision=586500 #constraints=4589 844.55/844.93 c nbDecision=587000 #constraints=4589 845.25/845.66 c nbDecision=587500 #constraints=4589 845.95/846.38 c nbDecision=588000 #constraints=4589 846.75/847.11 c nbDecision=588500 #constraints=4589 847.45/847.83 c nbDecision=589000 #constraints=4589 848.15/848.56 c nbDecision=589500 #constraints=4589 848.85/849.28 c nbDecision=590000 #constraints=4589 849.65/850.00 c nbDecision=590500 #constraints=4589 850.35/850.72 c nbDecision=591000 #constraints=4589 851.05/851.44 c nbDecision=591500 #constraints=4589 851.75/852.16 c nbDecision=592000 #constraints=4589 852.45/852.87 c nbDecision=592500 #constraints=4589 853.15/853.60 c nbDecision=593000 #constraints=4589 853.95/854.32 c nbDecision=593500 #constraints=4589 854.65/855.03 c nbDecision=594000 #constraints=4589 855.35/855.75 c nbDecision=594500 #constraints=4589 856.05/856.47 c nbDecision=595000 #constraints=4589 856.75/857.18 c nbDecision=595500 #constraints=4589 857.45/857.89 c nbDecision=596000 #constraints=4589 858.25/858.60 c nbDecision=596500 #constraints=4589 858.95/859.31 c nbDecision=597000 #constraints=4589 859.65/860.02 c nbDecision=597500 #constraints=4589 860.35/860.72 c nbDecision=598000 #constraints=4589 861.05/861.43 c nbDecision=598500 #constraints=4589 861.75/862.13 c nbDecision=599000 #constraints=4589 862.45/862.83 c nbDecision=599500 #constraints=4589 863.15/863.52 c nbDecision=600000 #constraints=4589 863.85/864.22 c nbDecision=600500 #constraints=4589 864.54/864.91 c nbDecision=601000 #constraints=4589 865.14/865.60 c nbDecision=601500 #constraints=4589 865.84/866.29 c nbDecision=602000 #constraints=4589 866.54/866.98 c nbDecision=602500 #constraints=4589 867.34/867.72 c nbDecision=603000 #constraints=4590 868.04/868.46 c nbDecision=603500 #constraints=4590 868.84/869.21 c nbDecision=604000 #constraints=4590 869.54/869.95 c nbDecision=604500 #constraints=4590 870.24/870.69 c nbDecision=605000 #constraints=4590 871.04/871.43 c nbDecision=605500 #constraints=4590 871.74/872.17 c nbDecision=606000 #constraints=4590 872.54/872.91 c nbDecision=606500 #constraints=4590 873.24/873.66 c nbDecision=607000 #constraints=4590 874.04/874.41 c nbDecision=607500 #constraints=4590 874.74/875.15 c nbDecision=608000 #constraints=4590 875.44/875.89 c nbDecision=608500 #constraints=4590 876.24/876.63 c nbDecision=609000 #constraints=4590 876.94/877.36 c nbDecision=609500 #constraints=4590 877.74/878.10 c nbDecision=610000 #constraints=4590 878.44/878.83 c nbDecision=610500 #constraints=4590 879.14/879.57 c nbDecision=611000 #constraints=4590 879.94/880.30 c nbDecision=611500 #constraints=4590 880.64/881.03 c nbDecision=612000 #constraints=4590 881.34/881.76 c nbDecision=612500 #constraints=4590 882.03/882.48 c nbDecision=613000 #constraints=4590 882.84/883.20 c nbDecision=613500 #constraints=4590 883.53/883.92 c nbDecision=614000 #constraints=4590 884.23/884.64 c nbDecision=614500 #constraints=4590 884.93/885.36 c nbDecision=615000 #constraints=4590 885.63/886.07 c nbDecision=615500 #constraints=4590 886.33/886.79 c nbDecision=616000 #constraints=4590 887.13/887.50 c nbDecision=616500 #constraints=4590 887.83/888.21 c nbDecision=617000 #constraints=4590 888.53/888.92 c nbDecision=617500 #constraints=4590 889.23/889.63 c nbDecision=618000 #constraints=4590 889.93/890.33 c nbDecision=618500 #constraints=4590 890.64/891.04 c nbDecision=619000 #constraints=4590 891.33/891.74 c nbDecision=619500 #constraints=4590 892.03/892.45 c nbDecision=620000 #constraints=4590 892.73/893.16 c nbDecision=620500 #constraints=4590 893.43/893.86 c nbDecision=621000 #constraints=4590 894.13/894.56 c nbDecision=621500 #constraints=4590 894.83/895.27 c nbDecision=622000 #constraints=4590 895.53/895.97 c nbDecision=622500 #constraints=4590 896.23/896.66 c nbDecision=623000 #constraints=4590 896.93/897.37 c nbDecision=623500 #constraints=4590 897.63/898.06 c nbDecision=624000 #constraints=4590 898.33/898.76 c nbDecision=624500 #constraints=4590 899.03/899.46 c nbDecision=625000 #constraints=4590 899.73/900.15 c nbDecision=625500 #constraints=4590 900.53/900.91 c nbDecision=626000 #constraints=4591 901.23/901.64 c nbDecision=626500 #constraints=4591 901.93/902.38 c nbDecision=627000 #constraints=4591 902.73/903.11 c nbDecision=627500 #constraints=4591 903.43/903.83 c nbDecision=628000 #constraints=4591 904.13/904.56 c nbDecision=628500 #constraints=4591 904.83/905.29 c nbDecision=629000 #constraints=4591 905.62/906.02 c nbDecision=629500 #constraints=4591 906.32/906.75 c nbDecision=630000 #constraints=4591 907.03/907.47 c nbDecision=630500 #constraints=4591 907.72/908.19 c nbDecision=631000 #constraints=4591 908.53/908.91 c nbDecision=631500 #constraints=4591 909.23/909.63 c nbDecision=632000 #constraints=4591 909.93/910.35 c nbDecision=632500 #constraints=4591 910.63/911.07 c nbDecision=633000 #constraints=4591 911.33/911.79 c nbDecision=633500 #constraints=4591 912.13/912.51 c nbDecision=634000 #constraints=4591 912.83/913.23 c nbDecision=634500 #constraints=4591 913.53/913.95 c nbDecision=635000 #constraints=4591 914.23/914.67 c nbDecision=635500 #constraints=4591 914.93/915.39 c nbDecision=636000 #constraints=4591 915.73/916.11 c nbDecision=636500 #constraints=4591 916.43/916.82 c nbDecision=637000 #constraints=4591 917.13/917.54 c nbDecision=637500 #constraints=4591 917.83/918.25 c nbDecision=638000 #constraints=4591 918.53/918.96 c nbDecision=638500 #constraints=4591 919.23/919.67 c nbDecision=639000 #constraints=4591 919.93/920.38 c nbDecision=639500 #constraints=4591 920.63/921.09 c nbDecision=640000 #constraints=4591 921.33/921.80 c nbDecision=640500 #constraints=4591 922.13/922.50 c nbDecision=641000 #constraints=4591 922.73/923.19 c nbDecision=641500 #constraints=4591 923.42/923.89 c nbDecision=642000 #constraints=4591 924.12/924.58 c nbDecision=642500 #constraints=4591 924.82/925.28 c nbDecision=643000 #constraints=4591 925.52/925.97 c nbDecision=643500 #constraints=4591 926.22/926.66 c nbDecision=644000 #constraints=4591 926.93/927.34 c nbDecision=644500 #constraints=4591 927.62/928.08 c nbDecision=645000 #constraints=4592 928.42/928.81 c nbDecision=645500 #constraints=4592 929.12/929.55 c nbDecision=646000 #constraints=4592 929.82/930.29 c nbDecision=646500 #constraints=4592 930.62/931.03 c nbDecision=647000 #constraints=4592 931.32/931.76 c nbDecision=647500 #constraints=4592 932.12/932.51 c nbDecision=648000 #constraints=4592 932.82/933.25 c nbDecision=648500 #constraints=4592 933.52/933.99 c nbDecision=649000 #constraints=4592 934.32/934.73 c nbDecision=649500 #constraints=4592 935.02/935.47 c nbDecision=650000 #constraints=4592 935.82/936.21 c nbDecision=650500 #constraints=4592 936.52/936.94 c nbDecision=651000 #constraints=4592 937.22/937.68 c nbDecision=651500 #constraints=4592 938.02/938.41 c nbDecision=652000 #constraints=4592 938.71/939.14 c nbDecision=652500 #constraints=4592 939.41/939.87 c nbDecision=653000 #constraints=4592 940.12/940.59 c nbDecision=653500 #constraints=4592 940.91/941.32 c nbDecision=654000 #constraints=4592 941.61/942.05 c nbDecision=654500 #constraints=4592 942.32/942.77 c nbDecision=655000 #constraints=4592 943.01/943.48 c nbDecision=655500 #constraints=4592 943.71/944.19 c nbDecision=656000 #constraints=4592 944.51/944.90 c nbDecision=656500 #constraints=4592 945.21/945.62 c nbDecision=657000 #constraints=4592 945.91/946.33 c nbDecision=657500 #constraints=4592 946.61/947.04 c nbDecision=658000 #constraints=4592 947.31/947.75 c nbDecision=658500 #constraints=4592 948.01/948.46 c nbDecision=659000 #constraints=4592 948.71/949.17 c nbDecision=659500 #constraints=4592 949.41/949.87 c nbDecision=660000 #constraints=4592 950.11/950.58 c nbDecision=660500 #constraints=4592 950.81/951.28 c nbDecision=661000 #constraints=4592 951.51/951.98 c nbDecision=661500 #constraints=4592 952.21/952.69 c nbDecision=662000 #constraints=4592 952.91/953.40 c nbDecision=662500 #constraints=4592 953.71/954.10 c nbDecision=663000 #constraints=4592 954.41/954.80 c nbDecision=663500 #constraints=4592 955.11/955.51 c nbDecision=664000 #constraints=4592 955.81/956.21 c nbDecision=664500 #constraints=4592 956.51/956.91 c nbDecision=665000 #constraints=4592 957.21/957.60 c nbDecision=665500 #constraints=4592 957.80/958.29 c nbDecision=666000 #constraints=4592 958.50/958.99 c nbDecision=666500 #constraints=4592 959.30/959.76 c nbDecision=667000 #constraints=4593 960.00/960.49 c nbDecision=667500 #constraints=4593 960.80/961.24 c nbDecision=668000 #constraints=4593 961.50/961.98 c nbDecision=668500 #constraints=4593 962.30/962.72 c nbDecision=669000 #constraints=4593 963.00/963.46 c nbDecision=669500 #constraints=4593 963.70/964.19 c nbDecision=670000 #constraints=4593 964.50/964.93 c nbDecision=670500 #constraints=4593 965.20/965.66 c nbDecision=671000 #constraints=4593 965.90/966.39 c nbDecision=671500 #constraints=4593 966.70/967.13 c nbDecision=672000 #constraints=4593 967.40/967.85 c nbDecision=672500 #constraints=4593 968.10/968.58 c nbDecision=673000 #constraints=4593 968.90/969.31 c nbDecision=673500 #constraints=4593 969.60/970.04 c nbDecision=674000 #constraints=4593 970.30/970.76 c nbDecision=674500 #constraints=4593 971.00/971.48 c nbDecision=675000 #constraints=4593 971.80/972.21 c nbDecision=675500 #constraints=4593 972.50/972.93 c nbDecision=676000 #constraints=4593 973.20/973.66 c nbDecision=676500 #constraints=4593 973.90/974.39 c nbDecision=677000 #constraints=4593 974.70/975.11 c nbDecision=677500 #constraints=4593 975.40/975.83 c nbDecision=678000 #constraints=4593 976.09/976.55 c nbDecision=678500 #constraints=4593 976.79/977.26 c nbDecision=679000 #constraints=4593 977.50/977.98 c nbDecision=679500 #constraints=4593 978.29/978.70 c nbDecision=680000 #constraints=4593 978.99/979.41 c nbDecision=680500 #constraints=4593 979.70/980.13 c nbDecision=681000 #constraints=4593 980.39/980.84 c nbDecision=681500 #constraints=4593 981.09/981.56 c nbDecision=682000 #constraints=4593 981.80/982.26 c nbDecision=682500 #constraints=4593 982.49/982.97 c nbDecision=683000 #constraints=4593 983.19/983.66 c nbDecision=683500 #constraints=4593 983.89/984.36 c nbDecision=684000 #constraints=4593 984.59/985.06 c nbDecision=684500 #constraints=4593 985.29/985.76 c nbDecision=685000 #constraints=4593 985.99/986.46 c nbDecision=685500 #constraints=4593 986.69/987.15 c nbDecision=686000 #constraints=4593 987.39/987.85 c nbDecision=686500 #constraints=4593 988.09/988.54 c nbDecision=687000 #constraints=4593 988.80/989.22 c nbDecision=687500 #constraints=4593 989.50/989.91 c nbDecision=688000 #constraints=4593 990.20/990.63 c nbDecision=688500 #constraints=4594 990.90/991.37 c nbDecision=689000 #constraints=4594 991.70/992.11 c nbDecision=689500 #constraints=4594 992.40/992.85 c nbDecision=690000 #constraints=4594 993.10/993.59 c nbDecision=690500 #constraints=4594 993.90/994.33 c nbDecision=691000 #constraints=4594 994.59/995.06 c nbDecision=691500 #constraints=4594 995.39/995.80 c nbDecision=692000 #constraints=4594 996.10/996.53 c nbDecision=692500 #constraints=4594 996.79/997.27 c nbDecision=693000 #constraints=4594 997.59/998.00 c nbDecision=693500 #constraints=4594 998.30/998.73 c nbDecision=694000 #constraints=4594 998.99/999.46 c nbDecision=694500 #constraints=4594 999.69/1000.19 c nbDecision=695000 #constraints=4594 1000.49/1000.91 c nbDecision=695500 #constraints=4594 1001.19/1001.64 c nbDecision=696000 #constraints=4594 1001.89/1002.36 c nbDecision=696500 #constraints=4594 1002.59/1003.08 c nbDecision=697000 #constraints=4594 1003.29/1003.79 c nbDecision=697500 #constraints=4594 1004.09/1004.50 c nbDecision=698000 #constraints=4594 1004.79/1005.22 c nbDecision=698500 #constraints=4594 1005.49/1005.93 c nbDecision=699000 #constraints=4594 1006.19/1006.64 c nbDecision=699500 #constraints=4594 1006.89/1007.34 c nbDecision=700000 #constraints=4594 1007.59/1008.05 c nbDecision=700500 #constraints=4594 1008.29/1008.76 c nbDecision=701000 #constraints=4594 1008.98/1009.46 c nbDecision=701500 #constraints=4594 1009.68/1010.16 c nbDecision=702000 #constraints=4594 1010.39/1010.87 c nbDecision=702500 #constraints=4594 1011.08/1011.57 c nbDecision=703000 #constraints=4594 1011.78/1012.27 c nbDecision=703500 #constraints=4594 1012.48/1012.97 c nbDecision=704000 #constraints=4594 1013.18/1013.68 c nbDecision=704500 #constraints=4594 1013.88/1014.38 c nbDecision=705000 #constraints=4594 1014.58/1015.08 c nbDecision=705500 #constraints=4594 1015.28/1015.78 c nbDecision=706000 #constraints=4594 1015.98/1016.48 c nbDecision=706500 #constraints=4594 1016.68/1017.17 c nbDecision=707000 #constraints=4594 1017.38/1017.87 c nbDecision=707500 #constraints=4594 1018.18/1018.65 c nbDecision=708000 #constraints=4595 1018.98/1019.40 c nbDecision=708500 #constraints=4595 1019.68/1020.15 c nbDecision=709000 #constraints=4595 1020.38/1020.89 c nbDecision=709500 #constraints=4595 1021.18/1021.64 c nbDecision=710000 #constraints=4595 1021.88/1022.38 c nbDecision=710500 #constraints=4595 1022.68/1023.11 c nbDecision=711000 #constraints=4595 1023.38/1023.85 c nbDecision=711500 #constraints=4595 1024.08/1024.58 c nbDecision=712000 #constraints=4595 1024.87/1025.31 c nbDecision=712500 #constraints=4595 1025.57/1026.04 c nbDecision=713000 #constraints=4595 1026.27/1026.77 c nbDecision=713500 #constraints=4595 1027.07/1027.50 c nbDecision=714000 #constraints=4595 1027.77/1028.22 c nbDecision=714500 #constraints=4595 1028.47/1028.94 c nbDecision=715000 #constraints=4595 1029.18/1029.67 c nbDecision=715500 #constraints=4595 1029.87/1030.39 c nbDecision=716000 #constraints=4595 1030.67/1031.11 c nbDecision=716500 #constraints=4595 1031.38/1031.83 c nbDecision=717000 #constraints=4595 1032.07/1032.56 c nbDecision=717500 #constraints=4595 1032.77/1033.28 c nbDecision=718000 #constraints=4595 1033.58/1034.01 c nbDecision=718500 #constraints=4595 1034.27/1034.73 c nbDecision=719000 #constraints=4595 1034.97/1035.45 c nbDecision=719500 #constraints=4595 1035.67/1036.17 c nbDecision=720000 #constraints=4595 1036.37/1036.89 c nbDecision=720500 #constraints=4595 1037.17/1037.60 c nbDecision=721000 #constraints=4595 1037.87/1038.32 c nbDecision=721500 #constraints=4595 1038.57/1039.03 c nbDecision=722000 #constraints=4595 1039.27/1039.75 c nbDecision=722500 #constraints=4595 1039.97/1040.46 c nbDecision=723000 #constraints=4595 1040.67/1041.17 c nbDecision=723500 #constraints=4595 1041.37/1041.88 c nbDecision=724000 #constraints=4595 1042.07/1042.58 c nbDecision=724500 #constraints=4595 1042.77/1043.28 c nbDecision=725000 #constraints=4595 1043.47/1043.98 c nbDecision=725500 #constraints=4595 1044.17/1044.67 c nbDecision=726000 #constraints=4595 1044.87/1045.37 c nbDecision=726500 #constraints=4595 1045.57/1046.07 c nbDecision=727000 #constraints=4595 1046.26/1046.76 c nbDecision=727500 #constraints=4595 1046.96/1047.45 c nbDecision=728000 #constraints=4595 1047.66/1048.14 c nbDecision=728500 #constraints=4595 1048.36/1048.83 c nbDecision=729000 #constraints=4595 1049.06/1049.58 c nbDecision=729500 #constraints=4596 1049.86/1050.32 c nbDecision=730000 #constraints=4596 1050.56/1051.06 c nbDecision=730500 #constraints=4596 1051.36/1051.80 c nbDecision=731000 #constraints=4596 1052.06/1052.54 c nbDecision=731500 #constraints=4596 1052.76/1053.28 c nbDecision=732000 #constraints=4596 1053.56/1054.02 c nbDecision=732500 #constraints=4596 1054.26/1054.77 c nbDecision=733000 #constraints=4596 1055.06/1055.51 c nbDecision=733500 #constraints=4596 1055.76/1056.25 c nbDecision=734000 #constraints=4596 1056.46/1056.99 c nbDecision=734500 #constraints=4596 1057.26/1057.72 c nbDecision=735000 #constraints=4596 1057.96/1058.47 c nbDecision=735500 #constraints=4596 1058.66/1059.20 c nbDecision=736000 #constraints=4596 1059.46/1059.93 c nbDecision=736500 #constraints=4596 1060.16/1060.66 c nbDecision=737000 #constraints=4596 1060.86/1061.39 c nbDecision=737500 #constraints=4596 1061.66/1062.12 c nbDecision=738000 #constraints=4596 1062.36/1062.84 c nbDecision=738500 #constraints=4596 1063.06/1063.56 c nbDecision=739000 #constraints=4596 1063.76/1064.28 c nbDecision=739500 #constraints=4596 1064.46/1065.00 c nbDecision=740000 #constraints=4596 1065.26/1065.71 c nbDecision=740500 #constraints=4596 1065.95/1066.43 c nbDecision=741000 #constraints=4596 1066.65/1067.14 c nbDecision=741500 #constraints=4596 1067.35/1067.85 c nbDecision=742000 #constraints=4596 1068.05/1068.56 c nbDecision=742500 #constraints=4596 1068.76/1069.27 c nbDecision=743000 #constraints=4596 1069.45/1069.98 c nbDecision=743500 #constraints=4596 1070.15/1070.69 c nbDecision=744000 #constraints=4596 1070.86/1071.39 c nbDecision=744500 #constraints=4596 1071.55/1072.10 c nbDecision=745000 #constraints=4596 1072.35/1072.80 c nbDecision=745500 #constraints=4596 1073.06/1073.51 c nbDecision=746000 #constraints=4596 1073.75/1074.22 c nbDecision=746500 #constraints=4596 1074.45/1074.92 c nbDecision=747000 #constraints=4596 1075.15/1075.63 c nbDecision=747500 #constraints=4596 1075.85/1076.33 c nbDecision=748000 #constraints=4596 1076.55/1077.03 c nbDecision=748500 #constraints=4596 1077.25/1077.73 c nbDecision=749000 #constraints=4596 1077.95/1078.43 c nbDecision=749500 #constraints=4596 1078.66/1079.13 c nbDecision=750000 #constraints=4596 1079.35/1079.82 c nbDecision=750500 #constraints=4596 1080.05/1080.55 c nbDecision=751000 #constraints=4597 1080.85/1081.30 c nbDecision=751500 #constraints=4597 1081.55/1082.05 c nbDecision=752000 #constraints=4597 1082.25/1082.79 c nbDecision=752500 #constraints=4597 1083.05/1083.53 c nbDecision=753000 #constraints=4597 1083.75/1084.27 c nbDecision=753500 #constraints=4597 1084.55/1085.00 c nbDecision=754000 #constraints=4597 1085.25/1085.74 c nbDecision=754500 #constraints=4597 1085.95/1086.47 c nbDecision=755000 #constraints=4597 1086.75/1087.20 c nbDecision=755500 #constraints=4597 1087.45/1087.94 c nbDecision=756000 #constraints=4597 1088.15/1088.65 c nbDecision=756500 #constraints=4597 1088.84/1089.38 c nbDecision=757000 #constraints=4597 1089.65/1090.11 c nbDecision=757500 #constraints=4597 1090.34/1090.84 c nbDecision=758000 #constraints=4597 1091.04/1091.56 c nbDecision=758500 #constraints=4597 1091.75/1092.29 c nbDecision=759000 #constraints=4597 1092.54/1093.02 c nbDecision=759500 #constraints=4597 1093.24/1093.75 c nbDecision=760000 #constraints=4597 1093.95/1094.47 c nbDecision=760500 #constraints=4597 1094.74/1095.20 c nbDecision=761000 #constraints=4597 1095.44/1095.92 c nbDecision=761500 #constraints=4597 1096.15/1096.65 c nbDecision=762000 #constraints=4597 1096.84/1097.37 c nbDecision=762500 #constraints=4597 1097.54/1098.09 c nbDecision=763000 #constraints=4597 1098.34/1098.81 c nbDecision=763500 #constraints=4597 1099.04/1099.53 c nbDecision=764000 #constraints=4597 1099.74/1100.24 c nbDecision=764500 #constraints=4597 1100.44/1100.96 c nbDecision=765000 #constraints=4597 1101.14/1101.67 c nbDecision=765500 #constraints=4597 1101.84/1102.38 c nbDecision=766000 #constraints=4597 1102.54/1103.08 c nbDecision=766500 #constraints=4597 1103.24/1103.79 c nbDecision=767000 #constraints=4597 1103.94/1104.49 c nbDecision=767500 #constraints=4597 1104.65/1105.18 c nbDecision=768000 #constraints=4597 1105.35/1105.88 c nbDecision=768500 #constraints=4597 1106.05/1106.57 c nbDecision=769000 #constraints=4597 1106.75/1107.27 c nbDecision=769500 #constraints=4597 1107.44/1107.96 c nbDecision=770000 #constraints=4597 1108.14/1108.66 c nbDecision=770500 #constraints=4597 1108.84/1109.35 c nbDecision=771000 #constraints=4597 1109.55/1110.04 c nbDecision=771500 #constraints=4597 1110.24/1110.73 c nbDecision=772000 #constraints=4597 1110.94/1111.41 c nbDecision=772500 #constraints=4597 1111.65/1112.18 c nbDecision=773000 #constraints=4598 1112.44/1112.92 c nbDecision=773500 #constraints=4598 1113.14/1113.67 c nbDecision=774000 #constraints=4598 1113.94/1114.42 c nbDecision=774500 #constraints=4598 1114.64/1115.16 c nbDecision=775000 #constraints=4598 1115.44/1115.90 c nbDecision=775500 #constraints=4598 1116.14/1116.65 c nbDecision=776000 #constraints=4598 1116.84/1117.39 c nbDecision=776500 #constraints=4598 1117.64/1118.13 c nbDecision=777000 #constraints=4598 1118.34/1118.87 c nbDecision=777500 #constraints=4598 1119.14/1119.61 c nbDecision=778000 #constraints=4598 1119.84/1120.34 c nbDecision=778500 #constraints=4598 1120.54/1121.08 c nbDecision=779000 #constraints=4598 1121.34/1121.81 c nbDecision=779500 #constraints=4598 1122.04/1122.54 c nbDecision=780000 #constraints=4598 1122.74/1123.26 c nbDecision=780500 #constraints=4598 1123.44/1123.98 c nbDecision=781000 #constraints=4598 1124.24/1124.71 c nbDecision=781500 #constraints=4598 1124.94/1125.43 c nbDecision=782000 #constraints=4598 1125.64/1126.14 c nbDecision=782500 #constraints=4598 1126.34/1126.86 c nbDecision=783000 #constraints=4598 1127.04/1127.57 c nbDecision=783500 #constraints=4598 1127.74/1128.29 c nbDecision=784000 #constraints=4598 1128.53/1129.00 c nbDecision=784500 #constraints=4598 1129.24/1129.71 c nbDecision=785000 #constraints=4598 1129.93/1130.42 c nbDecision=785500 #constraints=4598 1130.63/1131.13 c nbDecision=786000 #constraints=4598 1131.34/1131.84 c nbDecision=786500 #constraints=4598 1132.03/1132.55 c nbDecision=787000 #constraints=4598 1132.73/1133.27 c nbDecision=787500 #constraints=4598 1133.43/1133.98 c nbDecision=788000 #constraints=4598 1134.13/1134.69 c nbDecision=788500 #constraints=4598 1134.83/1135.40 c nbDecision=789000 #constraints=4598 1135.63/1136.10 c nbDecision=789500 #constraints=4598 1136.33/1136.81 c nbDecision=790000 #constraints=4598 1137.03/1137.51 c nbDecision=790500 #constraints=4598 1137.73/1138.21 c nbDecision=791000 #constraints=4598 1138.43/1138.92 c nbDecision=791500 #constraints=4598 1139.13/1139.62 c nbDecision=792000 #constraints=4598 1139.83/1140.32 c nbDecision=792500 #constraints=4598 1140.53/1141.02 c nbDecision=793000 #constraints=4598 1141.23/1141.71 c nbDecision=793500 #constraints=4598 1141.93/1142.40 c nbDecision=794000 #constraints=4598 1142.63/1143.14 c nbDecision=794500 #constraints=4599 1143.33/1143.88 c nbDecision=795000 #constraints=4599 1144.13/1144.62 c nbDecision=795500 #constraints=4599 1144.83/1145.36 c nbDecision=796000 #constraints=4599 1145.63/1146.10 c nbDecision=796500 #constraints=4599 1146.33/1146.84 c nbDecision=797000 #constraints=4599 1147.02/1147.57 c nbDecision=797500 #constraints=4599 1147.83/1148.31 c nbDecision=798000 #constraints=4599 1148.52/1149.04 c nbDecision=798500 #constraints=4599 1149.22/1149.78 c nbDecision=799000 #constraints=4599 1150.03/1150.51 c nbDecision=799500 #constraints=4599 1150.72/1151.24 c nbDecision=800000 #constraints=4599 1151.42/1151.96 c nbDecision=800500 #constraints=4599 1152.12/1152.70 c nbDecision=801000 #constraints=4599 1152.92/1153.42 c nbDecision=801500 #constraints=4599 1153.62/1154.16 c nbDecision=802000 #constraints=4599 1154.32/1154.89 c nbDecision=802500 #constraints=4599 1155.12/1155.62 c nbDecision=803000 #constraints=4599 1155.82/1156.34 c nbDecision=803500 #constraints=4599 1156.52/1157.07 c nbDecision=804000 #constraints=4599 1157.22/1157.80 c nbDecision=804500 #constraints=4599 1158.02/1158.52 c nbDecision=805000 #constraints=4599 1158.72/1159.24 c nbDecision=805500 #constraints=4599 1159.42/1159.96 c nbDecision=806000 #constraints=4599 1160.12/1160.68 c nbDecision=806500 #constraints=4599 1160.92/1161.40 c nbDecision=807000 #constraints=4599 1161.62/1162.12 c nbDecision=807500 #constraints=4599 1162.32/1162.83 c nbDecision=808000 #constraints=4599 1163.02/1163.53 c nbDecision=808500 #constraints=4599 1163.72/1164.24 c nbDecision=809000 #constraints=4599 1164.42/1164.95 c nbDecision=809500 #constraints=4599 1165.11/1165.65 c nbDecision=810000 #constraints=4599 1165.81/1166.35 c nbDecision=810500 #constraints=4599 1166.52/1167.05 c nbDecision=811000 #constraints=4599 1167.21/1167.75 c nbDecision=811500 #constraints=4599 1167.91/1168.45 c nbDecision=812000 #constraints=4599 1168.61/1169.15 c nbDecision=812500 #constraints=4599 1169.31/1169.85 c nbDecision=813000 #constraints=4599 1170.01/1170.54 c nbDecision=813500 #constraints=4599 1170.71/1171.24 c nbDecision=814000 #constraints=4599 1171.41/1171.93 c nbDecision=814500 #constraints=4599 1172.11/1172.62 c nbDecision=815000 #constraints=4599 1172.81/1173.32 c nbDecision=815500 #constraints=4599 1173.51/1174.05 c nbDecision=816000 #constraints=4600 1174.31/1174.80 c nbDecision=816500 #constraints=4600 1175.01/1175.55 c nbDecision=817000 #constraints=4600 1175.71/1176.30 c nbDecision=817500 #constraints=4600 1176.51/1177.04 c nbDecision=818000 #constraints=4600 1177.21/1177.78 c nbDecision=818500 #constraints=4600 1178.01/1178.53 c nbDecision=819000 #constraints=4600 1178.31/1178.83 c restart after 819201 decisions 1178.71/1179.29 c nbDecision=819500 #constraints=4600 1179.51/1180.05 c nbDecision=820000 #constraints=4600 1180.31/1180.81 c nbDecision=820500 #constraints=4600 1181.01/1181.56 c nbDecision=821000 #constraints=4600 1181.81/1182.31 c nbDecision=821500 #constraints=4600 1182.50/1183.06 c nbDecision=822000 #constraints=4600 1183.31/1183.80 c nbDecision=822500 #constraints=4600 1184.01/1184.54 c nbDecision=823000 #constraints=4600 1184.71/1185.28 c nbDecision=823500 #constraints=4600 1185.51/1186.03 c nbDecision=824000 #constraints=4600 1186.21/1186.76 c nbDecision=824500 #constraints=4600 1187.01/1187.50 c nbDecision=825000 #constraints=4600 1187.71/1188.24 c nbDecision=825500 #constraints=4600 1188.41/1188.97 c nbDecision=826000 #constraints=4600 1189.21/1189.71 c nbDecision=826500 #constraints=4600 1189.91/1190.44 c nbDecision=827000 #constraints=4600 1190.61/1191.17 c nbDecision=827500 #constraints=4600 1191.31/1191.90 c nbDecision=828000 #constraints=4600 1192.11/1192.63 c nbDecision=828500 #constraints=4600 1192.81/1193.36 c nbDecision=829000 #constraints=4600 1193.51/1194.09 c nbDecision=829500 #constraints=4600 1194.31/1194.82 c nbDecision=830000 #constraints=4600 1195.01/1195.55 c nbDecision=830500 #constraints=4600 1195.71/1196.28 c nbDecision=831000 #constraints=4600 1196.51/1197.01 c nbDecision=831500 #constraints=4600 1197.21/1197.73 c nbDecision=832000 #constraints=4600 1197.91/1198.46 c nbDecision=832500 #constraints=4600 1198.61/1199.18 c nbDecision=833000 #constraints=4600 1199.41/1199.91 c nbDecision=833500 #constraints=4600 1200.10/1200.63 c nbDecision=834000 #constraints=4600 1200.80/1201.35 c nbDecision=834500 #constraints=4600 1201.50/1202.07 c nbDecision=835000 #constraints=4600 1202.20/1202.78 c nbDecision=835500 #constraints=4600 1202.91/1203.48 c nbDecision=836000 #constraints=4600 1203.60/1204.19 c nbDecision=836500 #constraints=4600 1204.40/1204.90 c nbDecision=837000 #constraints=4600 1205.11/1205.60 c nbDecision=837500 #constraints=4600 1205.80/1206.31 c nbDecision=838000 #constraints=4600 1206.50/1207.01 c nbDecision=838500 #constraints=4600 1207.21/1207.71 c nbDecision=839000 #constraints=4600 1207.90/1208.41 c nbDecision=839500 #constraints=4600 1208.60/1209.11 c nbDecision=840000 #constraints=4600 1209.30/1209.81 c nbDecision=840500 #constraints=4600 1210.00/1210.51 c nbDecision=841000 #constraints=4600 1210.70/1211.20 c nbDecision=841500 #constraints=4600 1211.40/1211.90 c nbDecision=842000 #constraints=4600 1212.00/1212.60 c nbDecision=842500 #constraints=4600 1212.70/1213.29 c nbDecision=843000 #constraints=4600 1213.40/1213.99 c nbDecision=843500 #constraints=4600 1214.10/1214.69 c nbDecision=844000 #constraints=4600 1214.90/1215.46 c nbDecision=844500 #constraints=4601 1215.70/1216.21 c nbDecision=845000 #constraints=4601 1216.40/1216.95 c nbDecision=845500 #constraints=4601 1217.10/1217.70 c nbDecision=846000 #constraints=4601 1217.90/1218.44 c nbDecision=846500 #constraints=4601 1218.60/1219.18 c nbDecision=847000 #constraints=4601 1219.40/1219.93 c nbDecision=847500 #constraints=4601 1220.10/1220.67 c nbDecision=848000 #constraints=4601 1220.90/1221.41 c nbDecision=848500 #constraints=4601 1221.60/1222.15 c nbDecision=849000 #constraints=4601 1222.30/1222.88 c nbDecision=849500 #constraints=4601 1223.10/1223.60 c nbDecision=850000 #constraints=4601 1223.80/1224.33 c nbDecision=850500 #constraints=4601 1224.49/1225.06 c nbDecision=851000 #constraints=4601 1225.19/1225.78 c nbDecision=851500 #constraints=4601 1226.00/1226.51 c nbDecision=852000 #constraints=4601 1226.69/1227.23 c nbDecision=852500 #constraints=4601 1227.39/1227.95 c nbDecision=853000 #constraints=4601 1228.10/1228.67 c nbDecision=853500 #constraints=4601 1228.79/1229.39 c nbDecision=854000 #constraints=4601 1229.59/1230.11 c nbDecision=854500 #constraints=4601 1230.29/1230.82 c nbDecision=855000 #constraints=4601 1230.99/1231.54 c nbDecision=855500 #constraints=4601 1231.69/1232.26 c nbDecision=856000 #constraints=4601 1232.39/1232.98 c nbDecision=856500 #constraints=4601 1233.09/1233.68 c nbDecision=857000 #constraints=4601 1233.89/1234.40 c nbDecision=857500 #constraints=4601 1234.59/1235.11 c nbDecision=858000 #constraints=4601 1235.29/1235.83 c nbDecision=858500 #constraints=4601 1235.99/1236.54 c nbDecision=859000 #constraints=4601 1236.69/1237.25 c nbDecision=859500 #constraints=4601 1237.39/1237.96 c nbDecision=860000 #constraints=4601 1238.09/1238.67 c nbDecision=860500 #constraints=4601 1238.79/1239.37 c nbDecision=861000 #constraints=4601 1239.49/1240.07 c nbDecision=861500 #constraints=4601 1240.19/1240.78 c nbDecision=862000 #constraints=4601 1240.89/1241.48 c nbDecision=862500 #constraints=4601 1241.58/1242.18 c nbDecision=863000 #constraints=4601 1242.28/1242.88 c nbDecision=863500 #constraints=4601 1242.98/1243.57 c nbDecision=864000 #constraints=4601 1243.68/1244.26 c nbDecision=864500 #constraints=4601 1244.38/1244.95 c nbDecision=865000 #constraints=4601 1245.08/1245.63 c nbDecision=865500 #constraints=4601 1245.79/1246.38 c nbDecision=866000 #constraints=4602 1246.58/1247.12 c nbDecision=866500 #constraints=4602 1247.28/1247.86 c nbDecision=867000 #constraints=4602 1248.08/1248.60 c nbDecision=867500 #constraints=4602 1248.78/1249.34 c nbDecision=868000 #constraints=4602 1249.48/1250.07 c nbDecision=868500 #constraints=4602 1250.28/1250.81 c nbDecision=869000 #constraints=4602 1250.98/1251.54 c nbDecision=869500 #constraints=4602 1251.68/1252.28 c nbDecision=870000 #constraints=4602 1252.48/1253.02 c nbDecision=870500 #constraints=4602 1253.18/1253.76 c nbDecision=871000 #constraints=4602 1253.88/1254.49 c nbDecision=871500 #constraints=4602 1254.68/1255.23 c nbDecision=872000 #constraints=4602 1255.38/1255.95 c nbDecision=872500 #constraints=4602 1256.08/1256.69 c nbDecision=873000 #constraints=4602 1256.88/1257.42 c nbDecision=873500 #constraints=4602 1257.58/1258.15 c nbDecision=874000 #constraints=4602 1258.28/1258.87 c nbDecision=874500 #constraints=4602 1259.08/1259.60 c nbDecision=875000 #constraints=4602 1259.78/1260.33 c nbDecision=875500 #constraints=4602 1260.48/1261.05 c nbDecision=876000 #constraints=4602 1261.18/1261.78 c nbDecision=876500 #constraints=4602 1261.88/1262.50 c nbDecision=877000 #constraints=4602 1262.67/1263.21 c nbDecision=877500 #constraints=4602 1263.38/1263.92 c nbDecision=878000 #constraints=4602 1264.07/1264.63 c nbDecision=878500 #constraints=4602 1264.77/1265.34 c nbDecision=879000 #constraints=4602 1265.48/1266.05 c nbDecision=879500 #constraints=4602 1266.17/1266.75 c nbDecision=880000 #constraints=4602 1266.87/1267.46 c nbDecision=880500 #constraints=4602 1267.57/1268.17 c nbDecision=881000 #constraints=4602 1268.27/1268.87 c nbDecision=881500 #constraints=4602 1268.97/1269.57 c nbDecision=882000 #constraints=4602 1269.67/1270.27 c nbDecision=882500 #constraints=4602 1270.37/1270.97 c nbDecision=883000 #constraints=4602 1271.07/1271.67 c nbDecision=883500 #constraints=4602 1271.77/1272.37 c nbDecision=884000 #constraints=4602 1272.47/1273.07 c nbDecision=884500 #constraints=4602 1273.17/1273.77 c nbDecision=885000 #constraints=4602 1273.87/1274.47 c nbDecision=885500 #constraints=4602 1274.57/1275.17 c nbDecision=886000 #constraints=4602 1275.27/1275.87 c nbDecision=886500 #constraints=4602 1275.97/1276.56 c nbDecision=887000 #constraints=4602 1276.77/1277.31 c nbDecision=887500 #constraints=4603 1277.47/1278.05 c nbDecision=888000 #constraints=4603 1278.17/1278.79 c nbDecision=888500 #constraints=4603 1278.97/1279.53 c nbDecision=889000 #constraints=4603 1279.67/1280.27 c nbDecision=889500 #constraints=4603 1280.47/1281.01 c nbDecision=890000 #constraints=4603 1281.17/1281.74 c nbDecision=890500 #constraints=4603 1281.87/1282.47 c nbDecision=891000 #constraints=4603 1282.57/1283.20 c nbDecision=891500 #constraints=4603 1283.36/1283.92 c nbDecision=892000 #constraints=4603 1284.06/1284.64 c nbDecision=892500 #constraints=4603 1284.76/1285.36 c nbDecision=893000 #constraints=4603 1285.46/1286.08 c nbDecision=893500 #constraints=4603 1286.26/1286.80 c nbDecision=894000 #constraints=4603 1286.96/1287.52 c nbDecision=894500 #constraints=4603 1287.66/1288.24 c nbDecision=895000 #constraints=4603 1288.36/1288.95 c nbDecision=895500 #constraints=4603 1289.06/1289.67 c nbDecision=896000 #constraints=4603 1289.77/1290.38 c nbDecision=896500 #constraints=4603 1290.47/1291.09 c nbDecision=897000 #constraints=4603 1291.17/1291.79 c nbDecision=897500 #constraints=4603 1291.97/1292.51 c nbDecision=898000 #constraints=4603 1292.67/1293.22 c nbDecision=898500 #constraints=4603 1293.37/1293.94 c nbDecision=899000 #constraints=4603 1294.07/1294.65 c nbDecision=899500 #constraints=4603 1294.77/1295.36 c nbDecision=900000 #constraints=4603 1295.47/1296.07 c nbDecision=900500 #constraints=4603 1296.17/1296.78 c nbDecision=901000 #constraints=4603 1296.87/1297.49 c nbDecision=901500 #constraints=4603 1297.57/1298.19 c nbDecision=902000 #constraints=4603 1298.27/1298.90 c nbDecision=902500 #constraints=4603 1299.07/1299.60 c nbDecision=903000 #constraints=4603 1299.77/1300.30 c nbDecision=903500 #constraints=4603 1300.47/1301.00 c nbDecision=904000 #constraints=4603 1301.17/1301.70 c nbDecision=904500 #constraints=4603 1301.77/1302.39 c nbDecision=905000 #constraints=4603 1302.46/1303.08 c nbDecision=905500 #constraints=4603 1303.16/1303.77 c nbDecision=906000 #constraints=4603 1303.97/1304.53 c nbDecision=906500 #constraints=4604 1304.66/1305.27 c nbDecision=907000 #constraints=4604 1305.46/1306.01 c nbDecision=907500 #constraints=4604 1306.17/1306.75 c nbDecision=908000 #constraints=4604 1306.86/1307.48 c nbDecision=908500 #constraints=4604 1307.66/1308.21 c nbDecision=909000 #constraints=4604 1308.36/1308.95 c nbDecision=909500 #constraints=4604 1309.06/1309.68 c nbDecision=910000 #constraints=4604 1309.86/1310.42 c nbDecision=910500 #constraints=4604 1310.56/1311.15 c nbDecision=911000 #constraints=4604 1311.26/1311.87 c nbDecision=911500 #constraints=4604 1312.06/1312.60 c nbDecision=912000 #constraints=4604 1312.76/1313.34 c nbDecision=912500 #constraints=4604 1313.46/1314.07 c nbDecision=913000 #constraints=4604 1314.26/1314.80 c nbDecision=913500 #constraints=4604 1314.96/1315.53 c nbDecision=914000 #constraints=4604 1315.66/1316.26 c nbDecision=914500 #constraints=4604 1316.36/1316.99 c nbDecision=915000 #constraints=4604 1317.16/1317.72 c nbDecision=915500 #constraints=4604 1317.86/1318.44 c nbDecision=916000 #constraints=4604 1318.56/1319.17 c nbDecision=916500 #constraints=4604 1319.25/1319.89 c nbDecision=917000 #constraints=4604 1320.05/1320.61 c nbDecision=917500 #constraints=4604 1320.75/1321.33 c nbDecision=918000 #constraints=4604 1321.45/1322.04 c nbDecision=918500 #constraints=4604 1322.15/1322.75 c nbDecision=919000 #constraints=4604 1322.85/1323.46 c nbDecision=919500 #constraints=4604 1323.55/1324.17 c nbDecision=920000 #constraints=4604 1324.25/1324.88 c nbDecision=920500 #constraints=4604 1324.96/1325.58 c nbDecision=921000 #constraints=4604 1325.65/1326.28 c nbDecision=921500 #constraints=4604 1326.35/1326.99 c nbDecision=922000 #constraints=4604 1327.06/1327.69 c nbDecision=922500 #constraints=4604 1327.75/1328.39 c nbDecision=923000 #constraints=4604 1328.45/1329.09 c nbDecision=923500 #constraints=4604 1329.15/1329.79 c nbDecision=924000 #constraints=4604 1329.85/1330.48 c nbDecision=924500 #constraints=4604 1330.55/1331.18 c nbDecision=925000 #constraints=4604 1331.25/1331.87 c nbDecision=925500 #constraints=4604 1331.95/1332.57 c nbDecision=926000 #constraints=4604 1332.65/1333.26 c nbDecision=926500 #constraints=4604 1333.35/1333.96 c nbDecision=927000 #constraints=4604 1334.05/1334.66 c nbDecision=927500 #constraints=4604 1334.85/1335.41 c nbDecision=928000 #constraints=4605 1335.55/1336.14 c nbDecision=928500 #constraints=4605 1336.25/1336.88 c nbDecision=929000 #constraints=4605 1337.05/1337.62 c nbDecision=929500 #constraints=4605 1337.75/1338.36 c nbDecision=930000 #constraints=4605 1338.45/1339.09 c nbDecision=930500 #constraints=4605 1339.25/1339.82 c nbDecision=931000 #constraints=4605 1339.95/1340.56 c nbDecision=931500 #constraints=4605 1340.64/1341.28 c nbDecision=932000 #constraints=4605 1341.45/1342.01 c nbDecision=932500 #constraints=4605 1342.14/1342.73 c nbDecision=933000 #constraints=4605 1342.84/1343.46 c nbDecision=933500 #constraints=4605 1343.55/1344.18 c nbDecision=934000 #constraints=4605 1344.24/1344.90 c nbDecision=934500 #constraints=4605 1345.04/1345.61 c nbDecision=935000 #constraints=4605 1345.74/1346.33 c nbDecision=935500 #constraints=4605 1346.44/1347.05 c nbDecision=936000 #constraints=4605 1347.14/1347.76 c nbDecision=936500 #constraints=4605 1347.84/1348.47 c nbDecision=937000 #constraints=4605 1348.54/1349.18 c nbDecision=937500 #constraints=4605 1349.24/1349.89 c nbDecision=938000 #constraints=4605 1349.94/1350.60 c nbDecision=938500 #constraints=4605 1350.74/1351.30 c nbDecision=939000 #constraints=4605 1351.44/1352.01 c nbDecision=939500 #constraints=4605 1352.14/1352.72 c nbDecision=940000 #constraints=4605 1352.84/1353.43 c nbDecision=940500 #constraints=4605 1353.54/1354.14 c nbDecision=941000 #constraints=4605 1354.24/1354.85 c nbDecision=941500 #constraints=4605 1354.93/1355.56 c nbDecision=942000 #constraints=4605 1355.64/1356.26 c nbDecision=942500 #constraints=4605 1356.33/1356.97 c nbDecision=943000 #constraints=4605 1357.03/1357.67 c nbDecision=943500 #constraints=4605 1357.73/1358.37 c nbDecision=944000 #constraints=4605 1358.43/1359.07 c nbDecision=944500 #constraints=4605 1359.13/1359.77 c nbDecision=945000 #constraints=4605 1359.83/1360.46 c nbDecision=945500 #constraints=4605 1360.53/1361.16 c nbDecision=946000 #constraints=4605 1361.24/1361.89 c nbDecision=946500 #constraints=4606 1362.03/1362.63 c nbDecision=947000 #constraints=4606 1362.73/1363.37 c nbDecision=947500 #constraints=4606 1363.53/1364.11 c nbDecision=948000 #constraints=4606 1364.23/1364.85 c nbDecision=948500 #constraints=4606 1364.93/1365.58 c nbDecision=949000 #constraints=4606 1365.73/1366.31 c nbDecision=949500 #constraints=4606 1366.43/1367.05 c nbDecision=950000 #constraints=4606 1367.13/1367.78 c nbDecision=950500 #constraints=4606 1367.93/1368.51 c nbDecision=951000 #constraints=4606 1368.64/1369.24 c nbDecision=951500 #constraints=4606 1369.34/1369.97 c nbDecision=952000 #constraints=4606 1370.14/1370.70 c nbDecision=952500 #constraints=4606 1370.84/1371.43 c nbDecision=953000 #constraints=4606 1371.54/1372.15 c nbDecision=953500 #constraints=4606 1372.24/1372.88 c nbDecision=954000 #constraints=4606 1373.04/1373.61 c nbDecision=954500 #constraints=4606 1373.74/1374.34 c nbDecision=955000 #constraints=4606 1374.44/1375.07 c nbDecision=955500 #constraints=4606 1375.13/1375.79 c nbDecision=956000 #constraints=4606 1375.93/1376.52 c nbDecision=956500 #constraints=4606 1376.64/1377.24 c nbDecision=957000 #constraints=4606 1377.33/1377.97 c nbDecision=957500 #constraints=4606 1378.03/1378.69 c nbDecision=958000 #constraints=4606 1378.84/1379.41 c nbDecision=958500 #constraints=4606 1379.53/1380.13 c nbDecision=959000 #constraints=4606 1380.23/1380.84 c nbDecision=959500 #constraints=4606 1380.93/1381.56 c nbDecision=960000 #constraints=4606 1381.63/1382.27 c nbDecision=960500 #constraints=4606 1382.33/1382.98 c nbDecision=961000 #constraints=4606 1383.03/1383.68 c nbDecision=961500 #constraints=4606 1383.73/1384.39 c nbDecision=962000 #constraints=4606 1384.43/1385.09 c nbDecision=962500 #constraints=4606 1385.13/1385.78 c nbDecision=963000 #constraints=4606 1385.83/1386.48 c nbDecision=963500 #constraints=4606 1386.53/1387.18 c nbDecision=964000 #constraints=4606 1387.23/1387.88 c nbDecision=964500 #constraints=4606 1387.93/1388.58 c nbDecision=965000 #constraints=4606 1388.63/1389.27 c nbDecision=965500 #constraints=4606 1389.33/1389.97 c nbDecision=966000 #constraints=4606 1390.03/1390.66 c nbDecision=966500 #constraints=4606 1390.73/1391.35 c nbDecision=967000 #constraints=4606 1391.43/1392.04 c nbDecision=967500 #constraints=4606 1392.13/1392.77 c nbDecision=968000 #constraints=4607 1392.93/1393.52 c nbDecision=968500 #constraints=4607 1393.63/1394.27 c nbDecision=969000 #constraints=4607 1394.43/1395.01 c nbDecision=969500 #constraints=4607 1395.12/1395.76 c nbDecision=970000 #constraints=4607 1395.92/1396.50 c nbDecision=970500 #constraints=4607 1396.62/1397.25 c nbDecision=971000 #constraints=4607 1397.32/1397.99 c nbDecision=971500 #constraints=4607 1398.12/1398.73 c nbDecision=972000 #constraints=4607 1398.82/1399.47 c nbDecision=972500 #constraints=4607 1399.63/1400.21 c nbDecision=973000 #constraints=4607 1400.32/1400.94 c nbDecision=973500 #constraints=4607 1401.02/1401.67 c nbDecision=974000 #constraints=4607 1401.83/1402.41 c nbDecision=974500 #constraints=4607 1402.52/1403.13 c nbDecision=975000 #constraints=4607 1403.22/1403.85 c nbDecision=975500 #constraints=4607 1403.92/1404.56 c nbDecision=976000 #constraints=4607 1404.62/1405.28 c nbDecision=976500 #constraints=4607 1405.42/1406.00 c nbDecision=977000 #constraints=4607 1406.12/1406.72 c nbDecision=977500 #constraints=4607 1406.82/1407.44 c nbDecision=978000 #constraints=4607 1407.52/1408.15 c nbDecision=978500 #constraints=4607 1408.22/1408.87 c nbDecision=979000 #constraints=4607 1408.92/1409.59 c nbDecision=979500 #constraints=4607 1409.72/1410.30 c nbDecision=980000 #constraints=4607 1410.42/1411.01 c nbDecision=980500 #constraints=4607 1411.12/1411.73 c nbDecision=981000 #constraints=4607 1411.82/1412.44 c nbDecision=981500 #constraints=4607 1412.51/1413.15 c nbDecision=982000 #constraints=4607 1413.21/1413.87 c nbDecision=982500 #constraints=4607 1413.92/1414.58 c nbDecision=983000 #constraints=4607 1414.61/1415.29 c nbDecision=983500 #constraints=4607 1415.41/1416.00 c nbDecision=984000 #constraints=4607 1416.12/1416.71 c nbDecision=984500 #constraints=4607 1416.81/1417.41 c nbDecision=985000 #constraints=4607 1417.51/1418.12 c nbDecision=985500 #constraints=4607 1418.21/1418.82 c nbDecision=986000 #constraints=4607 1418.91/1419.54 c nbDecision=986500 #constraints=4607 1419.61/1420.24 c nbDecision=987000 #constraints=4607 1420.31/1420.94 c nbDecision=987500 #constraints=4607 1421.01/1421.64 c nbDecision=988000 #constraints=4607 1421.72/1422.33 c nbDecision=988500 #constraints=4607 1422.41/1423.02 c nbDecision=989000 #constraints=4607 1423.11/1423.76 c nbDecision=989500 #constraints=4608 1423.81/1424.50 c nbDecision=990000 #constraints=4608 1424.61/1425.24 c nbDecision=990500 #constraints=4608 1425.31/1425.98 c nbDecision=991000 #constraints=4608 1426.11/1426.72 c nbDecision=991500 #constraints=4608 1426.81/1427.45 c nbDecision=992000 #constraints=4608 1427.51/1428.17 c nbDecision=992500 #constraints=4608 1428.31/1428.91 c nbDecision=993000 #constraints=4608 1429.01/1429.63 c nbDecision=993500 #constraints=4608 1429.71/1430.36 c nbDecision=994000 #constraints=4608 1430.41/1431.09 c nbDecision=994500 #constraints=4608 1431.21/1431.82 c nbDecision=995000 #constraints=4608 1431.91/1432.55 c nbDecision=995500 #constraints=4608 1432.61/1433.29 c nbDecision=996000 #constraints=4608 1433.41/1434.02 c nbDecision=996500 #constraints=4608 1434.11/1434.75 c nbDecision=997000 #constraints=4608 1434.81/1435.48 c nbDecision=997500 #constraints=4608 1435.60/1436.21 c nbDecision=998000 #constraints=4608 1436.30/1436.93 c nbDecision=998500 #constraints=4608 1437.01/1437.66 c nbDecision=999000 #constraints=4608 1437.70/1438.38 c nbDecision=999500 #constraints=4608 1438.50/1439.11 c nbDecision=1000000 #constraints=4608 1439.21/1439.83 c nbDecision=1000500 #constraints=4608 1439.90/1440.55 c nbDecision=1001000 #constraints=4608 1440.60/1441.27 c nbDecision=1001500 #constraints=4608 1441.30/1441.99 c nbDecision=1002000 #constraints=4608 1442.00/1442.70 c nbDecision=1002500 #constraints=4608 1442.80/1443.40 c nbDecision=1003000 #constraints=4608 1443.50/1444.11 c nbDecision=1003500 #constraints=4608 1444.20/1444.82 c nbDecision=1004000 #constraints=4608 1444.90/1445.52 c nbDecision=1004500 #constraints=4608 1445.60/1446.22 c nbDecision=1005000 #constraints=4608 1446.30/1446.93 c nbDecision=1005500 #constraints=4608 1447.00/1447.63 c nbDecision=1006000 #constraints=4608 1447.70/1448.33 c nbDecision=1006500 #constraints=4608 1448.40/1449.03 c nbDecision=1007000 #constraints=4608 1449.10/1449.72 c nbDecision=1007500 #constraints=4608 1449.80/1450.42 c nbDecision=1008000 #constraints=4608 1450.50/1451.11 c nbDecision=1008500 #constraints=4608 1451.20/1451.81 c nbDecision=1009000 #constraints=4608 1451.90/1452.50 c nbDecision=1009500 #constraints=4608 1452.50/1453.20 c nbDecision=1010000 #constraints=4608 1453.20/1453.89 c nbDecision=1010500 #constraints=4608 1454.00/1454.65 c nbDecision=1011000 #constraints=4609 1454.80/1455.41 c nbDecision=1011500 #constraints=4609 1455.50/1456.16 c nbDecision=1012000 #constraints=4609 1456.30/1456.91 c nbDecision=1012500 #constraints=4609 1457.00/1457.65 c nbDecision=1013000 #constraints=4609 1457.80/1458.40 c nbDecision=1013500 #constraints=4609 1458.49/1459.15 c nbDecision=1014000 #constraints=4609 1459.19/1459.89 c nbDecision=1014500 #constraints=4609 1460.00/1460.63 c nbDecision=1015000 #constraints=4609 1460.69/1461.37 c nbDecision=1015500 #constraints=4609 1461.49/1462.11 c nbDecision=1016000 #constraints=4609 1462.19/1462.85 c nbDecision=1016500 #constraints=4609 1462.89/1463.58 c nbDecision=1017000 #constraints=4609 1463.69/1464.31 c nbDecision=1017500 #constraints=4609 1464.39/1465.03 c nbDecision=1018000 #constraints=4609 1465.09/1465.75 c nbDecision=1018500 #constraints=4609 1465.79/1466.48 c nbDecision=1019000 #constraints=4609 1466.59/1467.21 c nbDecision=1019500 #constraints=4609 1467.29/1467.92 c nbDecision=1020000 #constraints=4609 1467.99/1468.64 c nbDecision=1020500 #constraints=4609 1468.69/1469.36 c nbDecision=1021000 #constraints=4609 1469.39/1470.08 c nbDecision=1021500 #constraints=4609 1470.19/1470.80 c nbDecision=1022000 #constraints=4609 1470.89/1471.52 c nbDecision=1022500 #constraints=4609 1471.59/1472.24 c nbDecision=1023000 #constraints=4609 1472.29/1472.96 c nbDecision=1023500 #constraints=4609 1472.99/1473.68 c nbDecision=1024000 #constraints=4609 1473.79/1474.40 c nbDecision=1024500 #constraints=4609 1474.49/1475.11 c nbDecision=1025000 #constraints=4609 1475.19/1475.83 c nbDecision=1025500 #constraints=4609 1475.89/1476.54 c nbDecision=1026000 #constraints=4609 1476.59/1477.25 c nbDecision=1026500 #constraints=4609 1477.29/1477.97 c nbDecision=1027000 #constraints=4609 1477.99/1478.68 c nbDecision=1027500 #constraints=4609 1478.69/1479.38 c nbDecision=1028000 #constraints=4609 1479.39/1480.09 c nbDecision=1028500 #constraints=4609 1480.09/1480.79 c nbDecision=1029000 #constraints=4609 1480.88/1481.50 c nbDecision=1029500 #constraints=4609 1481.58/1482.20 c nbDecision=1030000 #constraints=4609 1482.19/1482.90 c nbDecision=1030500 #constraints=4609 1482.88/1483.59 c nbDecision=1031000 #constraints=4609 1483.58/1484.29 c nbDecision=1031500 #constraints=4609 1484.29/1484.98 c nbDecision=1032000 #constraints=4609 1484.98/1485.67 c nbDecision=1032500 #constraints=4609 1485.68/1486.36 c nbDecision=1033000 #constraints=4609 1486.38/1487.08 c nbDecision=1033500 #constraints=4610 1487.18/1487.82 c nbDecision=1034000 #constraints=4610 1487.88/1488.57 c nbDecision=1034500 #constraints=4610 1488.68/1489.31 c nbDecision=1035000 #constraints=4610 1489.38/1490.05 c nbDecision=1035500 #constraints=4610 1490.08/1490.79 c nbDecision=1036000 #constraints=4610 1490.88/1491.53 c nbDecision=1036500 #constraints=4610 1491.58/1492.27 c nbDecision=1037000 #constraints=4610 1492.38/1493.01 c nbDecision=1037500 #constraints=4610 1493.08/1493.74 c nbDecision=1038000 #constraints=4610 1493.78/1494.49 c nbDecision=1038500 #constraints=4610 1494.58/1495.23 c nbDecision=1039000 #constraints=4610 1495.28/1495.96 c nbDecision=1039500 #constraints=4610 1496.08/1496.70 c nbDecision=1040000 #constraints=4610 1496.78/1497.44 c nbDecision=1040500 #constraints=4610 1497.48/1498.17 c nbDecision=1041000 #constraints=4610 1498.28/1498.90 c nbDecision=1041500 #constraints=4610 1498.98/1499.64 c nbDecision=1042000 #constraints=4610 1499.68/1500.37 c nbDecision=1042500 #constraints=4610 1500.37/1501.10 c nbDecision=1043000 #constraints=4610 1501.17/1501.83 c nbDecision=1043500 #constraints=4610 1501.88/1502.55 c nbDecision=1044000 #constraints=4610 1502.57/1503.27 c nbDecision=1044500 #constraints=4610 1503.27/1503.99 c nbDecision=1045000 #constraints=4610 1504.08/1504.70 c nbDecision=1045500 #constraints=4610 1504.77/1505.42 c nbDecision=1046000 #constraints=4610 1505.47/1506.13 c nbDecision=1046500 #constraints=4610 1506.17/1506.84 c nbDecision=1047000 #constraints=4610 1506.88/1507.55 c nbDecision=1047500 #constraints=4610 1507.58/1508.26 c nbDecision=1048000 #constraints=4610 1508.28/1508.96 c nbDecision=1048500 #constraints=4610 1508.98/1509.67 c nbDecision=1049000 #constraints=4610 1509.68/1510.38 c nbDecision=1049500 #constraints=4610 1510.38/1511.08 c nbDecision=1050000 #constraints=4610 1511.08/1511.78 c nbDecision=1050500 #constraints=4610 1511.78/1512.49 c nbDecision=1051000 #constraints=4610 1512.48/1513.20 c nbDecision=1051500 #constraints=4610 1513.28/1513.90 c nbDecision=1052000 #constraints=4610 1513.98/1514.61 c nbDecision=1052500 #constraints=4610 1514.68/1515.31 c nbDecision=1053000 #constraints=4610 1515.38/1516.02 c nbDecision=1053500 #constraints=4610 1516.08/1516.72 c nbDecision=1054000 #constraints=4610 1516.78/1517.42 c nbDecision=1054500 #constraints=4610 1517.48/1518.11 c nbDecision=1055000 #constraints=4610 1518.18/1518.81 c nbDecision=1055500 #constraints=4610 1518.78/1519.49 c nbDecision=1056000 #constraints=4610 1519.58/1520.26 c nbDecision=1056500 #constraints=4611 1520.38/1521.01 c nbDecision=1057000 #constraints=4611 1521.08/1521.76 c nbDecision=1057500 #constraints=4611 1521.78/1522.50 c nbDecision=1058000 #constraints=4611 1522.58/1523.23 c nbDecision=1058500 #constraints=4611 1523.27/1523.97 c nbDecision=1059000 #constraints=4611 1524.07/1524.70 c nbDecision=1059500 #constraints=4611 1524.77/1525.44 c nbDecision=1060000 #constraints=4611 1525.47/1526.17 c nbDecision=1060500 #constraints=4611 1526.27/1526.90 c nbDecision=1061000 #constraints=4611 1526.97/1527.63 c nbDecision=1061500 #constraints=4611 1527.67/1528.36 c nbDecision=1062000 #constraints=4611 1528.37/1529.09 c nbDecision=1062500 #constraints=4611 1529.17/1529.81 c nbDecision=1063000 #constraints=4611 1529.87/1530.54 c nbDecision=1063500 #constraints=4611 1530.57/1531.26 c nbDecision=1064000 #constraints=4611 1531.27/1531.98 c nbDecision=1064500 #constraints=4611 1532.07/1532.71 c nbDecision=1065000 #constraints=4611 1532.77/1533.42 c nbDecision=1065500 #constraints=4611 1533.47/1534.15 c nbDecision=1066000 #constraints=4611 1534.17/1534.87 c nbDecision=1066500 #constraints=4611 1534.87/1535.60 c nbDecision=1067000 #constraints=4611 1535.66/1536.32 c nbDecision=1067500 #constraints=4611 1536.36/1537.04 c nbDecision=1068000 #constraints=4611 1537.07/1537.75 c nbDecision=1068500 #constraints=4611 1537.76/1538.47 c nbDecision=1069000 #constraints=4611 1538.46/1539.18 c nbDecision=1069500 #constraints=4611 1539.16/1539.90 c nbDecision=1070000 #constraints=4611 1539.96/1540.61 c nbDecision=1070500 #constraints=4611 1540.66/1541.32 c nbDecision=1071000 #constraints=4611 1541.36/1542.03 c nbDecision=1071500 #constraints=4611 1542.06/1542.74 c nbDecision=1072000 #constraints=4611 1542.76/1543.44 c nbDecision=1072500 #constraints=4611 1543.46/1544.14 c nbDecision=1073000 #constraints=4611 1544.16/1544.84 c nbDecision=1073500 #constraints=4611 1544.87/1545.53 c nbDecision=1074000 #constraints=4611 1545.56/1546.23 c nbDecision=1074500 #constraints=4611 1546.26/1546.93 c nbDecision=1075000 #constraints=4611 1546.96/1547.62 c nbDecision=1075500 #constraints=4611 1547.66/1548.31 c nbDecision=1076000 #constraints=4611 1548.36/1549.00 c nbDecision=1076500 #constraints=4611 1548.96/1549.69 c nbDecision=1077000 #constraints=4611 1549.76/1550.42 c nbDecision=1077500 #constraints=4612 1550.46/1551.16 c nbDecision=1078000 #constraints=4612 1551.26/1551.90 c nbDecision=1078500 #constraints=4612 1551.96/1552.64 c nbDecision=1079000 #constraints=4612 1552.66/1553.39 c nbDecision=1079500 #constraints=4612 1553.46/1554.13 c nbDecision=1080000 #constraints=4612 1554.16/1554.87 c nbDecision=1080500 #constraints=4612 1554.96/1555.61 c nbDecision=1081000 #constraints=4612 1555.66/1556.35 c nbDecision=1081500 #constraints=4612 1556.36/1557.09 c nbDecision=1082000 #constraints=4612 1557.15/1557.83 c nbDecision=1082500 #constraints=4612 1557.85/1558.57 c nbDecision=1083000 #constraints=4612 1558.65/1559.30 c nbDecision=1083500 #constraints=4612 1559.35/1560.04 c nbDecision=1084000 #constraints=4612 1560.05/1560.76 c nbDecision=1084500 #constraints=4612 1560.75/1561.50 c nbDecision=1085000 #constraints=4612 1561.55/1562.22 c nbDecision=1085500 #constraints=4612 1562.25/1562.95 c nbDecision=1086000 #constraints=4612 1562.95/1563.67 c nbDecision=1086500 #constraints=4612 1563.65/1564.38 c nbDecision=1087000 #constraints=4612 1564.45/1565.10 c nbDecision=1087500 #constraints=4612 1565.15/1565.82 c nbDecision=1088000 #constraints=4612 1565.85/1566.53 c nbDecision=1088500 #constraints=4612 1566.55/1567.25 c nbDecision=1089000 #constraints=4612 1567.25/1567.97 c nbDecision=1089500 #constraints=4612 1567.95/1568.68 c nbDecision=1090000 #constraints=4612 1568.65/1569.39 c nbDecision=1090500 #constraints=4612 1569.45/1570.10 c nbDecision=1091000 #constraints=4612 1570.15/1570.81 c nbDecision=1091500 #constraints=4612 1570.85/1571.51 c nbDecision=1092000 #constraints=4612 1571.55/1572.22 c nbDecision=1092500 #constraints=4612 1572.25/1572.93 c nbDecision=1093000 #constraints=4612 1572.95/1573.64 c nbDecision=1093500 #constraints=4612 1573.65/1574.35 c nbDecision=1094000 #constraints=4612 1574.35/1575.05 c nbDecision=1094500 #constraints=4612 1575.05/1575.76 c nbDecision=1095000 #constraints=4612 1575.74/1576.46 c nbDecision=1095500 #constraints=4612 1576.44/1577.16 c nbDecision=1096000 #constraints=4612 1577.14/1577.86 c nbDecision=1096500 #constraints=4612 1577.85/1578.56 c nbDecision=1097000 #constraints=4612 1578.54/1579.26 c nbDecision=1097500 #constraints=4612 1579.24/1579.96 c nbDecision=1098000 #constraints=4612 1579.95/1580.65 c nbDecision=1098500 #constraints=4612 1580.74/1581.41 c nbDecision=1099000 #constraints=4613 1581.44/1582.15 c nbDecision=1099500 #constraints=4613 1582.15/1582.89 c nbDecision=1100000 #constraints=4613 1582.94/1583.63 c nbDecision=1100500 #constraints=4613 1583.64/1584.37 c nbDecision=1101000 #constraints=4613 1584.34/1585.10 c nbDecision=1101500 #constraints=4613 1585.14/1585.83 c nbDecision=1102000 #constraints=4613 1585.84/1586.57 c nbDecision=1102500 #constraints=4613 1586.54/1587.30 c nbDecision=1103000 #constraints=4613 1587.34/1588.03 c nbDecision=1103500 #constraints=4613 1588.04/1588.76 c nbDecision=1104000 #constraints=4613 1588.74/1589.49 c nbDecision=1104500 #constraints=4613 1589.54/1590.22 c nbDecision=1105000 #constraints=4613 1590.24/1590.94 c nbDecision=1105500 #constraints=4613 1590.94/1591.67 c nbDecision=1106000 #constraints=4613 1591.64/1592.39 c nbDecision=1106500 #constraints=4613 1592.43/1593.12 c nbDecision=1107000 #constraints=4613 1593.14/1593.85 c nbDecision=1107500 #constraints=4613 1593.83/1594.58 c nbDecision=1108000 #constraints=4613 1594.63/1595.30 c nbDecision=1108500 #constraints=4613 1595.34/1596.03 c nbDecision=1109000 #constraints=4613 1596.03/1596.75 c nbDecision=1109500 #constraints=4613 1596.73/1597.47 c nbDecision=1110000 #constraints=4613 1597.43/1598.18 c nbDecision=1110500 #constraints=4613 1598.23/1598.90 c nbDecision=1111000 #constraints=4613 1598.93/1599.62 c nbDecision=1111500 #constraints=4613 1599.63/1600.33 c nbDecision=1112000 #constraints=4613 1600.33/1601.05 c nbDecision=1112500 #constraints=4613 1601.03/1601.76 c nbDecision=1113000 #constraints=4613 1601.73/1602.47 c nbDecision=1113500 #constraints=4613 1602.43/1603.17 c nbDecision=1114000 #constraints=4613 1603.13/1603.87 c nbDecision=1114500 #constraints=4613 1603.83/1604.57 c nbDecision=1115000 #constraints=4613 1604.53/1605.27 c nbDecision=1115500 #constraints=4613 1605.23/1605.97 c nbDecision=1116000 #constraints=4613 1605.93/1606.66 c nbDecision=1116500 #constraints=4613 1606.63/1607.36 c nbDecision=1117000 #constraints=4613 1607.33/1608.05 c nbDecision=1117500 #constraints=4613 1608.03/1608.74 c nbDecision=1118000 #constraints=4613 1608.73/1609.44 c nbDecision=1118500 #constraints=4613 1609.43/1610.13 c nbDecision=1119000 #constraints=4613 1610.13/1610.82 c nbDecision=1119500 #constraints=4613 1610.83/1611.50 c nbDecision=1120000 #constraints=4613 1611.53/1612.27 c nbDecision=1120500 #constraints=4614 1612.33/1613.02 c nbDecision=1121000 #constraints=4614 1613.03/1613.77 c nbDecision=1121500 #constraints=4614 1613.83/1614.51 c nbDecision=1122000 #constraints=4614 1614.53/1615.26 c nbDecision=1122500 #constraints=4614 1615.33/1616.00 c nbDecision=1123000 #constraints=4614 1616.03/1616.74 c nbDecision=1123500 #constraints=4614 1616.72/1617.48 c nbDecision=1124000 #constraints=4614 1617.52/1618.22 c nbDecision=1124500 #constraints=4614 1618.22/1618.96 c nbDecision=1125000 #constraints=4614 1618.92/1619.69 c nbDecision=1125500 #constraints=4614 1619.72/1620.43 c nbDecision=1126000 #constraints=4614 1620.42/1621.16 c nbDecision=1126500 #constraints=4614 1621.12/1621.89 c nbDecision=1127000 #constraints=4614 1621.92/1622.62 c nbDecision=1127500 #constraints=4614 1622.62/1623.34 c nbDecision=1128000 #constraints=4614 1623.32/1624.06 c nbDecision=1128500 #constraints=4614 1624.02/1624.78 c nbDecision=1129000 #constraints=4614 1624.82/1625.50 c nbDecision=1129500 #constraints=4614 1625.52/1626.22 c nbDecision=1130000 #constraints=4614 1626.22/1626.93 c nbDecision=1130500 #constraints=4614 1626.93/1627.64 c nbDecision=1131000 #constraints=4614 1627.63/1628.35 c nbDecision=1131500 #constraints=4614 1628.33/1629.07 c nbDecision=1132000 #constraints=4614 1629.02/1629.78 c nbDecision=1132500 #constraints=4614 1629.72/1630.49 c nbDecision=1133000 #constraints=4614 1630.42/1631.20 c nbDecision=1133500 #constraints=4614 1631.22/1631.90 c nbDecision=1134000 #constraints=4614 1631.92/1632.61 c nbDecision=1134500 #constraints=4614 1632.62/1633.33 c nbDecision=1135000 #constraints=4614 1633.32/1634.04 c nbDecision=1135500 #constraints=4614 1634.02/1634.75 c nbDecision=1136000 #constraints=4614 1634.72/1635.45 c nbDecision=1136500 #constraints=4614 1635.42/1636.16 c nbDecision=1137000 #constraints=4614 1636.13/1636.86 c nbDecision=1137500 #constraints=4614 1636.82/1637.56 c nbDecision=1138000 #constraints=4614 1637.52/1638.27 c nbDecision=1138500 #constraints=4614 1638.23/1638.97 c nbDecision=1139000 #constraints=4614 1638.92/1639.67 c nbDecision=1139500 #constraints=4614 1639.62/1640.37 c nbDecision=1140000 #constraints=4614 1640.32/1641.06 c nbDecision=1140500 #constraints=4614 1641.02/1641.76 c nbDecision=1141000 #constraints=4614 1641.82/1642.51 c nbDecision=1141500 #constraints=4615 1642.52/1643.25 c nbDecision=1142000 #constraints=4615 1643.22/1643.99 c nbDecision=1142500 #constraints=4615 1644.02/1644.74 c nbDecision=1143000 #constraints=4615 1644.72/1645.48 c nbDecision=1143500 #constraints=4615 1645.52/1646.22 c nbDecision=1144000 #constraints=4615 1646.22/1646.95 c nbDecision=1144500 #constraints=4615 1646.92/1647.69 c nbDecision=1145000 #constraints=4615 1647.72/1648.43 c nbDecision=1145500 #constraints=4615 1648.41/1649.16 c nbDecision=1146000 #constraints=4615 1649.11/1649.90 c nbDecision=1146500 #constraints=4615 1649.91/1650.63 c nbDecision=1147000 #constraints=4615 1650.61/1651.36 c nbDecision=1147500 #constraints=4615 1651.31/1652.09 c nbDecision=1148000 #constraints=4615 1652.11/1652.82 c nbDecision=1148500 #constraints=4615 1652.81/1653.55 c nbDecision=1149000 #constraints=4615 1653.51/1654.28 c nbDecision=1149500 #constraints=4615 1654.31/1655.01 c nbDecision=1150000 #constraints=4615 1655.01/1655.74 c nbDecision=1150500 #constraints=4615 1655.71/1656.47 c nbDecision=1151000 #constraints=4615 1656.51/1657.20 c nbDecision=1151500 #constraints=4615 1657.21/1657.92 c nbDecision=1152000 #constraints=4615 1657.91/1658.65 c nbDecision=1152500 #constraints=4615 1658.61/1659.37 c nbDecision=1153000 #constraints=4615 1659.41/1660.10 c nbDecision=1153500 #constraints=4615 1660.11/1660.82 c nbDecision=1154000 #constraints=4615 1660.81/1661.54 c nbDecision=1154500 #constraints=4615 1661.51/1662.26 c nbDecision=1155000 #constraints=4615 1662.21/1662.97 c nbDecision=1155500 #constraints=4615 1662.91/1663.67 c nbDecision=1156000 #constraints=4615 1663.61/1664.38 c nbDecision=1156500 #constraints=4615 1664.31/1665.09 c nbDecision=1157000 #constraints=4615 1665.01/1665.79 c nbDecision=1157500 #constraints=4615 1665.71/1666.50 c nbDecision=1158000 #constraints=4615 1666.51/1667.20 c nbDecision=1158500 #constraints=4615 1667.21/1667.90 c nbDecision=1159000 #constraints=4615 1667.81/1668.60 c nbDecision=1159500 #constraints=4615 1668.61/1669.30 c nbDecision=1160000 #constraints=4615 1669.31/1670.00 c nbDecision=1160500 #constraints=4615 1669.90/1670.69 c nbDecision=1161000 #constraints=4615 1670.60/1671.39 c nbDecision=1161500 #constraints=4615 1671.31/1672.08 c nbDecision=1162000 #constraints=4615 1672.00/1672.78 c nbDecision=1162500 #constraints=4615 1672.70/1673.47 c nbDecision=1163000 #constraints=4615 1673.41/1674.17 c nbDecision=1163500 #constraints=4615 1674.20/1674.91 c nbDecision=1164000 #constraints=4616 1674.90/1675.66 c nbDecision=1164500 #constraints=4616 1675.70/1676.41 c nbDecision=1165000 #constraints=4616 1676.40/1677.16 c nbDecision=1165500 #constraints=4616 1677.20/1677.90 c nbDecision=1166000 #constraints=4616 1677.90/1678.65 c nbDecision=1166500 #constraints=4616 1678.60/1679.40 c nbDecision=1167000 #constraints=4616 1679.40/1680.14 c nbDecision=1167500 #constraints=4616 1680.10/1680.88 c nbDecision=1168000 #constraints=4616 1680.90/1681.62 c nbDecision=1168500 #constraints=4616 1681.60/1682.36 c nbDecision=1169000 #constraints=4616 1682.30/1683.09 c nbDecision=1169500 #constraints=4616 1683.10/1683.83 c nbDecision=1170000 #constraints=4616 1683.80/1684.55 c nbDecision=1170500 #constraints=4616 1684.50/1685.28 c nbDecision=1171000 #constraints=4616 1685.30/1686.01 c nbDecision=1171500 #constraints=4616 1686.00/1686.74 c nbDecision=1172000 #constraints=4616 1686.70/1687.45 c nbDecision=1172500 #constraints=4616 1687.39/1688.17 c nbDecision=1173000 #constraints=4616 1688.09/1688.90 c nbDecision=1173500 #constraints=4616 1688.90/1689.62 c nbDecision=1174000 #constraints=4616 1689.59/1690.34 c nbDecision=1174500 #constraints=4616 1690.29/1691.05 c nbDecision=1175000 #constraints=4616 1691.00/1691.77 c nbDecision=1175500 #constraints=4616 1691.69/1692.49 c nbDecision=1176000 #constraints=4616 1692.49/1693.21 c nbDecision=1176500 #constraints=4616 1693.20/1693.93 c nbDecision=1177000 #constraints=4616 1693.89/1694.65 c nbDecision=1177500 #constraints=4616 1694.59/1695.36 c nbDecision=1178000 #constraints=4616 1695.29/1696.08 c nbDecision=1178500 #constraints=4616 1695.99/1696.79 c nbDecision=1179000 #constraints=4616 1696.79/1697.51 c nbDecision=1179500 #constraints=4616 1697.49/1698.22 c nbDecision=1180000 #constraints=4616 1698.19/1698.93 c nbDecision=1180500 #constraints=4616 1698.89/1699.64 c nbDecision=1181000 #constraints=4616 1699.59/1700.34 c nbDecision=1181500 #constraints=4616 1700.29/1701.05 c nbDecision=1182000 #constraints=4616 1700.99/1701.76 c nbDecision=1182500 #constraints=4616 1701.69/1702.46 c nbDecision=1183000 #constraints=4616 1702.39/1703.15 c nbDecision=1183500 #constraints=4616 1703.09/1703.85 c nbDecision=1184000 #constraints=4616 1703.79/1704.54 c nbDecision=1184500 #constraints=4616 1704.49/1705.23 c nbDecision=1185000 #constraints=4616 1705.19/1705.93 c nbDecision=1185500 #constraints=4616 1705.89/1706.61 c nbDecision=1186000 #constraints=4616 1706.59/1707.34 c nbDecision=1186500 #constraints=4617 1707.29/1708.09 c nbDecision=1187000 #constraints=4617 1708.08/1708.83 c nbDecision=1187500 #constraints=4617 1708.79/1709.57 c nbDecision=1188000 #constraints=4617 1709.58/1710.31 c nbDecision=1188500 #constraints=4617 1710.28/1711.05 c nbDecision=1189000 #constraints=4617 1710.98/1711.79 c nbDecision=1189500 #constraints=4617 1711.78/1712.53 c nbDecision=1190000 #constraints=4617 1712.48/1713.27 c nbDecision=1190500 #constraints=4617 1713.28/1714.02 c nbDecision=1191000 #constraints=4617 1713.98/1714.76 c nbDecision=1191500 #constraints=4617 1714.78/1715.50 c nbDecision=1192000 #constraints=4617 1715.48/1716.24 c nbDecision=1192500 #constraints=4617 1716.18/1716.97 c nbDecision=1193000 #constraints=4617 1716.98/1717.71 c nbDecision=1193500 #constraints=4617 1717.68/1718.44 c nbDecision=1194000 #constraints=4617 1718.38/1719.17 c nbDecision=1194500 #constraints=4617 1719.18/1719.90 c nbDecision=1195000 #constraints=4617 1719.88/1720.63 c nbDecision=1195500 #constraints=4617 1720.58/1721.36 c nbDecision=1196000 #constraints=4617 1721.28/1722.09 c nbDecision=1196500 #constraints=4617 1722.08/1722.81 c nbDecision=1197000 #constraints=4617 1722.79/1723.52 c nbDecision=1197500 #constraints=4617 1723.49/1724.23 c nbDecision=1198000 #constraints=4617 1724.19/1724.95 c nbDecision=1198500 #constraints=4617 1724.89/1725.67 c nbDecision=1199000 #constraints=4617 1725.59/1726.38 c nbDecision=1199500 #constraints=4617 1726.29/1727.09 c nbDecision=1200000 #constraints=4617 1727.09/1727.80 c nbDecision=1200500 #constraints=4617 1727.79/1728.51 c nbDecision=1201000 #constraints=4617 1728.49/1729.22 c nbDecision=1201500 #constraints=4617 1729.18/1729.92 c nbDecision=1202000 #constraints=4617 1729.88/1730.63 c nbDecision=1202500 #constraints=4617 1730.59/1731.33 c nbDecision=1203000 #constraints=4617 1731.28/1732.04 c nbDecision=1203500 #constraints=4617 1731.98/1732.74 c nbDecision=1204000 #constraints=4617 1732.68/1733.45 c nbDecision=1204500 #constraints=4617 1733.38/1734.15 c nbDecision=1205000 #constraints=4617 1734.08/1734.86 c nbDecision=1205500 #constraints=4617 1734.78/1735.56 c nbDecision=1206000 #constraints=4617 1735.48/1736.26 c nbDecision=1206500 #constraints=4617 1736.19/1736.96 c nbDecision=1207000 #constraints=4617 1736.88/1737.66 c nbDecision=1207500 #constraints=4617 1737.58/1738.36 c nbDecision=1208000 #constraints=4617 1738.28/1739.05 c nbDecision=1208500 #constraints=4617 1738.98/1739.75 c nbDecision=1209000 #constraints=4617 1739.78/1740.53 c nbDecision=1209500 #constraints=4618 1740.48/1741.28 c nbDecision=1210000 #constraints=4618 1741.28/1742.02 c nbDecision=1210500 #constraints=4618 1741.98/1742.76 c nbDecision=1211000 #constraints=4618 1742.68/1743.50 c nbDecision=1211500 #constraints=4618 1743.48/1744.22 c nbDecision=1212000 #constraints=4618 1744.18/1744.96 c nbDecision=1212500 #constraints=4618 1744.88/1745.69 c nbDecision=1213000 #constraints=4618 1745.68/1746.42 c nbDecision=1213500 #constraints=4618 1746.38/1747.15 c nbDecision=1214000 #constraints=4618 1747.08/1747.88 c nbDecision=1214500 #constraints=4618 1747.88/1748.61 c nbDecision=1215000 #constraints=4618 1748.58/1749.34 c nbDecision=1215500 #constraints=4618 1749.28/1750.06 c nbDecision=1216000 #constraints=4618 1749.98/1750.79 c nbDecision=1216500 #constraints=4618 1750.78/1751.51 c nbDecision=1217000 #constraints=4618 1751.48/1752.23 c nbDecision=1217500 #constraints=4618 1752.18/1752.96 c nbDecision=1218000 #constraints=4618 1752.87/1753.68 c nbDecision=1218500 #constraints=4618 1753.68/1754.40 c nbDecision=1219000 #constraints=4618 1754.38/1755.13 c nbDecision=1219500 #constraints=4618 1755.07/1755.85 c nbDecision=1220000 #constraints=4618 1755.77/1756.57 c nbDecision=1220500 #constraints=4618 1756.47/1757.29 c nbDecision=1221000 #constraints=4618 1757.27/1758.01 c nbDecision=1221500 #constraints=4618 1757.97/1758.72 c nbDecision=1222000 #constraints=4618 1758.67/1759.44 c nbDecision=1222500 #constraints=4618 1759.37/1760.15 c nbDecision=1223000 #constraints=4618 1760.07/1760.86 c nbDecision=1223500 #constraints=4618 1760.77/1761.57 c nbDecision=1224000 #constraints=4618 1761.48/1762.28 c nbDecision=1224500 #constraints=4618 1762.17/1762.98 c nbDecision=1225000 #constraints=4618 1762.87/1763.68 c nbDecision=1225500 #constraints=4618 1763.57/1764.38 c nbDecision=1226000 #constraints=4618 1764.27/1765.08 c nbDecision=1226500 #constraints=4618 1764.97/1765.77 c nbDecision=1227000 #constraints=4618 1765.67/1766.47 c nbDecision=1227500 #constraints=4618 1766.37/1767.16 c nbDecision=1228000 #constraints=4618 1767.07/1767.86 c nbDecision=1228500 #constraints=4618 1767.77/1768.55 c nbDecision=1229000 #constraints=4618 1768.47/1769.23 c nbDecision=1229500 #constraints=4618 1769.17/1769.92 c nbDecision=1230000 #constraints=4618 1769.87/1770.68 c nbDecision=1230500 #constraints=4619 1770.67/1771.42 c nbDecision=1231000 #constraints=4619 1771.37/1772.16 c nbDecision=1231500 #constraints=4619 1772.17/1772.91 c nbDecision=1232000 #constraints=4619 1772.87/1773.66 c nbDecision=1232500 #constraints=4619 1773.67/1774.40 c nbDecision=1233000 #constraints=4619 1774.37/1775.15 c nbDecision=1233500 #constraints=4619 1775.06/1775.89 c nbDecision=1234000 #constraints=4619 1775.86/1776.63 c nbDecision=1234500 #constraints=4619 1776.56/1777.37 c nbDecision=1235000 #constraints=4619 1777.36/1778.11 c nbDecision=1235500 #constraints=4619 1778.06/1778.85 c nbDecision=1236000 #constraints=4619 1778.76/1779.59 c nbDecision=1236500 #constraints=4619 1779.56/1780.32 c nbDecision=1237000 #constraints=4619 1780.26/1781.06 c nbDecision=1237500 #constraints=4619 1780.96/1781.79 c nbDecision=1238000 #constraints=4619 1781.76/1782.52 c nbDecision=1238500 #constraints=4619 1782.46/1783.25 c nbDecision=1239000 #constraints=4619 1783.16/1783.97 c nbDecision=1239500 #constraints=4619 1783.86/1784.69 c nbDecision=1240000 #constraints=4619 1784.66/1785.41 c nbDecision=1240500 #constraints=4619 1785.36/1786.13 c nbDecision=1241000 #constraints=4619 1786.06/1786.85 c nbDecision=1241500 #constraints=4619 1786.76/1787.56 c nbDecision=1242000 #constraints=4619 1787.46/1788.28 c nbDecision=1242500 #constraints=4619 1788.16/1788.98 c nbDecision=1243000 #constraints=4619 1788.86/1789.69 c nbDecision=1243500 #constraints=4619 1789.66/1790.40 c nbDecision=1244000 #constraints=4619 1790.36/1791.11 c nbDecision=1244500 #constraints=4619 1791.06/1791.82 c nbDecision=1245000 #constraints=4619 1791.76/1792.53 c nbDecision=1245500 #constraints=4619 1792.46/1793.24 c nbDecision=1246000 #constraints=4619 1793.16/1793.95 c nbDecision=1246500 #constraints=4619 1793.86/1794.66 c nbDecision=1247000 #constraints=4619 1794.56/1795.38 c nbDecision=1247500 #constraints=4619 1795.26/1796.08 c nbDecision=1248000 #constraints=4619 1795.96/1796.79 c nbDecision=1248500 #constraints=4619 1796.66/1797.49 c nbDecision=1249000 #constraints=4619 1797.46/1798.20 c nbDecision=1249500 #constraints=4619 1798.16/1798.90 c nbDecision=1250000 #constraints=4619 1798.86/1799.60 c nbDecision=1250500 #constraints=4619 1799.55/1800.30 c nbDecision=1251000 #constraints=4619 1800.06/1800.80 Received signal 15 1800.06/1800.80 1800.06/1800.80 s UNKNOWN 1800.06/1800.80 1800.06/1800.80 c user time= 1799.86 s 1800.06/1800.80 c system time= 0.215967 s 1800.06/1800.80 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-356907-1176847645 -o ROOT/results/node23/solver-356907-1176847645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356907-1176847645/instance-356907-1176847645.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.71 0.91 0.92 3/77 29648 /proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=1620 CPUtime=0 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132681646 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 405 175 126 317 0 84 0 [startup+0.0526379 s] /proc/loadavg: 0.71 0.91 0.92 3/77 29648 /proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=3560 CPUtime=0.05 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 539 0 0 0 5 0 0 0 18 0 1 0 132681646 3645440 424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 890 426 126 317 0 569 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3560 [startup+0.101648 s] /proc/loadavg: 0.71 0.91 0.92 3/77 29648 /proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=3440 CPUtime=0.1 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 791 0 0 0 10 0 0 0 18 0 1 0 132681646 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 860 546 127 317 0 539 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3440 [startup+0.301686 s] /proc/loadavg: 0.71 0.91 0.92 3/77 29648 /proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=7164 CPUtime=0.29 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 1708 0 0 0 29 0 0 0 19 0 1 0 132681646 7335936 1463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 1791 1464 131 317 0 1470 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7164 [startup+0.701764 s] /proc/loadavg: 0.71 0.91 0.92 3/77 29648 /proc/meminfo: memFree=1502712/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=16140 CPUtime=0.69 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 3951 0 0 0 68 1 0 0 22 0 1 0 132681646 16527360 3706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 4035 3706 131 317 0 3714 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16140 [startup+1.50192 s] /proc/loadavg: 0.71 0.91 0.92 2/78 29649 /proc/meminfo: memFree=1474864/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=31996 CPUtime=1.49 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7932 0 0 0 146 3 0 0 25 0 1 0 132681646 32763904 7687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 7999 7687 137 317 0 7678 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31996 [startup+3.10123 s] /proc/loadavg: 0.71 0.91 0.92 2/78 29649 /proc/meminfo: memFree=1472240/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=31996 CPUtime=3.09 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7935 0 0 0 306 3 0 0 25 0 1 0 132681646 32763904 7690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 7999 7690 138 317 0 7678 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31996 [startup+6.30185 s] /proc/loadavg: 0.73 0.91 0.92 2/78 29649 /proc/meminfo: memFree=1471984/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=31996 CPUtime=6.28 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7937 0 0 0 625 3 0 0 25 0 1 0 132681646 32763904 7692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 7999 7692 138 317 0 7678 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31996 [startup+12.7021 s] /proc/loadavg: 0.76 0.91 0.92 2/78 29649 /proc/meminfo: memFree=1471920/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=31996 CPUtime=12.68 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7940 0 0 0 1265 3 0 0 25 0 1 0 132681646 32763904 7695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 7999 7695 138 317 0 7678 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31996 [startup+25.5016 s] /proc/loadavg: 0.81 0.91 0.92 2/78 29649 /proc/meminfo: memFree=1471984/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=31996 CPUtime=25.48 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7945 0 0 0 2544 4 0 0 25 0 1 0 132681646 32763904 7700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 7999 7700 138 317 0 7678 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31996 [startup+51.1015 s] /proc/loadavg: 0.87 0.92 0.92 2/78 29649 /proc/meminfo: memFree=1472048/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32124 CPUtime=51.07 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 7957 0 0 0 5103 4 0 0 25 0 1 0 132681646 32894976 7712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8031 7712 138 317 0 7710 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32124 [startup+102.305 s] /proc/loadavg: 0.94 0.93 0.92 2/78 29649 /proc/meminfo: memFree=1471856/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=102.26 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 10221 5 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32504 [startup+162.301 s] /proc/loadavg: 0.98 0.94 0.92 2/78 29649 /proc/meminfo: memFree=1471856/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=162.23 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 16218 5 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32504 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.92 2/78 29649 /proc/meminfo: memFree=1471792/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=222.21 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 22215 6 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 32504 [startup+282.301 s] /proc/loadavg: 0.99 0.95 0.92 2/78 29649 /proc/meminfo: memFree=1471792/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=282.18 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 28212 6 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 32504 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=342.16 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 34209 7 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 32504 [startup+402.302 s] /proc/loadavg: 0.99 0.96 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=402.14 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 40206 8 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 32504 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=462.11 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 46203 8 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 32504 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=522.09 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 52200 9 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 32504 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=582.06 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 58197 9 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 32504 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=642.04 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 64194 10 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 32504 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=821.97 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 82185 12 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 32504 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=881.93 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 88181 12 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 32504 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=941.91 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 94178 13 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 32504 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1001.89 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 100175 14 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 32504 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1061.86 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 106172 14 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 32504 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1121.84 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 112169 15 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 32504 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471728/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1181.81 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 118166 15 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 32504 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1241.78 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 124162 16 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 32504 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1301.77 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 130160 17 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 32504 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1361.73 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 136156 17 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 32504 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1421.72 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 142154 18 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 32504 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1481.68 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 148150 18 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 32504 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1541.66 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8016 0 0 0 154147 19 0 0 25 0 1 0 132681646 33284096 7771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7771 139 317 0 7805 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 32504 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1601.63 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8020 0 0 0 160144 19 0 0 25 0 1 0 132681646 33284096 7775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7775 139 317 0 7805 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 32504 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471664/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1661.61 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8023 0 0 0 166141 20 0 0 25 0 1 0 132681646 33284096 7778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7778 139 317 0 7805 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 32504 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1721.58 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8027 0 0 0 172138 20 0 0 25 0 1 0 132681646 33284096 7782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7782 139 317 0 7805 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 32504 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1781.56 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8031 0 0 0 178135 21 0 0 25 0 1 0 132681646 33284096 7786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7786 139 317 0 7805 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 32504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29649 /proc/meminfo: memFree=1471600/2055920 swapFree=4169224/4192956 [pid=29648] ppid=29646 vsize=32504 CPUtime=1800.06 /proc/29648/stat : 29648 (oree) R 29646 29648 29591 0 -1 4194304 8031 0 0 0 179985 21 0 0 25 0 1 0 132681646 33284096 7786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/29648/statm: 8126 7786 139 317 0 7805 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 32504 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.09 CPU user time (s): 1799.87 CPU system time (s): 0.221966 CPU usage (%): 99.9592 Max. virtual memory (cumulated for all children) (KiB): 32504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.221966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8047 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= 3712 runsolver used 2.01669 second user time and 4.65729 second system time The end
Begin job on node23 on Tue Apr 17 22:07:25 UTC 2007 IDJOB= 356907 IDBENCH= 1620 IDSOLVER= 172 FILE ID= node23/356907-1176847645 PBS_JOBID= 4590217 Free space on /tmp= 66524 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb COMMAND LINE= oree /tmp/evaluation/356907-1176847645/instance-356907-1176847645.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-356907-1176847645 -o ROOT/results/node23/solver-356907-1176847645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356907-1176847645/instance-356907-1176847645.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8e9a545df4abbe3f7a2b003048b42200 RANDOM SEED= 908516024 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1503120 kB Buffers: 48908 kB Cached: 412176 kB SwapCached: 2676 kB Active: 290036 kB Inactive: 193884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1503120 kB SwapTotal: 4192956 kB SwapFree: 4169224 kB Dirty: 4800 kB Writeback: 0 kB Mapped: 30340 kB Slab: 54440 kB Committed_AS: 2392820 kB PageTables: 1796 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= 66524 MiB End job on node23 on Tue Apr 17 22:37:28 UTC 2007