Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb |
MD5SUM | f1062f0a31768badc14bf5e03feddb4c |
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.88 c ...done 0.79/0.88 c #vars=103872 #constraints=4561 hasObjective=yes 1.29/1.36 c res. mode=mod 1.29/1.36 c VSIDS like heuristics 1.29/1.36 c complete search running 1.99/2.10 c restart after 401 decisions 2.19/2.25 c nbDecision=500 #constraints=4561 2.69/2.70 c restart after 801 decisions 2.99/3.01 c nbDecision=1000 #constraints=4561 3.69/3.75 c nbDecision=1500 #constraints=4561 3.89/3.90 c restart after 1601 decisions 4.49/4.51 c nbDecision=2000 #constraints=4561 5.19/5.26 c nbDecision=2500 #constraints=4561 5.99/6.01 c nbDecision=3000 #constraints=4561 6.29/6.31 c restart after 3201 decisions 6.69/6.77 c nbDecision=3500 #constraints=4561 7.49/7.52 c nbDecision=4000 #constraints=4561 8.19/8.27 c nbDecision=4500 #constraints=4561 8.99/9.03 c nbDecision=5000 #constraints=4561 9.69/9.77 c nbDecision=5500 #constraints=4561 10.49/10.52 c nbDecision=6000 #constraints=4561 11.09/11.12 c restart after 6401 decisions 11.19/11.28 c nbDecision=6500 #constraints=4561 11.99/12.03 c nbDecision=7000 #constraints=4561 12.69/12.78 c nbDecision=7500 #constraints=4561 13.49/13.52 c nbDecision=8000 #constraints=4561 14.19/14.27 c nbDecision=8500 #constraints=4561 14.99/15.01 c nbDecision=9000 #constraints=4561 15.68/15.76 c nbDecision=9500 #constraints=4561 16.39/16.50 c nbDecision=10000 #constraints=4561 17.18/17.24 c nbDecision=10500 #constraints=4561 17.88/17.98 c nbDecision=11000 #constraints=4561 18.69/18.72 c nbDecision=11500 #constraints=4561 19.38/19.46 c nbDecision=12000 #constraints=4561 20.08/20.19 c nbDecision=12500 #constraints=4561 20.58/20.64 c restart after 12801 decisions 20.89/20.95 c nbDecision=13000 #constraints=4561 21.68/21.70 c nbDecision=13500 #constraints=4561 22.38/22.46 c nbDecision=14000 #constraints=4561 23.18/23.21 c nbDecision=14500 #constraints=4561 23.88/23.96 c nbDecision=15000 #constraints=4561 24.68/24.71 c nbDecision=15500 #constraints=4561 25.38/25.45 c nbDecision=16000 #constraints=4561 26.18/26.20 c nbDecision=16500 #constraints=4561 26.88/26.95 c nbDecision=17000 #constraints=4561 27.58/27.70 c nbDecision=17500 #constraints=4561 28.38/28.44 c nbDecision=18000 #constraints=4561 29.08/29.18 c nbDecision=18500 #constraints=4561 29.88/29.92 c nbDecision=19000 #constraints=4561 30.58/30.66 c nbDecision=19500 #constraints=4561 31.38/31.40 c nbDecision=20000 #constraints=4561 32.08/32.13 c nbDecision=20500 #constraints=4561 32.78/32.86 c nbDecision=21000 #constraints=4561 33.48/33.59 c nbDecision=21500 #constraints=4561 34.28/34.32 c nbDecision=22000 #constraints=4561 34.98/35.03 c nbDecision=22500 #constraints=4561 35.68/35.75 c nbDecision=23000 #constraints=4561 36.38/36.48 c nbDecision=23500 #constraints=4561 37.18/37.20 c nbDecision=24000 #constraints=4561 37.88/37.93 c nbDecision=24500 #constraints=4561 38.58/38.64 c nbDecision=25000 #constraints=4561 39.28/39.36 c nbDecision=25500 #constraints=4561 39.48/39.51 c restart after 25601 decisions 40.08/40.12 c nbDecision=26000 #constraints=4561 40.78/40.87 c nbDecision=26500 #constraints=4561 41.58/41.61 c nbDecision=27000 #constraints=4561 42.28/42.36 c nbDecision=27500 #constraints=4561 43.08/43.11 c nbDecision=28000 #constraints=4561 43.77/43.85 c nbDecision=28500 #constraints=4561 44.58/44.60 c nbDecision=29000 #constraints=4561 45.27/45.34 c nbDecision=29500 #constraints=4561 45.97/46.09 c nbDecision=30000 #constraints=4561 46.77/46.84 c nbDecision=30500 #constraints=4561 47.47/47.57 c nbDecision=31000 #constraints=4561 48.28/48.32 c nbDecision=31500 #constraints=4561 48.97/49.06 c nbDecision=32000 #constraints=4561 49.77/49.80 c nbDecision=32500 #constraints=4561 50.48/50.53 c nbDecision=33000 #constraints=4561 51.17/51.27 c nbDecision=33500 #constraints=4561 51.87/51.99 c nbDecision=34000 #constraints=4561 52.68/52.72 c nbDecision=34500 #constraints=4561 53.37/53.44 c nbDecision=35000 #constraints=4561 54.07/54.16 c nbDecision=35500 #constraints=4561 54.77/54.88 c nbDecision=36000 #constraints=4561 55.47/55.60 c nbDecision=36500 #constraints=4561 56.27/56.31 c nbDecision=37000 #constraints=4561 56.97/57.04 c nbDecision=37500 #constraints=4561 57.67/57.76 c nbDecision=38000 #constraints=4561 58.37/58.47 c nbDecision=38500 #constraints=4561 59.07/59.19 c nbDecision=39000 #constraints=4561 59.87/59.91 c nbDecision=39500 #constraints=4561 60.57/60.61 c nbDecision=40000 #constraints=4561 61.27/61.33 c nbDecision=40500 #constraints=4561 61.97/62.05 c nbDecision=41000 #constraints=4561 62.67/62.77 c nbDecision=41500 #constraints=4561 63.37/63.48 c nbDecision=42000 #constraints=4561 64.07/64.20 c nbDecision=42500 #constraints=4561 64.87/64.91 c nbDecision=43000 #constraints=4561 65.57/65.63 c nbDecision=43500 #constraints=4561 66.27/66.34 c nbDecision=44000 #constraints=4561 66.97/67.05 c nbDecision=44500 #constraints=4561 67.67/67.76 c nbDecision=45000 #constraints=4561 68.37/68.47 c nbDecision=45500 #constraints=4561 69.07/69.18 c nbDecision=46000 #constraints=4561 69.77/69.89 c nbDecision=46500 #constraints=4561 70.47/70.59 c nbDecision=47000 #constraints=4561 71.17/71.29 c nbDecision=47500 #constraints=4561 71.87/71.99 c nbDecision=48000 #constraints=4561 72.57/72.68 c nbDecision=48500 #constraints=4561 73.27/73.37 c nbDecision=49000 #constraints=4561 73.97/74.07 c nbDecision=49500 #constraints=4561 74.67/74.76 c nbDecision=50000 #constraints=4561 75.37/75.45 c nbDecision=50500 #constraints=4561 76.17/76.24 c nbDecision=51000 #constraints=4562 76.47/76.53 c restart after 51201 decisions 76.87/76.99 c nbDecision=51500 #constraints=4562 77.66/77.73 c nbDecision=52000 #constraints=4562 78.36/78.48 c nbDecision=52500 #constraints=4562 79.17/79.23 c nbDecision=53000 #constraints=4562 79.86/79.97 c nbDecision=53500 #constraints=4562 80.66/80.71 c nbDecision=54000 #constraints=4562 81.37/81.45 c nbDecision=54500 #constraints=4562 82.16/82.20 c nbDecision=55000 #constraints=4562 82.86/82.93 c nbDecision=55500 #constraints=4562 83.57/83.68 c nbDecision=56000 #constraints=4562 84.36/84.43 c nbDecision=56500 #constraints=4562 85.06/85.17 c nbDecision=57000 #constraints=4562 85.86/85.91 c nbDecision=57500 #constraints=4562 86.56/86.65 c nbDecision=58000 #constraints=4562 87.26/87.39 c nbDecision=58500 #constraints=4562 88.06/88.11 c nbDecision=59000 #constraints=4562 88.76/88.85 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.76 c nbDecision=61500 #constraints=4562 92.36/92.48 c nbDecision=62000 #constraints=4562 93.16/93.21 c nbDecision=62500 #constraints=4562 93.86/93.92 c nbDecision=63000 #constraints=4562 94.56/94.64 c nbDecision=63500 #constraints=4562 95.26/95.36 c nbDecision=64000 #constraints=4562 95.96/96.08 c nbDecision=64500 #constraints=4562 96.66/96.80 c nbDecision=65000 #constraints=4562 97.46/97.52 c nbDecision=65500 #constraints=4562 98.16/98.24 c nbDecision=66000 #constraints=4562 98.86/98.95 c nbDecision=66500 #constraints=4562 99.56/99.66 c nbDecision=67000 #constraints=4562 100.26/100.37 c nbDecision=67500 #constraints=4562 100.96/101.08 c nbDecision=68000 #constraints=4562 101.66/101.79 c nbDecision=68500 #constraints=4562 102.46/102.51 c nbDecision=69000 #constraints=4562 103.16/103.23 c nbDecision=69500 #constraints=4562 103.86/103.94 c nbDecision=70000 #constraints=4562 104.56/104.65 c nbDecision=70500 #constraints=4562 105.26/105.36 c nbDecision=71000 #constraints=4562 105.97/106.08 c nbDecision=71500 #constraints=4562 106.67/106.78 c nbDecision=72000 #constraints=4562 107.37/107.49 c nbDecision=72500 #constraints=4562 108.07/108.19 c nbDecision=73000 #constraints=4562 108.77/108.89 c nbDecision=73500 #constraints=4562 109.47/109.59 c nbDecision=74000 #constraints=4562 110.17/110.29 c nbDecision=74500 #constraints=4562 110.87/110.99 c nbDecision=75000 #constraints=4562 111.57/111.67 c nbDecision=75500 #constraints=4562 112.26/112.36 c nbDecision=76000 #constraints=4562 112.97/113.08 c nbDecision=76500 #constraints=4563 113.76/113.81 c nbDecision=77000 #constraints=4563 114.46/114.53 c nbDecision=77500 #constraints=4563 115.16/115.25 c nbDecision=78000 #constraints=4563 115.86/115.96 c nbDecision=78500 #constraints=4563 116.57/116.68 c nbDecision=79000 #constraints=4563 117.36/117.40 c nbDecision=79500 #constraints=4563 118.06/118.12 c nbDecision=80000 #constraints=4563 118.77/118.84 c nbDecision=80500 #constraints=4563 119.46/119.55 c nbDecision=81000 #constraints=4563 120.16/120.27 c nbDecision=81500 #constraints=4563 120.87/120.98 c nbDecision=82000 #constraints=4563 121.56/121.69 c nbDecision=82500 #constraints=4563 122.36/122.40 c nbDecision=83000 #constraints=4563 123.07/123.12 c nbDecision=83500 #constraints=4563 123.76/123.83 c nbDecision=84000 #constraints=4563 124.46/124.54 c nbDecision=84500 #constraints=4563 125.16/125.25 c nbDecision=85000 #constraints=4563 125.86/125.97 c nbDecision=85500 #constraints=4563 126.56/126.68 c nbDecision=86000 #constraints=4563 127.26/127.38 c nbDecision=86500 #constraints=4563 127.96/128.09 c nbDecision=87000 #constraints=4563 128.66/128.79 c nbDecision=87500 #constraints=4563 129.36/129.49 c nbDecision=88000 #constraints=4563 130.06/130.19 c nbDecision=88500 #constraints=4563 130.76/130.89 c nbDecision=89000 #constraints=4563 131.46/131.58 c nbDecision=89500 #constraints=4563 132.16/132.27 c nbDecision=90000 #constraints=4563 132.86/132.96 c nbDecision=90500 #constraints=4563 133.56/133.65 c nbDecision=91000 #constraints=4563 134.26/134.33 c nbDecision=91500 #constraints=4563 134.96/135.07 c nbDecision=92000 #constraints=4564 135.66/135.79 c nbDecision=92500 #constraints=4564 136.46/136.50 c nbDecision=93000 #constraints=4564 137.16/137.22 c nbDecision=93500 #constraints=4564 137.86/137.94 c nbDecision=94000 #constraints=4564 138.56/138.64 c nbDecision=94500 #constraints=4564 139.26/139.36 c nbDecision=95000 #constraints=4564 139.96/140.07 c nbDecision=95500 #constraints=4564 140.66/140.79 c nbDecision=96000 #constraints=4564 141.46/141.50 c nbDecision=96500 #constraints=4564 142.16/142.22 c nbDecision=97000 #constraints=4564 142.86/142.94 c nbDecision=97500 #constraints=4564 143.56/143.64 c nbDecision=98000 #constraints=4564 144.25/144.36 c nbDecision=98500 #constraints=4564 144.95/145.07 c nbDecision=99000 #constraints=4564 145.65/145.78 c nbDecision=99500 #constraints=4564 146.35/146.49 c nbDecision=100000 #constraints=4564 147.15/147.20 c nbDecision=100500 #constraints=4564 147.85/147.91 c nbDecision=101000 #constraints=4564 148.55/148.61 c nbDecision=101500 #constraints=4564 149.25/149.30 c nbDecision=102000 #constraints=4564 149.75/149.86 c restart after 102401 decisions 149.95/150.04 c nbDecision=102500 #constraints=4564 150.66/150.79 c nbDecision=103000 #constraints=4564 151.45/151.54 c nbDecision=103500 #constraints=4564 152.15/152.29 c nbDecision=104000 #constraints=4564 152.95/153.03 c nbDecision=104500 #constraints=4564 153.65/153.76 c nbDecision=105000 #constraints=4564 154.45/154.50 c nbDecision=105500 #constraints=4564 155.15/155.24 c nbDecision=106000 #constraints=4564 155.85/155.98 c nbDecision=106500 #constraints=4564 156.65/156.72 c nbDecision=107000 #constraints=4564 157.35/157.46 c nbDecision=107500 #constraints=4564 158.05/158.19 c nbDecision=108000 #constraints=4564 158.85/158.91 c nbDecision=108500 #constraints=4564 159.55/159.64 c nbDecision=109000 #constraints=4564 160.25/160.38 c nbDecision=109500 #constraints=4564 161.05/161.11 c nbDecision=110000 #constraints=4564 161.75/161.84 c nbDecision=110500 #constraints=4564 162.45/162.57 c nbDecision=111000 #constraints=4564 163.25/163.30 c nbDecision=111500 #constraints=4564 163.95/164.03 c nbDecision=112000 #constraints=4564 164.65/164.76 c nbDecision=112500 #constraints=4564 165.35/165.48 c nbDecision=113000 #constraints=4564 166.15/166.21 c nbDecision=113500 #constraints=4564 166.85/166.93 c nbDecision=114000 #constraints=4564 167.55/167.65 c nbDecision=114500 #constraints=4564 168.25/168.37 c nbDecision=115000 #constraints=4564 168.95/169.09 c nbDecision=115500 #constraints=4564 169.75/169.82 c nbDecision=116000 #constraints=4564 170.45/170.54 c nbDecision=116500 #constraints=4564 171.15/171.26 c nbDecision=117000 #constraints=4564 171.85/171.97 c nbDecision=117500 #constraints=4564 172.55/172.69 c nbDecision=118000 #constraints=4564 173.35/173.40 c nbDecision=118500 #constraints=4564 174.04/174.10 c nbDecision=119000 #constraints=4564 174.75/174.82 c nbDecision=119500 #constraints=4564 175.44/175.52 c nbDecision=120000 #constraints=4564 176.14/176.23 c nbDecision=120500 #constraints=4564 176.84/176.94 c nbDecision=121000 #constraints=4564 177.54/177.64 c nbDecision=121500 #constraints=4564 178.24/178.35 c nbDecision=122000 #constraints=4564 178.94/179.05 c nbDecision=122500 #constraints=4564 179.64/179.75 c nbDecision=123000 #constraints=4564 180.35/180.45 c nbDecision=123500 #constraints=4564 181.04/181.14 c nbDecision=124000 #constraints=4564 181.74/181.83 c nbDecision=124500 #constraints=4564 182.45/182.53 c nbDecision=125000 #constraints=4564 183.14/183.23 c nbDecision=125500 #constraints=4564 183.84/183.92 c nbDecision=126000 #constraints=4564 184.54/184.62 c nbDecision=126500 #constraints=4564 185.24/185.31 c nbDecision=127000 #constraints=4564 185.94/186.01 c nbDecision=127500 #constraints=4564 186.64/186.76 c nbDecision=128000 #constraints=4565 187.34/187.49 c nbDecision=128500 #constraints=4565 188.14/188.22 c nbDecision=129000 #constraints=4565 188.84/188.95 c nbDecision=129500 #constraints=4565 189.54/189.67 c nbDecision=130000 #constraints=4565 190.25/190.39 c nbDecision=130500 #constraints=4565 191.04/191.12 c nbDecision=131000 #constraints=4565 191.74/191.83 c nbDecision=131500 #constraints=4565 192.44/192.54 c nbDecision=132000 #constraints=4565 193.14/193.25 c nbDecision=132500 #constraints=4565 193.84/193.95 c nbDecision=133000 #constraints=4565 194.54/194.66 c nbDecision=133500 #constraints=4565 195.24/195.37 c nbDecision=134000 #constraints=4565 195.94/196.07 c nbDecision=134500 #constraints=4565 196.64/196.78 c nbDecision=135000 #constraints=4565 197.34/197.49 c nbDecision=135500 #constraints=4565 198.14/198.20 c nbDecision=136000 #constraints=4565 198.84/198.90 c nbDecision=136500 #constraints=4565 199.54/199.60 c nbDecision=137000 #constraints=4565 200.24/200.30 c nbDecision=137500 #constraints=4565 200.94/201.01 c nbDecision=138000 #constraints=4565 201.64/201.71 c nbDecision=138500 #constraints=4565 202.34/202.41 c nbDecision=139000 #constraints=4565 203.04/203.12 c nbDecision=139500 #constraints=4565 203.74/203.82 c nbDecision=140000 #constraints=4565 204.44/204.52 c nbDecision=140500 #constraints=4565 205.14/205.21 c nbDecision=141000 #constraints=4565 205.84/205.90 c nbDecision=141500 #constraints=4565 206.44/206.59 c nbDecision=142000 #constraints=4565 207.14/207.29 c nbDecision=142500 #constraints=4565 207.94/208.02 c nbDecision=143000 #constraints=4566 208.64/208.75 c nbDecision=143500 #constraints=4566 209.34/209.46 c nbDecision=144000 #constraints=4566 210.04/210.18 c nbDecision=144500 #constraints=4566 210.83/210.90 c nbDecision=145000 #constraints=4566 211.53/211.61 c nbDecision=145500 #constraints=4566 212.24/212.33 c nbDecision=146000 #constraints=4566 212.93/213.05 c nbDecision=146500 #constraints=4566 213.63/213.76 c nbDecision=147000 #constraints=4566 214.34/214.46 c nbDecision=147500 #constraints=4566 215.03/215.17 c nbDecision=148000 #constraints=4566 215.73/215.88 c nbDecision=148500 #constraints=4566 216.43/216.58 c nbDecision=149000 #constraints=4566 217.13/217.29 c nbDecision=149500 #constraints=4566 217.83/217.99 c nbDecision=150000 #constraints=4566 218.53/218.69 c nbDecision=150500 #constraints=4566 219.23/219.39 c nbDecision=151000 #constraints=4566 219.94/220.08 c nbDecision=151500 #constraints=4566 220.63/220.77 c nbDecision=152000 #constraints=4566 221.33/221.47 c nbDecision=152500 #constraints=4566 222.04/222.16 c nbDecision=153000 #constraints=4566 222.73/222.86 c nbDecision=153500 #constraints=4566 223.43/223.56 c nbDecision=154000 #constraints=4566 224.13/224.26 c nbDecision=154500 #constraints=4566 224.83/224.96 c nbDecision=155000 #constraints=4566 225.53/225.69 c nbDecision=155500 #constraints=4567 226.33/226.41 c nbDecision=156000 #constraints=4567 227.03/227.13 c nbDecision=156500 #constraints=4567 227.73/227.84 c nbDecision=157000 #constraints=4567 228.43/228.56 c nbDecision=157500 #constraints=4567 229.13/229.27 c nbDecision=158000 #constraints=4567 229.83/229.99 c nbDecision=158500 #constraints=4567 230.53/230.69 c nbDecision=159000 #constraints=4567 231.33/231.40 c nbDecision=159500 #constraints=4567 232.03/232.10 c nbDecision=160000 #constraints=4567 232.73/232.81 c nbDecision=160500 #constraints=4567 233.43/233.51 c nbDecision=161000 #constraints=4567 234.13/234.21 c nbDecision=161500 #constraints=4567 234.83/234.91 c nbDecision=162000 #constraints=4567 235.53/235.61 c nbDecision=162500 #constraints=4567 236.23/236.30 c nbDecision=163000 #constraints=4567 236.93/237.00 c nbDecision=163500 #constraints=4567 237.53/237.69 c nbDecision=164000 #constraints=4567 238.22/238.38 c nbDecision=164500 #constraints=4567 238.92/239.07 c nbDecision=165000 #constraints=4567 239.63/239.77 c nbDecision=165500 #constraints=4567 240.32/240.46 c nbDecision=166000 #constraints=4567 241.02/241.14 c nbDecision=166500 #constraints=4567 241.72/241.89 c nbDecision=167000 #constraints=4568 242.52/242.62 c nbDecision=167500 #constraints=4568 243.22/243.35 c nbDecision=168000 #constraints=4568 243.92/244.08 c nbDecision=168500 #constraints=4568 244.72/244.80 c nbDecision=169000 #constraints=4568 245.42/245.53 c nbDecision=169500 #constraints=4568 246.12/246.26 c nbDecision=170000 #constraints=4568 246.82/246.98 c nbDecision=170500 #constraints=4568 247.62/247.71 c nbDecision=171000 #constraints=4568 248.32/248.43 c nbDecision=171500 #constraints=4568 249.02/249.14 c nbDecision=172000 #constraints=4568 249.72/249.85 c nbDecision=172500 #constraints=4568 250.42/250.56 c nbDecision=173000 #constraints=4568 251.12/251.28 c nbDecision=173500 #constraints=4568 251.82/251.98 c nbDecision=174000 #constraints=4568 252.52/252.69 c nbDecision=174500 #constraints=4568 253.22/253.39 c nbDecision=175000 #constraints=4568 253.92/254.10 c nbDecision=175500 #constraints=4568 254.72/254.80 c nbDecision=176000 #constraints=4568 255.42/255.50 c nbDecision=176500 #constraints=4568 256.12/256.20 c nbDecision=177000 #constraints=4568 256.72/256.90 c nbDecision=177500 #constraints=4568 257.42/257.58 c nbDecision=178000 #constraints=4568 258.12/258.27 c nbDecision=178500 #constraints=4568 258.82/258.96 c nbDecision=179000 #constraints=4568 259.52/259.65 c nbDecision=179500 #constraints=4568 260.22/260.33 c nbDecision=180000 #constraints=4568 260.92/261.03 c nbDecision=180500 #constraints=4568 261.62/261.72 c nbDecision=181000 #constraints=4568 262.32/262.41 c nbDecision=181500 #constraints=4568 263.02/263.15 c nbDecision=182000 #constraints=4569 263.72/263.87 c nbDecision=182500 #constraints=4569 264.52/264.60 c nbDecision=183000 #constraints=4569 265.22/265.32 c nbDecision=183500 #constraints=4569 265.92/266.05 c nbDecision=184000 #constraints=4569 266.62/266.76 c nbDecision=184500 #constraints=4569 267.32/267.48 c nbDecision=185000 #constraints=4569 268.12/268.20 c nbDecision=185500 #constraints=4569 268.82/268.91 c nbDecision=186000 #constraints=4569 269.52/269.63 c nbDecision=186500 #constraints=4569 270.22/270.34 c nbDecision=187000 #constraints=4569 270.92/271.04 c nbDecision=187500 #constraints=4569 271.62/271.74 c nbDecision=188000 #constraints=4569 272.32/272.44 c nbDecision=188500 #constraints=4569 273.02/273.14 c nbDecision=189000 #constraints=4569 273.72/273.84 c nbDecision=189500 #constraints=4569 274.41/274.54 c nbDecision=190000 #constraints=4569 275.11/275.24 c nbDecision=190500 #constraints=4569 275.81/275.93 c nbDecision=191000 #constraints=4569 276.51/276.62 c nbDecision=191500 #constraints=4569 277.21/277.32 c nbDecision=192000 #constraints=4569 277.91/278.00 c nbDecision=192500 #constraints=4569 278.51/278.70 c nbDecision=193000 #constraints=4569 279.22/279.38 c nbDecision=193500 #constraints=4569 279.91/280.07 c nbDecision=194000 #constraints=4569 280.71/280.80 c nbDecision=194500 #constraints=4570 281.42/281.53 c nbDecision=195000 #constraints=4570 282.11/282.26 c nbDecision=195500 #constraints=4570 282.81/282.97 c nbDecision=196000 #constraints=4570 283.61/283.70 c nbDecision=196500 #constraints=4570 284.31/284.42 c nbDecision=197000 #constraints=4570 285.01/285.15 c nbDecision=197500 #constraints=4570 285.71/285.87 c nbDecision=198000 #constraints=4570 286.41/286.59 c nbDecision=198500 #constraints=4570 287.21/287.31 c nbDecision=199000 #constraints=4570 287.91/288.03 c nbDecision=199500 #constraints=4570 288.61/288.74 c nbDecision=200000 #constraints=4570 289.31/289.45 c nbDecision=200500 #constraints=4570 290.01/290.16 c nbDecision=201000 #constraints=4570 290.71/290.86 c nbDecision=201500 #constraints=4570 291.41/291.57 c nbDecision=202000 #constraints=4570 292.11/292.28 c nbDecision=202500 #constraints=4570 292.81/292.98 c nbDecision=203000 #constraints=4570 293.51/293.68 c nbDecision=203500 #constraints=4570 294.21/294.37 c nbDecision=204000 #constraints=4570 294.91/295.06 c nbDecision=204500 #constraints=4570 295.31/295.48 c restart after 204801 decisions 295.71/295.80 c nbDecision=205000 #constraints=4570 296.41/296.54 c nbDecision=205500 #constraints=4570 297.11/297.29 c nbDecision=206000 #constraints=4570 297.91/298.03 c nbDecision=206500 #constraints=4570 298.61/298.78 c nbDecision=207000 #constraints=4570 299.41/299.52 c nbDecision=207500 #constraints=4570 300.11/300.26 c nbDecision=208000 #constraints=4570 300.91/301.01 c nbDecision=208500 #constraints=4570 301.61/301.75 c nbDecision=209000 #constraints=4570 302.31/302.50 c nbDecision=209500 #constraints=4570 303.10/303.24 c nbDecision=210000 #constraints=4570 303.80/303.99 c nbDecision=210500 #constraints=4570 304.61/304.73 c nbDecision=211000 #constraints=4570 305.30/305.48 c nbDecision=211500 #constraints=4570 306.10/306.22 c nbDecision=212000 #constraints=4570 306.81/306.96 c nbDecision=212500 #constraints=4570 307.60/307.70 c nbDecision=213000 #constraints=4570 308.30/308.44 c nbDecision=213500 #constraints=4570 309.01/309.17 c nbDecision=214000 #constraints=4570 309.80/309.90 c nbDecision=214500 #constraints=4570 310.50/310.63 c nbDecision=215000 #constraints=4570 311.21/311.36 c nbDecision=215500 #constraints=4570 311.90/312.07 c nbDecision=216000 #constraints=4570 312.60/312.78 c nbDecision=216500 #constraints=4570 313.31/313.49 c nbDecision=217000 #constraints=4570 314.10/314.20 c nbDecision=217500 #constraints=4570 314.80/314.92 c nbDecision=218000 #constraints=4570 315.51/315.63 c nbDecision=218500 #constraints=4570 316.20/316.34 c nbDecision=219000 #constraints=4570 316.90/317.06 c nbDecision=219500 #constraints=4570 317.60/317.77 c nbDecision=220000 #constraints=4570 318.30/318.48 c nbDecision=220500 #constraints=4570 319.00/319.19 c nbDecision=221000 #constraints=4570 319.80/319.90 c nbDecision=221500 #constraints=4570 320.50/320.61 c nbDecision=222000 #constraints=4570 321.20/321.32 c nbDecision=222500 #constraints=4570 321.90/322.04 c nbDecision=223000 #constraints=4570 322.60/322.75 c nbDecision=223500 #constraints=4570 323.30/323.46 c nbDecision=224000 #constraints=4570 324.00/324.17 c nbDecision=224500 #constraints=4570 324.70/324.88 c nbDecision=225000 #constraints=4570 325.40/325.58 c nbDecision=225500 #constraints=4570 326.09/326.27 c nbDecision=226000 #constraints=4570 326.80/326.98 c nbDecision=226500 #constraints=4570 327.49/327.67 c nbDecision=227000 #constraints=4570 328.19/328.37 c nbDecision=227500 #constraints=4570 328.89/329.07 c nbDecision=228000 #constraints=4570 329.59/329.76 c nbDecision=228500 #constraints=4570 330.29/330.45 c nbDecision=229000 #constraints=4570 331.00/331.14 c nbDecision=229500 #constraints=4570 331.69/331.86 c nbDecision=230000 #constraints=4571 332.39/332.58 c nbDecision=230500 #constraints=4571 333.20/333.31 c nbDecision=231000 #constraints=4571 333.89/334.03 c nbDecision=231500 #constraints=4571 334.59/334.74 c nbDecision=232000 #constraints=4571 335.30/335.47 c nbDecision=232500 #constraints=4571 335.99/336.18 c nbDecision=233000 #constraints=4571 336.79/336.90 c nbDecision=233500 #constraints=4571 337.50/337.62 c nbDecision=234000 #constraints=4571 338.19/338.32 c nbDecision=234500 #constraints=4571 338.89/339.03 c nbDecision=235000 #constraints=4571 339.59/339.74 c nbDecision=235500 #constraints=4571 340.29/340.45 c nbDecision=236000 #constraints=4571 340.99/341.17 c nbDecision=236500 #constraints=4571 341.69/341.88 c nbDecision=237000 #constraints=4571 342.49/342.60 c nbDecision=237500 #constraints=4571 343.19/343.31 c nbDecision=238000 #constraints=4571 343.89/344.03 c nbDecision=238500 #constraints=4571 344.59/344.73 c nbDecision=239000 #constraints=4571 345.29/345.44 c nbDecision=239500 #constraints=4571 345.99/346.15 c nbDecision=240000 #constraints=4571 346.69/346.86 c nbDecision=240500 #constraints=4571 347.39/347.56 c nbDecision=241000 #constraints=4571 348.09/348.26 c nbDecision=241500 #constraints=4571 348.79/348.96 c nbDecision=242000 #constraints=4571 349.49/349.66 c nbDecision=242500 #constraints=4571 350.19/350.36 c nbDecision=243000 #constraints=4571 350.89/351.06 c nbDecision=243500 #constraints=4571 351.59/351.74 c nbDecision=244000 #constraints=4571 352.29/352.43 c nbDecision=244500 #constraints=4571 352.99/353.11 c nbDecision=245000 #constraints=4571 353.68/353.85 c nbDecision=245500 #constraints=4572 354.38/354.58 c nbDecision=246000 #constraints=4572 355.19/355.30 c nbDecision=246500 #constraints=4572 355.88/356.01 c nbDecision=247000 #constraints=4572 356.58/356.73 c nbDecision=247500 #constraints=4572 357.29/357.45 c nbDecision=248000 #constraints=4572 357.98/358.16 c nbDecision=248500 #constraints=4572 358.68/358.86 c nbDecision=249000 #constraints=4572 359.38/359.58 c nbDecision=249500 #constraints=4572 360.08/360.29 c nbDecision=250000 #constraints=4572 360.78/360.99 c nbDecision=250500 #constraints=4572 361.58/361.71 c nbDecision=251000 #constraints=4572 362.28/362.42 c nbDecision=251500 #constraints=4572 362.98/363.14 c nbDecision=252000 #constraints=4572 363.68/363.85 c nbDecision=252500 #constraints=4572 364.38/364.57 c nbDecision=253000 #constraints=4572 365.08/365.28 c nbDecision=253500 #constraints=4572 365.78/365.98 c nbDecision=254000 #constraints=4572 366.48/366.69 c nbDecision=254500 #constraints=4572 367.28/367.40 c nbDecision=255000 #constraints=4572 367.98/368.11 c nbDecision=255500 #constraints=4572 368.68/368.82 c nbDecision=256000 #constraints=4572 369.38/369.52 c nbDecision=256500 #constraints=4572 370.08/370.21 c nbDecision=257000 #constraints=4572 370.78/370.91 c nbDecision=257500 #constraints=4572 371.48/371.60 c nbDecision=258000 #constraints=4572 372.08/372.29 c nbDecision=258500 #constraints=4572 372.78/372.98 c nbDecision=259000 #constraints=4572 373.48/373.66 c nbDecision=259500 #constraints=4572 374.18/374.35 c nbDecision=260000 #constraints=4572 374.88/375.09 c nbDecision=260500 #constraints=4573 375.68/375.81 c nbDecision=261000 #constraints=4573 376.38/376.53 c nbDecision=261500 #constraints=4573 377.08/377.25 c nbDecision=262000 #constraints=4573 377.78/377.97 c nbDecision=262500 #constraints=4573 378.48/378.68 c nbDecision=263000 #constraints=4573 379.18/379.39 c nbDecision=263500 #constraints=4573 379.88/380.09 c nbDecision=264000 #constraints=4573 380.68/380.80 c nbDecision=264500 #constraints=4573 381.38/381.51 c nbDecision=265000 #constraints=4573 382.07/382.22 c nbDecision=265500 #constraints=4573 382.77/382.93 c nbDecision=266000 #constraints=4573 383.47/383.63 c nbDecision=266500 #constraints=4573 384.17/384.34 c nbDecision=267000 #constraints=4573 384.88/385.05 c nbDecision=267500 #constraints=4573 385.57/385.76 c nbDecision=268000 #constraints=4573 386.27/386.48 c nbDecision=268500 #constraints=4573 386.98/387.18 c nbDecision=269000 #constraints=4573 387.67/387.89 c nbDecision=269500 #constraints=4573 388.37/388.60 c nbDecision=270000 #constraints=4573 389.07/389.30 c nbDecision=270500 #constraints=4573 389.77/389.99 c nbDecision=271000 #constraints=4573 390.48/390.69 c nbDecision=271500 #constraints=4573 391.18/391.38 c nbDecision=272000 #constraints=4573 391.88/392.06 c nbDecision=272500 #constraints=4573 392.58/392.75 c nbDecision=273000 #constraints=4573 393.28/393.43 c nbDecision=273500 #constraints=4573 393.98/394.15 c nbDecision=274000 #constraints=4574 394.68/394.88 c nbDecision=274500 #constraints=4574 395.48/395.60 c nbDecision=275000 #constraints=4574 396.18/396.32 c nbDecision=275500 #constraints=4574 396.88/397.04 c nbDecision=276000 #constraints=4574 397.58/397.77 c nbDecision=276500 #constraints=4574 398.28/398.48 c nbDecision=277000 #constraints=4574 398.98/399.20 c nbDecision=277500 #constraints=4574 399.78/399.91 c nbDecision=278000 #constraints=4574 400.48/400.62 c nbDecision=278500 #constraints=4574 401.18/401.33 c nbDecision=279000 #constraints=4574 401.87/402.04 c nbDecision=279500 #constraints=4574 402.57/402.76 c nbDecision=280000 #constraints=4574 403.27/403.46 c nbDecision=280500 #constraints=4574 403.97/404.17 c nbDecision=281000 #constraints=4574 404.68/404.88 c nbDecision=281500 #constraints=4574 405.37/405.59 c nbDecision=282000 #constraints=4574 406.17/406.30 c nbDecision=282500 #constraints=4574 406.88/407.01 c nbDecision=283000 #constraints=4574 407.57/407.72 c nbDecision=283500 #constraints=4574 408.27/408.43 c nbDecision=284000 #constraints=4574 408.98/409.14 c nbDecision=284500 #constraints=4574 409.67/409.84 c nbDecision=285000 #constraints=4574 410.37/410.53 c nbDecision=285500 #constraints=4574 411.07/411.23 c nbDecision=286000 #constraints=4574 411.77/411.93 c nbDecision=286500 #constraints=4574 412.47/412.62 c nbDecision=287000 #constraints=4574 413.17/413.31 c nbDecision=287500 #constraints=4574 413.77/413.99 c nbDecision=288000 #constraints=4574 414.47/414.68 c nbDecision=288500 #constraints=4574 415.27/415.41 c nbDecision=289000 #constraints=4575 415.97/416.12 c nbDecision=289500 #constraints=4575 416.67/416.83 c nbDecision=290000 #constraints=4575 417.37/417.55 c nbDecision=290500 #constraints=4575 418.07/418.27 c nbDecision=291000 #constraints=4575 418.77/418.98 c nbDecision=291500 #constraints=4575 419.47/419.69 c nbDecision=292000 #constraints=4575 420.27/420.40 c nbDecision=292500 #constraints=4575 420.97/421.10 c nbDecision=293000 #constraints=4575 421.67/421.81 c nbDecision=293500 #constraints=4575 422.37/422.51 c nbDecision=294000 #constraints=4575 423.07/423.22 c nbDecision=294500 #constraints=4575 423.77/423.93 c nbDecision=295000 #constraints=4575 424.47/424.63 c nbDecision=295500 #constraints=4575 425.17/425.34 c nbDecision=296000 #constraints=4575 425.87/426.05 c nbDecision=296500 #constraints=4575 426.57/426.76 c nbDecision=297000 #constraints=4575 427.27/427.47 c nbDecision=297500 #constraints=4575 427.97/428.17 c nbDecision=298000 #constraints=4575 428.67/428.86 c nbDecision=298500 #constraints=4575 429.37/429.56 c nbDecision=299000 #constraints=4575 430.06/430.25 c nbDecision=299500 #constraints=4575 430.76/430.94 c nbDecision=300000 #constraints=4575 431.46/431.64 c nbDecision=300500 #constraints=4575 432.17/432.32 c nbDecision=301000 #constraints=4575 432.86/433.06 c nbDecision=301500 #constraints=4576 433.56/433.77 c nbDecision=302000 #constraints=4576 434.27/434.49 c nbDecision=302500 #constraints=4576 435.06/435.22 c nbDecision=303000 #constraints=4576 435.76/435.94 c nbDecision=303500 #constraints=4576 436.47/436.66 c nbDecision=304000 #constraints=4576 437.16/437.38 c nbDecision=304500 #constraints=4576 437.96/438.10 c nbDecision=305000 #constraints=4576 438.66/438.81 c nbDecision=305500 #constraints=4576 439.36/439.53 c nbDecision=306000 #constraints=4576 440.06/440.24 c nbDecision=306500 #constraints=4576 440.76/440.95 c nbDecision=307000 #constraints=4576 441.46/441.66 c nbDecision=307500 #constraints=4576 442.16/442.37 c nbDecision=308000 #constraints=4576 442.86/443.08 c nbDecision=308500 #constraints=4576 443.56/443.78 c nbDecision=309000 #constraints=4576 444.26/444.48 c nbDecision=309500 #constraints=4576 444.96/445.19 c nbDecision=310000 #constraints=4576 445.76/445.90 c nbDecision=310500 #constraints=4576 446.46/446.60 c nbDecision=311000 #constraints=4576 447.16/447.31 c nbDecision=311500 #constraints=4576 447.86/448.01 c nbDecision=312000 #constraints=4576 448.56/448.71 c nbDecision=312500 #constraints=4576 449.26/449.42 c nbDecision=313000 #constraints=4576 449.96/450.12 c nbDecision=313500 #constraints=4576 450.66/450.81 c nbDecision=314000 #constraints=4576 451.36/451.51 c nbDecision=314500 #constraints=4576 451.96/452.19 c nbDecision=315000 #constraints=4576 452.66/452.87 c nbDecision=315500 #constraints=4576 453.35/453.56 c nbDecision=316000 #constraints=4576 454.16/454.36 c nbDecision=316500 #constraints=4577 454.95/455.11 c nbDecision=317000 #constraints=4577 455.65/455.85 c nbDecision=317500 #constraints=4577 456.36/456.59 c nbDecision=318000 #constraints=4577 457.15/457.34 c nbDecision=318500 #constraints=4577 457.85/458.08 c nbDecision=319000 #constraints=4577 458.65/458.81 c nbDecision=319500 #constraints=4577 459.35/459.55 c nbDecision=320000 #constraints=4577 460.05/460.29 c nbDecision=320500 #constraints=4577 460.85/461.03 c nbDecision=321000 #constraints=4577 461.55/461.77 c nbDecision=321500 #constraints=4577 462.35/462.51 c nbDecision=322000 #constraints=4577 463.05/463.25 c nbDecision=322500 #constraints=4577 463.75/463.98 c nbDecision=323000 #constraints=4577 464.55/464.72 c nbDecision=323500 #constraints=4577 465.25/465.45 c nbDecision=324000 #constraints=4577 465.95/466.19 c nbDecision=324500 #constraints=4577 466.75/466.92 c nbDecision=325000 #constraints=4577 467.45/467.65 c nbDecision=325500 #constraints=4577 468.15/468.39 c nbDecision=326000 #constraints=4577 468.95/469.11 c nbDecision=326500 #constraints=4577 469.65/469.84 c nbDecision=327000 #constraints=4577 470.35/470.57 c nbDecision=327500 #constraints=4577 471.05/471.29 c nbDecision=328000 #constraints=4577 471.85/472.01 c nbDecision=328500 #constraints=4577 472.55/472.73 c nbDecision=329000 #constraints=4577 473.25/473.44 c nbDecision=329500 #constraints=4577 473.95/474.15 c nbDecision=330000 #constraints=4577 474.65/474.85 c nbDecision=330500 #constraints=4577 475.35/475.57 c nbDecision=331000 #constraints=4577 476.05/476.27 c nbDecision=331500 #constraints=4577 476.75/476.97 c nbDecision=332000 #constraints=4577 477.44/477.68 c nbDecision=332500 #constraints=4577 478.14/478.38 c nbDecision=333000 #constraints=4577 478.84/479.08 c nbDecision=333500 #constraints=4577 479.54/479.79 c nbDecision=334000 #constraints=4577 480.24/480.49 c nbDecision=334500 #constraints=4577 480.94/481.19 c nbDecision=335000 #constraints=4577 481.65/481.90 c nbDecision=335500 #constraints=4577 482.34/482.59 c nbDecision=336000 #constraints=4577 483.04/483.29 c nbDecision=336500 #constraints=4577 483.75/483.99 c nbDecision=337000 #constraints=4577 484.44/484.68 c nbDecision=337500 #constraints=4577 485.14/485.38 c nbDecision=338000 #constraints=4577 485.84/486.08 c nbDecision=338500 #constraints=4577 486.54/486.77 c nbDecision=339000 #constraints=4577 487.24/487.47 c nbDecision=339500 #constraints=4577 488.04/488.24 c nbDecision=340000 #constraints=4578 488.74/488.98 c nbDecision=340500 #constraints=4578 489.54/489.73 c nbDecision=341000 #constraints=4578 490.24/490.48 c nbDecision=341500 #constraints=4578 491.04/491.22 c nbDecision=342000 #constraints=4578 491.74/491.96 c nbDecision=342500 #constraints=4578 492.55/492.70 c nbDecision=343000 #constraints=4578 493.24/493.44 c nbDecision=343500 #constraints=4578 493.94/494.18 c nbDecision=344000 #constraints=4578 494.74/494.91 c nbDecision=344500 #constraints=4578 495.44/495.65 c nbDecision=345000 #constraints=4578 496.14/496.38 c nbDecision=345500 #constraints=4578 496.94/497.11 c nbDecision=346000 #constraints=4578 497.64/497.84 c nbDecision=346500 #constraints=4578 498.34/498.57 c nbDecision=347000 #constraints=4578 499.04/499.30 c nbDecision=347500 #constraints=4578 499.84/500.03 c nbDecision=348000 #constraints=4578 500.54/500.75 c nbDecision=348500 #constraints=4578 501.24/501.48 c nbDecision=349000 #constraints=4578 502.04/502.21 c nbDecision=349500 #constraints=4578 502.74/502.94 c nbDecision=350000 #constraints=4578 503.44/503.66 c nbDecision=350500 #constraints=4578 504.14/504.39 c nbDecision=351000 #constraints=4578 504.94/505.12 c nbDecision=351500 #constraints=4578 505.64/505.84 c nbDecision=352000 #constraints=4578 506.34/506.56 c nbDecision=352500 #constraints=4578 507.04/507.28 c nbDecision=353000 #constraints=4578 507.84/508.00 c nbDecision=353500 #constraints=4578 508.54/508.72 c nbDecision=354000 #constraints=4578 509.24/509.43 c nbDecision=354500 #constraints=4578 509.94/510.14 c nbDecision=355000 #constraints=4578 510.64/510.84 c nbDecision=355500 #constraints=4578 511.34/511.55 c nbDecision=356000 #constraints=4578 512.04/512.25 c nbDecision=356500 #constraints=4578 512.74/512.96 c nbDecision=357000 #constraints=4578 513.44/513.66 c nbDecision=357500 #constraints=4578 514.13/514.36 c nbDecision=358000 #constraints=4578 514.83/515.06 c nbDecision=358500 #constraints=4578 515.53/515.75 c nbDecision=359000 #constraints=4578 516.23/516.44 c nbDecision=359500 #constraints=4578 516.93/517.13 c nbDecision=360000 #constraints=4578 517.63/517.83 c nbDecision=360500 #constraints=4578 518.33/518.52 c nbDecision=361000 #constraints=4578 519.04/519.21 c nbDecision=361500 #constraints=4578 519.73/519.90 c nbDecision=362000 #constraints=4578 520.33/520.58 c nbDecision=362500 #constraints=4578 521.14/521.31 c nbDecision=363000 #constraints=4579 521.83/522.06 c nbDecision=363500 #constraints=4579 522.63/522.81 c nbDecision=364000 #constraints=4579 523.34/523.56 c nbDecision=364500 #constraints=4579 524.13/524.31 c nbDecision=365000 #constraints=4579 524.83/525.05 c nbDecision=365500 #constraints=4579 525.53/525.80 c nbDecision=366000 #constraints=4579 526.33/526.54 c nbDecision=366500 #constraints=4579 527.03/527.29 c nbDecision=367000 #constraints=4579 527.83/528.03 c nbDecision=367500 #constraints=4579 528.53/528.78 c nbDecision=368000 #constraints=4579 529.33/529.52 c nbDecision=368500 #constraints=4579 530.03/530.26 c nbDecision=369000 #constraints=4579 530.73/531.00 c nbDecision=369500 #constraints=4579 531.53/531.73 c nbDecision=370000 #constraints=4579 532.23/532.46 c nbDecision=370500 #constraints=4579 532.93/533.19 c nbDecision=371000 #constraints=4579 533.73/533.91 c nbDecision=371500 #constraints=4579 534.43/534.64 c nbDecision=372000 #constraints=4579 535.13/535.36 c nbDecision=372500 #constraints=4579 535.83/536.08 c nbDecision=373000 #constraints=4579 536.53/536.80 c nbDecision=373500 #constraints=4579 537.33/537.52 c nbDecision=374000 #constraints=4579 538.03/538.24 c nbDecision=374500 #constraints=4579 538.73/538.96 c nbDecision=375000 #constraints=4579 539.43/539.67 c nbDecision=375500 #constraints=4579 540.12/540.39 c nbDecision=376000 #constraints=4579 540.83/541.10 c nbDecision=376500 #constraints=4579 541.62/541.80 c nbDecision=377000 #constraints=4579 542.32/542.51 c nbDecision=377500 #constraints=4579 543.02/543.22 c nbDecision=378000 #constraints=4579 543.72/543.92 c nbDecision=378500 #constraints=4579 544.42/544.63 c nbDecision=379000 #constraints=4579 545.12/545.33 c nbDecision=379500 #constraints=4579 545.82/546.05 c nbDecision=380000 #constraints=4579 546.53/546.76 c nbDecision=380500 #constraints=4579 547.22/547.47 c nbDecision=381000 #constraints=4579 547.92/548.18 c nbDecision=381500 #constraints=4579 548.63/548.88 c nbDecision=382000 #constraints=4579 549.32/549.58 c nbDecision=382500 #constraints=4579 550.02/550.28 c nbDecision=383000 #constraints=4579 550.72/550.98 c nbDecision=383500 #constraints=4579 551.42/551.67 c nbDecision=384000 #constraints=4579 552.12/552.37 c nbDecision=384500 #constraints=4579 552.82/553.06 c nbDecision=385000 #constraints=4579 553.52/553.74 c nbDecision=385500 #constraints=4579 554.22/554.42 c nbDecision=386000 #constraints=4579 554.92/555.16 c nbDecision=386500 #constraints=4580 555.62/555.89 c nbDecision=387000 #constraints=4580 556.42/556.62 c nbDecision=387500 #constraints=4580 557.12/557.35 c nbDecision=388000 #constraints=4580 557.82/558.08 c nbDecision=388500 #constraints=4580 558.62/558.81 c nbDecision=389000 #constraints=4580 559.32/559.53 c nbDecision=389500 #constraints=4580 560.02/560.26 c nbDecision=390000 #constraints=4580 560.72/560.98 c nbDecision=390500 #constraints=4580 561.52/561.71 c nbDecision=391000 #constraints=4580 562.22/562.44 c nbDecision=391500 #constraints=4580 562.92/563.16 c nbDecision=392000 #constraints=4580 563.62/563.89 c nbDecision=392500 #constraints=4580 564.42/564.61 c nbDecision=393000 #constraints=4580 565.12/565.33 c nbDecision=393500 #constraints=4580 565.82/566.04 c nbDecision=394000 #constraints=4580 566.52/566.76 c nbDecision=394500 #constraints=4580 567.22/567.46 c nbDecision=395000 #constraints=4580 567.92/568.18 c nbDecision=395500 #constraints=4580 568.62/568.89 c nbDecision=396000 #constraints=4580 569.42/569.60 c nbDecision=396500 #constraints=4580 570.12/570.31 c nbDecision=397000 #constraints=4580 570.82/571.02 c nbDecision=397500 #constraints=4580 571.52/571.73 c nbDecision=398000 #constraints=4580 572.22/572.43 c nbDecision=398500 #constraints=4580 572.92/573.14 c nbDecision=399000 #constraints=4580 573.61/573.83 c nbDecision=399500 #constraints=4580 574.31/574.53 c nbDecision=400000 #constraints=4580 575.02/575.21 c nbDecision=400500 #constraints=4580 575.71/575.90 c nbDecision=401000 #constraints=4580 576.31/576.59 c nbDecision=401500 #constraints=4580 577.01/577.28 c nbDecision=402000 #constraints=4580 577.71/577.97 c nbDecision=402500 #constraints=4580 578.42/578.65 c nbDecision=403000 #constraints=4580 579.11/579.34 c nbDecision=403500 #constraints=4580 579.81/580.03 c nbDecision=404000 #constraints=4580 580.52/580.76 c nbDecision=404500 #constraints=4581 581.31/581.50 c nbDecision=405000 #constraints=4581 582.01/582.24 c nbDecision=405500 #constraints=4581 582.72/582.97 c nbDecision=406000 #constraints=4581 583.51/583.70 c nbDecision=406500 #constraints=4581 584.21/584.44 c nbDecision=407000 #constraints=4581 584.91/585.17 c nbDecision=407500 #constraints=4581 585.61/585.90 c nbDecision=408000 #constraints=4581 586.41/586.63 c nbDecision=408500 #constraints=4581 587.11/587.36 c nbDecision=409000 #constraints=4581 587.81/588.08 c nbDecision=409500 #constraints=4581 588.01/588.23 c restart after 409601 decisions 588.61/588.85 c nbDecision=410000 #constraints=4581 589.41/589.61 c nbDecision=410500 #constraints=4581 590.11/590.35 c nbDecision=411000 #constraints=4581 590.91/591.11 c nbDecision=411500 #constraints=4581 591.61/591.86 c nbDecision=412000 #constraints=4581 592.41/592.60 c nbDecision=412500 #constraints=4581 593.11/593.34 c nbDecision=413000 #constraints=4581 593.81/594.08 c nbDecision=413500 #constraints=4581 594.61/594.83 c nbDecision=414000 #constraints=4581 595.31/595.56 c nbDecision=414500 #constraints=4581 596.11/596.30 c nbDecision=415000 #constraints=4581 596.81/597.03 c nbDecision=415500 #constraints=4581 597.50/597.77 c nbDecision=416000 #constraints=4581 598.30/598.50 c nbDecision=416500 #constraints=4581 599.00/599.23 c nbDecision=417000 #constraints=4581 599.70/599.97 c nbDecision=417500 #constraints=4581 600.50/600.70 c nbDecision=418000 #constraints=4581 601.20/601.43 c nbDecision=418500 #constraints=4581 601.90/602.17 c nbDecision=419000 #constraints=4581 602.70/602.90 c nbDecision=419500 #constraints=4581 603.40/603.64 c nbDecision=420000 #constraints=4581 604.10/604.37 c nbDecision=420500 #constraints=4581 604.90/605.10 c nbDecision=421000 #constraints=4581 605.60/605.82 c nbDecision=421500 #constraints=4581 606.30/606.55 c nbDecision=422000 #constraints=4581 607.00/607.27 c nbDecision=422500 #constraints=4581 607.80/608.00 c nbDecision=423000 #constraints=4581 608.50/608.73 c nbDecision=423500 #constraints=4581 609.20/609.45 c nbDecision=424000 #constraints=4581 609.90/610.17 c nbDecision=424500 #constraints=4581 610.60/610.89 c nbDecision=425000 #constraints=4581 611.30/611.60 c nbDecision=425500 #constraints=4581 612.10/612.30 c nbDecision=426000 #constraints=4581 612.80/613.01 c nbDecision=426500 #constraints=4581 613.50/613.72 c nbDecision=427000 #constraints=4581 614.19/614.41 c nbDecision=427500 #constraints=4581 614.89/615.11 c nbDecision=428000 #constraints=4581 615.59/615.82 c nbDecision=428500 #constraints=4581 616.29/616.51 c nbDecision=429000 #constraints=4581 616.99/617.22 c nbDecision=429500 #constraints=4581 617.69/617.92 c nbDecision=430000 #constraints=4581 618.39/618.62 c nbDecision=430500 #constraints=4581 619.10/619.31 c nbDecision=431000 #constraints=4581 619.69/619.99 c nbDecision=431500 #constraints=4581 620.39/620.69 c nbDecision=432000 #constraints=4581 621.09/621.38 c nbDecision=432500 #constraints=4581 621.79/622.08 c nbDecision=433000 #constraints=4581 622.49/622.77 c nbDecision=433500 #constraints=4581 623.19/623.47 c nbDecision=434000 #constraints=4581 623.89/624.16 c nbDecision=434500 #constraints=4581 624.69/624.90 c nbDecision=435000 #constraints=4582 625.39/625.64 c nbDecision=435500 #constraints=4582 626.09/626.38 c nbDecision=436000 #constraints=4582 626.89/627.11 c nbDecision=436500 #constraints=4582 627.59/627.85 c nbDecision=437000 #constraints=4582 628.29/628.58 c nbDecision=437500 #constraints=4582 629.09/629.32 c nbDecision=438000 #constraints=4582 629.79/630.05 c nbDecision=438500 #constraints=4582 630.49/630.78 c nbDecision=439000 #constraints=4582 631.29/631.51 c nbDecision=439500 #constraints=4582 631.99/632.23 c nbDecision=440000 #constraints=4582 632.69/632.95 c nbDecision=440500 #constraints=4582 633.39/633.67 c nbDecision=441000 #constraints=4582 634.09/634.39 c nbDecision=441500 #constraints=4582 634.89/635.11 c nbDecision=442000 #constraints=4582 635.59/635.82 c nbDecision=442500 #constraints=4582 636.29/636.53 c nbDecision=443000 #constraints=4582 636.99/637.24 c nbDecision=443500 #constraints=4582 637.69/637.94 c nbDecision=444000 #constraints=4582 638.38/638.64 c nbDecision=444500 #constraints=4582 639.08/639.35 c nbDecision=445000 #constraints=4582 639.78/640.06 c nbDecision=445500 #constraints=4582 640.48/640.76 c nbDecision=446000 #constraints=4582 641.18/641.47 c nbDecision=446500 #constraints=4582 641.88/642.18 c nbDecision=447000 #constraints=4582 642.58/642.89 c nbDecision=447500 #constraints=4582 643.38/643.60 c nbDecision=448000 #constraints=4582 644.08/644.31 c nbDecision=448500 #constraints=4582 644.78/645.01 c nbDecision=449000 #constraints=4582 645.48/645.72 c nbDecision=449500 #constraints=4582 646.18/646.42 c nbDecision=450000 #constraints=4582 646.88/647.12 c nbDecision=450500 #constraints=4582 647.58/647.82 c nbDecision=451000 #constraints=4582 648.28/648.52 c nbDecision=451500 #constraints=4582 648.98/649.22 c nbDecision=452000 #constraints=4582 649.68/649.96 c nbDecision=452500 #constraints=4583 650.48/650.71 c nbDecision=453000 #constraints=4583 651.18/651.46 c nbDecision=453500 #constraints=4583 651.98/652.20 c nbDecision=454000 #constraints=4583 652.68/652.94 c nbDecision=454500 #constraints=4583 653.38/653.69 c nbDecision=455000 #constraints=4583 654.18/654.43 c nbDecision=455500 #constraints=4583 654.87/655.15 c nbDecision=456000 #constraints=4583 655.57/655.89 c nbDecision=456500 #constraints=4583 656.38/656.63 c nbDecision=457000 #constraints=4583 657.07/657.36 c nbDecision=457500 #constraints=4583 657.87/658.10 c nbDecision=458000 #constraints=4583 658.58/658.83 c nbDecision=458500 #constraints=4583 659.27/659.56 c nbDecision=459000 #constraints=4583 659.97/660.29 c nbDecision=459500 #constraints=4583 660.78/661.02 c nbDecision=460000 #constraints=4583 661.47/661.75 c nbDecision=460500 #constraints=4583 662.17/662.48 c nbDecision=461000 #constraints=4583 662.98/663.21 c nbDecision=461500 #constraints=4583 663.67/663.95 c nbDecision=462000 #constraints=4583 664.37/664.67 c nbDecision=462500 #constraints=4583 665.17/665.40 c nbDecision=463000 #constraints=4583 665.87/666.13 c nbDecision=463500 #constraints=4583 666.57/666.86 c nbDecision=464000 #constraints=4583 667.27/667.58 c nbDecision=464500 #constraints=4583 668.07/668.32 c nbDecision=465000 #constraints=4583 668.77/669.04 c nbDecision=465500 #constraints=4583 669.47/669.76 c nbDecision=466000 #constraints=4583 670.17/670.48 c nbDecision=466500 #constraints=4583 670.87/671.20 c nbDecision=467000 #constraints=4583 671.57/671.90 c nbDecision=467500 #constraints=4583 672.27/672.59 c nbDecision=468000 #constraints=4583 672.97/673.29 c nbDecision=468500 #constraints=4583 673.67/674.00 c nbDecision=469000 #constraints=4583 674.37/674.69 c nbDecision=469500 #constraints=4583 675.07/675.39 c nbDecision=470000 #constraints=4583 675.77/676.09 c nbDecision=470500 #constraints=4583 676.47/676.78 c nbDecision=471000 #constraints=4583 677.17/677.48 c nbDecision=471500 #constraints=4583 677.86/678.18 c nbDecision=472000 #constraints=4583 678.56/678.87 c nbDecision=472500 #constraints=4583 679.26/679.56 c nbDecision=473000 #constraints=4583 679.96/680.25 c nbDecision=473500 #constraints=4583 680.67/680.94 c nbDecision=474000 #constraints=4583 681.36/681.64 c nbDecision=474500 #constraints=4583 682.06/682.33 c nbDecision=475000 #constraints=4583 682.77/683.01 c nbDecision=475500 #constraints=4583 683.46/683.77 c nbDecision=476000 #constraints=4584 684.26/684.52 c nbDecision=476500 #constraints=4584 684.97/685.25 c nbDecision=477000 #constraints=4584 685.66/686.00 c nbDecision=477500 #constraints=4584 686.46/686.73 c nbDecision=478000 #constraints=4584 687.17/687.47 c nbDecision=478500 #constraints=4584 687.96/688.21 c nbDecision=479000 #constraints=4584 688.66/688.94 c nbDecision=479500 #constraints=4584 689.37/689.68 c nbDecision=480000 #constraints=4584 690.16/690.42 c nbDecision=480500 #constraints=4584 690.86/691.15 c nbDecision=481000 #constraints=4584 691.56/691.88 c nbDecision=481500 #constraints=4584 692.36/692.61 c nbDecision=482000 #constraints=4584 693.06/693.33 c nbDecision=482500 #constraints=4584 693.76/694.06 c nbDecision=483000 #constraints=4584 694.46/694.78 c nbDecision=483500 #constraints=4584 695.26/695.50 c nbDecision=484000 #constraints=4584 695.96/696.22 c nbDecision=484500 #constraints=4584 696.66/696.94 c nbDecision=485000 #constraints=4584 697.36/697.65 c nbDecision=485500 #constraints=4584 698.06/698.37 c nbDecision=486000 #constraints=4584 698.76/699.08 c nbDecision=486500 #constraints=4584 699.46/699.80 c nbDecision=487000 #constraints=4584 700.26/700.51 c nbDecision=487500 #constraints=4584 700.96/701.22 c nbDecision=488000 #constraints=4584 701.66/701.93 c nbDecision=488500 #constraints=4584 702.35/702.64 c nbDecision=489000 #constraints=4584 703.06/703.36 c nbDecision=489500 #constraints=4584 703.76/704.07 c nbDecision=490000 #constraints=4584 704.45/704.77 c nbDecision=490500 #constraints=4584 705.16/705.48 c nbDecision=491000 #constraints=4584 705.87/706.19 c nbDecision=491500 #constraints=4584 706.66/706.90 c nbDecision=492000 #constraints=4584 707.36/707.60 c nbDecision=492500 #constraints=4584 708.07/708.31 c nbDecision=493000 #constraints=4584 708.76/709.01 c nbDecision=493500 #constraints=4584 709.46/709.71 c nbDecision=494000 #constraints=4584 710.16/710.41 c nbDecision=494500 #constraints=4584 710.86/711.11 c nbDecision=495000 #constraints=4584 711.56/711.81 c nbDecision=495500 #constraints=4584 712.26/712.51 c nbDecision=496000 #constraints=4584 712.96/713.28 c nbDecision=496500 #constraints=4585 713.76/714.02 c nbDecision=497000 #constraints=4585 714.46/714.76 c nbDecision=497500 #constraints=4585 715.26/715.50 c nbDecision=498000 #constraints=4585 715.96/716.24 c nbDecision=498500 #constraints=4585 716.66/716.98 c nbDecision=499000 #constraints=4585 717.46/717.72 c nbDecision=499500 #constraints=4585 718.16/718.46 c nbDecision=500000 #constraints=4585 718.96/719.20 c nbDecision=500500 #constraints=4585 719.66/719.93 c nbDecision=501000 #constraints=4585 720.36/720.67 c nbDecision=501500 #constraints=4585 721.16/721.40 c nbDecision=502000 #constraints=4585 721.86/722.14 c nbDecision=502500 #constraints=4585 722.56/722.88 c nbDecision=503000 #constraints=4585 723.36/723.61 c nbDecision=503500 #constraints=4585 724.06/724.35 c nbDecision=504000 #constraints=4585 724.76/725.08 c nbDecision=504500 #constraints=4585 725.56/725.81 c nbDecision=505000 #constraints=4585 726.26/726.54 c nbDecision=505500 #constraints=4585 726.96/727.28 c nbDecision=506000 #constraints=4585 727.76/728.01 c nbDecision=506500 #constraints=4585 728.45/728.74 c nbDecision=507000 #constraints=4585 729.15/729.46 c nbDecision=507500 #constraints=4585 729.85/730.19 c nbDecision=508000 #constraints=4585 730.65/730.91 c nbDecision=508500 #constraints=4585 731.35/731.63 c nbDecision=509000 #constraints=4585 732.05/732.34 c nbDecision=509500 #constraints=4585 732.75/733.06 c nbDecision=510000 #constraints=4585 733.46/733.77 c nbDecision=510500 #constraints=4585 734.15/734.48 c nbDecision=511000 #constraints=4585 734.85/735.18 c nbDecision=511500 #constraints=4585 735.56/735.89 c nbDecision=512000 #constraints=4585 736.25/736.60 c nbDecision=512500 #constraints=4585 737.05/737.30 c nbDecision=513000 #constraints=4585 737.76/738.01 c nbDecision=513500 #constraints=4585 738.45/738.71 c nbDecision=514000 #constraints=4585 739.15/739.41 c nbDecision=514500 #constraints=4585 739.85/740.10 c nbDecision=515000 #constraints=4585 740.55/740.80 c nbDecision=515500 #constraints=4585 741.25/741.50 c nbDecision=516000 #constraints=4585 741.95/742.21 c nbDecision=516500 #constraints=4585 742.65/742.91 c nbDecision=517000 #constraints=4585 743.35/743.61 c nbDecision=517500 #constraints=4585 744.05/744.31 c nbDecision=518000 #constraints=4585 744.75/745.01 c nbDecision=518500 #constraints=4585 745.45/745.70 c nbDecision=519000 #constraints=4585 746.15/746.47 c nbDecision=519500 #constraints=4586 746.95/747.23 c nbDecision=520000 #constraints=4586 747.65/747.96 c nbDecision=520500 #constraints=4586 748.45/748.71 c nbDecision=521000 #constraints=4586 749.15/749.46 c nbDecision=521500 #constraints=4586 749.85/750.19 c nbDecision=522000 #constraints=4586 750.65/750.94 c nbDecision=522500 #constraints=4586 751.35/751.68 c nbDecision=523000 #constraints=4586 752.15/752.42 c nbDecision=523500 #constraints=4586 752.85/753.15 c nbDecision=524000 #constraints=4586 753.55/753.89 c nbDecision=524500 #constraints=4586 754.35/754.62 c nbDecision=525000 #constraints=4586 755.05/755.35 c nbDecision=525500 #constraints=4586 755.75/756.08 c nbDecision=526000 #constraints=4586 756.55/756.81 c nbDecision=526500 #constraints=4586 757.24/757.54 c nbDecision=527000 #constraints=4586 757.94/758.27 c nbDecision=527500 #constraints=4586 758.65/758.99 c nbDecision=528000 #constraints=4586 759.44/759.72 c nbDecision=528500 #constraints=4586 760.14/760.44 c nbDecision=529000 #constraints=4586 760.85/761.16 c nbDecision=529500 #constraints=4586 761.54/761.89 c nbDecision=530000 #constraints=4586 762.34/762.62 c nbDecision=530500 #constraints=4586 763.05/763.34 c nbDecision=531000 #constraints=4586 763.74/764.07 c nbDecision=531500 #constraints=4586 764.44/764.79 c nbDecision=532000 #constraints=4586 765.25/765.51 c nbDecision=532500 #constraints=4586 765.94/766.23 c nbDecision=533000 #constraints=4586 766.64/766.95 c nbDecision=533500 #constraints=4586 767.34/767.67 c nbDecision=534000 #constraints=4586 768.04/768.38 c nbDecision=534500 #constraints=4586 768.84/769.10 c nbDecision=535000 #constraints=4586 769.54/769.81 c nbDecision=535500 #constraints=4586 770.24/770.52 c nbDecision=536000 #constraints=4586 770.94/771.23 c nbDecision=536500 #constraints=4586 771.64/771.94 c nbDecision=537000 #constraints=4586 772.34/772.64 c nbDecision=537500 #constraints=4586 773.04/773.34 c nbDecision=538000 #constraints=4586 773.74/774.04 c nbDecision=538500 #constraints=4586 774.44/774.74 c nbDecision=539000 #constraints=4586 775.14/775.42 c nbDecision=539500 #constraints=4586 775.84/776.12 c nbDecision=540000 #constraints=4586 776.54/776.81 c nbDecision=540500 #constraints=4586 777.14/777.50 c nbDecision=541000 #constraints=4586 777.84/778.19 c nbDecision=541500 #constraints=4586 778.54/778.87 c nbDecision=542000 #constraints=4586 779.34/779.63 c nbDecision=542500 #constraints=4587 780.04/780.36 c nbDecision=543000 #constraints=4587 780.84/781.11 c nbDecision=543500 #constraints=4587 781.54/781.85 c nbDecision=544000 #constraints=4587 782.34/782.60 c nbDecision=544500 #constraints=4587 783.03/783.35 c nbDecision=545000 #constraints=4587 783.73/784.10 c nbDecision=545500 #constraints=4587 784.53/784.84 c nbDecision=546000 #constraints=4587 785.23/785.58 c nbDecision=546500 #constraints=4587 786.03/786.32 c nbDecision=547000 #constraints=4587 786.73/787.07 c nbDecision=547500 #constraints=4587 787.53/787.81 c nbDecision=548000 #constraints=4587 788.23/788.54 c nbDecision=548500 #constraints=4587 788.93/789.28 c nbDecision=549000 #constraints=4587 789.73/790.01 c nbDecision=549500 #constraints=4587 790.43/790.75 c nbDecision=550000 #constraints=4587 791.13/791.48 c nbDecision=550500 #constraints=4587 791.93/792.21 c nbDecision=551000 #constraints=4587 792.63/792.93 c nbDecision=551500 #constraints=4587 793.33/793.66 c nbDecision=552000 #constraints=4587 794.03/794.38 c nbDecision=552500 #constraints=4587 794.73/795.09 c nbDecision=553000 #constraints=4587 795.53/795.81 c nbDecision=553500 #constraints=4587 796.23/796.53 c nbDecision=554000 #constraints=4587 796.93/797.24 c nbDecision=554500 #constraints=4587 797.63/797.95 c nbDecision=555000 #constraints=4587 798.33/798.66 c nbDecision=555500 #constraints=4587 799.03/799.38 c nbDecision=556000 #constraints=4587 799.73/800.09 c nbDecision=556500 #constraints=4587 800.43/800.79 c nbDecision=557000 #constraints=4587 801.13/801.50 c nbDecision=557500 #constraints=4587 801.93/802.21 c nbDecision=558000 #constraints=4587 802.63/802.92 c nbDecision=558500 #constraints=4587 803.32/803.63 c nbDecision=559000 #constraints=4587 804.02/804.34 c nbDecision=559500 #constraints=4587 804.72/805.05 c nbDecision=560000 #constraints=4587 805.42/805.76 c nbDecision=560500 #constraints=4587 806.12/806.46 c nbDecision=561000 #constraints=4587 806.82/807.17 c nbDecision=561500 #constraints=4587 807.52/807.88 c nbDecision=562000 #constraints=4587 808.23/808.58 c nbDecision=562500 #constraints=4587 808.92/809.28 c nbDecision=563000 #constraints=4587 809.62/809.97 c nbDecision=563500 #constraints=4587 810.33/810.66 c nbDecision=564000 #constraints=4587 811.02/811.36 c nbDecision=564500 #constraints=4587 811.72/812.05 c nbDecision=565000 #constraints=4587 812.42/812.78 c nbDecision=565500 #constraints=4588 813.22/813.52 c nbDecision=566000 #constraints=4588 813.92/814.26 c nbDecision=566500 #constraints=4588 814.62/815.00 c nbDecision=567000 #constraints=4588 815.42/815.73 c nbDecision=567500 #constraints=4588 816.12/816.47 c nbDecision=568000 #constraints=4588 816.82/817.20 c nbDecision=568500 #constraints=4588 817.62/817.93 c nbDecision=569000 #constraints=4588 818.32/818.66 c nbDecision=569500 #constraints=4588 819.02/819.39 c nbDecision=570000 #constraints=4588 819.82/820.11 c nbDecision=570500 #constraints=4588 820.52/820.83 c nbDecision=571000 #constraints=4588 821.22/821.56 c nbDecision=571500 #constraints=4588 821.92/822.29 c nbDecision=572000 #constraints=4588 822.72/823.02 c nbDecision=572500 #constraints=4588 823.42/823.75 c nbDecision=573000 #constraints=4588 824.12/824.48 c nbDecision=573500 #constraints=4588 824.92/825.21 c nbDecision=574000 #constraints=4588 825.62/825.93 c nbDecision=574500 #constraints=4588 826.32/826.65 c nbDecision=575000 #constraints=4588 827.02/827.37 c nbDecision=575500 #constraints=4588 827.72/828.09 c nbDecision=576000 #constraints=4588 828.52/828.80 c nbDecision=576500 #constraints=4588 829.22/829.52 c nbDecision=577000 #constraints=4588 829.92/830.24 c nbDecision=577500 #constraints=4588 830.62/830.94 c nbDecision=578000 #constraints=4588 831.32/831.65 c nbDecision=578500 #constraints=4588 832.01/832.36 c nbDecision=579000 #constraints=4588 832.71/833.06 c nbDecision=579500 #constraints=4588 833.42/833.76 c nbDecision=580000 #constraints=4588 834.11/834.46 c nbDecision=580500 #constraints=4588 834.81/835.15 c nbDecision=581000 #constraints=4588 835.51/835.85 c nbDecision=581500 #constraints=4588 836.21/836.55 c nbDecision=582000 #constraints=4588 836.91/837.25 c nbDecision=582500 #constraints=4588 837.61/837.94 c nbDecision=583000 #constraints=4588 838.31/838.64 c nbDecision=583500 #constraints=4588 839.02/839.33 c nbDecision=584000 #constraints=4588 839.71/840.03 c nbDecision=584500 #constraints=4588 840.41/840.72 c nbDecision=585000 #constraints=4588 841.11/841.45 c nbDecision=585500 #constraints=4589 841.91/842.20 c nbDecision=586000 #constraints=4589 842.61/842.95 c nbDecision=586500 #constraints=4589 843.41/843.70 c nbDecision=587000 #constraints=4589 844.11/844.45 c nbDecision=587500 #constraints=4589 844.81/845.20 c nbDecision=588000 #constraints=4589 845.61/845.94 c nbDecision=588500 #constraints=4589 846.31/846.69 c nbDecision=589000 #constraints=4589 847.11/847.43 c nbDecision=589500 #constraints=4589 847.81/848.18 c nbDecision=590000 #constraints=4589 848.61/848.92 c nbDecision=590500 #constraints=4589 849.31/849.66 c nbDecision=591000 #constraints=4589 850.11/850.40 c nbDecision=591500 #constraints=4589 850.81/851.13 c nbDecision=592000 #constraints=4589 851.51/851.86 c nbDecision=592500 #constraints=4589 852.21/852.59 c nbDecision=593000 #constraints=4589 853.01/853.31 c nbDecision=593500 #constraints=4589 853.71/854.03 c nbDecision=594000 #constraints=4589 854.41/854.75 c nbDecision=594500 #constraints=4589 855.11/855.47 c nbDecision=595000 #constraints=4589 855.81/856.20 c nbDecision=595500 #constraints=4589 856.61/856.91 c nbDecision=596000 #constraints=4589 857.31/857.64 c nbDecision=596500 #constraints=4589 858.01/858.35 c nbDecision=597000 #constraints=4589 858.71/859.07 c nbDecision=597500 #constraints=4589 859.40/859.78 c nbDecision=598000 #constraints=4589 860.20/860.50 c nbDecision=598500 #constraints=4589 860.91/861.21 c nbDecision=599000 #constraints=4589 861.60/861.93 c nbDecision=599500 #constraints=4589 862.30/862.64 c nbDecision=600000 #constraints=4589 863.00/863.35 c nbDecision=600500 #constraints=4589 863.70/864.07 c nbDecision=601000 #constraints=4589 864.40/864.78 c nbDecision=601500 #constraints=4589 865.10/865.49 c nbDecision=602000 #constraints=4589 865.90/866.20 c nbDecision=602500 #constraints=4589 866.60/866.92 c nbDecision=603000 #constraints=4589 867.30/867.63 c nbDecision=603500 #constraints=4589 868.00/868.33 c nbDecision=604000 #constraints=4589 868.70/869.04 c nbDecision=604500 #constraints=4589 869.40/869.74 c nbDecision=605000 #constraints=4589 870.10/870.45 c nbDecision=605500 #constraints=4589 870.80/871.15 c nbDecision=606000 #constraints=4589 871.50/871.84 c nbDecision=606500 #constraints=4589 872.20/872.53 c nbDecision=607000 #constraints=4589 872.90/873.23 c nbDecision=607500 #constraints=4589 873.60/873.92 c nbDecision=608000 #constraints=4589 874.30/874.66 c nbDecision=608500 #constraints=4590 875.10/875.40 c nbDecision=609000 #constraints=4590 875.80/876.14 c nbDecision=609500 #constraints=4590 876.50/876.89 c nbDecision=610000 #constraints=4590 877.30/877.63 c nbDecision=610500 #constraints=4590 878.00/878.37 c nbDecision=611000 #constraints=4590 878.80/879.10 c nbDecision=611500 #constraints=4590 879.50/879.84 c nbDecision=612000 #constraints=4590 880.20/880.58 c nbDecision=612500 #constraints=4590 880.99/881.31 c nbDecision=613000 #constraints=4590 881.69/882.05 c nbDecision=613500 #constraints=4590 882.39/882.79 c nbDecision=614000 #constraints=4590 883.19/883.53 c nbDecision=614500 #constraints=4590 883.89/884.27 c nbDecision=615000 #constraints=4590 884.69/885.00 c nbDecision=615500 #constraints=4590 885.39/885.74 c nbDecision=616000 #constraints=4590 886.09/886.47 c nbDecision=616500 #constraints=4590 886.89/887.20 c nbDecision=617000 #constraints=4590 887.59/887.94 c nbDecision=617500 #constraints=4590 888.29/888.67 c nbDecision=618000 #constraints=4590 888.99/889.40 c nbDecision=618500 #constraints=4590 889.79/890.12 c nbDecision=619000 #constraints=4590 890.49/890.85 c nbDecision=619500 #constraints=4590 891.19/891.57 c nbDecision=620000 #constraints=4590 891.89/892.29 c nbDecision=620500 #constraints=4590 892.69/893.01 c nbDecision=621000 #constraints=4590 893.39/893.72 c nbDecision=621500 #constraints=4590 894.09/894.43 c nbDecision=622000 #constraints=4590 894.78/895.15 c nbDecision=622500 #constraints=4590 895.48/895.86 c nbDecision=623000 #constraints=4590 896.19/896.57 c nbDecision=623500 #constraints=4590 896.88/897.28 c nbDecision=624000 #constraints=4590 897.58/897.97 c nbDecision=624500 #constraints=4590 898.29/898.68 c nbDecision=625000 #constraints=4590 898.98/899.38 c nbDecision=625500 #constraints=4590 899.68/900.08 c nbDecision=626000 #constraints=4590 900.38/900.79 c nbDecision=626500 #constraints=4590 901.08/901.49 c nbDecision=627000 #constraints=4590 901.78/902.19 c nbDecision=627500 #constraints=4590 902.48/902.89 c nbDecision=628000 #constraints=4590 903.28/903.60 c nbDecision=628500 #constraints=4590 903.98/904.30 c nbDecision=629000 #constraints=4590 904.68/905.00 c nbDecision=629500 #constraints=4590 905.38/905.70 c nbDecision=630000 #constraints=4590 905.98/906.40 c nbDecision=630500 #constraints=4590 906.68/907.09 c nbDecision=631000 #constraints=4590 907.48/907.85 c nbDecision=631500 #constraints=4591 908.18/908.60 c nbDecision=632000 #constraints=4591 908.98/909.34 c nbDecision=632500 #constraints=4591 909.68/910.08 c nbDecision=633000 #constraints=4591 910.48/910.83 c nbDecision=633500 #constraints=4591 911.18/911.57 c nbDecision=634000 #constraints=4591 911.98/912.31 c nbDecision=634500 #constraints=4591 912.68/913.04 c nbDecision=635000 #constraints=4591 913.38/913.78 c nbDecision=635500 #constraints=4591 914.18/914.51 c nbDecision=636000 #constraints=4591 914.88/915.24 c nbDecision=636500 #constraints=4591 915.58/915.97 c nbDecision=637000 #constraints=4591 916.38/916.70 c nbDecision=637500 #constraints=4591 917.08/917.43 c nbDecision=638000 #constraints=4591 917.78/918.16 c nbDecision=638500 #constraints=4591 918.48/918.88 c nbDecision=639000 #constraints=4591 919.28/919.61 c nbDecision=639500 #constraints=4591 919.97/920.33 c nbDecision=640000 #constraints=4591 920.67/921.05 c nbDecision=640500 #constraints=4591 921.38/921.78 c nbDecision=641000 #constraints=4591 922.17/922.50 c nbDecision=641500 #constraints=4591 922.87/923.23 c nbDecision=642000 #constraints=4591 923.58/923.95 c nbDecision=642500 #constraints=4591 924.27/924.67 c nbDecision=643000 #constraints=4591 924.97/925.39 c nbDecision=643500 #constraints=4591 925.78/926.11 c nbDecision=644000 #constraints=4591 926.47/926.83 c nbDecision=644500 #constraints=4591 927.17/927.54 c nbDecision=645000 #constraints=4591 927.87/928.26 c nbDecision=645500 #constraints=4591 928.57/928.97 c nbDecision=646000 #constraints=4591 929.27/929.69 c nbDecision=646500 #constraints=4591 930.07/930.40 c nbDecision=647000 #constraints=4591 930.77/931.11 c nbDecision=647500 #constraints=4591 931.47/931.82 c nbDecision=648000 #constraints=4591 932.17/932.52 c nbDecision=648500 #constraints=4591 932.87/933.22 c nbDecision=649000 #constraints=4591 933.57/933.91 c nbDecision=649500 #constraints=4591 934.27/934.61 c nbDecision=650000 #constraints=4591 934.97/935.30 c nbDecision=650500 #constraints=4591 935.67/936.00 c nbDecision=651000 #constraints=4591 936.27/936.70 c nbDecision=651500 #constraints=4591 936.97/937.39 c nbDecision=652000 #constraints=4591 937.67/938.07 c nbDecision=652500 #constraints=4591 938.37/938.75 c nbDecision=653000 #constraints=4591 939.17/939.51 c nbDecision=653500 #constraints=4592 939.87/940.25 c nbDecision=654000 #constraints=4592 940.57/940.99 c nbDecision=654500 #constraints=4592 941.37/941.73 c nbDecision=655000 #constraints=4592 942.07/942.48 c nbDecision=655500 #constraints=4592 942.87/943.22 c nbDecision=656000 #constraints=4592 943.57/943.96 c nbDecision=656500 #constraints=4592 944.37/944.70 c nbDecision=657000 #constraints=4592 945.07/945.44 c nbDecision=657500 #constraints=4592 945.77/946.18 c nbDecision=658000 #constraints=4592 946.57/946.90 c nbDecision=658500 #constraints=4592 947.27/947.64 c nbDecision=659000 #constraints=4592 947.97/948.37 c nbDecision=659500 #constraints=4592 948.77/949.11 c nbDecision=660000 #constraints=4592 949.47/949.84 c nbDecision=660500 #constraints=4592 950.17/950.57 c nbDecision=661000 #constraints=4592 950.97/951.30 c nbDecision=661500 #constraints=4592 951.67/952.03 c nbDecision=662000 #constraints=4592 952.37/952.74 c nbDecision=662500 #constraints=4592 953.07/953.45 c nbDecision=663000 #constraints=4592 953.77/954.16 c nbDecision=663500 #constraints=4592 954.47/954.87 c nbDecision=664000 #constraints=4592 955.17/955.59 c nbDecision=664500 #constraints=4592 955.97/956.31 c nbDecision=665000 #constraints=4592 956.67/957.02 c nbDecision=665500 #constraints=4592 957.37/957.73 c nbDecision=666000 #constraints=4592 958.07/958.44 c nbDecision=666500 #constraints=4592 958.77/959.15 c nbDecision=667000 #constraints=4592 959.47/959.86 c nbDecision=667500 #constraints=4592 960.17/960.57 c nbDecision=668000 #constraints=4592 960.87/961.27 c nbDecision=668500 #constraints=4592 961.57/961.99 c nbDecision=669000 #constraints=4592 962.27/962.69 c nbDecision=669500 #constraints=4592 963.06/963.40 c nbDecision=670000 #constraints=4592 963.76/964.11 c nbDecision=670500 #constraints=4592 964.46/964.82 c nbDecision=671000 #constraints=4592 965.16/965.52 c nbDecision=671500 #constraints=4592 965.86/966.23 c nbDecision=672000 #constraints=4592 966.57/966.93 c nbDecision=672500 #constraints=4592 967.26/967.62 c nbDecision=673000 #constraints=4592 967.96/968.32 c nbDecision=673500 #constraints=4592 968.67/969.02 c nbDecision=674000 #constraints=4592 969.36/969.72 c nbDecision=674500 #constraints=4592 970.06/970.46 c nbDecision=675000 #constraints=4593 970.87/971.21 c nbDecision=675500 #constraints=4593 971.56/971.95 c nbDecision=676000 #constraints=4593 972.26/972.69 c nbDecision=676500 #constraints=4593 973.07/973.43 c nbDecision=677000 #constraints=4593 973.76/974.17 c nbDecision=677500 #constraints=4593 974.56/974.90 c nbDecision=678000 #constraints=4593 975.26/975.64 c nbDecision=678500 #constraints=4593 975.96/976.38 c nbDecision=679000 #constraints=4593 976.76/977.11 c nbDecision=679500 #constraints=4593 977.46/977.83 c nbDecision=680000 #constraints=4593 978.16/978.56 c nbDecision=680500 #constraints=4593 978.86/979.29 c nbDecision=681000 #constraints=4593 979.66/980.02 c nbDecision=681500 #constraints=4593 980.36/980.75 c nbDecision=682000 #constraints=4593 981.06/981.47 c nbDecision=682500 #constraints=4593 981.86/982.21 c nbDecision=683000 #constraints=4593 982.56/982.94 c nbDecision=683500 #constraints=4593 983.26/983.67 c nbDecision=684000 #constraints=4593 983.96/984.39 c nbDecision=684500 #constraints=4593 984.76/985.12 c nbDecision=685000 #constraints=4593 985.46/985.85 c nbDecision=685500 #constraints=4593 986.16/986.57 c nbDecision=686000 #constraints=4593 986.85/987.29 c nbDecision=686500 #constraints=4593 987.65/988.02 c nbDecision=687000 #constraints=4593 988.35/988.74 c nbDecision=687500 #constraints=4593 989.05/989.46 c nbDecision=688000 #constraints=4593 989.75/990.17 c nbDecision=688500 #constraints=4593 990.45/990.89 c nbDecision=689000 #constraints=4593 991.25/991.60 c nbDecision=689500 #constraints=4593 991.95/992.31 c nbDecision=690000 #constraints=4593 992.65/993.02 c nbDecision=690500 #constraints=4593 993.35/993.72 c nbDecision=691000 #constraints=4593 994.06/994.43 c nbDecision=691500 #constraints=4593 994.75/995.13 c nbDecision=692000 #constraints=4593 995.45/995.83 c nbDecision=692500 #constraints=4593 996.16/996.53 c nbDecision=693000 #constraints=4593 996.85/997.23 c nbDecision=693500 #constraints=4593 997.55/997.93 c nbDecision=694000 #constraints=4593 998.25/998.62 c nbDecision=694500 #constraints=4593 998.95/999.32 c nbDecision=695000 #constraints=4593 999.65/1000.01 c nbDecision=695500 #constraints=4593 1000.35/1000.70 c nbDecision=696000 #constraints=4593 1000.95/1001.39 c nbDecision=696500 #constraints=4593 1001.75/1002.15 c nbDecision=697000 #constraints=4594 1002.55/1002.90 c nbDecision=697500 #constraints=4594 1003.25/1003.65 c nbDecision=698000 #constraints=4594 1003.95/1004.40 c nbDecision=698500 #constraints=4594 1004.75/1005.14 c nbDecision=699000 #constraints=4594 1005.45/1005.88 c nbDecision=699500 #constraints=4594 1006.25/1006.63 c nbDecision=700000 #constraints=4594 1006.95/1007.37 c nbDecision=700500 #constraints=4594 1007.75/1008.11 c nbDecision=701000 #constraints=4594 1008.45/1008.85 c nbDecision=701500 #constraints=4594 1009.15/1009.59 c nbDecision=702000 #constraints=4594 1009.95/1010.33 c nbDecision=702500 #constraints=4594 1010.65/1011.06 c nbDecision=703000 #constraints=4594 1011.35/1011.80 c nbDecision=703500 #constraints=4594 1012.15/1012.52 c nbDecision=704000 #constraints=4594 1012.85/1013.25 c nbDecision=704500 #constraints=4594 1013.54/1013.97 c nbDecision=705000 #constraints=4594 1014.24/1014.69 c nbDecision=705500 #constraints=4594 1015.04/1015.41 c nbDecision=706000 #constraints=4594 1015.74/1016.13 c nbDecision=706500 #constraints=4594 1016.44/1016.85 c nbDecision=707000 #constraints=4594 1017.15/1017.56 c nbDecision=707500 #constraints=4594 1017.84/1018.28 c nbDecision=708000 #constraints=4594 1018.54/1018.99 c nbDecision=708500 #constraints=4594 1019.35/1019.71 c nbDecision=709000 #constraints=4594 1020.04/1020.42 c nbDecision=709500 #constraints=4594 1020.74/1021.13 c nbDecision=710000 #constraints=4594 1021.45/1021.87 c nbDecision=710500 #constraints=4594 1022.14/1022.59 c nbDecision=711000 #constraints=4594 1022.94/1023.30 c nbDecision=711500 #constraints=4594 1023.65/1024.01 c nbDecision=712000 #constraints=4594 1024.34/1024.73 c nbDecision=712500 #constraints=4594 1025.04/1025.44 c nbDecision=713000 #constraints=4594 1025.74/1026.15 c nbDecision=713500 #constraints=4594 1026.44/1026.85 c nbDecision=714000 #constraints=4594 1027.14/1027.56 c nbDecision=714500 #constraints=4594 1027.84/1028.26 c nbDecision=715000 #constraints=4594 1028.54/1028.97 c nbDecision=715500 #constraints=4594 1029.24/1029.67 c nbDecision=716000 #constraints=4594 1029.94/1030.37 c nbDecision=716500 #constraints=4594 1030.64/1031.07 c nbDecision=717000 #constraints=4594 1031.34/1031.77 c nbDecision=717500 #constraints=4594 1032.04/1032.46 c nbDecision=718000 #constraints=4594 1032.74/1033.14 c nbDecision=718500 #constraints=4594 1033.44/1033.90 c nbDecision=719000 #constraints=4595 1034.24/1034.63 c nbDecision=719500 #constraints=4595 1034.94/1035.35 c nbDecision=720000 #constraints=4595 1035.64/1036.08 c nbDecision=720500 #constraints=4595 1036.44/1036.81 c nbDecision=721000 #constraints=4595 1037.14/1037.53 c nbDecision=721500 #constraints=4595 1037.84/1038.24 c nbDecision=722000 #constraints=4595 1038.54/1038.96 c nbDecision=722500 #constraints=4595 1039.24/1039.68 c nbDecision=723000 #constraints=4595 1040.03/1040.40 c nbDecision=723500 #constraints=4595 1040.73/1041.12 c nbDecision=724000 #constraints=4595 1041.43/1041.84 c nbDecision=724500 #constraints=4595 1042.13/1042.56 c nbDecision=725000 #constraints=4595 1042.83/1043.29 c nbDecision=725500 #constraints=4595 1043.63/1044.01 c nbDecision=726000 #constraints=4595 1044.33/1044.72 c nbDecision=726500 #constraints=4595 1045.03/1045.44 c nbDecision=727000 #constraints=4595 1045.74/1046.16 c nbDecision=727500 #constraints=4595 1046.43/1046.86 c nbDecision=728000 #constraints=4595 1047.13/1047.58 c nbDecision=728500 #constraints=4595 1047.84/1048.29 c nbDecision=729000 #constraints=4595 1048.63/1049.00 c nbDecision=729500 #constraints=4595 1049.33/1049.70 c nbDecision=730000 #constraints=4595 1050.04/1050.41 c nbDecision=730500 #constraints=4595 1050.73/1051.12 c nbDecision=731000 #constraints=4595 1051.43/1051.82 c nbDecision=731500 #constraints=4595 1052.13/1052.52 c nbDecision=732000 #constraints=4595 1052.83/1053.21 c nbDecision=732500 #constraints=4595 1053.53/1053.90 c nbDecision=733000 #constraints=4595 1054.13/1054.60 c nbDecision=733500 #constraints=4595 1054.83/1055.29 c nbDecision=734000 #constraints=4595 1055.53/1055.97 c nbDecision=734500 #constraints=4595 1056.33/1056.70 c nbDecision=735000 #constraints=4596 1057.03/1057.43 c nbDecision=735500 #constraints=4596 1057.73/1058.17 c nbDecision=736000 #constraints=4596 1058.53/1058.90 c nbDecision=736500 #constraints=4596 1059.23/1059.63 c nbDecision=737000 #constraints=4596 1059.93/1060.36 c nbDecision=737500 #constraints=4596 1060.63/1061.09 c nbDecision=738000 #constraints=4596 1061.43/1061.82 c nbDecision=738500 #constraints=4596 1062.13/1062.55 c nbDecision=739000 #constraints=4596 1062.83/1063.28 c nbDecision=739500 #constraints=4596 1063.63/1064.01 c nbDecision=740000 #constraints=4596 1064.33/1064.74 c nbDecision=740500 #constraints=4596 1065.03/1065.47 c nbDecision=741000 #constraints=4596 1065.82/1066.20 c nbDecision=741500 #constraints=4596 1066.53/1066.92 c nbDecision=742000 #constraints=4596 1067.22/1067.65 c nbDecision=742500 #constraints=4596 1067.92/1068.38 c nbDecision=743000 #constraints=4596 1068.62/1069.10 c nbDecision=743500 #constraints=4596 1069.42/1069.82 c nbDecision=744000 #constraints=4596 1070.12/1070.54 c nbDecision=744500 #constraints=4596 1070.82/1071.26 c nbDecision=745000 #constraints=4596 1071.52/1071.97 c nbDecision=745500 #constraints=4596 1072.22/1072.68 c nbDecision=746000 #constraints=4596 1072.92/1073.39 c nbDecision=746500 #constraints=4596 1073.62/1074.09 c nbDecision=747000 #constraints=4596 1074.32/1074.80 c nbDecision=747500 #constraints=4596 1075.12/1075.50 c nbDecision=748000 #constraints=4596 1075.82/1076.21 c nbDecision=748500 #constraints=4596 1076.52/1076.91 c nbDecision=749000 #constraints=4596 1077.22/1077.61 c nbDecision=749500 #constraints=4596 1077.92/1078.31 c nbDecision=750000 #constraints=4596 1078.62/1079.01 c nbDecision=750500 #constraints=4596 1079.32/1079.71 c nbDecision=751000 #constraints=4596 1080.02/1080.41 c nbDecision=751500 #constraints=4596 1080.72/1081.10 c nbDecision=752000 #constraints=4596 1081.32/1081.79 c nbDecision=752500 #constraints=4596 1082.02/1082.49 c nbDecision=753000 #constraints=4596 1082.72/1083.19 c nbDecision=753500 #constraints=4596 1083.52/1083.92 c nbDecision=754000 #constraints=4597 1084.22/1084.66 c nbDecision=754500 #constraints=4597 1084.92/1085.39 c nbDecision=755000 #constraints=4597 1085.71/1086.13 c nbDecision=755500 #constraints=4597 1086.42/1086.86 c nbDecision=756000 #constraints=4597 1087.11/1087.59 c nbDecision=756500 #constraints=4597 1087.92/1088.32 c nbDecision=757000 #constraints=4597 1088.62/1089.05 c nbDecision=757500 #constraints=4597 1089.31/1089.78 c nbDecision=758000 #constraints=4597 1090.11/1090.51 c nbDecision=758500 #constraints=4597 1090.82/1091.23 c nbDecision=759000 #constraints=4597 1091.51/1091.95 c nbDecision=759500 #constraints=4597 1092.21/1092.67 c nbDecision=760000 #constraints=4597 1092.92/1093.38 c nbDecision=760500 #constraints=4597 1093.61/1094.10 c nbDecision=761000 #constraints=4597 1094.41/1094.81 c nbDecision=761500 #constraints=4597 1095.12/1095.51 c nbDecision=762000 #constraints=4597 1095.81/1096.22 c nbDecision=762500 #constraints=4597 1096.51/1096.93 c nbDecision=763000 #constraints=4597 1097.21/1097.64 c nbDecision=763500 #constraints=4597 1097.91/1098.34 c nbDecision=764000 #constraints=4597 1098.61/1099.05 c nbDecision=764500 #constraints=4597 1099.31/1099.74 c nbDecision=765000 #constraints=4597 1100.01/1100.44 c nbDecision=765500 #constraints=4597 1100.71/1101.14 c nbDecision=766000 #constraints=4597 1101.41/1101.84 c nbDecision=766500 #constraints=4597 1102.11/1102.55 c nbDecision=767000 #constraints=4597 1102.81/1103.25 c nbDecision=767500 #constraints=4597 1103.51/1103.95 c nbDecision=768000 #constraints=4597 1104.21/1104.65 c nbDecision=768500 #constraints=4597 1104.91/1105.35 c nbDecision=769000 #constraints=4597 1105.61/1106.05 c nbDecision=769500 #constraints=4597 1106.31/1106.75 c nbDecision=770000 #constraints=4597 1107.01/1107.48 c nbDecision=770500 #constraints=4598 1107.81/1108.22 c nbDecision=771000 #constraints=4598 1108.51/1108.95 c nbDecision=771500 #constraints=4598 1109.21/1109.68 c nbDecision=772000 #constraints=4598 1110.01/1110.42 c nbDecision=772500 #constraints=4598 1110.71/1111.15 c nbDecision=773000 #constraints=4598 1111.41/1111.88 c nbDecision=773500 #constraints=4598 1112.21/1112.60 c nbDecision=774000 #constraints=4598 1112.90/1113.32 c nbDecision=774500 #constraints=4598 1113.61/1114.04 c nbDecision=775000 #constraints=4598 1114.30/1114.76 c nbDecision=775500 #constraints=4598 1115.01/1115.48 c nbDecision=776000 #constraints=4598 1115.70/1116.19 c nbDecision=776500 #constraints=4598 1116.50/1116.91 c nbDecision=777000 #constraints=4598 1117.21/1117.62 c nbDecision=777500 #constraints=4598 1117.90/1118.33 c nbDecision=778000 #constraints=4598 1118.60/1119.04 c nbDecision=778500 #constraints=4598 1119.31/1119.75 c nbDecision=779000 #constraints=4598 1120.00/1120.46 c nbDecision=779500 #constraints=4598 1120.70/1121.16 c nbDecision=780000 #constraints=4598 1121.40/1121.87 c nbDecision=780500 #constraints=4598 1122.10/1122.59 c nbDecision=781000 #constraints=4598 1122.90/1123.30 c nbDecision=781500 #constraints=4598 1123.60/1124.00 c nbDecision=782000 #constraints=4598 1124.30/1124.71 c nbDecision=782500 #constraints=4598 1125.00/1125.42 c nbDecision=783000 #constraints=4598 1125.70/1126.12 c nbDecision=783500 #constraints=4598 1126.40/1126.83 c nbDecision=784000 #constraints=4598 1127.10/1127.53 c nbDecision=784500 #constraints=4598 1127.80/1128.23 c nbDecision=785000 #constraints=4598 1128.50/1128.92 c nbDecision=785500 #constraints=4598 1129.20/1129.63 c nbDecision=786000 #constraints=4598 1129.90/1130.32 c nbDecision=786500 #constraints=4598 1130.60/1131.08 c nbDecision=787000 #constraints=4599 1131.40/1131.83 c nbDecision=787500 #constraints=4599 1132.09/1132.57 c nbDecision=788000 #constraints=4599 1132.89/1133.31 c nbDecision=788500 #constraints=4599 1133.60/1134.05 c nbDecision=789000 #constraints=4599 1134.29/1134.78 c nbDecision=789500 #constraints=4599 1135.09/1135.52 c nbDecision=790000 #constraints=4599 1135.80/1136.25 c nbDecision=790500 #constraints=4599 1136.49/1136.98 c nbDecision=791000 #constraints=4599 1137.29/1137.72 c nbDecision=791500 #constraints=4599 1138.00/1138.45 c nbDecision=792000 #constraints=4599 1138.69/1139.18 c nbDecision=792500 #constraints=4599 1139.49/1139.90 c nbDecision=793000 #constraints=4599 1140.20/1140.63 c nbDecision=793500 #constraints=4599 1140.89/1141.36 c nbDecision=794000 #constraints=4599 1141.59/1142.09 c nbDecision=794500 #constraints=4599 1142.40/1142.81 c nbDecision=795000 #constraints=4599 1143.09/1143.53 c nbDecision=795500 #constraints=4599 1143.79/1144.26 c nbDecision=796000 #constraints=4599 1144.49/1144.98 c nbDecision=796500 #constraints=4599 1145.29/1145.71 c nbDecision=797000 #constraints=4599 1145.99/1146.43 c nbDecision=797500 #constraints=4599 1146.69/1147.15 c nbDecision=798000 #constraints=4599 1147.39/1147.88 c nbDecision=798500 #constraints=4599 1148.09/1148.60 c nbDecision=799000 #constraints=4599 1148.89/1149.32 c nbDecision=799500 #constraints=4599 1149.59/1150.03 c nbDecision=800000 #constraints=4599 1150.29/1150.75 c nbDecision=800500 #constraints=4599 1150.99/1151.46 c nbDecision=801000 #constraints=4599 1151.69/1152.17 c nbDecision=801500 #constraints=4599 1152.39/1152.87 c nbDecision=802000 #constraints=4599 1153.09/1153.58 c nbDecision=802500 #constraints=4599 1153.79/1154.28 c nbDecision=803000 #constraints=4599 1154.49/1154.98 c nbDecision=803500 #constraints=4599 1155.19/1155.68 c nbDecision=804000 #constraints=4599 1155.89/1156.38 c nbDecision=804500 #constraints=4599 1156.59/1157.08 c nbDecision=805000 #constraints=4599 1157.29/1157.78 c nbDecision=805500 #constraints=4599 1157.99/1158.47 c nbDecision=806000 #constraints=4599 1158.69/1159.17 c nbDecision=806500 #constraints=4599 1159.39/1159.86 c nbDecision=807000 #constraints=4599 1160.09/1160.55 c nbDecision=807500 #constraints=4599 1160.79/1161.24 c nbDecision=808000 #constraints=4599 1161.48/1161.99 c nbDecision=808500 #constraints=4600 1162.29/1162.74 c nbDecision=809000 #constraints=4600 1162.98/1163.49 c nbDecision=809500 #constraints=4600 1163.78/1164.24 c nbDecision=810000 #constraints=4600 1164.49/1164.98 c nbDecision=810500 #constraints=4600 1165.28/1165.73 c nbDecision=811000 #constraints=4600 1165.98/1166.47 c nbDecision=811500 #constraints=4600 1166.78/1167.21 c nbDecision=812000 #constraints=4600 1167.48/1167.95 c nbDecision=812500 #constraints=4600 1168.18/1168.69 c nbDecision=813000 #constraints=4600 1168.98/1169.43 c nbDecision=813500 #constraints=4600 1169.68/1170.16 c nbDecision=814000 #constraints=4600 1170.48/1170.90 c nbDecision=814500 #constraints=4600 1171.18/1171.63 c nbDecision=815000 #constraints=4600 1171.88/1172.36 c nbDecision=815500 #constraints=4600 1172.58/1173.08 c nbDecision=816000 #constraints=4600 1173.38/1173.81 c nbDecision=816500 #constraints=4600 1174.08/1174.53 c nbDecision=817000 #constraints=4600 1174.78/1175.25 c nbDecision=817500 #constraints=4600 1175.48/1175.97 c nbDecision=818000 #constraints=4600 1176.18/1176.69 c nbDecision=818500 #constraints=4600 1176.98/1177.41 c nbDecision=819000 #constraints=4600 1177.28/1177.70 c restart after 819201 decisions 1177.68/1178.17 c nbDecision=819500 #constraints=4600 1178.48/1178.92 c nbDecision=820000 #constraints=4600 1179.18/1179.67 c nbDecision=820500 #constraints=4600 1179.98/1180.42 c nbDecision=821000 #constraints=4600 1180.68/1181.17 c nbDecision=821500 #constraints=4600 1181.48/1181.91 c nbDecision=822000 #constraints=4600 1182.18/1182.66 c nbDecision=822500 #constraints=4600 1182.98/1183.41 c nbDecision=823000 #constraints=4600 1183.68/1184.16 c nbDecision=823500 #constraints=4600 1184.48/1184.90 c nbDecision=824000 #constraints=4600 1185.18/1185.65 c nbDecision=824500 #constraints=4600 1185.88/1186.39 c nbDecision=825000 #constraints=4600 1186.68/1187.14 c nbDecision=825500 #constraints=4600 1187.38/1187.86 c nbDecision=826000 #constraints=4600 1188.18/1188.60 c nbDecision=826500 #constraints=4600 1188.88/1189.34 c nbDecision=827000 #constraints=4600 1189.58/1190.08 c nbDecision=827500 #constraints=4600 1190.38/1190.82 c nbDecision=828000 #constraints=4600 1191.07/1191.55 c nbDecision=828500 #constraints=4600 1191.77/1192.26 c nbDecision=829000 #constraints=4600 1192.47/1192.99 c nbDecision=829500 #constraints=4600 1193.27/1193.71 c nbDecision=830000 #constraints=4600 1193.97/1194.42 c nbDecision=830500 #constraints=4600 1194.67/1195.14 c nbDecision=831000 #constraints=4600 1195.37/1195.86 c nbDecision=831500 #constraints=4600 1196.07/1196.59 c nbDecision=832000 #constraints=4600 1196.87/1197.31 c nbDecision=832500 #constraints=4600 1197.57/1198.02 c nbDecision=833000 #constraints=4600 1198.28/1198.74 c nbDecision=833500 #constraints=4600 1198.98/1199.46 c nbDecision=834000 #constraints=4600 1199.68/1200.17 c nbDecision=834500 #constraints=4600 1200.38/1200.88 c nbDecision=835000 #constraints=4600 1201.08/1201.60 c nbDecision=835500 #constraints=4600 1201.88/1202.31 c nbDecision=836000 #constraints=4600 1202.58/1203.02 c nbDecision=836500 #constraints=4600 1203.28/1203.74 c nbDecision=837000 #constraints=4600 1203.98/1204.45 c nbDecision=837500 #constraints=4600 1204.68/1205.16 c nbDecision=838000 #constraints=4600 1205.38/1205.88 c nbDecision=838500 #constraints=4600 1206.08/1206.59 c nbDecision=839000 #constraints=4600 1206.78/1207.29 c nbDecision=839500 #constraints=4600 1207.58/1208.00 c nbDecision=840000 #constraints=4600 1208.27/1208.70 c nbDecision=840500 #constraints=4600 1208.97/1209.41 c nbDecision=841000 #constraints=4600 1209.67/1210.11 c nbDecision=841500 #constraints=4600 1210.37/1210.82 c nbDecision=842000 #constraints=4600 1211.07/1211.52 c nbDecision=842500 #constraints=4600 1211.78/1212.21 c nbDecision=843000 #constraints=4600 1212.37/1212.90 c nbDecision=843500 #constraints=4600 1213.07/1213.59 c nbDecision=844000 #constraints=4600 1213.88/1214.34 c nbDecision=844500 #constraints=4601 1214.57/1215.08 c nbDecision=845000 #constraints=4601 1215.37/1215.81 c nbDecision=845500 #constraints=4601 1216.08/1216.54 c nbDecision=846000 #constraints=4601 1216.77/1217.28 c nbDecision=846500 #constraints=4601 1217.57/1218.01 c nbDecision=847000 #constraints=4601 1218.27/1218.74 c nbDecision=847500 #constraints=4601 1218.97/1219.45 c nbDecision=848000 #constraints=4601 1219.67/1220.17 c nbDecision=848500 #constraints=4601 1220.37/1220.89 c nbDecision=849000 #constraints=4601 1221.17/1221.62 c nbDecision=849500 #constraints=4601 1221.87/1222.35 c nbDecision=850000 #constraints=4601 1222.57/1223.08 c nbDecision=850500 #constraints=4601 1223.37/1223.81 c nbDecision=851000 #constraints=4601 1224.07/1224.53 c nbDecision=851500 #constraints=4601 1224.77/1225.26 c nbDecision=852000 #constraints=4601 1225.47/1225.98 c nbDecision=852500 #constraints=4601 1226.27/1226.70 c nbDecision=853000 #constraints=4601 1226.97/1227.42 c nbDecision=853500 #constraints=4601 1227.67/1228.13 c nbDecision=854000 #constraints=4601 1228.37/1228.85 c nbDecision=854500 #constraints=4601 1229.07/1229.57 c nbDecision=855000 #constraints=4601 1229.77/1230.28 c nbDecision=855500 #constraints=4601 1230.47/1231.00 c nbDecision=856000 #constraints=4601 1231.27/1231.70 c nbDecision=856500 #constraints=4601 1231.97/1232.41 c nbDecision=857000 #constraints=4601 1232.67/1233.11 c nbDecision=857500 #constraints=4601 1233.37/1233.82 c nbDecision=858000 #constraints=4601 1234.07/1234.52 c nbDecision=858500 #constraints=4601 1234.77/1235.21 c nbDecision=859000 #constraints=4601 1235.47/1235.91 c nbDecision=859500 #constraints=4601 1236.17/1236.61 c nbDecision=860000 #constraints=4601 1236.86/1237.31 c nbDecision=860500 #constraints=4601 1237.56/1238.00 c nbDecision=861000 #constraints=4601 1238.17/1238.69 c nbDecision=861500 #constraints=4601 1238.86/1239.39 c nbDecision=862000 #constraints=4601 1239.56/1240.08 c nbDecision=862500 #constraints=4601 1240.27/1240.77 c nbDecision=863000 #constraints=4601 1241.06/1241.54 c nbDecision=863500 #constraints=4602 1241.76/1242.29 c nbDecision=864000 #constraints=4602 1242.57/1243.04 c nbDecision=864500 #constraints=4602 1243.26/1243.78 c nbDecision=865000 #constraints=4602 1244.06/1244.53 c nbDecision=865500 #constraints=4602 1244.76/1245.27 c nbDecision=866000 #constraints=4602 1245.56/1246.02 c nbDecision=866500 #constraints=4602 1246.26/1246.76 c nbDecision=867000 #constraints=4602 1247.06/1247.50 c nbDecision=867500 #constraints=4602 1247.76/1248.24 c nbDecision=868000 #constraints=4602 1248.46/1248.97 c nbDecision=868500 #constraints=4602 1249.26/1249.71 c nbDecision=869000 #constraints=4602 1249.96/1250.45 c nbDecision=869500 #constraints=4602 1250.66/1251.18 c nbDecision=870000 #constraints=4602 1251.46/1251.91 c nbDecision=870500 #constraints=4602 1252.16/1252.63 c nbDecision=871000 #constraints=4602 1252.86/1253.36 c nbDecision=871500 #constraints=4602 1253.56/1254.08 c nbDecision=872000 #constraints=4602 1254.26/1254.80 c nbDecision=872500 #constraints=4602 1255.06/1255.52 c nbDecision=873000 #constraints=4602 1255.76/1256.24 c nbDecision=873500 #constraints=4602 1256.46/1256.95 c nbDecision=874000 #constraints=4602 1257.16/1257.67 c nbDecision=874500 #constraints=4602 1257.86/1258.38 c nbDecision=875000 #constraints=4602 1258.56/1259.10 c nbDecision=875500 #constraints=4602 1259.36/1259.81 c nbDecision=876000 #constraints=4602 1260.06/1260.52 c nbDecision=876500 #constraints=4602 1260.76/1261.22 c nbDecision=877000 #constraints=4602 1261.46/1261.94 c nbDecision=877500 #constraints=4602 1262.16/1262.65 c nbDecision=878000 #constraints=4602 1262.86/1263.36 c nbDecision=878500 #constraints=4602 1263.55/1264.07 c nbDecision=879000 #constraints=4602 1264.25/1264.78 c nbDecision=879500 #constraints=4602 1264.95/1265.49 c nbDecision=880000 #constraints=4602 1265.75/1266.20 c nbDecision=880500 #constraints=4602 1266.45/1266.90 c nbDecision=881000 #constraints=4602 1267.15/1267.61 c nbDecision=881500 #constraints=4602 1267.86/1268.31 c nbDecision=882000 #constraints=4602 1268.55/1269.02 c nbDecision=882500 #constraints=4602 1269.25/1269.72 c nbDecision=883000 #constraints=4602 1269.96/1270.42 c nbDecision=883500 #constraints=4602 1270.65/1271.11 c nbDecision=884000 #constraints=4602 1271.35/1271.81 c nbDecision=884500 #constraints=4602 1272.05/1272.55 c nbDecision=885000 #constraints=4603 1272.75/1273.27 c nbDecision=885500 #constraints=4603 1273.55/1274.00 c nbDecision=886000 #constraints=4603 1274.25/1274.73 c nbDecision=886500 #constraints=4603 1274.95/1275.45 c nbDecision=887000 #constraints=4603 1275.65/1276.18 c nbDecision=887500 #constraints=4603 1276.45/1276.90 c nbDecision=888000 #constraints=4603 1277.15/1277.62 c nbDecision=888500 #constraints=4603 1277.85/1278.34 c nbDecision=889000 #constraints=4603 1278.55/1279.06 c nbDecision=889500 #constraints=4603 1279.25/1279.78 c nbDecision=890000 #constraints=4603 1279.95/1280.50 c nbDecision=890500 #constraints=4603 1280.75/1281.21 c nbDecision=891000 #constraints=4603 1281.45/1281.93 c nbDecision=891500 #constraints=4603 1282.15/1282.65 c nbDecision=892000 #constraints=4603 1282.85/1283.37 c nbDecision=892500 #constraints=4603 1283.55/1284.08 c nbDecision=893000 #constraints=4603 1284.25/1284.80 c nbDecision=893500 #constraints=4603 1285.05/1285.50 c nbDecision=894000 #constraints=4603 1285.75/1286.21 c nbDecision=894500 #constraints=4603 1286.45/1286.92 c nbDecision=895000 #constraints=4603 1287.15/1287.63 c nbDecision=895500 #constraints=4603 1287.85/1288.34 c nbDecision=896000 #constraints=4603 1288.55/1289.04 c nbDecision=896500 #constraints=4603 1289.25/1289.75 c nbDecision=897000 #constraints=4603 1289.95/1290.46 c nbDecision=897500 #constraints=4603 1290.65/1291.16 c nbDecision=898000 #constraints=4603 1291.35/1291.86 c nbDecision=898500 #constraints=4603 1292.05/1292.55 c nbDecision=899000 #constraints=4603 1292.75/1293.24 c nbDecision=899500 #constraints=4603 1293.45/1293.93 c nbDecision=900000 #constraints=4603 1294.15/1294.62 c nbDecision=900500 #constraints=4603 1294.85/1295.35 c nbDecision=901000 #constraints=4604 1295.55/1296.08 c nbDecision=901500 #constraints=4604 1296.24/1296.80 c nbDecision=902000 #constraints=4604 1297.04/1297.53 c nbDecision=902500 #constraints=4604 1297.74/1298.25 c nbDecision=903000 #constraints=4604 1298.44/1298.98 c nbDecision=903500 #constraints=4604 1299.24/1299.70 c nbDecision=904000 #constraints=4604 1299.94/1300.42 c nbDecision=904500 #constraints=4604 1300.64/1301.14 c nbDecision=905000 #constraints=4604 1301.34/1301.87 c nbDecision=905500 #constraints=4604 1302.05/1302.59 c nbDecision=906000 #constraints=4604 1302.84/1303.31 c nbDecision=906500 #constraints=4604 1303.54/1304.04 c nbDecision=907000 #constraints=4604 1304.24/1304.76 c nbDecision=907500 #constraints=4604 1304.94/1305.48 c nbDecision=908000 #constraints=4604 1305.64/1306.19 c nbDecision=908500 #constraints=4604 1306.44/1306.90 c nbDecision=909000 #constraints=4604 1307.14/1307.62 c nbDecision=909500 #constraints=4604 1307.84/1308.34 c nbDecision=910000 #constraints=4604 1308.54/1309.05 c nbDecision=910500 #constraints=4604 1309.24/1309.76 c nbDecision=911000 #constraints=4604 1309.94/1310.47 c nbDecision=911500 #constraints=4604 1310.64/1311.18 c nbDecision=912000 #constraints=4604 1311.34/1311.87 c nbDecision=912500 #constraints=4604 1312.04/1312.57 c nbDecision=913000 #constraints=4604 1312.74/1313.27 c nbDecision=913500 #constraints=4604 1313.44/1313.97 c nbDecision=914000 #constraints=4604 1314.14/1314.67 c nbDecision=914500 #constraints=4604 1314.84/1315.36 c nbDecision=915000 #constraints=4604 1315.54/1316.06 c nbDecision=915500 #constraints=4604 1316.24/1316.75 c nbDecision=916000 #constraints=4604 1316.94/1317.43 c nbDecision=916500 #constraints=4604 1317.64/1318.13 c nbDecision=917000 #constraints=4604 1318.34/1318.90 c nbDecision=917500 #constraints=4605 1319.14/1319.64 c nbDecision=918000 #constraints=4605 1319.84/1320.36 c nbDecision=918500 #constraints=4605 1320.64/1321.10 c nbDecision=919000 #constraints=4605 1321.34/1321.84 c nbDecision=919500 #constraints=4605 1322.04/1322.59 c nbDecision=920000 #constraints=4605 1322.84/1323.33 c nbDecision=920500 #constraints=4605 1323.53/1324.07 c nbDecision=921000 #constraints=4605 1324.33/1324.81 c nbDecision=921500 #constraints=4605 1325.04/1325.55 c nbDecision=922000 #constraints=4605 1325.73/1326.29 c nbDecision=922500 #constraints=4605 1326.53/1327.02 c nbDecision=923000 #constraints=4605 1327.24/1327.76 c nbDecision=923500 #constraints=4605 1327.93/1328.49 c nbDecision=924000 #constraints=4605 1328.73/1329.23 c nbDecision=924500 #constraints=4605 1329.44/1329.95 c nbDecision=925000 #constraints=4605 1330.13/1330.68 c nbDecision=925500 #constraints=4605 1330.93/1331.41 c nbDecision=926000 #constraints=4605 1331.64/1332.13 c nbDecision=926500 #constraints=4605 1332.33/1332.85 c nbDecision=927000 #constraints=4605 1333.03/1333.57 c nbDecision=927500 #constraints=4605 1333.73/1334.29 c nbDecision=928000 #constraints=4605 1334.53/1335.00 c nbDecision=928500 #constraints=4605 1335.23/1335.71 c nbDecision=929000 #constraints=4605 1335.93/1336.42 c nbDecision=929500 #constraints=4605 1336.63/1337.13 c nbDecision=930000 #constraints=4605 1337.33/1337.84 c nbDecision=930500 #constraints=4605 1338.03/1338.55 c nbDecision=931000 #constraints=4605 1338.73/1339.26 c nbDecision=931500 #constraints=4605 1339.43/1339.97 c nbDecision=932000 #constraints=4605 1340.13/1340.67 c nbDecision=932500 #constraints=4605 1340.83/1341.38 c nbDecision=933000 #constraints=4605 1341.53/1342.09 c nbDecision=933500 #constraints=4605 1342.23/1342.80 c nbDecision=934000 #constraints=4605 1342.92/1343.49 c nbDecision=934500 #constraints=4605 1343.73/1344.20 c nbDecision=935000 #constraints=4605 1344.42/1344.90 c nbDecision=935500 #constraints=4605 1345.12/1345.61 c nbDecision=936000 #constraints=4605 1345.83/1346.31 c nbDecision=936500 #constraints=4605 1346.52/1347.01 c nbDecision=937000 #constraints=4605 1347.22/1347.71 c nbDecision=937500 #constraints=4605 1347.92/1348.40 c nbDecision=938000 #constraints=4605 1348.52/1349.10 c nbDecision=938500 #constraints=4605 1349.42/1349.93 c nbDecision=939000 #constraints=4606 1350.12/1350.68 c nbDecision=939500 #constraints=4606 1350.92/1351.43 c nbDecision=940000 #constraints=4606 1351.62/1352.17 c nbDecision=940500 #constraints=4606 1352.43/1352.92 c nbDecision=941000 #constraints=4606 1353.12/1353.65 c nbDecision=941500 #constraints=4606 1353.82/1354.39 c nbDecision=942000 #constraints=4606 1354.63/1355.12 c nbDecision=942500 #constraints=4606 1355.32/1355.86 c nbDecision=943000 #constraints=4606 1356.02/1356.59 c nbDecision=943500 #constraints=4606 1356.82/1357.33 c nbDecision=944000 #constraints=4606 1357.52/1358.06 c nbDecision=944500 #constraints=4606 1358.22/1358.79 c nbDecision=945000 #constraints=4606 1359.02/1359.52 c nbDecision=945500 #constraints=4606 1359.72/1360.24 c nbDecision=946000 #constraints=4606 1360.42/1360.97 c nbDecision=946500 #constraints=4606 1361.12/1361.69 c nbDecision=947000 #constraints=4606 1361.92/1362.42 c nbDecision=947500 #constraints=4606 1362.62/1363.15 c nbDecision=948000 #constraints=4606 1363.32/1363.87 c nbDecision=948500 #constraints=4606 1364.12/1364.60 c nbDecision=949000 #constraints=4606 1364.82/1365.32 c nbDecision=949500 #constraints=4606 1365.52/1366.05 c nbDecision=950000 #constraints=4606 1366.22/1366.77 c nbDecision=950500 #constraints=4606 1367.02/1367.50 c nbDecision=951000 #constraints=4606 1367.72/1368.22 c nbDecision=951500 #constraints=4606 1368.41/1368.94 c nbDecision=952000 #constraints=4606 1369.11/1369.66 c nbDecision=952500 #constraints=4606 1369.81/1370.38 c nbDecision=953000 #constraints=4606 1370.52/1371.10 c nbDecision=953500 #constraints=4606 1371.31/1371.81 c nbDecision=954000 #constraints=4606 1372.01/1372.52 c nbDecision=954500 #constraints=4606 1372.71/1373.22 c nbDecision=955000 #constraints=4606 1373.42/1373.93 c nbDecision=955500 #constraints=4606 1374.11/1374.63 c nbDecision=956000 #constraints=4606 1374.81/1375.33 c nbDecision=956500 #constraints=4606 1375.52/1376.02 c nbDecision=957000 #constraints=4606 1376.21/1376.72 c nbDecision=957500 #constraints=4606 1376.91/1377.42 c nbDecision=958000 #constraints=4606 1377.61/1378.12 c nbDecision=958500 #constraints=4606 1378.31/1378.81 c nbDecision=959000 #constraints=4606 1379.01/1379.50 c nbDecision=959500 #constraints=4606 1379.61/1380.19 c nbDecision=960000 #constraints=4606 1380.31/1380.89 c nbDecision=960500 #constraints=4606 1381.02/1381.58 c nbDecision=961000 #constraints=4606 1381.81/1382.33 c nbDecision=961500 #constraints=4607 1382.51/1383.08 c nbDecision=962000 #constraints=4607 1383.31/1383.83 c nbDecision=962500 #constraints=4607 1384.01/1384.58 c nbDecision=963000 #constraints=4607 1384.81/1385.33 c nbDecision=963500 #constraints=4607 1385.51/1386.08 c nbDecision=964000 #constraints=4607 1386.31/1386.82 c nbDecision=964500 #constraints=4607 1387.01/1387.57 c nbDecision=965000 #constraints=4607 1387.81/1388.31 c nbDecision=965500 #constraints=4607 1388.51/1389.05 c nbDecision=966000 #constraints=4607 1389.21/1389.79 c nbDecision=966500 #constraints=4607 1390.01/1390.53 c nbDecision=967000 #constraints=4607 1390.71/1391.27 c nbDecision=967500 #constraints=4607 1391.51/1392.01 c nbDecision=968000 #constraints=4607 1392.21/1392.74 c nbDecision=968500 #constraints=4607 1392.91/1393.47 c nbDecision=969000 #constraints=4607 1393.61/1394.19 c nbDecision=969500 #constraints=4607 1394.40/1394.92 c nbDecision=970000 #constraints=4607 1395.10/1395.64 c nbDecision=970500 #constraints=4607 1395.80/1396.37 c nbDecision=971000 #constraints=4607 1396.51/1397.09 c nbDecision=971500 #constraints=4607 1397.30/1397.81 c nbDecision=972000 #constraints=4607 1398.00/1398.53 c nbDecision=972500 #constraints=4607 1398.71/1399.25 c nbDecision=973000 #constraints=4607 1399.40/1399.96 c nbDecision=973500 #constraints=4607 1400.10/1400.68 c nbDecision=974000 #constraints=4607 1400.81/1401.39 c nbDecision=974500 #constraints=4607 1401.60/1402.11 c nbDecision=975000 #constraints=4607 1402.30/1402.83 c nbDecision=975500 #constraints=4607 1403.00/1403.54 c nbDecision=976000 #constraints=4607 1403.70/1404.26 c nbDecision=976500 #constraints=4607 1404.40/1404.97 c nbDecision=977000 #constraints=4607 1405.10/1405.69 c nbDecision=977500 #constraints=4607 1405.90/1406.40 c nbDecision=978000 #constraints=4607 1406.60/1407.11 c nbDecision=978500 #constraints=4607 1407.30/1407.82 c nbDecision=979000 #constraints=4607 1408.00/1408.53 c nbDecision=979500 #constraints=4607 1408.70/1409.24 c nbDecision=980000 #constraints=4607 1409.40/1409.94 c nbDecision=980500 #constraints=4607 1410.10/1410.64 c nbDecision=981000 #constraints=4607 1410.80/1411.34 c nbDecision=981500 #constraints=4607 1411.50/1412.04 c nbDecision=982000 #constraints=4607 1412.20/1412.74 c nbDecision=982500 #constraints=4607 1412.90/1413.43 c nbDecision=983000 #constraints=4607 1413.60/1414.12 c nbDecision=983500 #constraints=4607 1414.30/1414.81 c nbDecision=984000 #constraints=4607 1415.00/1415.57 c nbDecision=984500 #constraints=4608 1415.80/1416.32 c nbDecision=985000 #constraints=4608 1416.50/1417.05 c nbDecision=985500 #constraints=4608 1417.20/1417.80 c nbDecision=986000 #constraints=4608 1418.00/1418.54 c nbDecision=986500 #constraints=4608 1418.70/1419.28 c nbDecision=987000 #constraints=4608 1419.50/1420.01 c nbDecision=987500 #constraints=4608 1420.20/1420.74 c nbDecision=988000 #constraints=4608 1420.90/1421.48 c nbDecision=988500 #constraints=4608 1421.70/1422.22 c nbDecision=989000 #constraints=4608 1422.40/1422.96 c nbDecision=989500 #constraints=4608 1423.19/1423.70 c nbDecision=990000 #constraints=4608 1423.90/1424.43 c nbDecision=990500 #constraints=4608 1424.59/1425.16 c nbDecision=991000 #constraints=4608 1425.39/1425.90 c nbDecision=991500 #constraints=4608 1426.10/1426.63 c nbDecision=992000 #constraints=4608 1426.79/1427.37 c nbDecision=992500 #constraints=4608 1427.59/1428.10 c nbDecision=993000 #constraints=4608 1428.30/1428.83 c nbDecision=993500 #constraints=4608 1428.99/1429.56 c nbDecision=994000 #constraints=4608 1429.69/1430.28 c nbDecision=994500 #constraints=4608 1430.50/1431.01 c nbDecision=995000 #constraints=4608 1431.19/1431.73 c nbDecision=995500 #constraints=4608 1431.89/1432.45 c nbDecision=996000 #constraints=4608 1432.59/1433.16 c nbDecision=996500 #constraints=4608 1433.29/1433.88 c nbDecision=997000 #constraints=4608 1433.99/1434.59 c nbDecision=997500 #constraints=4608 1434.79/1435.30 c nbDecision=998000 #constraints=4608 1435.49/1436.01 c nbDecision=998500 #constraints=4608 1436.19/1436.72 c nbDecision=999000 #constraints=4608 1436.89/1437.42 c nbDecision=999500 #constraints=4608 1437.59/1438.13 c nbDecision=1000000 #constraints=4608 1438.29/1438.83 c nbDecision=1000500 #constraints=4608 1438.99/1439.54 c nbDecision=1001000 #constraints=4608 1439.69/1440.24 c nbDecision=1001500 #constraints=4608 1440.39/1440.94 c nbDecision=1002000 #constraints=4608 1441.09/1441.64 c nbDecision=1002500 #constraints=4608 1441.79/1442.35 c nbDecision=1003000 #constraints=4608 1442.49/1443.05 c nbDecision=1003500 #constraints=4608 1443.19/1443.76 c nbDecision=1004000 #constraints=4608 1443.89/1444.46 c nbDecision=1004500 #constraints=4608 1444.59/1445.16 c nbDecision=1005000 #constraints=4608 1445.29/1445.86 c nbDecision=1005500 #constraints=4608 1446.00/1446.56 c nbDecision=1006000 #constraints=4608 1446.70/1447.26 c nbDecision=1006500 #constraints=4608 1447.50/1448.00 c nbDecision=1007000 #constraints=4609 1448.20/1448.75 c nbDecision=1007500 #constraints=4609 1448.89/1449.49 c nbDecision=1008000 #constraints=4609 1449.69/1450.24 c nbDecision=1008500 #constraints=4609 1450.40/1450.98 c nbDecision=1009000 #constraints=4609 1451.19/1451.73 c nbDecision=1009500 #constraints=4609 1451.89/1452.46 c nbDecision=1010000 #constraints=4609 1452.60/1453.20 c nbDecision=1010500 #constraints=4609 1453.39/1453.93 c nbDecision=1011000 #constraints=4609 1454.09/1454.66 c nbDecision=1011500 #constraints=4609 1454.80/1455.39 c nbDecision=1012000 #constraints=4609 1455.59/1456.12 c nbDecision=1012500 #constraints=4609 1456.29/1456.85 c nbDecision=1013000 #constraints=4609 1457.00/1457.58 c nbDecision=1013500 #constraints=4609 1457.69/1458.29 c nbDecision=1014000 #constraints=4609 1458.49/1459.02 c nbDecision=1014500 #constraints=4609 1459.19/1459.74 c nbDecision=1015000 #constraints=4609 1459.89/1460.46 c nbDecision=1015500 #constraints=4609 1460.59/1461.18 c nbDecision=1016000 #constraints=4609 1461.39/1461.91 c nbDecision=1016500 #constraints=4609 1462.09/1462.63 c nbDecision=1017000 #constraints=4609 1462.79/1463.36 c nbDecision=1017500 #constraints=4609 1463.49/1464.08 c nbDecision=1018000 #constraints=4609 1464.29/1464.80 c nbDecision=1018500 #constraints=4609 1464.99/1465.52 c nbDecision=1019000 #constraints=4609 1465.69/1466.24 c nbDecision=1019500 #constraints=4609 1466.39/1466.96 c nbDecision=1020000 #constraints=4609 1467.09/1467.67 c nbDecision=1020500 #constraints=4609 1467.78/1468.39 c nbDecision=1021000 #constraints=4609 1468.58/1469.10 c nbDecision=1021500 #constraints=4609 1469.28/1469.81 c nbDecision=1022000 #constraints=4609 1469.98/1470.53 c nbDecision=1022500 #constraints=4609 1470.68/1471.24 c nbDecision=1023000 #constraints=4609 1471.38/1471.94 c nbDecision=1023500 #constraints=4609 1472.08/1472.65 c nbDecision=1024000 #constraints=4609 1472.78/1473.34 c nbDecision=1024500 #constraints=4609 1473.49/1474.04 c nbDecision=1025000 #constraints=4609 1474.18/1474.73 c nbDecision=1025500 #constraints=4609 1474.88/1475.43 c nbDecision=1026000 #constraints=4609 1475.59/1476.13 c nbDecision=1026500 #constraints=4609 1476.28/1476.82 c nbDecision=1027000 #constraints=4609 1476.98/1477.51 c nbDecision=1027500 #constraints=4609 1477.68/1478.20 c nbDecision=1028000 #constraints=4609 1478.38/1478.95 c nbDecision=1028500 #constraints=4610 1479.08/1479.69 c nbDecision=1029000 #constraints=4610 1479.88/1480.43 c nbDecision=1029500 #constraints=4610 1480.58/1481.17 c nbDecision=1030000 #constraints=4610 1481.38/1481.91 c nbDecision=1030500 #constraints=4610 1482.08/1482.65 c nbDecision=1031000 #constraints=4610 1482.78/1483.39 c nbDecision=1031500 #constraints=4610 1483.58/1484.13 c nbDecision=1032000 #constraints=4610 1484.28/1484.87 c nbDecision=1032500 #constraints=4610 1485.08/1485.61 c nbDecision=1033000 #constraints=4610 1485.78/1486.35 c nbDecision=1033500 #constraints=4610 1486.48/1487.08 c nbDecision=1034000 #constraints=4610 1487.28/1487.82 c nbDecision=1034500 #constraints=4610 1487.98/1488.56 c nbDecision=1035000 #constraints=4610 1488.68/1489.28 c nbDecision=1035500 #constraints=4610 1489.48/1490.01 c nbDecision=1036000 #constraints=4610 1490.18/1490.74 c nbDecision=1036500 #constraints=4610 1490.88/1491.47 c nbDecision=1037000 #constraints=4610 1491.58/1492.19 c nbDecision=1037500 #constraints=4610 1492.38/1492.91 c nbDecision=1038000 #constraints=4610 1493.08/1493.63 c nbDecision=1038500 #constraints=4610 1493.78/1494.35 c nbDecision=1039000 #constraints=4610 1494.48/1495.06 c nbDecision=1039500 #constraints=4610 1495.18/1495.77 c nbDecision=1040000 #constraints=4610 1495.88/1496.48 c nbDecision=1040500 #constraints=4610 1496.58/1497.19 c nbDecision=1041000 #constraints=4610 1497.28/1497.89 c nbDecision=1041500 #constraints=4610 1498.08/1498.61 c nbDecision=1042000 #constraints=4610 1498.78/1499.31 c nbDecision=1042500 #constraints=4610 1499.48/1500.01 c nbDecision=1043000 #constraints=4610 1500.17/1500.71 c nbDecision=1043500 #constraints=4610 1500.88/1501.42 c nbDecision=1044000 #constraints=4610 1501.57/1502.13 c nbDecision=1044500 #constraints=4610 1502.27/1502.83 c nbDecision=1045000 #constraints=4610 1502.97/1503.54 c nbDecision=1045500 #constraints=4610 1503.67/1504.24 c nbDecision=1046000 #constraints=4610 1504.37/1504.95 c nbDecision=1046500 #constraints=4610 1505.07/1505.65 c nbDecision=1047000 #constraints=4610 1505.77/1506.35 c nbDecision=1047500 #constraints=4610 1506.48/1507.05 c nbDecision=1048000 #constraints=4610 1507.17/1507.75 c nbDecision=1048500 #constraints=4610 1507.87/1508.45 c nbDecision=1049000 #constraints=4610 1508.58/1509.15 c nbDecision=1049500 #constraints=4610 1509.37/1509.90 c nbDecision=1050000 #constraints=4611 1510.07/1510.65 c nbDecision=1050500 #constraints=4611 1510.88/1511.41 c nbDecision=1051000 #constraints=4611 1511.57/1512.15 c nbDecision=1051500 #constraints=4611 1512.27/1512.89 c nbDecision=1052000 #constraints=4611 1513.07/1513.63 c nbDecision=1052500 #constraints=4611 1513.77/1514.37 c nbDecision=1053000 #constraints=4611 1514.57/1515.10 c nbDecision=1053500 #constraints=4611 1515.27/1515.83 c nbDecision=1054000 #constraints=4611 1515.97/1516.57 c nbDecision=1054500 #constraints=4611 1516.77/1517.30 c nbDecision=1055000 #constraints=4611 1517.47/1518.02 c nbDecision=1055500 #constraints=4611 1518.17/1518.75 c nbDecision=1056000 #constraints=4611 1518.87/1519.48 c nbDecision=1056500 #constraints=4611 1519.67/1520.21 c nbDecision=1057000 #constraints=4611 1520.37/1520.93 c nbDecision=1057500 #constraints=4611 1521.07/1521.65 c nbDecision=1058000 #constraints=4611 1521.77/1522.38 c nbDecision=1058500 #constraints=4611 1522.57/1523.12 c nbDecision=1059000 #constraints=4611 1523.27/1523.85 c nbDecision=1059500 #constraints=4611 1523.97/1524.57 c nbDecision=1060000 #constraints=4611 1524.67/1525.29 c nbDecision=1060500 #constraints=4611 1525.47/1526.02 c nbDecision=1061000 #constraints=4611 1526.17/1526.74 c nbDecision=1061500 #constraints=4611 1526.87/1527.47 c nbDecision=1062000 #constraints=4611 1527.57/1528.19 c nbDecision=1062500 #constraints=4611 1528.37/1528.91 c nbDecision=1063000 #constraints=4611 1529.07/1529.63 c nbDecision=1063500 #constraints=4611 1529.77/1530.34 c nbDecision=1064000 #constraints=4611 1530.47/1531.06 c nbDecision=1064500 #constraints=4611 1531.17/1531.77 c nbDecision=1065000 #constraints=4611 1531.87/1532.48 c nbDecision=1065500 #constraints=4611 1532.57/1533.19 c nbDecision=1066000 #constraints=4611 1533.26/1533.89 c nbDecision=1066500 #constraints=4611 1533.97/1534.60 c nbDecision=1067000 #constraints=4611 1534.66/1535.29 c nbDecision=1067500 #constraints=4611 1535.36/1535.99 c nbDecision=1068000 #constraints=4611 1536.07/1536.69 c nbDecision=1068500 #constraints=4611 1536.76/1537.39 c nbDecision=1069000 #constraints=4611 1537.46/1538.09 c nbDecision=1069500 #constraints=4611 1538.16/1538.78 c nbDecision=1070000 #constraints=4611 1538.86/1539.48 c nbDecision=1070500 #constraints=4611 1539.56/1540.17 c nbDecision=1071000 #constraints=4611 1540.26/1540.86 c nbDecision=1071500 #constraints=4611 1540.96/1541.55 c nbDecision=1072000 #constraints=4611 1541.76/1542.30 c nbDecision=1072500 #constraints=4612 1542.46/1543.05 c nbDecision=1073000 #constraints=4612 1543.26/1543.80 c nbDecision=1073500 #constraints=4612 1543.96/1544.55 c nbDecision=1074000 #constraints=4612 1544.76/1545.30 c nbDecision=1074500 #constraints=4612 1545.46/1546.04 c nbDecision=1075000 #constraints=4612 1546.16/1546.79 c nbDecision=1075500 #constraints=4612 1546.96/1547.53 c nbDecision=1076000 #constraints=4612 1547.66/1548.28 c nbDecision=1076500 #constraints=4612 1548.46/1549.02 c nbDecision=1077000 #constraints=4612 1549.16/1549.76 c nbDecision=1077500 #constraints=4612 1549.96/1550.50 c nbDecision=1078000 #constraints=4612 1550.66/1551.24 c nbDecision=1078500 #constraints=4612 1551.36/1551.97 c nbDecision=1079000 #constraints=4612 1552.16/1552.70 c nbDecision=1079500 #constraints=4612 1552.85/1553.43 c nbDecision=1080000 #constraints=4612 1553.55/1554.15 c nbDecision=1080500 #constraints=4612 1554.25/1554.88 c nbDecision=1081000 #constraints=4612 1555.05/1555.60 c nbDecision=1081500 #constraints=4612 1555.75/1556.32 c nbDecision=1082000 #constraints=4612 1556.45/1557.05 c nbDecision=1082500 #constraints=4612 1557.15/1557.77 c nbDecision=1083000 #constraints=4612 1557.85/1558.49 c nbDecision=1083500 #constraints=4612 1558.65/1559.21 c nbDecision=1084000 #constraints=4612 1559.35/1559.92 c nbDecision=1084500 #constraints=4612 1560.05/1560.64 c nbDecision=1085000 #constraints=4612 1560.75/1561.35 c nbDecision=1085500 #constraints=4612 1561.46/1562.07 c nbDecision=1086000 #constraints=4612 1562.15/1562.78 c nbDecision=1086500 #constraints=4612 1562.95/1563.50 c nbDecision=1087000 #constraints=4612 1563.66/1564.22 c nbDecision=1087500 #constraints=4612 1564.35/1564.92 c nbDecision=1088000 #constraints=4612 1565.05/1565.63 c nbDecision=1088500 #constraints=4612 1565.75/1566.35 c nbDecision=1089000 #constraints=4612 1566.45/1567.06 c nbDecision=1089500 #constraints=4612 1567.15/1567.77 c nbDecision=1090000 #constraints=4612 1567.85/1568.48 c nbDecision=1090500 #constraints=4612 1568.55/1569.18 c nbDecision=1091000 #constraints=4612 1569.25/1569.89 c nbDecision=1091500 #constraints=4612 1569.95/1570.59 c nbDecision=1092000 #constraints=4612 1570.65/1571.29 c nbDecision=1092500 #constraints=4612 1571.35/1571.99 c nbDecision=1093000 #constraints=4612 1572.05/1572.69 c nbDecision=1093500 #constraints=4612 1572.75/1573.38 c nbDecision=1094000 #constraints=4612 1573.45/1574.07 c nbDecision=1094500 #constraints=4612 1574.15/1574.76 c nbDecision=1095000 #constraints=4612 1574.95/1575.53 c nbDecision=1095500 #constraints=4613 1575.65/1576.27 c nbDecision=1096000 #constraints=4613 1576.45/1577.01 c nbDecision=1096500 #constraints=4613 1577.15/1577.74 c nbDecision=1097000 #constraints=4613 1577.85/1578.48 c nbDecision=1097500 #constraints=4613 1578.65/1579.22 c nbDecision=1098000 #constraints=4613 1579.35/1579.95 c nbDecision=1098500 #constraints=4613 1580.05/1580.68 c nbDecision=1099000 #constraints=4613 1580.85/1581.42 c nbDecision=1099500 #constraints=4613 1581.55/1582.15 c nbDecision=1100000 #constraints=4613 1582.25/1582.89 c nbDecision=1100500 #constraints=4613 1583.05/1583.63 c nbDecision=1101000 #constraints=4613 1583.75/1584.36 c nbDecision=1101500 #constraints=4613 1584.45/1585.09 c nbDecision=1102000 #constraints=4613 1585.25/1585.82 c nbDecision=1102500 #constraints=4613 1585.94/1586.55 c nbDecision=1103000 #constraints=4613 1586.65/1587.28 c nbDecision=1103500 #constraints=4613 1587.44/1588.01 c nbDecision=1104000 #constraints=4613 1588.14/1588.73 c nbDecision=1104500 #constraints=4613 1588.85/1589.46 c nbDecision=1105000 #constraints=4613 1589.54/1590.18 c nbDecision=1105500 #constraints=4613 1590.34/1590.90 c nbDecision=1106000 #constraints=4613 1591.05/1591.62 c nbDecision=1106500 #constraints=4613 1591.74/1592.34 c nbDecision=1107000 #constraints=4613 1592.44/1593.05 c nbDecision=1107500 #constraints=4613 1593.14/1593.76 c nbDecision=1108000 #constraints=4613 1593.84/1594.47 c nbDecision=1108500 #constraints=4613 1594.54/1595.18 c nbDecision=1109000 #constraints=4613 1595.24/1595.89 c nbDecision=1109500 #constraints=4613 1595.94/1596.59 c nbDecision=1110000 #constraints=4613 1596.74/1597.30 c nbDecision=1110500 #constraints=4613 1597.44/1598.00 c nbDecision=1111000 #constraints=4613 1598.14/1598.70 c nbDecision=1111500 #constraints=4613 1598.84/1599.41 c nbDecision=1112000 #constraints=4613 1599.54/1600.10 c nbDecision=1112500 #constraints=4613 1600.14/1600.80 c nbDecision=1113000 #constraints=4613 1600.84/1601.50 c nbDecision=1113500 #constraints=4613 1601.64/1602.20 c nbDecision=1114000 #constraints=4613 1602.24/1602.90 c nbDecision=1114500 #constraints=4613 1602.94/1603.59 c nbDecision=1115000 #constraints=4613 1603.64/1604.29 c nbDecision=1115500 #constraints=4613 1604.34/1604.98 c nbDecision=1116000 #constraints=4613 1605.14/1605.72 c nbDecision=1116500 #constraints=4614 1605.84/1606.48 c nbDecision=1117000 #constraints=4614 1606.64/1607.23 c nbDecision=1117500 #constraints=4614 1607.34/1607.98 c nbDecision=1118000 #constraints=4614 1608.14/1608.72 c nbDecision=1118500 #constraints=4614 1608.84/1609.47 c nbDecision=1119000 #constraints=4614 1609.64/1610.21 c nbDecision=1119500 #constraints=4614 1610.34/1610.95 c nbDecision=1120000 #constraints=4614 1611.14/1611.70 c nbDecision=1120500 #constraints=4614 1611.83/1612.43 c nbDecision=1121000 #constraints=4614 1612.53/1613.17 c nbDecision=1121500 #constraints=4614 1613.33/1613.90 c nbDecision=1122000 #constraints=4614 1614.03/1614.63 c nbDecision=1122500 #constraints=4614 1614.73/1615.36 c nbDecision=1123000 #constraints=4614 1615.43/1616.09 c nbDecision=1123500 #constraints=4614 1616.23/1616.81 c nbDecision=1124000 #constraints=4614 1616.93/1617.54 c nbDecision=1124500 #constraints=4614 1617.63/1618.27 c nbDecision=1125000 #constraints=4614 1618.33/1618.99 c nbDecision=1125500 #constraints=4614 1619.13/1619.71 c nbDecision=1126000 #constraints=4614 1619.83/1620.43 c nbDecision=1126500 #constraints=4614 1620.53/1621.15 c nbDecision=1127000 #constraints=4614 1621.23/1621.88 c nbDecision=1127500 #constraints=4614 1622.03/1622.60 c nbDecision=1128000 #constraints=4614 1622.73/1623.31 c nbDecision=1128500 #constraints=4614 1623.43/1624.03 c nbDecision=1129000 #constraints=4614 1624.13/1624.75 c nbDecision=1129500 #constraints=4614 1624.83/1625.47 c nbDecision=1130000 #constraints=4614 1625.53/1626.19 c nbDecision=1130500 #constraints=4614 1626.33/1626.91 c nbDecision=1131000 #constraints=4614 1627.03/1627.63 c nbDecision=1131500 #constraints=4614 1627.73/1628.34 c nbDecision=1132000 #constraints=4614 1628.43/1629.05 c nbDecision=1132500 #constraints=4614 1629.13/1629.76 c nbDecision=1133000 #constraints=4614 1629.83/1630.47 c nbDecision=1133500 #constraints=4614 1630.53/1631.18 c nbDecision=1134000 #constraints=4614 1631.23/1631.89 c nbDecision=1134500 #constraints=4614 1631.93/1632.59 c nbDecision=1135000 #constraints=4614 1632.63/1633.29 c nbDecision=1135500 #constraints=4614 1633.33/1633.98 c nbDecision=1136000 #constraints=4614 1634.03/1634.68 c nbDecision=1136500 #constraints=4614 1634.73/1635.38 c nbDecision=1137000 #constraints=4614 1635.43/1636.07 c nbDecision=1137500 #constraints=4614 1636.13/1636.76 c nbDecision=1138000 #constraints=4614 1636.82/1637.45 c nbDecision=1138500 #constraints=4614 1637.52/1638.19 c nbDecision=1139000 #constraints=4615 1638.33/1638.93 c nbDecision=1139500 #constraints=4615 1639.02/1639.67 c nbDecision=1140000 #constraints=4615 1639.82/1640.41 c nbDecision=1140500 #constraints=4615 1640.53/1641.15 c nbDecision=1141000 #constraints=4615 1641.22/1641.89 c nbDecision=1141500 #constraints=4615 1642.02/1642.64 c nbDecision=1142000 #constraints=4615 1642.72/1643.38 c nbDecision=1142500 #constraints=4615 1643.52/1644.13 c nbDecision=1143000 #constraints=4615 1644.22/1644.86 c nbDecision=1143500 #constraints=4615 1645.02/1645.61 c nbDecision=1144000 #constraints=4615 1645.72/1646.35 c nbDecision=1144500 #constraints=4615 1646.42/1647.08 c nbDecision=1145000 #constraints=4615 1647.22/1647.82 c nbDecision=1145500 #constraints=4615 1647.92/1648.56 c nbDecision=1146000 #constraints=4615 1648.62/1649.28 c nbDecision=1146500 #constraints=4615 1649.42/1650.02 c nbDecision=1147000 #constraints=4615 1650.12/1650.75 c nbDecision=1147500 #constraints=4615 1650.82/1651.48 c nbDecision=1148000 #constraints=4615 1651.62/1652.20 c nbDecision=1148500 #constraints=4615 1652.32/1652.92 c nbDecision=1149000 #constraints=4615 1653.02/1653.64 c nbDecision=1149500 #constraints=4615 1653.72/1654.36 c nbDecision=1150000 #constraints=4615 1654.42/1655.08 c nbDecision=1150500 #constraints=4615 1655.22/1655.80 c nbDecision=1151000 #constraints=4615 1655.92/1656.51 c nbDecision=1151500 #constraints=4615 1656.62/1657.23 c nbDecision=1152000 #constraints=4615 1657.32/1657.94 c nbDecision=1152500 #constraints=4615 1658.01/1658.65 c nbDecision=1153000 #constraints=4615 1658.71/1659.36 c nbDecision=1153500 #constraints=4615 1659.41/1660.07 c nbDecision=1154000 #constraints=4615 1660.11/1660.77 c nbDecision=1154500 #constraints=4615 1660.82/1661.48 c nbDecision=1155000 #constraints=4615 1661.52/1662.19 c nbDecision=1155500 #constraints=4615 1662.31/1662.90 c nbDecision=1156000 #constraints=4615 1663.01/1663.62 c nbDecision=1156500 #constraints=4615 1663.72/1664.33 c nbDecision=1157000 #constraints=4615 1664.41/1665.03 c nbDecision=1157500 #constraints=4615 1665.11/1665.74 c nbDecision=1158000 #constraints=4615 1665.82/1666.44 c nbDecision=1158500 #constraints=4615 1666.51/1667.15 c nbDecision=1159000 #constraints=4615 1667.21/1667.85 c nbDecision=1159500 #constraints=4615 1667.91/1668.54 c nbDecision=1160000 #constraints=4615 1668.61/1669.24 c nbDecision=1160500 #constraints=4615 1669.31/1669.93 c nbDecision=1161000 #constraints=4615 1670.01/1670.62 c nbDecision=1161500 #constraints=4615 1670.81/1671.40 c nbDecision=1162000 #constraints=4616 1671.51/1672.14 c nbDecision=1162500 #constraints=4616 1672.21/1672.88 c nbDecision=1163000 #constraints=4616 1673.01/1673.62 c nbDecision=1163500 #constraints=4616 1673.71/1674.36 c nbDecision=1164000 #constraints=4616 1674.41/1675.09 c nbDecision=1164500 #constraints=4616 1675.21/1675.82 c nbDecision=1165000 #constraints=4616 1675.91/1676.55 c nbDecision=1165500 #constraints=4616 1676.61/1677.29 c nbDecision=1166000 #constraints=4616 1677.41/1678.02 c nbDecision=1166500 #constraints=4616 1678.11/1678.75 c nbDecision=1167000 #constraints=4616 1678.81/1679.46 c nbDecision=1167500 #constraints=4616 1679.51/1680.19 c nbDecision=1168000 #constraints=4616 1680.31/1680.91 c nbDecision=1168500 #constraints=4616 1681.01/1681.64 c nbDecision=1169000 #constraints=4616 1681.71/1682.37 c nbDecision=1169500 #constraints=4616 1682.41/1683.09 c nbDecision=1170000 #constraints=4616 1683.21/1683.82 c nbDecision=1170500 #constraints=4616 1683.91/1684.54 c nbDecision=1171000 #constraints=4616 1684.61/1685.27 c nbDecision=1171500 #constraints=4616 1685.30/1685.99 c nbDecision=1172000 #constraints=4616 1686.10/1686.72 c nbDecision=1172500 #constraints=4616 1686.81/1687.44 c nbDecision=1173000 #constraints=4616 1687.50/1688.16 c nbDecision=1173500 #constraints=4616 1688.20/1688.88 c nbDecision=1174000 #constraints=4616 1688.91/1689.59 c nbDecision=1174500 #constraints=4616 1689.70/1690.31 c nbDecision=1175000 #constraints=4616 1690.40/1691.03 c nbDecision=1175500 #constraints=4616 1691.11/1691.74 c nbDecision=1176000 #constraints=4616 1691.80/1692.44 c nbDecision=1176500 #constraints=4616 1692.50/1693.15 c nbDecision=1177000 #constraints=4616 1693.20/1693.85 c nbDecision=1177500 #constraints=4616 1693.90/1694.56 c nbDecision=1178000 #constraints=4616 1694.60/1695.25 c nbDecision=1178500 #constraints=4616 1695.30/1695.95 c nbDecision=1179000 #constraints=4616 1696.00/1696.65 c nbDecision=1179500 #constraints=4616 1696.70/1697.35 c nbDecision=1180000 #constraints=4616 1697.40/1698.05 c nbDecision=1180500 #constraints=4616 1698.10/1698.74 c nbDecision=1181000 #constraints=4616 1698.80/1699.44 c nbDecision=1181500 #constraints=4616 1699.50/1700.13 c nbDecision=1182000 #constraints=4616 1700.20/1700.82 c nbDecision=1182500 #constraints=4616 1700.90/1701.57 c nbDecision=1183000 #constraints=4617 1701.70/1702.32 c nbDecision=1183500 #constraints=4617 1702.40/1703.07 c nbDecision=1184000 #constraints=4617 1703.20/1703.81 c nbDecision=1184500 #constraints=4617 1703.90/1704.56 c nbDecision=1185000 #constraints=4617 1704.60/1705.29 c nbDecision=1185500 #constraints=4617 1705.40/1706.04 c nbDecision=1186000 #constraints=4617 1706.10/1706.78 c nbDecision=1186500 #constraints=4617 1706.90/1707.52 c nbDecision=1187000 #constraints=4617 1707.60/1708.26 c nbDecision=1187500 #constraints=4617 1708.30/1709.00 c nbDecision=1188000 #constraints=4617 1709.10/1709.74 c nbDecision=1188500 #constraints=4617 1709.80/1710.47 c nbDecision=1189000 #constraints=4617 1710.59/1711.21 c nbDecision=1189500 #constraints=4617 1711.29/1711.94 c nbDecision=1190000 #constraints=4617 1712.00/1712.67 c nbDecision=1190500 #constraints=4617 1712.79/1713.40 c nbDecision=1191000 #constraints=4617 1713.49/1714.12 c nbDecision=1191500 #constraints=4617 1714.20/1714.85 c nbDecision=1192000 #constraints=4617 1714.89/1715.57 c nbDecision=1192500 #constraints=4617 1715.59/1716.29 c nbDecision=1193000 #constraints=4617 1716.40/1717.01 c nbDecision=1193500 #constraints=4617 1717.09/1717.73 c nbDecision=1194000 #constraints=4617 1717.79/1718.44 c nbDecision=1194500 #constraints=4617 1718.49/1719.16 c nbDecision=1195000 #constraints=4617 1719.19/1719.88 c nbDecision=1195500 #constraints=4617 1719.89/1720.59 c nbDecision=1196000 #constraints=4617 1720.69/1721.30 c nbDecision=1196500 #constraints=4617 1721.39/1722.01 c nbDecision=1197000 #constraints=4617 1722.09/1722.73 c nbDecision=1197500 #constraints=4617 1722.79/1723.44 c nbDecision=1198000 #constraints=4617 1723.49/1724.16 c nbDecision=1198500 #constraints=4617 1724.19/1724.87 c nbDecision=1199000 #constraints=4617 1724.89/1725.58 c nbDecision=1199500 #constraints=4617 1725.59/1726.28 c nbDecision=1200000 #constraints=4617 1726.29/1726.99 c nbDecision=1200500 #constraints=4617 1726.99/1727.70 c nbDecision=1201000 #constraints=4617 1727.69/1728.39 c nbDecision=1201500 #constraints=4617 1728.39/1729.10 c nbDecision=1202000 #constraints=4617 1729.19/1729.80 c nbDecision=1202500 #constraints=4617 1729.89/1730.51 c nbDecision=1203000 #constraints=4617 1730.59/1731.21 c nbDecision=1203500 #constraints=4617 1731.29/1731.91 c nbDecision=1204000 #constraints=4617 1731.99/1732.60 c nbDecision=1204500 #constraints=4617 1732.59/1733.29 c nbDecision=1205000 #constraints=4617 1733.39/1734.04 c nbDecision=1205500 #constraints=4618 1734.09/1734.78 c nbDecision=1206000 #constraints=4618 1734.89/1735.52 c nbDecision=1206500 #constraints=4618 1735.59/1736.25 c nbDecision=1207000 #constraints=4618 1736.29/1736.99 c nbDecision=1207500 #constraints=4618 1737.09/1737.73 c nbDecision=1208000 #constraints=4618 1737.79/1738.47 c nbDecision=1208500 #constraints=4618 1738.59/1739.21 c nbDecision=1209000 #constraints=4618 1739.29/1739.94 c nbDecision=1209500 #constraints=4618 1739.99/1740.68 c nbDecision=1210000 #constraints=4618 1740.79/1741.41 c nbDecision=1210500 #constraints=4618 1741.49/1742.15 c nbDecision=1211000 #constraints=4618 1742.19/1742.88 c nbDecision=1211500 #constraints=4618 1742.98/1743.62 c nbDecision=1212000 #constraints=4618 1743.68/1744.35 c nbDecision=1212500 #constraints=4618 1744.38/1745.09 c nbDecision=1213000 #constraints=4618 1745.18/1745.82 c nbDecision=1213500 #constraints=4618 1745.88/1746.55 c nbDecision=1214000 #constraints=4618 1746.58/1747.28 c nbDecision=1214500 #constraints=4618 1747.38/1748.01 c nbDecision=1215000 #constraints=4618 1748.08/1748.74 c nbDecision=1215500 #constraints=4618 1748.78/1749.47 c nbDecision=1216000 #constraints=4618 1749.49/1750.19 c nbDecision=1216500 #constraints=4618 1750.28/1750.91 c nbDecision=1217000 #constraints=4618 1750.98/1751.63 c nbDecision=1217500 #constraints=4618 1751.69/1752.35 c nbDecision=1218000 #constraints=4618 1752.38/1753.06 c nbDecision=1218500 #constraints=4618 1753.08/1753.78 c nbDecision=1219000 #constraints=4618 1753.78/1754.49 c nbDecision=1219500 #constraints=4618 1754.48/1755.19 c nbDecision=1220000 #constraints=4618 1755.28/1755.90 c nbDecision=1220500 #constraints=4618 1755.98/1756.61 c nbDecision=1221000 #constraints=4618 1756.68/1757.31 c nbDecision=1221500 #constraints=4618 1757.38/1758.02 c nbDecision=1222000 #constraints=4618 1758.08/1758.72 c nbDecision=1222500 #constraints=4618 1758.78/1759.42 c nbDecision=1223000 #constraints=4618 1759.48/1760.12 c nbDecision=1223500 #constraints=4618 1760.18/1760.82 c nbDecision=1224000 #constraints=4618 1760.88/1761.52 c nbDecision=1224500 #constraints=4618 1761.58/1762.22 c nbDecision=1225000 #constraints=4618 1762.28/1762.92 c nbDecision=1225500 #constraints=4618 1762.97/1763.62 c nbDecision=1226000 #constraints=4618 1763.68/1764.32 c nbDecision=1226500 #constraints=4618 1764.37/1765.02 c nbDecision=1227000 #constraints=4618 1765.07/1765.72 c nbDecision=1227500 #constraints=4618 1765.77/1766.47 c nbDecision=1228000 #constraints=4619 1766.57/1767.22 c nbDecision=1228500 #constraints=4619 1767.27/1767.97 c nbDecision=1229000 #constraints=4619 1768.08/1768.71 c nbDecision=1229500 #constraints=4619 1768.77/1769.46 c nbDecision=1230000 #constraints=4619 1769.57/1770.20 c nbDecision=1230500 #constraints=4619 1770.28/1770.94 c nbDecision=1231000 #constraints=4619 1770.97/1771.68 c nbDecision=1231500 #constraints=4619 1771.77/1772.42 c nbDecision=1232000 #constraints=4619 1772.48/1773.15 c nbDecision=1232500 #constraints=4619 1773.17/1773.88 c nbDecision=1233000 #constraints=4619 1773.97/1774.61 c nbDecision=1233500 #constraints=4619 1774.68/1775.33 c nbDecision=1234000 #constraints=4619 1775.37/1776.06 c nbDecision=1234500 #constraints=4619 1776.07/1776.78 c nbDecision=1235000 #constraints=4619 1776.87/1777.51 c nbDecision=1235500 #constraints=4619 1777.57/1778.23 c nbDecision=1236000 #constraints=4619 1778.27/1778.95 c nbDecision=1236500 #constraints=4619 1778.97/1779.67 c nbDecision=1237000 #constraints=4619 1779.67/1780.39 c nbDecision=1237500 #constraints=4619 1780.47/1781.11 c nbDecision=1238000 #constraints=4619 1781.17/1781.83 c nbDecision=1238500 #constraints=4619 1781.87/1782.55 c nbDecision=1239000 #constraints=4619 1782.57/1783.26 c nbDecision=1239500 #constraints=4619 1783.27/1783.97 c nbDecision=1240000 #constraints=4619 1783.97/1784.69 c nbDecision=1240500 #constraints=4619 1784.77/1785.41 c nbDecision=1241000 #constraints=4619 1785.47/1786.13 c nbDecision=1241500 #constraints=4619 1786.17/1786.84 c nbDecision=1242000 #constraints=4619 1786.87/1787.55 c nbDecision=1242500 #constraints=4619 1787.57/1788.26 c nbDecision=1243000 #constraints=4619 1788.27/1788.97 c nbDecision=1243500 #constraints=4619 1788.97/1789.68 c nbDecision=1244000 #constraints=4619 1789.67/1790.39 c nbDecision=1244500 #constraints=4619 1790.37/1791.09 c nbDecision=1245000 #constraints=4619 1791.07/1791.80 c nbDecision=1245500 #constraints=4619 1791.77/1792.49 c nbDecision=1246000 #constraints=4619 1792.47/1793.19 c nbDecision=1246500 #constraints=4619 1793.17/1793.88 c nbDecision=1247000 #constraints=4619 1793.87/1794.58 c nbDecision=1247500 #constraints=4619 1794.57/1795.27 c nbDecision=1248000 #constraints=4619 1795.27/1795.96 c nbDecision=1248500 #constraints=4619 1795.96/1796.69 c nbDecision=1249000 #constraints=4620 1796.77/1797.43 c nbDecision=1249500 #constraints=4620 1797.46/1798.16 c nbDecision=1250000 #constraints=4620 1798.26/1798.90 c nbDecision=1250500 #constraints=4620 1798.97/1799.63 c nbDecision=1251000 #constraints=4620 1799.66/1800.37 c nbDecision=1251500 #constraints=4620 1800.07/1800.71 Received signal 15 1800.07/1800.71 1800.07/1800.71 s UNKNOWN 1800.07/1800.71 1800.07/1800.71 c user time= 1799.99 s 1800.07/1800.71 c system time= 0.099984 s 1800.07/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-356902-1176847507 -o ROOT/results/node70/solver-356902-1176847507 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356902-1176847507/instance-356902-1176847507.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.72 0.93 0.98 3/64 13955 /proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=1620 CPUtime=0 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 124288145 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 405 174 126 317 0 84 0 [startup+0.077664 s] /proc/loadavg: 0.72 0.93 0.98 3/64 13955 /proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=3440 CPUtime=0.07 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 791 0 0 0 7 0 0 0 18 0 1 0 124288145 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 860 546 127 317 0 539 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3440 [startup+0.101665 s] /proc/loadavg: 0.72 0.93 0.98 3/64 13955 /proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=3440 CPUtime=0.09 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 124288145 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 860 546 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301685 s] /proc/loadavg: 0.72 0.93 0.98 3/64 13955 /proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=7164 CPUtime=0.29 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 1724 0 0 0 29 0 0 0 19 0 1 0 124288145 7335936 1479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 1791 1479 131 317 0 1470 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7164 [startup+0.701725 s] /proc/loadavg: 0.72 0.93 0.98 3/64 13955 /proc/meminfo: memFree=1667208/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=16140 CPUtime=0.69 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 3977 0 0 0 68 1 0 0 22 0 1 0 124288145 16527360 3732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 4035 3732 131 317 0 3714 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16140 [startup+1.5018 s] /proc/loadavg: 0.72 0.93 0.98 2/65 13956 /proc/meminfo: memFree=1639168/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=31996 CPUtime=1.49 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7934 0 0 0 146 3 0 0 25 0 1 0 124288145 32763904 7689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 7999 7689 138 317 0 7678 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31996 [startup+3.10197 s] /proc/loadavg: 0.72 0.93 0.98 2/65 13956 /proc/meminfo: memFree=1636736/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=31996 CPUtime=3.09 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7935 0 0 0 306 3 0 0 25 0 1 0 124288145 32763904 7690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 7999 7690 138 317 0 7678 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31996 [startup+6.30128 s] /proc/loadavg: 0.74 0.94 0.98 2/65 13956 /proc/meminfo: memFree=1636616/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=31996 CPUtime=6.29 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7937 0 0 0 626 3 0 0 25 0 1 0 124288145 32763904 7692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 7999 7692 138 317 0 7678 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31996 [startup+12.7019 s] /proc/loadavg: 0.76 0.94 0.98 2/65 13956 /proc/meminfo: memFree=1636616/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=31996 CPUtime=12.69 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7940 0 0 0 1266 3 0 0 25 0 1 0 124288145 32763904 7695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 7999 7695 138 317 0 7678 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31996 [startup+25.5012 s] /proc/loadavg: 0.81 0.94 0.98 2/65 13956 /proc/meminfo: memFree=1636680/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=31996 CPUtime=25.48 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7945 0 0 0 2545 3 0 0 25 0 1 0 124288145 32763904 7700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 7999 7700 138 317 0 7678 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31996 [startup+51.1018 s] /proc/loadavg: 0.95 0.96 0.98 2/65 13956 /proc/meminfo: memFree=1636744/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32124 CPUtime=51.07 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 7957 0 0 0 5104 3 0 0 25 0 1 0 124288145 32894976 7712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8031 7712 138 317 0 7710 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32124 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/65 13956 /proc/meminfo: memFree=1636552/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=102.26 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 10223 3 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562888 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32504 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636552/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=162.25 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 16221 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 32504 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=222.23 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 22219 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 32504 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=282.21 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 28217 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32504 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=342.19 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 34215 4 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 32504 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=402.17 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 40212 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 32504 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=462.15 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 46210 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 32504 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=522.13 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 52208 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 32504 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=582.11 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 58206 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 32504 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636488/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=642.09 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 64204 5 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 32504 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=881.99 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 88193 6 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 32504 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=941.97 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 94191 6 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 32504 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636424/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1001.95 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 100188 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 32504 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1061.93 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 106186 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 32504 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1121.9 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 112183 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 32504 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1181.88 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 118181 7 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 32504 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1241.86 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 124178 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 32504 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1301.85 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 130177 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 32504 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1361.82 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 136174 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 32504 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1421.8 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 142172 8 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 32504 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1481.78 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8017 0 0 0 148169 9 0 0 25 0 1 0 124288145 33284096 7772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7772 139 317 0 7805 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 32504 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1541.76 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8020 0 0 0 154167 9 0 0 25 0 1 0 124288145 33284096 7775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7775 139 317 0 7805 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 32504 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1601.74 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8021 0 0 0 160165 9 0 0 25 0 1 0 124288145 33284096 7776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7776 139 317 0 7805 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 32504 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636360/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1661.71 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8025 0 0 0 166162 9 0 0 25 0 1 0 124288145 33284096 7780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7780 139 317 0 7805 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 32504 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1721.69 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8030 0 0 0 172160 9 0 0 25 0 1 0 124288145 33284096 7785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7785 139 317 0 7805 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 32504 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1781.67 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8033 0 0 0 178158 9 0 0 25 0 1 0 124288145 33284096 7788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7788 139 317 0 7805 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 32504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1800.07 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8035 0 0 0 179998 9 0 0 25 0 1 0 124288145 33284096 7790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7790 139 317 0 7805 0 Current children cumulated CPU time (s) 1800.07 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 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/65 13956 /proc/meminfo: memFree=1636296/2055920 swapFree=4183760/4192956 [pid=13955] ppid=13953 vsize=32504 CPUtime=1800.07 /proc/13955/stat : 13955 (oree) R 13953 13955 13898 0 -1 4194304 8035 0 0 0 179998 9 0 0 25 0 1 0 124288145 33284096 7790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13955/statm: 8126 7790 139 317 0 7805 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 32504 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.11 CPU user time (s): 1800 CPU system time (s): 0.104984 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 32504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.104984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8051 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= 5702 runsolver used 1.41378 second user time and 3.65444 second system time The end
Begin job on node70 on Tue Apr 17 22:05:08 UTC 2007 IDJOB= 356902 IDBENCH= 1614 IDSOLVER= 172 FILE ID= node70/356902-1176847507 PBS_JOBID= 4590213 Free space on /tmp= 66542 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-A2C1S1.opb COMMAND LINE= oree /tmp/evaluation/356902-1176847507/instance-356902-1176847507.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-356902-1176847507 -o ROOT/results/node70/solver-356902-1176847507 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356902-1176847507/instance-356902-1176847507.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f1062f0a31768badc14bf5e03feddb4c RANDOM SEED= 318228391 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1667616 kB Buffers: 41336 kB Cached: 275560 kB SwapCached: 3656 kB Active: 163220 kB Inactive: 163600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1667616 kB SwapTotal: 4192956 kB SwapFree: 4183760 kB Dirty: 4792 kB Writeback: 0 kB Mapped: 15332 kB Slab: 47584 kB Committed_AS: 2436948 kB PageTables: 1396 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= 66542 MiB End job on node70 on Tue Apr 17 22:35:11 UTC 2007