Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.87 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-NSR8K.opb |
MD5SUM | cc5d7ea426a09a5b1cb030d82bbe1743 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 221520 |
Total number of constraints | 6283 |
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 | 6283 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 221520 |
Number of terms in the objective function | 221520 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 34400198927214221876937 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 34400301327214221876937 |
Number of bits of the biggest sum of numbers | 75 |
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... 4.19/4.25 c ...done 4.19/4.25 c #vars=221520 #constraints=12479 hasObjective=yes 6.38/6.48 c res. mode=mod 6.38/6.48 c VSIDS like heuristics 6.38/6.48 c complete search running 7.99/8.04 c restart after 401 decisions 8.29/8.36 c nbDecision=500 #constraints=12479 9.29/9.34 c restart after 801 decisions 9.90/9.97 c nbDecision=1000 #constraints=12479 11.49/11.55 c nbDecision=1500 #constraints=12479 11.79/11.88 c restart after 1601 decisions 13.10/13.17 c nbDecision=2000 #constraints=12479 14.69/14.78 c nbDecision=2500 #constraints=12479 16.29/16.39 c nbDecision=3000 #constraints=12479 16.99/17.04 c restart after 3201 decisions 17.99/18.00 c nbDecision=3500 #constraints=12479 19.59/19.60 c nbDecision=4000 #constraints=12479 21.09/21.20 c nbDecision=4500 #constraints=12479 22.69/22.79 c nbDecision=5000 #constraints=12479 24.29/24.39 c nbDecision=5500 #constraints=12479 25.89/25.98 c nbDecision=6000 #constraints=12479 27.19/27.26 c restart after 6401 decisions 27.49/27.59 c nbDecision=6500 #constraints=12479 29.09/29.17 c nbDecision=7000 #constraints=12479 30.69/30.78 c nbDecision=7500 #constraints=12479 32.29/32.39 c nbDecision=8000 #constraints=12479 33.88/33.98 c nbDecision=8500 #constraints=12479 35.48/35.54 c nbDecision=9000 #constraints=12479 37.08/37.14 c nbDecision=9500 #constraints=12479 38.68/38.74 c nbDecision=10000 #constraints=12479 40.27/40.33 c nbDecision=10500 #constraints=12479 41.87/41.91 c nbDecision=11000 #constraints=12479 43.47/43.50 c nbDecision=11500 #constraints=12479 45.07/45.11 c nbDecision=12000 #constraints=12479 46.57/46.69 c nbDecision=12500 #constraints=12479 47.57/47.66 c restart after 12801 decisions 48.27/48.31 c nbDecision=13000 #constraints=12479 49.87/49.92 c nbDecision=13500 #constraints=12479 51.47/51.51 c nbDecision=14000 #constraints=12479 53.06/53.12 c nbDecision=14500 #constraints=12479 54.66/54.73 c nbDecision=15000 #constraints=12479 56.26/56.33 c nbDecision=15500 #constraints=12479 57.86/57.93 c nbDecision=16000 #constraints=12479 59.46/59.52 c nbDecision=16500 #constraints=12479 61.06/61.11 c nbDecision=17000 #constraints=12479 62.57/62.69 c nbDecision=17500 #constraints=12479 64.16/64.28 c nbDecision=18000 #constraints=12479 65.76/65.86 c nbDecision=18500 #constraints=12479 67.36/67.45 c nbDecision=19000 #constraints=12479 68.96/69.04 c nbDecision=19500 #constraints=12479 70.56/70.63 c nbDecision=20000 #constraints=12479 72.16/72.23 c nbDecision=20500 #constraints=12479 73.76/73.82 c nbDecision=21000 #constraints=12479 75.36/75.40 c nbDecision=21500 #constraints=12479 76.86/76.99 c nbDecision=22000 #constraints=12479 78.46/78.56 c nbDecision=22500 #constraints=12479 80.06/80.12 c nbDecision=23000 #constraints=12479 81.56/81.69 c nbDecision=23500 #constraints=12479 83.16/83.25 c nbDecision=24000 #constraints=12479 84.76/84.81 c nbDecision=24500 #constraints=12479 86.26/86.38 c nbDecision=25000 #constraints=12479 87.86/87.95 c nbDecision=25500 #constraints=12479 88.16/88.27 c restart after 25601 decisions 89.46/89.54 c nbDecision=26000 #constraints=12479 91.05/91.11 c nbDecision=26500 #constraints=12479 92.65/92.72 c nbDecision=27000 #constraints=12479 94.25/94.33 c nbDecision=27500 #constraints=12479 95.85/95.94 c nbDecision=28000 #constraints=12479 97.45/97.53 c nbDecision=28500 #constraints=12479 99.05/99.12 c nbDecision=29000 #constraints=12479 100.65/100.71 c nbDecision=29500 #constraints=12479 102.16/102.29 c nbDecision=30000 #constraints=12479 103.75/103.88 c nbDecision=30500 #constraints=12479 105.35/105.46 c nbDecision=31000 #constraints=12479 106.95/107.05 c nbDecision=31500 #constraints=12479 108.55/108.64 c nbDecision=32000 #constraints=12479 110.15/110.24 c nbDecision=32500 #constraints=12479 111.75/111.83 c nbDecision=33000 #constraints=12479 113.35/113.42 c nbDecision=33500 #constraints=12479 114.85/114.99 c nbDecision=34000 #constraints=12479 116.45/116.58 c nbDecision=34500 #constraints=12479 118.05/118.15 c nbDecision=35000 #constraints=12479 119.65/119.72 c nbDecision=35500 #constraints=12479 121.15/121.29 c nbDecision=36000 #constraints=12479 122.75/122.85 c nbDecision=36500 #constraints=12479 124.25/124.40 c nbDecision=37000 #constraints=12479 125.85/125.92 c nbDecision=37500 #constraints=12479 127.34/127.49 c nbDecision=38000 #constraints=12479 128.94/129.06 c nbDecision=38500 #constraints=12479 130.54/130.64 c nbDecision=39000 #constraints=12479 132.14/132.21 c nbDecision=39500 #constraints=12479 133.64/133.77 c nbDecision=40000 #constraints=12479 135.25/135.34 c nbDecision=40500 #constraints=12479 136.84/136.90 c nbDecision=41000 #constraints=12479 138.34/138.45 c nbDecision=41500 #constraints=12479 139.84/139.98 c nbDecision=42000 #constraints=12479 141.44/141.52 c nbDecision=42500 #constraints=12479 142.94/143.06 c nbDecision=43000 #constraints=12479 144.54/144.60 c nbDecision=43500 #constraints=12479 146.04/146.14 c nbDecision=44000 #constraints=12479 147.54/147.69 c nbDecision=44500 #constraints=12479 149.14/149.24 c nbDecision=45000 #constraints=12479 150.64/150.79 c nbDecision=45500 #constraints=12479 152.24/152.34 c nbDecision=46000 #constraints=12479 153.74/153.88 c nbDecision=46500 #constraints=12479 155.34/155.43 c nbDecision=47000 #constraints=12479 156.84/156.97 c nbDecision=47500 #constraints=12479 158.34/158.49 c nbDecision=48000 #constraints=12479 159.93/160.02 c nbDecision=48500 #constraints=12479 161.43/161.54 c nbDecision=49000 #constraints=12479 162.93/163.06 c nbDecision=49500 #constraints=12479 164.43/164.57 c nbDecision=50000 #constraints=12479 165.94/166.09 c nbDecision=50500 #constraints=12479 167.53/167.61 c nbDecision=51000 #constraints=12479 168.14/168.22 c restart after 51201 decisions 169.13/169.20 c nbDecision=51500 #constraints=12479 170.73/170.82 c nbDecision=52000 #constraints=12479 172.33/172.43 c nbDecision=52500 #constraints=12479 173.93/174.03 c nbDecision=53000 #constraints=12479 175.53/175.64 c nbDecision=53500 #constraints=12479 177.13/177.24 c nbDecision=54000 #constraints=12479 178.73/178.83 c nbDecision=54500 #constraints=12479 180.33/180.42 c nbDecision=55000 #constraints=12479 181.93/182.01 c nbDecision=55500 #constraints=12479 183.43/183.59 c nbDecision=56000 #constraints=12479 185.02/185.18 c nbDecision=56500 #constraints=12479 186.62/186.76 c nbDecision=57000 #constraints=12479 188.22/188.35 c nbDecision=57500 #constraints=12479 189.82/189.95 c nbDecision=58000 #constraints=12479 191.42/191.54 c nbDecision=58500 #constraints=12479 193.02/193.13 c nbDecision=59000 #constraints=12479 194.63/194.72 c nbDecision=59500 #constraints=12479 196.22/196.31 c nbDecision=60000 #constraints=12479 197.72/197.88 c nbDecision=60500 #constraints=12479 199.32/199.45 c nbDecision=61000 #constraints=12479 200.92/201.02 c nbDecision=61500 #constraints=12479 202.42/202.59 c nbDecision=62000 #constraints=12479 204.02/204.15 c nbDecision=62500 #constraints=12479 205.62/205.71 c nbDecision=63000 #constraints=12479 207.12/207.28 c nbDecision=63500 #constraints=12479 208.72/208.84 c nbDecision=64000 #constraints=12479 210.22/210.39 c nbDecision=64500 #constraints=12479 211.81/211.96 c nbDecision=65000 #constraints=12479 213.41/213.53 c nbDecision=65500 #constraints=12479 214.91/215.09 c nbDecision=66000 #constraints=12479 216.52/216.64 c nbDecision=66500 #constraints=12479 218.01/218.15 c nbDecision=67000 #constraints=12479 219.51/219.66 c nbDecision=67500 #constraints=12479 221.11/221.20 c nbDecision=68000 #constraints=12479 222.61/222.73 c nbDecision=68500 #constraints=12479 224.11/224.25 c nbDecision=69000 #constraints=12479 225.61/225.75 c nbDecision=69500 #constraints=12479 227.11/227.26 c nbDecision=70000 #constraints=12479 228.61/228.80 c nbDecision=70500 #constraints=12479 230.21/230.35 c nbDecision=71000 #constraints=12479 231.71/231.90 c nbDecision=71500 #constraints=12479 233.31/233.44 c nbDecision=72000 #constraints=12479 234.81/234.99 c nbDecision=72500 #constraints=12479 236.41/236.53 c nbDecision=73000 #constraints=12479 237.91/238.06 c nbDecision=73500 #constraints=12479 239.41/239.58 c nbDecision=74000 #constraints=12479 241.01/241.10 c nbDecision=74500 #constraints=12479 242.51/242.62 c nbDecision=75000 #constraints=12479 244.01/244.14 c nbDecision=75500 #constraints=12479 245.51/245.66 c nbDecision=76000 #constraints=12479 247.01/247.15 c nbDecision=76500 #constraints=12479 248.51/248.67 c nbDecision=77000 #constraints=12479 250.10/250.20 c nbDecision=77500 #constraints=12479 251.60/251.73 c nbDecision=78000 #constraints=12479 253.10/253.25 c nbDecision=78500 #constraints=12479 254.60/254.77 c nbDecision=79000 #constraints=12479 256.11/256.29 c nbDecision=79500 #constraints=12479 257.70/257.80 c nbDecision=80000 #constraints=12479 259.20/259.31 c nbDecision=80500 #constraints=12479 260.70/260.81 c nbDecision=81000 #constraints=12479 262.20/262.31 c nbDecision=81500 #constraints=12479 263.70/263.82 c nbDecision=82000 #constraints=12479 265.20/265.31 c nbDecision=82500 #constraints=12479 266.70/266.81 c nbDecision=83000 #constraints=12479 268.20/268.32 c nbDecision=83500 #constraints=12479 269.70/269.83 c nbDecision=84000 #constraints=12479 271.20/271.34 c nbDecision=84500 #constraints=12479 272.70/272.84 c nbDecision=85000 #constraints=12479 274.20/274.35 c nbDecision=85500 #constraints=12479 275.70/275.82 c nbDecision=86000 #constraints=12479 277.19/277.32 c nbDecision=86500 #constraints=12479 278.59/278.80 c nbDecision=87000 #constraints=12479 280.09/280.28 c nbDecision=87500 #constraints=12479 281.59/281.76 c nbDecision=88000 #constraints=12479 283.09/283.21 c nbDecision=88500 #constraints=12479 284.49/284.69 c nbDecision=89000 #constraints=12479 285.99/286.16 c nbDecision=89500 #constraints=12479 287.49/287.65 c nbDecision=90000 #constraints=12479 288.99/289.13 c nbDecision=90500 #constraints=12479 290.49/290.62 c nbDecision=91000 #constraints=12479 291.99/292.10 c nbDecision=91500 #constraints=12479 293.39/293.58 c nbDecision=92000 #constraints=12479 294.89/295.06 c nbDecision=92500 #constraints=12479 296.39/296.54 c nbDecision=93000 #constraints=12479 297.89/298.00 c nbDecision=93500 #constraints=12479 299.29/299.46 c nbDecision=94000 #constraints=12479 300.79/300.92 c nbDecision=94500 #constraints=12479 302.19/302.38 c nbDecision=95000 #constraints=12479 303.69/303.84 c nbDecision=95500 #constraints=12479 305.09/305.29 c nbDecision=96000 #constraints=12479 306.59/306.74 c nbDecision=96500 #constraints=12479 308.08/308.21 c nbDecision=97000 #constraints=12479 309.48/309.66 c nbDecision=97500 #constraints=12479 310.98/311.12 c nbDecision=98000 #constraints=12479 312.38/312.58 c nbDecision=98500 #constraints=12479 313.88/314.03 c nbDecision=99000 #constraints=12479 315.28/315.49 c nbDecision=99500 #constraints=12479 316.79/316.94 c nbDecision=100000 #constraints=12479 318.19/318.38 c nbDecision=100500 #constraints=12479 319.69/319.82 c nbDecision=101000 #constraints=12479 321.09/321.26 c nbDecision=101500 #constraints=12479 322.49/322.69 c nbDecision=102000 #constraints=12479 323.69/323.84 c restart after 102401 decisions 323.99/324.19 c nbDecision=102500 #constraints=12479 325.59/325.79 c nbDecision=103000 #constraints=12479 327.19/327.39 c nbDecision=103500 #constraints=12479 328.89/329.00 c nbDecision=104000 #constraints=12479 330.49/330.61 c nbDecision=104500 #constraints=12479 332.09/332.22 c nbDecision=105000 #constraints=12479 333.69/333.83 c nbDecision=105500 #constraints=12479 335.29/335.43 c nbDecision=106000 #constraints=12479 336.88/337.04 c nbDecision=106500 #constraints=12479 338.48/338.62 c nbDecision=107000 #constraints=12479 340.08/340.21 c nbDecision=107500 #constraints=12479 341.58/341.79 c nbDecision=108000 #constraints=12479 343.18/343.37 c nbDecision=108500 #constraints=12479 344.78/344.95 c nbDecision=109000 #constraints=12479 346.39/346.53 c nbDecision=109500 #constraints=12479 347.98/348.11 c nbDecision=110000 #constraints=12479 349.48/349.70 c nbDecision=110500 #constraints=12479 351.08/351.29 c nbDecision=111000 #constraints=12479 352.68/352.87 c nbDecision=111500 #constraints=12479 354.28/354.46 c nbDecision=112000 #constraints=12479 355.88/356.04 c nbDecision=112500 #constraints=12479 357.48/357.62 c nbDecision=113000 #constraints=12479 358.98/359.18 c nbDecision=113500 #constraints=12479 360.58/360.75 c nbDecision=114000 #constraints=12479 362.18/362.31 c nbDecision=114500 #constraints=12479 363.68/363.87 c nbDecision=115000 #constraints=12479 365.28/365.43 c nbDecision=115500 #constraints=12479 366.78/366.98 c nbDecision=116000 #constraints=12479 368.38/368.55 c nbDecision=116500 #constraints=12479 369.97/370.12 c nbDecision=117000 #constraints=12479 371.47/371.69 c nbDecision=117500 #constraints=12479 373.07/373.25 c nbDecision=118000 #constraints=12479 374.67/374.81 c nbDecision=118500 #constraints=12479 376.17/376.37 c nbDecision=119000 #constraints=12479 377.77/377.92 c nbDecision=119500 #constraints=12479 379.28/379.47 c nbDecision=120000 #constraints=12479 380.87/381.00 c nbDecision=120500 #constraints=12479 382.37/382.50 c nbDecision=121000 #constraints=12479 383.87/384.02 c nbDecision=121500 #constraints=12479 385.37/385.55 c nbDecision=122000 #constraints=12479 386.87/387.09 c nbDecision=122500 #constraints=12479 388.47/388.64 c nbDecision=123000 #constraints=12479 389.97/390.18 c nbDecision=123500 #constraints=12479 391.57/391.72 c nbDecision=124000 #constraints=12479 393.07/393.27 c nbDecision=124500 #constraints=12479 394.67/394.80 c nbDecision=125000 #constraints=12479 396.17/396.34 c nbDecision=125500 #constraints=12479 397.67/397.87 c nbDecision=126000 #constraints=12479 399.17/399.39 c nbDecision=126500 #constraints=12479 400.77/400.91 c nbDecision=127000 #constraints=12479 402.26/402.41 c nbDecision=127500 #constraints=12479 403.76/403.92 c nbDecision=128000 #constraints=12479 405.26/405.44 c nbDecision=128500 #constraints=12479 406.77/406.95 c nbDecision=129000 #constraints=12479 408.26/408.48 c nbDecision=129500 #constraints=12479 409.86/410.00 c nbDecision=130000 #constraints=12479 411.36/411.52 c nbDecision=130500 #constraints=12479 412.86/413.04 c nbDecision=131000 #constraints=12479 414.36/414.56 c nbDecision=131500 #constraints=12479 415.86/416.07 c nbDecision=132000 #constraints=12479 417.36/417.58 c nbDecision=132500 #constraints=12479 418.86/419.08 c nbDecision=133000 #constraints=12479 420.36/420.59 c nbDecision=133500 #constraints=12479 421.86/422.09 c nbDecision=134000 #constraints=12479 423.36/423.58 c nbDecision=134500 #constraints=12479 424.86/425.08 c nbDecision=135000 #constraints=12479 426.36/426.57 c nbDecision=135500 #constraints=12479 427.86/428.07 c nbDecision=136000 #constraints=12479 429.36/429.58 c nbDecision=136500 #constraints=12479 430.86/431.08 c nbDecision=137000 #constraints=12479 432.36/432.58 c nbDecision=137500 #constraints=12479 433.86/434.08 c nbDecision=138000 #constraints=12479 435.36/435.58 c nbDecision=138500 #constraints=12479 436.85/437.07 c nbDecision=139000 #constraints=12479 438.35/438.55 c nbDecision=139500 #constraints=12479 439.86/440.03 c nbDecision=140000 #constraints=12479 441.35/441.51 c nbDecision=140500 #constraints=12479 442.75/442.98 c nbDecision=141000 #constraints=12479 444.25/444.44 c nbDecision=141500 #constraints=12479 445.65/445.89 c nbDecision=142000 #constraints=12479 447.15/447.36 c nbDecision=142500 #constraints=12479 448.65/448.85 c nbDecision=143000 #constraints=12479 450.15/450.33 c nbDecision=143500 #constraints=12479 451.65/451.80 c nbDecision=144000 #constraints=12479 453.05/453.28 c nbDecision=144500 #constraints=12479 454.55/454.76 c nbDecision=145000 #constraints=12479 456.05/456.23 c nbDecision=145500 #constraints=12479 457.45/457.69 c nbDecision=146000 #constraints=12479 458.95/459.15 c nbDecision=146500 #constraints=12479 460.45/460.60 c nbDecision=147000 #constraints=12479 461.85/462.06 c nbDecision=147500 #constraints=12479 463.35/463.51 c nbDecision=148000 #constraints=12479 464.75/464.96 c nbDecision=148500 #constraints=12479 466.25/466.40 c nbDecision=149000 #constraints=12479 467.64/467.86 c nbDecision=149500 #constraints=12479 469.14/469.32 c nbDecision=150000 #constraints=12479 470.55/470.77 c nbDecision=150500 #constraints=12479 472.04/472.23 c nbDecision=151000 #constraints=12479 473.44/473.68 c nbDecision=151500 #constraints=12479 474.94/475.13 c nbDecision=152000 #constraints=12479 476.34/476.58 c nbDecision=152500 #constraints=12479 477.84/478.02 c nbDecision=153000 #constraints=12479 479.24/479.45 c nbDecision=153500 #constraints=12479 480.64/480.88 c nbDecision=154000 #constraints=12479 482.14/482.31 c nbDecision=154500 #constraints=12479 483.54/483.74 c nbDecision=155000 #constraints=12479 484.94/485.16 c nbDecision=155500 #constraints=12479 486.34/486.59 c nbDecision=156000 #constraints=12479 487.84/488.02 c nbDecision=156500 #constraints=12479 489.24/489.46 c nbDecision=157000 #constraints=12479 490.63/490.89 c nbDecision=157500 #constraints=12479 492.13/492.32 c nbDecision=158000 #constraints=12479 493.53/493.75 c nbDecision=158500 #constraints=12479 494.93/495.18 c nbDecision=159000 #constraints=12479 496.43/496.60 c nbDecision=159500 #constraints=12479 497.83/498.02 c nbDecision=160000 #constraints=12479 499.24/499.43 c nbDecision=160500 #constraints=12479 500.63/500.84 c nbDecision=161000 #constraints=12479 502.03/502.24 c nbDecision=161500 #constraints=12479 503.43/503.65 c nbDecision=162000 #constraints=12479 504.83/505.05 c nbDecision=162500 #constraints=12479 506.23/506.45 c nbDecision=163000 #constraints=12479 507.63/507.86 c nbDecision=163500 #constraints=12479 509.03/509.27 c nbDecision=164000 #constraints=12479 510.43/510.68 c nbDecision=164500 #constraints=12479 511.83/512.09 c nbDecision=165000 #constraints=12479 513.23/513.50 c nbDecision=165500 #constraints=12479 514.72/514.90 c nbDecision=166000 #constraints=12479 516.12/516.30 c nbDecision=166500 #constraints=12479 517.52/517.70 c nbDecision=167000 #constraints=12479 518.82/519.08 c nbDecision=167500 #constraints=12479 520.22/520.47 c nbDecision=168000 #constraints=12479 521.62/521.85 c nbDecision=168500 #constraints=12479 523.02/523.24 c nbDecision=169000 #constraints=12479 524.43/524.62 c nbDecision=169500 #constraints=12479 525.72/526.00 c nbDecision=170000 #constraints=12479 527.12/527.38 c nbDecision=170500 #constraints=12479 528.52/528.76 c nbDecision=171000 #constraints=12479 529.92/530.15 c nbDecision=171500 #constraints=12479 531.32/531.53 c nbDecision=172000 #constraints=12479 532.72/532.92 c nbDecision=172500 #constraints=12479 534.12/534.30 c nbDecision=173000 #constraints=12479 535.42/535.68 c nbDecision=173500 #constraints=12479 536.82/537.06 c nbDecision=174000 #constraints=12479 538.22/538.42 c nbDecision=174500 #constraints=12479 539.52/539.78 c nbDecision=175000 #constraints=12479 540.92/541.14 c nbDecision=175500 #constraints=12479 542.32/542.50 c nbDecision=176000 #constraints=12479 543.62/543.86 c nbDecision=176500 #constraints=12479 545.02/545.21 c nbDecision=177000 #constraints=12479 546.32/546.56 c nbDecision=177500 #constraints=12479 547.72/547.93 c nbDecision=178000 #constraints=12479 549.02/549.29 c nbDecision=178500 #constraints=12479 550.41/550.65 c nbDecision=179000 #constraints=12479 551.81/552.01 c nbDecision=179500 #constraints=12479 553.12/553.37 c nbDecision=180000 #constraints=12479 554.51/554.72 c nbDecision=180500 #constraints=12479 555.81/556.08 c nbDecision=181000 #constraints=12479 557.21/557.43 c nbDecision=181500 #constraints=12479 558.52/558.77 c nbDecision=182000 #constraints=12479 559.91/560.10 c nbDecision=182500 #constraints=12479 561.21/561.44 c nbDecision=183000 #constraints=12479 562.51/562.77 c nbDecision=183500 #constraints=12479 563.91/564.11 c nbDecision=184000 #constraints=12479 565.21/565.43 c nbDecision=184500 #constraints=12479 566.51/566.75 c nbDecision=185000 #constraints=12479 567.81/568.09 c nbDecision=185500 #constraints=12479 569.21/569.43 c nbDecision=186000 #constraints=12479 570.51/570.77 c nbDecision=186500 #constraints=12479 571.91/572.10 c nbDecision=187000 #constraints=12479 573.21/573.43 c nbDecision=187500 #constraints=12479 574.51/574.77 c nbDecision=188000 #constraints=12479 575.81/576.09 c nbDecision=188500 #constraints=12479 577.21/577.42 c nbDecision=189000 #constraints=12479 578.51/578.73 c nbDecision=189500 #constraints=12479 579.81/580.04 c nbDecision=190000 #constraints=12479 581.11/581.35 c nbDecision=190500 #constraints=12479 582.41/582.66 c nbDecision=191000 #constraints=12479 583.71/583.97 c nbDecision=191500 #constraints=12479 585.01/585.27 c nbDecision=192000 #constraints=12479 586.30/586.58 c nbDecision=192500 #constraints=12479 587.60/587.89 c nbDecision=193000 #constraints=12479 589.00/589.20 c nbDecision=193500 #constraints=12479 590.30/590.53 c nbDecision=194000 #constraints=12479 591.61/591.84 c nbDecision=194500 #constraints=12479 592.90/593.15 c nbDecision=195000 #constraints=12479 594.20/594.45 c nbDecision=195500 #constraints=12479 595.50/595.76 c nbDecision=196000 #constraints=12479 596.80/597.06 c nbDecision=196500 #constraints=12479 598.10/598.35 c nbDecision=197000 #constraints=12479 599.40/599.63 c nbDecision=197500 #constraints=12479 600.70/600.92 c nbDecision=198000 #constraints=12479 602.00/602.20 c nbDecision=198500 #constraints=12479 603.30/603.52 c nbDecision=199000 #constraints=12479 604.60/604.82 c nbDecision=199500 #constraints=12479 605.90/606.13 c nbDecision=200000 #constraints=12479 607.20/607.41 c nbDecision=200500 #constraints=12479 608.50/608.70 c nbDecision=201000 #constraints=12479 609.70/609.99 c nbDecision=201500 #constraints=12479 611.00/611.29 c nbDecision=202000 #constraints=12479 612.40/612.60 c nbDecision=202500 #constraints=12479 613.60/613.89 c nbDecision=203000 #constraints=12479 614.90/615.18 c nbDecision=203500 #constraints=12479 616.19/616.46 c nbDecision=204000 #constraints=12479 617.49/617.74 c nbDecision=204500 #constraints=12479 618.29/618.51 c restart after 204801 decisions 619.00/619.23 c nbDecision=205000 #constraints=12479 620.60/620.80 c nbDecision=205500 #constraints=12479 622.10/622.39 c nbDecision=206000 #constraints=12479 623.70/623.97 c nbDecision=206500 #constraints=12479 625.30/625.56 c nbDecision=207000 #constraints=12479 626.90/627.16 c nbDecision=207500 #constraints=12479 628.50/628.76 c nbDecision=208000 #constraints=12479 630.10/630.37 c nbDecision=208500 #constraints=12479 631.70/631.97 c nbDecision=209000 #constraints=12479 633.30/633.57 c nbDecision=209500 #constraints=12479 634.90/635.17 c nbDecision=210000 #constraints=12479 636.50/636.77 c nbDecision=210500 #constraints=12479 638.10/638.35 c nbDecision=211000 #constraints=12479 639.70/639.93 c nbDecision=211500 #constraints=12479 641.30/641.51 c nbDecision=212000 #constraints=12479 642.80/643.09 c nbDecision=212500 #constraints=12479 644.40/644.66 c nbDecision=213000 #constraints=12479 645.99/646.23 c nbDecision=213500 #constraints=12479 647.60/647.80 c nbDecision=214000 #constraints=12479 649.09/649.39 c nbDecision=214500 #constraints=12479 650.69/650.97 c nbDecision=215000 #constraints=12479 652.29/652.55 c nbDecision=215500 #constraints=12479 653.89/654.13 c nbDecision=216000 #constraints=12479 655.49/655.71 c nbDecision=216500 #constraints=12479 656.99/657.28 c nbDecision=217000 #constraints=12479 658.59/658.84 c nbDecision=217500 #constraints=12479 660.19/660.40 c nbDecision=218000 #constraints=12479 661.69/661.96 c nbDecision=218500 #constraints=12479 663.29/663.51 c nbDecision=219000 #constraints=12479 664.79/665.06 c nbDecision=219500 #constraints=12479 666.29/666.60 c nbDecision=220000 #constraints=12479 667.89/668.12 c nbDecision=220500 #constraints=12479 669.39/669.65 c nbDecision=221000 #constraints=12479 670.89/671.17 c nbDecision=221500 #constraints=12479 672.39/672.69 c nbDecision=222000 #constraints=12479 673.99/674.22 c nbDecision=222500 #constraints=12479 675.49/675.74 c nbDecision=223000 #constraints=12479 676.99/677.25 c nbDecision=223500 #constraints=12479 678.49/678.79 c nbDecision=224000 #constraints=12479 680.08/680.32 c nbDecision=224500 #constraints=12479 681.58/681.86 c nbDecision=225000 #constraints=12479 683.08/683.39 c nbDecision=225500 #constraints=12479 684.68/684.92 c nbDecision=226000 #constraints=12479 686.19/686.45 c nbDecision=226500 #constraints=12479 687.68/687.98 c nbDecision=227000 #constraints=12479 689.28/689.52 c nbDecision=227500 #constraints=12479 690.78/691.06 c nbDecision=228000 #constraints=12479 692.28/692.60 c nbDecision=228500 #constraints=12479 693.88/694.13 c nbDecision=229000 #constraints=12479 695.38/695.66 c nbDecision=229500 #constraints=12479 696.88/697.19 c nbDecision=230000 #constraints=12479 698.48/698.71 c nbDecision=230500 #constraints=12479 699.98/700.22 c nbDecision=231000 #constraints=12479 701.48/701.73 c nbDecision=231500 #constraints=12479 702.98/703.24 c nbDecision=232000 #constraints=12479 704.48/704.75 c nbDecision=232500 #constraints=12479 705.98/706.25 c nbDecision=233000 #constraints=12479 707.48/707.76 c nbDecision=233500 #constraints=12479 708.98/709.28 c nbDecision=234000 #constraints=12479 710.48/710.79 c nbDecision=234500 #constraints=12479 712.08/712.31 c nbDecision=235000 #constraints=12479 713.58/713.82 c nbDecision=235500 #constraints=12479 715.07/715.35 c nbDecision=236000 #constraints=12479 716.57/716.86 c nbDecision=236500 #constraints=12479 718.08/718.36 c nbDecision=237000 #constraints=12479 719.57/719.85 c nbDecision=237500 #constraints=12479 721.07/721.34 c nbDecision=238000 #constraints=12479 722.57/722.82 c nbDecision=238500 #constraints=12479 724.07/724.31 c nbDecision=239000 #constraints=12479 725.47/725.79 c nbDecision=239500 #constraints=12479 726.97/727.28 c nbDecision=240000 #constraints=12479 728.47/728.78 c nbDecision=240500 #constraints=12479 729.97/730.28 c nbDecision=241000 #constraints=12479 731.47/731.77 c nbDecision=241500 #constraints=12479 732.97/733.27 c nbDecision=242000 #constraints=12479 734.47/734.76 c nbDecision=242500 #constraints=12479 735.97/736.25 c nbDecision=243000 #constraints=12479 737.47/737.73 c nbDecision=243500 #constraints=12479 738.87/739.18 c nbDecision=244000 #constraints=12479 740.37/740.64 c nbDecision=244500 #constraints=12479 741.87/742.11 c nbDecision=245000 #constraints=12479 743.27/743.57 c nbDecision=245500 #constraints=12479 744.76/745.04 c nbDecision=246000 #constraints=12479 746.26/746.50 c nbDecision=246500 #constraints=12479 747.67/747.98 c nbDecision=247000 #constraints=12479 749.16/749.45 c nbDecision=247500 #constraints=12479 750.66/750.92 c nbDecision=248000 #constraints=12479 752.07/752.40 c nbDecision=248500 #constraints=12479 753.56/753.87 c nbDecision=249000 #constraints=12479 755.06/755.33 c nbDecision=249500 #constraints=12479 756.56/756.80 c nbDecision=250000 #constraints=12479 757.96/758.25 c nbDecision=250500 #constraints=12479 759.46/759.70 c nbDecision=251000 #constraints=12479 760.86/761.15 c nbDecision=251500 #constraints=12479 762.26/762.59 c nbDecision=252000 #constraints=12479 763.76/764.03 c nbDecision=252500 #constraints=12479 765.16/765.47 c nbDecision=253000 #constraints=12479 766.66/766.91 c nbDecision=253500 #constraints=12479 768.06/768.37 c nbDecision=254000 #constraints=12479 769.56/769.82 c nbDecision=254500 #constraints=12479 770.95/771.27 c nbDecision=255000 #constraints=12479 772.45/772.72 c nbDecision=255500 #constraints=12479 773.86/774.16 c nbDecision=256000 #constraints=12479 775.35/775.60 c nbDecision=256500 #constraints=12479 776.75/777.04 c nbDecision=257000 #constraints=12479 778.15/778.47 c nbDecision=257500 #constraints=12479 779.56/779.89 c nbDecision=258000 #constraints=12479 781.05/781.32 c nbDecision=258500 #constraints=12479 782.45/782.74 c nbDecision=259000 #constraints=12479 783.85/784.16 c nbDecision=259500 #constraints=12479 785.25/785.58 c nbDecision=260000 #constraints=12479 786.75/787.00 c nbDecision=260500 #constraints=12479 788.15/788.43 c nbDecision=261000 #constraints=12479 789.55/789.86 c nbDecision=261500 #constraints=12479 790.95/791.28 c nbDecision=262000 #constraints=12479 792.35/792.70 c nbDecision=262500 #constraints=12479 793.85/794.12 c nbDecision=263000 #constraints=12479 795.25/795.54 c nbDecision=263500 #constraints=12479 796.65/796.96 c nbDecision=264000 #constraints=12479 798.05/798.36 c nbDecision=264500 #constraints=12479 799.45/799.77 c nbDecision=265000 #constraints=12479 800.84/801.17 c nbDecision=265500 #constraints=12479 802.24/802.57 c nbDecision=266000 #constraints=12479 803.64/803.97 c nbDecision=266500 #constraints=12479 805.04/805.36 c nbDecision=267000 #constraints=12479 806.44/806.76 c nbDecision=267500 #constraints=12479 807.84/808.16 c nbDecision=268000 #constraints=12479 809.25/809.57 c nbDecision=268500 #constraints=12479 810.64/810.97 c nbDecision=269000 #constraints=12479 812.04/812.37 c nbDecision=269500 #constraints=12479 813.44/813.77 c nbDecision=270000 #constraints=12479 814.85/815.17 c nbDecision=270500 #constraints=12479 816.24/816.56 c nbDecision=271000 #constraints=12479 817.64/817.94 c nbDecision=271500 #constraints=12479 819.04/819.32 c nbDecision=272000 #constraints=12479 820.44/820.70 c nbDecision=272500 #constraints=12479 821.74/822.08 c nbDecision=273000 #constraints=12479 823.14/823.45 c nbDecision=273500 #constraints=12479 824.54/824.83 c nbDecision=274000 #constraints=12479 825.84/826.20 c nbDecision=274500 #constraints=12479 827.24/827.57 c nbDecision=275000 #constraints=12479 828.64/828.95 c nbDecision=275500 #constraints=12479 830.04/830.33 c nbDecision=276000 #constraints=12479 831.44/831.71 c nbDecision=276500 #constraints=12479 832.74/833.09 c nbDecision=277000 #constraints=12479 834.14/834.46 c nbDecision=277500 #constraints=12479 835.54/835.84 c nbDecision=278000 #constraints=12479 836.93/837.20 c nbDecision=278500 #constraints=12479 838.23/838.56 c nbDecision=279000 #constraints=12479 839.63/839.92 c nbDecision=279500 #constraints=12479 840.93/841.27 c nbDecision=280000 #constraints=12479 842.33/842.62 c nbDecision=280500 #constraints=12479 843.63/843.97 c nbDecision=281000 #constraints=12479 845.03/845.32 c nbDecision=281500 #constraints=12479 846.33/846.67 c nbDecision=282000 #constraints=12479 847.73/848.02 c nbDecision=282500 #constraints=12479 849.03/849.38 c nbDecision=283000 #constraints=12479 850.43/850.73 c nbDecision=283500 #constraints=12479 851.73/852.09 c nbDecision=284000 #constraints=12479 853.13/853.44 c nbDecision=284500 #constraints=12479 854.43/854.79 c nbDecision=285000 #constraints=12479 855.83/856.14 c nbDecision=285500 #constraints=12479 857.13/857.48 c nbDecision=286000 #constraints=12479 858.53/858.81 c nbDecision=286500 #constraints=12479 859.83/860.14 c nbDecision=287000 #constraints=12479 861.13/861.47 c nbDecision=287500 #constraints=12479 862.42/862.79 c nbDecision=288000 #constraints=12479 863.82/864.12 c nbDecision=288500 #constraints=12479 865.12/865.44 c nbDecision=289000 #constraints=12479 866.43/866.76 c nbDecision=289500 #constraints=12479 867.72/868.09 c nbDecision=290000 #constraints=12479 869.12/869.42 c nbDecision=290500 #constraints=12479 870.42/870.75 c nbDecision=291000 #constraints=12479 871.72/872.08 c nbDecision=291500 #constraints=12479 873.13/873.41 c nbDecision=292000 #constraints=12479 874.42/874.73 c nbDecision=292500 #constraints=12479 875.72/876.05 c nbDecision=293000 #constraints=12479 877.02/877.37 c nbDecision=293500 #constraints=12479 878.32/878.67 c nbDecision=294000 #constraints=12479 879.62/879.98 c nbDecision=294500 #constraints=12479 880.92/881.28 c nbDecision=295000 #constraints=12479 882.22/882.58 c nbDecision=295500 #constraints=12479 883.52/883.88 c nbDecision=296000 #constraints=12479 884.92/885.20 c nbDecision=296500 #constraints=12479 886.12/886.50 c nbDecision=297000 #constraints=12479 887.52/887.80 c nbDecision=297500 #constraints=12479 888.81/889.11 c nbDecision=298000 #constraints=12479 890.11/890.41 c nbDecision=298500 #constraints=12479 891.41/891.71 c nbDecision=299000 #constraints=12479 892.71/893.01 c nbDecision=299500 #constraints=12479 894.02/894.31 c nbDecision=300000 #constraints=12479 895.31/895.60 c nbDecision=300500 #constraints=12479 896.61/896.91 c nbDecision=301000 #constraints=12479 897.91/898.21 c nbDecision=301500 #constraints=12479 899.21/899.52 c nbDecision=302000 #constraints=12479 900.52/900.83 c nbDecision=302500 #constraints=12479 901.81/902.10 c nbDecision=303000 #constraints=12479 903.01/903.38 c nbDecision=303500 #constraints=12479 904.31/904.66 c nbDecision=304000 #constraints=12479 905.61/905.95 c nbDecision=304500 #constraints=12479 906.91/907.25 c nbDecision=305000 #constraints=12479 908.21/908.53 c nbDecision=305500 #constraints=12479 909.51/909.82 c nbDecision=306000 #constraints=12479 910.81/911.11 c nbDecision=306500 #constraints=12479 912.01/912.39 c nbDecision=307000 #constraints=12479 913.31/913.68 c nbDecision=307500 #constraints=12479 914.61/914.96 c nbDecision=308000 #constraints=12479 915.91/916.25 c nbDecision=308500 #constraints=12479 917.21/917.52 c nbDecision=309000 #constraints=12479 918.41/918.79 c nbDecision=309500 #constraints=12479 919.71/920.07 c nbDecision=310000 #constraints=12479 921.01/921.33 c nbDecision=310500 #constraints=12479 922.31/922.60 c nbDecision=311000 #constraints=12479 923.51/923.87 c nbDecision=311500 #constraints=12479 924.81/925.14 c nbDecision=312000 #constraints=12479 926.11/926.40 c nbDecision=312500 #constraints=12479 927.31/927.67 c nbDecision=313000 #constraints=12479 928.61/928.95 c nbDecision=313500 #constraints=12479 929.91/930.22 c nbDecision=314000 #constraints=12479 931.21/931.50 c nbDecision=314500 #constraints=12479 932.41/932.78 c nbDecision=315000 #constraints=12479 933.71/934.05 c nbDecision=315500 #constraints=12479 935.01/935.32 c nbDecision=316000 #constraints=12479 936.31/936.60 c nbDecision=316500 #constraints=12479 937.51/937.87 c nbDecision=317000 #constraints=12479 938.81/939.13 c nbDecision=317500 #constraints=12479 940.01/940.39 c nbDecision=318000 #constraints=12479 941.31/941.65 c nbDecision=318500 #constraints=12479 942.61/942.91 c nbDecision=319000 #constraints=12479 943.81/944.16 c nbDecision=319500 #constraints=12479 945.11/945.42 c nbDecision=320000 #constraints=12479 946.31/946.68 c nbDecision=320500 #constraints=12479 947.61/947.94 c nbDecision=321000 #constraints=12479 948.91/949.21 c nbDecision=321500 #constraints=12479 950.11/950.48 c nbDecision=322000 #constraints=12479 951.39/951.75 c nbDecision=322500 #constraints=12479 952.69/953.02 c nbDecision=323000 #constraints=12479 953.97/954.31 c nbDecision=323500 #constraints=12479 955.17/955.58 c nbDecision=324000 #constraints=12479 956.47/956.85 c nbDecision=324500 #constraints=12479 957.77/958.11 c nbDecision=325000 #constraints=12479 958.97/959.36 c nbDecision=325500 #constraints=12479 960.26/960.64 c nbDecision=326000 #constraints=12481 961.56/961.94 c nbDecision=326500 #constraints=12486 962.76/963.19 c nbDecision=327000 #constraints=12486 964.06/964.48 c nbDecision=327500 #constraints=12490 965.36/965.74 c nbDecision=328000 #constraints=12490 966.64/967.01 c nbDecision=328500 #constraints=12490 967.84/968.27 c nbDecision=329000 #constraints=12490 969.14/969.58 c nbDecision=329500 #constraints=12493 970.44/970.85 c nbDecision=330000 #constraints=12493 971.74/972.12 c nbDecision=330500 #constraints=12493 972.93/973.38 c nbDecision=331000 #constraints=12493 974.24/974.64 c nbDecision=331500 #constraints=12493 975.52/975.92 c nbDecision=332000 #constraints=12493 976.72/977.18 c nbDecision=332500 #constraints=12493 978.11/978.51 c nbDecision=333000 #constraints=12498 979.30/979.77 c nbDecision=333500 #constraints=12498 980.60/981.03 c nbDecision=334000 #constraints=12498 981.81/982.29 c nbDecision=334500 #constraints=12498 983.11/983.54 c nbDecision=335000 #constraints=12498 984.30/984.79 c nbDecision=335500 #constraints=12498 985.60/986.08 c nbDecision=336000 #constraints=12500 986.90/987.34 c nbDecision=336500 #constraints=12500 988.20/988.60 c nbDecision=337000 #constraints=12500 989.40/989.87 c nbDecision=337500 #constraints=12500 990.70/991.13 c nbDecision=338000 #constraints=12500 992.00/992.49 c nbDecision=338500 #constraints=12512 993.30/993.76 c nbDecision=339000 #constraints=12512 994.60/995.08 c nbDecision=339500 #constraints=12517 996.10/996.58 c nbDecision=340000 #constraints=12531 997.40/997.84 c nbDecision=340500 #constraints=12531 998.60/999.10 c nbDecision=341000 #constraints=12531 999.89/1000.35 c nbDecision=341500 #constraints=12531 1001.19/1001.60 c nbDecision=342000 #constraints=12531 1002.39/1002.85 c nbDecision=342500 #constraints=12531 1003.69/1004.11 c nbDecision=343000 #constraints=12531 1004.99/1005.45 c nbDecision=343500 #constraints=12537 1006.28/1006.70 c nbDecision=344000 #constraints=12537 1007.48/1007.97 c nbDecision=344500 #constraints=12537 1008.78/1009.23 c nbDecision=345000 #constraints=12537 1010.08/1010.50 c nbDecision=345500 #constraints=12537 1011.28/1011.76 c nbDecision=346000 #constraints=12537 1012.58/1013.03 c nbDecision=346500 #constraints=12537 1013.78/1014.29 c nbDecision=347000 #constraints=12537 1015.08/1015.55 c nbDecision=347500 #constraints=12537 1016.38/1016.82 c nbDecision=348000 #constraints=12537 1017.58/1018.07 c nbDecision=348500 #constraints=12537 1018.88/1019.32 c nbDecision=349000 #constraints=12537 1020.08/1020.57 c nbDecision=349500 #constraints=12537 1021.38/1021.86 c nbDecision=350000 #constraints=12541 1022.68/1023.11 c nbDecision=350500 #constraints=12541 1024.08/1024.52 c nbDecision=351000 #constraints=12562 1025.28/1025.77 c nbDecision=351500 #constraints=12562 1026.57/1027.03 c nbDecision=352000 #constraints=12562 1027.77/1028.29 c nbDecision=352500 #constraints=12562 1029.08/1029.55 c nbDecision=353000 #constraints=12562 1030.37/1030.81 c nbDecision=353500 #constraints=12562 1031.57/1032.08 c nbDecision=354000 #constraints=12562 1033.08/1033.53 c nbDecision=354500 #constraints=12581 1034.28/1034.79 c nbDecision=355000 #constraints=12581 1035.58/1036.06 c nbDecision=355500 #constraints=12581 1036.88/1037.32 c nbDecision=356000 #constraints=12581 1038.28/1038.74 c nbDecision=356500 #constraints=12599 1039.47/1039.99 c nbDecision=357000 #constraints=12599 1040.97/1041.43 c nbDecision=357500 #constraints=12617 1042.17/1042.68 c nbDecision=358000 #constraints=12617 1043.47/1043.93 c nbDecision=358500 #constraints=12617 1044.67/1045.19 c nbDecision=359000 #constraints=12617 1046.17/1046.61 c nbDecision=359500 #constraints=12635 1047.37/1047.87 c nbDecision=360000 #constraints=12635 1048.97/1049.43 c nbDecision=360500 #constraints=12656 1050.46/1050.98 c nbDecision=361000 #constraints=12670 1051.76/1052.25 c nbDecision=361500 #constraints=12670 1053.06/1053.58 c nbDecision=362000 #constraints=12678 1054.37/1054.84 c nbDecision=362500 #constraints=12678 1055.66/1056.19 c nbDecision=363000 #constraints=12687 1057.06/1057.54 c nbDecision=363500 #constraints=12696 1058.46/1058.92 c nbDecision=364000 #constraints=12707 1059.76/1060.26 c nbDecision=364500 #constraints=12716 1061.26/1061.75 c nbDecision=365000 #constraints=12730 1062.56/1063.00 c nbDecision=365500 #constraints=12730 1064.07/1064.58 c nbDecision=366000 #constraints=12748 1065.77/1066.25 c nbDecision=366500 #constraints=12762 1067.07/1067.51 c nbDecision=367000 #constraints=12762 1068.27/1068.78 c nbDecision=367500 #constraints=12762 1069.77/1070.23 c nbDecision=368000 #constraints=12780 1071.06/1071.50 c nbDecision=368500 #constraints=12780 1072.26/1072.76 c nbDecision=369000 #constraints=12780 1073.76/1074.28 c nbDecision=369500 #constraints=12799 1075.26/1075.75 c nbDecision=370000 #constraints=12810 1076.56/1077.02 c nbDecision=370500 #constraints=12810 1077.86/1078.40 c nbDecision=371000 #constraints=12821 1079.16/1079.65 c nbDecision=371500 #constraints=12821 1080.66/1081.11 c nbDecision=372000 #constraints=12833 1082.06/1082.58 c nbDecision=372500 #constraints=12846 1083.36/1083.88 c nbDecision=373000 #constraints=12848 1084.85/1085.34 c nbDecision=373500 #constraints=12861 1086.05/1086.60 c nbDecision=374000 #constraints=12861 1087.65/1088.10 c nbDecision=374500 #constraints=12874 1089.36/1089.80 c nbDecision=375000 #constraints=12891 1090.56/1091.07 c nbDecision=375500 #constraints=12891 1091.86/1092.34 c nbDecision=376000 #constraints=12891 1093.16/1093.61 c nbDecision=376500 #constraints=12891 1094.55/1095.08 c nbDecision=377000 #constraints=12909 1095.85/1096.34 c nbDecision=377500 #constraints=12909 1097.36/1097.87 c nbDecision=378000 #constraints=12927 1098.85/1099.31 c nbDecision=378500 #constraints=12938 1100.05/1100.57 c nbDecision=379000 #constraints=12938 1101.45/1101.98 c nbDecision=379500 #constraints=12950 1102.76/1103.23 c nbDecision=380000 #constraints=12950 1104.25/1104.71 c nbDecision=380500 #constraints=12962 1105.64/1106.19 c nbDecision=381000 #constraints=12975 1106.94/1107.45 c nbDecision=381500 #constraints=12975 1108.25/1108.72 c nbDecision=382000 #constraints=12975 1109.55/1110.08 c nbDecision=382500 #constraints=12979 1111.15/1111.67 c nbDecision=383000 #constraints=12990 1112.85/1113.36 c nbDecision=383500 #constraints=13008 1114.45/1114.93 c nbDecision=384000 #constraints=13019 1115.85/1116.40 c nbDecision=384500 #constraints=13031 1117.44/1117.94 c nbDecision=385000 #constraints=13045 1118.94/1119.41 c nbDecision=385500 #constraints=13054 1120.94/1121.46 c nbDecision=386000 #constraints=13080 1122.24/1122.74 c nbDecision=386500 #constraints=13081 1124.25/1124.77 c nbDecision=387000 #constraints=13109 1126.44/1126.92 c nbDecision=387500 #constraints=13121 1128.95/1129.46 c nbDecision=388000 #constraints=13142 1130.84/1131.39 c nbDecision=388500 #constraints=13157 1133.14/1133.61 c nbDecision=389000 #constraints=13174 1135.54/1136.09 c nbDecision=389500 #constraints=13188 1138.33/1138.81 c nbDecision=390000 #constraints=13203 1139.53/1140.09 c nbDecision=390500 #constraints=13203 1140.83/1141.35 c nbDecision=391000 #constraints=13203 1142.13/1142.61 c nbDecision=391500 #constraints=13203 1143.74/1144.29 c nbDecision=392000 #constraints=13226 1145.44/1145.92 c nbDecision=392500 #constraints=13235 1146.64/1147.18 c nbDecision=393000 #constraints=13235 1148.44/1148.99 c nbDecision=393500 #constraints=13254 1149.94/1150.50 c nbDecision=394000 #constraints=13261 1151.43/1151.90 c nbDecision=394500 #constraints=13267 1153.43/1153.94 c nbDecision=395000 #constraints=13285 1155.04/1155.50 c nbDecision=395500 #constraints=13294 1156.24/1156.77 c nbDecision=396000 #constraints=13294 1157.54/1158.03 c nbDecision=396500 #constraints=13294 1159.03/1159.51 c nbDecision=397000 #constraints=13312 1160.23/1160.77 c nbDecision=397500 #constraints=13312 1161.83/1162.34 c nbDecision=398000 #constraints=13331 1163.03/1163.59 c nbDecision=398500 #constraints=13331 1164.53/1165.09 c nbDecision=399000 #constraints=13342 1165.83/1166.35 c nbDecision=399500 #constraints=13342 1167.23/1167.78 c nbDecision=400000 #constraints=13354 1168.84/1169.32 c nbDecision=400500 #constraints=13366 1170.03/1170.59 c nbDecision=401000 #constraints=13366 1171.63/1172.10 c nbDecision=401500 #constraints=13377 1172.83/1173.37 c nbDecision=402000 #constraints=13377 1174.13/1174.64 c nbDecision=402500 #constraints=13377 1175.63/1176.11 c nbDecision=403000 #constraints=13390 1177.13/1177.62 c nbDecision=403500 #constraints=13404 1178.33/1178.88 c nbDecision=404000 #constraints=13404 1179.92/1180.49 c nbDecision=404500 #constraints=13421 1181.22/1181.76 c nbDecision=405000 #constraints=13421 1182.52/1183.02 c nbDecision=405500 #constraints=13421 1184.13/1184.62 c nbDecision=406000 #constraints=13440 1185.32/1185.88 c nbDecision=406500 #constraints=13440 1187.33/1187.89 c nbDecision=407000 #constraints=13467 1189.62/1190.20 c nbDecision=407500 #constraints=13495 1191.12/1191.65 c nbDecision=408000 #constraints=13501 1192.82/1193.37 c nbDecision=408500 #constraints=13516 1194.62/1195.10 c nbDecision=409000 #constraints=13532 1195.92/1196.45 c nbDecision=409500 #constraints=13535 1196.23/1196.70 c restart after 409601 decisions 1198.02/1198.58 c nbDecision=410000 #constraints=13535 1199.62/1200.18 c nbDecision=410500 #constraints=13535 1201.22/1201.73 c nbDecision=411000 #constraints=13535 1202.82/1203.32 c nbDecision=411500 #constraints=13535 1204.42/1204.92 c nbDecision=412000 #constraints=13535 1206.02/1206.51 c nbDecision=412500 #constraints=13535 1207.62/1208.12 c nbDecision=413000 #constraints=13535 1209.22/1209.73 c nbDecision=413500 #constraints=13535 1210.82/1211.33 c nbDecision=414000 #constraints=13535 1212.42/1212.93 c nbDecision=414500 #constraints=13535 1214.02/1214.53 c nbDecision=415000 #constraints=13535 1215.61/1216.12 c nbDecision=415500 #constraints=13535 1217.22/1217.71 c nbDecision=416000 #constraints=13535 1218.71/1219.29 c nbDecision=416500 #constraints=13535 1220.31/1220.87 c nbDecision=417000 #constraints=13535 1221.91/1222.46 c nbDecision=417500 #constraints=13535 1223.51/1224.07 c nbDecision=418000 #constraints=13535 1225.11/1225.67 c nbDecision=418500 #constraints=13535 1226.71/1227.26 c nbDecision=419000 #constraints=13535 1228.31/1228.86 c nbDecision=419500 #constraints=13535 1230.01/1230.51 c nbDecision=420000 #constraints=13535 1231.61/1232.11 c nbDecision=420500 #constraints=13535 1233.21/1233.73 c nbDecision=421000 #constraints=13535 1234.81/1235.34 c nbDecision=421500 #constraints=13535 1236.41/1236.98 c nbDecision=422000 #constraints=13535 1238.01/1238.59 c nbDecision=422500 #constraints=13535 1239.60/1240.15 c nbDecision=423000 #constraints=13535 1241.20/1241.70 c nbDecision=423500 #constraints=13535 1242.70/1243.26 c nbDecision=424000 #constraints=13535 1244.30/1244.80 c nbDecision=424500 #constraints=13535 1245.81/1246.35 c nbDecision=425000 #constraints=13535 1247.40/1247.91 c nbDecision=425500 #constraints=13535 1248.90/1249.47 c nbDecision=426000 #constraints=13535 1250.50/1251.03 c nbDecision=426500 #constraints=13535 1252.00/1252.59 c nbDecision=427000 #constraints=13535 1253.60/1254.14 c nbDecision=427500 #constraints=13535 1255.10/1255.69 c nbDecision=428000 #constraints=13535 1256.70/1257.24 c nbDecision=428500 #constraints=13535 1258.20/1258.78 c nbDecision=429000 #constraints=13535 1259.80/1260.31 c nbDecision=429500 #constraints=13535 1261.30/1261.84 c nbDecision=430000 #constraints=13535 1262.80/1263.37 c nbDecision=430500 #constraints=13535 1264.30/1264.90 c nbDecision=431000 #constraints=13535 1265.90/1266.43 c nbDecision=431500 #constraints=13535 1267.39/1267.95 c nbDecision=432000 #constraints=13535 1268.90/1269.47 c nbDecision=432500 #constraints=13535 1270.39/1270.98 c nbDecision=433000 #constraints=13535 1271.99/1272.51 c nbDecision=433500 #constraints=13535 1273.49/1274.04 c nbDecision=434000 #constraints=13535 1274.99/1275.57 c nbDecision=434500 #constraints=13535 1276.59/1277.10 c nbDecision=435000 #constraints=13535 1278.09/1278.62 c nbDecision=435500 #constraints=13535 1279.59/1280.12 c nbDecision=436000 #constraints=13535 1281.09/1281.60 c nbDecision=436500 #constraints=13535 1282.59/1283.11 c nbDecision=437000 #constraints=13535 1284.09/1284.61 c nbDecision=437500 #constraints=13535 1285.59/1286.12 c nbDecision=438000 #constraints=13535 1287.09/1287.63 c nbDecision=438500 #constraints=13535 1288.59/1289.14 c nbDecision=439000 #constraints=13535 1290.09/1290.63 c nbDecision=439500 #constraints=13535 1291.59/1292.11 c nbDecision=440000 #constraints=13535 1293.09/1293.62 c nbDecision=440500 #constraints=13535 1294.59/1295.13 c nbDecision=441000 #constraints=13535 1296.09/1296.64 c nbDecision=441500 #constraints=13535 1297.59/1298.15 c nbDecision=442000 #constraints=13535 1299.08/1299.64 c nbDecision=442500 #constraints=13535 1300.58/1301.11 c nbDecision=443000 #constraints=13535 1301.98/1302.58 c nbDecision=443500 #constraints=13535 1303.48/1304.04 c nbDecision=444000 #constraints=13535 1304.98/1305.52 c nbDecision=444500 #constraints=13535 1306.48/1307.00 c nbDecision=445000 #constraints=13535 1307.98/1308.50 c nbDecision=445500 #constraints=13535 1309.38/1310.00 c nbDecision=446000 #constraints=13535 1310.88/1311.49 c nbDecision=446500 #constraints=13535 1312.38/1312.98 c nbDecision=447000 #constraints=13535 1313.89/1314.47 c nbDecision=447500 #constraints=13535 1315.38/1315.96 c nbDecision=448000 #constraints=13535 1316.88/1317.45 c nbDecision=448500 #constraints=13535 1318.38/1318.92 c nbDecision=449000 #constraints=13535 1319.78/1320.39 c nbDecision=449500 #constraints=13535 1321.28/1321.86 c nbDecision=450000 #constraints=13535 1322.78/1323.33 c nbDecision=450500 #constraints=13535 1324.18/1324.79 c nbDecision=451000 #constraints=13535 1325.68/1326.26 c nbDecision=451500 #constraints=13535 1327.18/1327.72 c nbDecision=452000 #constraints=13535 1328.68/1329.20 c nbDecision=452500 #constraints=13535 1330.07/1330.67 c nbDecision=453000 #constraints=13535 1331.58/1332.14 c nbDecision=453500 #constraints=13535 1333.07/1333.60 c nbDecision=454000 #constraints=13535 1334.47/1335.07 c nbDecision=454500 #constraints=13535 1335.98/1336.54 c nbDecision=455000 #constraints=13535 1337.37/1337.99 c nbDecision=455500 #constraints=13535 1338.87/1339.44 c nbDecision=456000 #constraints=13535 1340.28/1340.89 c nbDecision=456500 #constraints=13535 1341.77/1342.34 c nbDecision=457000 #constraints=13535 1343.17/1343.78 c nbDecision=457500 #constraints=13535 1344.67/1345.20 c nbDecision=458000 #constraints=13535 1346.07/1346.65 c nbDecision=458500 #constraints=13535 1347.47/1348.09 c nbDecision=459000 #constraints=13535 1348.97/1349.54 c nbDecision=459500 #constraints=13535 1350.37/1350.99 c nbDecision=460000 #constraints=13535 1351.87/1352.44 c nbDecision=460500 #constraints=13535 1353.27/1353.89 c nbDecision=461000 #constraints=13535 1354.77/1355.32 c nbDecision=461500 #constraints=13535 1356.16/1356.76 c nbDecision=462000 #constraints=13535 1357.56/1358.18 c nbDecision=462500 #constraints=13535 1359.07/1359.61 c nbDecision=463000 #constraints=13535 1360.46/1361.03 c nbDecision=463500 #constraints=13535 1361.86/1362.45 c nbDecision=464000 #constraints=13535 1363.26/1363.87 c nbDecision=464500 #constraints=13535 1364.66/1365.28 c nbDecision=465000 #constraints=13535 1366.16/1366.70 c nbDecision=465500 #constraints=13535 1367.56/1368.13 c nbDecision=466000 #constraints=13535 1368.96/1369.55 c nbDecision=466500 #constraints=13535 1370.36/1370.98 c nbDecision=467000 #constraints=13535 1371.86/1372.41 c nbDecision=467500 #constraints=13535 1373.26/1373.83 c nbDecision=468000 #constraints=13535 1374.66/1375.26 c nbDecision=468500 #constraints=13535 1376.06/1376.67 c nbDecision=469000 #constraints=13535 1377.46/1378.08 c nbDecision=469500 #constraints=13535 1378.86/1379.49 c nbDecision=470000 #constraints=13535 1380.26/1380.88 c nbDecision=470500 #constraints=13535 1381.66/1382.26 c nbDecision=471000 #constraints=13535 1383.06/1383.65 c nbDecision=471500 #constraints=13535 1384.46/1385.03 c nbDecision=472000 #constraints=13535 1385.86/1386.41 c nbDecision=472500 #constraints=13535 1387.25/1387.80 c nbDecision=473000 #constraints=13535 1388.55/1389.19 c nbDecision=473500 #constraints=13535 1389.95/1390.58 c nbDecision=474000 #constraints=13535 1391.35/1391.97 c nbDecision=474500 #constraints=13535 1392.75/1393.36 c nbDecision=475000 #constraints=13535 1394.16/1394.76 c nbDecision=475500 #constraints=13535 1395.55/1396.15 c nbDecision=476000 #constraints=13535 1396.95/1397.54 c nbDecision=476500 #constraints=13535 1398.35/1398.92 c nbDecision=477000 #constraints=13535 1399.65/1400.30 c nbDecision=477500 #constraints=13535 1401.05/1401.68 c nbDecision=478000 #constraints=13535 1402.45/1403.05 c nbDecision=478500 #constraints=13535 1403.85/1404.42 c nbDecision=479000 #constraints=13535 1405.15/1405.79 c nbDecision=479500 #constraints=13535 1406.55/1407.16 c nbDecision=480000 #constraints=13535 1407.95/1408.54 c nbDecision=480500 #constraints=13535 1409.35/1409.91 c nbDecision=481000 #constraints=13535 1410.65/1411.29 c nbDecision=481500 #constraints=13535 1412.05/1412.67 c nbDecision=482000 #constraints=13535 1413.45/1414.04 c nbDecision=482500 #constraints=13535 1414.85/1415.41 c nbDecision=483000 #constraints=13535 1416.15/1416.78 c nbDecision=483500 #constraints=13535 1417.55/1418.14 c nbDecision=484000 #constraints=13535 1418.95/1419.51 c nbDecision=484500 #constraints=13535 1420.24/1420.86 c nbDecision=485000 #constraints=13535 1421.65/1422.21 c nbDecision=485500 #constraints=13535 1422.94/1423.56 c nbDecision=486000 #constraints=13535 1424.34/1424.91 c nbDecision=486500 #constraints=13535 1425.64/1426.26 c nbDecision=487000 #constraints=13535 1427.04/1427.61 c nbDecision=487500 #constraints=13535 1428.35/1428.96 c nbDecision=488000 #constraints=13535 1429.74/1430.31 c nbDecision=488500 #constraints=13535 1431.04/1431.67 c nbDecision=489000 #constraints=13535 1432.45/1433.02 c nbDecision=489500 #constraints=13535 1433.75/1434.37 c nbDecision=490000 #constraints=13535 1435.15/1435.72 c nbDecision=490500 #constraints=13535 1436.45/1437.06 c nbDecision=491000 #constraints=13535 1437.75/1438.39 c nbDecision=491500 #constraints=13535 1439.15/1439.72 c nbDecision=492000 #constraints=13535 1440.45/1441.05 c nbDecision=492500 #constraints=13535 1441.75/1442.37 c nbDecision=493000 #constraints=13535 1443.15/1443.70 c nbDecision=493500 #constraints=13535 1444.44/1445.03 c nbDecision=494000 #constraints=13535 1445.74/1446.35 c nbDecision=494500 #constraints=13535 1447.05/1447.67 c nbDecision=495000 #constraints=13535 1448.34/1448.99 c nbDecision=495500 #constraints=13535 1449.74/1450.32 c nbDecision=496000 #constraints=13535 1451.04/1451.65 c nbDecision=496500 #constraints=13535 1452.34/1452.97 c nbDecision=497000 #constraints=13535 1453.74/1454.30 c nbDecision=497500 #constraints=13535 1455.04/1455.62 c nbDecision=498000 #constraints=13535 1456.34/1456.94 c nbDecision=498500 #constraints=13535 1457.64/1458.25 c nbDecision=499000 #constraints=13535 1458.94/1459.55 c nbDecision=499500 #constraints=13535 1460.24/1460.85 c nbDecision=500000 #constraints=13535 1461.54/1462.15 c nbDecision=500500 #constraints=13535 1462.84/1463.45 c nbDecision=501000 #constraints=13535 1464.14/1464.77 c nbDecision=501500 #constraints=13535 1465.44/1466.06 c nbDecision=502000 #constraints=13535 1466.74/1467.36 c nbDecision=502500 #constraints=13535 1468.04/1468.66 c nbDecision=503000 #constraints=13535 1469.34/1469.97 c nbDecision=503500 #constraints=13535 1470.64/1471.27 c nbDecision=504000 #constraints=13535 1472.14/1472.71 c nbDecision=504500 #constraints=13535 1473.44/1474.04 c nbDecision=505000 #constraints=13535 1474.74/1475.35 c nbDecision=505500 #constraints=13535 1476.03/1476.67 c nbDecision=506000 #constraints=13535 1477.33/1477.96 c nbDecision=506500 #constraints=13535 1478.63/1479.30 c nbDecision=507000 #constraints=13535 1479.94/1480.59 c nbDecision=507500 #constraints=13535 1481.23/1481.88 c nbDecision=508000 #constraints=13535 1482.53/1483.16 c nbDecision=508500 #constraints=13535 1483.83/1484.44 c nbDecision=509000 #constraints=13535 1485.13/1485.75 c nbDecision=509500 #constraints=13535 1486.43/1487.03 c nbDecision=510000 #constraints=13535 1487.73/1488.32 c nbDecision=510500 #constraints=13535 1489.03/1489.61 c nbDecision=511000 #constraints=13535 1490.33/1490.91 c nbDecision=511500 #constraints=13535 1491.53/1492.19 c nbDecision=512000 #constraints=13535 1492.83/1493.48 c nbDecision=512500 #constraints=13535 1494.13/1494.78 c nbDecision=513000 #constraints=13535 1495.43/1496.07 c nbDecision=513500 #constraints=13535 1496.73/1497.36 c nbDecision=514000 #constraints=13535 1498.03/1498.66 c nbDecision=514500 #constraints=13535 1499.33/1499.94 c nbDecision=515000 #constraints=13535 1500.63/1501.22 c nbDecision=515500 #constraints=13535 1501.93/1502.50 c nbDecision=516000 #constraints=13535 1503.13/1503.78 c nbDecision=516500 #constraints=13535 1504.43/1505.05 c nbDecision=517000 #constraints=13535 1505.73/1506.33 c nbDecision=517500 #constraints=13535 1507.02/1507.61 c nbDecision=518000 #constraints=13535 1508.22/1508.89 c nbDecision=518500 #constraints=13535 1509.52/1510.18 c nbDecision=519000 #constraints=13535 1510.83/1511.49 c nbDecision=519500 #constraints=13535 1512.12/1512.78 c nbDecision=520000 #constraints=13535 1513.42/1514.07 c nbDecision=520500 #constraints=13535 1514.72/1515.35 c nbDecision=521000 #constraints=13535 1516.02/1516.62 c nbDecision=521500 #constraints=13535 1517.32/1517.90 c nbDecision=522000 #constraints=13535 1518.52/1519.17 c nbDecision=522500 #constraints=13535 1519.82/1520.44 c nbDecision=523000 #constraints=13535 1521.12/1521.70 c nbDecision=523500 #constraints=13535 1522.32/1522.97 c nbDecision=524000 #constraints=13535 1523.62/1524.24 c nbDecision=524500 #constraints=13535 1524.92/1525.50 c nbDecision=525000 #constraints=13535 1526.12/1526.77 c nbDecision=525500 #constraints=13535 1527.42/1528.04 c nbDecision=526000 #constraints=13535 1528.72/1529.31 c nbDecision=526500 #constraints=13535 1530.02/1530.60 c nbDecision=527000 #constraints=13535 1531.22/1531.87 c nbDecision=527500 #constraints=13535 1532.52/1533.14 c nbDecision=528000 #constraints=13535 1533.92/1534.59 c nbDecision=528500 #constraints=13547 1535.41/1536.07 c nbDecision=529000 #constraints=13561 1536.91/1537.53 c nbDecision=529500 #constraints=13571 1538.11/1538.79 c nbDecision=530000 #constraints=13571 1539.51/1540.15 c nbDecision=530500 #constraints=13580 1541.21/1541.89 c nbDecision=531000 #constraints=13603 1543.41/1544.04 c nbDecision=531500 #constraints=13629 1545.51/1546.12 c nbDecision=532000 #constraints=13648 1547.71/1548.39 c nbDecision=532500 #constraints=13676 1549.80/1550.43 c nbDecision=533000 #constraints=13692 1552.01/1552.63 c nbDecision=533500 #constraints=13713 1553.80/1554.42 c nbDecision=534000 #constraints=13727 1555.61/1556.21 c nbDecision=534500 #constraints=13739 1557.31/1557.98 c nbDecision=535000 #constraints=13747 1558.91/1559.56 c nbDecision=535500 #constraints=13753 1561.10/1561.77 c nbDecision=536000 #constraints=13768 1563.51/1564.12 c nbDecision=536500 #constraints=13781 1565.50/1566.18 c nbDecision=537000 #constraints=13799 1568.70/1569.31 c nbDecision=537500 #constraints=13831 1571.40/1572.05 c nbDecision=538000 #constraints=13849 1573.80/1574.45 c nbDecision=538500 #constraints=13864 1577.09/1577.74 c nbDecision=539000 #constraints=13882 1579.30/1579.99 c nbDecision=539500 #constraints=13901 1581.30/1581.96 c nbDecision=540000 #constraints=13914 1583.60/1584.28 c nbDecision=540500 #constraints=13935 1585.40/1586.09 c nbDecision=541000 #constraints=13946 1587.30/1587.95 c nbDecision=541500 #constraints=13960 1588.90/1589.59 c nbDecision=542000 #constraints=13966 1590.49/1591.19 c nbDecision=542500 #constraints=13971 1592.60/1593.26 c nbDecision=543000 #constraints=13984 1595.29/1595.90 c nbDecision=543500 #constraints=14000 1596.59/1597.20 c nbDecision=544000 #constraints=14000 1597.80/1598.49 c nbDecision=544500 #constraints=14000 1599.30/1599.91 c nbDecision=545000 #constraints=14010 1600.50/1601.17 c nbDecision=545500 #constraints=14010 1601.80/1602.43 c nbDecision=546000 #constraints=14010 1603.10/1603.80 c nbDecision=546500 #constraints=14018 1604.50/1605.16 c nbDecision=547000 #constraints=14026 1605.90/1606.54 c nbDecision=547500 #constraints=14032 1607.20/1607.80 c nbDecision=548000 #constraints=14032 1608.50/1609.14 c nbDecision=548500 #constraints=14039 1610.00/1610.69 c nbDecision=549000 #constraints=14058 1611.30/1611.99 c nbDecision=549500 #constraints=14058 1613.00/1613.63 c nbDecision=550000 #constraints=14070 1614.29/1614.92 c nbDecision=550500 #constraints=14070 1615.59/1616.20 c nbDecision=551000 #constraints=14070 1616.89/1617.59 c nbDecision=551500 #constraints=14080 1618.29/1618.96 c nbDecision=552000 #constraints=14085 1619.59/1620.29 c nbDecision=552500 #constraints=14087 1621.69/1622.39 c nbDecision=553000 #constraints=14101 1622.99/1623.70 c nbDecision=553500 #constraints=14101 1624.29/1624.97 c nbDecision=554000 #constraints=14101 1625.78/1626.46 c nbDecision=554500 #constraints=14110 1627.08/1627.72 c nbDecision=555000 #constraints=14110 1628.39/1629.01 c nbDecision=555500 #constraints=14110 1629.59/1630.28 c nbDecision=556000 #constraints=14110 1630.88/1631.55 c nbDecision=556500 #constraints=14110 1632.48/1633.11 c nbDecision=557000 #constraints=14126 1633.99/1634.67 c nbDecision=557500 #constraints=14132 1635.48/1636.15 c nbDecision=558000 #constraints=14144 1637.09/1637.75 c nbDecision=558500 #constraints=14152 1638.49/1639.18 c nbDecision=559000 #constraints=14158 1640.59/1641.28 c nbDecision=559500 #constraints=14177 1642.08/1642.78 c nbDecision=560000 #constraints=14183 1643.68/1644.32 c nbDecision=560500 #constraints=14191 1645.18/1645.84 c nbDecision=561000 #constraints=14198 1646.58/1647.29 c nbDecision=561500 #constraints=14205 1648.58/1649.26 c nbDecision=562000 #constraints=14222 1650.38/1651.03 c nbDecision=562500 #constraints=14234 1652.87/1653.54 c nbDecision=563000 #constraints=14262 1654.47/1655.15 c nbDecision=563500 #constraints=14273 1657.48/1658.13 c nbDecision=564000 #constraints=14313 1659.78/1660.47 c nbDecision=564500 #constraints=14331 1662.58/1663.28 c nbDecision=565000 #constraints=14364 1666.78/1667.48 c nbDecision=565500 #constraints=14406 1669.67/1670.39 c nbDecision=566000 #constraints=14427 1672.67/1673.37 c nbDecision=566500 #constraints=14448 1674.58/1675.24 c nbDecision=567000 #constraints=14454 1676.77/1677.40 c nbDecision=567500 #constraints=14462 1679.46/1680.19 c nbDecision=568000 #constraints=14478 1681.97/1682.66 c nbDecision=568500 #constraints=14509 1684.48/1685.11 c nbDecision=569000 #constraints=14525 1686.87/1687.54 c nbDecision=569500 #constraints=14539 1688.17/1688.82 c nbDecision=570000 #constraints=14539 1689.77/1690.42 c nbDecision=570500 #constraints=14545 1691.17/1691.88 c nbDecision=571000 #constraints=14548 1692.77/1693.50 c nbDecision=571500 #constraints=14554 1694.57/1695.26 c nbDecision=572000 #constraints=14561 1696.26/1696.97 c nbDecision=572500 #constraints=14570 1698.27/1698.91 c nbDecision=573000 #constraints=14581 1699.56/1700.21 c nbDecision=573500 #constraints=14581 1700.86/1701.53 c nbDecision=574000 #constraints=14581 1702.07/1702.80 c nbDecision=574500 #constraints=14581 1703.36/1704.05 c nbDecision=575000 #constraints=14581 1704.66/1705.31 c nbDecision=575500 #constraints=14581 1705.86/1706.57 c nbDecision=576000 #constraints=14581 1707.36/1708.06 c nbDecision=576500 #constraints=14590 1708.67/1709.40 c nbDecision=577000 #constraints=14592 1710.46/1711.14 c nbDecision=577500 #constraints=14600 1711.76/1712.45 c nbDecision=578000 #constraints=14600 1713.06/1713.74 c nbDecision=578500 #constraints=14600 1714.36/1715.01 c nbDecision=579000 #constraints=14600 1715.76/1716.47 c nbDecision=579500 #constraints=14613 1717.56/1718.21 c nbDecision=580000 #constraints=14627 1719.25/1719.92 c nbDecision=580500 #constraints=14640 1720.76/1721.50 c nbDecision=581000 #constraints=14648 1722.96/1723.62 c nbDecision=581500 #constraints=14671 1724.76/1725.42 c nbDecision=582000 #constraints=14686 1727.16/1727.81 c nbDecision=582500 #constraints=14706 1728.95/1729.64 c nbDecision=583000 #constraints=14725 1730.85/1731.54 c nbDecision=583500 #constraints=14740 1733.35/1734.08 c nbDecision=584000 #constraints=14760 1735.65/1736.33 c nbDecision=584500 #constraints=14781 1737.85/1738.58 c nbDecision=585000 #constraints=14798 1741.25/1741.97 c nbDecision=585500 #constraints=14827 1743.35/1744.08 c nbDecision=586000 #constraints=14842 1745.74/1746.43 c nbDecision=586500 #constraints=14858 1747.75/1748.45 c nbDecision=587000 #constraints=14874 1750.15/1750.80 c nbDecision=587500 #constraints=14886 1751.94/1752.67 c nbDecision=588000 #constraints=14896 1753.34/1754.02 c nbDecision=588500 #constraints=14896 1754.64/1755.33 c nbDecision=589000 #constraints=14896 1756.35/1757.02 c nbDecision=589500 #constraints=14908 1758.35/1759.03 c nbDecision=590000 #constraints=14929 1759.65/1760.31 c nbDecision=590500 #constraints=14929 1761.94/1762.62 c nbDecision=591000 #constraints=14957 1764.05/1764.71 c nbDecision=591500 #constraints=14975 1766.15/1766.84 c nbDecision=592000 #constraints=14996 1768.44/1769.11 c nbDecision=592500 #constraints=15010 1770.54/1771.27 c nbDecision=593000 #constraints=15032 1773.54/1774.27 c nbDecision=593500 #constraints=15065 1775.94/1776.65 c nbDecision=594000 #constraints=15080 1779.04/1779.80 c nbDecision=594500 #constraints=15108 1782.24/1782.90 c nbDecision=595000 #constraints=15133 1785.84/1786.58 c nbDecision=595500 #constraints=15164 1788.83/1789.53 c nbDecision=596000 #constraints=15184 1791.53/1792.20 c nbDecision=596500 #constraints=15204 1793.84/1794.59 c nbDecision=597000 #constraints=15221 1796.43/1797.15 c nbDecision=597500 #constraints=15237 1799.13/1799.81 c nbDecision=598000 #constraints=15254 1800.04/1800.71 Received signal 15 1800.04/1800.71 1800.04/1800.71 s UNKNOWN 1800.04/1800.71 1800.04/1800.71 c user time= 1799.44 s 1800.04/1800.71 c system time= 0.608907 s 1800.04/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-357305-1176993909 -o ROOT/results/node65/solver-357305-1176993909 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357305-1176993909/instance-357305-1176993909.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: 1.04 1.02 1.00 3/64 9753 /proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=1468 CPUtime=0 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175380599 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 367 160 127 317 0 46 0 [startup+0.00653109 s] /proc/loadavg: 1.04 1.02 1.00 3/64 9753 /proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=1468 CPUtime=0 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175380599 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 367 162 127 317 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.101538 s] /proc/loadavg: 1.04 1.02 1.00 3/64 9753 /proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=3692 CPUtime=0.09 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 175380599 3780608 528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 923 531 127 317 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3692 [startup+0.301554 s] /proc/loadavg: 1.04 1.02 1.00 3/64 9753 /proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=5520 CPUtime=0.29 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 1541 0 0 0 29 0 0 0 19 0 1 0 175380599 5652480 1039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 1380 1039 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701588 s] /proc/loadavg: 1.04 1.02 1.00 3/64 9753 /proc/meminfo: memFree=1566600/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=9548 CPUtime=0.69 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 3048 0 0 0 68 1 0 0 22 0 1 0 175380599 9777152 2033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 2387 2033 128 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50165 s] /proc/loadavg: 1.03 1.02 1.00 2/65 9754 /proc/meminfo: memFree=1558080/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=18864 CPUtime=1.49 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 5371 0 0 0 146 3 0 0 25 0 1 0 175380599 19316736 4356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 4716 4356 131 317 0 4395 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18864 [startup+3.10179 s] /proc/loadavg: 1.03 1.02 1.00 2/65 9754 /proc/meminfo: memFree=1539648/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=49484 CPUtime=3.09 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 12930 0 0 0 302 7 0 0 25 0 1 0 175380599 50671616 11915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 12371 11916 131 317 0 12050 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49484 [startup+6.30105 s] /proc/loadavg: 1.03 1.02 1.00 2/65 9754 /proc/meminfo: memFree=1487040/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=91516 CPUtime=6.29 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 24287 0 0 0 616 13 0 0 25 0 1 0 175380599 93712384 22275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 22879 22275 137 317 0 22558 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91516 [startup+12.7026 s] /proc/loadavg: 1.03 1.02 1.00 2/65 9754 /proc/meminfo: memFree=1473984/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95476 CPUtime=12.69 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 1255 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23869 23247 138 317 0 23548 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 95476 [startup+25.5016 s] /proc/loadavg: 1.02 1.02 1.00 2/65 9754 /proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95476 CPUtime=25.49 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 2535 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23869 23247 138 317 0 23548 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95476 [startup+51.1018 s] /proc/loadavg: 1.01 1.02 1.00 2/65 9754 /proc/meminfo: memFree=1474176/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95476 CPUtime=51.07 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 5093 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23869 23247 138 317 0 23548 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95476 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9754 /proc/meminfo: memFree=1474240/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95476 CPUtime=102.26 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25259 0 0 0 10212 14 0 0 25 0 1 0 175380599 97767424 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23869 23247 138 317 0 23548 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 95476 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9754 /proc/meminfo: memFree=1474240/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95476 CPUtime=162.23 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25270 0 0 0 16209 14 0 0 25 0 1 0 175380599 97767424 23258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23869 23258 138 317 0 23548 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 95476 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95476 CPUtime=222.21 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25272 0 0 0 22207 14 0 0 25 0 1 0 175380599 97767424 23260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23869 23260 138 317 0 23548 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 95476 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1474176/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95604 CPUtime=282.19 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25283 0 0 0 28205 14 0 0 25 0 1 0 175380599 97898496 23271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23901 23271 138 317 0 23580 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 95604 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1474176/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95560 CPUtime=342.18 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25297 0 0 0 34203 15 0 0 25 0 1 0 175380599 97853440 23285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23890 23285 138 317 0 23569 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 95560 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95560 CPUtime=402.16 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25297 0 0 0 40201 15 0 0 25 0 1 0 175380599 97853440 23285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23890 23285 138 317 0 23569 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 95560 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1474112/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95560 CPUtime=462.15 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25297 0 0 0 46200 15 0 0 25 0 1 0 175380599 97853440 23285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23890 23285 138 317 0 23569 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 95560 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1474048/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95688 CPUtime=522.12 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25312 0 0 0 52197 15 0 0 25 0 1 0 175380599 97984512 23300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23922 23300 138 317 0 23601 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 95688 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1473984/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95816 CPUtime=582.11 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25334 0 0 0 58196 15 0 0 25 0 1 0 175380599 98115584 23322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23954 23322 138 317 0 23633 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 95816 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1473856/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95560 CPUtime=642.1 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25348 0 0 0 64194 16 0 0 25 0 1 0 175380599 97853440 23287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23890 23287 138 317 0 23569 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 95560 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1473920/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95816 CPUtime=882.02 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25385 0 0 0 88186 16 0 0 25 0 1 0 175380599 98115584 23324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23954 23324 138 317 0 23633 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 95816 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9754 /proc/meminfo: memFree=1473792/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=95816 CPUtime=942.01 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25409 0 0 0 94184 17 0 0 25 0 1 0 175380599 98115584 23348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 23954 23348 138 317 0 23633 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 95816 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 9930 /proc/meminfo: memFree=1471808/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=96984 CPUtime=1001.89 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 25680 0 0 0 100170 19 0 0 25 0 1 0 175380599 99311616 23533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 24246 23533 139 317 0 23925 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 96984 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1464640/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=106156 CPUtime=1061.86 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 27745 0 0 0 106166 20 0 0 25 0 1 0 175380599 108703744 25598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 26539 25598 139 317 0 26218 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 106156 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1430016/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=144340 CPUtime=1121.84 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 36464 0 0 0 112160 24 0 0 25 0 1 0 175380599 147804160 34204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 36085 34204 139 317 0 35764 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 144340 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 9952 /proc/meminfo: memFree=1385408/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=194380 CPUtime=1181.82 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 48676 0 0 0 118154 28 0 0 25 0 1 0 175380599 199045120 45350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 48595 45350 139 317 0 48274 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 194380 [startup+1242.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 9952 /proc/meminfo: memFree=1368640/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=213392 CPUtime=1241.8 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53126 0 0 0 124150 30 0 0 25 0 1 0 175380599 218513408 49533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 53348 49533 139 317 0 53027 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 213392 [startup+1302.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 9952 /proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=213392 CPUtime=1301.79 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53126 0 0 0 130149 30 0 0 25 0 1 0 175380599 218513408 49533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 53348 49533 139 317 0 53027 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 213392 [startup+1362.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 9952 /proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=213392 CPUtime=1361.76 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53126 0 0 0 136146 30 0 0 25 0 1 0 175380599 218513408 49533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 53348 49533 139 317 0 53027 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 213392 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/65 9952 /proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=213392 CPUtime=1421.75 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53132 0 0 0 142145 30 0 0 25 0 1 0 175380599 218513408 49539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 53348 49539 139 317 0 53027 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 213392 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9952 /proc/meminfo: memFree=1368576/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=213392 CPUtime=1481.73 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 53132 0 0 0 148142 31 0 0 25 0 1 0 175380599 218513408 49539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 53348 49539 139 317 0 53027 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 213392 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9952 /proc/meminfo: memFree=1362752/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=221464 CPUtime=1541.71 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 54837 0 0 0 154139 32 0 0 25 0 1 0 175380599 226779136 51241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 55366 51241 139 317 0 55045 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 221464 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1285632/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=307020 CPUtime=1601.7 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 77238 0 0 0 160129 41 0 0 25 0 1 0 175380599 314388480 70256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 76755 70256 139 317 0 76434 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 307020 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1241728/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=358996 CPUtime=1661.68 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 89993 0 0 0 166123 45 0 0 25 0 1 0 175380599 367611904 81528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 89749 81528 139 317 0 89428 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 358996 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1189888/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=420180 CPUtime=1721.65 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 105873 0 0 0 172115 50 0 0 25 0 1 0 175380599 430264320 94380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593381 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 105045 94380 139 317 0 104724 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 420180 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1109440/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=514552 CPUtime=1781.64 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 128401 0 0 0 178106 58 0 0 25 0 1 0 175380599 526901248 114389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 128638 114389 139 317 0 128317 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 514552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1078656/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=551476 CPUtime=1800.04 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194304 138373 0 0 0 179944 60 0 0 25 0 1 0 175380599 564711424 121865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606614 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 137869 121865 139 317 0 137548 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 551476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9952 /proc/meminfo: memFree=1078656/2055920 swapFree=4184012/4192956 [pid=9753] ppid=9751 vsize=0 CPUtime=1800.14 /proc/9753/stat : 9753 (oree) R 9751 9753 8643 0 -1 4194308 138389 0 0 0 179952 62 0 0 25 0 1 0 175380599 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9753/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.21 CPU user time (s): 1799.52 CPU system time (s): 0.686895 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 551608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.686895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138389 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= 3184 runsolver used 1.42178 second user time and 3.70244 second system time The end
Begin job on node65 on Thu Apr 19 14:45:10 UTC 2007 IDJOB= 357305 IDBENCH= 2369 IDSOLVER= 172 FILE ID= node65/357305-1176993909 PBS_JOBID= 4630420 Free space on /tmp= 66384 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb COMMAND LINE= oree /tmp/evaluation/357305-1176993909/instance-357305-1176993909.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-357305-1176993909 -o ROOT/results/node65/solver-357305-1176993909 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357305-1176993909/instance-357305-1176993909.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cc5d7ea426a09a5b1cb030d82bbe1743 RANDOM SEED= 789898808 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1567072 kB Buffers: 28108 kB Cached: 405536 kB SwapCached: 2712 kB Active: 222524 kB Inactive: 225440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1567072 kB SwapTotal: 4192956 kB SwapFree: 4184012 kB Dirty: 17836 kB Writeback: 0 kB Mapped: 20344 kB Slab: 26880 kB Committed_AS: 2290160 kB PageTables: 1468 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= 66384 MiB End job on node65 on Thu Apr 19 15:15:13 UTC 2007