Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d2q06c.opb |
MD5SUM | 121100115f65aafe7304954ad1ff7cf1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1744.78 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155010 |
Total number of constraints | 2171 |
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 | 2171 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3270 |
Number of terms in the objective function | 89670 |
Biggest coefficient in the objective function | 1092 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 602590 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 602590 |
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... 2.89/2.99 c ...done 2.89/2.99 c #vars=155010 #constraints=3679 hasObjective=yes 3.99/4.07 c res. mode=mod 3.99/4.07 c VSIDS like heuristics 3.99/4.07 c complete search running 6.39/6.46 c restart after 401 decisions 6.78/6.87 c nbDecision=500 #constraints=3845 8.28/8.33 c restart after 801 decisions 9.09/9.12 c nbDecision=1000 #constraints=4000 11.49/11.56 c nbDecision=1500 #constraints=4166 12.09/12.13 c restart after 1601 decisions 14.09/14.11 c nbDecision=2000 #constraints=4347 16.29/16.39 c nbDecision=2500 #constraints=4451 18.58/18.63 c nbDecision=3000 #constraints=4527 19.28/19.38 c restart after 3201 decisions 20.58/20.69 c nbDecision=3500 #constraints=4626 22.88/22.96 c nbDecision=4000 #constraints=4724 24.78/24.89 c nbDecision=4500 #constraints=4775 27.08/27.13 c nbDecision=5000 #constraints=4839 29.28/29.39 c nbDecision=5500 #constraints=4924 31.58/31.60 c nbDecision=6000 #constraints=4976 33.08/33.15 c restart after 6401 decisions 33.47/33.57 c nbDecision=6500 #constraints=5050 35.58/35.61 c nbDecision=7000 #constraints=5142 37.38/37.48 c nbDecision=7500 #constraints=5160 39.28/39.38 c nbDecision=8000 #constraints=5186 41.18/41.26 c nbDecision=8500 #constraints=5200 43.38/43.49 c nbDecision=9000 #constraints=5254 45.38/45.44 c nbDecision=9500 #constraints=5299 47.67/47.77 c nbDecision=10000 #constraints=5374 49.58/49.67 c nbDecision=10500 #constraints=5403 51.47/51.58 c nbDecision=11000 #constraints=5430 53.37/53.49 c nbDecision=11500 #constraints=5456 55.27/55.40 c nbDecision=12000 #constraints=5487 57.57/57.66 c nbDecision=12500 #constraints=5543 58.77/58.83 c restart after 12801 decisions 59.57/59.60 c nbDecision=13000 #constraints=5578 61.57/61.70 c nbDecision=13500 #constraints=5681 63.57/63.60 c nbDecision=14000 #constraints=5699 65.47/65.54 c nbDecision=14500 #constraints=5736 67.36/67.45 c nbDecision=15000 #constraints=5755 69.27/69.38 c nbDecision=15500 #constraints=5787 71.16/71.28 c nbDecision=16000 #constraints=5809 73.16/73.20 c nbDecision=16500 #constraints=5836 74.96/75.09 c nbDecision=17000 #constraints=5857 76.86/76.99 c nbDecision=17500 #constraints=5873 79.16/79.24 c nbDecision=18000 #constraints=5921 81.06/81.19 c nbDecision=18500 #constraints=5954 83.06/83.14 c nbDecision=19000 #constraints=5980 84.96/85.05 c nbDecision=19500 #constraints=5994 86.96/87.03 c nbDecision=20000 #constraints=6035 88.95/89.03 c nbDecision=20500 #constraints=6092 90.85/90.94 c nbDecision=21000 #constraints=6112 92.75/92.89 c nbDecision=21500 #constraints=6156 95.06/95.19 c nbDecision=22000 #constraints=6220 97.06/97.15 c nbDecision=22500 #constraints=6258 99.06/99.11 c nbDecision=23000 #constraints=6296 101.36/101.46 c nbDecision=23500 #constraints=6363 103.36/103.41 c nbDecision=24000 #constraints=6393 105.26/105.37 c nbDecision=24500 #constraints=6421 107.25/107.30 c nbDecision=25000 #constraints=6439 109.15/109.26 c nbDecision=25500 #constraints=6469 109.55/109.65 c restart after 25601 decisions 111.25/111.39 c nbDecision=26000 #constraints=6569 113.36/113.41 c nbDecision=26500 #constraints=6625 115.25/115.34 c nbDecision=27000 #constraints=6647 117.25/117.31 c nbDecision=27500 #constraints=6688 119.15/119.26 c nbDecision=28000 #constraints=6715 121.15/121.25 c nbDecision=28500 #constraints=6749 123.45/123.58 c nbDecision=29000 #constraints=6810 125.45/125.55 c nbDecision=29500 #constraints=6839 127.45/127.53 c nbDecision=30000 #constraints=6871 129.45/129.51 c nbDecision=30500 #constraints=6904 131.34/131.44 c nbDecision=31000 #constraints=6930 133.64/133.76 c nbDecision=31500 #constraints=6988 135.64/135.70 c nbDecision=32000 #constraints=7011 137.54/137.62 c nbDecision=32500 #constraints=7027 139.54/139.60 c nbDecision=33000 #constraints=7056 141.84/141.96 c nbDecision=33500 #constraints=7109 143.84/143.90 c nbDecision=34000 #constraints=7123 145.83/145.92 c nbDecision=34500 #constraints=7166 147.83/147.91 c nbDecision=35000 #constraints=7193 149.83/149.93 c nbDecision=35500 #constraints=7240 151.83/151.90 c nbDecision=36000 #constraints=7270 153.73/153.88 c nbDecision=36500 #constraints=7301 155.73/155.85 c nbDecision=37000 #constraints=7332 157.63/157.79 c nbDecision=37500 #constraints=7349 159.63/159.79 c nbDecision=38000 #constraints=7383 161.63/161.76 c nbDecision=38500 #constraints=7402 163.63/163.73 c nbDecision=39000 #constraints=7425 165.53/165.69 c nbDecision=39500 #constraints=7443 167.52/167.64 c nbDecision=40000 #constraints=7461 169.52/169.65 c nbDecision=40500 #constraints=7500 171.54/171.61 c nbDecision=41000 #constraints=7523 173.43/173.57 c nbDecision=41500 #constraints=7550 175.43/175.53 c nbDecision=42000 #constraints=7575 177.43/177.55 c nbDecision=42500 #constraints=7615 179.43/179.50 c nbDecision=43000 #constraints=7634 181.33/181.47 c nbDecision=43500 #constraints=7651 183.33/183.42 c nbDecision=44000 #constraints=7667 185.23/185.38 c nbDecision=44500 #constraints=7681 187.22/187.39 c nbDecision=45000 #constraints=7713 189.23/189.32 c nbDecision=45500 #constraints=7728 191.62/191.72 c nbDecision=46000 #constraints=7799 193.53/193.66 c nbDecision=46500 #constraints=7815 195.52/195.63 c nbDecision=47000 #constraints=7832 197.42/197.58 c nbDecision=47500 #constraints=7856 199.52/199.65 c nbDecision=48000 #constraints=7908 201.52/201.65 c nbDecision=48500 #constraints=7931 203.92/204.02 c nbDecision=49000 #constraints=7985 205.92/206.01 c nbDecision=49500 #constraints=8009 207.92/208.03 c nbDecision=50000 #constraints=8037 209.82/209.97 c nbDecision=50500 #constraints=8052 211.81/211.96 c nbDecision=51000 #constraints=8078 212.61/212.75 c restart after 51201 decisions 214.01/214.16 c nbDecision=51500 #constraints=8182 216.11/216.21 c nbDecision=52000 #constraints=8222 218.01/218.17 c nbDecision=52500 #constraints=8239 220.11/220.24 c nbDecision=53000 #constraints=8281 222.11/222.24 c nbDecision=53500 #constraints=8304 224.21/224.31 c nbDecision=54000 #constraints=8342 226.21/226.31 c nbDecision=54500 #constraints=8364 228.21/228.34 c nbDecision=55000 #constraints=8391 230.20/230.34 c nbDecision=55500 #constraints=8416 232.20/232.33 c nbDecision=56000 #constraints=8443 234.21/234.32 c nbDecision=56500 #constraints=8470 236.10/236.29 c nbDecision=57000 #constraints=8488 238.10/238.25 c nbDecision=57500 #constraints=8503 240.10/240.21 c nbDecision=58000 #constraints=8517 242.00/242.18 c nbDecision=58500 #constraints=8531 244.10/244.26 c nbDecision=59000 #constraints=8574 246.10/246.29 c nbDecision=59500 #constraints=8604 248.20/248.38 c nbDecision=60000 #constraints=8642 250.19/250.35 c nbDecision=60500 #constraints=8667 252.20/252.39 c nbDecision=61000 #constraints=8700 254.20/254.37 c nbDecision=61500 #constraints=8720 256.21/256.34 c nbDecision=62000 #constraints=8737 258.20/258.35 c nbDecision=62500 #constraints=8761 260.20/260.35 c nbDecision=63000 #constraints=8780 262.20/262.32 c nbDecision=63500 #constraints=8794 264.20/264.30 c nbDecision=64000 #constraints=8809 266.20/266.36 c nbDecision=64500 #constraints=8845 268.30/268.46 c nbDecision=65000 #constraints=8893 270.29/270.47 c nbDecision=65500 #constraints=8924 272.29/272.48 c nbDecision=66000 #constraints=8949 274.39/274.53 c nbDecision=66500 #constraints=8984 276.39/276.53 c nbDecision=67000 #constraints=9005 278.39/278.50 c nbDecision=67500 #constraints=9021 280.39/280.54 c nbDecision=68000 #constraints=9051 282.39/282.53 c nbDecision=68500 #constraints=9066 284.39/284.51 c nbDecision=69000 #constraints=9082 286.39/286.59 c nbDecision=69500 #constraints=9118 288.49/288.62 c nbDecision=70000 #constraints=9140 290.48/290.63 c nbDecision=70500 #constraints=9165 292.49/292.61 c nbDecision=71000 #constraints=9183 294.48/294.61 c nbDecision=71500 #constraints=9208 296.48/296.61 c nbDecision=72000 #constraints=9229 298.38/298.57 c nbDecision=72500 #constraints=9243 300.38/300.56 c nbDecision=73000 #constraints=9257 302.38/302.54 c nbDecision=73500 #constraints=9275 304.38/304.58 c nbDecision=74000 #constraints=9303 306.48/306.61 c nbDecision=74500 #constraints=9325 308.38/308.60 c nbDecision=75000 #constraints=9340 310.37/310.59 c nbDecision=75500 #constraints=9359 312.38/312.54 c nbDecision=76000 #constraints=9373 314.27/314.49 c nbDecision=76500 #constraints=9385 316.38/316.56 c nbDecision=77000 #constraints=9420 318.38/318.58 c nbDecision=77500 #constraints=9447 320.38/320.55 c nbDecision=78000 #constraints=9461 322.38/322.54 c nbDecision=78500 #constraints=9476 324.38/324.53 c nbDecision=79000 #constraints=9490 326.77/326.98 c nbDecision=79500 #constraints=9559 328.78/328.99 c nbDecision=80000 #constraints=9575 330.77/330.95 c nbDecision=80500 #constraints=9586 332.77/332.93 c nbDecision=81000 #constraints=9602 334.77/334.99 c nbDecision=81500 #constraints=9639 336.77/336.95 c nbDecision=82000 #constraints=9650 338.77/338.97 c nbDecision=82500 #constraints=9676 340.77/340.97 c nbDecision=83000 #constraints=9690 342.87/343.03 c nbDecision=83500 #constraints=9723 344.87/345.03 c nbDecision=84000 #constraints=9741 346.86/347.05 c nbDecision=84500 #constraints=9761 348.96/349.19 c nbDecision=85000 #constraints=9823 351.06/351.29 c nbDecision=85500 #constraints=9856 353.16/353.33 c nbDecision=86000 #constraints=9880 355.17/355.38 c nbDecision=86500 #constraints=9905 357.26/357.45 c nbDecision=87000 #constraints=9933 359.26/359.47 c nbDecision=87500 #constraints=9952 361.36/361.55 c nbDecision=88000 #constraints=9977 363.46/363.60 c nbDecision=88500 #constraints=9999 365.46/365.63 c nbDecision=89000 #constraints=10018 367.46/367.66 c nbDecision=89500 #constraints=10035 369.46/369.66 c nbDecision=90000 #constraints=10049 371.46/371.64 c nbDecision=90500 #constraints=10065 373.65/373.80 c nbDecision=91000 #constraints=10108 375.65/375.80 c nbDecision=91500 #constraints=10127 377.75/377.93 c nbDecision=92000 #constraints=10160 379.85/380.00 c nbDecision=92500 #constraints=10185 381.75/381.99 c nbDecision=93000 #constraints=10199 383.85/384.08 c nbDecision=93500 #constraints=10231 385.95/386.16 c nbDecision=94000 #constraints=10259 387.95/388.18 c nbDecision=94500 #constraints=10274 389.94/390.18 c nbDecision=95000 #constraints=10290 392.04/392.23 c nbDecision=95500 #constraints=10320 394.14/394.33 c nbDecision=96000 #constraints=10352 396.14/396.38 c nbDecision=96500 #constraints=10375 398.24/398.40 c nbDecision=97000 #constraints=10392 400.25/400.48 c nbDecision=97500 #constraints=10416 402.34/402.55 c nbDecision=98000 #constraints=10444 404.34/404.57 c nbDecision=98500 #constraints=10461 406.34/406.58 c nbDecision=99000 #constraints=10475 408.44/408.65 c nbDecision=99500 #constraints=10503 410.54/410.73 c nbDecision=100000 #constraints=10535 412.64/412.80 c nbDecision=100500 #constraints=10558 414.64/414.83 c nbDecision=101000 #constraints=10577 417.03/417.25 c nbDecision=101500 #constraints=10630 419.05/419.26 c nbDecision=102000 #constraints=10643 420.64/420.87 c restart after 102401 decisions 421.04/421.29 c nbDecision=102500 #constraints=10666 423.84/424.02 c nbDecision=103000 #constraints=10792 425.84/426.06 c nbDecision=103500 #constraints=10808 427.84/428.09 c nbDecision=104000 #constraints=10822 429.84/430.09 c nbDecision=104500 #constraints=10835 432.03/432.21 c nbDecision=105000 #constraints=10870 434.03/434.25 c nbDecision=105500 #constraints=10893 436.13/436.32 c nbDecision=106000 #constraints=10921 438.13/438.36 c nbDecision=106500 #constraints=10945 440.13/440.38 c nbDecision=107000 #constraints=10959 442.23/442.47 c nbDecision=107500 #constraints=10984 444.23/444.50 c nbDecision=108000 #constraints=10998 446.33/446.53 c nbDecision=108500 #constraints=11013 448.33/448.56 c nbDecision=109000 #constraints=11027 450.43/450.62 c nbDecision=109500 #constraints=11056 452.43/452.67 c nbDecision=110000 #constraints=11080 454.52/454.71 c nbDecision=110500 #constraints=11103 456.52/456.77 c nbDecision=111000 #constraints=11124 458.53/458.80 c nbDecision=111500 #constraints=11138 460.62/460.82 c nbDecision=112000 #constraints=11159 462.62/462.89 c nbDecision=112500 #constraints=11181 464.72/464.96 c nbDecision=113000 #constraints=11208 466.92/467.10 c nbDecision=113500 #constraints=11253 468.92/469.13 c nbDecision=114000 #constraints=11267 470.92/471.15 c nbDecision=114500 #constraints=11282 472.92/473.17 c nbDecision=115000 #constraints=11296 475.02/475.25 c nbDecision=115500 #constraints=11321 477.01/477.25 c nbDecision=116000 #constraints=11334 479.01/479.29 c nbDecision=116500 #constraints=11350 481.11/481.37 c nbDecision=117000 #constraints=11373 483.21/483.46 c nbDecision=117500 #constraints=11404 485.31/485.53 c nbDecision=118000 #constraints=11424 487.41/487.60 c nbDecision=118500 #constraints=11447 489.41/489.67 c nbDecision=119000 #constraints=11473 491.61/491.81 c nbDecision=119500 #constraints=11519 493.61/493.85 c nbDecision=120000 #constraints=11535 495.60/495.89 c nbDecision=120500 #constraints=11550 497.71/497.93 c nbDecision=121000 #constraints=11564 499.81/500.00 c nbDecision=121500 #constraints=11585 501.81/502.03 c nbDecision=122000 #constraints=11599 503.91/504.12 c nbDecision=122500 #constraints=11619 505.92/506.19 c nbDecision=123000 #constraints=11636 508.01/508.27 c nbDecision=123500 #constraints=11659 510.11/510.36 c nbDecision=124000 #constraints=11686 512.41/512.63 c nbDecision=124500 #constraints=11753 514.41/514.67 c nbDecision=125000 #constraints=11775 516.41/516.67 c nbDecision=125500 #constraints=11788 518.50/518.72 c nbDecision=126000 #constraints=11806 520.60/520.81 c nbDecision=126500 #constraints=11829 522.70/522.90 c nbDecision=127000 #constraints=11849 524.70/524.97 c nbDecision=127500 #constraints=11865 526.90/527.17 c nbDecision=128000 #constraints=11904 529.10/529.30 c nbDecision=128500 #constraints=11948 531.10/531.34 c nbDecision=129000 #constraints=11961 533.10/533.39 c nbDecision=129500 #constraints=11980 535.60/535.88 c nbDecision=130000 #constraints=12042 537.70/537.97 c nbDecision=130500 #constraints=12068 539.79/540.08 c nbDecision=131000 #constraints=12102 541.89/542.15 c nbDecision=131500 #constraints=12119 544.09/544.31 c nbDecision=132000 #constraints=12150 546.19/546.49 c nbDecision=132500 #constraints=12197 548.89/549.11 c nbDecision=133000 #constraints=12273 550.99/551.28 c nbDecision=133500 #constraints=12320 553.19/553.45 c nbDecision=134000 #constraints=12359 555.58/555.89 c nbDecision=134500 #constraints=12486 557.78/558.01 c nbDecision=135000 #constraints=12503 559.88/560.16 c nbDecision=135500 #constraints=12524 561.99/562.24 c nbDecision=136000 #constraints=12536 564.09/564.35 c nbDecision=136500 #constraints=12552 566.28/566.52 c nbDecision=137000 #constraints=12578 568.38/568.64 c nbDecision=137500 #constraints=12596 570.48/570.77 c nbDecision=138000 #constraints=12619 572.58/572.85 c nbDecision=138500 #constraints=12633 574.78/575.00 c nbDecision=139000 #constraints=12656 576.88/577.11 c nbDecision=139500 #constraints=12671 578.88/579.19 c nbDecision=140000 #constraints=12687 581.07/581.33 c nbDecision=140500 #constraints=12708 583.17/583.43 c nbDecision=141000 #constraints=12722 585.27/585.59 c nbDecision=141500 #constraints=12750 587.48/587.71 c nbDecision=142000 #constraints=12771 589.58/589.85 c nbDecision=142500 #constraints=12795 591.88/592.11 c nbDecision=143000 #constraints=12843 593.98/594.21 c nbDecision=143500 #constraints=12859 595.98/596.29 c nbDecision=144000 #constraints=12879 598.07/598.37 c nbDecision=144500 #constraints=12894 600.27/600.55 c nbDecision=145000 #constraints=12919 602.37/602.65 c nbDecision=145500 #constraints=12933 604.57/604.88 c nbDecision=146000 #constraints=12969 606.77/607.00 c nbDecision=146500 #constraints=12985 608.87/609.10 c nbDecision=147000 #constraints=13003 610.97/611.28 c nbDecision=147500 #constraints=13033 613.17/613.42 c nbDecision=148000 #constraints=13053 615.27/615.58 c nbDecision=148500 #constraints=13093 617.47/617.75 c nbDecision=149000 #constraints=13120 619.57/619.83 c nbDecision=149500 #constraints=13132 621.67/621.94 c nbDecision=150000 #constraints=13149 623.76/624.05 c nbDecision=150500 #constraints=13166 625.96/626.23 c nbDecision=151000 #constraints=13191 628.06/628.36 c nbDecision=151500 #constraints=13210 630.26/630.57 c nbDecision=152000 #constraints=13240 632.46/632.77 c nbDecision=152500 #constraints=13282 635.06/635.30 c nbDecision=153000 #constraints=13330 637.16/637.49 c nbDecision=153500 #constraints=13360 639.26/639.56 c nbDecision=154000 #constraints=13372 641.56/641.88 c nbDecision=154500 #constraints=13414 643.76/644.10 c nbDecision=155000 #constraints=13452 645.95/646.29 c nbDecision=155500 #constraints=13485 648.15/648.46 c nbDecision=156000 #constraints=13512 650.55/650.81 c nbDecision=156500 #constraints=13563 652.85/653.17 c nbDecision=157000 #constraints=13617 655.15/655.46 c nbDecision=157500 #constraints=13666 657.55/657.85 c nbDecision=158000 #constraints=13744 659.95/660.22 c nbDecision=158500 #constraints=13809 662.15/662.40 c nbDecision=159000 #constraints=13826 664.25/664.56 c nbDecision=159500 #constraints=13840 666.45/666.75 c nbDecision=160000 #constraints=13864 668.65/668.92 c nbDecision=160500 #constraints=13884 670.75/671.06 c nbDecision=161000 #constraints=13900 672.95/673.24 c nbDecision=161500 #constraints=13921 675.04/675.39 c nbDecision=162000 #constraints=13941 677.34/677.65 c nbDecision=162500 #constraints=13968 679.54/679.83 c nbDecision=163000 #constraints=13986 681.74/682.00 c nbDecision=163500 #constraints=14007 684.04/684.35 c nbDecision=164000 #constraints=14053 686.24/686.55 c nbDecision=164500 #constraints=14074 688.44/688.74 c nbDecision=165000 #constraints=14090 690.64/690.92 c nbDecision=165500 #constraints=14109 692.74/693.09 c nbDecision=166000 #constraints=14125 694.94/695.28 c nbDecision=166500 #constraints=14148 697.14/697.42 c nbDecision=167000 #constraints=14162 699.33/699.61 c nbDecision=167500 #constraints=14189 701.64/701.92 c nbDecision=168000 #constraints=14225 703.74/704.09 c nbDecision=168500 #constraints=14244 705.94/706.28 c nbDecision=169000 #constraints=14260 708.24/708.51 c nbDecision=169500 #constraints=14280 710.44/710.73 c nbDecision=170000 #constraints=14304 712.83/713.19 c nbDecision=170500 #constraints=14364 715.03/715.35 c nbDecision=171000 #constraints=14378 717.33/717.64 c nbDecision=171500 #constraints=14407 719.73/720.00 c nbDecision=172000 #constraints=14454 722.03/722.33 c nbDecision=172500 #constraints=14485 724.33/724.65 c nbDecision=173000 #constraints=14526 726.63/726.99 c nbDecision=173500 #constraints=14566 729.53/729.81 c nbDecision=174000 #constraints=14694 731.62/731.99 c nbDecision=174500 #constraints=14708 733.82/734.14 c nbDecision=175000 #constraints=14721 736.12/736.41 c nbDecision=175500 #constraints=14743 738.22/738.55 c nbDecision=176000 #constraints=14755 740.42/740.77 c nbDecision=176500 #constraints=14775 742.72/743.06 c nbDecision=177000 #constraints=14799 745.12/745.40 c nbDecision=177500 #constraints=14834 747.52/747.81 c nbDecision=178000 #constraints=14888 749.62/749.95 c nbDecision=178500 #constraints=14900 751.91/752.22 c nbDecision=179000 #constraints=14921 754.11/754.49 c nbDecision=179500 #constraints=14943 756.41/756.77 c nbDecision=180000 #constraints=14970 758.71/759.06 c nbDecision=180500 #constraints=15008 761.01/761.35 c nbDecision=181000 #constraints=15029 763.41/763.73 c nbDecision=181500 #constraints=15059 765.81/766.12 c nbDecision=182000 #constraints=15103 768.51/768.81 c nbDecision=182500 #constraints=15172 771.21/771.59 c nbDecision=183000 #constraints=15253 774.01/774.32 c nbDecision=183500 #constraints=15356 776.20/776.53 c nbDecision=184000 #constraints=15372 778.40/778.72 c nbDecision=184500 #constraints=15388 780.71/781.06 c nbDecision=185000 #constraints=15417 783.10/783.45 c nbDecision=185500 #constraints=15448 785.50/785.85 c nbDecision=186000 #constraints=15487 787.80/788.14 c nbDecision=186500 #constraints=15507 790.20/790.50 c nbDecision=187000 #constraints=15533 792.50/792.88 c nbDecision=187500 #constraints=15575 795.11/795.42 c nbDecision=188000 #constraints=15612 797.50/797.89 c nbDecision=188500 #constraints=15659 800.10/800.40 c nbDecision=189000 #constraints=15718 802.81/803.16 c nbDecision=189500 #constraints=15814 805.40/805.71 c nbDecision=190000 #constraints=15850 807.80/808.16 c nbDecision=190500 #constraints=15889 810.20/810.53 c nbDecision=191000 #constraints=15915 812.70/813.03 c nbDecision=191500 #constraints=15962 815.30/815.69 c nbDecision=192000 #constraints=16023 818.20/818.59 c nbDecision=192500 #constraints=16132 820.69/821.06 c nbDecision=193000 #constraints=16163 823.70/824.03 c nbDecision=193500 #constraints=16245 826.39/826.75 c nbDecision=194000 #constraints=16330 828.89/829.28 c nbDecision=194500 #constraints=16381 831.69/832.01 c nbDecision=195000 #constraints=16441 834.59/834.96 c nbDecision=195500 #constraints=16538 837.68/838.07 c nbDecision=196000 #constraints=16653 841.09/841.47 c nbDecision=196500 #constraints=16850 844.29/844.66 c nbDecision=197000 #constraints=17006 846.79/847.15 c nbDecision=197500 #constraints=17025 849.18/849.56 c nbDecision=198000 #constraints=17042 851.48/851.88 c nbDecision=198500 #constraints=17056 853.78/854.19 c nbDecision=199000 #constraints=17071 856.48/856.87 c nbDecision=199500 #constraints=17100 858.88/859.26 c nbDecision=200000 #constraints=17125 861.28/861.66 c nbDecision=200500 #constraints=17141 863.78/864.19 c nbDecision=201000 #constraints=17166 866.18/866.55 c nbDecision=201500 #constraints=17181 868.47/868.89 c nbDecision=202000 #constraints=17195 870.98/871.38 c nbDecision=202500 #constraints=17219 873.37/873.79 c nbDecision=203000 #constraints=17244 875.77/876.18 c nbDecision=203500 #constraints=17264 878.17/878.54 c nbDecision=204000 #constraints=17283 880.77/881.17 c nbDecision=204500 #constraints=17322 882.77/883.10 c restart after 204801 decisions 883.57/883.98 c nbDecision=205000 #constraints=17379 886.86/887.22 c nbDecision=205500 #constraints=17472 889.16/889.51 c nbDecision=206000 #constraints=17484 892.06/892.44 c nbDecision=206500 #constraints=17519 894.76/895.10 c nbDecision=207000 #constraints=17544 897.17/897.59 c nbDecision=207500 #constraints=17564 899.67/900.02 c nbDecision=208000 #constraints=17587 902.07/902.46 c nbDecision=208500 #constraints=17604 904.46/904.87 c nbDecision=209000 #constraints=17620 906.86/907.25 c nbDecision=209500 #constraints=17635 909.16/909.50 c nbDecision=210000 #constraints=17647 912.06/912.43 c nbDecision=210500 #constraints=17684 914.36/914.73 c nbDecision=211000 #constraints=17696 917.16/917.51 c nbDecision=211500 #constraints=17725 919.76/920.13 c nbDecision=212000 #constraints=17748 922.26/922.64 c nbDecision=212500 #constraints=17767 924.56/925.00 c nbDecision=213000 #constraints=17781 926.96/927.36 c nbDecision=213500 #constraints=17795 929.26/929.69 c nbDecision=214000 #constraints=17810 932.25/932.69 c nbDecision=214500 #constraints=17855 934.85/935.28 c nbDecision=215000 #constraints=17877 937.25/937.65 c nbDecision=215500 #constraints=17892 939.75/940.15 c nbDecision=216000 #constraints=17918 942.15/942.53 c nbDecision=216500 #constraints=17933 944.55/944.90 c nbDecision=217000 #constraints=17947 947.15/947.54 c nbDecision=217500 #constraints=17974 949.54/949.99 c nbDecision=218000 #constraints=17992 952.14/952.51 c nbDecision=218500 #constraints=18012 954.44/954.84 c nbDecision=219000 #constraints=18031 956.74/957.13 c nbDecision=219500 #constraints=18043 959.34/959.74 c nbDecision=220000 #constraints=18068 961.84/962.23 c nbDecision=220500 #constraints=18086 964.14/964.56 c nbDecision=221000 #constraints=18099 966.44/966.86 c nbDecision=221500 #constraints=18111 969.03/969.41 c nbDecision=222000 #constraints=18135 971.33/971.78 c nbDecision=222500 #constraints=18150 973.63/974.06 c nbDecision=223000 #constraints=18162 976.13/976.55 c nbDecision=223500 #constraints=18183 978.43/978.84 c nbDecision=224000 #constraints=18195 981.03/981.40 c nbDecision=224500 #constraints=18222 983.53/984.00 c nbDecision=225000 #constraints=18249 986.03/986.42 c nbDecision=225500 #constraints=18270 989.33/989.77 c nbDecision=226000 #constraints=18333 991.73/992.11 c nbDecision=226500 #constraints=18353 994.53/994.97 c nbDecision=227000 #constraints=18391 997.23/997.64 c nbDecision=227500 #constraints=18422 999.73/1000.17 c nbDecision=228000 #constraints=18441 1002.23/1002.62 c nbDecision=228500 #constraints=18457 1004.63/1005.01 c nbDecision=229000 #constraints=18472 1007.03/1007.45 c nbDecision=229500 #constraints=18500 1009.93/1010.36 c nbDecision=230000 #constraints=18532 1012.43/1012.81 c nbDecision=230500 #constraints=18549 1014.82/1015.28 c nbDecision=231000 #constraints=18566 1017.42/1017.80 c nbDecision=231500 #constraints=18585 1019.92/1020.30 c nbDecision=232000 #constraints=18604 1022.22/1022.64 c nbDecision=232500 #constraints=18616 1024.92/1025.32 c nbDecision=233000 #constraints=18642 1027.42/1027.82 c nbDecision=233500 #constraints=18659 1029.92/1030.35 c nbDecision=234000 #constraints=18678 1032.41/1032.86 c nbDecision=234500 #constraints=18697 1035.21/1035.67 c nbDecision=235000 #constraints=18748 1037.71/1038.12 c nbDecision=235500 #constraints=18767 1040.21/1040.67 c nbDecision=236000 #constraints=18786 1042.81/1043.21 c nbDecision=236500 #constraints=18805 1045.11/1045.59 c nbDecision=237000 #constraints=18819 1047.91/1048.35 c nbDecision=237500 #constraints=18857 1050.21/1050.66 c nbDecision=238000 #constraints=18869 1052.60/1053.01 c nbDecision=238500 #constraints=18882 1055.21/1055.61 c nbDecision=239000 #constraints=18907 1057.51/1057.98 c nbDecision=239500 #constraints=18921 1060.11/1060.59 c nbDecision=240000 #constraints=18946 1063.11/1063.60 c nbDecision=240500 #constraints=18988 1066.31/1066.75 c nbDecision=241000 #constraints=19040 1068.91/1069.35 c nbDecision=241500 #constraints=19060 1071.40/1071.85 c nbDecision=242000 #constraints=19077 1073.90/1074.36 c nbDecision=242500 #constraints=19095 1076.40/1076.86 c nbDecision=243000 #constraints=19119 1078.80/1079.26 c nbDecision=243500 #constraints=19133 1081.50/1081.96 c nbDecision=244000 #constraints=19160 1084.00/1084.45 c nbDecision=244500 #constraints=19176 1086.59/1087.02 c nbDecision=245000 #constraints=19195 1088.99/1089.41 c nbDecision=245500 #constraints=19209 1091.39/1091.81 c nbDecision=246000 #constraints=19224 1093.69/1094.10 c nbDecision=246500 #constraints=19236 1096.39/1096.83 c nbDecision=247000 #constraints=19267 1098.89/1099.30 c nbDecision=247500 #constraints=19300 1101.29/1101.71 c nbDecision=248000 #constraints=19315 1103.59/1104.04 c nbDecision=248500 #constraints=19327 1106.19/1106.69 c nbDecision=249000 #constraints=19349 1108.58/1109.07 c nbDecision=249500 #constraints=19362 1110.98/1111.49 c nbDecision=250000 #constraints=19379 1113.48/1113.95 c nbDecision=250500 #constraints=19398 1115.78/1116.28 c nbDecision=251000 #constraints=19414 1118.48/1118.91 c nbDecision=251500 #constraints=19439 1121.18/1121.66 c nbDecision=252000 #constraints=19469 1124.38/1124.84 c nbDecision=252500 #constraints=19532 1126.88/1127.35 c nbDecision=253000 #constraints=19548 1129.48/1129.93 c nbDecision=253500 #constraints=19567 1132.37/1132.81 c nbDecision=254000 #constraints=19620 1134.78/1135.21 c nbDecision=254500 #constraints=19642 1137.07/1137.59 c nbDecision=255000 #constraints=19656 1139.77/1140.27 c nbDecision=255500 #constraints=19688 1142.37/1142.86 c nbDecision=256000 #constraints=19706 1144.67/1145.19 c nbDecision=256500 #constraints=19717 1147.17/1147.65 c nbDecision=257000 #constraints=19733 1149.77/1150.25 c nbDecision=257500 #constraints=19755 1152.16/1152.69 c nbDecision=258000 #constraints=19770 1154.76/1155.23 c nbDecision=258500 #constraints=19790 1157.16/1157.63 c nbDecision=259000 #constraints=19805 1159.56/1160.08 c nbDecision=259500 #constraints=19819 1161.96/1162.49 c nbDecision=260000 #constraints=19837 1164.86/1165.39 c nbDecision=260500 #constraints=19873 1168.16/1168.69 c nbDecision=261000 #constraints=19932 1170.66/1171.17 c nbDecision=261500 #constraints=19948 1173.17/1173.62 c nbDecision=262000 #constraints=19963 1175.66/1176.11 c nbDecision=262500 #constraints=19987 1178.26/1178.72 c nbDecision=263000 #constraints=20010 1180.66/1181.18 c nbDecision=263500 #constraints=20024 1183.36/1183.87 c nbDecision=264000 #constraints=20048 1185.76/1186.28 c nbDecision=264500 #constraints=20062 1188.36/1188.83 c nbDecision=265000 #constraints=20082 1191.26/1191.74 c nbDecision=265500 #constraints=20135 1194.26/1194.75 c nbDecision=266000 #constraints=20179 1197.25/1197.72 c nbDecision=266500 #constraints=20228 1199.66/1200.19 c nbDecision=267000 #constraints=20243 1202.45/1202.92 c nbDecision=267500 #constraints=20269 1204.75/1205.26 c nbDecision=268000 #constraints=20280 1207.45/1207.98 c nbDecision=268500 #constraints=20305 1210.05/1210.54 c nbDecision=269000 #constraints=20326 1212.55/1213.08 c nbDecision=269500 #constraints=20346 1215.45/1215.95 c nbDecision=270000 #constraints=20388 1217.84/1218.33 c nbDecision=270500 #constraints=20403 1220.44/1220.92 c nbDecision=271000 #constraints=20423 1222.94/1223.42 c nbDecision=271500 #constraints=20447 1225.44/1225.90 c nbDecision=272000 #constraints=20465 1228.84/1229.35 c nbDecision=272500 #constraints=20530 1231.54/1232.05 c nbDecision=273000 #constraints=20556 1234.84/1235.34 c nbDecision=273500 #constraints=20610 1237.34/1237.87 c nbDecision=274000 #constraints=20631 1240.44/1240.96 c nbDecision=274500 #constraints=20683 1243.33/1243.84 c nbDecision=275000 #constraints=20730 1246.63/1247.15 c nbDecision=275500 #constraints=20815 1250.23/1250.79 c nbDecision=276000 #constraints=20881 1252.84/1253.36 c nbDecision=276500 #constraints=20898 1255.64/1256.17 c nbDecision=277000 #constraints=20920 1258.53/1259.00 c nbDecision=277500 #constraints=20943 1261.13/1261.70 c nbDecision=278000 #constraints=20962 1263.73/1264.29 c nbDecision=278500 #constraints=20980 1266.23/1266.72 c nbDecision=279000 #constraints=20993 1268.73/1269.21 c nbDecision=279500 #constraints=21007 1272.03/1272.53 c nbDecision=280000 #constraints=21045 1274.73/1275.28 c nbDecision=280500 #constraints=21072 1277.33/1277.87 c nbDecision=281000 #constraints=21103 1280.03/1280.50 c nbDecision=281500 #constraints=21121 1282.52/1283.04 c nbDecision=282000 #constraints=21136 1285.02/1285.54 c nbDecision=282500 #constraints=21150 1288.12/1288.68 c nbDecision=283000 #constraints=21184 1290.72/1291.24 c nbDecision=283500 #constraints=21200 1293.32/1293.83 c nbDecision=284000 #constraints=21217 1295.82/1296.31 c nbDecision=284500 #constraints=21231 1298.22/1298.79 c nbDecision=285000 #constraints=21246 1301.22/1301.75 c nbDecision=285500 #constraints=21276 1303.82/1304.30 c nbDecision=286000 #constraints=21291 1306.22/1306.79 c nbDecision=286500 #constraints=21305 1308.62/1309.18 c nbDecision=287000 #constraints=21317 1311.51/1312.08 c nbDecision=287500 #constraints=21345 1314.01/1314.54 c nbDecision=288000 #constraints=21359 1316.81/1317.32 c nbDecision=288500 #constraints=21384 1319.21/1319.73 c nbDecision=289000 #constraints=21397 1322.01/1322.52 c nbDecision=289500 #constraints=21430 1325.11/1325.60 c nbDecision=290000 #constraints=21466 1328.31/1328.86 c nbDecision=290500 #constraints=21518 1331.10/1331.69 c nbDecision=291000 #constraints=21540 1334.10/1334.64 c nbDecision=291500 #constraints=21565 1336.80/1337.35 c nbDecision=292000 #constraints=21584 1339.30/1339.86 c nbDecision=292500 #constraints=21598 1341.90/1342.41 c nbDecision=293000 #constraints=21613 1344.39/1344.92 c nbDecision=293500 #constraints=21627 1347.29/1347.89 c nbDecision=294000 #constraints=21656 1350.09/1350.65 c nbDecision=294500 #constraints=21685 1352.59/1353.16 c nbDecision=295000 #constraints=21699 1355.09/1355.67 c nbDecision=295500 #constraints=21714 1357.59/1358.17 c nbDecision=296000 #constraints=21728 1360.49/1361.08 c nbDecision=296500 #constraints=21762 1363.08/1363.69 c nbDecision=297000 #constraints=21778 1365.69/1366.24 c nbDecision=297500 #constraints=21793 1368.58/1369.14 c nbDecision=298000 #constraints=21820 1371.08/1371.60 c nbDecision=298500 #constraints=21833 1373.49/1374.08 c nbDecision=299000 #constraints=21853 1376.19/1376.77 c nbDecision=299500 #constraints=21876 1378.69/1379.23 c nbDecision=300000 #constraints=21895 1381.19/1381.76 c nbDecision=300500 #constraints=21912 1383.78/1384.32 c nbDecision=301000 #constraints=21929 1387.38/1387.96 c nbDecision=301500 #constraints=21995 1390.58/1391.10 c nbDecision=302000 #constraints=22040 1393.28/1393.86 c nbDecision=302500 #constraints=22067 1395.88/1396.46 c nbDecision=303000 #constraints=22083 1398.48/1399.01 c nbDecision=303500 #constraints=22098 1400.88/1401.42 c nbDecision=304000 #constraints=22110 1403.87/1404.47 c nbDecision=304500 #constraints=22140 1406.57/1407.17 c nbDecision=305000 #constraints=22157 1409.07/1409.62 c nbDecision=305500 #constraints=22169 1411.97/1412.55 c nbDecision=306000 #constraints=22198 1414.37/1414.98 c nbDecision=306500 #constraints=22210 1416.87/1417.46 c nbDecision=307000 #constraints=22223 1419.57/1420.17 c nbDecision=307500 #constraints=22245 1421.96/1422.59 c nbDecision=308000 #constraints=22257 1424.66/1425.22 c nbDecision=308500 #constraints=22277 1427.27/1427.83 c nbDecision=309000 #constraints=22295 1430.76/1431.38 c nbDecision=309500 #constraints=22357 1433.56/1434.16 c nbDecision=310000 #constraints=22384 1436.36/1436.97 c nbDecision=310500 #constraints=22404 1438.76/1439.38 c nbDecision=311000 #constraints=22415 1441.76/1442.37 c nbDecision=311500 #constraints=22451 1444.36/1444.92 c nbDecision=312000 #constraints=22465 1446.86/1447.46 c nbDecision=312500 #constraints=22480 1449.56/1450.15 c nbDecision=313000 #constraints=22500 1452.06/1452.63 c nbDecision=313500 #constraints=22521 1454.66/1455.28 c nbDecision=314000 #constraints=22541 1457.96/1458.55 c nbDecision=314500 #constraints=22601 1461.65/1462.29 c nbDecision=315000 #constraints=22668 1464.35/1464.91 c nbDecision=315500 #constraints=22683 1466.86/1467.46 c nbDecision=316000 #constraints=22697 1469.75/1470.34 c nbDecision=316500 #constraints=22723 1472.15/1472.72 c nbDecision=317000 #constraints=22733 1474.85/1475.43 c nbDecision=317500 #constraints=22755 1477.65/1478.25 c nbDecision=318000 #constraints=22780 1481.35/1481.96 c nbDecision=318500 #constraints=22843 1483.95/1484.52 c nbDecision=319000 #constraints=22857 1486.75/1487.35 c nbDecision=319500 #constraints=22882 1489.74/1490.37 c nbDecision=320000 #constraints=22913 1493.04/1493.69 c nbDecision=320500 #constraints=22965 1495.54/1496.18 c nbDecision=321000 #constraints=22985 1499.24/1499.81 c nbDecision=321500 #constraints=23038 1501.94/1502.51 c nbDecision=322000 #constraints=23068 1505.44/1506.06 c nbDecision=322500 #constraints=23128 1509.23/1509.87 c nbDecision=323000 #constraints=23209 1513.53/1514.10 c nbDecision=323500 #constraints=23319 1516.33/1516.99 c nbDecision=324000 #constraints=23340 1519.23/1519.81 c nbDecision=324500 #constraints=23359 1521.93/1522.59 c nbDecision=325000 #constraints=23377 1524.53/1525.13 c nbDecision=325500 #constraints=23390 1527.02/1527.66 c nbDecision=326000 #constraints=23402 1530.42/1531.01 c nbDecision=326500 #constraints=23437 1533.22/1533.82 c nbDecision=327000 #constraints=23456 1535.92/1536.54 c nbDecision=327500 #constraints=23473 1538.52/1539.13 c nbDecision=328000 #constraints=23487 1541.52/1542.16 c nbDecision=328500 #constraints=23537 1544.52/1545.13 c nbDecision=329000 #constraints=23562 1547.22/1547.89 c nbDecision=329500 #constraints=23579 1549.71/1550.38 c nbDecision=330000 #constraints=23591 1552.31/1552.93 c nbDecision=330500 #constraints=23605 1555.31/1555.96 c nbDecision=331000 #constraints=23632 1557.91/1558.58 c nbDecision=331500 #constraints=23647 1560.91/1561.56 c nbDecision=332000 #constraints=23673 1563.51/1564.10 c nbDecision=332500 #constraints=23685 1566.31/1566.97 c nbDecision=333000 #constraints=23714 1568.90/1569.53 c nbDecision=333500 #constraints=23728 1572.11/1572.79 c nbDecision=334000 #constraints=23768 1575.61/1576.28 c nbDecision=334500 #constraints=23817 1578.61/1579.23 c nbDecision=335000 #constraints=23838 1581.21/1581.90 c nbDecision=335500 #constraints=23853 1583.91/1584.52 c nbDecision=336000 #constraints=23867 1586.60/1587.26 c nbDecision=336500 #constraints=23884 1589.70/1590.36 c nbDecision=337000 #constraints=23918 1592.31/1592.95 c nbDecision=337500 #constraints=23932 1594.90/1595.57 c nbDecision=338000 #constraints=23947 1597.40/1598.04 c nbDecision=338500 #constraints=23959 1600.30/1600.92 c nbDecision=339000 #constraints=23981 1602.90/1603.55 c nbDecision=339500 #constraints=23996 1605.90/1606.52 c nbDecision=340000 #constraints=24022 1608.50/1609.11 c nbDecision=340500 #constraints=24036 1611.19/1611.89 c nbDecision=341000 #constraints=24056 1614.20/1614.82 c nbDecision=341500 #constraints=24081 1616.79/1617.49 c nbDecision=342000 #constraints=24108 1620.29/1620.91 c nbDecision=342500 #constraints=24158 1623.19/1623.89 c nbDecision=343000 #constraints=24179 1625.88/1626.54 c nbDecision=343500 #constraints=24193 1628.49/1629.16 c nbDecision=344000 #constraints=24208 1631.38/1632.04 c nbDecision=344500 #constraints=24230 1633.98/1634.63 c nbDecision=345000 #constraints=24243 1636.58/1637.28 c nbDecision=345500 #constraints=24259 1639.58/1640.29 c nbDecision=346000 #constraints=24284 1642.58/1643.26 c nbDecision=346500 #constraints=24309 1645.37/1646.01 c nbDecision=347000 #constraints=24328 1648.47/1649.14 c nbDecision=347500 #constraints=24359 1651.88/1652.53 c nbDecision=348000 #constraints=24414 1654.48/1655.10 c nbDecision=348500 #constraints=24427 1657.08/1657.76 c nbDecision=349000 #constraints=24443 1659.98/1660.68 c nbDecision=349500 #constraints=24473 1662.68/1663.35 c nbDecision=350000 #constraints=24487 1665.48/1666.13 c nbDecision=350500 #constraints=24508 1668.27/1668.93 c nbDecision=351000 #constraints=24528 1671.17/1671.81 c nbDecision=351500 #constraints=24554 1674.37/1675.08 c nbDecision=352000 #constraints=24598 1677.17/1677.89 c nbDecision=352500 #constraints=24618 1679.87/1680.55 c nbDecision=353000 #constraints=24633 1682.67/1683.35 c nbDecision=353500 #constraints=24653 1686.46/1687.14 c nbDecision=354000 #constraints=24713 1688.97/1689.64 c nbDecision=354500 #constraints=24725 1692.06/1692.76 c nbDecision=355000 #constraints=24756 1695.46/1696.18 c nbDecision=355500 #constraints=24806 1699.36/1700.01 c nbDecision=356000 #constraints=24868 1702.96/1703.64 c nbDecision=356500 #constraints=24927 1707.15/1707.86 c nbDecision=357000 #constraints=25042 1710.05/1710.72 c nbDecision=357500 #constraints=25061 1712.95/1713.62 c nbDecision=358000 #constraints=25080 1715.75/1716.44 c nbDecision=358500 #constraints=25097 1718.35/1719.00 c nbDecision=359000 #constraints=25109 1721.35/1722.06 c nbDecision=359500 #constraints=25134 1724.04/1724.70 c nbDecision=360000 #constraints=25153 1726.84/1727.58 c nbDecision=360500 #constraints=25172 1729.44/1730.19 c nbDecision=361000 #constraints=25186 1732.64/1733.33 c nbDecision=361500 #constraints=25213 1735.25/1735.98 c nbDecision=362000 #constraints=25228 1737.95/1738.62 c nbDecision=362500 #constraints=25242 1740.95/1741.60 c nbDecision=363000 #constraints=25265 1743.95/1744.65 c nbDecision=363500 #constraints=25315 1746.84/1747.54 c nbDecision=364000 #constraints=25335 1750.24/1750.93 c nbDecision=364500 #constraints=25371 1754.14/1754.82 c nbDecision=365000 #constraints=25428 1756.84/1757.59 c nbDecision=365500 #constraints=25444 1759.44/1760.19 c nbDecision=366000 #constraints=25456 1762.14/1762.86 c nbDecision=366500 #constraints=25471 1765.23/1765.91 c nbDecision=367000 #constraints=25495 1767.93/1768.65 c nbDecision=367500 #constraints=25510 1770.44/1771.18 c nbDecision=368000 #constraints=25522 1773.53/1774.24 c nbDecision=368500 #constraints=25547 1776.33/1777.06 c nbDecision=369000 #constraints=25566 1779.03/1779.79 c nbDecision=369500 #constraints=25582 1782.33/1783.09 c nbDecision=370000 #constraints=25615 1785.83/1786.57 c nbDecision=370500 #constraints=25665 1788.52/1789.28 c nbDecision=371000 #constraints=25679 1791.22/1791.93 c nbDecision=371500 #constraints=25694 1794.32/1795.03 c nbDecision=372000 #constraints=25725 1797.12/1797.88 c nbDecision=372500 #constraints=25745 1799.72/1800.45 c nbDecision=373000 #constraints=25757 1800.03/1800.70 Received signal 15 1800.03/1800.71 1800.03/1800.71 s UNKNOWN 1800.03/1800.71 1800.03/1800.71 c user time= 1799.73 s 1800.03/1800.71 c system time= 0.308953 s 1800.03/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/node37/watcher-356945-1176849045 -o ROOT/results/node37/solver-356945-1176849045 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356945-1176849045/instance-356945-1176849045.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/78 19331 /proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=1620 CPUtime=0 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132816976 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569724 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 405 176 126 317 0 84 0 [startup+0.102649 s] /proc/loadavg: 0.92 0.98 0.99 3/78 19331 /proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=3440 CPUtime=0.1 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 897 0 0 0 10 0 0 0 18 0 1 0 132816976 3522560 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 860 652 126 317 0 539 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3440 [startup+0.201668 s] /proc/loadavg: 0.92 0.98 0.99 3/78 19331 /proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=5520 CPUtime=0.19 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 1507 0 0 0 19 0 0 0 18 0 1 0 132816976 5652480 1005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714755 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 1380 1005 127 317 0 1059 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5520 [startup+0.301687 s] /proc/loadavg: 0.92 0.98 0.99 3/78 19331 /proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=5820 CPUtime=0.29 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 1591 0 0 0 29 0 0 0 19 0 1 0 132816976 5959680 1089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 1455 1089 131 317 0 1134 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5820 [startup+0.701762 s] /proc/loadavg: 0.92 0.98 0.99 3/78 19331 /proc/meminfo: memFree=1619072/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=14644 CPUtime=0.69 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 3680 0 0 0 68 1 0 0 22 0 1 0 132816976 14995456 3178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 3661 3178 131 317 0 3340 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14644 [startup+1.50191 s] /proc/loadavg: 0.92 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1598456/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=32628 CPUtime=1.49 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 7878 0 0 0 146 3 0 0 25 0 1 0 132816976 33411072 7376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 8157 7377 131 317 0 7836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32628 [startup+3.10121 s] /proc/loadavg: 0.92 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1575032/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=80812 CPUtime=3.09 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 19606 0 0 0 302 7 0 0 25 0 1 0 132816976 82751488 19104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 20203 19104 137 317 0 19882 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 80812 [startup+6.30182 s] /proc/loadavg: 0.93 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1528376/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=95664 CPUtime=6.29 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 23299 0 0 0 621 8 0 0 25 0 1 0 132816976 97959936 22797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 23916 22797 139 317 0 23595 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 95664 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1525512/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=98280 CPUtime=12.69 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 23940 0 0 0 1260 9 0 0 25 0 1 0 132816976 100638720 23438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384537 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 24570 23438 139 317 0 24249 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 98280 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 3/79 19332 /proc/meminfo: memFree=1522312/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=101436 CPUtime=25.48 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 24750 0 0 0 2539 9 0 0 25 0 1 0 132816976 103870464 24248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 25359 24248 139 317 0 25038 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 101436 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1519816/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=104048 CPUtime=51.07 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 25394 0 0 0 5097 10 0 0 25 0 1 0 132816976 106545152 24892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 26012 24892 139 317 0 25691 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 104048 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1516616/2055920 swapFree=4128524/4192956 [pid=19331] ppid=19329 vsize=107208 CPUtime=102.26 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 26175 0 0 0 10215 11 0 0 25 0 1 0 132816976 109780992 25673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 26802 25673 139 317 0 26481 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 107208 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1513416/2055920 swapFree=4128588/4192956 [pid=19331] ppid=19329 vsize=110440 CPUtime=162.23 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 27000 0 0 0 16212 11 0 0 25 0 1 0 132816976 113090560 26448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 27610 26448 139 317 0 27289 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 110440 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1511304/2055920 swapFree=4128588/4192956 [pid=19331] ppid=19329 vsize=112720 CPUtime=222.21 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 27562 0 0 0 22209 12 0 0 25 0 1 0 132816976 115425280 27010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 28180 27010 139 317 0 27859 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 112720 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1510216/2055920 swapFree=4128588/4192956 [pid=19331] ppid=19329 vsize=113760 CPUtime=282.19 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 27823 0 0 0 28206 13 0 0 25 0 1 0 132816976 116490240 27271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 28440 27271 139 317 0 28119 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 113760 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 19332 /proc/meminfo: memFree=1509128/2055920 swapFree=4128652/4192956 [pid=19331] ppid=19329 vsize=114672 CPUtime=342.17 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 28080 0 0 0 34203 14 0 0 25 0 1 0 132816976 117424128 27528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 28668 27528 139 317 0 28347 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 114672 [startup+402.301 s] /proc/loadavg: 1.03 1.00 1.00 2/79 19332 /proc/meminfo: memFree=1508040/2055920 swapFree=4128652/4192956 [pid=19331] ppid=19329 vsize=116112 CPUtime=402.14 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 28368 0 0 0 40200 14 0 0 25 0 1 0 132816976 118898688 27816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 29028 27816 139 317 0 28707 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 116112 [startup+462.302 s] /proc/loadavg: 1.01 1.00 1.00 2/79 19332 /proc/meminfo: memFree=1506056/2055920 swapFree=4128716/4192956 [pid=19331] ppid=19329 vsize=117960 CPUtime=462.12 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 28838 0 0 0 46197 15 0 0 25 0 1 0 132816976 120791040 28286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606719 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 29490 28286 139 317 0 29169 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 117960 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1505160/2055920 swapFree=4128716/4192956 [pid=19331] ppid=19329 vsize=118880 CPUtime=522.1 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 29085 0 0 0 52194 16 0 0 25 0 1 0 132816976 121733120 28533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 29720 28533 139 317 0 29399 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 118880 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1502920/2055920 swapFree=4128716/4192956 [pid=19331] ppid=19329 vsize=121184 CPUtime=582.07 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 29621 0 0 0 58191 16 0 0 25 0 1 0 132816976 124092416 29069 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 30296 29069 139 317 0 29975 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 121184 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1501832/2055920 swapFree=4128780/4192956 [pid=19331] ppid=19329 vsize=122416 CPUtime=642.06 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 29924 0 0 0 64189 17 0 0 25 0 1 0 132816976 125353984 29372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 30604 29372 139 317 0 30283 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 122416 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1497288/2055920 swapFree=4128844/4192956 [pid=19331] ppid=19329 vsize=127620 CPUtime=821.99 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 31148 0 0 0 82180 19 0 0 25 0 1 0 132816976 130682880 30497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 31905 30497 139 317 0 31584 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 127620 [startup+882.307 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1495496/2055920 swapFree=4128908/4192956 [pid=19331] ppid=19329 vsize=129460 CPUtime=881.97 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 31583 0 0 0 88177 20 0 0 25 0 1 0 132816976 132567040 30932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 32365 30932 139 317 0 32044 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 129460 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1494152/2055920 swapFree=4128908/4192956 [pid=19331] ppid=19329 vsize=131072 CPUtime=941.95 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 31942 0 0 0 94174 21 0 0 25 0 1 0 132816976 134217728 31291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 32768 31291 139 317 0 32447 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 131072 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1493320/2055920 swapFree=4128908/4192956 [pid=19331] ppid=19329 vsize=131720 CPUtime=1001.93 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32127 0 0 0 100171 22 0 0 25 0 1 0 132816976 134881280 31476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385227 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 32930 31476 139 317 0 32609 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 131720 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1492552/2055920 swapFree=4128972/4192956 [pid=19331] ppid=19329 vsize=132504 CPUtime=1061.91 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32338 0 0 0 106168 23 0 0 25 0 1 0 132816976 135684096 31687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 33126 31687 139 317 0 32805 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 132504 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1491784/2055920 swapFree=4128972/4192956 [pid=19331] ppid=19329 vsize=133156 CPUtime=1121.88 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32523 0 0 0 112165 23 0 0 25 0 1 0 132816976 136351744 31872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 33289 31872 139 317 0 32968 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 133156 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1490824/2055920 swapFree=4129036/4192956 [pid=19331] ppid=19329 vsize=133976 CPUtime=1181.86 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 32753 0 0 0 118162 24 0 0 25 0 1 0 132816976 137191424 32102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385264 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 33494 32102 139 317 0 33173 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 133976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1489800/2055920 swapFree=4129036/4192956 [pid=19331] ppid=19329 vsize=135052 CPUtime=1241.83 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33022 0 0 0 124159 24 0 0 25 0 1 0 132816976 138293248 32371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563983 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 33763 32371 139 317 0 33442 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 135052 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1488968/2055920 swapFree=4129036/4192956 [pid=19331] ppid=19329 vsize=135712 CPUtime=1301.82 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33209 0 0 0 130157 25 0 0 25 0 1 0 132816976 138969088 32558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 33928 32558 139 317 0 33607 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 135712 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1488392/2055920 swapFree=4129100/4192956 [pid=19331] ppid=19329 vsize=136428 CPUtime=1361.79 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33371 0 0 0 136154 25 0 0 25 0 1 0 132816976 139702272 32720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 34107 32720 139 317 0 33786 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 136428 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1487624/2055920 swapFree=4129100/4192956 [pid=19331] ppid=19329 vsize=136952 CPUtime=1421.77 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33536 0 0 0 142151 26 0 0 25 0 1 0 132816976 140238848 32885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 34238 32885 139 317 0 33917 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 136952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1486728/2055920 swapFree=4129164/4192956 [pid=19331] ppid=19329 vsize=137924 CPUtime=1481.75 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 33772 0 0 0 148148 27 0 0 25 0 1 0 132816976 141234176 33121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 34481 33121 139 317 0 34160 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 137924 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1485640/2055920 swapFree=4129164/4192956 [pid=19331] ppid=19329 vsize=139028 CPUtime=1541.72 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34046 0 0 0 154145 27 0 0 25 0 1 0 132816976 142364672 33395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 34757 33395 139 317 0 34436 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 139028 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1484744/2055920 swapFree=4129164/4192956 [pid=19331] ppid=19329 vsize=141356 CPUtime=1601.7 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34522 0 0 0 160142 28 0 0 25 0 1 0 132816976 144748544 33607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 35339 33607 139 317 0 35018 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 141356 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1484104/2055920 swapFree=4129228/4192956 [pid=19331] ppid=19329 vsize=141912 CPUtime=1661.68 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34686 0 0 0 166139 29 0 0 25 0 1 0 132816976 145317888 33771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 35478 33771 139 317 0 35157 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 141912 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1483208/2055920 swapFree=4129228/4192956 [pid=19331] ppid=19329 vsize=142700 CPUtime=1721.65 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 34897 0 0 0 172136 29 0 0 25 0 1 0 132816976 146124800 33982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 35675 33982 139 317 0 35354 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 142700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19334 /proc/meminfo: memFree=1482440/2055920 swapFree=4129292/4192956 [pid=19331] ppid=19329 vsize=143604 CPUtime=1781.63 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 35137 0 0 0 178133 30 0 0 25 0 1 0 132816976 147050496 34189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 35901 34189 139 317 0 35580 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 143604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 3/79 19334 /proc/meminfo: memFree=1482248/2055920 swapFree=4129292/4192956 [pid=19331] ppid=19329 vsize=143732 CPUtime=1800.03 /proc/19331/stat : 19331 (oree) R 19329 19331 19033 0 -1 4194304 35189 0 0 0 179973 30 0 0 25 0 1 0 132816976 147181568 34241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19331/statm: 35933 34241 139 317 0 35612 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 143732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.1 CPU user time (s): 1799.77 CPU system time (s): 0.330949 CPU usage (%): 99.9627 Max. virtual memory (cumulated for all children) (KiB): 143732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.330949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35205 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= 3201 runsolver used 1.84772 second user time and 4.75228 second system time The end
Begin job on node37 on Tue Apr 17 22:30:45 UTC 2007 IDJOB= 356945 IDBENCH= 1671 IDSOLVER= 172 FILE ID= node37/356945-1176849045 PBS_JOBID= 4590205 Free space on /tmp= 66452 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-d2q06c.opb COMMAND LINE= oree /tmp/evaluation/356945-1176849045/instance-356945-1176849045.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-356945-1176849045 -o ROOT/results/node37/solver-356945-1176849045 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356945-1176849045/instance-356945-1176849045.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 121100115f65aafe7304954ad1ff7cf1 RANDOM SEED= 736139933 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1619480 kB Buffers: 37284 kB Cached: 313928 kB SwapCached: 3136 kB Active: 200264 kB Inactive: 176956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1619480 kB SwapTotal: 4192956 kB SwapFree: 4128524 kB Dirty: 11900 kB Writeback: 0 kB Mapped: 33184 kB Slab: 44524 kB Committed_AS: 1101608 kB PageTables: 2000 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= 66452 MiB End job on node37 on Tue Apr 17 23:00:48 UTC 2007