Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1801.08 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-cycle.opb |
MD5SUM | 761eaefb829e7d3bf060fd5b86600997 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -1 |
Best CPU time to get the best result obtained on this benchmark | 1782.84 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 84737 |
Total number of constraints | 1802 |
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 | 1802 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1470 |
Number of terms in the objective function | 9240 |
Biggest coefficient in the objective function | 16197 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531823 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531823 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.60/1.65 c ...done 1.60/1.65 c #vars=84737 #constraints=3177 hasObjective=yes 2.09/2.13 c res. mode=mod 2.09/2.13 c VSIDS like heuristics 2.09/2.13 c complete search running 3.39/3.45 c restart after 401 decisions 3.69/3.73 c nbDecision=500 #constraints=3211 4.39/4.48 c restart after 801 decisions 4.89/4.99 c nbDecision=1000 #constraints=3253 6.19/6.23 c nbDecision=1500 #constraints=3287 6.39/6.50 c restart after 1601 decisions 7.39/7.48 c nbDecision=2000 #constraints=3324 8.70/8.70 c nbDecision=2500 #constraints=3345 9.89/9.93 c nbDecision=3000 #constraints=3371 10.39/10.48 c restart after 3201 decisions 11.09/11.18 c nbDecision=3500 #constraints=3411 12.39/12.43 c nbDecision=4000 #constraints=3457 13.59/13.69 c nbDecision=4500 #constraints=3501 14.79/14.88 c nbDecision=5000 #constraints=3518 16.19/16.23 c nbDecision=5500 #constraints=3591 17.68/17.77 c nbDecision=6000 #constraints=3733 18.88/19.00 c restart after 6401 decisions 19.18/19.28 c nbDecision=6500 #constraints=3847 20.48/20.51 c nbDecision=7000 #constraints=3877 21.68/21.78 c nbDecision=7500 #constraints=3925 23.18/23.26 c nbDecision=8000 #constraints=4045 24.68/24.80 c nbDecision=8500 #constraints=4171 26.18/26.22 c nbDecision=9000 #constraints=4250 27.88/27.93 c nbDecision=9500 #constraints=4354 29.59/29.62 c nbDecision=10000 #constraints=4440 31.08/31.16 c nbDecision=10500 #constraints=4509 32.58/32.63 c nbDecision=11000 #constraints=4563 34.18/34.23 c nbDecision=11500 #constraints=4644 35.68/35.70 c nbDecision=12000 #constraints=4703 37.47/37.52 c nbDecision=12500 #constraints=4804 38.67/38.72 c restart after 12801 decisions 39.17/39.25 c nbDecision=13000 #constraints=4887 40.37/40.47 c nbDecision=13500 #constraints=4904 41.77/41.84 c nbDecision=14000 #constraints=4980 43.57/43.67 c nbDecision=14500 #constraints=5061 45.27/45.39 c nbDecision=15000 #constraints=5134 46.86/46.93 c nbDecision=15500 #constraints=5169 48.57/48.69 c nbDecision=16000 #constraints=5246 50.07/50.13 c nbDecision=16500 #constraints=5269 51.57/51.69 c nbDecision=17000 #constraints=5314 53.16/53.28 c nbDecision=17500 #constraints=5369 54.76/54.88 c nbDecision=18000 #constraints=5431 56.27/56.39 c nbDecision=18500 #constraints=5486 58.06/58.18 c nbDecision=19000 #constraints=5570 59.86/59.95 c nbDecision=19500 #constraints=5647 61.36/61.46 c nbDecision=20000 #constraints=5677 62.96/63.01 c nbDecision=20500 #constraints=5716 64.66/64.73 c nbDecision=21000 #constraints=5820 66.06/66.19 c nbDecision=21500 #constraints=5893 67.66/67.77 c nbDecision=22000 #constraints=6029 69.06/69.17 c nbDecision=22500 #constraints=6105 70.46/70.54 c nbDecision=23000 #constraints=6182 71.75/71.84 c nbDecision=23500 #constraints=6236 73.15/73.24 c nbDecision=24000 #constraints=6305 74.55/74.64 c nbDecision=24500 #constraints=6329 76.06/76.16 c nbDecision=25000 #constraints=6361 77.56/77.66 c nbDecision=25500 #constraints=6378 77.86/77.95 c restart after 25601 decisions 78.96/79.01 c nbDecision=26000 #constraints=6418 80.16/80.23 c nbDecision=26500 #constraints=6434 81.75/81.80 c nbDecision=27000 #constraints=6528 83.35/83.48 c nbDecision=27500 #constraints=6590 85.06/85.19 c nbDecision=28000 #constraints=6650 86.86/86.91 c nbDecision=28500 #constraints=6706 88.35/88.43 c nbDecision=29000 #constraints=6732 89.95/90.09 c nbDecision=29500 #constraints=6771 91.65/91.74 c nbDecision=30000 #constraints=6809 94.15/94.26 c nbDecision=30500 #constraints=6958 96.76/96.87 c nbDecision=31000 #constraints=7058 99.44/99.60 c nbDecision=31500 #constraints=7154 102.55/102.62 c nbDecision=32000 #constraints=7267 104.84/104.96 c nbDecision=32500 #constraints=7346 107.14/107.26 c nbDecision=33000 #constraints=7415 108.94/109.07 c nbDecision=33500 #constraints=7505 110.44/110.52 c nbDecision=34000 #constraints=7582 112.15/112.23 c nbDecision=34500 #constraints=7723 113.54/113.64 c nbDecision=35000 #constraints=7788 115.04/115.13 c nbDecision=35500 #constraints=7869 116.45/116.59 c nbDecision=36000 #constraints=7936 117.94/118.07 c nbDecision=36500 #constraints=8013 119.34/119.50 c nbDecision=37000 #constraints=8080 120.74/120.84 c nbDecision=37500 #constraints=8129 122.14/122.21 c nbDecision=38000 #constraints=8176 123.54/123.69 c nbDecision=38500 #constraints=8256 124.94/125.00 c nbDecision=39000 #constraints=8288 126.24/126.32 c nbDecision=39500 #constraints=8321 127.84/127.91 c nbDecision=40000 #constraints=8351 129.54/129.63 c nbDecision=40500 #constraints=8383 132.04/132.15 c nbDecision=41000 #constraints=8463 134.04/134.13 c nbDecision=41500 #constraints=8496 136.33/136.41 c nbDecision=42000 #constraints=8581 138.84/138.96 c nbDecision=42500 #constraints=8675 140.33/140.43 c nbDecision=43000 #constraints=8728 142.03/142.10 c nbDecision=43500 #constraints=8831 143.73/143.83 c nbDecision=44000 #constraints=8942 145.33/145.42 c nbDecision=44500 #constraints=9023 146.83/146.94 c nbDecision=45000 #constraints=9096 148.63/148.71 c nbDecision=45500 #constraints=9194 150.23/150.31 c nbDecision=46000 #constraints=9270 151.82/151.91 c nbDecision=46500 #constraints=9337 153.22/153.31 c nbDecision=47000 #constraints=9384 154.42/154.59 c nbDecision=47500 #constraints=9417 155.72/155.83 c nbDecision=48000 #constraints=9438 157.02/157.15 c nbDecision=48500 #constraints=9470 158.32/158.43 c nbDecision=49000 #constraints=9499 159.73/159.81 c nbDecision=49500 #constraints=9537 161.73/161.82 c nbDecision=50000 #constraints=9583 163.63/163.79 c nbDecision=50500 #constraints=9623 166.22/166.35 c nbDecision=51000 #constraints=9719 167.32/167.48 c restart after 51201 decisions 168.22/168.31 c nbDecision=51500 #constraints=9781 169.42/169.57 c nbDecision=52000 #constraints=9806 170.92/171.08 c nbDecision=52500 #constraints=9840 173.12/173.24 c nbDecision=53000 #constraints=9887 175.42/175.52 c nbDecision=53500 #constraints=9929 177.22/177.32 c nbDecision=54000 #constraints=9957 179.32/179.45 c nbDecision=54500 #constraints=10067 181.32/181.44 c nbDecision=55000 #constraints=10175 183.31/183.46 c nbDecision=55500 #constraints=10291 184.92/185.09 c nbDecision=56000 #constraints=10354 186.82/186.99 c nbDecision=56500 #constraints=10450 188.52/188.61 c nbDecision=57000 #constraints=10514 190.31/190.45 c nbDecision=57500 #constraints=10600 192.01/192.14 c nbDecision=58000 #constraints=10666 193.51/193.69 c nbDecision=58500 #constraints=10727 194.92/195.04 c nbDecision=59000 #constraints=10773 196.22/196.34 c nbDecision=59500 #constraints=10802 197.42/197.58 c nbDecision=60000 #constraints=10826 198.81/199.00 c nbDecision=60500 #constraints=10874 200.51/200.61 c nbDecision=61000 #constraints=10940 201.91/202.05 c nbDecision=61500 #constraints=10970 203.41/203.55 c nbDecision=62000 #constraints=11015 205.01/205.13 c nbDecision=62500 #constraints=11061 206.31/206.41 c nbDecision=63000 #constraints=11066 207.61/207.72 c nbDecision=63500 #constraints=11090 209.31/209.40 c nbDecision=64000 #constraints=11160 210.61/210.78 c nbDecision=64500 #constraints=11207 211.90/212.08 c nbDecision=65000 #constraints=11227 213.10/213.29 c nbDecision=65500 #constraints=11238 214.50/214.63 c nbDecision=66000 #constraints=11264 215.80/215.96 c nbDecision=66500 #constraints=11295 217.10/217.28 c nbDecision=67000 #constraints=11316 218.51/218.69 c nbDecision=67500 #constraints=11342 219.91/220.02 c nbDecision=68000 #constraints=11368 221.21/221.32 c nbDecision=68500 #constraints=11389 222.40/222.58 c nbDecision=69000 #constraints=11408 223.70/223.88 c nbDecision=69500 #constraints=11426 225.00/225.13 c nbDecision=70000 #constraints=11438 226.30/226.41 c nbDecision=70500 #constraints=11457 227.61/227.73 c nbDecision=71000 #constraints=11471 228.90/229.01 c nbDecision=71500 #constraints=11478 230.40/230.51 c nbDecision=72000 #constraints=11505 232.30/232.45 c nbDecision=72500 #constraints=11592 234.30/234.48 c nbDecision=73000 #constraints=11682 236.00/236.18 c nbDecision=73500 #constraints=11738 237.50/237.67 c nbDecision=74000 #constraints=11778 238.79/238.98 c nbDecision=74500 #constraints=11797 240.19/240.30 c nbDecision=75000 #constraints=11820 241.49/241.68 c nbDecision=75500 #constraints=11843 243.29/243.43 c nbDecision=76000 #constraints=11888 245.49/245.69 c nbDecision=76500 #constraints=11990 248.10/248.23 c nbDecision=77000 #constraints=12075 249.60/249.73 c nbDecision=77500 #constraints=12123 250.89/251.07 c nbDecision=78000 #constraints=12150 252.29/252.48 c nbDecision=78500 #constraints=12190 253.79/253.94 c nbDecision=79000 #constraints=12229 255.09/255.24 c nbDecision=79500 #constraints=12248 256.39/256.56 c nbDecision=80000 #constraints=12265 257.68/257.80 c nbDecision=80500 #constraints=12274 258.88/259.04 c nbDecision=81000 #constraints=12281 260.28/260.44 c nbDecision=81500 #constraints=12318 261.59/261.76 c nbDecision=82000 #constraints=12327 262.98/263.11 c nbDecision=82500 #constraints=12344 264.38/264.50 c nbDecision=83000 #constraints=12370 265.68/265.81 c nbDecision=83500 #constraints=12384 267.09/267.26 c nbDecision=84000 #constraints=12419 268.49/268.61 c nbDecision=84500 #constraints=12431 269.79/269.91 c nbDecision=85000 #constraints=12440 271.08/271.20 c nbDecision=85500 #constraints=12459 272.28/272.48 c nbDecision=86000 #constraints=12474 273.88/274.09 c nbDecision=86500 #constraints=12507 275.58/275.79 c nbDecision=87000 #constraints=12570 277.58/277.77 c nbDecision=87500 #constraints=12685 279.38/279.54 c nbDecision=88000 #constraints=12749 281.28/281.46 c nbDecision=88500 #constraints=12839 283.18/283.36 c nbDecision=89000 #constraints=12914 284.78/284.94 c nbDecision=89500 #constraints=12935 286.58/286.79 c nbDecision=90000 #constraints=13008 288.27/288.43 c nbDecision=90500 #constraints=13038 289.87/290.04 c nbDecision=91000 #constraints=13070 291.38/291.55 c nbDecision=91500 #constraints=13117 292.87/293.00 c nbDecision=92000 #constraints=13157 294.27/294.46 c nbDecision=92500 #constraints=13200 295.67/295.87 c nbDecision=93000 #constraints=13220 297.48/297.68 c nbDecision=93500 #constraints=13251 299.87/300.01 c nbDecision=94000 #constraints=13301 302.28/302.45 c nbDecision=94500 #constraints=13345 304.47/304.69 c nbDecision=95000 #constraints=13372 306.87/307.05 c nbDecision=95500 #constraints=13426 309.07/309.26 c nbDecision=96000 #constraints=13459 311.37/311.52 c nbDecision=96500 #constraints=13501 313.16/313.31 c nbDecision=97000 #constraints=13575 314.96/315.18 c nbDecision=97500 #constraints=13631 316.46/316.62 c nbDecision=98000 #constraints=13659 317.86/318.01 c nbDecision=98500 #constraints=13686 319.06/319.28 c nbDecision=99000 #constraints=13694 320.46/320.64 c nbDecision=99500 #constraints=13708 321.76/321.96 c nbDecision=100000 #constraints=13727 323.16/323.37 c nbDecision=100500 #constraints=13752 324.56/324.71 c nbDecision=101000 #constraints=13775 325.85/326.00 c nbDecision=101500 #constraints=13783 327.15/327.35 c nbDecision=102000 #constraints=13803 328.15/328.37 c restart after 102401 decisions 328.55/328.72 c nbDecision=102500 #constraints=13810 329.76/329.98 c nbDecision=103000 #constraints=13829 331.05/331.27 c nbDecision=103500 #constraints=13851 333.26/333.48 c nbDecision=104000 #constraints=13873 335.76/335.98 c nbDecision=104500 #constraints=13923 337.96/338.11 c nbDecision=105000 #constraints=13946 340.16/340.33 c nbDecision=105500 #constraints=13986 342.35/342.57 c nbDecision=106000 #constraints=14012 344.55/344.79 c nbDecision=106500 #constraints=14084 346.65/346.80 c nbDecision=107000 #constraints=14156 348.05/348.28 c nbDecision=107500 #constraints=14175 349.75/349.91 c nbDecision=108000 #constraints=14214 351.25/351.41 c nbDecision=108500 #constraints=14240 352.55/352.77 c nbDecision=109000 #constraints=14252 354.05/354.25 c nbDecision=109500 #constraints=14279 355.44/355.65 c nbDecision=110000 #constraints=14299 356.84/357.02 c nbDecision=110500 #constraints=14314 358.14/358.33 c nbDecision=111000 #constraints=14325 359.54/359.70 c nbDecision=111500 #constraints=14342 361.04/361.22 c nbDecision=112000 #constraints=14367 362.44/362.66 c nbDecision=112500 #constraints=14393 363.95/364.11 c nbDecision=113000 #constraints=14410 365.34/365.57 c nbDecision=113500 #constraints=14436 366.74/366.96 c nbDecision=114000 #constraints=14455 368.25/368.41 c nbDecision=114500 #constraints=14481 369.84/370.03 c nbDecision=115000 #constraints=14507 371.34/371.55 c nbDecision=115500 #constraints=14528 372.84/373.07 c nbDecision=116000 #constraints=14547 374.34/374.53 c nbDecision=116500 #constraints=14555 375.83/376.06 c nbDecision=117000 #constraints=14583 377.24/377.47 c nbDecision=117500 #constraints=14604 378.54/378.79 c nbDecision=118000 #constraints=14614 379.94/380.14 c nbDecision=118500 #constraints=14622 381.34/381.55 c nbDecision=119000 #constraints=14637 382.74/382.99 c nbDecision=119500 #constraints=14671 384.14/384.34 c nbDecision=120000 #constraints=14686 385.44/385.65 c nbDecision=120500 #constraints=14696 386.84/387.07 c nbDecision=121000 #constraints=14705 388.34/388.58 c nbDecision=121500 #constraints=14732 389.93/390.14 c nbDecision=122000 #constraints=14762 391.53/391.70 c nbDecision=122500 #constraints=14779 392.93/393.13 c nbDecision=123000 #constraints=14790 394.33/394.50 c nbDecision=123500 #constraints=14797 395.73/395.96 c nbDecision=124000 #constraints=14814 397.13/397.36 c nbDecision=124500 #constraints=14825 398.63/398.87 c nbDecision=125000 #constraints=14846 400.13/400.35 c nbDecision=125500 #constraints=14859 401.53/401.75 c nbDecision=126000 #constraints=14866 402.83/403.09 c nbDecision=126500 #constraints=14879 404.22/404.43 c nbDecision=127000 #constraints=14894 405.63/405.82 c nbDecision=127500 #constraints=14909 407.12/407.34 c nbDecision=128000 #constraints=14927 408.73/408.90 c nbDecision=128500 #constraints=14950 410.13/410.37 c nbDecision=129000 #constraints=14962 411.53/411.71 c nbDecision=129500 #constraints=14980 412.93/413.10 c nbDecision=130000 #constraints=14992 414.23/414.45 c nbDecision=130500 #constraints=15012 415.63/415.83 c nbDecision=131000 #constraints=15021 417.03/417.27 c nbDecision=131500 #constraints=15029 418.42/418.69 c nbDecision=132000 #constraints=15037 419.92/420.10 c nbDecision=132500 #constraints=15052 421.51/421.73 c nbDecision=133000 #constraints=15081 423.11/423.34 c nbDecision=133500 #constraints=15103 424.71/424.91 c nbDecision=134000 #constraints=15129 426.31/426.52 c nbDecision=134500 #constraints=15153 427.91/428.12 c nbDecision=135000 #constraints=15168 429.41/429.67 c nbDecision=135500 #constraints=15182 430.91/431.18 c nbDecision=136000 #constraints=15190 432.51/432.77 c nbDecision=136500 #constraints=15211 434.01/434.24 c nbDecision=137000 #constraints=15223 435.81/436.03 c nbDecision=137500 #constraints=15267 437.31/437.54 c nbDecision=138000 #constraints=15273 438.81/439.04 c nbDecision=138500 #constraints=15284 440.51/440.70 c nbDecision=139000 #constraints=15307 442.11/442.33 c nbDecision=139500 #constraints=15329 443.61/443.80 c nbDecision=140000 #constraints=15336 445.01/445.28 c nbDecision=140500 #constraints=15351 446.61/446.82 c nbDecision=141000 #constraints=15364 448.11/448.39 c nbDecision=141500 #constraints=15376 449.61/449.83 c nbDecision=142000 #constraints=15386 451.21/451.47 c nbDecision=142500 #constraints=15412 452.81/453.08 c nbDecision=143000 #constraints=15428 454.30/454.53 c nbDecision=143500 #constraints=15434 455.70/456.00 c nbDecision=144000 #constraints=15455 457.20/457.46 c nbDecision=144500 #constraints=15467 458.80/459.02 c nbDecision=145000 #constraints=15481 460.31/460.59 c nbDecision=145500 #constraints=15489 461.71/461.99 c nbDecision=146000 #constraints=15506 463.20/463.44 c nbDecision=146500 #constraints=15524 464.80/465.07 c nbDecision=147000 #constraints=15547 466.40/466.68 c nbDecision=147500 #constraints=15562 468.10/468.30 c nbDecision=148000 #constraints=15583 469.70/469.90 c nbDecision=148500 #constraints=15605 471.50/471.73 c nbDecision=149000 #constraints=15655 473.29/473.59 c nbDecision=149500 #constraints=15728 475.20/475.41 c nbDecision=150000 #constraints=15779 476.90/477.13 c nbDecision=150500 #constraints=15810 478.50/478.79 c nbDecision=151000 #constraints=15833 480.20/480.46 c nbDecision=151500 #constraints=15854 481.80/482.05 c nbDecision=152000 #constraints=15862 483.10/483.35 c nbDecision=152500 #constraints=15870 484.50/484.79 c nbDecision=153000 #constraints=15888 486.00/486.22 c nbDecision=153500 #constraints=15903 487.39/487.64 c nbDecision=154000 #constraints=15917 488.79/489.02 c nbDecision=154500 #constraints=15926 490.09/490.32 c nbDecision=155000 #constraints=15935 491.69/491.90 c nbDecision=155500 #constraints=15960 493.59/493.89 c nbDecision=156000 #constraints=16035 495.59/495.89 c nbDecision=156500 #constraints=16106 497.39/497.63 c nbDecision=157000 #constraints=16130 499.09/499.37 c nbDecision=157500 #constraints=16148 500.99/501.24 c nbDecision=158000 #constraints=16172 502.78/503.01 c nbDecision=158500 #constraints=16195 504.28/504.59 c nbDecision=159000 #constraints=16225 505.98/506.28 c nbDecision=159500 #constraints=16245 507.78/508.06 c nbDecision=160000 #constraints=16269 509.58/509.87 c nbDecision=160500 #constraints=16298 511.38/511.64 c nbDecision=161000 #constraints=16344 513.09/513.39 c nbDecision=161500 #constraints=16409 514.59/514.88 c nbDecision=162000 #constraints=16419 516.38/516.64 c nbDecision=162500 #constraints=16462 518.28/518.58 c nbDecision=163000 #constraints=16520 520.18/520.49 c nbDecision=163500 #constraints=16564 521.98/522.24 c nbDecision=164000 #constraints=16583 523.68/523.93 c nbDecision=164500 #constraints=16595 525.48/525.71 c nbDecision=165000 #constraints=16609 527.17/527.47 c nbDecision=165500 #constraints=16646 528.88/529.12 c nbDecision=166000 #constraints=16689 530.27/530.52 c nbDecision=166500 #constraints=16705 531.77/532.00 c nbDecision=167000 #constraints=16713 533.27/533.54 c nbDecision=167500 #constraints=16729 534.77/535.04 c nbDecision=168000 #constraints=16754 536.37/536.66 c nbDecision=168500 #constraints=16797 537.97/538.27 c nbDecision=169000 #constraints=16811 539.66/539.94 c nbDecision=169500 #constraints=16849 541.26/541.52 c nbDecision=170000 #constraints=16865 542.76/543.07 c nbDecision=170500 #constraints=16886 544.16/544.49 c nbDecision=171000 #constraints=16898 546.26/546.52 c nbDecision=171500 #constraints=16931 548.17/548.49 c nbDecision=172000 #constraints=16959 549.97/550.22 c nbDecision=172500 #constraints=17004 551.87/552.16 c nbDecision=173000 #constraints=17057 553.86/554.20 c nbDecision=173500 #constraints=17109 555.46/555.75 c nbDecision=174000 #constraints=17127 556.96/557.23 c nbDecision=174500 #constraints=17143 558.66/558.90 c nbDecision=175000 #constraints=17189 560.76/561.07 c nbDecision=175500 #constraints=17273 562.76/563.09 c nbDecision=176000 #constraints=17331 564.86/565.10 c nbDecision=176500 #constraints=17390 566.85/567.10 c nbDecision=177000 #constraints=17432 568.65/568.92 c nbDecision=177500 #constraints=17454 570.35/570.62 c nbDecision=178000 #constraints=17471 571.95/572.22 c nbDecision=178500 #constraints=17493 573.65/573.95 c nbDecision=179000 #constraints=17531 575.15/575.44 c nbDecision=179500 #constraints=17547 576.66/576.96 c nbDecision=180000 #constraints=17565 578.26/578.59 c nbDecision=180500 #constraints=17599 580.15/580.46 c nbDecision=181000 #constraints=17615 582.45/582.77 c nbDecision=181500 #constraints=17671 584.35/584.68 c nbDecision=182000 #constraints=17701 585.95/586.28 c nbDecision=182500 #constraints=17724 588.15/588.44 c nbDecision=183000 #constraints=17785 590.14/590.43 c nbDecision=183500 #constraints=17823 591.84/592.10 c nbDecision=184000 #constraints=17832 593.55/593.90 c nbDecision=184500 #constraints=17845 595.55/595.81 c nbDecision=185000 #constraints=17870 597.15/597.40 c nbDecision=185500 #constraints=17878 598.55/598.80 c nbDecision=186000 #constraints=17887 600.54/600.85 c nbDecision=186500 #constraints=17952 602.74/603.05 c nbDecision=187000 #constraints=18000 604.64/604.94 c nbDecision=187500 #constraints=18031 606.44/606.78 c nbDecision=188000 #constraints=18061 608.54/608.83 c nbDecision=188500 #constraints=18128 610.44/610.75 c nbDecision=189000 #constraints=18173 612.24/612.57 c nbDecision=189500 #constraints=18207 614.23/614.58 c nbDecision=190000 #constraints=18274 616.13/616.46 c nbDecision=190500 #constraints=18306 618.04/618.30 c nbDecision=191000 #constraints=18338 619.54/619.84 c nbDecision=191500 #constraints=18346 621.03/621.33 c nbDecision=192000 #constraints=18353 622.53/622.81 c nbDecision=192500 #constraints=18357 623.93/624.20 c nbDecision=193000 #constraints=18362 625.33/625.61 c nbDecision=193500 #constraints=18369 627.13/627.42 c nbDecision=194000 #constraints=18427 628.73/629.07 c nbDecision=194500 #constraints=18456 630.13/630.48 c nbDecision=195000 #constraints=18462 631.63/631.92 c nbDecision=195500 #constraints=18473 633.43/633.78 c nbDecision=196000 #constraints=18488 635.63/635.91 c nbDecision=196500 #constraints=18528 637.32/637.62 c nbDecision=197000 #constraints=18540 638.92/639.20 c nbDecision=197500 #constraints=18551 640.42/640.74 c nbDecision=198000 #constraints=18565 642.02/642.35 c nbDecision=198500 #constraints=18594 643.83/644.18 c nbDecision=199000 #constraints=18626 645.73/646.08 c nbDecision=199500 #constraints=18650 647.72/648.09 c nbDecision=200000 #constraints=18691 649.62/649.99 c nbDecision=200500 #constraints=18709 651.42/651.72 c nbDecision=201000 #constraints=18717 653.13/653.43 c nbDecision=201500 #constraints=18737 654.72/655.09 c nbDecision=202000 #constraints=18759 656.52/656.85 c nbDecision=202500 #constraints=18780 658.32/658.69 c nbDecision=203000 #constraints=18792 660.42/660.71 c nbDecision=203500 #constraints=18823 662.02/662.34 c nbDecision=204000 #constraints=18863 663.61/663.93 c nbDecision=204500 #constraints=18889 664.91/665.24 c restart after 204801 decisions 665.51/665.87 c nbDecision=205000 #constraints=18906 666.91/667.20 c nbDecision=205500 #constraints=18924 668.41/668.80 c nbDecision=206000 #constraints=18965 671.22/671.54 c nbDecision=206500 #constraints=19001 673.82/674.19 c nbDecision=207000 #constraints=19014 675.61/675.97 c nbDecision=207500 #constraints=19066 678.11/678.49 c nbDecision=208000 #constraints=19161 680.31/680.62 c nbDecision=208500 #constraints=19251 682.01/682.32 c nbDecision=209000 #constraints=19306 683.41/683.79 c nbDecision=209500 #constraints=19329 685.31/685.69 c nbDecision=210000 #constraints=19365 687.50/687.88 c nbDecision=210500 #constraints=19439 689.71/690.03 c nbDecision=211000 #constraints=19508 691.51/691.82 c nbDecision=211500 #constraints=19553 693.81/694.17 c nbDecision=212000 #constraints=19645 696.00/696.38 c nbDecision=212500 #constraints=19717 697.91/698.20 c nbDecision=213000 #constraints=19755 699.90/700.27 c nbDecision=213500 #constraints=19814 702.20/702.56 c nbDecision=214000 #constraints=19894 704.60/704.91 c nbDecision=214500 #constraints=19971 706.70/707.04 c nbDecision=215000 #constraints=20035 708.80/709.13 c nbDecision=215500 #constraints=20086 710.30/710.66 c nbDecision=216000 #constraints=20114 711.70/712.05 c nbDecision=216500 #constraints=20125 713.29/713.67 c nbDecision=217000 #constraints=20156 714.99/715.37 c nbDecision=217500 #constraints=20186 716.39/716.74 c nbDecision=218000 #constraints=20196 717.90/718.25 c nbDecision=218500 #constraints=20220 719.59/719.97 c nbDecision=219000 #constraints=20250 722.09/722.45 c nbDecision=219500 #constraints=20330 724.39/724.75 c nbDecision=220000 #constraints=20378 726.09/726.47 c nbDecision=220500 #constraints=20399 728.09/728.43 c nbDecision=221000 #constraints=20435 729.89/730.29 c nbDecision=221500 #constraints=20467 732.20/732.54 c nbDecision=222000 #constraints=20513 734.39/734.78 c nbDecision=222500 #constraints=20549 736.19/736.56 c nbDecision=223000 #constraints=20582 737.69/738.00 c nbDecision=223500 #constraints=20597 739.18/739.50 c nbDecision=224000 #constraints=20616 741.18/741.59 c nbDecision=224500 #constraints=20652 743.38/743.72 c nbDecision=225000 #constraints=20689 745.39/745.75 c nbDecision=225500 #constraints=20718 747.18/747.51 c nbDecision=226000 #constraints=20744 748.98/749.32 c nbDecision=226500 #constraints=20759 751.08/751.40 c nbDecision=227000 #constraints=20801 753.18/753.51 c nbDecision=227500 #constraints=20852 755.57/755.96 c nbDecision=228000 #constraints=20897 758.07/758.46 c nbDecision=228500 #constraints=20925 760.57/760.95 c nbDecision=229000 #constraints=20979 762.88/763.26 c nbDecision=229500 #constraints=21006 765.38/765.70 c nbDecision=230000 #constraints=21056 767.07/767.47 c nbDecision=230500 #constraints=21100 768.77/769.13 c nbDecision=231000 #constraints=21128 770.47/770.82 c nbDecision=231500 #constraints=21166 771.97/772.31 c nbDecision=232000 #constraints=21180 773.37/773.76 c nbDecision=232500 #constraints=21190 774.97/775.38 c nbDecision=233000 #constraints=21222 776.57/776.97 c nbDecision=233500 #constraints=21251 778.07/778.46 c nbDecision=234000 #constraints=21270 779.77/780.16 c nbDecision=234500 #constraints=21291 781.67/782.00 c nbDecision=235000 #constraints=21318 783.67/784.09 c nbDecision=235500 #constraints=21346 785.97/786.39 c nbDecision=236000 #constraints=21367 787.67/788.05 c nbDecision=236500 #constraints=21391 789.47/789.80 c nbDecision=237000 #constraints=21441 791.06/791.44 c nbDecision=237500 #constraints=21453 792.96/793.33 c nbDecision=238000 #constraints=21497 795.26/795.62 c nbDecision=238500 #constraints=21517 797.26/797.66 c nbDecision=239000 #constraints=21530 799.46/799.86 c nbDecision=239500 #constraints=21558 801.56/801.93 c nbDecision=240000 #constraints=21572 803.26/803.69 c nbDecision=240500 #constraints=21587 804.96/805.32 c nbDecision=241000 #constraints=21609 806.66/807.09 c nbDecision=241500 #constraints=21638 808.36/808.77 c nbDecision=242000 #constraints=21646 809.95/810.38 c nbDecision=242500 #constraints=21658 811.65/812.05 c nbDecision=243000 #constraints=21685 813.35/813.75 c nbDecision=243500 #constraints=21727 815.46/815.87 c nbDecision=244000 #constraints=21761 817.16/817.53 c nbDecision=244500 #constraints=21770 819.06/819.40 c nbDecision=245000 #constraints=21803 820.65/821.04 c nbDecision=245500 #constraints=21818 822.25/822.69 c nbDecision=246000 #constraints=21834 824.45/824.82 c nbDecision=246500 #constraints=21845 826.55/826.99 c nbDecision=247000 #constraints=21870 828.25/828.68 c nbDecision=247500 #constraints=21894 830.05/830.47 c nbDecision=248000 #constraints=21920 831.85/832.24 c nbDecision=248500 #constraints=21958 834.25/834.62 c nbDecision=249000 #constraints=22003 836.25/836.64 c nbDecision=249500 #constraints=22011 838.45/838.89 c nbDecision=250000 #constraints=22033 840.35/840.70 c nbDecision=250500 #constraints=22061 841.95/842.39 c nbDecision=251000 #constraints=22080 843.65/844.02 c nbDecision=251500 #constraints=22101 845.55/845.96 c nbDecision=252000 #constraints=22127 847.94/848.37 c nbDecision=252500 #constraints=22155 850.04/850.47 c nbDecision=253000 #constraints=22170 852.04/852.43 c nbDecision=253500 #constraints=22205 854.34/854.74 c nbDecision=254000 #constraints=22233 856.74/857.11 c nbDecision=254500 #constraints=22255 858.83/859.22 c nbDecision=255000 #constraints=22285 860.53/860.94 c nbDecision=255500 #constraints=22297 862.83/863.20 c nbDecision=256000 #constraints=22308 864.84/865.24 c nbDecision=256500 #constraints=22318 866.64/867.06 c nbDecision=257000 #constraints=22333 868.54/868.93 c nbDecision=257500 #constraints=22349 870.63/871.09 c nbDecision=258000 #constraints=22363 872.94/873.31 c nbDecision=258500 #constraints=22379 874.43/874.86 c nbDecision=259000 #constraints=22390 876.33/876.74 c nbDecision=259500 #constraints=22412 878.73/879.11 c nbDecision=260000 #constraints=22431 880.83/881.26 c nbDecision=260500 #constraints=22447 883.33/883.80 c nbDecision=261000 #constraints=22480 885.63/886.09 c nbDecision=261500 #constraints=22489 887.33/887.78 c nbDecision=262000 #constraints=22499 889.53/889.96 c nbDecision=262500 #constraints=22530 891.72/892.12 c nbDecision=263000 #constraints=22540 893.92/894.33 c nbDecision=263500 #constraints=22563 896.03/896.45 c nbDecision=264000 #constraints=22580 898.33/898.70 c nbDecision=264500 #constraints=22593 900.32/900.73 c nbDecision=265000 #constraints=22605 902.52/902.97 c nbDecision=265500 #constraints=22612 904.52/904.95 c nbDecision=266000 #constraints=22625 906.42/906.82 c nbDecision=266500 #constraints=22644 908.51/909.00 c nbDecision=267000 #constraints=22658 910.81/911.27 c nbDecision=267500 #constraints=22672 913.11/913.52 c nbDecision=268000 #constraints=22681 915.21/915.62 c nbDecision=268500 #constraints=22698 917.31/917.74 c nbDecision=269000 #constraints=22717 919.61/920.03 c nbDecision=269500 #constraints=22734 921.61/922.08 c nbDecision=270000 #constraints=22741 923.31/923.75 c nbDecision=270500 #constraints=22749 925.41/925.89 c nbDecision=271000 #constraints=22766 927.61/928.01 c nbDecision=271500 #constraints=22773 930.31/930.73 c nbDecision=272000 #constraints=22802 932.31/932.76 c nbDecision=272500 #constraints=22837 933.91/934.38 c nbDecision=273000 #constraints=22846 935.61/936.01 c nbDecision=273500 #constraints=22862 937.10/937.58 c nbDecision=274000 #constraints=22884 938.90/939.32 c nbDecision=274500 #constraints=22911 943.10/943.57 c nbDecision=275000 #constraints=23035 945.10/945.51 c nbDecision=275500 #constraints=23052 947.40/947.84 c nbDecision=276000 #constraints=23091 949.70/950.16 c nbDecision=276500 #constraints=23137 951.40/951.88 c nbDecision=277000 #constraints=23154 953.40/953.85 c nbDecision=277500 #constraints=23184 955.50/955.93 c nbDecision=278000 #constraints=23221 958.20/958.64 c nbDecision=278500 #constraints=23282 960.80/961.23 c nbDecision=279000 #constraints=23321 962.89/963.32 c nbDecision=279500 #constraints=23351 964.99/965.48 c nbDecision=280000 #constraints=23379 967.69/968.17 c nbDecision=280500 #constraints=23441 969.80/970.22 c nbDecision=281000 #constraints=23467 972.19/972.69 c nbDecision=281500 #constraints=23507 974.49/974.96 c nbDecision=282000 #constraints=23552 977.18/977.65 c nbDecision=282500 #constraints=23599 979.18/979.70 c nbDecision=283000 #constraints=23622 981.88/982.30 c nbDecision=283500 #constraints=23664 984.19/984.63 c nbDecision=284000 #constraints=23697 986.19/986.67 c nbDecision=284500 #constraints=23729 988.48/988.97 c nbDecision=285000 #constraints=23770 990.69/991.17 c nbDecision=285500 #constraints=23799 992.99/993.42 c nbDecision=286000 #constraints=23842 995.48/995.93 c nbDecision=286500 #constraints=23888 997.58/998.02 c nbDecision=287000 #constraints=23905 999.88/1000.36 c nbDecision=287500 #constraints=23939 1001.98/1002.47 c nbDecision=288000 #constraints=23970 1004.38/1004.82 c nbDecision=288500 #constraints=24003 1006.67/1007.11 c nbDecision=289000 #constraints=24041 1008.87/1009.38 c nbDecision=289500 #constraints=24067 1011.27/1011.77 c nbDecision=290000 #constraints=24095 1013.48/1013.91 c nbDecision=290500 #constraints=24126 1015.77/1016.30 c nbDecision=291000 #constraints=24167 1017.67/1018.13 c nbDecision=291500 #constraints=24180 1020.37/1020.88 c nbDecision=292000 #constraints=24238 1023.07/1023.50 c nbDecision=292500 #constraints=24267 1024.77/1025.21 c nbDecision=293000 #constraints=24273 1026.37/1026.87 c nbDecision=293500 #constraints=24281 1028.17/1028.67 c nbDecision=294000 #constraints=24296 1029.97/1030.40 c nbDecision=294500 #constraints=24302 1031.57/1032.07 c nbDecision=295000 #constraints=24309 1033.47/1033.96 c nbDecision=295500 #constraints=24354 1035.06/1035.59 c nbDecision=296000 #constraints=24366 1036.66/1037.16 c nbDecision=296500 #constraints=24385 1038.46/1038.97 c nbDecision=297000 #constraints=24404 1040.16/1040.62 c nbDecision=297500 #constraints=24411 1043.06/1043.59 c nbDecision=298000 #constraints=24459 1045.27/1045.70 c nbDecision=298500 #constraints=24479 1047.46/1047.93 c nbDecision=299000 #constraints=24500 1050.86/1051.39 c nbDecision=299500 #constraints=24585 1053.96/1054.41 c nbDecision=300000 #constraints=24662 1056.36/1056.87 c nbDecision=300500 #constraints=24709 1059.45/1059.91 c nbDecision=301000 #constraints=24777 1061.96/1062.48 c nbDecision=301500 #constraints=24823 1064.55/1065.04 c nbDecision=302000 #constraints=24882 1067.65/1068.13 c nbDecision=302500 #constraints=24948 1069.75/1070.25 c nbDecision=303000 #constraints=24985 1072.35/1072.80 c nbDecision=303500 #constraints=25047 1074.55/1075.06 c nbDecision=304000 #constraints=25076 1077.05/1077.56 c nbDecision=304500 #constraints=25117 1079.65/1080.20 c nbDecision=305000 #constraints=25150 1081.95/1082.42 c nbDecision=305500 #constraints=25173 1085.05/1085.52 c nbDecision=306000 #constraints=25227 1087.45/1087.93 c nbDecision=306500 #constraints=25262 1090.64/1091.18 c nbDecision=307000 #constraints=25307 1093.65/1094.11 c nbDecision=307500 #constraints=25356 1095.84/1096.39 c nbDecision=308000 #constraints=25381 1098.44/1098.93 c nbDecision=308500 #constraints=25417 1100.94/1101.41 c nbDecision=309000 #constraints=25447 1103.24/1103.79 c nbDecision=309500 #constraints=25464 1105.73/1106.25 c nbDecision=310000 #constraints=25509 1108.83/1109.30 c nbDecision=310500 #constraints=25570 1110.94/1111.42 c nbDecision=311000 #constraints=25591 1113.53/1114.00 c nbDecision=311500 #constraints=25628 1116.13/1116.63 c nbDecision=312000 #constraints=25651 1117.93/1118.49 c nbDecision=312500 #constraints=25672 1119.63/1120.15 c nbDecision=313000 #constraints=25687 1121.53/1122.02 c nbDecision=313500 #constraints=25699 1124.53/1125.00 c nbDecision=314000 #constraints=25751 1126.12/1126.61 c nbDecision=314500 #constraints=25760 1129.62/1130.13 c nbDecision=315000 #constraints=25810 1133.32/1133.86 c nbDecision=315500 #constraints=25870 1136.53/1137.01 c nbDecision=316000 #constraints=25916 1140.12/1140.63 c nbDecision=316500 #constraints=25970 1143.53/1144.06 c nbDecision=317000 #constraints=26003 1146.22/1146.73 c nbDecision=317500 #constraints=26020 1149.22/1149.72 c nbDecision=318000 #constraints=26055 1152.32/1152.86 c nbDecision=318500 #constraints=26113 1154.32/1154.83 c nbDecision=319000 #constraints=26129 1156.41/1156.91 c nbDecision=319500 #constraints=26149 1159.11/1159.60 c nbDecision=320000 #constraints=26182 1160.91/1161.44 c nbDecision=320500 #constraints=26191 1164.02/1164.58 c nbDecision=321000 #constraints=26238 1166.42/1166.93 c nbDecision=321500 #constraints=26260 1168.72/1169.29 c nbDecision=322000 #constraints=26289 1171.31/1171.88 c nbDecision=322500 #constraints=26320 1173.71/1174.27 c nbDecision=323000 #constraints=26368 1176.31/1176.80 c nbDecision=323500 #constraints=26389 1178.40/1178.97 c nbDecision=324000 #constraints=26411 1182.02/1182.58 c nbDecision=324500 #constraints=26456 1184.51/1185.04 c nbDecision=325000 #constraints=26483 1187.11/1187.63 c nbDecision=325500 #constraints=26509 1189.21/1189.72 c nbDecision=326000 #constraints=26523 1191.81/1192.31 c nbDecision=326500 #constraints=26553 1194.80/1195.36 c nbDecision=327000 #constraints=26614 1197.00/1197.55 c nbDecision=327500 #constraints=26628 1199.40/1199.93 c nbDecision=328000 #constraints=26643 1201.81/1202.31 c nbDecision=328500 #constraints=26658 1204.30/1204.83 c nbDecision=329000 #constraints=26678 1206.60/1207.18 c nbDecision=329500 #constraints=26696 1208.90/1209.48 c nbDecision=330000 #constraints=26700 1211.50/1212.00 c nbDecision=330500 #constraints=26718 1213.60/1214.11 c nbDecision=331000 #constraints=26752 1215.59/1216.10 c nbDecision=331500 #constraints=26789 1217.20/1217.71 c nbDecision=332000 #constraints=26796 1218.69/1219.27 c nbDecision=332500 #constraints=26806 1220.39/1220.93 c nbDecision=333000 #constraints=26835 1223.09/1223.62 c nbDecision=333500 #constraints=26862 1225.89/1226.45 c nbDecision=334000 #constraints=26911 1228.59/1229.18 c nbDecision=334500 #constraints=26945 1231.40/1231.95 c nbDecision=335000 #constraints=26983 1234.29/1234.85 c nbDecision=335500 #constraints=27027 1236.99/1237.50 c nbDecision=336000 #constraints=27051 1239.19/1239.77 c nbDecision=336500 #constraints=27074 1241.39/1241.96 c nbDecision=337000 #constraints=27088 1243.78/1244.30 c nbDecision=337500 #constraints=27120 1245.88/1246.46 c nbDecision=338000 #constraints=27143 1247.89/1248.40 c nbDecision=338500 #constraints=27158 1249.78/1250.32 c nbDecision=339000 #constraints=27175 1252.17/1252.73 c nbDecision=339500 #constraints=27219 1254.95/1255.55 c nbDecision=340000 #constraints=27266 1257.35/1257.91 c nbDecision=340500 #constraints=27275 1260.45/1261.06 c nbDecision=341000 #constraints=27323 1262.75/1263.38 c nbDecision=341500 #constraints=27344 1265.45/1266.00 c nbDecision=342000 #constraints=27370 1267.33/1267.92 c nbDecision=342500 #constraints=27399 1268.93/1269.58 c nbDecision=343000 #constraints=27413 1271.03/1271.66 c nbDecision=343500 #constraints=27451 1273.52/1274.15 c nbDecision=344000 #constraints=27503 1275.51/1276.12 c nbDecision=344500 #constraints=27521 1277.41/1278.07 c nbDecision=345000 #constraints=27541 1279.29/1279.93 c nbDecision=345500 #constraints=27574 1281.79/1282.48 c nbDecision=346000 #constraints=27626 1284.69/1285.34 c nbDecision=346500 #constraints=27693 1287.09/1287.78 c nbDecision=347000 #constraints=27721 1289.49/1290.13 c nbDecision=347500 #constraints=27739 1291.69/1292.34 c nbDecision=348000 #constraints=27769 1293.99/1294.62 c nbDecision=348500 #constraints=27802 1295.68/1296.37 c nbDecision=349000 #constraints=27807 1297.48/1298.19 c nbDecision=349500 #constraints=27821 1300.97/1301.62 c nbDecision=350000 #constraints=27867 1303.27/1303.96 c nbDecision=350500 #constraints=27887 1305.86/1306.58 c nbDecision=351000 #constraints=27920 1308.16/1308.82 c nbDecision=351500 #constraints=27944 1310.36/1311.07 c nbDecision=352000 #constraints=27949 1312.76/1313.46 c nbDecision=352500 #constraints=27966 1315.05/1315.75 c nbDecision=353000 #constraints=27978 1317.06/1317.79 c nbDecision=353500 #constraints=27984 1319.05/1319.73 c nbDecision=354000 #constraints=28002 1321.25/1321.94 c nbDecision=354500 #constraints=28030 1323.65/1324.39 c nbDecision=355000 #constraints=28053 1326.76/1327.49 c nbDecision=355500 #constraints=28098 1328.76/1329.48 c nbDecision=356000 #constraints=28127 1331.05/1331.76 c nbDecision=356500 #constraints=28165 1333.15/1333.81 c nbDecision=357000 #constraints=28175 1335.65/1336.34 c nbDecision=357500 #constraints=28189 1338.95/1339.65 c nbDecision=358000 #constraints=28223 1341.05/1341.78 c nbDecision=358500 #constraints=28256 1342.95/1343.63 c nbDecision=359000 #constraints=28280 1345.94/1346.61 c nbDecision=359500 #constraints=28324 1348.44/1349.19 c nbDecision=360000 #constraints=28364 1351.44/1352.14 c nbDecision=360500 #constraints=28400 1354.14/1354.82 c nbDecision=361000 #constraints=28429 1356.14/1356.83 c nbDecision=361500 #constraints=28442 1359.34/1360.00 c nbDecision=362000 #constraints=28480 1362.14/1362.85 c nbDecision=362500 #constraints=28518 1365.34/1366.04 c nbDecision=363000 #constraints=28553 1368.44/1369.14 c nbDecision=363500 #constraints=28591 1370.84/1371.59 c nbDecision=364000 #constraints=28614 1373.34/1374.07 c nbDecision=364500 #constraints=28638 1376.54/1377.29 c nbDecision=365000 #constraints=28678 1379.74/1380.41 c nbDecision=365500 #constraints=28724 1382.93/1383.62 c nbDecision=366000 #constraints=28761 1386.03/1386.79 c nbDecision=366500 #constraints=28792 1388.33/1389.07 c nbDecision=367000 #constraints=28819 1391.53/1392.29 c nbDecision=367500 #constraints=28854 1393.92/1394.66 c nbDecision=368000 #constraints=28881 1396.42/1397.14 c nbDecision=368500 #constraints=28905 1398.92/1399.64 c nbDecision=369000 #constraints=28917 1400.63/1401.35 c nbDecision=369500 #constraints=28923 1402.42/1403.14 c nbDecision=370000 #constraints=28948 1404.32/1405.06 c nbDecision=370500 #constraints=28952 1407.02/1407.72 c nbDecision=371000 #constraints=28972 1409.03/1409.80 c nbDecision=371500 #constraints=28991 1411.73/1412.44 c nbDecision=372000 #constraints=29019 1414.12/1414.89 c nbDecision=372500 #constraints=29027 1416.52/1417.27 c nbDecision=373000 #constraints=29035 1418.72/1419.47 c nbDecision=373500 #constraints=29072 1421.01/1421.79 c nbDecision=374000 #constraints=29098 1423.51/1424.28 c nbDecision=374500 #constraints=29116 1425.92/1426.66 c nbDecision=375000 #constraints=29129 1427.61/1428.30 c nbDecision=375500 #constraints=29148 1429.41/1430.18 c nbDecision=376000 #constraints=29175 1431.21/1431.96 c nbDecision=376500 #constraints=29179 1432.91/1433.66 c nbDecision=377000 #constraints=29191 1434.81/1435.52 c nbDecision=377500 #constraints=29202 1436.61/1437.34 c nbDecision=378000 #constraints=29230 1438.30/1439.06 c nbDecision=378500 #constraints=29241 1440.31/1441.00 c nbDecision=379000 #constraints=29268 1442.10/1442.80 c nbDecision=379500 #constraints=29287 1445.30/1446.00 c nbDecision=380000 #constraints=29322 1447.70/1448.50 c nbDecision=380500 #constraints=29332 1450.40/1451.18 c nbDecision=381000 #constraints=29339 1453.10/1453.82 c nbDecision=381500 #constraints=29352 1455.41/1456.16 c nbDecision=382000 #constraints=29383 1458.01/1458.77 c nbDecision=382500 #constraints=29400 1460.70/1461.42 c nbDecision=383000 #constraints=29442 1462.40/1463.15 c nbDecision=383500 #constraints=29449 1464.10/1464.89 c nbDecision=384000 #constraints=29465 1466.20/1466.91 c nbDecision=384500 #constraints=29477 1468.00/1468.74 c nbDecision=385000 #constraints=29492 1470.40/1471.15 c nbDecision=385500 #constraints=29509 1472.90/1473.63 c nbDecision=386000 #constraints=29520 1475.30/1476.03 c nbDecision=386500 #constraints=29529 1477.89/1478.63 c nbDecision=387000 #constraints=29551 1481.09/1481.86 c nbDecision=387500 #constraints=29595 1483.59/1484.39 c nbDecision=388000 #constraints=29626 1486.80/1487.50 c nbDecision=388500 #constraints=29670 1490.49/1491.20 c nbDecision=389000 #constraints=29700 1493.29/1494.09 c nbDecision=389500 #constraints=29731 1496.29/1497.08 c nbDecision=390000 #constraints=29754 1498.29/1499.07 c nbDecision=390500 #constraints=29763 1501.08/1501.87 c nbDecision=391000 #constraints=29787 1503.78/1504.53 c nbDecision=391500 #constraints=29808 1507.38/1508.15 c nbDecision=392000 #constraints=29841 1510.88/1511.65 c nbDecision=392500 #constraints=29876 1513.99/1514.72 c nbDecision=393000 #constraints=29902 1516.68/1517.43 c nbDecision=393500 #constraints=29930 1519.88/1520.61 c nbDecision=394000 #constraints=29968 1523.57/1524.34 c nbDecision=394500 #constraints=30020 1526.97/1527.70 c nbDecision=395000 #constraints=30061 1529.38/1530.14 c nbDecision=395500 #constraints=30081 1531.28/1532.05 c nbDecision=396000 #constraints=30094 1533.18/1533.92 c nbDecision=396500 #constraints=30102 1534.78/1535.50 c nbDecision=397000 #constraints=30111 1536.27/1537.05 c nbDecision=397500 #constraints=30115 1538.57/1539.32 c nbDecision=398000 #constraints=30130 1541.38/1542.13 c nbDecision=398500 #constraints=30151 1543.67/1544.42 c nbDecision=399000 #constraints=30168 1546.37/1547.18 c nbDecision=399500 #constraints=30189 1548.47/1549.22 c nbDecision=400000 #constraints=30196 1551.37/1552.15 c nbDecision=400500 #constraints=30222 1554.57/1555.37 c nbDecision=401000 #constraints=30248 1557.76/1558.56 c nbDecision=401500 #constraints=30274 1560.67/1561.48 c nbDecision=402000 #constraints=30301 1563.37/1564.18 c nbDecision=402500 #constraints=30327 1565.67/1566.46 c nbDecision=403000 #constraints=30338 1569.06/1569.85 c nbDecision=403500 #constraints=30364 1571.86/1572.62 c nbDecision=404000 #constraints=30389 1574.16/1574.95 c nbDecision=404500 #constraints=30402 1576.86/1577.64 c nbDecision=405000 #constraints=30423 1579.66/1580.49 c nbDecision=405500 #constraints=30429 1582.26/1583.09 c nbDecision=406000 #constraints=30436 1584.26/1585.02 c nbDecision=406500 #constraints=30462 1585.85/1586.69 c nbDecision=407000 #constraints=30469 1587.66/1588.46 c nbDecision=407500 #constraints=30483 1590.15/1590.95 c nbDecision=408000 #constraints=30503 1593.05/1593.81 c nbDecision=408500 #constraints=30552 1595.85/1596.61 c nbDecision=409000 #constraints=30593 1598.95/1599.73 c nbDecision=409500 #constraints=30634 1599.55/1600.34 c restart after 409601 decisions 1601.25/1602.01 c nbDecision=410000 #constraints=30655 1602.75/1603.53 c nbDecision=410500 #constraints=30686 1605.75/1606.53 c nbDecision=411000 #constraints=30712 1611.45/1612.27 c nbDecision=411500 #constraints=30750 1616.64/1617.49 c nbDecision=412000 #constraints=30768 1622.84/1623.68 c nbDecision=412500 #constraints=30795 1628.93/1629.75 c nbDecision=413000 #constraints=30809 1632.24/1633.07 c nbDecision=413500 #constraints=30867 1636.24/1637.01 c nbDecision=414000 #constraints=30964 1639.33/1640.14 c nbDecision=414500 #constraints=31025 1643.14/1643.95 c nbDecision=415000 #constraints=31122 1646.03/1646.81 c nbDecision=415500 #constraints=31175 1648.03/1648.85 c nbDecision=416000 #constraints=31196 1651.93/1652.73 c nbDecision=416500 #constraints=31297 1654.64/1655.41 c nbDecision=417000 #constraints=31360 1657.73/1658.56 c nbDecision=417500 #constraints=31412 1661.52/1662.30 c nbDecision=418000 #constraints=31513 1664.63/1665.49 c nbDecision=418500 #constraints=31574 1668.32/1669.10 c nbDecision=419000 #constraints=31664 1671.92/1672.76 c nbDecision=419500 #constraints=31738 1675.32/1676.14 c nbDecision=420000 #constraints=31792 1678.72/1679.58 c nbDecision=420500 #constraints=31852 1681.82/1682.68 c nbDecision=421000 #constraints=31874 1685.22/1686.02 c nbDecision=421500 #constraints=31917 1688.31/1689.13 c nbDecision=422000 #constraints=31930 1691.51/1692.34 c nbDecision=422500 #constraints=31966 1694.81/1695.61 c nbDecision=423000 #constraints=31980 1697.71/1698.57 c nbDecision=423500 #constraints=32001 1700.61/1701.48 c nbDecision=424000 #constraints=32014 1703.21/1704.03 c nbDecision=424500 #constraints=32061 1705.41/1706.25 c nbDecision=425000 #constraints=32089 1708.61/1709.41 c nbDecision=425500 #constraints=32100 1711.41/1712.22 c nbDecision=426000 #constraints=32111 1714.61/1715.43 c nbDecision=426500 #constraints=32122 1717.41/1718.25 c nbDecision=427000 #constraints=32148 1719.91/1720.78 c nbDecision=427500 #constraints=32192 1722.81/1723.69 c nbDecision=428000 #constraints=32199 1725.90/1726.76 c nbDecision=428500 #constraints=32216 1727.90/1728.74 c nbDecision=429000 #constraints=32248 1729.80/1730.62 c nbDecision=429500 #constraints=32263 1732.70/1733.59 c nbDecision=430000 #constraints=32283 1735.70/1736.53 c nbDecision=430500 #constraints=32301 1738.79/1739.69 c nbDecision=431000 #constraints=32340 1741.59/1742.44 c nbDecision=431500 #constraints=32354 1744.29/1745.19 c nbDecision=432000 #constraints=32361 1747.59/1748.46 c nbDecision=432500 #constraints=32382 1750.99/1751.80 c nbDecision=433000 #constraints=32395 1753.78/1754.64 c nbDecision=433500 #constraints=32417 1756.89/1757.75 c nbDecision=434000 #constraints=32432 1759.09/1759.94 c nbDecision=434500 #constraints=32442 1761.08/1761.97 c nbDecision=435000 #constraints=32457 1764.68/1765.53 c nbDecision=435500 #constraints=32493 1767.98/1768.85 c nbDecision=436000 #constraints=32520 1771.28/1772.12 c nbDecision=436500 #constraints=32534 1773.97/1774.89 c nbDecision=437000 #constraints=32547 1777.07/1777.99 c nbDecision=437500 #constraints=32566 1779.88/1780.73 c nbDecision=438000 #constraints=32596 1783.48/1784.36 c nbDecision=438500 #constraints=32637 1786.87/1787.80 c nbDecision=439000 #constraints=32675 1790.17/1791.10 c nbDecision=439500 #constraints=32699 1793.18/1794.09 c nbDecision=440000 #constraints=32720 1795.27/1796.14 c nbDecision=440500 #constraints=32778 1798.57/1799.40 c nbDecision=441000 #constraints=32817 1800.07/1800.90 Received signal 15 1800.07/1800.90 1800.07/1800.90 s UNKNOWN 1800.07/1800.90 1800.07/1800.90 c user time= 1798.99 s 1800.07/1800.90 c system time= 1.09583 s 1800.07/1800.90 c wall clock time=1800.91
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-356962-1176849609 -o ROOT/results/node67/solver-356962-1176849609 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356962-1176849609/instance-356962-1176849609.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.96 3/64 28839 /proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=1620 CPUtime=0 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160950499 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 405 167 126 317 0 84 0 [startup+0.0803899 s] /proc/loadavg: 0.91 0.95 0.96 3/64 28839 /proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=3076 CPUtime=0.07 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 585 0 0 0 7 0 0 0 18 0 1 0 160950499 3149824 534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 769 534 131 317 0 448 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3076 [startup+0.101393 s] /proc/loadavg: 0.91 0.95 0.96 3/64 28839 /proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=3472 CPUtime=0.09 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 700 0 0 0 9 0 0 0 18 0 1 0 160950499 3555328 649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 901 650 131 317 0 580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3472 [startup+0.301429 s] /proc/loadavg: 0.91 0.95 0.96 3/64 28839 /proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=7888 CPUtime=0.29 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 1761 0 0 0 28 1 0 0 19 0 1 0 160950499 8077312 1710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 1972 1710 131 317 0 1651 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7888 [startup+0.701504 s] /proc/loadavg: 0.91 0.95 0.96 3/64 28839 /proc/meminfo: memFree=1874728/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=16412 CPUtime=0.69 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 3831 0 0 0 68 1 0 0 22 0 1 0 160950499 16805888 3780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 4103 3780 131 317 0 3782 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16412 [startup+1.50165 s] /proc/loadavg: 0.91 0.95 0.96 2/65 28840 /proc/meminfo: memFree=1853344/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=32224 CPUtime=1.5 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 7698 0 0 0 146 4 0 0 25 0 1 0 160950499 32997376 7647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 8056 7647 131 317 0 7735 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 32224 [startup+3.10194 s] /proc/loadavg: 0.91 0.95 0.96 2/65 28840 /proc/meminfo: memFree=1827232/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=49928 CPUtime=3.09 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 12093 0 0 0 304 5 0 0 25 0 1 0 160950499 51126272 12042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 12482 12042 139 317 0 12161 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49928 [startup+6.30153 s] /proc/loadavg: 0.92 0.95 0.96 2/65 28840 /proc/meminfo: memFree=1825888/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=50708 CPUtime=6.29 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 12301 0 0 0 623 6 0 0 25 0 1 0 160950499 51924992 12250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 12677 12250 139 317 0 12356 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50708 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.96 2/65 28840 /proc/meminfo: memFree=1824168/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=52528 CPUtime=12.69 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 12735 0 0 0 1263 6 0 0 25 0 1 0 160950499 53788672 12684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 13132 12684 139 317 0 12811 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52528 [startup+25.501 s] /proc/loadavg: 0.94 0.96 0.96 2/65 28840 /proc/meminfo: memFree=1812144/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=64592 CPUtime=25.48 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 15776 0 0 0 2541 7 0 0 25 0 1 0 160950499 66142208 15725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 16148 15725 139 317 0 15827 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64592 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.96 2/65 28840 /proc/meminfo: memFree=1785584/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=92712 CPUtime=51.07 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 22579 0 0 0 5096 11 0 0 25 0 1 0 160950499 94937088 22528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 23178 22528 170 317 0 22857 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92712 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.96 2/65 28840 /proc/meminfo: memFree=1729136/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=150832 CPUtime=102.25 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 36530 0 0 0 10207 18 0 0 25 0 1 0 160950499 154451968 36436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 37708 36436 170 317 0 37387 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 150832 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 28840 /proc/meminfo: memFree=1659952/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=223680 CPUtime=162.23 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 53860 0 0 0 16198 25 0 0 25 0 1 0 160950499 229048320 53766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 55920 53766 170 317 0 55599 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 223680 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 28840 /proc/meminfo: memFree=1605936/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=280852 CPUtime=222.2 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 67249 0 0 0 22190 30 0 0 25 0 1 0 160950499 287592448 67155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 70213 67155 170 317 0 69892 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 280852 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 28840 /proc/meminfo: memFree=1566384/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=323020 CPUtime=282.18 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 77508 0 0 0 28183 35 0 0 25 0 1 0 160950499 330772480 77329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 80755 77329 170 317 0 80434 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 323020 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 28840 /proc/meminfo: memFree=1537904/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=351884 CPUtime=342.15 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 84328 0 0 0 34177 38 0 0 25 0 1 0 160950499 360329216 84149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 87971 84149 170 317 0 87650 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 351884 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 28840 /proc/meminfo: memFree=1513776/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=376152 CPUtime=402.12 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 90353 0 0 0 40171 41 0 0 25 0 1 0 160950499 385179648 90174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 94038 90174 170 317 0 93717 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 376152 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 28840 /proc/meminfo: memFree=1499184/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=390400 CPUtime=462.1 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 93975 0 0 0 46166 44 0 0 25 0 1 0 160950499 399769600 93796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 97600 93796 170 317 0 97279 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 390400 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 28840 /proc/meminfo: memFree=1469488/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=423532 CPUtime=522.08 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 101392 0 0 0 52161 47 0 0 25 0 1 0 160950499 433696768 101213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 105883 101213 170 317 0 105562 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 423532 [startup+582.301 s] /proc/loadavg: 1.03 0.99 0.97 2/65 28840 /proc/meminfo: memFree=1440304/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=452936 CPUtime=582.05 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 108726 0 0 0 58155 50 0 0 25 0 1 0 160950499 463806464 108547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 113234 108547 170 317 0 112913 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 452936 [startup+642.301 s] /proc/loadavg: 1.12 1.02 0.98 2/65 28840 /proc/meminfo: memFree=1413168/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=481080 CPUtime=642.02 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 115395 0 0 0 64149 53 0 0 25 0 1 0 160950499 492625920 115216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 120270 115216 170 317 0 119949 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 481080 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.02 1.02 0.99 2/65 28840 /proc/meminfo: memFree=1295856/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=604756 CPUtime=881.93 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 144678 0 0 0 88125 68 0 0 25 0 1 0 160950499 619270144 144499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 151189 144499 170 317 0 150868 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 604756 [startup+942.301 s] /proc/loadavg: 1.00 1.02 0.99 2/65 28840 /proc/meminfo: memFree=1278832/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=623508 CPUtime=941.91 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 149147 0 0 0 94120 71 0 0 25 0 1 0 160950499 638472192 148968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 155877 148968 170 317 0 155556 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 623508 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 0.99 2/65 28840 /proc/meminfo: memFree=1242480/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=659508 CPUtime=1001.88 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 158022 0 0 0 100112 76 0 0 25 0 1 0 160950499 675336192 157843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 164877 157843 170 317 0 164556 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 659508 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 0.99 2/65 28840 /proc/meminfo: memFree=1213104/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=691940 CPUtime=1061.86 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 165629 0 0 0 106106 80 0 0 25 0 1 0 160950499 708546560 165280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 172985 165280 170 317 0 172664 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 691940 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 28840 /proc/meminfo: memFree=1182896/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=721556 CPUtime=1121.83 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 173308 0 0 0 112099 84 0 0 25 0 1 0 160950499 738873344 172959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712465 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 180389 172959 170 317 0 180068 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 721556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 28840 /proc/meminfo: memFree=1154864/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=750120 CPUtime=1181.81 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 180102 0 0 0 118093 88 0 0 25 0 1 0 160950499 768122880 179753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 187530 179753 170 317 0 187209 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 750120 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 28840 /proc/meminfo: memFree=1131248/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=776608 CPUtime=1241.78 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 185882 0 0 0 124088 90 0 0 25 0 1 0 160950499 795246592 185533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 194152 185533 170 317 0 193831 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 776608 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/71 29016 /proc/meminfo: memFree=1108648/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=797460 CPUtime=1301.68 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 191175 0 0 0 130076 92 0 0 25 0 1 0 160950499 816599040 190826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 199365 190826 170 317 0 199044 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 797460 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=1090160/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=817388 CPUtime=1361.64 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 196102 0 0 0 136070 94 0 0 25 0 1 0 160950499 837005312 195753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 204347 195753 170 317 0 204026 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 817388 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=1065008/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=848684 CPUtime=1421.62 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 202382 0 0 0 142066 96 0 0 25 0 1 0 160950499 869052416 202033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 212171 202033 170 317 0 211850 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 848684 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=1051952/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=862120 CPUtime=1481.59 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 205665 0 0 0 148062 97 0 0 25 0 1 0 160950499 882810880 205316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 215530 205316 170 317 0 215209 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 862120 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=1032176/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=880904 CPUtime=1541.57 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 210575 0 0 0 154057 100 0 0 25 0 1 0 160950499 902045696 210226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 220226 210226 170 317 0 219905 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 880904 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=1016624/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=895776 CPUtime=1601.55 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 214528 0 0 0 160053 102 0 0 25 0 1 0 160950499 917274624 214179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 223944 214179 170 317 0 223623 0 Current children cumulated CPU time (s) 1601.55 Current children cumulated vsize (KiB) 895776 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=989424/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=924100 CPUtime=1661.52 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 221289 0 0 0 166047 105 0 0 25 0 1 0 160950499 946278400 220940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 231025 220940 170 317 0 230704 0 Current children cumulated CPU time (s) 1661.52 Current children cumulated vsize (KiB) 924100 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=970992/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=942064 CPUtime=1721.5 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 225835 0 0 0 172042 108 0 0 25 0 1 0 160950499 964673536 225486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 235516 225486 170 317 0 235195 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 942064 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=959728/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=953816 CPUtime=1781.48 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 228623 0 0 0 178039 109 0 0 25 0 1 0 160950499 976707584 228274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 238454 228274 170 317 0 238133 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 953816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=954544/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=959004 CPUtime=1800.07 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194304 229985 0 0 0 179898 109 0 0 25 0 1 0 160950499 982020096 229603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 239751 229603 170 317 0 239430 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 959004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.00 1.00 0.99 2/65 29038 /proc/meminfo: memFree=954544/2055920 swapFree=4178028/4192956 [pid=28839] ppid=28837 vsize=0 CPUtime=1800.17 /proc/28839/stat : 28839 (oree) R 28837 28839 28737 0 -1 4194308 230001 0 0 0 179901 116 0 0 25 0 1 0 160950499 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28839/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.08 CPU time (s): 1800.26 CPU user time (s): 1799.02 CPU system time (s): 1.24181 CPU usage (%): 99.9542 Max. virtual memory (cumulated for all children) (KiB): 959004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.02 system time used= 1.24181 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 230001 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= 3967 runsolver used 1.21182 second user time and 3.83242 second system time The end
Begin job on node67 on Tue Apr 17 22:40:10 UTC 2007 IDJOB= 356962 IDBENCH= 1695 IDSOLVER= 172 FILE ID= node67/356962-1176849609 PBS_JOBID= 4590222 Free space on /tmp= 66479 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb COMMAND LINE= oree /tmp/evaluation/356962-1176849609/instance-356962-1176849609.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-356962-1176849609 -o ROOT/results/node67/solver-356962-1176849609 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356962-1176849609/instance-356962-1176849609.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 761eaefb829e7d3bf060fd5b86600997 RANDOM SEED= 469814357 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1875072 kB Buffers: 20252 kB Cached: 113372 kB SwapCached: 9176 kB Active: 74004 kB Inactive: 74812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1875072 kB SwapTotal: 4192956 kB SwapFree: 4178028 kB Dirty: 6364 kB Writeback: 0 kB Mapped: 15596 kB Slab: 17940 kB Committed_AS: 220032 kB PageTables: 1452 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= 66479 MiB End job on node67 on Tue Apr 17 23:10:13 UTC 2007