Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb |
MD5SUM | daeaeaee67028e931b0f5195f178e9b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 107520 |
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 | 50 |
Maximum length of a constraint | 820 |
Number of terms in the objective function | 41280 |
Biggest coefficient in the objective function | 1342177280000000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 260295726093315792 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1342177280000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 260295726093315792 |
Number of bits of the biggest sum of numbers | 58 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.18/1.24 c ...done 1.18/1.24 c #vars=107520 #constraints=4561 hasObjective=yes 1.69/1.77 c res. mode=mod 1.69/1.77 c VSIDS like heuristics 1.69/1.77 c complete search running 2.49/2.53 c restart after 401 decisions 2.59/2.69 c nbDecision=500 #constraints=4561 3.09/3.16 c restart after 801 decisions 3.39/3.47 c nbDecision=1000 #constraints=4561 4.19/4.26 c nbDecision=1500 #constraints=4561 4.39/4.42 c restart after 1601 decisions 4.99/5.05 c nbDecision=2000 #constraints=4561 5.79/5.83 c nbDecision=2500 #constraints=4561 6.59/6.62 c nbDecision=3000 #constraints=4561 6.89/6.94 c restart after 3201 decisions 7.39/7.41 c nbDecision=3500 #constraints=4561 8.09/8.19 c nbDecision=4000 #constraints=4561 8.89/8.98 c nbDecision=4500 #constraints=4561 9.69/9.76 c nbDecision=5000 #constraints=4561 10.49/10.54 c nbDecision=5500 #constraints=4561 11.28/11.32 c nbDecision=6000 #constraints=4561 11.88/11.94 c restart after 6401 decisions 12.09/12.11 c nbDecision=6500 #constraints=4561 12.79/12.89 c nbDecision=7000 #constraints=4561 13.58/13.67 c nbDecision=7500 #constraints=4561 14.38/14.44 c nbDecision=8000 #constraints=4561 15.18/15.22 c nbDecision=8500 #constraints=4561 15.98/16.00 c nbDecision=9000 #constraints=4561 16.68/16.78 c nbDecision=9500 #constraints=4561 17.49/17.55 c nbDecision=10000 #constraints=4561 18.28/18.32 c nbDecision=10500 #constraints=4561 18.98/19.09 c nbDecision=11000 #constraints=4561 19.79/19.86 c nbDecision=11500 #constraints=4561 20.58/20.63 c nbDecision=12000 #constraints=4561 21.38/21.45 c nbDecision=12500 #constraints=4561 22.18/22.26 c restart after 12801 decisions 22.48/22.59 c nbDecision=13000 #constraints=4561 23.28/23.37 c nbDecision=13500 #constraints=4561 24.09/24.16 c nbDecision=14000 #constraints=4561 24.88/24.93 c nbDecision=14500 #constraints=4561 25.68/25.72 c nbDecision=15000 #constraints=4561 26.48/26.50 c nbDecision=15500 #constraints=4561 27.18/27.28 c nbDecision=16000 #constraints=4561 27.98/28.05 c nbDecision=16500 #constraints=4561 28.78/28.82 c nbDecision=17000 #constraints=4561 29.48/29.60 c nbDecision=17500 #constraints=4561 30.28/30.37 c nbDecision=18000 #constraints=4561 31.08/31.13 c nbDecision=18500 #constraints=4561 31.98/32.06 c nbDecision=19000 #constraints=4561 33.28/33.37 c nbDecision=19500 #constraints=4561 34.58/34.68 c nbDecision=20000 #constraints=4561 35.88/35.97 c nbDecision=20500 #constraints=4561 37.18/37.25 c nbDecision=21000 #constraints=4561 38.49/38.58 c nbDecision=21500 #constraints=4581 42.18/42.26 c nbDecision=22000 #constraints=4610 43.38/43.49 c nbDecision=22500 #constraints=4621 44.48/44.51 c nbDecision=23000 #constraints=4621 45.48/45.52 c nbDecision=23500 #constraints=4621 46.48/46.51 c nbDecision=24000 #constraints=4621 47.48/47.51 c nbDecision=24500 #constraints=4621 48.78/48.89 c nbDecision=25000 #constraints=4641 50.28/50.32 c nbDecision=25500 #constraints=4644 50.48/50.54 c restart after 25601 decisions 51.18/51.21 c nbDecision=26000 #constraints=4644 51.88/51.97 c nbDecision=26500 #constraints=4644 52.68/52.74 c nbDecision=27000 #constraints=4644 53.48/53.52 c nbDecision=27500 #constraints=4644 54.28/54.30 c nbDecision=28000 #constraints=4644 54.98/55.06 c nbDecision=28500 #constraints=4644 55.78/55.83 c nbDecision=29000 #constraints=4644 56.57/56.61 c nbDecision=29500 #constraints=4644 57.27/57.38 c nbDecision=30000 #constraints=4644 58.07/58.14 c nbDecision=30500 #constraints=4644 58.87/58.90 c nbDecision=31000 #constraints=4644 59.57/59.67 c nbDecision=31500 #constraints=4644 60.77/60.82 c nbDecision=32000 #constraints=4644 62.07/62.15 c nbDecision=32500 #constraints=4644 63.37/63.46 c nbDecision=33000 #constraints=4644 64.67/64.76 c nbDecision=33500 #constraints=4644 65.97/66.05 c nbDecision=34000 #constraints=4644 67.37/67.40 c nbDecision=34500 #constraints=4648 68.47/68.59 c nbDecision=35000 #constraints=4652 69.57/69.62 c nbDecision=35500 #constraints=4652 70.57/70.64 c nbDecision=36000 #constraints=4652 71.57/71.65 c nbDecision=36500 #constraints=4652 72.57/72.64 c nbDecision=37000 #constraints=4652 73.67/73.74 c nbDecision=37500 #constraints=4656 75.57/75.68 c nbDecision=38000 #constraints=4690 76.66/76.72 c nbDecision=38500 #constraints=4690 77.66/77.75 c nbDecision=39000 #constraints=4690 78.66/78.77 c nbDecision=39500 #constraints=4690 79.66/79.79 c nbDecision=40000 #constraints=4690 80.66/80.79 c nbDecision=40500 #constraints=4690 82.86/82.97 c nbDecision=41000 #constraints=4713 83.96/84.01 c nbDecision=41500 #constraints=4723 84.96/85.02 c nbDecision=42000 #constraints=4723 85.96/86.02 c nbDecision=42500 #constraints=4723 86.96/87.01 c nbDecision=43000 #constraints=4723 87.87/87.99 c nbDecision=43500 #constraints=4723 89.26/89.33 c nbDecision=44000 #constraints=4738 90.46/90.55 c nbDecision=44500 #constraints=4749 91.46/91.59 c nbDecision=45000 #constraints=4749 92.56/92.61 c nbDecision=45500 #constraints=4749 93.56/93.63 c nbDecision=46000 #constraints=4749 94.56/94.63 c nbDecision=46500 #constraints=4749 95.56/95.68 c nbDecision=47000 #constraints=4750 96.96/97.01 c nbDecision=47500 #constraints=4758 98.56/98.62 c nbDecision=48000 #constraints=4769 99.56/99.63 c nbDecision=48500 #constraints=4769 100.56/100.64 c nbDecision=49000 #constraints=4769 101.56/101.65 c nbDecision=49500 #constraints=4769 102.56/102.64 c nbDecision=50000 #constraints=4769 103.76/103.84 c nbDecision=50500 #constraints=4773 105.16/105.23 c nbDecision=51000 #constraints=4788 105.57/105.64 c restart after 51201 decisions 106.06/106.16 c nbDecision=51500 #constraints=4788 106.86/106.93 c nbDecision=52000 #constraints=4788 107.67/107.71 c nbDecision=52500 #constraints=4788 108.46/108.50 c nbDecision=53000 #constraints=4788 109.16/109.29 c nbDecision=53500 #constraints=4788 109.97/110.07 c nbDecision=54000 #constraints=4788 110.76/110.84 c nbDecision=54500 #constraints=4788 111.56/111.61 c nbDecision=55000 #constraints=4788 112.26/112.38 c nbDecision=55500 #constraints=4788 113.06/113.15 c nbDecision=56000 #constraints=4788 113.86/113.91 c nbDecision=56500 #constraints=4788 114.56/114.68 c nbDecision=57000 #constraints=4788 115.66/115.71 c nbDecision=57500 #constraints=4788 116.96/117.03 c nbDecision=58000 #constraints=4788 118.26/118.33 c nbDecision=58500 #constraints=4788 119.56/119.62 c nbDecision=59000 #constraints=4788 120.86/120.91 c nbDecision=59500 #constraints=4788 122.16/122.24 c nbDecision=60000 #constraints=4790 125.55/125.62 c nbDecision=60500 #constraints=4816 126.55/126.63 c nbDecision=61000 #constraints=4816 127.56/127.62 c nbDecision=61500 #constraints=4816 128.56/128.61 c nbDecision=62000 #constraints=4816 129.45/129.58 c nbDecision=62500 #constraints=4816 130.55/130.64 c nbDecision=63000 #constraints=4820 132.25/132.31 c nbDecision=63500 #constraints=4846 133.65/133.77 c nbDecision=64000 #constraints=4857 134.65/134.75 c nbDecision=64500 #constraints=4857 135.65/135.72 c nbDecision=65000 #constraints=4857 136.55/136.68 c nbDecision=65500 #constraints=4857 137.55/137.63 c nbDecision=66000 #constraints=4857 138.95/139.01 c nbDecision=66500 #constraints=4870 140.05/140.14 c nbDecision=67000 #constraints=4872 141.05/141.13 c nbDecision=67500 #constraints=4872 142.05/142.12 c nbDecision=68000 #constraints=4872 143.05/143.10 c nbDecision=68500 #constraints=4872 143.95/144.07 c nbDecision=69000 #constraints=4872 145.25/145.30 c nbDecision=69500 #constraints=4888 146.85/146.90 c nbDecision=70000 #constraints=4925 147.85/147.91 c nbDecision=70500 #constraints=4925 148.85/148.92 c nbDecision=71000 #constraints=4925 149.85/149.92 c nbDecision=71500 #constraints=4925 150.75/150.89 c nbDecision=72000 #constraints=4925 151.75/151.88 c nbDecision=72500 #constraints=4941 152.75/152.88 c nbDecision=73000 #constraints=4941 153.74/153.88 c nbDecision=73500 #constraints=4941 154.74/154.87 c nbDecision=74000 #constraints=4941 155.74/155.85 c nbDecision=74500 #constraints=4941 156.74/156.82 c nbDecision=75000 #constraints=4941 157.74/157.86 c nbDecision=75500 #constraints=4954 158.74/158.86 c nbDecision=76000 #constraints=4954 159.74/159.85 c nbDecision=76500 #constraints=4954 160.74/160.84 c nbDecision=77000 #constraints=4954 161.74/161.82 c nbDecision=77500 #constraints=4954 162.75/162.81 c nbDecision=78000 #constraints=4966 163.64/163.77 c nbDecision=78500 #constraints=4966 164.64/164.80 c nbDecision=79000 #constraints=4977 165.74/165.81 c nbDecision=79500 #constraints=4977 166.74/166.81 c nbDecision=80000 #constraints=4977 167.74/167.80 c nbDecision=80500 #constraints=4977 168.64/168.78 c nbDecision=81000 #constraints=4977 169.64/169.78 c nbDecision=81500 #constraints=4979 170.74/170.80 c nbDecision=82000 #constraints=4979 171.74/171.80 c nbDecision=82500 #constraints=4979 172.64/172.78 c nbDecision=83000 #constraints=4979 173.64/173.76 c nbDecision=83500 #constraints=4979 174.64/174.74 c nbDecision=84000 #constraints=4980 175.64/175.77 c nbDecision=84500 #constraints=4980 176.64/176.77 c nbDecision=85000 #constraints=4980 177.65/177.75 c nbDecision=85500 #constraints=4980 178.64/178.73 c nbDecision=86000 #constraints=4980 179.54/179.70 c nbDecision=86500 #constraints=4980 180.64/180.72 c nbDecision=87000 #constraints=4988 181.64/181.72 c nbDecision=87500 #constraints=4988 182.64/182.72 c nbDecision=88000 #constraints=4988 183.65/183.71 c nbDecision=88500 #constraints=4988 184.54/184.68 c nbDecision=89000 #constraints=4988 185.54/185.66 c nbDecision=89500 #constraints=4989 186.54/186.63 c nbDecision=90000 #constraints=4990 187.54/187.64 c nbDecision=90500 #constraints=4990 188.54/188.65 c nbDecision=91000 #constraints=4990 189.54/189.65 c nbDecision=91500 #constraints=4990 190.54/190.65 c nbDecision=92000 #constraints=4990 191.54/191.63 c nbDecision=92500 #constraints=4990 192.54/192.64 c nbDecision=93000 #constraints=5002 193.54/193.64 c nbDecision=93500 #constraints=5002 194.54/194.63 c nbDecision=94000 #constraints=5002 195.54/195.62 c nbDecision=94500 #constraints=5002 196.44/196.59 c nbDecision=95000 #constraints=5002 197.54/197.65 c nbDecision=95500 #constraints=5013 198.54/198.66 c nbDecision=96000 #constraints=5013 199.54/199.66 c nbDecision=96500 #constraints=5013 200.54/200.66 c nbDecision=97000 #constraints=5013 201.54/201.64 c nbDecision=97500 #constraints=5013 202.54/202.62 c nbDecision=98000 #constraints=5013 203.54/203.63 c nbDecision=98500 #constraints=5014 204.54/204.65 c nbDecision=99000 #constraints=5014 205.54/205.65 c nbDecision=99500 #constraints=5014 206.53/206.65 c nbDecision=100000 #constraints=5014 207.53/207.63 c nbDecision=100500 #constraints=5014 208.53/208.60 c nbDecision=101000 #constraints=5015 209.43/209.57 c nbDecision=101500 #constraints=5015 210.43/210.57 c nbDecision=102000 #constraints=5018 211.23/211.38 c restart after 102401 decisions 211.43/211.59 c nbDecision=102500 #constraints=5018 212.24/212.37 c nbDecision=103000 #constraints=5018 213.03/213.15 c nbDecision=103500 #constraints=5018 213.83/213.93 c nbDecision=104000 #constraints=5018 214.63/214.70 c nbDecision=104500 #constraints=5018 215.33/215.48 c nbDecision=105000 #constraints=5018 216.13/216.25 c nbDecision=105500 #constraints=5018 216.93/217.03 c nbDecision=106000 #constraints=5018 217.63/217.79 c nbDecision=106500 #constraints=5018 218.43/218.55 c nbDecision=107000 #constraints=5018 219.23/219.31 c nbDecision=107500 #constraints=5018 219.93/220.08 c nbDecision=108000 #constraints=5018 220.73/220.90 c nbDecision=108500 #constraints=5018 222.13/222.23 c nbDecision=109000 #constraints=5018 223.43/223.54 c nbDecision=109500 #constraints=5018 224.73/224.85 c nbDecision=110000 #constraints=5018 226.03/226.14 c nbDecision=110500 #constraints=5018 227.33/227.43 c nbDecision=111000 #constraints=5018 228.93/229.07 c nbDecision=111500 #constraints=5027 230.13/230.27 c nbDecision=112000 #constraints=5038 231.12/231.26 c nbDecision=112500 #constraints=5038 232.13/232.26 c nbDecision=113000 #constraints=5038 233.13/233.22 c nbDecision=113500 #constraints=5038 234.02/234.18 c nbDecision=114000 #constraints=5038 235.02/235.14 c nbDecision=114500 #constraints=5042 236.02/236.11 c nbDecision=115000 #constraints=5042 237.52/237.69 c nbDecision=115500 #constraints=5048 238.52/238.69 c nbDecision=116000 #constraints=5048 239.52/239.67 c nbDecision=116500 #constraints=5048 240.52/240.65 c nbDecision=117000 #constraints=5048 241.52/241.62 c nbDecision=117500 #constraints=5048 242.42/242.58 c nbDecision=118000 #constraints=5048 243.92/244.05 c nbDecision=118500 #constraints=5074 245.22/245.30 c nbDecision=119000 #constraints=5076 246.22/246.31 c nbDecision=119500 #constraints=5076 247.22/247.32 c nbDecision=120000 #constraints=5076 248.22/248.31 c nbDecision=120500 #constraints=5076 249.12/249.29 c nbDecision=121000 #constraints=5076 252.43/252.50 c nbDecision=121500 #constraints=5089 253.63/253.73 c nbDecision=122000 #constraints=5090 254.63/254.73 c nbDecision=122500 #constraints=5090 255.62/255.72 c nbDecision=123000 #constraints=5090 256.62/256.70 c nbDecision=123500 #constraints=5090 257.52/257.67 c nbDecision=124000 #constraints=5090 258.62/258.72 c nbDecision=124500 #constraints=5109 259.62/259.74 c nbDecision=125000 #constraints=5109 260.63/260.75 c nbDecision=125500 #constraints=5109 261.63/261.74 c nbDecision=126000 #constraints=5109 262.62/262.73 c nbDecision=126500 #constraints=5109 264.92/265.05 c nbDecision=127000 #constraints=5116 265.92/266.07 c nbDecision=127500 #constraints=5116 266.92/267.08 c nbDecision=128000 #constraints=5116 267.92/268.08 c nbDecision=128500 #constraints=5116 268.92/269.07 c nbDecision=129000 #constraints=5116 269.92/270.05 c nbDecision=129500 #constraints=5116 270.92/271.02 c nbDecision=130000 #constraints=5117 271.92/272.01 c nbDecision=130500 #constraints=5132 272.82/272.98 c nbDecision=131000 #constraints=5151 273.82/273.96 c nbDecision=131500 #constraints=5162 274.82/274.97 c nbDecision=132000 #constraints=5162 275.82/275.97 c nbDecision=132500 #constraints=5162 276.82/276.96 c nbDecision=133000 #constraints=5162 277.82/277.94 c nbDecision=133500 #constraints=5162 278.82/278.92 c nbDecision=134000 #constraints=5162 279.72/279.89 c nbDecision=134500 #constraints=5170 280.72/280.85 c nbDecision=135000 #constraints=5171 281.72/281.81 c nbDecision=135500 #constraints=5173 282.72/282.85 c nbDecision=136000 #constraints=5189 283.72/283.87 c nbDecision=136500 #constraints=5189 284.72/284.88 c nbDecision=137000 #constraints=5189 285.71/285.89 c nbDecision=137500 #constraints=5189 286.71/286.88 c nbDecision=138000 #constraints=5189 287.71/287.86 c nbDecision=138500 #constraints=5189 288.71/288.84 c nbDecision=139000 #constraints=5189 289.71/289.81 c nbDecision=139500 #constraints=5200 290.61/290.76 c nbDecision=140000 #constraints=5200 291.61/291.76 c nbDecision=140500 #constraints=5202 292.71/292.87 c nbDecision=141000 #constraints=5204 293.81/293.90 c nbDecision=141500 #constraints=5204 294.81/294.91 c nbDecision=142000 #constraints=5204 295.81/295.92 c nbDecision=142500 #constraints=5204 296.81/296.91 c nbDecision=143000 #constraints=5204 297.81/297.93 c nbDecision=143500 #constraints=5205 298.81/298.96 c nbDecision=144000 #constraints=5205 299.81/299.98 c nbDecision=144500 #constraints=5205 300.91/301.00 c nbDecision=145000 #constraints=5205 301.91/302.01 c nbDecision=145500 #constraints=5205 302.91/303.02 c nbDecision=146000 #constraints=5206 303.91/304.01 c nbDecision=146500 #constraints=5206 304.91/305.01 c nbDecision=147000 #constraints=5209 305.91/306.05 c nbDecision=147500 #constraints=5209 306.91/307.08 c nbDecision=148000 #constraints=5209 307.91/308.10 c nbDecision=148500 #constraints=5209 309.01/309.10 c nbDecision=149000 #constraints=5209 309.90/310.10 c nbDecision=149500 #constraints=5209 310.90/311.08 c nbDecision=150000 #constraints=5209 312.00/312.12 c nbDecision=150500 #constraints=5210 313.00/313.15 c nbDecision=151000 #constraints=5210 314.00/314.18 c nbDecision=151500 #constraints=5210 315.00/315.19 c nbDecision=152000 #constraints=5210 316.01/316.20 c nbDecision=152500 #constraints=5210 317.01/317.19 c nbDecision=153000 #constraints=5210 318.11/318.26 c nbDecision=153500 #constraints=5212 319.11/319.28 c nbDecision=154000 #constraints=5212 320.21/320.31 c nbDecision=154500 #constraints=5212 321.21/321.33 c nbDecision=155000 #constraints=5212 322.21/322.34 c nbDecision=155500 #constraints=5212 323.21/323.34 c nbDecision=156000 #constraints=5214 324.21/324.33 c nbDecision=156500 #constraints=5214 325.21/325.38 c nbDecision=157000 #constraints=5215 326.21/326.39 c nbDecision=157500 #constraints=5215 327.31/327.41 c nbDecision=158000 #constraints=5215 328.31/328.41 c nbDecision=158500 #constraints=5215 329.30/329.40 c nbDecision=159000 #constraints=5215 330.20/330.38 c nbDecision=159500 #constraints=5215 331.20/331.34 c nbDecision=160000 #constraints=5217 332.20/332.32 c nbDecision=160500 #constraints=5218 333.21/333.33 c nbDecision=161000 #constraints=5218 334.21/334.33 c nbDecision=161500 #constraints=5218 335.20/335.33 c nbDecision=162000 #constraints=5218 336.20/336.31 c nbDecision=162500 #constraints=5218 337.10/337.28 c nbDecision=163000 #constraints=5218 338.10/338.28 c nbDecision=163500 #constraints=5219 339.10/339.29 c nbDecision=164000 #constraints=5219 340.10/340.29 c nbDecision=164500 #constraints=5219 341.10/341.28 c nbDecision=165000 #constraints=5219 342.10/342.27 c nbDecision=165500 #constraints=5219 343.10/343.25 c nbDecision=166000 #constraints=5219 344.10/344.22 c nbDecision=166500 #constraints=5219 344.99/345.18 c nbDecision=167000 #constraints=5229 345.99/346.15 c nbDecision=167500 #constraints=5245 346.89/347.09 c nbDecision=168000 #constraints=5247 347.89/348.02 c nbDecision=168500 #constraints=5247 348.89/349.09 c nbDecision=169000 #constraints=5251 349.99/350.10 c nbDecision=169500 #constraints=5251 350.99/351.10 c nbDecision=170000 #constraints=5251 351.89/352.09 c nbDecision=170500 #constraints=5251 352.89/353.07 c nbDecision=171000 #constraints=5251 353.89/354.04 c nbDecision=171500 #constraints=5251 354.89/355.00 c nbDecision=172000 #constraints=5251 355.79/355.98 c nbDecision=172500 #constraints=5252 356.79/356.99 c nbDecision=173000 #constraints=5252 357.79/357.98 c nbDecision=173500 #constraints=5252 358.79/358.97 c nbDecision=174000 #constraints=5252 359.79/359.95 c nbDecision=174500 #constraints=5252 360.79/360.93 c nbDecision=175000 #constraints=5252 361.69/361.89 c nbDecision=175500 #constraints=5252 362.68/362.85 c nbDecision=176000 #constraints=5252 363.68/363.80 c nbDecision=176500 #constraints=5252 364.68/364.83 c nbDecision=177000 #constraints=5253 365.68/365.86 c nbDecision=177500 #constraints=5253 366.69/366.86 c nbDecision=178000 #constraints=5253 367.68/367.86 c nbDecision=178500 #constraints=5253 368.68/368.84 c nbDecision=179000 #constraints=5253 369.68/369.82 c nbDecision=179500 #constraints=5254 370.59/370.78 c nbDecision=180000 #constraints=5254 371.59/371.76 c nbDecision=180500 #constraints=5274 372.48/372.70 c nbDecision=181000 #constraints=5275 373.58/373.71 c nbDecision=181500 #constraints=5275 374.58/374.72 c nbDecision=182000 #constraints=5275 375.59/375.71 c nbDecision=182500 #constraints=5275 376.49/376.70 c nbDecision=183000 #constraints=5275 377.49/377.68 c nbDecision=183500 #constraints=5275 378.49/378.65 c nbDecision=184000 #constraints=5275 379.49/379.60 c nbDecision=184500 #constraints=5275 380.39/380.55 c nbDecision=185000 #constraints=5275 381.39/381.52 c nbDecision=185500 #constraints=5288 382.29/382.46 c nbDecision=186000 #constraints=5290 383.19/383.39 c nbDecision=186500 #constraints=5290 384.19/384.35 c nbDecision=187000 #constraints=5302 385.09/385.27 c nbDecision=187500 #constraints=5302 386.19/386.30 c nbDecision=188000 #constraints=5314 387.19/387.31 c nbDecision=188500 #constraints=5314 388.19/388.31 c nbDecision=189000 #constraints=5314 389.19/389.30 c nbDecision=189500 #constraints=5314 390.08/390.29 c nbDecision=190000 #constraints=5314 391.08/391.26 c nbDecision=190500 #constraints=5319 392.08/392.22 c nbDecision=191000 #constraints=5319 392.98/393.16 c nbDecision=191500 #constraints=5319 393.98/394.11 c nbDecision=192000 #constraints=5328 394.88/395.06 c nbDecision=192500 #constraints=5346 395.88/396.04 c nbDecision=193000 #constraints=5347 396.88/397.05 c nbDecision=193500 #constraints=5347 397.88/398.06 c nbDecision=194000 #constraints=5347 398.88/399.05 c nbDecision=194500 #constraints=5347 399.88/400.04 c nbDecision=195000 #constraints=5347 400.88/401.02 c nbDecision=195500 #constraints=5347 401.88/402.00 c nbDecision=196000 #constraints=5347 402.78/402.97 c nbDecision=196500 #constraints=5347 403.78/403.93 c nbDecision=197000 #constraints=5347 404.68/404.87 c nbDecision=197500 #constraints=5347 405.78/405.94 c nbDecision=198000 #constraints=5348 406.78/406.96 c nbDecision=198500 #constraints=5348 407.78/407.97 c nbDecision=199000 #constraints=5348 408.78/408.97 c nbDecision=199500 #constraints=5348 409.77/409.95 c nbDecision=200000 #constraints=5348 410.77/410.93 c nbDecision=200500 #constraints=5354 411.67/411.89 c nbDecision=201000 #constraints=5354 412.67/412.89 c nbDecision=201500 #constraints=5355 413.67/413.89 c nbDecision=202000 #constraints=5355 414.67/414.89 c nbDecision=202500 #constraints=5355 415.68/415.89 c nbDecision=203000 #constraints=5355 416.68/416.86 c nbDecision=203500 #constraints=5355 417.67/417.83 c nbDecision=204000 #constraints=5357 418.57/418.80 c nbDecision=204500 #constraints=5357 419.17/419.37 c restart after 204801 decisions 419.57/419.75 c nbDecision=205000 #constraints=5357 420.37/420.54 c nbDecision=205500 #constraints=5357 421.17/421.32 c nbDecision=206000 #constraints=5357 421.97/422.11 c nbDecision=206500 #constraints=5357 422.67/422.89 c nbDecision=207000 #constraints=5357 423.47/423.67 c nbDecision=207500 #constraints=5357 424.27/424.46 c nbDecision=208000 #constraints=5357 425.07/425.24 c nbDecision=208500 #constraints=5357 425.87/426.02 c nbDecision=209000 #constraints=5357 426.58/426.79 c nbDecision=209500 #constraints=5357 427.37/427.57 c nbDecision=210000 #constraints=5357 428.17/428.34 c nbDecision=210500 #constraints=5357 429.07/429.27 c nbDecision=211000 #constraints=5357 430.37/430.59 c nbDecision=211500 #constraints=5357 431.77/431.90 c nbDecision=212000 #constraints=5357 433.07/433.20 c nbDecision=212500 #constraints=5357 434.27/434.48 c nbDecision=213000 #constraints=5357 435.57/435.77 c nbDecision=213500 #constraints=5359 437.16/437.30 c nbDecision=214000 #constraints=5385 438.36/438.58 c nbDecision=214500 #constraints=5394 439.46/439.61 c nbDecision=215000 #constraints=5394 440.46/440.65 c nbDecision=215500 #constraints=5394 441.46/441.68 c nbDecision=216000 #constraints=5394 442.56/442.70 c nbDecision=216500 #constraints=5394 443.66/443.87 c nbDecision=217000 #constraints=5397 444.66/444.87 c nbDecision=217500 #constraints=5397 445.66/445.87 c nbDecision=218000 #constraints=5397 446.66/446.86 c nbDecision=218500 #constraints=5397 447.66/447.84 c nbDecision=219000 #constraints=5397 448.66/448.82 c nbDecision=219500 #constraints=5399 449.66/449.83 c nbDecision=220000 #constraints=5399 450.66/450.82 c nbDecision=220500 #constraints=5399 451.56/451.80 c nbDecision=221000 #constraints=5399 452.56/452.77 c nbDecision=221500 #constraints=5399 453.56/453.73 c nbDecision=222000 #constraints=5399 454.46/454.70 c nbDecision=222500 #constraints=5410 455.45/455.69 c nbDecision=223000 #constraints=5429 456.45/456.69 c nbDecision=223500 #constraints=5429 457.46/457.68 c nbDecision=224000 #constraints=5429 458.46/458.66 c nbDecision=224500 #constraints=5429 459.46/459.63 c nbDecision=225000 #constraints=5429 460.46/460.60 c nbDecision=225500 #constraints=5429 461.36/461.56 c nbDecision=226000 #constraints=5429 462.36/462.55 c nbDecision=226500 #constraints=5441 463.36/463.55 c nbDecision=227000 #constraints=5441 464.36/464.55 c nbDecision=227500 #constraints=5441 465.36/465.54 c nbDecision=228000 #constraints=5441 466.36/466.52 c nbDecision=228500 #constraints=5441 467.36/467.51 c nbDecision=229000 #constraints=5449 468.26/468.47 c nbDecision=229500 #constraints=5449 469.26/469.45 c nbDecision=230000 #constraints=5460 470.16/470.38 c nbDecision=230500 #constraints=5460 471.26/471.40 c nbDecision=231000 #constraints=5482 472.16/472.40 c nbDecision=231500 #constraints=5482 473.16/473.38 c nbDecision=232000 #constraints=5482 474.15/474.36 c nbDecision=232500 #constraints=5482 475.15/475.33 c nbDecision=233000 #constraints=5482 476.16/476.31 c nbDecision=233500 #constraints=5491 477.05/477.25 c nbDecision=234000 #constraints=5491 477.95/478.19 c nbDecision=234500 #constraints=5493 478.95/479.13 c nbDecision=235000 #constraints=5493 479.85/480.07 c nbDecision=235500 #constraints=5515 480.75/480.99 c nbDecision=236000 #constraints=5515 481.85/482.09 c nbDecision=236500 #constraints=5524 482.95/483.10 c nbDecision=237000 #constraints=5524 483.95/484.10 c nbDecision=237500 #constraints=5524 484.85/485.09 c nbDecision=238000 #constraints=5524 485.85/486.07 c nbDecision=238500 #constraints=5524 488.25/488.41 c nbDecision=239000 #constraints=5525 489.25/489.45 c nbDecision=239500 #constraints=5526 490.25/490.45 c nbDecision=240000 #constraints=5526 491.25/491.43 c nbDecision=240500 #constraints=5526 492.25/492.41 c nbDecision=241000 #constraints=5526 493.15/493.38 c nbDecision=241500 #constraints=5526 494.14/494.34 c nbDecision=242000 #constraints=5536 495.04/495.29 c nbDecision=242500 #constraints=5536 496.04/496.29 c nbDecision=243000 #constraints=5537 497.05/497.28 c nbDecision=243500 #constraints=5537 498.05/498.27 c nbDecision=244000 #constraints=5537 499.04/499.24 c nbDecision=244500 #constraints=5537 500.04/500.20 c nbDecision=245000 #constraints=5537 500.94/501.17 c nbDecision=245500 #constraints=5538 501.94/502.13 c nbDecision=246000 #constraints=5550 502.84/503.08 c nbDecision=246500 #constraints=5550 503.84/504.09 c nbDecision=247000 #constraints=5559 504.95/505.10 c nbDecision=247500 #constraints=5559 505.95/506.10 c nbDecision=248000 #constraints=5559 506.85/507.09 c nbDecision=248500 #constraints=5559 507.85/508.07 c nbDecision=249000 #constraints=5559 508.85/509.04 c nbDecision=249500 #constraints=5559 509.85/510.01 c nbDecision=250000 #constraints=5559 510.75/510.96 c nbDecision=250500 #constraints=5568 511.65/511.90 c nbDecision=251000 #constraints=5568 512.65/512.83 c nbDecision=251500 #constraints=5572 513.55/513.74 c nbDecision=252000 #constraints=5572 514.55/514.71 c nbDecision=252500 #constraints=5573 515.55/515.71 c nbDecision=253000 #constraints=5574 516.55/516.70 c nbDecision=253500 #constraints=5574 517.44/517.69 c nbDecision=254000 #constraints=5574 518.44/518.66 c nbDecision=254500 #constraints=5574 519.44/519.63 c nbDecision=255000 #constraints=5574 520.34/520.59 c nbDecision=255500 #constraints=5574 521.34/521.55 c nbDecision=256000 #constraints=5574 522.25/522.49 c nbDecision=256500 #constraints=5574 523.24/523.45 c nbDecision=257000 #constraints=5575 524.24/524.46 c nbDecision=257500 #constraints=5575 525.24/525.46 c nbDecision=258000 #constraints=5575 526.24/526.45 c nbDecision=258500 #constraints=5575 527.24/527.45 c nbDecision=259000 #constraints=5575 528.24/528.42 c nbDecision=259500 #constraints=5575 529.14/529.38 c nbDecision=260000 #constraints=5575 530.24/530.45 c nbDecision=260500 #constraints=5579 531.34/531.50 c nbDecision=261000 #constraints=5579 532.24/532.49 c nbDecision=261500 #constraints=5579 533.24/533.47 c nbDecision=262000 #constraints=5579 534.24/534.45 c nbDecision=262500 #constraints=5579 535.24/535.41 c nbDecision=263000 #constraints=5579 537.54/537.72 c nbDecision=263500 #constraints=5585 538.64/538.84 c nbDecision=264000 #constraints=5586 539.63/539.83 c nbDecision=264500 #constraints=5586 540.63/540.82 c nbDecision=265000 #constraints=5586 541.53/541.79 c nbDecision=265500 #constraints=5586 542.53/542.76 c nbDecision=266000 #constraints=5586 543.53/543.75 c nbDecision=266500 #constraints=5589 544.53/544.75 c nbDecision=267000 #constraints=5589 545.53/545.74 c nbDecision=267500 #constraints=5589 546.54/546.72 c nbDecision=268000 #constraints=5589 547.43/547.69 c nbDecision=268500 #constraints=5589 548.43/548.66 c nbDecision=269000 #constraints=5590 549.43/549.61 c nbDecision=269500 #constraints=5590 550.33/550.55 c nbDecision=270000 #constraints=5592 551.23/551.49 c nbDecision=270500 #constraints=5593 552.43/552.67 c nbDecision=271000 #constraints=5605 553.43/553.67 c nbDecision=271500 #constraints=5605 554.43/554.65 c nbDecision=272000 #constraints=5605 555.43/555.62 c nbDecision=272500 #constraints=5605 556.33/556.58 c nbDecision=273000 #constraints=5605 557.33/557.53 c nbDecision=273500 #constraints=5605 558.23/558.49 c nbDecision=274000 #constraints=5614 559.23/559.42 c nbDecision=274500 #constraints=5614 560.23/560.41 c nbDecision=275000 #constraints=5615 561.23/561.40 c nbDecision=275500 #constraints=5615 562.13/562.38 c nbDecision=276000 #constraints=5615 563.13/563.35 c nbDecision=276500 #constraints=5615 564.13/564.32 c nbDecision=277000 #constraints=5615 565.03/565.27 c nbDecision=277500 #constraints=5615 566.02/566.21 c nbDecision=278000 #constraints=5615 566.92/567.14 c nbDecision=278500 #constraints=5615 567.92/568.10 c nbDecision=279000 #constraints=5617 568.82/569.10 c nbDecision=279500 #constraints=5617 569.82/570.08 c nbDecision=280000 #constraints=5617 570.82/571.04 c nbDecision=280500 #constraints=5617 571.73/572.00 c nbDecision=281000 #constraints=5617 572.72/572.96 c nbDecision=281500 #constraints=5626 573.62/573.90 c nbDecision=282000 #constraints=5626 574.62/574.83 c nbDecision=282500 #constraints=5633 575.52/575.75 c nbDecision=283000 #constraints=5633 576.52/576.74 c nbDecision=283500 #constraints=5634 577.52/577.73 c nbDecision=284000 #constraints=5634 578.52/578.71 c nbDecision=284500 #constraints=5634 579.42/579.67 c nbDecision=285000 #constraints=5634 580.42/580.64 c nbDecision=285500 #constraints=5634 581.32/581.60 c nbDecision=286000 #constraints=5634 582.32/582.54 c nbDecision=286500 #constraints=5634 583.32/583.57 c nbDecision=287000 #constraints=5636 584.32/584.57 c nbDecision=287500 #constraints=5636 585.42/585.62 c nbDecision=288000 #constraints=5636 586.41/586.60 c nbDecision=288500 #constraints=5636 587.31/587.57 c nbDecision=289000 #constraints=5636 588.32/588.53 c nbDecision=289500 #constraints=5636 589.32/589.55 c nbDecision=290000 #constraints=5637 590.31/590.55 c nbDecision=290500 #constraints=5637 591.31/591.53 c nbDecision=291000 #constraints=5637 592.31/592.50 c nbDecision=291500 #constraints=5637 593.22/593.46 c nbDecision=292000 #constraints=5637 594.22/594.41 c nbDecision=292500 #constraints=5637 595.12/595.36 c nbDecision=293000 #constraints=5639 596.12/596.31 c nbDecision=293500 #constraints=5640 597.13/597.31 c nbDecision=294000 #constraints=5640 598.13/598.30 c nbDecision=294500 #constraints=5640 599.02/599.28 c nbDecision=295000 #constraints=5640 600.02/600.25 c nbDecision=295500 #constraints=5640 601.02/601.22 c nbDecision=296000 #constraints=5640 601.92/602.18 c nbDecision=296500 #constraints=5641 602.92/603.13 c nbDecision=297000 #constraints=5641 603.82/604.08 c nbDecision=297500 #constraints=5650 604.82/605.01 c nbDecision=298000 #constraints=5650 605.72/605.95 c nbDecision=298500 #constraints=5672 606.62/606.86 c nbDecision=299000 #constraints=5672 607.52/607.79 c nbDecision=299500 #constraints=5685 608.42/608.69 c nbDecision=300000 #constraints=5685 609.42/609.61 c nbDecision=300500 #constraints=5688 610.32/610.51 c nbDecision=301000 #constraints=5688 611.21/611.43 c nbDecision=301500 #constraints=5704 612.11/612.31 c nbDecision=302000 #constraints=5704 613.01/613.21 c nbDecision=302500 #constraints=5707 613.91/614.11 c nbDecision=303000 #constraints=5707 614.81/615.03 c nbDecision=303500 #constraints=5727 615.71/615.91 c nbDecision=304000 #constraints=5727 616.61/616.86 c nbDecision=304500 #constraints=5770 617.51/617.76 c nbDecision=305000 #constraints=5770 618.41/618.66 c nbDecision=305500 #constraints=5771 619.31/619.57 c nbDecision=306000 #constraints=5771 620.21/620.47 c nbDecision=306500 #constraints=5777 621.11/621.36 c nbDecision=307000 #constraints=5777 622.01/622.25 c nbDecision=307500 #constraints=5780 622.91/623.14 c nbDecision=308000 #constraints=5780 623.81/624.03 c nbDecision=308500 #constraints=5781 624.71/624.91 c nbDecision=309000 #constraints=5781 625.61/625.82 c nbDecision=309500 #constraints=5782 626.50/626.75 c nbDecision=310000 #constraints=5782 627.40/627.66 c nbDecision=310500 #constraints=5792 628.30/628.54 c nbDecision=311000 #constraints=5792 629.20/629.46 c nbDecision=311500 #constraints=5813 630.11/630.34 c nbDecision=312000 #constraints=5813 631.00/631.24 c nbDecision=312500 #constraints=5836 631.90/632.14 c nbDecision=313000 #constraints=5853 632.80/633.01 c nbDecision=313500 #constraints=5853 633.60/633.87 c nbDecision=314000 #constraints=5854 634.50/634.73 c nbDecision=314500 #constraints=5854 635.40/635.60 c nbDecision=315000 #constraints=5856 636.20/636.46 c nbDecision=315500 #constraints=5856 637.10/637.32 c nbDecision=316000 #constraints=5858 637.90/638.19 c nbDecision=316500 #constraints=5870 638.80/639.06 c nbDecision=317000 #constraints=5879 639.71/639.94 c nbDecision=317500 #constraints=5898 640.51/640.79 c nbDecision=318000 #constraints=5898 641.41/641.65 c nbDecision=318500 #constraints=5909 642.40/642.60 c nbDecision=319000 #constraints=5949 643.21/643.45 c nbDecision=319500 #constraints=5950 644.10/644.33 c nbDecision=320000 #constraints=5976 645.00/645.26 c nbDecision=320500 #constraints=6000 645.90/646.13 c nbDecision=321000 #constraints=6012 646.80/647.05 c nbDecision=321500 #constraints=6032 647.60/647.89 c nbDecision=322000 #constraints=6032 648.50/648.78 c nbDecision=322500 #constraints=6043 649.40/649.63 c nbDecision=323000 #constraints=6043 650.20/650.49 c nbDecision=323500 #constraints=6053 651.10/651.39 c nbDecision=324000 #constraints=6074 652.00/652.23 c nbDecision=324500 #constraints=6074 652.80/653.08 c nbDecision=325000 #constraints=6080 653.70/653.92 c nbDecision=325500 #constraints=6080 654.50/654.77 c nbDecision=326000 #constraints=6083 656.10/656.37 c nbDecision=326500 #constraints=6112 657.00/657.21 c nbDecision=327000 #constraints=6112 657.79/658.05 c nbDecision=327500 #constraints=6115 658.70/658.90 c nbDecision=328000 #constraints=6135 659.49/659.75 c nbDecision=328500 #constraints=6135 660.29/660.60 c nbDecision=329000 #constraints=6137 661.19/661.46 c nbDecision=329500 #constraints=6158 662.09/662.38 c nbDecision=330000 #constraints=6192 662.99/663.22 c nbDecision=330500 #constraints=6199 663.79/664.06 c nbDecision=331000 #constraints=6203 664.69/664.90 c nbDecision=331500 #constraints=6207 665.49/665.78 c nbDecision=332000 #constraints=6215 666.39/666.63 c nbDecision=332500 #constraints=6228 667.30/667.54 c nbDecision=333000 #constraints=6242 668.10/668.40 c nbDecision=333500 #constraints=6263 669.00/669.27 c nbDecision=334000 #constraints=6282 669.90/670.14 c nbDecision=334500 #constraints=6319 670.80/671.03 c nbDecision=335000 #constraints=6337 671.69/671.90 c nbDecision=335500 #constraints=6337 672.49/672.77 c nbDecision=336000 #constraints=6338 673.39/673.63 c nbDecision=336500 #constraints=6339 674.19/674.50 c nbDecision=337000 #constraints=6339 675.10/675.36 c nbDecision=337500 #constraints=6349 675.99/676.20 c nbDecision=338000 #constraints=6349 676.79/677.05 c nbDecision=338500 #constraints=6355 677.69/677.91 c nbDecision=339000 #constraints=6359 678.50/678.79 c nbDecision=339500 #constraints=6359 679.49/679.73 c nbDecision=340000 #constraints=6386 680.39/680.61 c nbDecision=340500 #constraints=6386 681.19/681.48 c nbDecision=341000 #constraints=6386 682.09/682.38 c nbDecision=341500 #constraints=6405 682.99/683.26 c nbDecision=342000 #constraints=6420 683.89/684.10 c nbDecision=342500 #constraints=6421 684.69/684.98 c nbDecision=343000 #constraints=6443 685.59/685.83 c nbDecision=343500 #constraints=6463 686.39/686.69 c nbDecision=344000 #constraints=6479 687.29/687.54 c nbDecision=344500 #constraints=6479 688.19/688.43 c nbDecision=345000 #constraints=6499 688.99/689.29 c nbDecision=345500 #constraints=6538 689.88/690.14 c nbDecision=346000 #constraints=6553 690.69/690.98 c nbDecision=346500 #constraints=6553 691.59/691.82 c nbDecision=347000 #constraints=6559 692.38/692.67 c nbDecision=347500 #constraints=6563 693.28/693.52 c nbDecision=348000 #constraints=6563 694.18/694.40 c nbDecision=348500 #constraints=6566 694.98/695.27 c nbDecision=349000 #constraints=6566 695.88/696.15 c nbDecision=349500 #constraints=6576 696.78/697.01 c nbDecision=350000 #constraints=6576 697.58/697.88 c nbDecision=350500 #constraints=6587 698.48/698.72 c nbDecision=351000 #constraints=6587 699.28/699.59 c nbDecision=351500 #constraints=6600 700.18/700.44 c nbDecision=352000 #constraints=6600 701.08/701.31 c nbDecision=352500 #constraints=6614 701.88/702.16 c nbDecision=353000 #constraints=6617 702.78/703.01 c nbDecision=353500 #constraints=6617 703.58/703.85 c nbDecision=354000 #constraints=6619 704.48/704.75 c nbDecision=354500 #constraints=6630 705.38/705.60 c nbDecision=355000 #constraints=6630 706.18/706.44 c nbDecision=355500 #constraints=6633 707.08/707.30 c nbDecision=356000 #constraints=6661 707.88/708.16 c nbDecision=356500 #constraints=6663 708.78/709.01 c nbDecision=357000 #constraints=6663 709.88/710.16 c nbDecision=357500 #constraints=6685 710.77/711.01 c nbDecision=358000 #constraints=6690 711.57/711.85 c nbDecision=358500 #constraints=6710 712.48/712.72 c nbDecision=359000 #constraints=6766 713.27/713.53 c nbDecision=359500 #constraints=6768 714.07/714.39 c nbDecision=360000 #constraints=6777 714.97/715.22 c nbDecision=360500 #constraints=6777 715.78/716.08 c nbDecision=361000 #constraints=6781 716.67/716.92 c nbDecision=361500 #constraints=6781 717.47/717.76 c nbDecision=362000 #constraints=6782 718.38/718.64 c nbDecision=362500 #constraints=6787 719.28/719.52 c nbDecision=363000 #constraints=6787 720.08/720.39 c nbDecision=363500 #constraints=6788 720.98/721.25 c nbDecision=364000 #constraints=6788 721.88/722.12 c nbDecision=364500 #constraints=6794 722.68/722.97 c nbDecision=365000 #constraints=6794 723.58/723.83 c nbDecision=365500 #constraints=6798 724.37/724.68 c nbDecision=366000 #constraints=6798 725.27/725.53 c nbDecision=366500 #constraints=6802 726.17/726.40 c nbDecision=367000 #constraints=6828 726.97/727.25 c nbDecision=367500 #constraints=6828 727.77/728.10 c nbDecision=368000 #constraints=6829 728.67/728.95 c nbDecision=368500 #constraints=6833 729.57/729.80 c nbDecision=369000 #constraints=6833 730.37/730.66 c nbDecision=369500 #constraints=6834 731.28/731.50 c nbDecision=370000 #constraints=6834 732.07/732.34 c nbDecision=370500 #constraints=6834 732.87/733.18 c nbDecision=371000 #constraints=6841 733.77/734.01 c nbDecision=371500 #constraints=6873 734.58/734.88 c nbDecision=372000 #constraints=6919 735.47/735.73 c nbDecision=372500 #constraints=6927 736.27/736.57 c nbDecision=373000 #constraints=6927 737.17/737.42 c nbDecision=373500 #constraints=6933 737.97/738.26 c nbDecision=374000 #constraints=6954 738.87/739.12 c nbDecision=374500 #constraints=6983 739.67/739.96 c nbDecision=375000 #constraints=6983 740.57/740.81 c nbDecision=375500 #constraints=6985 741.37/741.62 c nbDecision=376000 #constraints=6992 742.17/742.46 c nbDecision=376500 #constraints=7040 742.97/743.28 c nbDecision=377000 #constraints=7042 743.86/744.12 c nbDecision=377500 #constraints=7050 744.66/744.96 c nbDecision=378000 #constraints=7050 745.57/745.82 c nbDecision=378500 #constraints=7061 746.36/746.64 c nbDecision=379000 #constraints=7067 747.26/747.51 c nbDecision=379500 #constraints=7095 748.06/748.37 c nbDecision=380000 #constraints=7095 748.96/749.22 c nbDecision=380500 #constraints=7096 749.76/750.05 c nbDecision=381000 #constraints=7098 750.56/750.86 c nbDecision=381500 #constraints=7103 751.36/751.67 c nbDecision=382000 #constraints=7110 752.26/752.54 c nbDecision=382500 #constraints=7163 753.06/753.34 c nbDecision=383000 #constraints=7165 753.86/754.19 c nbDecision=383500 #constraints=7172 754.76/755.03 c nbDecision=384000 #constraints=7172 755.56/755.88 c nbDecision=384500 #constraints=7176 756.47/756.73 c nbDecision=385000 #constraints=7187 757.26/757.57 c nbDecision=385500 #constraints=7188 758.16/758.41 c nbDecision=386000 #constraints=7188 758.96/759.25 c nbDecision=386500 #constraints=7191 759.76/760.05 c nbDecision=387000 #constraints=7192 760.66/760.91 c nbDecision=387500 #constraints=7216 761.46/761.76 c nbDecision=388000 #constraints=7216 762.36/762.62 c nbDecision=388500 #constraints=7218 763.16/763.47 c nbDecision=389000 #constraints=7218 764.06/764.32 c nbDecision=389500 #constraints=7218 764.86/765.16 c nbDecision=390000 #constraints=7220 765.76/766.01 c nbDecision=390500 #constraints=7221 766.56/766.86 c nbDecision=391000 #constraints=7221 767.46/767.71 c nbDecision=391500 #constraints=7222 768.36/768.60 c nbDecision=392000 #constraints=7230 769.16/769.43 c nbDecision=392500 #constraints=7232 769.95/770.26 c nbDecision=393000 #constraints=7252 770.76/771.09 c nbDecision=393500 #constraints=7264 771.65/771.92 c nbDecision=394000 #constraints=7282 772.45/772.74 c nbDecision=394500 #constraints=7297 773.25/773.54 c nbDecision=395000 #constraints=7316 774.06/774.35 c nbDecision=395500 #constraints=7327 775.06/775.39 c nbDecision=396000 #constraints=7369 776.16/776.40 c nbDecision=396500 #constraints=7388 776.96/777.26 c nbDecision=397000 #constraints=7400 777.76/778.05 c nbDecision=397500 #constraints=7400 778.66/778.92 c nbDecision=398000 #constraints=7423 779.46/779.76 c nbDecision=398500 #constraints=7423 780.36/780.61 c nbDecision=399000 #constraints=7428 781.16/781.40 c nbDecision=399500 #constraints=7429 781.96/782.21 c nbDecision=400000 #constraints=7437 782.76/783.08 c nbDecision=400500 #constraints=7499 783.56/783.89 c nbDecision=401000 #constraints=7520 784.46/784.72 c nbDecision=401500 #constraints=7542 785.26/785.55 c nbDecision=402000 #constraints=7588 786.16/786.41 c nbDecision=402500 #constraints=7598 786.96/787.28 c nbDecision=403000 #constraints=7598 787.86/788.13 c nbDecision=403500 #constraints=7600 788.66/788.96 c nbDecision=404000 #constraints=7623 789.56/789.83 c nbDecision=404500 #constraints=7665 790.35/790.64 c nbDecision=405000 #constraints=7686 791.15/791.49 c nbDecision=405500 #constraints=7687 792.05/792.34 c nbDecision=406000 #constraints=7687 792.95/793.22 c nbDecision=406500 #constraints=7688 793.75/794.10 c nbDecision=407000 #constraints=7688 794.65/794.99 c nbDecision=407500 #constraints=7696 795.55/795.87 c nbDecision=408000 #constraints=7707 796.45/796.72 c nbDecision=408500 #constraints=7707 797.25/797.56 c nbDecision=409000 #constraints=7708 798.05/798.39 c nbDecision=409500 #constraints=7711 798.25/798.55 c restart after 409601 decisions 798.95/799.28 c nbDecision=410000 #constraints=7711 799.75/800.06 c nbDecision=410500 #constraints=7711 800.55/800.84 c nbDecision=411000 #constraints=7711 801.35/801.62 c nbDecision=411500 #constraints=7711 802.15/802.41 c nbDecision=412000 #constraints=7711 802.85/803.19 c nbDecision=412500 #constraints=7711 803.65/803.98 c nbDecision=413000 #constraints=7711 804.45/804.75 c nbDecision=413500 #constraints=7711 805.25/805.53 c nbDecision=414000 #constraints=7711 805.95/806.30 c nbDecision=414500 #constraints=7711 806.75/807.07 c nbDecision=415000 #constraints=7711 807.55/807.85 c nbDecision=415500 #constraints=7711 808.75/809.00 c nbDecision=416000 #constraints=7711 810.05/810.32 c nbDecision=416500 #constraints=7711 811.35/811.62 c nbDecision=417000 #constraints=7711 812.65/812.92 c nbDecision=417500 #constraints=7711 813.84/814.19 c nbDecision=418000 #constraints=7711 815.14/815.49 c nbDecision=418500 #constraints=7713 816.34/816.62 c nbDecision=419000 #constraints=7716 817.24/817.57 c nbDecision=419500 #constraints=7716 818.24/818.51 c nbDecision=420000 #constraints=7716 819.15/819.44 c nbDecision=420500 #constraints=7716 820.04/820.36 c nbDecision=421000 #constraints=7716 820.94/821.28 c nbDecision=421500 #constraints=7718 821.84/822.19 c nbDecision=422000 #constraints=7718 822.84/823.15 c nbDecision=422500 #constraints=7719 823.84/824.10 c nbDecision=423000 #constraints=7719 824.74/825.05 c nbDecision=423500 #constraints=7719 825.64/825.99 c nbDecision=424000 #constraints=7719 826.64/826.93 c nbDecision=424500 #constraints=7719 827.54/827.85 c nbDecision=425000 #constraints=7720 828.44/828.76 c nbDecision=425500 #constraints=7720 829.34/829.66 c nbDecision=426000 #constraints=7721 830.24/830.55 c nbDecision=426500 #constraints=7721 831.24/831.51 c nbDecision=427000 #constraints=7730 832.14/832.46 c nbDecision=427500 #constraints=7730 833.04/833.39 c nbDecision=428000 #constraints=7730 834.04/834.32 c nbDecision=428500 #constraints=7730 834.94/835.24 c nbDecision=429000 #constraints=7730 835.84/836.18 c nbDecision=429500 #constraints=7731 836.84/837.13 c nbDecision=430000 #constraints=7731 837.73/838.08 c nbDecision=430500 #constraints=7731 838.73/839.01 c nbDecision=431000 #constraints=7731 839.63/839.94 c nbDecision=431500 #constraints=7731 840.53/840.87 c nbDecision=432000 #constraints=7738 841.43/841.79 c nbDecision=432500 #constraints=7739 842.43/842.70 c nbDecision=433000 #constraints=7739 843.23/843.59 c nbDecision=433500 #constraints=7739 844.23/844.52 c nbDecision=434000 #constraints=7762 845.03/845.39 c nbDecision=434500 #constraints=7762 845.93/846.27 c nbDecision=435000 #constraints=7763 846.83/847.14 c nbDecision=435500 #constraints=7763 847.73/848.09 c nbDecision=436000 #constraints=7773 848.73/849.05 c nbDecision=436500 #constraints=7773 849.73/850.00 c nbDecision=437000 #constraints=7773 850.63/850.94 c nbDecision=437500 #constraints=7773 851.53/851.86 c nbDecision=438000 #constraints=7773 852.43/852.78 c nbDecision=438500 #constraints=7773 853.33/853.69 c nbDecision=439000 #constraints=7773 854.33/854.63 c nbDecision=439500 #constraints=7783 855.24/855.58 c nbDecision=440000 #constraints=7783 856.24/856.52 c nbDecision=440500 #constraints=7783 857.14/857.45 c nbDecision=441000 #constraints=7783 858.04/858.37 c nbDecision=441500 #constraints=7783 858.94/859.28 c nbDecision=442000 #constraints=7783 859.84/860.19 c nbDecision=442500 #constraints=7783 860.74/861.09 c nbDecision=443000 #constraints=7783 861.64/861.98 c nbDecision=443500 #constraints=7783 862.54/862.88 c nbDecision=444000 #constraints=7790 863.44/863.74 c nbDecision=444500 #constraints=7790 864.34/864.63 c nbDecision=445000 #constraints=7804 865.14/865.48 c nbDecision=445500 #constraints=7804 866.03/866.33 c nbDecision=446000 #constraints=7805 866.83/867.19 c nbDecision=446500 #constraints=7805 867.73/868.07 c nbDecision=447000 #constraints=7819 868.64/868.93 c nbDecision=447500 #constraints=7819 869.43/869.80 c nbDecision=448000 #constraints=7820 870.33/870.66 c nbDecision=448500 #constraints=7820 871.23/871.53 c nbDecision=449000 #constraints=7828 872.04/872.37 c nbDecision=449500 #constraints=7828 872.93/873.24 c nbDecision=450000 #constraints=7829 873.83/874.10 c nbDecision=450500 #constraints=7829 874.63/875.00 c nbDecision=451000 #constraints=7853 875.53/875.84 c nbDecision=451500 #constraints=7853 876.43/876.71 c nbDecision=452000 #constraints=7880 877.23/877.53 c nbDecision=452500 #constraints=7880 878.03/878.37 c nbDecision=453000 #constraints=7881 878.93/879.21 c nbDecision=453500 #constraints=7890 879.73/880.03 c nbDecision=454000 #constraints=7890 880.63/880.91 c nbDecision=454500 #constraints=7923 881.43/881.73 c nbDecision=455000 #constraints=7923 882.33/882.63 c nbDecision=455500 #constraints=7927 883.33/883.67 c nbDecision=456000 #constraints=7946 884.13/884.48 c nbDecision=456500 #constraints=7946 885.63/885.95 c nbDecision=457000 #constraints=7973 886.42/886.77 c nbDecision=457500 #constraints=7973 887.22/887.58 c nbDecision=458000 #constraints=7973 888.13/888.43 c nbDecision=458500 #constraints=7987 889.02/889.30 c nbDecision=459000 #constraints=7988 890.02/890.35 c nbDecision=459500 #constraints=8008 890.92/891.22 c nbDecision=460000 #constraints=8008 891.83/892.12 c nbDecision=460500 #constraints=8009 892.72/893.08 c nbDecision=461000 #constraints=8009 893.72/894.02 c nbDecision=461500 #constraints=8009 894.62/894.96 c nbDecision=462000 #constraints=8009 895.52/895.88 c nbDecision=462500 #constraints=8009 896.42/896.80 c nbDecision=463000 #constraints=8009 897.42/897.70 c nbDecision=463500 #constraints=8009 898.32/898.60 c nbDecision=464000 #constraints=8009 899.12/899.49 c nbDecision=464500 #constraints=8009 900.02/900.37 c nbDecision=465000 #constraints=8011 900.92/901.25 c nbDecision=465500 #constraints=8011 901.82/902.14 c nbDecision=466000 #constraints=8021 902.62/903.00 c nbDecision=466500 #constraints=8022 903.62/903.90 c nbDecision=467000 #constraints=8046 904.42/904.74 c nbDecision=467500 #constraints=8046 905.22/905.59 c nbDecision=468000 #constraints=8048 906.12/906.47 c nbDecision=468500 #constraints=8048 907.02/907.34 c nbDecision=469000 #constraints=8049 907.82/908.19 c nbDecision=469500 #constraints=8049 909.11/909.41 c nbDecision=470000 #constraints=8057 910.01/910.37 c nbDecision=470500 #constraints=8057 911.01/911.31 c nbDecision=471000 #constraints=8057 911.91/912.25 c nbDecision=471500 #constraints=8057 912.81/913.17 c nbDecision=472000 #constraints=8057 913.72/914.09 c nbDecision=472500 #constraints=8057 914.71/915.00 c nbDecision=473000 #constraints=8058 915.61/915.90 c nbDecision=473500 #constraints=8060 916.41/916.79 c nbDecision=474000 #constraints=8060 917.31/917.69 c nbDecision=474500 #constraints=8071 918.21/918.56 c nbDecision=475000 #constraints=8071 919.11/919.43 c nbDecision=475500 #constraints=8080 919.91/920.28 c nbDecision=476000 #constraints=8080 920.81/921.17 c nbDecision=476500 #constraints=8093 921.71/922.05 c nbDecision=477000 #constraints=8093 922.61/922.94 c nbDecision=477500 #constraints=8103 923.41/923.80 c nbDecision=478000 #constraints=8105 924.31/924.67 c nbDecision=478500 #constraints=8111 925.21/925.55 c nbDecision=479000 #constraints=8111 926.11/926.43 c nbDecision=479500 #constraints=8120 927.01/927.30 c nbDecision=480000 #constraints=8129 927.80/928.15 c nbDecision=480500 #constraints=8129 928.70/929.00 c nbDecision=481000 #constraints=8130 929.50/929.86 c nbDecision=481500 #constraints=8135 930.40/930.71 c nbDecision=482000 #constraints=8135 931.20/931.57 c nbDecision=482500 #constraints=8153 932.10/932.40 c nbDecision=483000 #constraints=8153 932.90/933.24 c nbDecision=483500 #constraints=8158 933.70/934.06 c nbDecision=484000 #constraints=8158 934.50/934.88 c nbDecision=484500 #constraints=8161 935.30/935.69 c nbDecision=485000 #constraints=8161 936.30/936.63 c nbDecision=485500 #constraints=8166 937.20/937.52 c nbDecision=486000 #constraints=8190 938.10/938.42 c nbDecision=486500 #constraints=8195 938.91/939.23 c nbDecision=487000 #constraints=8195 939.71/940.04 c nbDecision=487500 #constraints=8196 940.61/940.99 c nbDecision=488000 #constraints=8205 942.11/942.47 c nbDecision=488500 #constraints=8238 943.21/943.55 c nbDecision=489000 #constraints=8254 944.91/945.29 c nbDecision=489500 #constraints=8274 945.71/946.09 c nbDecision=490000 #constraints=8278 946.61/946.92 c nbDecision=490500 #constraints=8283 947.40/947.73 c nbDecision=491000 #constraints=8283 948.50/948.81 c nbDecision=491500 #constraints=8285 949.30/949.68 c nbDecision=492000 #constraints=8292 950.30/950.62 c nbDecision=492500 #constraints=8322 951.11/951.45 c nbDecision=493000 #constraints=8343 951.90/952.26 c nbDecision=493500 #constraints=8343 952.70/953.06 c nbDecision=494000 #constraints=8347 953.60/953.94 c nbDecision=494500 #constraints=8349 954.51/954.80 c nbDecision=495000 #constraints=8349 955.30/955.65 c nbDecision=495500 #constraints=8349 956.10/956.50 c nbDecision=496000 #constraints=8349 957.10/957.45 c nbDecision=496500 #constraints=8352 958.00/958.39 c nbDecision=497000 #constraints=8352 959.00/959.33 c nbDecision=497500 #constraints=8352 959.91/960.26 c nbDecision=498000 #constraints=8352 960.80/961.18 c nbDecision=498500 #constraints=8352 961.80/962.15 c nbDecision=499000 #constraints=8353 962.80/963.11 c nbDecision=499500 #constraints=8353 963.70/964.06 c nbDecision=500000 #constraints=8353 964.70/965.00 c nbDecision=500500 #constraints=8353 965.60/965.93 c nbDecision=501000 #constraints=8353 966.50/966.86 c nbDecision=501500 #constraints=8357 967.40/967.77 c nbDecision=502000 #constraints=8357 968.40/968.73 c nbDecision=502500 #constraints=8365 969.30/969.69 c nbDecision=503000 #constraints=8365 970.30/970.64 c nbDecision=503500 #constraints=8365 971.20/971.56 c nbDecision=504000 #constraints=8365 972.10/972.49 c nbDecision=504500 #constraints=8365 973.00/973.40 c nbDecision=505000 #constraints=8365 974.00/974.30 c nbDecision=505500 #constraints=8365 974.90/975.23 c nbDecision=506000 #constraints=8366 975.79/976.18 c nbDecision=506500 #constraints=8366 976.79/977.13 c nbDecision=507000 #constraints=8366 977.69/978.06 c nbDecision=507500 #constraints=8366 978.60/978.98 c nbDecision=508000 #constraints=8366 979.59/979.91 c nbDecision=508500 #constraints=8375 980.49/980.82 c nbDecision=509000 #constraints=8375 981.39/981.73 c nbDecision=509500 #constraints=8377 982.29/982.63 c nbDecision=510000 #constraints=8377 983.19/983.52 c nbDecision=510500 #constraints=8380 983.99/984.39 c nbDecision=511000 #constraints=8380 984.99/985.32 c nbDecision=511500 #constraints=8381 985.89/986.28 c nbDecision=512000 #constraints=8381 986.89/987.23 c nbDecision=512500 #constraints=8381 987.79/988.17 c nbDecision=513000 #constraints=8381 988.79/989.10 c nbDecision=513500 #constraints=8381 989.70/990.03 c nbDecision=514000 #constraints=8381 990.59/990.93 c nbDecision=514500 #constraints=8381 991.49/991.83 c nbDecision=515000 #constraints=8381 992.39/992.72 c nbDecision=515500 #constraints=8381 993.29/993.61 c nbDecision=516000 #constraints=8392 994.09/994.48 c nbDecision=516500 #constraints=8392 994.99/995.33 c nbDecision=517000 #constraints=8392 995.79/996.18 c nbDecision=517500 #constraints=8392 996.79/997.10 c nbDecision=518000 #constraints=8397 997.69/998.05 c nbDecision=518500 #constraints=8397 998.59/998.99 c nbDecision=519000 #constraints=8397 999.59/999.92 c nbDecision=519500 #constraints=8397 1000.49/1000.85 c nbDecision=520000 #constraints=8397 1001.39/1001.77 c nbDecision=520500 #constraints=8397 1002.29/1002.69 c nbDecision=521000 #constraints=8397 1003.19/1003.59 c nbDecision=521500 #constraints=8397 1004.08/1004.48 c nbDecision=522000 #constraints=8397 1004.99/1005.36 c nbDecision=522500 #constraints=8397 1005.88/1006.23 c nbDecision=523000 #constraints=8397 1006.78/1007.12 c nbDecision=523500 #constraints=8409 1007.58/1007.97 c nbDecision=524000 #constraints=8409 1008.58/1008.94 c nbDecision=524500 #constraints=8418 1009.49/1009.90 c nbDecision=525000 #constraints=8418 1010.49/1010.84 c nbDecision=525500 #constraints=8418 1011.38/1011.77 c nbDecision=526000 #constraints=8418 1012.38/1012.70 c nbDecision=526500 #constraints=8418 1013.28/1013.61 c nbDecision=527000 #constraints=8418 1014.18/1014.51 c nbDecision=527500 #constraints=8418 1015.08/1015.41 c nbDecision=528000 #constraints=8418 1015.88/1016.29 c nbDecision=528500 #constraints=8418 1016.78/1017.19 c nbDecision=529000 #constraints=8427 1017.68/1018.05 c nbDecision=529500 #constraints=8427 1018.58/1018.91 c nbDecision=530000 #constraints=8428 1019.38/1019.75 c nbDecision=530500 #constraints=8428 1020.28/1020.63 c nbDecision=531000 #constraints=8431 1021.08/1021.50 c nbDecision=531500 #constraints=8431 1021.98/1022.37 c nbDecision=532000 #constraints=8433 1022.88/1023.22 c nbDecision=532500 #constraints=8433 1023.78/1024.11 c nbDecision=533000 #constraints=8443 1024.58/1024.98 c nbDecision=533500 #constraints=8443 1025.48/1025.86 c nbDecision=534000 #constraints=8448 1026.37/1026.71 c nbDecision=534500 #constraints=8448 1027.17/1027.57 c nbDecision=535000 #constraints=8459 1028.08/1028.41 c nbDecision=535500 #constraints=8459 1028.87/1029.25 c nbDecision=536000 #constraints=8460 1029.67/1030.07 c nbDecision=536500 #constraints=8460 1030.57/1030.94 c nbDecision=537000 #constraints=8473 1031.38/1031.77 c nbDecision=537500 #constraints=8479 1032.17/1032.59 c nbDecision=538000 #constraints=8487 1033.07/1033.40 c nbDecision=538500 #constraints=8488 1033.87/1034.22 c nbDecision=539000 #constraints=8489 1034.68/1035.03 c nbDecision=539500 #constraints=8489 1035.48/1035.83 c nbDecision=540000 #constraints=8491 1036.38/1036.75 c nbDecision=540500 #constraints=8540 1037.98/1038.38 c nbDecision=541000 #constraints=8574 1038.88/1039.24 c nbDecision=541500 #constraints=8574 1039.78/1040.11 c nbDecision=542000 #constraints=8582 1040.58/1040.96 c nbDecision=542500 #constraints=8582 1041.48/1041.81 c nbDecision=543000 #constraints=8583 1042.28/1042.64 c nbDecision=543500 #constraints=8583 1043.08/1043.49 c nbDecision=544000 #constraints=8584 1043.98/1044.35 c nbDecision=544500 #constraints=8596 1044.78/1045.18 c nbDecision=545000 #constraints=8596 1045.68/1046.02 c nbDecision=545500 #constraints=8597 1046.48/1046.85 c nbDecision=546000 #constraints=8597 1047.38/1047.76 c nbDecision=546500 #constraints=8620 1048.28/1048.63 c nbDecision=547000 #constraints=8620 1049.17/1049.50 c nbDecision=547500 #constraints=8620 1049.97/1050.35 c nbDecision=548000 #constraints=8620 1050.78/1051.20 c nbDecision=548500 #constraints=8622 1051.67/1052.02 c nbDecision=549000 #constraints=8622 1052.47/1052.88 c nbDecision=549500 #constraints=8637 1053.27/1053.69 c nbDecision=550000 #constraints=8637 1054.17/1054.50 c nbDecision=550500 #constraints=8640 1054.97/1055.34 c nbDecision=551000 #constraints=8659 1055.77/1056.15 c nbDecision=551500 #constraints=8676 1056.57/1056.96 c nbDecision=552000 #constraints=8680 1057.37/1057.77 c nbDecision=552500 #constraints=8680 1058.17/1058.58 c nbDecision=553000 #constraints=8686 1058.97/1059.38 c nbDecision=553500 #constraints=8701 1059.86/1060.20 c nbDecision=554000 #constraints=8726 1060.66/1061.00 c nbDecision=554500 #constraints=8732 1061.46/1061.81 c nbDecision=555000 #constraints=8760 1062.27/1062.66 c nbDecision=555500 #constraints=8787 1063.06/1063.48 c nbDecision=556000 #constraints=8787 1063.86/1064.29 c nbDecision=556500 #constraints=8787 1064.76/1065.11 c nbDecision=557000 #constraints=8797 1065.57/1065.93 c nbDecision=557500 #constraints=8810 1066.36/1066.75 c nbDecision=558000 #constraints=8810 1067.16/1067.56 c nbDecision=558500 #constraints=8811 1068.36/1068.77 c nbDecision=559000 #constraints=8818 1069.16/1069.58 c nbDecision=559500 #constraints=8827 1069.96/1070.39 c nbDecision=560000 #constraints=8827 1070.76/1071.20 c nbDecision=560500 #constraints=8828 1071.56/1071.98 c nbDecision=561000 #constraints=8829 1072.36/1072.76 c nbDecision=561500 #constraints=8853 1073.26/1073.61 c nbDecision=562000 #constraints=8881 1074.06/1074.42 c nbDecision=562500 #constraints=8881 1074.86/1075.23 c nbDecision=563000 #constraints=8882 1075.66/1076.04 c nbDecision=563500 #constraints=8884 1076.46/1076.83 c nbDecision=564000 #constraints=8913 1077.35/1077.71 c nbDecision=564500 #constraints=8962 1078.15/1078.52 c nbDecision=565000 #constraints=8962 1078.95/1079.32 c nbDecision=565500 #constraints=8962 1079.65/1080.09 c nbDecision=566000 #constraints=8964 1080.45/1080.89 c nbDecision=566500 #constraints=8966 1081.35/1081.70 c nbDecision=567000 #constraints=8981 1082.15/1082.54 c nbDecision=567500 #constraints=9041 1082.95/1083.37 c nbDecision=568000 #constraints=9097 1083.86/1084.26 c nbDecision=568500 #constraints=9163 1084.96/1085.39 c nbDecision=569000 #constraints=9203 1085.86/1086.25 c nbDecision=569500 #constraints=9238 1087.06/1087.42 c nbDecision=570000 #constraints=9287 1087.86/1088.28 c nbDecision=570500 #constraints=9318 1088.66/1089.06 c nbDecision=571000 #constraints=9327 1089.46/1089.84 c nbDecision=571500 #constraints=9335 1090.26/1090.63 c nbDecision=572000 #constraints=9351 1091.05/1091.45 c nbDecision=572500 #constraints=9382 1091.96/1092.31 c nbDecision=573000 #constraints=9400 1092.85/1093.28 c nbDecision=573500 #constraints=9416 1093.65/1094.10 c nbDecision=574000 #constraints=9454 1094.85/1095.29 c nbDecision=574500 #constraints=9523 1095.65/1096.08 c nbDecision=575000 #constraints=9562 1096.45/1096.85 c nbDecision=575500 #constraints=9583 1097.36/1097.79 c nbDecision=576000 #constraints=9607 1098.15/1098.57 c nbDecision=576500 #constraints=9624 1098.95/1099.33 c nbDecision=577000 #constraints=9638 1099.75/1100.18 c nbDecision=577500 #constraints=9673 1101.05/1101.40 c nbDecision=578000 #constraints=9702 1102.15/1102.51 c nbDecision=578500 #constraints=9730 1102.85/1103.30 c nbDecision=579000 #constraints=9761 1103.65/1104.09 c nbDecision=579500 #constraints=9787 1104.45/1104.88 c nbDecision=580000 #constraints=9805 1105.25/1105.66 c nbDecision=580500 #constraints=9816 1106.05/1106.45 c nbDecision=581000 #constraints=9838 1107.05/1107.46 c nbDecision=581500 #constraints=9888 1107.85/1108.26 c nbDecision=582000 #constraints=9944 1108.75/1109.18 c nbDecision=582500 #constraints=9971 1109.55/1109.94 c nbDecision=583000 #constraints=9991 1110.45/1110.80 c nbDecision=583500 #constraints=10039 1111.14/1111.56 c nbDecision=584000 #constraints=10083 1111.94/1112.34 c nbDecision=584500 #constraints=10119 1112.75/1113.20 c nbDecision=585000 #constraints=10143 1113.65/1114.02 c nbDecision=585500 #constraints=10178 1114.45/1114.81 c nbDecision=586000 #constraints=10212 1115.25/1115.61 c nbDecision=586500 #constraints=10226 1116.05/1116.44 c nbDecision=587000 #constraints=10254 1116.84/1117.23 c nbDecision=587500 #constraints=10293 1118.04/1118.42 c nbDecision=588000 #constraints=10344 1118.84/1119.20 c nbDecision=588500 #constraints=10368 1119.64/1120.01 c nbDecision=589000 #constraints=10407 1120.34/1120.76 c nbDecision=589500 #constraints=10413 1121.25/1121.67 c nbDecision=590000 #constraints=10429 1122.05/1122.42 c nbDecision=590500 #constraints=10448 1122.85/1123.23 c nbDecision=591000 #constraints=10468 1123.65/1124.00 c nbDecision=591500 #constraints=10473 1124.45/1124.80 c nbDecision=592000 #constraints=10487 1125.25/1125.63 c nbDecision=592500 #constraints=10512 1126.05/1126.43 c nbDecision=593000 #constraints=10544 1126.95/1127.39 c nbDecision=593500 #constraints=10557 1127.85/1128.23 c nbDecision=594000 #constraints=10595 1128.65/1129.06 c nbDecision=594500 #constraints=10635 1129.45/1129.89 c nbDecision=595000 #constraints=10662 1130.75/1131.19 c nbDecision=595500 #constraints=10677 1131.64/1132.04 c nbDecision=596000 #constraints=10719 1132.44/1132.85 c nbDecision=596500 #constraints=10740 1133.75/1134.11 c nbDecision=597000 #constraints=10770 1134.44/1134.89 c nbDecision=597500 #constraints=10794 1135.34/1135.71 c nbDecision=598000 #constraints=10795 1136.14/1136.52 c nbDecision=598500 #constraints=10795 1136.95/1137.32 c nbDecision=599000 #constraints=10797 1137.64/1138.08 c nbDecision=599500 #constraints=10797 1138.54/1138.91 c nbDecision=600000 #constraints=10830 1139.25/1139.69 c nbDecision=600500 #constraints=10841 1140.04/1140.48 c nbDecision=601000 #constraints=10851 1140.94/1141.31 c nbDecision=601500 #constraints=10882 1141.74/1142.17 c nbDecision=602000 #constraints=10897 1142.64/1143.05 c nbDecision=602500 #constraints=10913 1143.44/1143.89 c nbDecision=603000 #constraints=10938 1144.34/1144.70 c nbDecision=603500 #constraints=10952 1145.14/1145.51 c nbDecision=604000 #constraints=10968 1145.94/1146.31 c nbDecision=604500 #constraints=10983 1146.64/1147.08 c nbDecision=605000 #constraints=10987 1147.44/1147.88 c nbDecision=605500 #constraints=11024 1148.34/1148.76 c nbDecision=606000 #constraints=11044 1149.53/1149.91 c nbDecision=606500 #constraints=11067 1151.03/1151.45 c nbDecision=607000 #constraints=11086 1151.83/1152.30 c nbDecision=607500 #constraints=11103 1152.73/1153.11 c nbDecision=608000 #constraints=11115 1153.63/1154.08 c nbDecision=608500 #constraints=11124 1154.63/1155.08 c nbDecision=609000 #constraints=11162 1155.53/1155.99 c nbDecision=609500 #constraints=11168 1156.63/1157.07 c nbDecision=610000 #constraints=11207 1157.54/1157.90 c nbDecision=610500 #constraints=11223 1158.34/1158.76 c nbDecision=611000 #constraints=11248 1159.14/1159.55 c nbDecision=611500 #constraints=11254 1160.14/1160.51 c nbDecision=612000 #constraints=11291 1160.93/1161.37 c nbDecision=612500 #constraints=11296 1161.93/1162.31 c nbDecision=613000 #constraints=11310 1162.63/1163.09 c nbDecision=613500 #constraints=11311 1163.53/1163.92 c nbDecision=614000 #constraints=11328 1164.33/1164.73 c nbDecision=614500 #constraints=11333 1165.03/1165.47 c nbDecision=615000 #constraints=11333 1165.93/1166.31 c nbDecision=615500 #constraints=11344 1166.63/1167.08 c nbDecision=616000 #constraints=11346 1167.43/1167.90 c nbDecision=616500 #constraints=11377 1169.33/1169.72 c nbDecision=617000 #constraints=11410 1170.13/1170.52 c nbDecision=617500 #constraints=11416 1170.93/1171.34 c nbDecision=618000 #constraints=11427 1172.43/1172.81 c nbDecision=618500 #constraints=11442 1173.12/1173.58 c nbDecision=619000 #constraints=11458 1173.92/1174.34 c nbDecision=619500 #constraints=11459 1174.72/1175.14 c nbDecision=620000 #constraints=11463 1175.72/1176.13 c nbDecision=620500 #constraints=11481 1176.63/1177.01 c nbDecision=621000 #constraints=11512 1177.42/1177.83 c nbDecision=621500 #constraints=11513 1178.22/1178.64 c nbDecision=622000 #constraints=11513 1179.02/1179.44 c nbDecision=622500 #constraints=11513 1179.82/1180.21 c nbDecision=623000 #constraints=11514 1180.62/1181.01 c nbDecision=623500 #constraints=11516 1181.42/1181.80 c nbDecision=624000 #constraints=11522 1182.22/1182.63 c nbDecision=624500 #constraints=11548 1183.03/1183.49 c nbDecision=625000 #constraints=11567 1183.93/1184.30 c nbDecision=625500 #constraints=11590 1185.03/1185.42 c nbDecision=626000 #constraints=11601 1185.93/1186.33 c nbDecision=626500 #constraints=11615 1186.73/1187.17 c nbDecision=627000 #constraints=11637 1187.53/1187.98 c nbDecision=627500 #constraints=11641 1188.32/1188.77 c nbDecision=628000 #constraints=11645 1189.22/1189.62 c nbDecision=628500 #constraints=11667 1190.12/1190.54 c nbDecision=629000 #constraints=11690 1190.93/1191.32 c nbDecision=629500 #constraints=11695 1191.72/1192.16 c nbDecision=630000 #constraints=11697 1192.62/1193.00 c nbDecision=630500 #constraints=11697 1193.42/1193.85 c nbDecision=631000 #constraints=11698 1194.23/1194.68 c nbDecision=631500 #constraints=11698 1195.02/1195.50 c nbDecision=632000 #constraints=11698 1195.92/1196.30 c nbDecision=632500 #constraints=11698 1196.72/1197.12 c nbDecision=633000 #constraints=11700 1197.53/1197.92 c nbDecision=633500 #constraints=11710 1198.32/1198.72 c nbDecision=634000 #constraints=11723 1199.02/1199.49 c nbDecision=634500 #constraints=11727 1199.92/1200.31 c nbDecision=635000 #constraints=11750 1200.72/1201.15 c nbDecision=635500 #constraints=11752 1201.52/1201.97 c nbDecision=636000 #constraints=11752 1202.32/1202.77 c nbDecision=636500 #constraints=11753 1203.32/1203.75 c nbDecision=637000 #constraints=11764 1204.12/1204.57 c nbDecision=637500 #constraints=11764 1204.92/1205.38 c nbDecision=638000 #constraints=11764 1205.72/1206.17 c nbDecision=638500 #constraints=11768 1206.52/1206.98 c nbDecision=639000 #constraints=11781 1207.42/1207.84 c nbDecision=639500 #constraints=11794 1208.32/1208.72 c nbDecision=640000 #constraints=11826 1209.12/1209.55 c nbDecision=640500 #constraints=11833 1209.92/1210.37 c nbDecision=641000 #constraints=11850 1210.91/1211.36 c nbDecision=641500 #constraints=11868 1211.72/1212.13 c nbDecision=642000 #constraints=11872 1212.71/1213.17 c nbDecision=642500 #constraints=11918 1213.51/1213.92 c nbDecision=643000 #constraints=11918 1214.31/1214.71 c nbDecision=643500 #constraints=11945 1215.31/1215.78 c nbDecision=644000 #constraints=11968 1216.12/1216.55 c nbDecision=644500 #constraints=11986 1217.02/1217.40 c nbDecision=645000 #constraints=12003 1217.72/1218.17 c nbDecision=645500 #constraints=12004 1218.61/1219.07 c nbDecision=646000 #constraints=12020 1220.21/1220.69 c nbDecision=646500 #constraints=12033 1221.11/1221.50 c nbDecision=647000 #constraints=12045 1221.91/1222.32 c nbDecision=647500 #constraints=12059 1222.72/1223.17 c nbDecision=648000 #constraints=12096 1223.51/1223.95 c nbDecision=648500 #constraints=12099 1224.31/1224.76 c nbDecision=649000 #constraints=12106 1225.11/1225.55 c nbDecision=649500 #constraints=12117 1225.91/1226.33 c nbDecision=650000 #constraints=12117 1226.71/1227.19 c nbDecision=650500 #constraints=12125 1227.71/1228.15 c nbDecision=651000 #constraints=12147 1229.11/1229.55 c nbDecision=651500 #constraints=12157 1230.01/1230.46 c nbDecision=652000 #constraints=12169 1230.81/1231.28 c nbDecision=652500 #constraints=12177 1231.61/1232.08 c nbDecision=653000 #constraints=12183 1232.41/1232.87 c nbDecision=653500 #constraints=12192 1233.31/1233.73 c nbDecision=654000 #constraints=12198 1234.11/1234.51 c nbDecision=654500 #constraints=12211 1234.91/1235.31 c nbDecision=655000 #constraints=12221 1236.31/1236.75 c nbDecision=655500 #constraints=12236 1237.21/1237.63 c nbDecision=656000 #constraints=12239 1238.51/1238.98 c nbDecision=656500 #constraints=12256 1239.40/1239.85 c nbDecision=657000 #constraints=12271 1240.70/1241.18 c nbDecision=657500 #constraints=12284 1242.01/1242.49 c nbDecision=658000 #constraints=12309 1242.91/1243.33 c nbDecision=658500 #constraints=12309 1243.71/1244.18 c nbDecision=659000 #constraints=12309 1244.61/1245.01 c nbDecision=659500 #constraints=12309 1245.41/1245.84 c nbDecision=660000 #constraints=12309 1246.21/1246.65 c nbDecision=660500 #constraints=12309 1247.01/1247.47 c nbDecision=661000 #constraints=12310 1247.91/1248.30 c nbDecision=661500 #constraints=12315 1248.71/1249.13 c nbDecision=662000 #constraints=12316 1249.51/1249.95 c nbDecision=662500 #constraints=12317 1250.31/1250.79 c nbDecision=663000 #constraints=12332 1251.50/1251.91 c nbDecision=663500 #constraints=12352 1252.30/1252.73 c nbDecision=664000 #constraints=12363 1253.10/1253.51 c nbDecision=664500 #constraints=12367 1253.90/1254.33 c nbDecision=665000 #constraints=12380 1254.80/1255.23 c nbDecision=665500 #constraints=12412 1255.60/1256.07 c nbDecision=666000 #constraints=12423 1256.40/1256.89 c nbDecision=666500 #constraints=12439 1257.30/1257.72 c nbDecision=667000 #constraints=12454 1258.10/1258.59 c nbDecision=667500 #constraints=12470 1258.90/1259.40 c nbDecision=668000 #constraints=12478 1259.80/1260.23 c nbDecision=668500 #constraints=12487 1260.70/1261.11 c nbDecision=669000 #constraints=12499 1261.40/1261.89 c nbDecision=669500 #constraints=12499 1262.30/1262.75 c nbDecision=670000 #constraints=12507 1263.10/1263.57 c nbDecision=670500 #constraints=12507 1264.00/1264.42 c nbDecision=671000 #constraints=12514 1264.80/1265.20 c nbDecision=671500 #constraints=12515 1265.60/1266.06 c nbDecision=672000 #constraints=12536 1266.40/1266.87 c nbDecision=672500 #constraints=12544 1267.20/1267.67 c nbDecision=673000 #constraints=12548 1268.10/1268.55 c nbDecision=673500 #constraints=12560 1268.90/1269.39 c nbDecision=674000 #constraints=12564 1269.80/1270.22 c nbDecision=674500 #constraints=12568 1270.59/1271.03 c nbDecision=675000 #constraints=12568 1271.49/1271.96 c nbDecision=675500 #constraints=12574 1272.30/1272.73 c nbDecision=676000 #constraints=12575 1273.09/1273.59 c nbDecision=676500 #constraints=12591 1273.99/1274.41 c nbDecision=677000 #constraints=12591 1274.79/1275.23 c nbDecision=677500 #constraints=12591 1275.59/1276.04 c nbDecision=678000 #constraints=12591 1276.49/1276.90 c nbDecision=678500 #constraints=12592 1277.29/1277.74 c nbDecision=679000 #constraints=12592 1278.19/1278.60 c nbDecision=679500 #constraints=12601 1278.99/1279.42 c nbDecision=680000 #constraints=12601 1279.79/1280.24 c nbDecision=680500 #constraints=12601 1280.59/1281.05 c nbDecision=681000 #constraints=12601 1281.39/1281.89 c nbDecision=681500 #constraints=12613 1282.29/1282.70 c nbDecision=682000 #constraints=12626 1282.99/1283.49 c nbDecision=682500 #constraints=12629 1283.89/1284.31 c nbDecision=683000 #constraints=12642 1284.99/1285.42 c nbDecision=683500 #constraints=12653 1285.89/1286.33 c nbDecision=684000 #constraints=12662 1286.69/1287.17 c nbDecision=684500 #constraints=12662 1287.49/1287.99 c nbDecision=685000 #constraints=12662 1288.39/1288.81 c nbDecision=685500 #constraints=12662 1289.19/1289.63 c nbDecision=686000 #constraints=12672 1289.99/1290.48 c nbDecision=686500 #constraints=12674 1290.89/1291.30 c nbDecision=687000 #constraints=12674 1291.68/1292.11 c nbDecision=687500 #constraints=12674 1292.48/1292.93 c nbDecision=688000 #constraints=12676 1293.29/1293.75 c nbDecision=688500 #constraints=12683 1294.09/1294.58 c nbDecision=689000 #constraints=12693 1294.99/1295.41 c nbDecision=689500 #constraints=12693 1295.79/1296.23 c nbDecision=690000 #constraints=12693 1296.59/1297.04 c nbDecision=690500 #constraints=12693 1297.39/1297.85 c nbDecision=691000 #constraints=12695 1298.19/1298.64 c nbDecision=691500 #constraints=12697 1299.09/1299.56 c nbDecision=692000 #constraints=12734 1299.99/1300.40 c nbDecision=692500 #constraints=12734 1300.79/1301.25 c nbDecision=693000 #constraints=12734 1301.59/1302.09 c nbDecision=693500 #constraints=12734 1302.49/1302.92 c nbDecision=694000 #constraints=12734 1303.29/1303.73 c nbDecision=694500 #constraints=12734 1304.09/1304.58 c nbDecision=695000 #constraints=12738 1304.99/1305.40 c nbDecision=695500 #constraints=12738 1305.79/1306.22 c nbDecision=696000 #constraints=12739 1306.59/1307.06 c nbDecision=696500 #constraints=12757 1307.49/1307.97 c nbDecision=697000 #constraints=12795 1308.29/1308.75 c nbDecision=697500 #constraints=12797 1309.19/1309.60 c nbDecision=698000 #constraints=12814 1309.99/1310.48 c nbDecision=698500 #constraints=12815 1310.89/1311.32 c nbDecision=699000 #constraints=12815 1311.68/1312.14 c nbDecision=699500 #constraints=12815 1312.48/1312.97 c nbDecision=700000 #constraints=12815 1313.28/1313.78 c nbDecision=700500 #constraints=12815 1314.09/1314.59 c nbDecision=701000 #constraints=12816 1314.88/1315.39 c nbDecision=701500 #constraints=12820 1315.68/1316.18 c nbDecision=702000 #constraints=12827 1316.48/1316.95 c nbDecision=702500 #constraints=12827 1317.28/1317.73 c nbDecision=703000 #constraints=12829 1318.08/1318.52 c nbDecision=703500 #constraints=12834 1318.88/1319.30 c nbDecision=704000 #constraints=12836 1319.68/1320.11 c nbDecision=704500 #constraints=12852 1320.48/1320.91 c nbDecision=705000 #constraints=12863 1321.38/1321.82 c nbDecision=705500 #constraints=12866 1322.18/1322.63 c nbDecision=706000 #constraints=12877 1322.98/1323.42 c nbDecision=706500 #constraints=12882 1323.78/1324.22 c nbDecision=707000 #constraints=12889 1324.58/1325.04 c nbDecision=707500 #constraints=12901 1325.37/1325.81 c nbDecision=708000 #constraints=12901 1326.27/1326.72 c nbDecision=708500 #constraints=12915 1327.07/1327.59 c nbDecision=709000 #constraints=12917 1327.97/1328.44 c nbDecision=709500 #constraints=12917 1328.77/1329.27 c nbDecision=710000 #constraints=12917 1329.67/1330.11 c nbDecision=710500 #constraints=12918 1330.48/1330.92 c nbDecision=711000 #constraints=12918 1331.27/1331.73 c nbDecision=711500 #constraints=12918 1332.07/1332.52 c nbDecision=712000 #constraints=12918 1332.87/1333.34 c nbDecision=712500 #constraints=12929 1333.67/1334.19 c nbDecision=713000 #constraints=12929 1334.57/1335.03 c nbDecision=713500 #constraints=12929 1335.37/1335.85 c nbDecision=714000 #constraints=12929 1336.17/1336.69 c nbDecision=714500 #constraints=12933 1336.97/1337.49 c nbDecision=715000 #constraints=12933 1337.87/1338.32 c nbDecision=715500 #constraints=12939 1338.67/1339.10 c nbDecision=716000 #constraints=12940 1339.47/1339.98 c nbDecision=716500 #constraints=12943 1340.37/1340.83 c nbDecision=717000 #constraints=12943 1341.17/1341.67 c nbDecision=717500 #constraints=12943 1342.07/1342.50 c nbDecision=718000 #constraints=12943 1342.87/1343.33 c nbDecision=718500 #constraints=12943 1343.67/1344.15 c nbDecision=719000 #constraints=12943 1344.47/1344.97 c nbDecision=719500 #constraints=12947 1345.37/1345.81 c nbDecision=720000 #constraints=12948 1346.07/1346.59 c nbDecision=720500 #constraints=12950 1346.87/1347.39 c nbDecision=721000 #constraints=12955 1347.67/1348.17 c nbDecision=721500 #constraints=12956 1348.67/1349.13 c nbDecision=722000 #constraints=12968 1349.47/1349.94 c nbDecision=722500 #constraints=12978 1350.27/1350.71 c nbDecision=723000 #constraints=12980 1351.07/1351.56 c nbDecision=723500 #constraints=12984 1351.87/1352.35 c nbDecision=724000 #constraints=12989 1352.97/1353.41 c nbDecision=724500 #constraints=13012 1353.67/1354.17 c nbDecision=725000 #constraints=13012 1354.56/1355.05 c nbDecision=725500 #constraints=13020 1355.36/1355.82 c nbDecision=726000 #constraints=13025 1356.26/1356.70 c nbDecision=726500 #constraints=13040 1357.06/1357.50 c nbDecision=727000 #constraints=13053 1357.86/1358.33 c nbDecision=727500 #constraints=13059 1358.66/1359.12 c nbDecision=728000 #constraints=13062 1359.46/1359.90 c nbDecision=728500 #constraints=13062 1360.17/1360.68 c nbDecision=729000 #constraints=13064 1360.96/1361.46 c nbDecision=729500 #constraints=13066 1361.86/1362.31 c nbDecision=730000 #constraints=13067 1362.66/1363.16 c nbDecision=730500 #constraints=13067 1363.56/1364.00 c nbDecision=731000 #constraints=13067 1364.36/1364.84 c nbDecision=731500 #constraints=13067 1365.16/1365.66 c nbDecision=732000 #constraints=13067 1365.96/1366.48 c nbDecision=732500 #constraints=13068 1366.76/1367.28 c nbDecision=733000 #constraints=13069 1367.56/1368.06 c nbDecision=733500 #constraints=13072 1368.36/1368.86 c nbDecision=734000 #constraints=13074 1369.16/1369.68 c nbDecision=734500 #constraints=13097 1369.96/1370.44 c nbDecision=735000 #constraints=13097 1370.76/1371.29 c nbDecision=735500 #constraints=13110 1371.86/1372.31 c nbDecision=736000 #constraints=13132 1372.65/1373.13 c nbDecision=736500 #constraints=13137 1373.36/1373.90 c nbDecision=737000 #constraints=13137 1374.15/1374.68 c nbDecision=737500 #constraints=13138 1375.05/1375.54 c nbDecision=738000 #constraints=13150 1375.85/1376.34 c nbDecision=738500 #constraints=13155 1376.67/1377.12 c nbDecision=739000 #constraints=13156 1377.56/1378.00 c nbDecision=739500 #constraints=13175 1378.36/1378.82 c nbDecision=740000 #constraints=13180 1379.06/1379.58 c nbDecision=740500 #constraints=13180 1379.97/1380.42 c nbDecision=741000 #constraints=13192 1380.76/1381.26 c nbDecision=741500 #constraints=13195 1381.66/1382.19 c nbDecision=742000 #constraints=13209 1382.46/1382.98 c nbDecision=742500 #constraints=13210 1383.46/1383.96 c nbDecision=743000 #constraints=13235 1384.36/1384.81 c nbDecision=743500 #constraints=13235 1385.16/1385.66 c nbDecision=744000 #constraints=13235 1385.96/1386.49 c nbDecision=744500 #constraints=13235 1386.86/1387.31 c nbDecision=745000 #constraints=13235 1387.66/1388.12 c nbDecision=745500 #constraints=13235 1388.46/1388.97 c nbDecision=746000 #constraints=13237 1389.26/1389.76 c nbDecision=746500 #constraints=13237 1390.06/1390.56 c nbDecision=747000 #constraints=13246 1390.86/1391.32 c nbDecision=747500 #constraints=13246 1391.86/1392.31 c nbDecision=748000 #constraints=13258 1392.66/1393.14 c nbDecision=748500 #constraints=13259 1393.45/1393.99 c nbDecision=749000 #constraints=13259 1394.36/1394.83 c nbDecision=749500 #constraints=13259 1395.15/1395.65 c nbDecision=750000 #constraints=13259 1396.05/1396.55 c nbDecision=750500 #constraints=13269 1396.85/1397.39 c nbDecision=751000 #constraints=13269 1397.75/1398.23 c nbDecision=751500 #constraints=13269 1398.55/1399.05 c nbDecision=752000 #constraints=13269 1399.35/1399.86 c nbDecision=752500 #constraints=13269 1400.15/1400.67 c nbDecision=753000 #constraints=13270 1401.05/1401.53 c nbDecision=753500 #constraints=13271 1401.85/1402.38 c nbDecision=754000 #constraints=13271 1402.75/1403.22 c nbDecision=754500 #constraints=13271 1403.55/1404.05 c nbDecision=755000 #constraints=13271 1404.35/1404.87 c nbDecision=755500 #constraints=13271 1405.15/1405.70 c nbDecision=756000 #constraints=13272 1406.05/1406.51 c nbDecision=756500 #constraints=13278 1406.84/1407.36 c nbDecision=757000 #constraints=13291 1407.64/1408.19 c nbDecision=757500 #constraints=13301 1408.44/1408.98 c nbDecision=758000 #constraints=13304 1409.24/1409.77 c nbDecision=758500 #constraints=13305 1410.04/1410.57 c nbDecision=759000 #constraints=13316 1410.85/1411.38 c nbDecision=759500 #constraints=13322 1411.64/1412.16 c nbDecision=760000 #constraints=13324 1412.54/1413.01 c nbDecision=760500 #constraints=13345 1413.24/1413.79 c nbDecision=761000 #constraints=13346 1414.34/1414.88 c nbDecision=761500 #constraints=13364 1415.24/1415.75 c nbDecision=762000 #constraints=13374 1416.04/1416.53 c nbDecision=762500 #constraints=13374 1416.84/1417.33 c nbDecision=763000 #constraints=13375 1417.64/1418.11 c nbDecision=763500 #constraints=13376 1418.45/1418.98 c nbDecision=764000 #constraints=13388 1419.25/1419.79 c nbDecision=764500 #constraints=13396 1420.15/1420.60 c nbDecision=765000 #constraints=13399 1420.95/1421.41 c nbDecision=765500 #constraints=13401 1421.75/1422.27 c nbDecision=766000 #constraints=13401 1422.64/1423.13 c nbDecision=766500 #constraints=13404 1423.44/1423.96 c nbDecision=767000 #constraints=13404 1424.24/1424.79 c nbDecision=767500 #constraints=13404 1425.15/1425.60 c nbDecision=768000 #constraints=13404 1425.94/1426.46 c nbDecision=768500 #constraints=13405 1426.74/1427.25 c nbDecision=769000 #constraints=13405 1427.54/1428.05 c nbDecision=769500 #constraints=13411 1428.34/1428.85 c nbDecision=770000 #constraints=13413 1429.14/1429.65 c nbDecision=770500 #constraints=13416 1429.94/1430.44 c nbDecision=771000 #constraints=13418 1430.74/1431.25 c nbDecision=771500 #constraints=13429 1431.54/1432.09 c nbDecision=772000 #constraints=13441 1432.34/1432.89 c nbDecision=772500 #constraints=13443 1433.14/1433.67 c nbDecision=773000 #constraints=13444 1434.04/1434.55 c nbDecision=773500 #constraints=13456 1434.84/1435.32 c nbDecision=774000 #constraints=13458 1435.64/1436.11 c nbDecision=774500 #constraints=13461 1436.34/1436.90 c nbDecision=775000 #constraints=13463 1437.24/1437.74 c nbDecision=775500 #constraints=13472 1438.14/1438.60 c nbDecision=776000 #constraints=13486 1438.94/1439.41 c nbDecision=776500 #constraints=13489 1439.74/1440.28 c nbDecision=777000 #constraints=13495 1440.54/1441.10 c nbDecision=777500 #constraints=13495 1441.43/1441.91 c nbDecision=778000 #constraints=13497 1442.13/1442.69 c nbDecision=778500 #constraints=13497 1443.13/1443.69 c nbDecision=779000 #constraints=13516 1444.03/1444.50 c nbDecision=779500 #constraints=13529 1444.94/1445.40 c nbDecision=780000 #constraints=13546 1445.73/1446.25 c nbDecision=780500 #constraints=13546 1446.53/1447.09 c nbDecision=781000 #constraints=13546 1447.43/1447.92 c nbDecision=781500 #constraints=13546 1448.24/1448.74 c nbDecision=782000 #constraints=13546 1449.03/1449.55 c nbDecision=782500 #constraints=13547 1449.83/1450.36 c nbDecision=783000 #constraints=13548 1450.63/1451.15 c nbDecision=783500 #constraints=13549 1451.43/1451.93 c nbDecision=784000 #constraints=13550 1452.33/1452.83 c nbDecision=784500 #constraints=13561 1453.13/1453.68 c nbDecision=785000 #constraints=13561 1454.03/1454.52 c nbDecision=785500 #constraints=13561 1454.83/1455.34 c nbDecision=786000 #constraints=13561 1455.63/1456.17 c nbDecision=786500 #constraints=13562 1456.43/1456.97 c nbDecision=787000 #constraints=13562 1457.23/1457.78 c nbDecision=787500 #constraints=13563 1458.03/1458.56 c nbDecision=788000 #constraints=13563 1458.83/1459.36 c nbDecision=788500 #constraints=13569 1459.62/1460.11 c nbDecision=789000 #constraints=13570 1460.42/1460.96 c nbDecision=789500 #constraints=13584 1461.52/1462.00 c nbDecision=790000 #constraints=13601 1462.22/1462.79 c nbDecision=790500 #constraints=13604 1463.12/1463.61 c nbDecision=791000 #constraints=13607 1463.82/1464.38 c nbDecision=791500 #constraints=13611 1464.63/1465.20 c nbDecision=792000 #constraints=13615 1465.52/1466.05 c nbDecision=792500 #constraints=13626 1466.32/1466.83 c nbDecision=793000 #constraints=13627 1467.12/1467.64 c nbDecision=793500 #constraints=13631 1468.03/1468.50 c nbDecision=794000 #constraints=13640 1468.82/1469.31 c nbDecision=794500 #constraints=13641 1469.62/1470.14 c nbDecision=795000 #constraints=13649 1470.52/1471.03 c nbDecision=795500 #constraints=13658 1471.42/1471.99 c nbDecision=796000 #constraints=13670 1472.32/1472.81 c nbDecision=796500 #constraints=13670 1473.13/1473.69 c nbDecision=797000 #constraints=13671 1474.03/1474.55 c nbDecision=797500 #constraints=13671 1474.93/1475.41 c nbDecision=798000 #constraints=13672 1475.73/1476.25 c nbDecision=798500 #constraints=13673 1476.53/1477.09 c nbDecision=799000 #constraints=13676 1477.43/1477.93 c nbDecision=799500 #constraints=13679 1478.33/1478.80 c nbDecision=800000 #constraints=13679 1479.13/1479.66 c nbDecision=800500 #constraints=13679 1480.03/1480.51 c nbDecision=801000 #constraints=13679 1480.82/1481.39 c nbDecision=801500 #constraints=13688 1481.72/1482.22 c nbDecision=802000 #constraints=13688 1482.52/1483.06 c nbDecision=802500 #constraints=13689 1483.43/1483.94 c nbDecision=803000 #constraints=13700 1484.32/1484.84 c nbDecision=803500 #constraints=13710 1485.12/1485.65 c nbDecision=804000 #constraints=13710 1486.02/1486.55 c nbDecision=804500 #constraints=13722 1486.82/1487.36 c nbDecision=805000 #constraints=13728 1487.73/1488.20 c nbDecision=805500 #constraints=13737 1488.52/1489.07 c nbDecision=806000 #constraints=13750 1489.32/1489.86 c nbDecision=806500 #constraints=13753 1490.12/1490.66 c nbDecision=807000 #constraints=13757 1491.02/1491.50 c nbDecision=807500 #constraints=13772 1491.82/1492.30 c nbDecision=808000 #constraints=13775 1492.62/1493.19 c nbDecision=808500 #constraints=13782 1493.42/1493.99 c nbDecision=809000 #constraints=13782 1494.32/1494.82 c nbDecision=809500 #constraints=13786 1495.12/1495.61 c nbDecision=810000 #constraints=13790 1495.92/1496.48 c nbDecision=810500 #constraints=13808 1496.82/1497.30 c nbDecision=811000 #constraints=13809 1497.62/1498.14 c nbDecision=811500 #constraints=13818 1499.11/1499.60 c nbDecision=812000 #constraints=13839 1499.92/1500.50 c nbDecision=812500 #constraints=13859 1500.81/1501.31 c nbDecision=813000 #constraints=13859 1501.61/1502.14 c nbDecision=813500 #constraints=13859 1502.41/1502.93 c nbDecision=814000 #constraints=13859 1503.22/1503.76 c nbDecision=814500 #constraints=13860 1504.11/1504.63 c nbDecision=815000 #constraints=13860 1504.91/1505.49 c nbDecision=815500 #constraints=13860 1505.81/1506.35 c nbDecision=816000 #constraints=13860 1506.71/1507.22 c nbDecision=816500 #constraints=13868 1507.52/1508.06 c nbDecision=817000 #constraints=13868 1508.41/1508.92 c nbDecision=817500 #constraints=13879 1509.21/1509.74 c nbDecision=818000 #constraints=13879 1510.01/1510.56 c nbDecision=818500 #constraints=13883 1510.81/1511.35 c nbDecision=819000 #constraints=13883 1511.11/1511.66 c restart after 819201 decisions 1511.81/1512.33 c nbDecision=819500 #constraints=13883 1512.61/1513.12 c nbDecision=820000 #constraints=13883 1513.31/1513.89 c nbDecision=820500 #constraints=13883 1514.11/1514.67 c nbDecision=821000 #constraints=13883 1514.91/1515.45 c nbDecision=821500 #constraints=13883 1515.71/1516.23 c nbDecision=822000 #constraints=13883 1516.51/1517.01 c nbDecision=822500 #constraints=13883 1517.21/1517.78 c nbDecision=823000 #constraints=13883 1518.01/1518.55 c nbDecision=823500 #constraints=13883 1518.81/1519.33 c nbDecision=824000 #constraints=13883 1519.61/1520.10 c nbDecision=824500 #constraints=13883 1520.31/1520.87 c nbDecision=825000 #constraints=13883 1521.41/1521.92 c nbDecision=825500 #constraints=13883 1522.71/1523.25 c nbDecision=826000 #constraints=13883 1524.01/1524.56 c nbDecision=826500 #constraints=13883 1525.31/1525.86 c nbDecision=827000 #constraints=13883 1526.61/1527.16 c nbDecision=827500 #constraints=13883 1528.01/1528.54 c nbDecision=828000 #constraints=13885 1529.20/1529.72 c nbDecision=828500 #constraints=13887 1530.10/1530.68 c nbDecision=829000 #constraints=13887 1531.10/1531.62 c nbDecision=829500 #constraints=13887 1532.00/1532.55 c nbDecision=830000 #constraints=13887 1532.91/1533.47 c nbDecision=830500 #constraints=13887 1533.80/1534.39 c nbDecision=831000 #constraints=13887 1534.80/1535.30 c nbDecision=831500 #constraints=13887 1535.60/1536.19 c nbDecision=832000 #constraints=13887 1536.50/1537.09 c nbDecision=832500 #constraints=13887 1537.40/1537.97 c nbDecision=833000 #constraints=13887 1538.31/1538.83 c nbDecision=833500 #constraints=13887 1539.20/1539.70 c nbDecision=834000 #constraints=13888 1540.00/1540.55 c nbDecision=834500 #constraints=13888 1540.90/1541.44 c nbDecision=835000 #constraints=13902 1541.70/1542.28 c nbDecision=835500 #constraints=13902 1542.70/1543.28 c nbDecision=836000 #constraints=13931 1543.70/1544.23 c nbDecision=836500 #constraints=13931 1544.60/1545.18 c nbDecision=837000 #constraints=13931 1545.60/1546.12 c nbDecision=837500 #constraints=13931 1546.50/1547.06 c nbDecision=838000 #constraints=13931 1547.40/1547.98 c nbDecision=838500 #constraints=13931 1548.30/1548.89 c nbDecision=839000 #constraints=13931 1549.20/1549.79 c nbDecision=839500 #constraints=13931 1550.10/1550.68 c nbDecision=840000 #constraints=13931 1551.00/1551.56 c nbDecision=840500 #constraints=13931 1551.90/1552.42 c nbDecision=841000 #constraints=13931 1552.80/1553.31 c nbDecision=841500 #constraints=13939 1553.60/1554.15 c nbDecision=842000 #constraints=13939 1554.50/1555.00 c nbDecision=842500 #constraints=13944 1555.30/1555.82 c nbDecision=843000 #constraints=13944 1556.10/1556.65 c nbDecision=843500 #constraints=13946 1556.89/1557.45 c nbDecision=844000 #constraints=13946 1557.69/1558.28 c nbDecision=844500 #constraints=13951 1558.59/1559.14 c nbDecision=845000 #constraints=13955 1559.39/1559.95 c nbDecision=845500 #constraints=13955 1560.30/1560.84 c nbDecision=846000 #constraints=13960 1561.09/1561.64 c nbDecision=846500 #constraints=13963 1561.89/1562.43 c nbDecision=847000 #constraints=13967 1562.69/1563.27 c nbDecision=847500 #constraints=13970 1563.89/1564.49 c nbDecision=848000 #constraints=13990 1565.30/1565.83 c nbDecision=848500 #constraints=14022 1567.90/1568.41 c nbDecision=849000 #constraints=14087 1569.10/1569.69 c nbDecision=849500 #constraints=14124 1570.80/1571.33 c nbDecision=850000 #constraints=14151 1572.40/1572.95 c nbDecision=850500 #constraints=14167 1573.39/1573.92 c nbDecision=851000 #constraints=14193 1574.29/1574.84 c nbDecision=851500 #constraints=14205 1575.99/1576.51 c nbDecision=852000 #constraints=14230 1578.00/1578.52 c nbDecision=852500 #constraints=14263 1578.79/1579.37 c nbDecision=853000 #constraints=14287 1579.59/1580.19 c nbDecision=853500 #constraints=14297 1580.49/1581.03 c nbDecision=854000 #constraints=14302 1581.59/1582.11 c nbDecision=854500 #constraints=14340 1582.49/1583.06 c nbDecision=855000 #constraints=14362 1583.69/1584.20 c nbDecision=855500 #constraints=14385 1584.49/1585.02 c nbDecision=856000 #constraints=14390 1585.49/1586.09 c nbDecision=856500 #constraints=14399 1586.49/1587.00 c nbDecision=857000 #constraints=14404 1587.29/1587.82 c nbDecision=857500 #constraints=14415 1588.19/1588.75 c nbDecision=858000 #constraints=14425 1589.09/1589.66 c nbDecision=858500 #constraints=14436 1590.09/1590.62 c nbDecision=859000 #constraints=14436 1590.99/1591.56 c nbDecision=859500 #constraints=14436 1591.89/1592.50 c nbDecision=860000 #constraints=14436 1592.88/1593.42 c nbDecision=860500 #constraints=14436 1593.78/1594.34 c nbDecision=861000 #constraints=14436 1594.68/1595.25 c nbDecision=861500 #constraints=14436 1595.59/1596.15 c nbDecision=862000 #constraints=14436 1596.48/1597.04 c nbDecision=862500 #constraints=14436 1597.38/1597.92 c nbDecision=863000 #constraints=14436 1598.18/1598.79 c nbDecision=863500 #constraints=14436 1599.08/1599.65 c nbDecision=864000 #constraints=14436 1599.98/1600.52 c nbDecision=864500 #constraints=14439 1600.78/1601.37 c nbDecision=865000 #constraints=14440 1601.68/1602.21 c nbDecision=865500 #constraints=14440 1602.48/1603.04 c nbDecision=866000 #constraints=14440 1603.28/1603.86 c nbDecision=866500 #constraints=14440 1604.08/1604.68 c nbDecision=867000 #constraints=14441 1605.48/1606.09 c nbDecision=867500 #constraints=14454 1606.38/1606.90 c nbDecision=868000 #constraints=14456 1607.08/1607.69 c nbDecision=868500 #constraints=14460 1607.98/1608.52 c nbDecision=869000 #constraints=14463 1609.08/1609.60 c nbDecision=869500 #constraints=14490 1609.98/1610.55 c nbDecision=870000 #constraints=14502 1610.99/1611.58 c nbDecision=870500 #constraints=14516 1611.78/1612.36 c nbDecision=871000 #constraints=14518 1612.68/1613.20 c nbDecision=871500 #constraints=14521 1613.58/1614.13 c nbDecision=872000 #constraints=14526 1614.38/1614.98 c nbDecision=872500 #constraints=14527 1615.18/1615.80 c nbDecision=873000 #constraints=14527 1616.08/1616.62 c nbDecision=873500 #constraints=14528 1616.88/1617.43 c nbDecision=874000 #constraints=14528 1618.28/1618.84 c nbDecision=874500 #constraints=14541 1619.08/1619.63 c nbDecision=875000 #constraints=14542 1619.88/1620.41 c nbDecision=875500 #constraints=14544 1620.68/1621.28 c nbDecision=876000 #constraints=14554 1621.58/1622.19 c nbDecision=876500 #constraints=14558 1622.68/1623.28 c nbDecision=877000 #constraints=14589 1623.78/1624.38 c nbDecision=877500 #constraints=14610 1625.08/1625.65 c nbDecision=878000 #constraints=14637 1626.17/1626.74 c nbDecision=878500 #constraints=14646 1626.97/1627.57 c nbDecision=879000 #constraints=14651 1627.97/1628.58 c nbDecision=879500 #constraints=14674 1628.87/1629.44 c nbDecision=880000 #constraints=14674 1629.68/1630.30 c nbDecision=880500 #constraints=14677 1630.57/1631.12 c nbDecision=881000 #constraints=14677 1631.37/1631.95 c nbDecision=881500 #constraints=14678 1632.17/1632.75 c nbDecision=882000 #constraints=14678 1632.97/1633.57 c nbDecision=882500 #constraints=14679 1633.77/1634.39 c nbDecision=883000 #constraints=14694 1634.57/1635.18 c nbDecision=883500 #constraints=14699 1636.37/1636.92 c nbDecision=884000 #constraints=14715 1637.37/1637.92 c nbDecision=884500 #constraints=14730 1638.17/1638.77 c nbDecision=885000 #constraints=14734 1639.17/1639.71 c nbDecision=885500 #constraints=14752 1639.97/1640.55 c nbDecision=886000 #constraints=14754 1640.97/1641.50 c nbDecision=886500 #constraints=14770 1641.87/1642.44 c nbDecision=887000 #constraints=14779 1643.37/1643.97 c nbDecision=887500 #constraints=14795 1644.37/1644.90 c nbDecision=888000 #constraints=14802 1645.27/1645.83 c nbDecision=888500 #constraints=14813 1646.07/1646.62 c nbDecision=889000 #constraints=14823 1646.97/1647.55 c nbDecision=889500 #constraints=14845 1648.07/1648.64 c nbDecision=890000 #constraints=14861 1648.97/1649.50 c nbDecision=890500 #constraints=14872 1649.77/1650.33 c nbDecision=891000 #constraints=14873 1650.57/1651.14 c nbDecision=891500 #constraints=14873 1651.37/1651.95 c nbDecision=892000 #constraints=14873 1652.57/1653.15 c nbDecision=892500 #constraints=14888 1653.37/1653.97 c nbDecision=893000 #constraints=14894 1654.47/1655.01 c nbDecision=893500 #constraints=14905 1655.26/1655.85 c nbDecision=894000 #constraints=14908 1656.16/1656.72 c nbDecision=894500 #constraints=14912 1656.96/1657.54 c nbDecision=895000 #constraints=14915 1657.97/1658.50 c nbDecision=895500 #constraints=14929 1658.86/1659.45 c nbDecision=896000 #constraints=14929 1659.76/1660.39 c nbDecision=896500 #constraints=14929 1660.76/1661.34 c nbDecision=897000 #constraints=14929 1661.66/1662.27 c nbDecision=897500 #constraints=14929 1662.57/1663.19 c nbDecision=898000 #constraints=14929 1663.56/1664.10 c nbDecision=898500 #constraints=14929 1664.46/1665.04 c nbDecision=899000 #constraints=14929 1665.36/1665.93 c nbDecision=899500 #constraints=14929 1666.26/1666.84 c nbDecision=900000 #constraints=14937 1667.16/1667.72 c nbDecision=900500 #constraints=14937 1667.96/1668.58 c nbDecision=901000 #constraints=14937 1668.86/1669.44 c nbDecision=901500 #constraints=14937 1669.76/1670.39 c nbDecision=902000 #constraints=14949 1670.66/1671.22 c nbDecision=902500 #constraints=14949 1671.56/1672.14 c nbDecision=903000 #constraints=14951 1672.46/1673.09 c nbDecision=903500 #constraints=14951 1673.46/1674.03 c nbDecision=904000 #constraints=14951 1674.35/1674.96 c nbDecision=904500 #constraints=14951 1675.25/1675.88 c nbDecision=905000 #constraints=14951 1676.15/1676.79 c nbDecision=905500 #constraints=14951 1677.05/1677.69 c nbDecision=906000 #constraints=14951 1677.96/1678.58 c nbDecision=906500 #constraints=14951 1678.85/1679.46 c nbDecision=907000 #constraints=14951 1679.75/1680.33 c nbDecision=907500 #constraints=14951 1680.65/1681.20 c nbDecision=908000 #constraints=14951 1681.45/1682.06 c nbDecision=908500 #constraints=14951 1682.36/1682.91 c nbDecision=909000 #constraints=14951 1683.25/1683.88 c nbDecision=909500 #constraints=14983 1684.15/1684.71 c nbDecision=910000 #constraints=14983 1685.05/1685.69 c nbDecision=910500 #constraints=14985 1686.05/1686.65 c nbDecision=911000 #constraints=14985 1686.95/1687.59 c nbDecision=911500 #constraints=14985 1687.95/1688.53 c nbDecision=912000 #constraints=14985 1688.85/1689.45 c nbDecision=912500 #constraints=14985 1689.75/1690.37 c nbDecision=913000 #constraints=14985 1690.65/1691.27 c nbDecision=913500 #constraints=14985 1691.55/1692.16 c nbDecision=914000 #constraints=14985 1692.45/1693.05 c nbDecision=914500 #constraints=14985 1693.35/1693.91 c nbDecision=915000 #constraints=14985 1694.15/1694.77 c nbDecision=915500 #constraints=14985 1695.15/1695.72 c nbDecision=916000 #constraints=14995 1695.95/1696.56 c nbDecision=916500 #constraints=14995 1696.75/1697.39 c nbDecision=917000 #constraints=14995 1697.64/1698.27 c nbDecision=917500 #constraints=14997 1698.64/1699.22 c nbDecision=918000 #constraints=14997 1699.54/1700.16 c nbDecision=918500 #constraints=14997 1700.54/1701.10 c nbDecision=919000 #constraints=14997 1701.44/1702.04 c nbDecision=919500 #constraints=14997 1702.34/1702.96 c nbDecision=920000 #constraints=14997 1703.25/1703.87 c nbDecision=920500 #constraints=14997 1704.14/1704.77 c nbDecision=921000 #constraints=14997 1705.04/1705.66 c nbDecision=921500 #constraints=14997 1705.94/1706.55 c nbDecision=922000 #constraints=14997 1706.84/1707.43 c nbDecision=922500 #constraints=14997 1707.64/1708.29 c nbDecision=923000 #constraints=14997 1708.54/1709.15 c nbDecision=923500 #constraints=14997 1709.34/1709.99 c nbDecision=924000 #constraints=14997 1710.24/1710.82 c nbDecision=924500 #constraints=14997 1711.14/1711.76 c nbDecision=925000 #constraints=15008 1711.94/1712.56 c nbDecision=925500 #constraints=15008 1712.74/1713.39 c nbDecision=926000 #constraints=15011 1713.74/1714.34 c nbDecision=926500 #constraints=15013 1714.64/1715.29 c nbDecision=927000 #constraints=15013 1715.64/1716.23 c nbDecision=927500 #constraints=15013 1716.54/1717.16 c nbDecision=928000 #constraints=15013 1717.44/1718.08 c nbDecision=928500 #constraints=15013 1718.34/1718.99 c nbDecision=929000 #constraints=15013 1719.24/1719.89 c nbDecision=929500 #constraints=15013 1720.14/1720.79 c nbDecision=930000 #constraints=15013 1721.04/1721.68 c nbDecision=930500 #constraints=15013 1721.94/1722.55 c nbDecision=931000 #constraints=15013 1722.84/1723.42 c nbDecision=931500 #constraints=15013 1723.64/1724.28 c nbDecision=932000 #constraints=15013 1724.63/1725.20 c nbDecision=932500 #constraints=15024 1725.43/1726.04 c nbDecision=933000 #constraints=15024 1726.24/1726.88 c nbDecision=933500 #constraints=15025 1727.13/1727.71 c nbDecision=934000 #constraints=15025 1728.03/1728.64 c nbDecision=934500 #constraints=15046 1728.83/1729.45 c nbDecision=935000 #constraints=15046 1729.64/1730.28 c nbDecision=935500 #constraints=15048 1730.44/1731.08 c nbDecision=936000 #constraints=15049 1731.54/1732.18 c nbDecision=936500 #constraints=15058 1732.44/1733.08 c nbDecision=937000 #constraints=15075 1733.24/1733.86 c nbDecision=937500 #constraints=15076 1734.05/1734.65 c nbDecision=938000 #constraints=15077 1734.94/1735.53 c nbDecision=938500 #constraints=15081 1735.84/1736.40 c nbDecision=939000 #constraints=15081 1736.64/1737.26 c nbDecision=939500 #constraints=15081 1737.54/1738.11 c nbDecision=940000 #constraints=15081 1738.34/1738.95 c nbDecision=940500 #constraints=15082 1739.14/1739.78 c nbDecision=941000 #constraints=15082 1740.04/1740.64 c nbDecision=941500 #constraints=15091 1740.84/1741.46 c nbDecision=942000 #constraints=15091 1741.64/1742.30 c nbDecision=942500 #constraints=15093 1742.44/1743.09 c nbDecision=943000 #constraints=15093 1743.24/1743.87 c nbDecision=943500 #constraints=15094 1744.13/1744.75 c nbDecision=944000 #constraints=15108 1744.93/1745.59 c nbDecision=944500 #constraints=15114 1745.83/1746.49 c nbDecision=945000 #constraints=15117 1746.73/1747.36 c nbDecision=945500 #constraints=15117 1747.63/1748.22 c nbDecision=946000 #constraints=15117 1748.44/1749.07 c nbDecision=946500 #constraints=15117 1749.33/1749.91 c nbDecision=947000 #constraints=15117 1750.13/1750.74 c nbDecision=947500 #constraints=15117 1750.93/1751.54 c nbDecision=948000 #constraints=15117 1751.74/1752.36 c nbDecision=948500 #constraints=15118 1752.63/1753.22 c nbDecision=949000 #constraints=15120 1753.43/1754.00 c nbDecision=949500 #constraints=15121 1754.23/1754.82 c nbDecision=950000 #constraints=15124 1755.03/1755.63 c nbDecision=950500 #constraints=15135 1755.83/1756.48 c nbDecision=951000 #constraints=15139 1756.73/1757.30 c nbDecision=951500 #constraints=15139 1757.53/1758.12 c nbDecision=952000 #constraints=15140 1758.33/1758.94 c nbDecision=952500 #constraints=15140 1759.13/1759.75 c nbDecision=953000 #constraints=15142 1760.03/1760.60 c nbDecision=953500 #constraints=15143 1760.93/1761.50 c nbDecision=954000 #constraints=15144 1761.73/1762.37 c nbDecision=954500 #constraints=15144 1762.63/1763.23 c nbDecision=955000 #constraints=15144 1763.42/1764.09 c nbDecision=955500 #constraints=15145 1764.32/1764.95 c nbDecision=956000 #constraints=15145 1765.12/1765.80 c nbDecision=956500 #constraints=15145 1766.03/1766.65 c nbDecision=957000 #constraints=15145 1766.82/1767.48 c nbDecision=957500 #constraints=15145 1767.72/1768.30 c nbDecision=958000 #constraints=15145 1768.52/1769.12 c nbDecision=958500 #constraints=15146 1769.33/1769.93 c nbDecision=959000 #constraints=15147 1770.12/1770.71 c nbDecision=959500 #constraints=15147 1770.92/1771.50 c nbDecision=960000 #constraints=15148 1771.62/1772.28 c nbDecision=960500 #constraints=15149 1772.53/1773.15 c nbDecision=961000 #constraints=15161 1773.32/1773.99 c nbDecision=961500 #constraints=15166 1774.12/1774.76 c nbDecision=962000 #constraints=15166 1774.92/1775.56 c nbDecision=962500 #constraints=15168 1775.92/1776.51 c nbDecision=963000 #constraints=15177 1776.72/1777.39 c nbDecision=963500 #constraints=15179 1777.62/1778.21 c nbDecision=964000 #constraints=15179 1778.42/1779.08 c nbDecision=964500 #constraints=15180 1779.32/1779.91 c nbDecision=965000 #constraints=15180 1780.13/1780.75 c nbDecision=965500 #constraints=15180 1780.93/1781.58 c nbDecision=966000 #constraints=15180 1781.83/1782.40 c nbDecision=966500 #constraints=15180 1782.63/1783.21 c nbDecision=967000 #constraints=15181 1783.43/1784.05 c nbDecision=967500 #constraints=15184 1784.23/1784.83 c nbDecision=968000 #constraints=15185 1785.12/1785.70 c nbDecision=968500 #constraints=15188 1785.92/1786.58 c nbDecision=969000 #constraints=15189 1786.83/1787.45 c nbDecision=969500 #constraints=15189 1787.72/1788.31 c nbDecision=970000 #constraints=15189 1788.52/1789.16 c nbDecision=970500 #constraints=15189 1789.42/1790.00 c nbDecision=971000 #constraints=15189 1790.23/1790.83 c nbDecision=971500 #constraints=15189 1791.02/1791.64 c nbDecision=972000 #constraints=15189 1791.82/1792.45 c nbDecision=972500 #constraints=15189 1792.62/1793.27 c nbDecision=973000 #constraints=15191 1793.52/1794.10 c nbDecision=973500 #constraints=15202 1794.22/1794.89 c nbDecision=974000 #constraints=15204 1795.22/1795.90 c nbDecision=974500 #constraints=15222 1796.72/1797.38 c nbDecision=975000 #constraints=15241 1797.62/1798.24 c nbDecision=975500 #constraints=15243 1798.92/1799.59 c nbDecision=976000 #constraints=15253 1800.02/1800.61 Received signal 15 1800.02/1800.61 1800.02/1800.61 s UNKNOWN 1800.02/1800.61 1800.02/1800.61 c user time= 1799.68 s 1800.02/1800.61 c system time= 0.354946 s 1800.02/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-357383-1176996289 -o ROOT/results/node44/solver-357383-1176996289 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357383-1176996289/instance-357383-1176996289.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.95 0.98 0.99 3/77 4598 /proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=1468 CPUtime=0 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147540613 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827890 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 367 161 127 317 0 46 0 [startup+0.084916 s] /proc/loadavg: 0.95 0.98 0.99 3/77 4598 /proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=2400 CPUtime=0.07 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 504 0 0 0 7 0 0 0 18 0 1 0 147540613 2457600 388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827838 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 600 388 127 317 0 279 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2400 [startup+0.101917 s] /proc/loadavg: 0.95 0.98 0.99 3/77 4598 /proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=3440 CPUtime=0.09 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 779 0 0 0 9 0 0 0 18 0 1 0 147540613 3522560 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 860 534 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301938 s] /proc/loadavg: 0.95 0.98 0.99 3/77 4598 /proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=5552 CPUtime=0.29 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 1339 0 0 0 29 0 0 0 19 0 1 0 147540613 5685248 1094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 1388 1094 131 317 0 1067 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5552 [startup+0.70198 s] /proc/loadavg: 0.95 0.98 0.99 3/77 4598 /proc/meminfo: memFree=1683200/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=11228 CPUtime=0.69 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 2758 0 0 0 68 1 0 0 22 0 1 0 147540613 11497472 2513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 2807 2514 131 317 0 2486 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11228 [startup+1.50106 s] /proc/loadavg: 0.95 0.98 0.99 2/78 4599 /proc/meminfo: memFree=1669112/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=30712 CPUtime=1.49 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 7637 0 0 0 146 3 0 0 25 0 1 0 147540613 31449088 7392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 7678 7392 137 317 0 7357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30712 [startup+3.10123 s] /proc/loadavg: 0.95 0.98 0.99 2/78 4599 /proc/meminfo: memFree=1651192/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=33484 CPUtime=3.09 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8324 0 0 0 306 3 0 0 25 0 1 0 147540613 34287616 8079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 8371 8079 138 317 0 8050 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33484 [startup+6.30156 s] /proc/loadavg: 0.96 0.98 0.99 2/78 4599 /proc/meminfo: memFree=1650936/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=33484 CPUtime=6.29 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8327 0 0 0 626 3 0 0 25 0 1 0 147540613 34287616 8082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 8371 8082 138 317 0 8050 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33484 [startup+12.7012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 4599 /proc/meminfo: memFree=1651064/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=33580 CPUtime=12.68 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8335 0 0 0 1265 3 0 0 25 0 1 0 147540613 34385920 8090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 8395 8090 138 317 0 8074 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33580 [startup+25.5015 s] /proc/loadavg: 0.97 0.98 0.99 2/78 4599 /proc/meminfo: memFree=1651192/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=33580 CPUtime=25.48 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8341 0 0 0 2545 3 0 0 25 0 1 0 147540613 34385920 8096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 8395 8096 138 317 0 8074 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33580 [startup+51.1012 s] /proc/loadavg: 0.98 0.98 0.99 2/78 4599 /proc/meminfo: memFree=1650488/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=34504 CPUtime=51.08 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 8531 0 0 0 5104 4 0 0 25 0 1 0 147540613 35332096 8286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 8626 8286 139 317 0 8305 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34504 [startup+102.305 s] /proc/loadavg: 1.04 1.00 1.00 2/78 4599 /proc/meminfo: memFree=1648248/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=36904 CPUtime=102.27 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 9083 0 0 0 10222 5 0 0 25 0 1 0 147540613 37789696 8838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 9226 8838 139 317 0 8905 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36904 [startup+162.302 s] /proc/loadavg: 1.10 1.03 1.01 2/78 4599 /proc/meminfo: memFree=1645880/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=39376 CPUtime=162.24 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 9663 0 0 0 16219 5 0 0 25 0 1 0 147540613 40321024 9418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 9844 9418 139 317 0 9523 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 39376 [startup+222.302 s] /proc/loadavg: 1.08 1.03 1.01 2/78 4599 /proc/meminfo: memFree=1645496/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=39772 CPUtime=222.23 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 9757 0 0 0 22217 6 0 0 25 0 1 0 147540613 40726528 9512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 9943 9512 139 317 0 9622 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 39772 [startup+282.302 s] /proc/loadavg: 1.06 1.04 1.01 2/78 4599 /proc/meminfo: memFree=1643384/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=42100 CPUtime=282.22 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10294 0 0 0 28215 7 0 0 25 0 1 0 147540613 43110400 10049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 10525 10049 139 317 0 10204 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 42100 [startup+342.301 s] /proc/loadavg: 1.06 1.04 1.01 2/78 4599 /proc/meminfo: memFree=1642744/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=42628 CPUtime=342.2 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10447 0 0 0 34212 8 0 0 25 0 1 0 147540613 43651072 10202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 10657 10202 139 317 0 10336 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 42628 [startup+402.301 s] /proc/loadavg: 1.09 1.06 1.01 2/78 4599 /proc/meminfo: memFree=1642232/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=43152 CPUtime=402.18 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10569 0 0 0 40209 9 0 0 25 0 1 0 147540613 44187648 10324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 10788 10324 139 317 0 10467 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 43152 [startup+462.301 s] /proc/loadavg: 1.03 1.05 1.00 2/78 4599 /proc/meminfo: memFree=1641592/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=43804 CPUtime=462.16 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10720 0 0 0 46206 10 0 0 25 0 1 0 147540613 44855296 10475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 10951 10475 139 317 0 10630 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 43804 [startup+522.302 s] /proc/loadavg: 1.01 1.04 1.00 2/78 4599 /proc/meminfo: memFree=1641016/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=44388 CPUtime=522.14 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10864 0 0 0 52203 11 0 0 25 0 1 0 147540613 45453312 10619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 11097 10619 139 317 0 10776 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 44388 [startup+582.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 4599 /proc/meminfo: memFree=1640568/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=44784 CPUtime=582.12 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 10957 0 0 0 58201 11 0 0 25 0 1 0 147540613 45858816 10712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 11196 10712 139 317 0 10875 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 44784 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 4599 /proc/meminfo: memFree=1639352/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=46096 CPUtime=642.11 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 11293 0 0 0 64198 13 0 0 25 0 1 0 147540613 47202304 11048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 11524 11048 139 317 0 11203 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 46096 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4599 /proc/meminfo: memFree=1630520/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=54680 CPUtime=822.04 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 13432 0 0 0 82188 16 0 0 25 0 1 0 147540613 55992320 13187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 13670 13187 139 317 0 13349 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 54680 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1630008/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=55208 CPUtime=882.03 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 13565 0 0 0 88186 17 0 0 25 0 1 0 147540613 56532992 13320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 13802 13320 139 317 0 13481 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 55208 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1627448/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=58292 CPUtime=942.01 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 14270 0 0 0 94183 18 0 0 25 0 1 0 147540613 59691008 14025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 14573 14025 139 317 0 14252 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 58292 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1625912/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=59808 CPUtime=1001.99 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 14619 0 0 0 100181 18 0 0 25 0 1 0 147540613 61243392 14374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 14952 14374 139 317 0 14631 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 59808 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1624184/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=61524 CPUtime=1061.96 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 15059 0 0 0 106177 19 0 0 25 0 1 0 147540613 63000576 14814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 15381 14814 139 317 0 15060 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 61524 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1613432/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=72596 CPUtime=1121.95 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 17838 0 0 0 112173 22 0 0 25 0 1 0 147540613 74338304 17531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 18149 17531 170 317 0 17828 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 72596 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1603128/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=83240 CPUtime=1181.92 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 20428 0 0 0 118169 23 0 0 25 0 1 0 147540613 85237760 20121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 20810 20121 170 317 0 20489 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 83240 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1594808/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=91488 CPUtime=1241.91 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 22444 0 0 0 124165 26 0 0 25 0 1 0 147540613 93683712 22137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 22872 22137 170 317 0 22551 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 91488 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1590200/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=96252 CPUtime=1301.89 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 23585 0 0 0 130162 27 0 0 25 0 1 0 147540613 98562048 23278 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 24063 23278 170 317 0 23742 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 96252 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1587512/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=98904 CPUtime=1361.86 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 24238 0 0 0 136159 27 0 0 25 0 1 0 147540613 101277696 23931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 24726 23931 170 317 0 24405 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 98904 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1583544/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=102896 CPUtime=1421.85 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 25216 0 0 0 142156 29 0 0 25 0 1 0 147540613 105365504 24909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 25724 24909 170 317 0 25403 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 102896 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1580408/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=106092 CPUtime=1481.82 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 25991 0 0 0 148152 30 0 0 25 0 1 0 147540613 108638208 25684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 26523 25684 170 317 0 26202 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 106092 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1578296/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=108364 CPUtime=1541.8 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 26546 0 0 0 154150 30 0 0 25 0 1 0 147540613 110964736 26239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 27091 26239 170 317 0 26770 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 108364 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1572024/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=114900 CPUtime=1601.78 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 28115 0 0 0 160147 31 0 0 25 0 1 0 147540613 117657600 27808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 28725 27808 170 317 0 28404 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 114900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1563064/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=124300 CPUtime=1661.76 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 30347 0 0 0 166143 33 0 0 25 0 1 0 147540613 127283200 30040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 31075 30040 170 317 0 30754 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 124300 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1562424/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=124964 CPUtime=1721.74 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 30507 0 0 0 172141 33 0 0 25 0 1 0 147540613 127963136 30200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 31241 30200 170 317 0 30920 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 124964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1560760/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=126728 CPUtime=1781.73 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 30922 0 0 0 178138 35 0 0 25 0 1 0 147540613 129769472 30615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 31682 30615 170 317 0 31361 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 126728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4601 /proc/meminfo: memFree=1558584/2055920 swapFree=4150992/4192956 [pid=4598] ppid=4596 vsize=129128 CPUtime=1800.02 /proc/4598/stat : 4598 (oree) R 4596 4598 3969 0 -1 4194304 31462 0 0 0 179967 35 0 0 25 0 1 0 147540613 132227072 31155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4598/statm: 32282 31155 170 317 0 31961 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 129128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.08 CPU user time (s): 1799.7 CPU system time (s): 0.377942 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 129128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.377942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31478 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= 4801 runsolver used 1.9887 second user time and 4.69629 second system time The end
Begin job on node44 on Thu Apr 19 15:24:49 UTC 2007 IDJOB= 357383 IDBENCH= 2504 IDSOLVER= 172 FILE ID= node44/357383-1176996289 PBS_JOBID= 4630462 Free space on /tmp= 66409 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb COMMAND LINE= oree /tmp/evaluation/357383-1176996289/instance-357383-1176996289.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-357383-1176996289 -o ROOT/results/node44/solver-357383-1176996289 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357383-1176996289/instance-357383-1176996289.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= daeaeaee67028e931b0f5195f178e9b3 RANDOM SEED= 125848120 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1683608 kB Buffers: 42296 kB Cached: 236712 kB SwapCached: 18832 kB Active: 89632 kB Inactive: 218772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1683608 kB SwapTotal: 4192956 kB SwapFree: 4150992 kB Dirty: 6188 kB Writeback: 0 kB Mapped: 32396 kB Slab: 49376 kB Committed_AS: 498712 kB PageTables: 1736 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= 66409 MiB End job on node44 on Thu Apr 19 15:54:52 UTC 2007