Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb |
MD5SUM | 8e26f63addeab9c605a48fae9909490e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 10.0375 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
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 | 2704 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 560432 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261600 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 560432 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.89/0.99 c ...done 0.89/0.99 c #vars=107520 #constraints=4561 hasObjective=yes 1.49/1.53 c res. mode=mod 1.49/1.53 c VSIDS like heuristics 1.49/1.53 c complete search running 2.19/2.28 c restart after 401 decisions 2.39/2.43 c nbDecision=500 #constraints=4561 2.89/2.91 c restart after 801 decisions 3.20/3.22 c nbDecision=1000 #constraints=4561 3.99/4.00 c nbDecision=1500 #constraints=4561 4.09/4.16 c restart after 1601 decisions 4.69/4.78 c nbDecision=2000 #constraints=4561 5.50/5.56 c nbDecision=2500 #constraints=4561 6.29/6.34 c nbDecision=3000 #constraints=4561 6.60/6.66 c restart after 3201 decisions 7.09/7.13 c nbDecision=3500 #constraints=4561 7.89/7.91 c nbDecision=4000 #constraints=4561 8.59/8.68 c nbDecision=4500 #constraints=4561 9.39/9.46 c nbDecision=5000 #constraints=4561 10.19/10.24 c nbDecision=5500 #constraints=4561 10.99/11.02 c nbDecision=6000 #constraints=4561 11.59/11.64 c restart after 6401 decisions 11.79/11.80 c nbDecision=6500 #constraints=4561 12.49/12.58 c nbDecision=7000 #constraints=4561 13.29/13.37 c nbDecision=7500 #constraints=4561 14.09/14.15 c nbDecision=8000 #constraints=4561 14.89/14.94 c nbDecision=8500 #constraints=4561 15.69/15.73 c nbDecision=9000 #constraints=4561 16.49/16.51 c nbDecision=9500 #constraints=4561 17.19/17.29 c nbDecision=10000 #constraints=4561 17.99/18.07 c nbDecision=10500 #constraints=4561 18.79/18.85 c nbDecision=11000 #constraints=4561 19.59/19.62 c nbDecision=11500 #constraints=4561 20.39/20.40 c nbDecision=12000 #constraints=4561 21.09/21.17 c nbDecision=12500 #constraints=4561 21.59/21.65 c restart after 12801 decisions 21.89/21.97 c nbDecision=13000 #constraints=4561 22.69/22.76 c nbDecision=13500 #constraints=4561 23.49/23.54 c nbDecision=14000 #constraints=4561 24.29/24.31 c nbDecision=14500 #constraints=4561 24.99/25.09 c nbDecision=15000 #constraints=4561 25.79/25.87 c nbDecision=15500 #constraints=4561 26.58/26.64 c nbDecision=16000 #constraints=4561 27.39/27.42 c nbDecision=16500 #constraints=4561 28.08/28.19 c nbDecision=17000 #constraints=4561 28.88/28.96 c nbDecision=17500 #constraints=4561 29.69/29.73 c nbDecision=18000 #constraints=4561 30.38/30.49 c nbDecision=18500 #constraints=4561 31.18/31.26 c nbDecision=19000 #constraints=4561 32.38/32.40 c nbDecision=19500 #constraints=4561 33.68/33.77 c nbDecision=20000 #constraints=4561 35.08/35.14 c nbDecision=20500 #constraints=4561 36.38/36.48 c nbDecision=21000 #constraints=4561 37.38/37.47 c nbDecision=21500 #constraints=4562 38.18/38.25 c nbDecision=22000 #constraints=4562 38.98/39.04 c nbDecision=22500 #constraints=4562 39.78/39.83 c nbDecision=23000 #constraints=4562 40.58/40.61 c nbDecision=23500 #constraints=4562 41.27/41.39 c nbDecision=24000 #constraints=4562 42.08/42.18 c nbDecision=24500 #constraints=4562 42.88/42.95 c nbDecision=25000 #constraints=4562 43.67/43.72 c nbDecision=25500 #constraints=4562 43.77/43.88 c restart after 25601 decisions 44.47/44.51 c nbDecision=26000 #constraints=4562 45.17/45.29 c nbDecision=26500 #constraints=4562 45.97/46.07 c nbDecision=27000 #constraints=4562 46.77/46.85 c nbDecision=27500 #constraints=4562 47.57/47.63 c nbDecision=28000 #constraints=4562 48.38/48.40 c nbDecision=28500 #constraints=4562 49.07/49.18 c nbDecision=29000 #constraints=4562 49.87/49.95 c nbDecision=29500 #constraints=4562 50.67/50.72 c nbDecision=30000 #constraints=4562 51.37/51.49 c nbDecision=30500 #constraints=4562 52.17/52.26 c nbDecision=31000 #constraints=4562 52.97/53.03 c nbDecision=31500 #constraints=4562 53.77/53.81 c nbDecision=32000 #constraints=4562 55.07/55.19 c nbDecision=32500 #constraints=4562 56.47/56.56 c nbDecision=33000 #constraints=4562 57.87/57.92 c nbDecision=33500 #constraints=4562 59.17/59.28 c nbDecision=34000 #constraints=4575 59.97/60.06 c nbDecision=34500 #constraints=4575 60.77/60.84 c nbDecision=35000 #constraints=4575 61.57/61.62 c nbDecision=35500 #constraints=4575 62.27/62.40 c nbDecision=36000 #constraints=4575 63.07/63.17 c nbDecision=36500 #constraints=4575 63.87/63.93 c nbDecision=37000 #constraints=4575 65.07/65.12 c nbDecision=37500 #constraints=4575 66.37/66.48 c nbDecision=38000 #constraints=4575 67.77/67.83 c nbDecision=38500 #constraints=4575 69.06/69.17 c nbDecision=39000 #constraints=4575 70.16/70.23 c nbDecision=39500 #constraints=4598 70.96/71.01 c nbDecision=40000 #constraints=4598 71.66/71.79 c nbDecision=40500 #constraints=4598 72.47/72.57 c nbDecision=41000 #constraints=4598 73.26/73.35 c nbDecision=41500 #constraints=4598 74.06/74.13 c nbDecision=42000 #constraints=4598 74.86/74.92 c nbDecision=42500 #constraints=4598 75.66/75.70 c nbDecision=43000 #constraints=4598 76.36/76.48 c nbDecision=43500 #constraints=4598 77.16/77.25 c nbDecision=44000 #constraints=4598 77.97/78.03 c nbDecision=44500 #constraints=4598 78.76/78.80 c nbDecision=45000 #constraints=4598 79.46/79.58 c nbDecision=45500 #constraints=4598 80.76/80.89 c nbDecision=46000 #constraints=4598 82.16/82.26 c nbDecision=46500 #constraints=4598 83.56/83.61 c nbDecision=47000 #constraints=4598 84.86/84.95 c nbDecision=47500 #constraints=4598 85.86/85.94 c nbDecision=48000 #constraints=4630 86.66/86.72 c nbDecision=48500 #constraints=4630 87.36/87.50 c nbDecision=49000 #constraints=4630 88.16/88.27 c nbDecision=49500 #constraints=4630 88.96/89.05 c nbDecision=50000 #constraints=4630 89.76/89.83 c nbDecision=50500 #constraints=4630 90.56/90.60 c nbDecision=51000 #constraints=4630 90.86/90.91 c restart after 51201 decisions 91.26/91.39 c nbDecision=51500 #constraints=4630 92.06/92.17 c nbDecision=52000 #constraints=4630 92.86/92.95 c nbDecision=52500 #constraints=4630 93.65/93.74 c nbDecision=53000 #constraints=4630 94.46/94.52 c nbDecision=53500 #constraints=4630 95.25/95.31 c nbDecision=54000 #constraints=4630 95.95/96.09 c nbDecision=54500 #constraints=4630 96.76/96.87 c nbDecision=55000 #constraints=4630 97.55/97.65 c nbDecision=55500 #constraints=4630 98.35/98.43 c nbDecision=56000 #constraints=4630 99.15/99.20 c nbDecision=56500 #constraints=4630 99.85/99.98 c nbDecision=57000 #constraints=4630 100.65/100.75 c nbDecision=57500 #constraints=4630 101.95/102.02 c nbDecision=58000 #constraints=4630 103.26/103.39 c nbDecision=58500 #constraints=4630 104.65/104.74 c nbDecision=59000 #constraints=4630 105.95/106.07 c nbDecision=59500 #constraints=4630 106.95/107.08 c nbDecision=60000 #constraints=4664 107.75/107.86 c nbDecision=60500 #constraints=4664 108.55/108.64 c nbDecision=61000 #constraints=4664 109.35/109.42 c nbDecision=61500 #constraints=4664 110.05/110.19 c nbDecision=62000 #constraints=4664 110.86/110.97 c nbDecision=62500 #constraints=4664 111.66/111.75 c nbDecision=63000 #constraints=4664 112.46/112.52 c nbDecision=63500 #constraints=4664 113.16/113.30 c nbDecision=64000 #constraints=4664 113.96/114.07 c nbDecision=64500 #constraints=4664 114.76/114.85 c nbDecision=65000 #constraints=4664 115.56/115.62 c nbDecision=65500 #constraints=4664 116.36/116.40 c nbDecision=66000 #constraints=4664 117.66/117.75 c nbDecision=66500 #constraints=4664 119.05/119.12 c nbDecision=67000 #constraints=4664 120.35/120.48 c nbDecision=67500 #constraints=4664 121.75/121.82 c nbDecision=68000 #constraints=4664 122.65/122.78 c nbDecision=68500 #constraints=4705 123.45/123.56 c nbDecision=69000 #constraints=4705 124.26/124.34 c nbDecision=69500 #constraints=4705 125.05/125.12 c nbDecision=70000 #constraints=4705 125.85/125.90 c nbDecision=70500 #constraints=4705 126.55/126.67 c nbDecision=71000 #constraints=4705 127.35/127.45 c nbDecision=71500 #constraints=4705 128.15/128.22 c nbDecision=72000 #constraints=4705 128.85/128.99 c nbDecision=72500 #constraints=4705 129.65/129.76 c nbDecision=73000 #constraints=4705 130.45/130.53 c nbDecision=73500 #constraints=4705 131.15/131.30 c nbDecision=74000 #constraints=4705 132.05/132.11 c nbDecision=74500 #constraints=4705 133.35/133.49 c nbDecision=75000 #constraints=4705 134.75/134.86 c nbDecision=75500 #constraints=4705 136.15/136.22 c nbDecision=76000 #constraints=4705 137.55/137.66 c nbDecision=76500 #constraints=4735 138.35/138.50 c nbDecision=77000 #constraints=4746 139.15/139.28 c nbDecision=77500 #constraints=4746 139.95/140.07 c nbDecision=78000 #constraints=4746 140.75/140.86 c nbDecision=78500 #constraints=4746 141.55/141.64 c nbDecision=79000 #constraints=4746 142.35/142.43 c nbDecision=79500 #constraints=4746 143.15/143.20 c nbDecision=80000 #constraints=4746 143.85/143.98 c nbDecision=80500 #constraints=4746 144.65/144.75 c nbDecision=81000 #constraints=4746 145.44/145.52 c nbDecision=81500 #constraints=4746 146.15/146.29 c nbDecision=82000 #constraints=4746 146.94/147.05 c nbDecision=82500 #constraints=4746 147.84/147.93 c nbDecision=83000 #constraints=4746 149.24/149.31 c nbDecision=83500 #constraints=4746 150.55/150.66 c nbDecision=84000 #constraints=4746 151.94/152.00 c nbDecision=84500 #constraints=4746 153.24/153.39 c nbDecision=85000 #constraints=4777 154.04/154.18 c nbDecision=85500 #constraints=4777 154.84/154.96 c nbDecision=86000 #constraints=4777 155.64/155.75 c nbDecision=86500 #constraints=4777 156.44/156.54 c nbDecision=87000 #constraints=4777 157.24/157.32 c nbDecision=87500 #constraints=4777 158.04/158.10 c nbDecision=88000 #constraints=4777 158.74/158.88 c nbDecision=88500 #constraints=4777 159.54/159.66 c nbDecision=89000 #constraints=4777 160.34/160.44 c nbDecision=89500 #constraints=4777 161.14/161.22 c nbDecision=90000 #constraints=4777 161.84/161.99 c nbDecision=90500 #constraints=4777 162.64/162.77 c nbDecision=91000 #constraints=4777 163.64/163.70 c nbDecision=91500 #constraints=4777 164.94/165.07 c nbDecision=92000 #constraints=4777 166.33/166.42 c nbDecision=92500 #constraints=4777 167.63/167.76 c nbDecision=93000 #constraints=4777 169.03/169.15 c nbDecision=93500 #constraints=4843 169.83/169.92 c nbDecision=94000 #constraints=4843 170.63/170.71 c nbDecision=94500 #constraints=4843 171.33/171.48 c nbDecision=95000 #constraints=4843 172.13/172.26 c nbDecision=95500 #constraints=4843 172.93/173.04 c nbDecision=96000 #constraints=4843 173.74/173.82 c nbDecision=96500 #constraints=4843 174.53/174.60 c nbDecision=97000 #constraints=4843 175.23/175.38 c nbDecision=97500 #constraints=4843 176.03/176.16 c nbDecision=98000 #constraints=4843 176.83/176.94 c nbDecision=98500 #constraints=4843 177.63/177.71 c nbDecision=99000 #constraints=4843 178.33/178.49 c nbDecision=99500 #constraints=4843 179.33/179.50 c nbDecision=100000 #constraints=4843 180.73/180.87 c nbDecision=100500 #constraints=4843 182.13/182.24 c nbDecision=101000 #constraints=4843 183.43/183.58 c nbDecision=101500 #constraints=4843 184.83/184.96 c nbDecision=102000 #constraints=4906 185.43/185.59 c restart after 102401 decisions 185.63/185.75 c nbDecision=102500 #constraints=4906 186.43/186.52 c nbDecision=103000 #constraints=4906 187.23/187.31 c nbDecision=103500 #constraints=4906 187.93/188.08 c nbDecision=104000 #constraints=4906 188.73/188.86 c nbDecision=104500 #constraints=4906 189.53/189.64 c nbDecision=105000 #constraints=4906 190.33/190.42 c nbDecision=105500 #constraints=4906 191.02/191.19 c nbDecision=106000 #constraints=4906 191.82/191.96 c nbDecision=106500 #constraints=4906 192.62/192.73 c nbDecision=107000 #constraints=4906 193.43/193.51 c nbDecision=107500 #constraints=4906 194.12/194.28 c nbDecision=108000 #constraints=4906 194.92/195.05 c nbDecision=108500 #constraints=4906 195.92/196.08 c nbDecision=109000 #constraints=4906 197.32/197.46 c nbDecision=109500 #constraints=4906 198.72/198.82 c nbDecision=110000 #constraints=4906 200.03/200.18 c nbDecision=110500 #constraints=4906 201.52/201.67 c nbDecision=111000 #constraints=4998 202.33/202.46 c nbDecision=111500 #constraints=4998 203.12/203.24 c nbDecision=112000 #constraints=4998 203.92/204.02 c nbDecision=112500 #constraints=4998 204.72/204.80 c nbDecision=113000 #constraints=4998 205.42/205.58 c nbDecision=113500 #constraints=4998 206.22/206.35 c nbDecision=114000 #constraints=4998 207.02/207.12 c nbDecision=114500 #constraints=4998 207.72/207.90 c nbDecision=115000 #constraints=4998 208.52/208.67 c nbDecision=115500 #constraints=4998 209.32/209.44 c nbDecision=116000 #constraints=4998 210.12/210.20 c nbDecision=116500 #constraints=4998 210.82/210.97 c nbDecision=117000 #constraints=4998 211.83/211.96 c nbDecision=117500 #constraints=4998 213.23/213.33 c nbDecision=118000 #constraints=4998 214.63/214.70 c nbDecision=118500 #constraints=4998 215.92/216.05 c nbDecision=119000 #constraints=4998 217.42/217.58 c nbDecision=119500 #constraints=5097 218.22/218.36 c nbDecision=120000 #constraints=5097 219.02/219.15 c nbDecision=120500 #constraints=5097 219.83/219.94 c nbDecision=121000 #constraints=5097 220.62/220.72 c nbDecision=121500 #constraints=5097 221.42/221.51 c nbDecision=122000 #constraints=5097 222.13/222.29 c nbDecision=122500 #constraints=5097 222.92/223.07 c nbDecision=123000 #constraints=5097 223.72/223.84 c nbDecision=123500 #constraints=5097 224.52/224.61 c nbDecision=124000 #constraints=5097 225.22/225.38 c nbDecision=124500 #constraints=5097 226.02/226.15 c nbDecision=125000 #constraints=5097 226.82/226.92 c nbDecision=125500 #constraints=5097 227.72/227.90 c nbDecision=126000 #constraints=5097 229.12/229.26 c nbDecision=126500 #constraints=5097 230.52/230.62 c nbDecision=127000 #constraints=5097 231.82/231.96 c nbDecision=127500 #constraints=5097 233.22/233.35 c nbDecision=128000 #constraints=5152 234.02/234.14 c nbDecision=128500 #constraints=5152 234.82/234.93 c nbDecision=129000 #constraints=5152 235.62/235.72 c nbDecision=129500 #constraints=5152 236.32/236.50 c nbDecision=130000 #constraints=5152 237.12/237.29 c nbDecision=130500 #constraints=5152 237.91/238.07 c nbDecision=131000 #constraints=5152 238.71/238.85 c nbDecision=131500 #constraints=5152 239.51/239.63 c nbDecision=132000 #constraints=5152 240.31/240.41 c nbDecision=132500 #constraints=5152 241.01/241.19 c nbDecision=133000 #constraints=5152 241.82/241.96 c nbDecision=133500 #constraints=5152 242.61/242.73 c nbDecision=134000 #constraints=5152 243.61/243.76 c nbDecision=134500 #constraints=5152 245.01/245.12 c nbDecision=135000 #constraints=5152 246.32/246.48 c nbDecision=135500 #constraints=5152 247.71/247.82 c nbDecision=136000 #constraints=5152 248.91/249.00 c nbDecision=136500 #constraints=5170 249.61/249.78 c nbDecision=137000 #constraints=5170 250.41/250.56 c nbDecision=137500 #constraints=5170 251.21/251.34 c nbDecision=138000 #constraints=5170 252.01/252.12 c nbDecision=138500 #constraints=5170 252.71/252.89 c nbDecision=139000 #constraints=5170 253.51/253.68 c nbDecision=139500 #constraints=5170 254.31/254.46 c nbDecision=140000 #constraints=5170 255.11/255.24 c nbDecision=140500 #constraints=5170 255.91/256.02 c nbDecision=141000 #constraints=5170 256.61/256.79 c nbDecision=141500 #constraints=5170 257.41/257.57 c nbDecision=142000 #constraints=5170 258.21/258.34 c nbDecision=142500 #constraints=5170 259.31/259.47 c nbDecision=143000 #constraints=5170 260.71/260.85 c nbDecision=143500 #constraints=5170 262.11/262.21 c nbDecision=144000 #constraints=5170 263.40/263.56 c nbDecision=144500 #constraints=5170 264.70/264.87 c nbDecision=145000 #constraints=5250 265.50/265.65 c nbDecision=145500 #constraints=5250 266.30/266.43 c nbDecision=146000 #constraints=5250 267.11/267.20 c nbDecision=146500 #constraints=5250 267.80/267.98 c nbDecision=147000 #constraints=5250 268.60/268.76 c nbDecision=147500 #constraints=5250 269.41/269.54 c nbDecision=148000 #constraints=5250 270.20/270.31 c nbDecision=148500 #constraints=5250 270.90/271.08 c nbDecision=149000 #constraints=5250 271.70/271.85 c nbDecision=149500 #constraints=5250 272.50/272.62 c nbDecision=150000 #constraints=5250 273.20/273.40 c nbDecision=150500 #constraints=5250 274.00/274.17 c nbDecision=151000 #constraints=5250 275.20/275.30 c nbDecision=151500 #constraints=5250 276.50/276.68 c nbDecision=152000 #constraints=5250 277.90/278.04 c nbDecision=152500 #constraints=5250 279.20/279.39 c nbDecision=153000 #constraints=5250 280.70/280.81 c nbDecision=153500 #constraints=5339 281.40/281.60 c nbDecision=154000 #constraints=5339 282.20/282.39 c nbDecision=154500 #constraints=5339 283.00/283.17 c nbDecision=155000 #constraints=5339 283.80/283.95 c nbDecision=155500 #constraints=5339 284.60/284.72 c nbDecision=156000 #constraints=5339 285.40/285.50 c nbDecision=156500 #constraints=5339 286.10/286.27 c nbDecision=157000 #constraints=5339 286.90/287.05 c nbDecision=157500 #constraints=5339 287.69/287.82 c nbDecision=158000 #constraints=5339 288.39/288.58 c nbDecision=158500 #constraints=5339 289.20/289.35 c nbDecision=159000 #constraints=5339 289.99/290.12 c nbDecision=159500 #constraints=5339 291.09/291.20 c nbDecision=160000 #constraints=5339 292.40/292.57 c nbDecision=160500 #constraints=5339 293.79/293.93 c nbDecision=161000 #constraints=5339 295.09/295.28 c nbDecision=161500 #constraints=5339 296.39/296.51 c nbDecision=162000 #constraints=5392 297.19/297.30 c nbDecision=162500 #constraints=5392 297.89/298.09 c nbDecision=163000 #constraints=5392 298.69/298.87 c nbDecision=163500 #constraints=5392 299.49/299.66 c nbDecision=164000 #constraints=5392 300.29/300.44 c nbDecision=164500 #constraints=5392 301.09/301.23 c nbDecision=165000 #constraints=5392 301.89/302.01 c nbDecision=165500 #constraints=5392 302.59/302.78 c nbDecision=166000 #constraints=5392 303.39/303.56 c nbDecision=166500 #constraints=5392 304.19/304.33 c nbDecision=167000 #constraints=5392 304.89/305.09 c nbDecision=167500 #constraints=5392 305.69/305.86 c nbDecision=168000 #constraints=5392 306.89/307.02 c nbDecision=168500 #constraints=5392 308.20/308.38 c nbDecision=169000 #constraints=5392 309.59/309.73 c nbDecision=169500 #constraints=5392 310.89/311.07 c nbDecision=170000 #constraints=5392 312.29/312.49 c nbDecision=170500 #constraints=5501 313.09/313.27 c nbDecision=171000 #constraints=5501 313.89/314.06 c nbDecision=171500 #constraints=5501 314.69/314.85 c nbDecision=172000 #constraints=5501 315.49/315.63 c nbDecision=172500 #constraints=5501 316.29/316.42 c nbDecision=173000 #constraints=5501 317.09/317.20 c nbDecision=173500 #constraints=5501 317.79/317.98 c nbDecision=174000 #constraints=5501 318.59/318.76 c nbDecision=174500 #constraints=5501 319.39/319.54 c nbDecision=175000 #constraints=5501 320.19/320.32 c nbDecision=175500 #constraints=5501 320.89/321.09 c nbDecision=176000 #constraints=5501 321.69/321.86 c nbDecision=176500 #constraints=5501 322.88/323.00 c nbDecision=177000 #constraints=5501 324.18/324.36 c nbDecision=177500 #constraints=5501 325.58/325.71 c nbDecision=178000 #constraints=5501 326.88/327.05 c nbDecision=178500 #constraints=5501 328.18/328.33 c nbDecision=179000 #constraints=5564 328.98/329.11 c nbDecision=179500 #constraints=5564 329.68/329.89 c nbDecision=180000 #constraints=5564 330.48/330.67 c nbDecision=180500 #constraints=5564 331.28/331.44 c nbDecision=181000 #constraints=5564 332.08/332.22 c nbDecision=181500 #constraints=5564 332.88/333.00 c nbDecision=182000 #constraints=5564 333.58/333.78 c nbDecision=182500 #constraints=5564 334.38/334.56 c nbDecision=183000 #constraints=5564 335.18/335.34 c nbDecision=183500 #constraints=5564 335.98/336.11 c nbDecision=184000 #constraints=5564 336.68/336.89 c nbDecision=184500 #constraints=5564 337.48/337.66 c nbDecision=185000 #constraints=5564 338.68/338.84 c nbDecision=185500 #constraints=5564 340.08/340.21 c nbDecision=186000 #constraints=5564 341.38/341.57 c nbDecision=186500 #constraints=5564 342.77/342.92 c nbDecision=187000 #constraints=5564 344.19/344.32 c nbDecision=187500 #constraints=5667 344.88/345.09 c nbDecision=188000 #constraints=5667 345.68/345.86 c nbDecision=188500 #constraints=5667 346.48/346.63 c nbDecision=189000 #constraints=5667 347.28/347.40 c nbDecision=189500 #constraints=5667 347.98/348.17 c nbDecision=190000 #constraints=5667 348.78/348.95 c nbDecision=190500 #constraints=5667 350.18/350.33 c nbDecision=191000 #constraints=5667 351.48/351.68 c nbDecision=191500 #constraints=5667 352.88/353.03 c nbDecision=192000 #constraints=5667 354.28/354.42 c nbDecision=192500 #constraints=5684 355.48/355.68 c nbDecision=193000 #constraints=5790 356.28/356.47 c nbDecision=193500 #constraints=5790 357.08/357.26 c nbDecision=194000 #constraints=5790 357.88/358.05 c nbDecision=194500 #constraints=5790 358.68/358.83 c nbDecision=195000 #constraints=5790 359.48/359.62 c nbDecision=195500 #constraints=5790 360.28/360.40 c nbDecision=196000 #constraints=5790 360.98/361.18 c nbDecision=196500 #constraints=5790 361.78/361.96 c nbDecision=197000 #constraints=5790 362.58/362.74 c nbDecision=197500 #constraints=5790 363.38/363.51 c nbDecision=198000 #constraints=5790 364.08/364.27 c nbDecision=198500 #constraints=5790 364.88/365.04 c nbDecision=199000 #constraints=5790 366.18/366.33 c nbDecision=199500 #constraints=5790 367.48/367.69 c nbDecision=200000 #constraints=5790 368.87/369.04 c nbDecision=200500 #constraints=5790 370.17/370.38 c nbDecision=201000 #constraints=5790 371.47/371.64 c nbDecision=201500 #constraints=5869 372.27/372.42 c nbDecision=202000 #constraints=5869 373.07/373.20 c nbDecision=202500 #constraints=5869 373.78/373.99 c nbDecision=203000 #constraints=5869 374.57/374.78 c nbDecision=203500 #constraints=5869 375.37/375.56 c nbDecision=204000 #constraints=5869 376.17/376.34 c nbDecision=204500 #constraints=5869 376.67/376.81 c restart after 204801 decisions 376.97/377.14 c nbDecision=205000 #constraints=5869 377.77/377.93 c nbDecision=205500 #constraints=5869 378.57/378.72 c nbDecision=206000 #constraints=5869 379.37/379.50 c nbDecision=206500 #constraints=5869 380.07/380.29 c nbDecision=207000 #constraints=5869 380.87/381.08 c nbDecision=207500 #constraints=5869 381.67/381.86 c nbDecision=208000 #constraints=5869 382.47/382.64 c nbDecision=208500 #constraints=5869 383.27/383.41 c nbDecision=209000 #constraints=5869 383.97/384.18 c nbDecision=209500 #constraints=5869 384.77/384.95 c nbDecision=210000 #constraints=5869 385.57/385.72 c nbDecision=210500 #constraints=5869 386.27/386.49 c nbDecision=211000 #constraints=5869 387.47/387.63 c nbDecision=211500 #constraints=5869 388.77/388.99 c nbDecision=212000 #constraints=5869 390.17/390.34 c nbDecision=212500 #constraints=5869 391.47/391.68 c nbDecision=213000 #constraints=5869 392.96/393.12 c nbDecision=213500 #constraints=5970 393.76/393.90 c nbDecision=214000 #constraints=5970 394.46/394.69 c nbDecision=214500 #constraints=5970 395.26/395.48 c nbDecision=215000 #constraints=5970 396.06/396.27 c nbDecision=215500 #constraints=5970 396.87/397.05 c nbDecision=216000 #constraints=5970 397.66/397.83 c nbDecision=216500 #constraints=5970 398.46/398.62 c nbDecision=217000 #constraints=5970 399.17/399.40 c nbDecision=217500 #constraints=5970 399.96/400.17 c nbDecision=218000 #constraints=5970 400.76/400.95 c nbDecision=218500 #constraints=5970 401.56/401.73 c nbDecision=219000 #constraints=5970 402.37/402.50 c nbDecision=219500 #constraints=5970 403.36/403.58 c nbDecision=220000 #constraints=5970 404.76/404.94 c nbDecision=220500 #constraints=5970 406.06/406.29 c nbDecision=221000 #constraints=5970 407.46/407.63 c nbDecision=221500 #constraints=5970 408.96/409.13 c nbDecision=222000 #constraints=6085 409.76/409.91 c nbDecision=222500 #constraints=6085 410.56/410.70 c nbDecision=223000 #constraints=6085 411.26/411.48 c nbDecision=223500 #constraints=6085 412.06/412.25 c nbDecision=224000 #constraints=6085 412.86/413.03 c nbDecision=224500 #constraints=6085 413.66/413.82 c nbDecision=225000 #constraints=6085 414.36/414.60 c nbDecision=225500 #constraints=6085 415.16/415.38 c nbDecision=226000 #constraints=6085 415.95/416.16 c nbDecision=226500 #constraints=6085 416.76/416.93 c nbDecision=227000 #constraints=6085 417.55/417.71 c nbDecision=227500 #constraints=6085 418.25/418.48 c nbDecision=228000 #constraints=6085 419.25/419.49 c nbDecision=228500 #constraints=6085 420.65/420.87 c nbDecision=229000 #constraints=6085 422.05/422.23 c nbDecision=229500 #constraints=6085 423.36/423.58 c nbDecision=230000 #constraints=6085 424.95/425.19 c nbDecision=230500 #constraints=6205 425.85/426.01 c nbDecision=231000 #constraints=6209 426.56/426.79 c nbDecision=231500 #constraints=6209 427.35/427.57 c nbDecision=232000 #constraints=6209 428.15/428.35 c nbDecision=232500 #constraints=6209 428.95/429.13 c nbDecision=233000 #constraints=6209 429.75/429.91 c nbDecision=233500 #constraints=6209 430.45/430.68 c nbDecision=234000 #constraints=6209 431.25/431.46 c nbDecision=234500 #constraints=6209 432.05/432.23 c nbDecision=235000 #constraints=6209 432.85/433.00 c nbDecision=235500 #constraints=6209 433.55/433.77 c nbDecision=236000 #constraints=6209 434.35/434.55 c nbDecision=236500 #constraints=6209 435.25/435.44 c nbDecision=237000 #constraints=6209 436.65/436.82 c nbDecision=237500 #constraints=6209 437.95/438.19 c nbDecision=238000 #constraints=6209 439.35/439.55 c nbDecision=238500 #constraints=6209 440.85/441.03 c nbDecision=239000 #constraints=6252 441.74/441.97 c nbDecision=239500 #constraints=6289 442.54/442.76 c nbDecision=240000 #constraints=6289 443.34/443.54 c nbDecision=240500 #constraints=6289 444.15/444.32 c nbDecision=241000 #constraints=6289 444.94/445.10 c nbDecision=241500 #constraints=6289 445.64/445.88 c nbDecision=242000 #constraints=6289 446.45/446.65 c nbDecision=242500 #constraints=6289 447.24/447.42 c nbDecision=243000 #constraints=6289 447.94/448.19 c nbDecision=243500 #constraints=6289 448.74/448.96 c nbDecision=244000 #constraints=6289 449.54/449.73 c nbDecision=244500 #constraints=6289 450.24/450.49 c nbDecision=245000 #constraints=6289 451.14/451.33 c nbDecision=245500 #constraints=6289 452.54/452.70 c nbDecision=246000 #constraints=6289 453.84/454.07 c nbDecision=246500 #constraints=6289 455.24/455.42 c nbDecision=247000 #constraints=6289 456.64/456.84 c nbDecision=247500 #constraints=6317 457.74/457.99 c nbDecision=248000 #constraints=6400 458.55/458.78 c nbDecision=248500 #constraints=6400 459.34/459.57 c nbDecision=249000 #constraints=6400 460.14/460.35 c nbDecision=249500 #constraints=6400 460.94/461.14 c nbDecision=250000 #constraints=6400 461.75/461.92 c nbDecision=250500 #constraints=6400 462.54/462.70 c nbDecision=251000 #constraints=6400 463.24/463.48 c nbDecision=251500 #constraints=6400 464.05/464.25 c nbDecision=252000 #constraints=6400 464.84/465.02 c nbDecision=252500 #constraints=6400 465.54/465.79 c nbDecision=253000 #constraints=6400 466.34/466.56 c nbDecision=253500 #constraints=6400 467.14/467.32 c nbDecision=254000 #constraints=6400 468.44/468.65 c nbDecision=254500 #constraints=6400 469.84/470.01 c nbDecision=255000 #constraints=6400 471.14/471.35 c nbDecision=255500 #constraints=6400 472.43/472.69 c nbDecision=256000 #constraints=6400 473.84/474.04 c nbDecision=256500 #constraints=6529 474.63/474.83 c nbDecision=257000 #constraints=6529 475.43/475.62 c nbDecision=257500 #constraints=6529 476.23/476.41 c nbDecision=258000 #constraints=6529 476.93/477.19 c nbDecision=258500 #constraints=6529 477.73/477.98 c nbDecision=259000 #constraints=6529 478.53/478.76 c nbDecision=259500 #constraints=6529 479.33/479.54 c nbDecision=260000 #constraints=6529 480.13/480.32 c nbDecision=260500 #constraints=6529 480.93/481.10 c nbDecision=261000 #constraints=6529 481.63/481.88 c nbDecision=261500 #constraints=6529 482.43/482.65 c nbDecision=262000 #constraints=6529 483.23/483.42 c nbDecision=262500 #constraints=6529 484.43/484.63 c nbDecision=263000 #constraints=6529 485.73/485.99 c nbDecision=263500 #constraints=6529 487.13/487.34 c nbDecision=264000 #constraints=6529 488.43/488.68 c nbDecision=264500 #constraints=6529 489.83/490.06 c nbDecision=265000 #constraints=6641 490.62/490.84 c nbDecision=265500 #constraints=6641 491.43/491.63 c nbDecision=266000 #constraints=6641 492.22/492.40 c nbDecision=266500 #constraints=6641 492.92/493.19 c nbDecision=267000 #constraints=6641 493.73/493.97 c nbDecision=267500 #constraints=6641 494.52/494.75 c nbDecision=268000 #constraints=6641 495.32/495.53 c nbDecision=268500 #constraints=6641 496.12/496.31 c nbDecision=269000 #constraints=6641 496.82/497.09 c nbDecision=269500 #constraints=6641 497.62/497.87 c nbDecision=270000 #constraints=6641 498.42/498.64 c nbDecision=270500 #constraints=6641 499.23/499.42 c nbDecision=271000 #constraints=6641 500.32/500.55 c nbDecision=271500 #constraints=6641 501.72/501.93 c nbDecision=272000 #constraints=6641 503.02/503.29 c nbDecision=272500 #constraints=6641 504.42/504.62 c nbDecision=273000 #constraints=6641 506.12/506.34 c nbDecision=273500 #constraints=6814 506.93/507.11 c nbDecision=274000 #constraints=6814 507.62/507.88 c nbDecision=274500 #constraints=6814 508.42/508.65 c nbDecision=275000 #constraints=6814 509.22/509.42 c nbDecision=275500 #constraints=6814 509.92/510.19 c nbDecision=276000 #constraints=6814 510.72/510.95 c nbDecision=276500 #constraints=6814 511.92/512.14 c nbDecision=277000 #constraints=6814 513.32/513.51 c nbDecision=277500 #constraints=6814 514.62/514.87 c nbDecision=278000 #constraints=6814 516.02/516.22 c nbDecision=278500 #constraints=6814 517.52/517.73 c nbDecision=279000 #constraints=6941 518.32/518.52 c nbDecision=279500 #constraints=6941 519.12/519.31 c nbDecision=280000 #constraints=6941 519.82/520.09 c nbDecision=280500 #constraints=6941 520.62/520.88 c nbDecision=281000 #constraints=6941 521.42/521.66 c nbDecision=281500 #constraints=6941 522.22/522.45 c nbDecision=282000 #constraints=6941 523.02/523.22 c nbDecision=282500 #constraints=6941 523.82/524.00 c nbDecision=283000 #constraints=6941 524.52/524.77 c nbDecision=283500 #constraints=6941 525.31/525.54 c nbDecision=284000 #constraints=6941 526.11/526.31 c nbDecision=284500 #constraints=6941 526.81/527.07 c nbDecision=285000 #constraints=6941 527.91/528.14 c nbDecision=285500 #constraints=6941 529.31/529.50 c nbDecision=286000 #constraints=6941 530.61/530.85 c nbDecision=286500 #constraints=6941 531.91/532.19 c nbDecision=287000 #constraints=6941 533.51/533.74 c nbDecision=287500 #constraints=7032 534.31/534.53 c nbDecision=288000 #constraints=7032 535.11/535.32 c nbDecision=288500 #constraints=7032 535.91/536.11 c nbDecision=289000 #constraints=7032 536.61/536.90 c nbDecision=289500 #constraints=7032 537.41/537.68 c nbDecision=290000 #constraints=7032 538.21/538.46 c nbDecision=290500 #constraints=7032 539.01/539.25 c nbDecision=291000 #constraints=7032 539.81/540.03 c nbDecision=291500 #constraints=7032 540.61/540.81 c nbDecision=292000 #constraints=7032 541.31/541.58 c nbDecision=292500 #constraints=7032 542.11/542.36 c nbDecision=293000 #constraints=7032 542.91/543.13 c nbDecision=293500 #constraints=7032 543.81/544.08 c nbDecision=294000 #constraints=7032 545.21/545.45 c nbDecision=294500 #constraints=7032 546.60/546.80 c nbDecision=295000 #constraints=7032 547.90/548.15 c nbDecision=295500 #constraints=7032 549.40/549.66 c nbDecision=296000 #constraints=7104 550.30/550.52 c nbDecision=296500 #constraints=7122 551.10/551.31 c nbDecision=297000 #constraints=7122 551.80/552.09 c nbDecision=297500 #constraints=7122 552.60/552.87 c nbDecision=298000 #constraints=7122 553.40/553.65 c nbDecision=298500 #constraints=7122 554.21/554.44 c nbDecision=299000 #constraints=7122 555.00/555.22 c nbDecision=299500 #constraints=7122 555.80/556.00 c nbDecision=300000 #constraints=7122 556.50/556.78 c nbDecision=300500 #constraints=7122 557.30/557.55 c nbDecision=301000 #constraints=7122 558.10/558.33 c nbDecision=301500 #constraints=7122 558.90/559.11 c nbDecision=302000 #constraints=7122 559.70/559.98 c nbDecision=302500 #constraints=7122 561.10/561.36 c nbDecision=303000 #constraints=7122 562.50/562.73 c nbDecision=303500 #constraints=7122 563.80/564.07 c nbDecision=304000 #constraints=7122 565.30/565.55 c nbDecision=304500 #constraints=7166 566.30/566.51 c nbDecision=305000 #constraints=7204 566.99/567.29 c nbDecision=305500 #constraints=7204 567.79/568.08 c nbDecision=306000 #constraints=7204 568.59/568.86 c nbDecision=306500 #constraints=7204 569.39/569.64 c nbDecision=307000 #constraints=7204 570.19/570.41 c nbDecision=307500 #constraints=7204 570.89/571.19 c nbDecision=308000 #constraints=7204 571.70/571.96 c nbDecision=308500 #constraints=7204 572.49/572.73 c nbDecision=309000 #constraints=7204 573.29/573.51 c nbDecision=309500 #constraints=7204 573.99/574.28 c nbDecision=310000 #constraints=7204 574.79/575.06 c nbDecision=310500 #constraints=7204 575.59/575.88 c nbDecision=311000 #constraints=7204 576.99/577.26 c nbDecision=311500 #constraints=7204 578.39/578.63 c nbDecision=312000 #constraints=7204 579.69/579.99 c nbDecision=312500 #constraints=7204 581.09/581.38 c nbDecision=313000 #constraints=7221 582.59/582.82 c nbDecision=313500 #constraints=7362 583.39/583.60 c nbDecision=314000 #constraints=7362 584.09/584.38 c nbDecision=314500 #constraints=7362 584.89/585.16 c nbDecision=315000 #constraints=7362 585.69/585.94 c nbDecision=315500 #constraints=7362 586.48/586.72 c nbDecision=316000 #constraints=7362 587.19/587.50 c nbDecision=316500 #constraints=7362 587.98/588.27 c nbDecision=317000 #constraints=7362 588.78/589.04 c nbDecision=317500 #constraints=7362 589.58/589.81 c nbDecision=318000 #constraints=7362 590.28/590.58 c nbDecision=318500 #constraints=7362 591.08/591.35 c nbDecision=319000 #constraints=7362 591.88/592.12 c nbDecision=319500 #constraints=7362 593.08/593.32 c nbDecision=320000 #constraints=7362 594.38/594.70 c nbDecision=320500 #constraints=7362 595.78/596.06 c nbDecision=321000 #constraints=7362 597.18/597.40 c nbDecision=321500 #constraints=7362 598.88/599.14 c nbDecision=322000 #constraints=7527 599.68/599.92 c nbDecision=322500 #constraints=7527 600.48/600.72 c nbDecision=323000 #constraints=7527 601.28/601.51 c nbDecision=323500 #constraints=7527 601.98/602.29 c nbDecision=324000 #constraints=7527 602.78/603.07 c nbDecision=324500 #constraints=7527 603.58/603.85 c nbDecision=325000 #constraints=7527 604.38/604.63 c nbDecision=325500 #constraints=7527 605.18/605.40 c nbDecision=326000 #constraints=7527 605.88/606.17 c nbDecision=326500 #constraints=7527 606.68/606.94 c nbDecision=327000 #constraints=7527 607.47/607.71 c nbDecision=327500 #constraints=7527 608.18/608.47 c nbDecision=328000 #constraints=7527 609.19/609.47 c nbDecision=328500 #constraints=7527 610.58/610.84 c nbDecision=329000 #constraints=7527 611.88/612.19 c nbDecision=329500 #constraints=7527 613.28/613.54 c nbDecision=330000 #constraints=7527 614.78/615.09 c nbDecision=330500 #constraints=7606 615.79/616.06 c nbDecision=331000 #constraints=7648 616.58/616.85 c nbDecision=331500 #constraints=7648 617.38/617.64 c nbDecision=332000 #constraints=7648 618.18/618.43 c nbDecision=332500 #constraints=7648 618.98/619.21 c nbDecision=333000 #constraints=7648 619.78/620.00 c nbDecision=333500 #constraints=7648 620.48/620.78 c nbDecision=334000 #constraints=7648 621.28/621.56 c nbDecision=334500 #constraints=7648 622.08/622.34 c nbDecision=335000 #constraints=7648 622.88/623.12 c nbDecision=335500 #constraints=7648 623.58/623.88 c nbDecision=336000 #constraints=7648 624.38/624.65 c nbDecision=336500 #constraints=7648 625.18/625.47 c nbDecision=337000 #constraints=7648 626.58/626.85 c nbDecision=337500 #constraints=7648 627.98/628.20 c nbDecision=338000 #constraints=7648 629.28/629.55 c nbDecision=338500 #constraints=7648 630.68/630.93 c nbDecision=339000 #constraints=7664 631.97/632.27 c nbDecision=339500 #constraints=7767 632.77/633.05 c nbDecision=340000 #constraints=7767 633.57/633.84 c nbDecision=340500 #constraints=7767 634.38/634.63 c nbDecision=341000 #constraints=7767 635.17/635.42 c nbDecision=341500 #constraints=7767 635.97/636.20 c nbDecision=342000 #constraints=7767 636.68/636.98 c nbDecision=342500 #constraints=7767 637.47/637.76 c nbDecision=343000 #constraints=7767 638.27/638.54 c nbDecision=343500 #constraints=7767 639.07/639.32 c nbDecision=344000 #constraints=7767 639.77/640.10 c nbDecision=344500 #constraints=7767 640.57/640.87 c nbDecision=345000 #constraints=7767 641.37/641.65 c nbDecision=345500 #constraints=7767 642.57/642.89 c nbDecision=346000 #constraints=7767 643.97/644.25 c nbDecision=346500 #constraints=7767 645.27/645.60 c nbDecision=347000 #constraints=7767 646.67/646.93 c nbDecision=347500 #constraints=7767 648.07/648.30 c nbDecision=348000 #constraints=7856 648.77/649.08 c nbDecision=348500 #constraints=7856 649.57/649.87 c nbDecision=349000 #constraints=7856 650.36/650.65 c nbDecision=349500 #constraints=7856 651.16/651.43 c nbDecision=350000 #constraints=7856 651.97/652.20 c nbDecision=350500 #constraints=7856 652.66/652.98 c nbDecision=351000 #constraints=7856 653.46/653.76 c nbDecision=351500 #constraints=7856 654.27/654.54 c nbDecision=352000 #constraints=7856 655.06/655.32 c nbDecision=352500 #constraints=7856 655.76/656.10 c nbDecision=353000 #constraints=7856 656.56/656.87 c nbDecision=353500 #constraints=7856 657.36/657.64 c nbDecision=354000 #constraints=7856 658.46/658.78 c nbDecision=354500 #constraints=7856 659.86/660.15 c nbDecision=355000 #constraints=7856 661.26/661.51 c nbDecision=355500 #constraints=7856 662.56/662.86 c nbDecision=356000 #constraints=7856 664.36/664.62 c nbDecision=356500 #constraints=7995 665.06/665.39 c nbDecision=357000 #constraints=7995 665.86/666.18 c nbDecision=357500 #constraints=7995 666.66/666.96 c nbDecision=358000 #constraints=7995 667.46/667.74 c nbDecision=358500 #constraints=7995 668.26/668.52 c nbDecision=359000 #constraints=7995 668.96/669.30 c nbDecision=359500 #constraints=7995 669.76/670.07 c nbDecision=360000 #constraints=7995 670.56/670.84 c nbDecision=360500 #constraints=7995 671.36/671.61 c nbDecision=361000 #constraints=7995 672.06/672.38 c nbDecision=361500 #constraints=7995 672.86/673.15 c nbDecision=362000 #constraints=7995 673.66/673.93 c nbDecision=362500 #constraints=7995 674.56/674.87 c nbDecision=363000 #constraints=7995 675.95/676.25 c nbDecision=363500 #constraints=7995 677.36/677.61 c nbDecision=364000 #constraints=7995 678.65/678.97 c nbDecision=364500 #constraints=7995 680.15/680.49 c nbDecision=365000 #constraints=8054 681.25/681.56 c nbDecision=365500 #constraints=8128 682.05/682.35 c nbDecision=366000 #constraints=8128 682.86/683.14 c nbDecision=366500 #constraints=8128 683.65/683.92 c nbDecision=367000 #constraints=8128 684.45/684.70 c nbDecision=367500 #constraints=8128 685.15/685.48 c nbDecision=368000 #constraints=8128 685.95/686.25 c nbDecision=368500 #constraints=8128 686.75/687.03 c nbDecision=369000 #constraints=8128 687.55/687.80 c nbDecision=369500 #constraints=8128 688.25/688.57 c nbDecision=370000 #constraints=8128 689.05/689.34 c nbDecision=370500 #constraints=8128 689.85/690.10 c nbDecision=371000 #constraints=8128 690.55/690.88 c nbDecision=371500 #constraints=8128 691.95/692.25 c nbDecision=372000 #constraints=8128 693.35/693.61 c nbDecision=372500 #constraints=8128 694.65/694.97 c nbDecision=373000 #constraints=8128 696.05/696.34 c nbDecision=373500 #constraints=8135 697.44/697.77 c nbDecision=374000 #constraints=8261 698.25/698.56 c nbDecision=374500 #constraints=8261 699.04/699.36 c nbDecision=375000 #constraints=8261 699.84/700.14 c nbDecision=375500 #constraints=8261 700.64/700.93 c nbDecision=376000 #constraints=8261 701.45/701.71 c nbDecision=376500 #constraints=8261 702.14/702.50 c nbDecision=377000 #constraints=8261 702.94/703.27 c nbDecision=377500 #constraints=8261 703.75/704.05 c nbDecision=378000 #constraints=8261 704.54/704.82 c nbDecision=378500 #constraints=8261 705.24/705.59 c nbDecision=379000 #constraints=8261 706.04/706.35 c nbDecision=379500 #constraints=8261 706.84/707.12 c nbDecision=380000 #constraints=8261 707.94/708.28 c nbDecision=380500 #constraints=8261 709.34/709.65 c nbDecision=381000 #constraints=8261 710.65/711.00 c nbDecision=381500 #constraints=8261 712.05/712.33 c nbDecision=382000 #constraints=8261 713.74/714.04 c nbDecision=382500 #constraints=8412 714.54/714.82 c nbDecision=383000 #constraints=8412 715.34/715.62 c nbDecision=383500 #constraints=8412 716.14/716.41 c nbDecision=384000 #constraints=8412 716.85/717.19 c nbDecision=384500 #constraints=8412 717.64/717.98 c nbDecision=385000 #constraints=8412 718.44/718.76 c nbDecision=385500 #constraints=8412 719.24/719.54 c nbDecision=386000 #constraints=8412 720.04/720.32 c nbDecision=386500 #constraints=8412 720.84/721.10 c nbDecision=387000 #constraints=8412 721.54/721.88 c nbDecision=387500 #constraints=8412 722.35/722.66 c nbDecision=388000 #constraints=8412 723.14/723.42 c nbDecision=388500 #constraints=8412 724.04/724.34 c nbDecision=389000 #constraints=8412 725.44/725.71 c nbDecision=389500 #constraints=8412 726.74/727.06 c nbDecision=390000 #constraints=8412 728.14/728.40 c nbDecision=390500 #constraints=8412 729.54/729.88 c nbDecision=391000 #constraints=8456 730.64/730.96 c nbDecision=391500 #constraints=8509 731.44/731.75 c nbDecision=392000 #constraints=8509 732.24/732.53 c nbDecision=392500 #constraints=8509 733.04/733.31 c nbDecision=393000 #constraints=8509 733.84/734.10 c nbDecision=393500 #constraints=8509 734.54/734.88 c nbDecision=394000 #constraints=8509 735.34/735.67 c nbDecision=394500 #constraints=8509 736.14/736.45 c nbDecision=395000 #constraints=8509 736.93/737.23 c nbDecision=395500 #constraints=8509 737.74/738.00 c nbDecision=396000 #constraints=8509 738.43/738.78 c nbDecision=396500 #constraints=8509 739.23/739.55 c nbDecision=397000 #constraints=8509 740.04/740.33 c nbDecision=397500 #constraints=8509 741.43/741.71 c nbDecision=398000 #constraints=8509 742.73/743.07 c nbDecision=398500 #constraints=8509 744.13/744.42 c nbDecision=399000 #constraints=8509 745.54/745.83 c nbDecision=399500 #constraints=8526 746.83/747.18 c nbDecision=400000 #constraints=8644 747.64/747.97 c nbDecision=400500 #constraints=8644 748.43/748.75 c nbDecision=401000 #constraints=8644 749.23/749.53 c nbDecision=401500 #constraints=8644 750.03/750.31 c nbDecision=402000 #constraints=8644 750.73/751.08 c nbDecision=402500 #constraints=8644 751.53/751.86 c nbDecision=403000 #constraints=8644 752.33/752.63 c nbDecision=403500 #constraints=8644 753.13/753.41 c nbDecision=404000 #constraints=8644 753.83/754.19 c nbDecision=404500 #constraints=8644 754.63/754.96 c nbDecision=405000 #constraints=8644 755.43/755.74 c nbDecision=405500 #constraints=8644 756.23/756.51 c nbDecision=406000 #constraints=8644 757.43/757.73 c nbDecision=406500 #constraints=8644 758.83/759.10 c nbDecision=407000 #constraints=8644 760.13/760.46 c nbDecision=407500 #constraints=8644 761.52/761.81 c nbDecision=408000 #constraints=8644 763.03/763.33 c nbDecision=408500 #constraints=8756 763.82/764.11 c nbDecision=409000 #constraints=8756 764.62/764.90 c nbDecision=409500 #constraints=8756 764.72/765.06 c restart after 409601 decisions 765.33/765.69 c nbDecision=410000 #constraints=8756 766.12/766.47 c nbDecision=410500 #constraints=8756 766.92/767.26 c nbDecision=411000 #constraints=8756 767.72/768.04 c nbDecision=411500 #constraints=8756 768.53/768.81 c nbDecision=412000 #constraints=8756 769.22/769.59 c nbDecision=412500 #constraints=8756 770.02/770.37 c nbDecision=413000 #constraints=8756 770.82/771.14 c nbDecision=413500 #constraints=8756 771.62/771.91 c nbDecision=414000 #constraints=8756 772.32/772.68 c nbDecision=414500 #constraints=8756 773.12/773.45 c nbDecision=415000 #constraints=8756 773.92/774.23 c nbDecision=415500 #constraints=8756 774.72/775.01 c nbDecision=416000 #constraints=8756 776.02/776.39 c nbDecision=416500 #constraints=8756 777.42/777.76 c nbDecision=417000 #constraints=8756 778.82/779.12 c nbDecision=417500 #constraints=8756 780.22/780.51 c nbDecision=418000 #constraints=8763 781.72/782.09 c nbDecision=418500 #constraints=8920 782.52/782.88 c nbDecision=419000 #constraints=8920 783.32/783.67 c nbDecision=419500 #constraints=8920 784.12/784.45 c nbDecision=420000 #constraints=8920 784.92/785.23 c nbDecision=420500 #constraints=8920 785.71/786.00 c nbDecision=421000 #constraints=8920 786.41/786.78 c nbDecision=421500 #constraints=8920 787.22/787.55 c nbDecision=422000 #constraints=8920 788.01/788.32 c nbDecision=422500 #constraints=8920 788.71/789.09 c nbDecision=423000 #constraints=8920 789.52/789.86 c nbDecision=423500 #constraints=8920 790.31/790.63 c nbDecision=424000 #constraints=8920 791.11/791.40 c nbDecision=424500 #constraints=8920 792.21/792.53 c nbDecision=425000 #constraints=8920 793.61/793.90 c nbDecision=425500 #constraints=8920 794.92/795.26 c nbDecision=426000 #constraints=8920 796.31/796.61 c nbDecision=426500 #constraints=8920 797.91/798.23 c nbDecision=427000 #constraints=9051 798.71/799.02 c nbDecision=427500 #constraints=9051 799.51/799.81 c nbDecision=428000 #constraints=9051 800.31/800.60 c nbDecision=428500 #constraints=9051 801.01/801.39 c nbDecision=429000 #constraints=9051 801.81/802.17 c nbDecision=429500 #constraints=9051 802.61/802.96 c nbDecision=430000 #constraints=9051 803.41/803.73 c nbDecision=430500 #constraints=9051 804.21/804.50 c nbDecision=431000 #constraints=9051 804.91/805.28 c nbDecision=431500 #constraints=9051 805.71/806.04 c nbDecision=432000 #constraints=9051 806.51/806.81 c nbDecision=432500 #constraints=9051 807.21/807.58 c nbDecision=433000 #constraints=9051 808.21/808.54 c nbDecision=433500 #constraints=9051 809.60/809.91 c nbDecision=434000 #constraints=9051 810.90/811.26 c nbDecision=434500 #constraints=9051 812.31/812.60 c nbDecision=435000 #constraints=9051 813.81/814.13 c nbDecision=435500 #constraints=9121 815.01/815.36 c nbDecision=436000 #constraints=9214 815.81/816.15 c nbDecision=436500 #constraints=9214 816.61/816.94 c nbDecision=437000 #constraints=9214 817.41/817.73 c nbDecision=437500 #constraints=9214 818.21/818.52 c nbDecision=438000 #constraints=9214 819.01/819.30 c nbDecision=438500 #constraints=9214 819.71/820.08 c nbDecision=439000 #constraints=9214 820.51/820.86 c nbDecision=439500 #constraints=9214 821.31/821.64 c nbDecision=440000 #constraints=9214 822.11/822.42 c nbDecision=440500 #constraints=9214 822.91/823.20 c nbDecision=441000 #constraints=9214 823.61/823.96 c nbDecision=441500 #constraints=9214 824.41/824.73 c nbDecision=442000 #constraints=9214 825.71/826.04 c nbDecision=442500 #constraints=9214 827.11/827.40 c nbDecision=443000 #constraints=9214 828.41/828.75 c nbDecision=443500 #constraints=9214 829.70/830.08 c nbDecision=444000 #constraints=9214 831.10/831.50 c nbDecision=444500 #constraints=9312 831.90/832.27 c nbDecision=445000 #constraints=9312 832.70/833.04 c nbDecision=445500 #constraints=9312 833.51/833.82 c nbDecision=446000 #constraints=9312 834.20/834.60 c nbDecision=446500 #constraints=9312 835.00/835.37 c nbDecision=447000 #constraints=9312 835.90/836.21 c nbDecision=447500 #constraints=9312 837.20/837.59 c nbDecision=448000 #constraints=9312 838.60/838.96 c nbDecision=448500 #constraints=9312 840.00/840.31 c nbDecision=449000 #constraints=9312 841.40/841.75 c nbDecision=449500 #constraints=9341 842.50/842.88 c nbDecision=450000 #constraints=9387 843.30/843.67 c nbDecision=450500 #constraints=9387 844.10/844.45 c nbDecision=451000 #constraints=9387 844.90/845.23 c nbDecision=451500 #constraints=9387 845.70/846.01 c nbDecision=452000 #constraints=9387 846.40/846.79 c nbDecision=452500 #constraints=9387 847.20/847.56 c nbDecision=453000 #constraints=9387 847.99/848.33 c nbDecision=453500 #constraints=9387 848.80/849.11 c nbDecision=454000 #constraints=9387 849.49/849.88 c nbDecision=454500 #constraints=9387 850.29/850.65 c nbDecision=455000 #constraints=9387 851.10/851.41 c nbDecision=455500 #constraints=9387 851.79/852.18 c nbDecision=456000 #constraints=9387 853.09/853.50 c nbDecision=456500 #constraints=9387 854.49/854.87 c nbDecision=457000 #constraints=9387 855.89/856.22 c nbDecision=457500 #constraints=9387 857.19/857.57 c nbDecision=458000 #constraints=9387 858.89/859.24 c nbDecision=458500 #constraints=9544 859.69/860.03 c nbDecision=459000 #constraints=9544 860.49/860.82 c nbDecision=459500 #constraints=9544 861.29/861.61 c nbDecision=460000 #constraints=9544 861.99/862.39 c nbDecision=460500 #constraints=9544 862.79/863.17 c nbDecision=461000 #constraints=9544 863.59/863.95 c nbDecision=461500 #constraints=9544 864.39/864.72 c nbDecision=462000 #constraints=9544 865.09/865.50 c nbDecision=462500 #constraints=9544 865.88/866.27 c nbDecision=463000 #constraints=9544 866.68/867.03 c nbDecision=463500 #constraints=9544 867.38/867.79 c nbDecision=464000 #constraints=9544 868.18/868.55 c nbDecision=464500 #constraints=9544 869.18/869.59 c nbDecision=465000 #constraints=9544 870.58/870.96 c nbDecision=465500 #constraints=9544 871.98/872.31 c nbDecision=466000 #constraints=9544 873.28/873.65 c nbDecision=466500 #constraints=9544 874.88/875.25 c nbDecision=467000 #constraints=9625 875.78/876.12 c nbDecision=467500 #constraints=9639 876.58/876.91 c nbDecision=468000 #constraints=9639 877.38/877.70 c nbDecision=468500 #constraints=9639 878.08/878.49 c nbDecision=469000 #constraints=9639 878.88/879.27 c nbDecision=469500 #constraints=9639 879.68/880.06 c nbDecision=470000 #constraints=9639 880.48/880.83 c nbDecision=470500 #constraints=9639 881.28/881.61 c nbDecision=471000 #constraints=9639 881.98/882.39 c nbDecision=471500 #constraints=9639 882.78/883.16 c nbDecision=472000 #constraints=9639 883.58/883.93 c nbDecision=472500 #constraints=9639 884.28/884.69 c nbDecision=473000 #constraints=9639 885.18/885.57 c nbDecision=473500 #constraints=9639 886.58/886.94 c nbDecision=474000 #constraints=9639 887.88/888.29 c nbDecision=474500 #constraints=9639 889.27/889.63 c nbDecision=475000 #constraints=9639 890.68/891.08 c nbDecision=475500 #constraints=9669 892.18/892.54 c nbDecision=476000 #constraints=9813 892.98/893.33 c nbDecision=476500 #constraints=9813 893.78/894.12 c nbDecision=477000 #constraints=9813 894.58/894.90 c nbDecision=477500 #constraints=9813 895.28/895.69 c nbDecision=478000 #constraints=9813 896.08/896.47 c nbDecision=478500 #constraints=9813 896.88/897.25 c nbDecision=479000 #constraints=9813 897.68/898.02 c nbDecision=479500 #constraints=9813 898.48/898.80 c nbDecision=480000 #constraints=9813 899.18/899.57 c nbDecision=480500 #constraints=9813 899.98/900.35 c nbDecision=481000 #constraints=9813 900.78/901.12 c nbDecision=481500 #constraints=9813 901.48/901.90 c nbDecision=482000 #constraints=9813 902.68/903.07 c nbDecision=482500 #constraints=9813 904.08/904.44 c nbDecision=483000 #constraints=9813 905.38/905.78 c nbDecision=483500 #constraints=9813 906.78/907.12 c nbDecision=484000 #constraints=9813 908.37/908.74 c nbDecision=484500 #constraints=9939 909.17/909.51 c nbDecision=485000 #constraints=9939 909.97/910.30 c nbDecision=485500 #constraints=9939 910.67/911.08 c nbDecision=486000 #constraints=9939 911.48/911.86 c nbDecision=486500 #constraints=9939 912.27/912.63 c nbDecision=487000 #constraints=9939 913.07/913.41 c nbDecision=487500 #constraints=9939 913.78/914.19 c nbDecision=488000 #constraints=9939 914.57/914.97 c nbDecision=488500 #constraints=9939 915.37/915.75 c nbDecision=489000 #constraints=9939 916.17/916.53 c nbDecision=489500 #constraints=9939 916.97/917.30 c nbDecision=490000 #constraints=9939 917.67/918.07 c nbDecision=490500 #constraints=9939 918.67/919.04 c nbDecision=491000 #constraints=9939 920.07/920.42 c nbDecision=491500 #constraints=9939 921.37/921.78 c nbDecision=492000 #constraints=9939 922.77/923.13 c nbDecision=492500 #constraints=9939 924.37/924.74 c nbDecision=493000 #constraints=10019 925.67/926.03 c nbDecision=493500 #constraints=10121 926.47/926.80 c nbDecision=494000 #constraints=10121 927.17/927.58 c nbDecision=494500 #constraints=10121 927.97/928.35 c nbDecision=495000 #constraints=10121 928.76/929.13 c nbDecision=495500 #constraints=10121 929.56/929.91 c nbDecision=496000 #constraints=10121 930.27/930.68 c nbDecision=496500 #constraints=10121 931.06/931.46 c nbDecision=497000 #constraints=10121 931.86/932.23 c nbDecision=497500 #constraints=10121 932.56/932.98 c nbDecision=498000 #constraints=10121 933.36/933.76 c nbDecision=498500 #constraints=10121 934.16/934.53 c nbDecision=499000 #constraints=10121 934.96/935.30 c nbDecision=499500 #constraints=10121 936.26/936.62 c nbDecision=500000 #constraints=10121 937.56/937.99 c nbDecision=500500 #constraints=10121 938.96/939.34 c nbDecision=501000 #constraints=10121 940.26/940.69 c nbDecision=501500 #constraints=10121 942.16/942.51 c nbDecision=502000 #constraints=10305 942.86/943.28 c nbDecision=502500 #constraints=10305 943.66/944.07 c nbDecision=503000 #constraints=10305 944.46/944.85 c nbDecision=503500 #constraints=10305 945.26/945.63 c nbDecision=504000 #constraints=10305 946.05/946.40 c nbDecision=504500 #constraints=10305 946.76/947.17 c nbDecision=505000 #constraints=10305 947.55/947.93 c nbDecision=505500 #constraints=10305 948.35/948.70 c nbDecision=506000 #constraints=10305 949.05/949.47 c nbDecision=506500 #constraints=10305 949.85/950.24 c nbDecision=507000 #constraints=10305 950.65/951.01 c nbDecision=507500 #constraints=10305 951.35/951.77 c nbDecision=508000 #constraints=10305 952.35/952.71 c nbDecision=508500 #constraints=10305 953.65/954.09 c nbDecision=509000 #constraints=10305 955.05/955.46 c nbDecision=509500 #constraints=10305 956.45/956.81 c nbDecision=510000 #constraints=10305 957.95/958.34 c nbDecision=510500 #constraints=10362 959.25/959.66 c nbDecision=511000 #constraints=10476 960.05/960.45 c nbDecision=511500 #constraints=10476 960.85/961.25 c nbDecision=512000 #constraints=10476 961.65/962.03 c nbDecision=512500 #constraints=10476 962.45/962.81 c nbDecision=513000 #constraints=10476 963.15/963.59 c nbDecision=513500 #constraints=10476 963.95/964.37 c nbDecision=514000 #constraints=10476 964.75/965.14 c nbDecision=514500 #constraints=10476 965.55/965.91 c nbDecision=515000 #constraints=10476 966.25/966.68 c nbDecision=515500 #constraints=10476 967.05/967.44 c nbDecision=516000 #constraints=10476 967.84/968.21 c nbDecision=516500 #constraints=10476 968.54/968.98 c nbDecision=517000 #constraints=10476 969.85/970.23 c nbDecision=517500 #constraints=10476 971.14/971.59 c nbDecision=518000 #constraints=10476 972.54/972.94 c nbDecision=518500 #constraints=10476 973.84/974.28 c nbDecision=519000 #constraints=10476 975.65/976.04 c nbDecision=519500 #constraints=10623 976.45/976.80 c nbDecision=520000 #constraints=10623 977.25/977.60 c nbDecision=520500 #constraints=10623 977.95/978.39 c nbDecision=521000 #constraints=10623 978.75/979.17 c nbDecision=521500 #constraints=10623 979.55/979.95 c nbDecision=522000 #constraints=10623 980.35/980.74 c nbDecision=522500 #constraints=10623 981.15/981.52 c nbDecision=523000 #constraints=10623 981.85/982.30 c nbDecision=523500 #constraints=10623 982.65/983.08 c nbDecision=524000 #constraints=10623 983.45/983.84 c nbDecision=524500 #constraints=10623 984.25/984.61 c nbDecision=525000 #constraints=10623 984.95/985.38 c nbDecision=525500 #constraints=10623 985.94/986.36 c nbDecision=526000 #constraints=10623 987.35/987.73 c nbDecision=526500 #constraints=10623 988.64/989.08 c nbDecision=527000 #constraints=10623 990.04/990.42 c nbDecision=527500 #constraints=10623 991.54/991.94 c nbDecision=528000 #constraints=10686 992.95/993.36 c nbDecision=528500 #constraints=10822 993.74/994.15 c nbDecision=529000 #constraints=10822 994.54/994.95 c nbDecision=529500 #constraints=10822 995.34/995.73 c nbDecision=530000 #constraints=10822 996.14/996.52 c nbDecision=530500 #constraints=10822 996.94/997.30 c nbDecision=531000 #constraints=10822 997.64/998.08 c nbDecision=531500 #constraints=10822 998.44/998.86 c nbDecision=532000 #constraints=10822 999.24/999.64 c nbDecision=532500 #constraints=10822 1000.04/1000.42 c nbDecision=533000 #constraints=10822 1000.74/1001.20 c nbDecision=533500 #constraints=10822 1001.53/1001.97 c nbDecision=534000 #constraints=10822 1002.33/1002.74 c nbDecision=534500 #constraints=10822 1003.53/1003.94 c nbDecision=535000 #constraints=10822 1004.94/1005.30 c nbDecision=535500 #constraints=10822 1006.23/1006.65 c nbDecision=536000 #constraints=10822 1007.53/1007.98 c nbDecision=536500 #constraints=10822 1009.33/1009.79 c nbDecision=537000 #constraints=10982 1010.13/1010.55 c nbDecision=537500 #constraints=10982 1010.93/1011.34 c nbDecision=538000 #constraints=10982 1011.73/1012.12 c nbDecision=538500 #constraints=10982 1012.43/1012.88 c nbDecision=539000 #constraints=10982 1013.23/1013.67 c nbDecision=539500 #constraints=10982 1014.03/1014.45 c nbDecision=540000 #constraints=10982 1014.83/1015.23 c nbDecision=540500 #constraints=10982 1015.63/1016.01 c nbDecision=541000 #constraints=10982 1016.33/1016.79 c nbDecision=541500 #constraints=10982 1017.13/1017.56 c nbDecision=542000 #constraints=10982 1017.93/1018.34 c nbDecision=542500 #constraints=10982 1018.73/1019.11 c nbDecision=543000 #constraints=10982 1019.63/1020.05 c nbDecision=543500 #constraints=10982 1021.02/1021.43 c nbDecision=544000 #constraints=10982 1022.32/1022.79 c nbDecision=544500 #constraints=10982 1023.73/1024.14 c nbDecision=545000 #constraints=10982 1025.22/1025.62 c nbDecision=545500 #constraints=11023 1026.62/1027.05 c nbDecision=546000 #constraints=11153 1027.42/1027.83 c nbDecision=546500 #constraints=11153 1028.22/1028.62 c nbDecision=547000 #constraints=11153 1029.02/1029.40 c nbDecision=547500 #constraints=11153 1029.72/1030.18 c nbDecision=548000 #constraints=11153 1030.52/1030.95 c nbDecision=548500 #constraints=11153 1031.32/1031.73 c nbDecision=549000 #constraints=11153 1032.02/1032.50 c nbDecision=549500 #constraints=11153 1032.82/1033.27 c nbDecision=550000 #constraints=11153 1033.62/1034.05 c nbDecision=550500 #constraints=11153 1034.42/1034.82 c nbDecision=551000 #constraints=11153 1035.22/1035.60 c nbDecision=551500 #constraints=11153 1035.92/1036.37 c nbDecision=552000 #constraints=11153 1037.12/1037.57 c nbDecision=552500 #constraints=11153 1038.52/1038.93 c nbDecision=553000 #constraints=11153 1039.92/1040.30 c nbDecision=553500 #constraints=11153 1041.22/1041.65 c nbDecision=554000 #constraints=11153 1043.02/1043.40 c nbDecision=554500 #constraints=11290 1043.82/1044.27 c nbDecision=555000 #constraints=11308 1044.62/1045.04 c nbDecision=555500 #constraints=11308 1045.42/1045.83 c nbDecision=556000 #constraints=11308 1046.21/1046.61 c nbDecision=556500 #constraints=11308 1046.91/1047.38 c nbDecision=557000 #constraints=11308 1047.71/1048.16 c nbDecision=557500 #constraints=11308 1048.51/1048.92 c nbDecision=558000 #constraints=11308 1049.21/1049.69 c nbDecision=558500 #constraints=11308 1050.02/1050.46 c nbDecision=559000 #constraints=11308 1050.81/1051.23 c nbDecision=559500 #constraints=11308 1051.51/1051.99 c nbDecision=560000 #constraints=11308 1052.32/1052.74 c nbDecision=560500 #constraints=11308 1053.21/1053.62 c nbDecision=561000 #constraints=11308 1054.61/1055.00 c nbDecision=561500 #constraints=11308 1055.91/1056.37 c nbDecision=562000 #constraints=11308 1057.31/1057.72 c nbDecision=562500 #constraints=11308 1058.61/1059.09 c nbDecision=563000 #constraints=11313 1060.31/1060.72 c nbDecision=563500 #constraints=11444 1061.61/1062.03 c nbDecision=564000 #constraints=11444 1062.91/1063.33 c nbDecision=564500 #constraints=11444 1064.21/1064.61 c nbDecision=565000 #constraints=11444 1065.61/1066.05 c nbDecision=565500 #constraints=11504 1066.90/1067.35 c nbDecision=566000 #constraints=11504 1068.20/1068.64 c nbDecision=566500 #constraints=11504 1069.50/1069.92 c nbDecision=567000 #constraints=11504 1070.81/1071.28 c nbDecision=567500 #constraints=11559 1071.61/1072.06 c nbDecision=568000 #constraints=11559 1072.41/1072.84 c nbDecision=568500 #constraints=11559 1073.21/1073.62 c nbDecision=569000 #constraints=11559 1074.01/1074.41 c nbDecision=569500 #constraints=11559 1074.71/1075.19 c nbDecision=570000 #constraints=11559 1075.51/1075.96 c nbDecision=570500 #constraints=11559 1076.31/1076.74 c nbDecision=571000 #constraints=11559 1077.11/1077.52 c nbDecision=571500 #constraints=11559 1077.81/1078.29 c nbDecision=572000 #constraints=11559 1078.61/1079.07 c nbDecision=572500 #constraints=11559 1079.41/1079.84 c nbDecision=573000 #constraints=11559 1080.21/1080.62 c nbDecision=573500 #constraints=11559 1081.11/1081.60 c nbDecision=574000 #constraints=11559 1082.51/1082.97 c nbDecision=574500 #constraints=11559 1083.91/1084.33 c nbDecision=575000 #constraints=11559 1085.21/1085.66 c nbDecision=575500 #constraints=11559 1086.70/1087.19 c nbDecision=576000 #constraints=11615 1088.30/1088.72 c nbDecision=576500 #constraints=11705 1089.61/1090.02 c nbDecision=577000 #constraints=11705 1090.90/1091.31 c nbDecision=577500 #constraints=11705 1092.10/1092.58 c nbDecision=578000 #constraints=11705 1093.60/1094.04 c nbDecision=578500 #constraints=11781 1094.90/1095.35 c nbDecision=579000 #constraints=11781 1096.20/1096.64 c nbDecision=579500 #constraints=11781 1097.50/1097.93 c nbDecision=580000 #constraints=11781 1099.00/1099.42 c nbDecision=580500 #constraints=11866 1100.30/1100.73 c nbDecision=581000 #constraints=11866 1101.60/1102.04 c nbDecision=581500 #constraints=11866 1102.90/1103.32 c nbDecision=582000 #constraints=11866 1104.30/1104.71 c nbDecision=582500 #constraints=11917 1105.60/1106.02 c nbDecision=583000 #constraints=11917 1106.89/1107.31 c nbDecision=583500 #constraints=11917 1108.09/1108.59 c nbDecision=584000 #constraints=11917 1109.40/1109.89 c nbDecision=584500 #constraints=11939 1110.89/1111.31 c nbDecision=585000 #constraints=11997 1112.19/1112.61 c nbDecision=585500 #constraints=11997 1113.39/1113.90 c nbDecision=586000 #constraints=11997 1114.69/1115.18 c nbDecision=586500 #constraints=11997 1116.29/1116.74 c nbDecision=587000 #constraints=12118 1117.59/1118.05 c nbDecision=587500 #constraints=12118 1118.89/1119.35 c nbDecision=588000 #constraints=12118 1120.19/1120.63 c nbDecision=588500 #constraints=12118 1121.59/1122.04 c nbDecision=589000 #constraints=12171 1122.89/1123.35 c nbDecision=589500 #constraints=12171 1124.19/1124.64 c nbDecision=590000 #constraints=12171 1125.49/1125.92 c nbDecision=590500 #constraints=12171 1126.89/1127.33 c nbDecision=591000 #constraints=12245 1128.19/1128.64 c nbDecision=591500 #constraints=12245 1129.49/1129.93 c nbDecision=592000 #constraints=12245 1130.78/1131.21 c nbDecision=592500 #constraints=12245 1132.08/1132.52 c nbDecision=593000 #constraints=12272 1133.38/1133.88 c nbDecision=593500 #constraints=12296 1134.69/1135.19 c nbDecision=594000 #constraints=12296 1135.98/1136.48 c nbDecision=594500 #constraints=12296 1137.28/1137.77 c nbDecision=595000 #constraints=12296 1138.78/1139.24 c nbDecision=595500 #constraints=12386 1140.08/1140.56 c nbDecision=596000 #constraints=12386 1141.38/1141.86 c nbDecision=596500 #constraints=12386 1142.68/1143.14 c nbDecision=597000 #constraints=12386 1144.08/1144.52 c nbDecision=597500 #constraints=12448 1145.38/1145.81 c nbDecision=598000 #constraints=12448 1146.68/1147.10 c nbDecision=598500 #constraints=12448 1147.88/1148.37 c nbDecision=599000 #constraints=12448 1149.28/1149.74 c nbDecision=599500 #constraints=12506 1150.58/1151.04 c nbDecision=600000 #constraints=12506 1151.88/1152.33 c nbDecision=600500 #constraints=12506 1153.18/1153.61 c nbDecision=601000 #constraints=12506 1154.59/1155.03 c nbDecision=601500 #constraints=12588 1155.88/1156.36 c nbDecision=602000 #constraints=12588 1157.18/1157.66 c nbDecision=602500 #constraints=12588 1158.48/1158.95 c nbDecision=603000 #constraints=12588 1159.78/1160.24 c nbDecision=603500 #constraints=12592 1161.18/1161.68 c nbDecision=604000 #constraints=12668 1162.48/1162.98 c nbDecision=604500 #constraints=12668 1163.78/1164.27 c nbDecision=605000 #constraints=12668 1165.08/1165.54 c nbDecision=605500 #constraints=12668 1166.48/1166.92 c nbDecision=606000 #constraints=12727 1167.78/1168.23 c nbDecision=606500 #constraints=12727 1169.07/1169.51 c nbDecision=607000 #constraints=12727 1170.27/1170.78 c nbDecision=607500 #constraints=12727 1171.67/1172.19 c nbDecision=608000 #constraints=12819 1172.97/1173.44 c nbDecision=608500 #constraints=12819 1174.37/1174.89 c nbDecision=609000 #constraints=12867 1175.77/1176.20 c nbDecision=609500 #constraints=12867 1176.97/1177.49 c nbDecision=610000 #constraints=12867 1178.27/1178.78 c nbDecision=610500 #constraints=12867 1179.67/1180.20 c nbDecision=611000 #constraints=12917 1181.07/1181.51 c nbDecision=611500 #constraints=12917 1182.37/1182.80 c nbDecision=612000 #constraints=12917 1183.57/1184.08 c nbDecision=612500 #constraints=12917 1184.97/1185.41 c nbDecision=613000 #constraints=12945 1186.26/1186.72 c nbDecision=613500 #constraints=12945 1187.47/1188.00 c nbDecision=614000 #constraints=12945 1188.76/1189.27 c nbDecision=614500 #constraints=12945 1190.16/1190.66 c nbDecision=615000 #constraints=13012 1191.46/1191.97 c nbDecision=615500 #constraints=13012 1192.76/1193.26 c nbDecision=616000 #constraints=13012 1194.06/1194.54 c nbDecision=616500 #constraints=13012 1195.46/1195.95 c nbDecision=617000 #constraints=13090 1196.86/1197.30 c nbDecision=617500 #constraints=13112 1198.16/1198.60 c nbDecision=618000 #constraints=13112 1199.36/1199.90 c nbDecision=618500 #constraints=13112 1200.66/1201.18 c nbDecision=619000 #constraints=13112 1202.16/1202.60 c nbDecision=619500 #constraints=13210 1203.46/1203.95 c nbDecision=620000 #constraints=13244 1204.75/1205.26 c nbDecision=620500 #constraints=13244 1206.05/1206.55 c nbDecision=621000 #constraints=13244 1207.36/1207.83 c nbDecision=621500 #constraints=13244 1208.65/1209.19 c nbDecision=622000 #constraints=13284 1210.05/1210.51 c nbDecision=622500 #constraints=13284 1211.35/1211.80 c nbDecision=623000 #constraints=13284 1212.55/1213.08 c nbDecision=623500 #constraints=13284 1213.85/1214.39 c nbDecision=624000 #constraints=13300 1215.35/1215.82 c nbDecision=624500 #constraints=13347 1216.65/1217.13 c nbDecision=625000 #constraints=13347 1217.95/1218.42 c nbDecision=625500 #constraints=13347 1219.25/1219.70 c nbDecision=626000 #constraints=13347 1220.65/1221.15 c nbDecision=626500 #constraints=13434 1221.95/1222.46 c nbDecision=627000 #constraints=13434 1223.24/1223.75 c nbDecision=627500 #constraints=13434 1224.54/1225.02 c nbDecision=628000 #constraints=13434 1225.85/1226.38 c nbDecision=628500 #constraints=13495 1227.25/1227.72 c nbDecision=629000 #constraints=13529 1228.55/1229.06 c nbDecision=629500 #constraints=13541 1229.85/1230.35 c nbDecision=630000 #constraints=13541 1231.15/1231.63 c nbDecision=630500 #constraints=13541 1232.45/1232.90 c nbDecision=631000 #constraints=13541 1233.75/1234.29 c nbDecision=631500 #constraints=13572 1235.05/1235.60 c nbDecision=632000 #constraints=13572 1236.35/1236.89 c nbDecision=632500 #constraints=13572 1237.65/1238.17 c nbDecision=633000 #constraints=13572 1239.05/1239.59 c nbDecision=633500 #constraints=13631 1240.35/1240.89 c nbDecision=634000 #constraints=13631 1241.65/1242.19 c nbDecision=634500 #constraints=13631 1242.95/1243.47 c nbDecision=635000 #constraints=13631 1244.34/1244.87 c nbDecision=635500 #constraints=13681 1245.64/1246.17 c nbDecision=636000 #constraints=13681 1246.95/1247.46 c nbDecision=636500 #constraints=13681 1248.24/1248.73 c nbDecision=637000 #constraints=13681 1249.64/1250.12 c nbDecision=637500 #constraints=13722 1250.94/1251.42 c nbDecision=638000 #constraints=13722 1252.24/1252.71 c nbDecision=638500 #constraints=13722 1253.45/1253.99 c nbDecision=639000 #constraints=13722 1254.94/1255.45 c nbDecision=639500 #constraints=13806 1256.24/1256.76 c nbDecision=640000 #constraints=13806 1257.54/1258.06 c nbDecision=640500 #constraints=13806 1258.84/1259.35 c nbDecision=641000 #constraints=13806 1260.24/1260.71 c nbDecision=641500 #constraints=13851 1261.54/1262.02 c nbDecision=642000 #constraints=13879 1262.84/1263.39 c nbDecision=642500 #constraints=13917 1264.14/1264.69 c nbDecision=643000 #constraints=13917 1265.44/1265.98 c nbDecision=643500 #constraints=13917 1266.74/1267.26 c nbDecision=644000 #constraints=13917 1268.13/1268.64 c nbDecision=644500 #constraints=13962 1269.43/1269.95 c nbDecision=645000 #constraints=13962 1270.73/1271.23 c nbDecision=645500 #constraints=13962 1272.03/1272.51 c nbDecision=646000 #constraints=13962 1273.43/1273.93 c nbDecision=646500 #constraints=14047 1274.73/1275.20 c nbDecision=647000 #constraints=14048 1276.13/1276.62 c nbDecision=647500 #constraints=14102 1277.43/1277.93 c nbDecision=648000 #constraints=14102 1278.73/1279.22 c nbDecision=648500 #constraints=14102 1280.03/1280.51 c nbDecision=649000 #constraints=14102 1281.43/1281.96 c nbDecision=649500 #constraints=14162 1282.73/1283.27 c nbDecision=650000 #constraints=14162 1284.03/1284.56 c nbDecision=650500 #constraints=14162 1285.33/1285.83 c nbDecision=651000 #constraints=14162 1286.73/1287.20 c nbDecision=651500 #constraints=14194 1287.93/1288.50 c nbDecision=652000 #constraints=14194 1289.23/1289.78 c nbDecision=652500 #constraints=14194 1290.53/1291.06 c nbDecision=653000 #constraints=14194 1291.93/1292.46 c nbDecision=653500 #constraints=14261 1293.32/1293.82 c nbDecision=654000 #constraints=14276 1294.62/1295.12 c nbDecision=654500 #constraints=14276 1295.92/1296.42 c nbDecision=655000 #constraints=14276 1297.12/1297.70 c nbDecision=655500 #constraints=14276 1298.63/1299.15 c nbDecision=656000 #constraints=14377 1300.02/1300.55 c nbDecision=656500 #constraints=14437 1301.32/1301.86 c nbDecision=657000 #constraints=14437 1302.62/1303.16 c nbDecision=657500 #constraints=14437 1303.92/1304.44 c nbDecision=658000 #constraints=14437 1305.32/1305.81 c nbDecision=658500 #constraints=14492 1306.52/1307.08 c nbDecision=659000 #constraints=14502 1308.02/1308.50 c nbDecision=659500 #constraints=14552 1309.32/1309.80 c nbDecision=660000 #constraints=14552 1310.51/1311.08 c nbDecision=660500 #constraints=14552 1311.82/1312.36 c nbDecision=661000 #constraints=14552 1313.21/1313.76 c nbDecision=661500 #constraints=14619 1314.51/1315.02 c nbDecision=662000 #constraints=14619 1315.92/1316.44 c nbDecision=662500 #constraints=14685 1317.22/1317.74 c nbDecision=663000 #constraints=14685 1318.52/1319.03 c nbDecision=663500 #constraints=14685 1319.82/1320.32 c nbDecision=664000 #constraints=14685 1321.22/1321.72 c nbDecision=664500 #constraints=14756 1322.51/1323.05 c nbDecision=665000 #constraints=14784 1323.82/1324.39 c nbDecision=665500 #constraints=14792 1325.11/1325.68 c nbDecision=666000 #constraints=14792 1326.41/1326.96 c nbDecision=666500 #constraints=14792 1327.71/1328.22 c nbDecision=667000 #constraints=14792 1329.11/1329.65 c nbDecision=667500 #constraints=14861 1330.41/1330.95 c nbDecision=668000 #constraints=14861 1331.71/1332.23 c nbDecision=668500 #constraints=14861 1333.01/1333.51 c nbDecision=669000 #constraints=14861 1334.31/1334.89 c nbDecision=669500 #constraints=14922 1335.70/1336.24 c nbDecision=670000 #constraints=14970 1337.01/1337.56 c nbDecision=670500 #constraints=14970 1338.30/1338.86 c nbDecision=671000 #constraints=14970 1339.60/1340.15 c nbDecision=671500 #constraints=14970 1340.90/1341.46 c nbDecision=672000 #constraints=14986 1342.30/1342.82 c nbDecision=672500 #constraints=15036 1343.61/1344.19 c nbDecision=673000 #constraints=15086 1344.90/1345.49 c nbDecision=673500 #constraints=15086 1346.21/1346.78 c nbDecision=674000 #constraints=15086 1347.51/1348.06 c nbDecision=674500 #constraints=15086 1348.91/1349.41 c nbDecision=675000 #constraints=15128 1350.11/1350.66 c nbDecision=675500 #constraints=15128 1351.51/1352.09 c nbDecision=676000 #constraints=15207 1352.80/1353.39 c nbDecision=676500 #constraints=15207 1354.10/1354.68 c nbDecision=677000 #constraints=15207 1355.40/1355.97 c nbDecision=677500 #constraints=15207 1356.81/1357.38 c nbDecision=678000 #constraints=15275 1358.10/1358.65 c nbDecision=678500 #constraints=15282 1359.50/1360.09 c nbDecision=679000 #constraints=15364 1360.90/1361.40 c nbDecision=679500 #constraints=15364 1361.80/1362.70 c nbDecision=680000 #constraints=15364 1363.40/1363.97 c nbDecision=680500 #constraints=15364 1364.80/1365.37 c nbDecision=681000 #constraints=15430 1366.20/1366.72 c nbDecision=681500 #constraints=15485 1367.50/1368.04 c nbDecision=682000 #constraints=15491 1368.80/1369.33 c nbDecision=682500 #constraints=15491 1370.10/1370.61 c nbDecision=683000 #constraints=15491 1371.30/1371.90 c nbDecision=683500 #constraints=15497 1372.69/1373.25 c nbDecision=684000 #constraints=15547 1374.09/1374.66 c nbDecision=684500 #constraints=15630 1375.39/1375.97 c nbDecision=685000 #constraints=15630 1376.69/1377.27 c nbDecision=685500 #constraints=15630 1378.00/1378.56 c nbDecision=686000 #constraints=15630 1379.39/1379.96 c nbDecision=686500 #constraints=15686 1380.69/1381.25 c nbDecision=687000 #constraints=15697 1382.19/1382.70 c nbDecision=687500 #constraints=15788 1383.49/1384.00 c nbDecision=688000 #constraints=15788 1384.69/1385.29 c nbDecision=688500 #constraints=15788 1385.99/1386.56 c nbDecision=689000 #constraints=15788 1387.39/1387.92 c nbDecision=689500 #constraints=15830 1388.59/1389.17 c nbDecision=690000 #constraints=15830 1389.99/1390.54 c nbDecision=690500 #constraints=15885 1391.28/1391.84 c nbDecision=691000 #constraints=15885 1392.59/1393.12 c nbDecision=691500 #constraints=15885 1393.88/1394.41 c nbDecision=692000 #constraints=15885 1395.18/1395.78 c nbDecision=692500 #constraints=15932 1396.48/1397.07 c nbDecision=693000 #constraints=15946 1397.89/1398.48 c nbDecision=693500 #constraints=16002 1399.19/1399.78 c nbDecision=694000 #constraints=16002 1400.49/1401.08 c nbDecision=694500 #constraints=16002 1401.79/1402.36 c nbDecision=695000 #constraints=16002 1403.19/1403.70 c nbDecision=695500 #constraints=16040 1404.49/1405.06 c nbDecision=696000 #constraints=16100 1405.79/1406.36 c nbDecision=696500 #constraints=16100 1407.09/1407.66 c nbDecision=697000 #constraints=16100 1408.38/1408.93 c nbDecision=697500 #constraints=16100 1409.68/1410.29 c nbDecision=698000 #constraints=16138 1410.99/1411.58 c nbDecision=698500 #constraints=16153 1412.38/1412.96 c nbDecision=699000 #constraints=16237 1413.68/1414.21 c nbDecision=699500 #constraints=16237 1415.18/1415.70 c nbDecision=700000 #constraints=16295 1416.48/1417.00 c nbDecision=700500 #constraints=16295 1417.68/1418.30 c nbDecision=701000 #constraints=16295 1418.98/1419.58 c nbDecision=701500 #constraints=16295 1420.48/1421.05 c nbDecision=702000 #constraints=16347 1421.78/1422.36 c nbDecision=702500 #constraints=16347 1423.08/1423.65 c nbDecision=703000 #constraints=16347 1424.38/1424.92 c nbDecision=703500 #constraints=16347 1425.68/1426.26 c nbDecision=704000 #constraints=16366 1426.98/1427.56 c nbDecision=704500 #constraints=16366 1428.28/1428.84 c nbDecision=705000 #constraints=16366 1429.58/1430.12 c nbDecision=705500 #constraints=16366 1430.97/1431.50 c nbDecision=706000 #constraints=16423 1432.17/1432.77 c nbDecision=706500 #constraints=16430 1433.67/1434.24 c nbDecision=707000 #constraints=16478 1434.97/1435.55 c nbDecision=707500 #constraints=16478 1436.28/1436.84 c nbDecision=708000 #constraints=16478 1437.57/1438.13 c nbDecision=708500 #constraints=16478 1438.97/1439.52 c nbDecision=709000 #constraints=16509 1440.27/1440.84 c nbDecision=709500 #constraints=16509 1441.57/1442.13 c nbDecision=710000 #constraints=16509 1442.87/1443.41 c nbDecision=710500 #constraints=16509 1444.17/1444.76 c nbDecision=711000 #constraints=16543 1445.57/1446.15 c nbDecision=711500 #constraints=16581 1446.87/1447.46 c nbDecision=712000 #constraints=16581 1448.16/1448.75 c nbDecision=712500 #constraints=16581 1449.47/1450.03 c nbDecision=713000 #constraints=16581 1450.76/1451.38 c nbDecision=713500 #constraints=16615 1452.06/1452.67 c nbDecision=714000 #constraints=16632 1453.46/1454.04 c nbDecision=714500 #constraints=16659 1454.76/1455.34 c nbDecision=715000 #constraints=16659 1456.07/1456.64 c nbDecision=715500 #constraints=16659 1457.36/1457.92 c nbDecision=716000 #constraints=16659 1458.76/1459.34 c nbDecision=716500 #constraints=16721 1460.06/1460.60 c nbDecision=717000 #constraints=16721 1461.46/1462.06 c nbDecision=717500 #constraints=16786 1462.76/1463.37 c nbDecision=718000 #constraints=16786 1464.06/1464.65 c nbDecision=718500 #constraints=16786 1465.36/1465.93 c nbDecision=719000 #constraints=16786 1466.67/1467.26 c nbDecision=719500 #constraints=16816 1467.97/1468.55 c nbDecision=720000 #constraints=16826 1469.27/1469.85 c nbDecision=720500 #constraints=16826 1470.56/1471.14 c nbDecision=721000 #constraints=16826 1471.86/1472.42 c nbDecision=721500 #constraints=16826 1473.16/1473.74 c nbDecision=722000 #constraints=16849 1474.46/1475.00 c nbDecision=722500 #constraints=16849 1475.86/1476.48 c nbDecision=723000 #constraints=16962 1477.16/1477.79 c nbDecision=723500 #constraints=16962 1478.46/1479.09 c nbDecision=724000 #constraints=16962 1479.76/1480.38 c nbDecision=724500 #constraints=16962 1481.16/1481.74 c nbDecision=725000 #constraints=17001 1482.36/1483.00 c nbDecision=725500 #constraints=17001 1483.86/1484.43 c nbDecision=726000 #constraints=17068 1485.16/1485.73 c nbDecision=726500 #constraints=17068 1486.46/1487.01 c nbDecision=727000 #constraints=17068 1487.65/1488.28 c nbDecision=727500 #constraints=17068 1489.06/1489.63 c nbDecision=728000 #constraints=17100 1490.45/1491.01 c nbDecision=728500 #constraints=17178 1491.65/1492.29 c nbDecision=729000 #constraints=17209 1493.05/1493.63 c nbDecision=729500 #constraints=17224 1494.35/1494.95 c nbDecision=730000 #constraints=17224 1495.65/1496.24 c nbDecision=730500 #constraints=17224 1496.95/1497.53 c nbDecision=731000 #constraints=17224 1498.25/1498.88 c nbDecision=731500 #constraints=17244 1499.55/1500.19 c nbDecision=732000 #constraints=17244 1500.84/1501.49 c nbDecision=732500 #constraints=17244 1502.15/1502.77 c nbDecision=733000 #constraints=17244 1503.54/1504.16 c nbDecision=733500 #constraints=17297 1504.84/1505.41 c nbDecision=734000 #constraints=17297 1506.24/1506.85 c nbDecision=734500 #constraints=17359 1507.54/1508.14 c nbDecision=735000 #constraints=17359 1508.86/1509.42 c nbDecision=735500 #constraints=17359 1510.05/1510.69 c nbDecision=736000 #constraints=17359 1511.45/1512.03 c nbDecision=736500 #constraints=17392 1512.85/1513.40 c nbDecision=737000 #constraints=17468 1514.05/1514.65 c nbDecision=737500 #constraints=17469 1515.45/1516.07 c nbDecision=738000 #constraints=17497 1516.75/1517.38 c nbDecision=738500 #constraints=17497 1518.05/1518.67 c nbDecision=739000 #constraints=17497 1519.35/1519.96 c nbDecision=739500 #constraints=17497 1520.75/1521.34 c nbDecision=740000 #constraints=17516 1522.05/1522.65 c nbDecision=740500 #constraints=17516 1523.35/1523.94 c nbDecision=741000 #constraints=17516 1524.65/1525.22 c nbDecision=741500 #constraints=17516 1525.94/1526.57 c nbDecision=742000 #constraints=17548 1527.24/1527.83 c nbDecision=742500 #constraints=17548 1528.65/1529.28 c nbDecision=743000 #constraints=17587 1529.94/1530.58 c nbDecision=743500 #constraints=17587 1531.24/1531.86 c nbDecision=744000 #constraints=17587 1532.54/1533.13 c nbDecision=744500 #constraints=17587 1533.94/1534.57 c nbDecision=745000 #constraints=17655 1535.34/1535.95 c nbDecision=745500 #constraints=17706 1536.74/1537.31 c nbDecision=746000 #constraints=17713 1538.04/1538.61 c nbDecision=746500 #constraints=17713 1539.34/1539.90 c nbDecision=747000 #constraints=17713 1540.54/1541.20 c nbDecision=747500 #constraints=17716 1541.94/1542.59 c nbDecision=748000 #constraints=17768 1543.33/1543.91 c nbDecision=748500 #constraints=17778 1544.63/1545.21 c nbDecision=749000 #constraints=17778 1545.93/1546.50 c nbDecision=749500 #constraints=17778 1547.13/1547.78 c nbDecision=750000 #constraints=17778 1548.53/1549.19 c nbDecision=750500 #constraints=17837 1549.83/1550.44 c nbDecision=751000 #constraints=17837 1551.23/1551.88 c nbDecision=751500 #constraints=17918 1552.53/1553.18 c nbDecision=752000 #constraints=17918 1553.83/1554.48 c nbDecision=752500 #constraints=17918 1555.13/1555.76 c nbDecision=753000 #constraints=17918 1556.63/1557.21 c nbDecision=753500 #constraints=17984 1557.92/1558.51 c nbDecision=754000 #constraints=18008 1559.22/1559.88 c nbDecision=754500 #constraints=18018 1560.53/1561.19 c nbDecision=755000 #constraints=18018 1561.82/1562.48 c nbDecision=755500 #constraints=18018 1563.12/1563.75 c nbDecision=756000 #constraints=18018 1564.52/1565.12 c nbDecision=756500 #constraints=18061 1565.93/1566.52 c nbDecision=757000 #constraints=18126 1567.22/1567.82 c nbDecision=757500 #constraints=18126 1568.52/1569.11 c nbDecision=758000 #constraints=18126 1569.72/1570.39 c nbDecision=758500 #constraints=18126 1571.12/1571.74 c nbDecision=759000 #constraints=18159 1572.32/1572.99 c nbDecision=759500 #constraints=18159 1573.82/1574.42 c nbDecision=760000 #constraints=18261 1575.22/1575.81 c nbDecision=760500 #constraints=18295 1576.62/1577.22 c nbDecision=761000 #constraints=18318 1577.92/1578.52 c nbDecision=761500 #constraints=18318 1579.22/1579.81 c nbDecision=762000 #constraints=18318 1580.52/1581.12 c nbDecision=762500 #constraints=18326 1581.81/1582.43 c nbDecision=763000 #constraints=18342 1583.22/1583.81 c nbDecision=763500 #constraints=18409 1584.42/1585.04 c nbDecision=764000 #constraints=18409 1585.82/1586.40 c nbDecision=764500 #constraints=18434 1587.12/1587.70 c nbDecision=765000 #constraints=18434 1588.32/1588.98 c nbDecision=765500 #constraints=18434 1589.62/1590.25 c nbDecision=766000 #constraints=18434 1591.02/1591.61 c nbDecision=766500 #constraints=18470 1592.32/1592.96 c nbDecision=767000 #constraints=18486 1593.61/1594.27 c nbDecision=767500 #constraints=18486 1594.91/1595.57 c nbDecision=768000 #constraints=18486 1596.21/1596.86 c nbDecision=768500 #constraints=18486 1597.61/1598.21 c nbDecision=769000 #constraints=18514 1598.81/1599.48 c nbDecision=769500 #constraints=18514 1600.21/1600.87 c nbDecision=770000 #constraints=18592 1601.51/1602.19 c nbDecision=770500 #constraints=18625 1602.91/1603.50 c nbDecision=771000 #constraints=18625 1604.11/1604.79 c nbDecision=771500 #constraints=18625 1605.41/1606.07 c nbDecision=772000 #constraints=18625 1606.71/1607.37 c nbDecision=772500 #constraints=18638 1608.11/1608.70 c nbDecision=773000 #constraints=18661 1609.41/1610.04 c nbDecision=773500 #constraints=18714 1610.61/1611.28 c nbDecision=774000 #constraints=18723 1612.11/1612.75 c nbDecision=774500 #constraints=18781 1613.40/1614.05 c nbDecision=775000 #constraints=18781 1614.70/1615.35 c nbDecision=775500 #constraints=18781 1616.00/1616.63 c nbDecision=776000 #constraints=18781 1617.40/1618.03 c nbDecision=776500 #constraints=18823 1618.80/1619.46 c nbDecision=777000 #constraints=18915 1620.10/1620.72 c nbDecision=777500 #constraints=18925 1621.50/1622.14 c nbDecision=778000 #constraints=18979 1622.80/1623.45 c nbDecision=778500 #constraints=18979 1624.10/1624.74 c nbDecision=779000 #constraints=18979 1625.40/1626.02 c nbDecision=779500 #constraints=18979 1626.70/1627.35 c nbDecision=780000 #constraints=19003 1627.90/1628.59 c nbDecision=780500 #constraints=19003 1629.40/1630.01 c nbDecision=781000 #constraints=19098 1630.70/1631.38 c nbDecision=781500 #constraints=19146 1632.00/1632.68 c nbDecision=782000 #constraints=19146 1633.29/1633.98 c nbDecision=782500 #constraints=19146 1634.59/1635.27 c nbDecision=783000 #constraints=19146 1635.99/1636.64 c nbDecision=783500 #constraints=19174 1637.29/1637.98 c nbDecision=784000 #constraints=19204 1638.61/1639.29 c nbDecision=784500 #constraints=19230 1639.90/1640.56 c nbDecision=785000 #constraints=19250 1641.30/1641.99 c nbDecision=785500 #constraints=19294 1642.60/1643.29 c nbDecision=786000 #constraints=19294 1643.90/1644.58 c nbDecision=786500 #constraints=19294 1645.20/1645.85 c nbDecision=787000 #constraints=19294 1646.60/1647.21 c nbDecision=787500 #constraints=19328 1647.90/1648.58 c nbDecision=788000 #constraints=19393 1649.20/1649.81 c nbDecision=788500 #constraints=19393 1650.60/1651.23 c nbDecision=789000 #constraints=19454 1651.89/1652.52 c nbDecision=789500 #constraints=19454 1653.19/1653.81 c nbDecision=790000 #constraints=19454 1654.39/1655.09 c nbDecision=790500 #constraints=19454 1655.79/1656.43 c nbDecision=791000 #constraints=19478 1657.09/1657.79 c nbDecision=791500 #constraints=19527 1658.39/1659.03 c nbDecision=792000 #constraints=19527 1659.79/1660.48 c nbDecision=792500 #constraints=19601 1661.09/1661.79 c nbDecision=793000 #constraints=19601 1662.39/1663.09 c nbDecision=793500 #constraints=19601 1663.69/1664.37 c nbDecision=794000 #constraints=19601 1665.09/1665.73 c nbDecision=794500 #constraints=19630 1666.29/1666.98 c nbDecision=795000 #constraints=19630 1667.69/1668.30 c nbDecision=795500 #constraints=19672 1668.99/1669.65 c nbDecision=796000 #constraints=19712 1670.29/1670.95 c nbDecision=796500 #constraints=19712 1671.59/1672.24 c nbDecision=797000 #constraints=19712 1672.88/1673.52 c nbDecision=797500 #constraints=19712 1674.28/1674.93 c nbDecision=798000 #constraints=19753 1675.48/1676.19 c nbDecision=798500 #constraints=19753 1676.88/1677.58 c nbDecision=799000 #constraints=19816 1678.18/1678.88 c nbDecision=799500 #constraints=19856 1679.58/1680.24 c nbDecision=800000 #constraints=19882 1680.88/1681.54 c nbDecision=800500 #constraints=19882 1682.18/1682.83 c nbDecision=801000 #constraints=19882 1683.48/1684.11 c nbDecision=801500 #constraints=19882 1684.78/1685.46 c nbDecision=802000 #constraints=19914 1686.08/1686.78 c nbDecision=802500 #constraints=19953 1687.38/1688.01 c nbDecision=803000 #constraints=19953 1688.78/1689.47 c nbDecision=803500 #constraints=20038 1690.08/1690.77 c nbDecision=804000 #constraints=20038 1691.39/1692.05 c nbDecision=804500 #constraints=20038 1692.68/1693.32 c nbDecision=805000 #constraints=20038 1693.98/1694.68 c nbDecision=805500 #constraints=20065 1695.38/1696.00 c nbDecision=806000 #constraints=20092 1696.58/1697.25 c nbDecision=806500 #constraints=20092 1697.98/1698.63 c nbDecision=807000 #constraints=20144 1699.28/1699.94 c nbDecision=807500 #constraints=20144 1700.58/1701.24 c nbDecision=808000 #constraints=20144 1701.88/1702.52 c nbDecision=808500 #constraints=20144 1703.18/1703.83 c nbDecision=809000 #constraints=20157 1704.48/1705.15 c nbDecision=809500 #constraints=20188 1705.68/1706.39 c nbDecision=810000 #constraints=20188 1707.27/1707.93 c nbDecision=810500 #constraints=20387 1708.57/1709.29 c nbDecision=811000 #constraints=20416 1709.87/1710.58 c nbDecision=811500 #constraints=20416 1711.17/1711.86 c nbDecision=812000 #constraints=20416 1712.47/1713.14 c nbDecision=812500 #constraints=20416 1713.87/1714.51 c nbDecision=813000 #constraints=20451 1715.17/1715.89 c nbDecision=813500 #constraints=20501 1716.47/1717.13 c nbDecision=814000 #constraints=20501 1718.06/1718.79 c nbDecision=814500 #constraints=20751 1719.88/1720.53 c nbDecision=815000 #constraints=21044 1721.57/1722.27 c nbDecision=815500 #constraints=21329 1723.37/1724.01 c nbDecision=816000 #constraints=21610 1724.86/1725.58 c nbDecision=816500 #constraints=21799 1726.06/1726.79 c nbDecision=817000 #constraints=21799 1727.36/1728.07 c nbDecision=817500 #constraints=21838 1728.77/1729.43 c nbDecision=818000 #constraints=21917 1729.96/1730.64 c nbDecision=818500 #constraints=21917 1731.26/1731.93 c nbDecision=819000 #constraints=21961 1731.76/1732.42 c restart after 819201 decisions 1732.26/1732.94 c nbDecision=819500 #constraints=21961 1733.06/1733.73 c nbDecision=820000 #constraints=21961 1733.86/1734.53 c nbDecision=820500 #constraints=21961 1734.66/1735.31 c nbDecision=821000 #constraints=21961 1735.46/1736.10 c nbDecision=821500 #constraints=21961 1736.16/1736.88 c nbDecision=822000 #constraints=21961 1736.96/1737.67 c nbDecision=822500 #constraints=21961 1737.76/1738.45 c nbDecision=823000 #constraints=21961 1738.56/1739.21 c nbDecision=823500 #constraints=21961 1739.26/1739.99 c nbDecision=824000 #constraints=21961 1740.06/1740.76 c nbDecision=824500 #constraints=21961 1740.86/1741.54 c nbDecision=825000 #constraints=21961 1741.66/1742.31 c nbDecision=825500 #constraints=21961 1742.86/1743.59 c nbDecision=826000 #constraints=21961 1744.26/1744.94 c nbDecision=826500 #constraints=21961 1745.56/1746.29 c nbDecision=827000 #constraints=21961 1746.95/1747.62 c nbDecision=827500 #constraints=21961 1748.86/1749.56 c nbDecision=828000 #constraints=22066 1750.16/1750.87 c nbDecision=828500 #constraints=22066 1751.46/1752.16 c nbDecision=829000 #constraints=22066 1752.76/1753.43 c nbDecision=829500 #constraints=22066 1754.26/1754.93 c nbDecision=830000 #constraints=22110 1755.56/1756.25 c nbDecision=830500 #constraints=22110 1756.86/1757.55 c nbDecision=831000 #constraints=22110 1758.16/1758.84 c nbDecision=831500 #constraints=22110 1759.46/1760.19 c nbDecision=832000 #constraints=22129 1760.86/1761.58 c nbDecision=832500 #constraints=22166 1762.26/1762.98 c nbDecision=833000 #constraints=22182 1763.56/1764.28 c nbDecision=833500 #constraints=22182 1764.86/1765.56 c nbDecision=834000 #constraints=22182 1766.16/1766.84 c nbDecision=834500 #constraints=22182 1767.55/1768.29 c nbDecision=835000 #constraints=22233 1768.85/1769.55 c nbDecision=835500 #constraints=22233 1770.25/1770.96 c nbDecision=836000 #constraints=22254 1771.55/1772.25 c nbDecision=836500 #constraints=22254 1772.85/1773.54 c nbDecision=837000 #constraints=22254 1774.15/1774.82 c nbDecision=837500 #constraints=22254 1775.55/1776.27 c nbDecision=838000 #constraints=22283 1776.85/1777.57 c nbDecision=838500 #constraints=22283 1778.15/1778.87 c nbDecision=839000 #constraints=22283 1779.45/1780.16 c nbDecision=839500 #constraints=22283 1780.85/1781.56 c nbDecision=840000 #constraints=22298 1782.15/1782.87 c nbDecision=840500 #constraints=22298 1783.44/1784.16 c nbDecision=841000 #constraints=22298 1784.75/1785.43 c nbDecision=841500 #constraints=22298 1786.14/1786.82 c nbDecision=842000 #constraints=22332 1787.44/1788.13 c nbDecision=842500 #constraints=22353 1788.74/1789.47 c nbDecision=843000 #constraints=22395 1790.14/1790.86 c nbDecision=843500 #constraints=22432 1791.44/1792.16 c nbDecision=844000 #constraints=22432 1792.74/1793.45 c nbDecision=844500 #constraints=22432 1794.04/1794.73 c nbDecision=845000 #constraints=22432 1795.44/1796.15 c nbDecision=845500 #constraints=22466 1796.74/1797.41 c nbDecision=846000 #constraints=22466 1798.04/1798.78 c nbDecision=846500 #constraints=22512 1799.54/1800.29 c nbDecision=847000 #constraints=22544 1800.04/1800.70 Received signal 15 1800.04/1800.70 1800.04/1800.70 s UNKNOWN 1800.04/1800.70 1800.04/1800.70 c user time= 1799.78 s 1800.04/1800.70 c system time= 0.279957 s 1800.04/1800.70 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-363336-1176852400 -o ROOT/results/node3/solver-363336-1176852400 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363336-1176852400/instance-363336-1176852400.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30871 /proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=1620 CPUtime=0 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161277734 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134708447 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 405 175 126 317 0 84 0 [startup+0.0835491 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30871 /proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=3440 CPUtime=0.08 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 805 0 0 0 8 0 0 0 18 0 1 0 161277734 3522560 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 860 560 127 317 0 539 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3440 [startup+0.101551 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30871 /proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=3440 CPUtime=0.09 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 805 0 0 0 9 0 0 0 18 0 1 0 161277734 3522560 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266201 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 860 560 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301584 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30871 /proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=7004 CPUtime=0.29 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 1686 0 0 0 29 0 0 0 19 0 1 0 161277734 7172096 1441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 1751 1442 131 317 0 1430 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7004 [startup+0.701649 s] /proc/loadavg: 0.92 0.98 0.99 3/77 30871 /proc/meminfo: memFree=1701984/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=13896 CPUtime=0.69 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 3422 0 0 0 68 1 0 0 23 0 1 0 161277734 14229504 3177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 3474 3177 131 317 0 3153 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13896 [startup+1.50278 s] /proc/loadavg: 0.92 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1682328/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33060 CPUtime=1.49 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8210 0 0 0 147 2 0 0 25 0 1 0 161277734 33853440 7965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8265 7966 137 317 0 7944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33060 [startup+3.10104 s] /proc/loadavg: 0.93 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1670040/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33456 CPUtime=3.09 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8314 0 0 0 306 3 0 0 25 0 1 0 161277734 34258944 8069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8364 8069 138 317 0 8043 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33456 [startup+6.30256 s] /proc/loadavg: 0.93 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1669848/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33456 CPUtime=6.29 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8318 0 0 0 626 3 0 0 25 0 1 0 161277734 34258944 8073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8364 8073 138 317 0 8043 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33456 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1669848/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33456 CPUtime=12.69 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8323 0 0 0 1266 3 0 0 25 0 1 0 161277734 34258944 8078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8364 8078 138 317 0 8043 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33456 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1669912/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33540 CPUtime=25.49 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8328 0 0 0 2546 3 0 0 25 0 1 0 161277734 34344960 8083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8385 8083 138 317 0 8064 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33540 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1669720/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33792 CPUtime=51.07 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8365 0 0 0 5104 3 0 0 25 0 1 0 161277734 34603008 8120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8448 8120 139 317 0 8127 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33792 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1669784/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33792 CPUtime=102.26 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8365 0 0 0 10223 3 0 0 25 0 1 0 161277734 34603008 8120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8448 8120 139 317 0 8127 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33792 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1669720/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=33792 CPUtime=162.24 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8375 0 0 0 16220 4 0 0 25 0 1 0 161277734 34603008 8130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8448 8130 139 317 0 8127 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33792 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30872 /proc/meminfo: memFree=1669144/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=34316 CPUtime=222.22 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8499 0 0 0 22217 5 0 0 25 0 1 0 161277734 35139584 8254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8579 8254 139 317 0 8258 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34316 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30874 /proc/meminfo: memFree=1668696/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=34708 CPUtime=282.2 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8601 0 0 0 28215 5 0 0 25 0 1 0 161277734 35540992 8356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8677 8356 139 317 0 8356 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34708 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30874 /proc/meminfo: memFree=1668312/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=35100 CPUtime=342.17 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8685 0 0 0 34211 6 0 0 25 0 1 0 161277734 35942400 8440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8775 8440 139 317 0 8454 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 35100 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30874 /proc/meminfo: memFree=1667608/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=35752 CPUtime=402.16 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 8875 0 0 0 40209 7 0 0 25 0 1 0 161277734 36610048 8630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 8938 8630 139 317 0 8617 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 35752 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30874 /proc/meminfo: memFree=1666968/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=36400 CPUtime=462.14 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9019 0 0 0 46206 8 0 0 25 0 1 0 161277734 37273600 8774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 9100 8774 139 317 0 8779 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 36400 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30874 /proc/meminfo: memFree=1666264/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=37048 CPUtime=522.12 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9193 0 0 0 52203 9 0 0 25 0 1 0 161277734 37937152 8948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 9262 8948 139 317 0 8941 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 37048 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30874 /proc/meminfo: memFree=1665880/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=37572 CPUtime=582.09 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9326 0 0 0 58200 9 0 0 25 0 1 0 161277734 38473728 9081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 9393 9081 139 317 0 9072 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 37572 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30874 /proc/meminfo: memFree=1665112/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=38220 CPUtime=642.07 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 9479 0 0 0 64197 10 0 0 25 0 1 0 161277734 39137280 9234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 9555 9234 139 317 0 9234 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 38220 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.01 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1662616/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=40800 CPUtime=822.01 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10153 0 0 0 82189 12 0 0 25 0 1 0 161277734 41779200 9846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 10200 9846 139 317 0 9879 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 40800 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1661976/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=41456 CPUtime=881.98 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10318 0 0 0 88186 12 0 0 25 0 1 0 161277734 42450944 10011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 10364 10011 139 317 0 10043 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 41456 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1661208/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=42360 CPUtime=941.96 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10528 0 0 0 94183 13 0 0 25 0 1 0 161277734 43376640 10221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 10590 10221 139 317 0 10269 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 42360 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1660312/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=43004 CPUtime=1001.93 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10716 0 0 0 100179 14 0 0 25 0 1 0 161277734 44036096 10409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 10751 10409 139 317 0 10430 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 43004 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1659480/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=43784 CPUtime=1061.91 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 10919 0 0 0 106177 14 0 0 25 0 1 0 161277734 44834816 10612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 10946 10612 139 317 0 10625 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 43784 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1658392/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=44960 CPUtime=1121.89 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 11195 0 0 0 112174 15 0 0 25 0 1 0 161277734 46039040 10888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 11240 10888 139 317 0 10919 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 44960 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1656664/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=46680 CPUtime=1181.87 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 11632 0 0 0 118171 16 0 0 25 0 1 0 161277734 47800320 11325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 11670 11325 139 317 0 11349 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 46680 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1654936/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=48272 CPUtime=1241.85 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 12064 0 0 0 124168 17 0 0 25 0 1 0 161277734 49430528 11757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 12068 11757 139 317 0 11747 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 48272 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1653208/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=49856 CPUtime=1301.83 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 12466 0 0 0 130166 17 0 0 25 0 1 0 161277734 51052544 12159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 12464 12159 139 317 0 12143 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 49856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1651224/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=51832 CPUtime=1361.8 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 12967 0 0 0 136161 19 0 0 25 0 1 0 161277734 53075968 12660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 12958 12660 139 317 0 12637 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 51832 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1649368/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=53812 CPUtime=1421.78 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 13440 0 0 0 142158 20 0 0 25 0 1 0 161277734 55103488 13133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 13453 13133 139 317 0 13132 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 53812 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1647960/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=55132 CPUtime=1481.76 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 13782 0 0 0 148155 21 0 0 25 0 1 0 161277734 56455168 13475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 13783 13475 139 317 0 13462 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 55132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1645784/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=57588 CPUtime=1541.74 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 14397 0 0 0 154152 22 0 0 25 0 1 0 161277734 58970112 13969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 14397 13969 139 317 0 14076 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 57588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1644504/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=59040 CPUtime=1601.71 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 14766 0 0 0 160148 23 0 0 25 0 1 0 161277734 60456960 14338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 14760 14338 139 317 0 14439 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 59040 [startup+1662.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1642584/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=60892 CPUtime=1661.69 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 15244 0 0 0 166145 24 0 0 25 0 1 0 161277734 62353408 14816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 15223 14816 139 317 0 14902 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 60892 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1638488/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=65692 CPUtime=1721.67 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 16378 0 0 0 172141 26 0 0 25 0 1 0 161277734 67268608 15950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 16423 15950 139 317 0 16102 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 65692 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1635288/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=68476 CPUtime=1781.65 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 17055 0 0 0 178138 27 0 0 25 0 1 0 161277734 70119424 16627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 17119 16627 139 317 0 16798 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 68476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.99 2/78 30874 /proc/meminfo: memFree=1634776/2055920 swapFree=4132108/4192956 [pid=30871] ppid=30869 vsize=69004 CPUtime=1800.04 /proc/30871/stat : 30871 (oree) R 30869 30871 30287 0 -1 4194304 17176 0 0 0 179977 27 0 0 25 0 1 0 161277734 70660096 16748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30871/statm: 17251 16748 139 317 0 16930 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 69004 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.74 CPU time (s): 1800.09 CPU user time (s): 1799.8 CPU system time (s): 0.293955 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (KiB): 69004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.293955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17192 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= 20568 runsolver used 2.22266 second user time and 4.41033 second system time The end
Begin job on node3 on Tue Apr 17 23:26:40 UTC 2007 IDJOB= 363336 IDBENCH= 1805 IDSOLVER= 172 FILE ID= node3/363336-1176852400 PBS_JOBID= 4590200 Free space on /tmp= 66429 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-a1c1s1.opb COMMAND LINE= oree /tmp/evaluation/363336-1176852400/instance-363336-1176852400.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-363336-1176852400 -o ROOT/results/node3/solver-363336-1176852400 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363336-1176852400/instance-363336-1176852400.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8e26f63addeab9c605a48fae9909490e RANDOM SEED= 993263213 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1702456 kB Buffers: 34848 kB Cached: 244900 kB SwapCached: 23872 kB Active: 96620 kB Inactive: 214760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1702456 kB SwapTotal: 4192956 kB SwapFree: 4132108 kB Dirty: 4916 kB Writeback: 0 kB Mapped: 29916 kB Slab: 27684 kB Committed_AS: 5185932 kB PageTables: 1780 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= 66429 MiB End job on node3 on Tue Apr 17 23:56:43 UTC 2007