Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.54 | 1801.03 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb |
MD5SUM | 96d9927730c8b8baae8e5c668115210d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 273432 |
Best CPU time to get the best result obtained on this benchmark | 1800.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 273432 |
Optimality of the best value was proved | NO |
Number of variables | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
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 | 526135 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.26 c ...done 0.19/0.26 c #vars=8902 #constraints=3039 hasObjective=yes 0.19/0.29 c res. mode=mod 0.19/0.29 c VSIDS like heuristics 0.19/0.29 c complete search running 0.39/0.50 c restart after 401 decisions 0.49/0.52 c nbDecision=500 #constraints=3075 0.59/0.68 c restart after 801 decisions 0.69/0.79 c nbDecision=1000 #constraints=3124 1.09/1.16 c nbDecision=1500 #constraints=3195 1.19/1.24 c restart after 1601 decisions 1.49/1.51 c nbDecision=2000 #constraints=3271 1.88/1.98 c nbDecision=2500 #constraints=3361 2.38/2.41 c nbDecision=3000 #constraints=3439 2.48/2.60 c restart after 3201 decisions 2.68/2.74 c nbDecision=3500 #constraints=3514 2.99/3.04 c nbDecision=4000 #constraints=3565 3.29/3.34 c nbDecision=4500 #constraints=3621 3.59/3.65 c nbDecision=5000 #constraints=3677 3.89/3.99 c nbDecision=5500 #constraints=3729 4.29/4.37 c nbDecision=6000 #constraints=3781 4.69/4.71 c restart after 6401 decisions 4.69/4.75 c nbDecision=6500 #constraints=3834 5.29/5.32 c nbDecision=7000 #constraints=3928 5.89/5.92 c nbDecision=7500 #constraints=4008 6.49/6.56 c nbDecision=8000 #constraints=4102 6.99/7.04 c nbDecision=8500 #constraints=4181 7.69/7.71 c nbDecision=9000 #constraints=4265 8.09/8.19 c nbDecision=9500 #constraints=4338 8.79/8.84 c nbDecision=10000 #constraints=4422 9.59/9.60 c nbDecision=10500 #constraints=4522 10.19/10.24 c nbDecision=11000 #constraints=4604 10.79/10.83 c nbDecision=11500 #constraints=4680 11.49/11.52 c nbDecision=12000 #constraints=4805 12.38/12.46 c nbDecision=12500 #constraints=4954 13.09/13.16 c restart after 12801 decisions 13.38/13.41 c nbDecision=13000 #constraints=5085 14.38/14.42 c nbDecision=13500 #constraints=5185 15.29/15.30 c nbDecision=14000 #constraints=5270 16.28/16.32 c nbDecision=14500 #constraints=5374 17.08/17.19 c nbDecision=15000 #constraints=5460 18.49/18.57 c nbDecision=15500 #constraints=5582 19.89/19.91 c nbDecision=16000 #constraints=5701 21.58/21.63 c nbDecision=16500 #constraints=5872 23.09/23.12 c nbDecision=17000 #constraints=5989 24.48/24.52 c nbDecision=17500 #constraints=6095 25.38/25.49 c nbDecision=18000 #constraints=6152 26.68/26.71 c nbDecision=18500 #constraints=6226 29.39/29.45 c nbDecision=19000 #constraints=6420 30.69/30.75 c nbDecision=19500 #constraints=6499 32.18/32.29 c nbDecision=20000 #constraints=6591 34.08/34.14 c nbDecision=20500 #constraints=6725 35.68/35.77 c nbDecision=21000 #constraints=6834 36.98/37.08 c nbDecision=21500 #constraints=6916 38.08/38.11 c nbDecision=22000 #constraints=6981 39.78/39.84 c nbDecision=22500 #constraints=7099 40.78/40.82 c nbDecision=23000 #constraints=7145 42.08/42.18 c nbDecision=23500 #constraints=7216 43.38/43.46 c nbDecision=24000 #constraints=7282 45.38/45.46 c nbDecision=24500 #constraints=7398 46.98/47.07 c nbDecision=25000 #constraints=7484 48.48/48.53 c nbDecision=25500 #constraints=7557 48.78/48.81 c restart after 25601 decisions 50.18/50.23 c nbDecision=26000 #constraints=7627 54.08/54.13 c nbDecision=26500 #constraints=7742 56.08/56.19 c nbDecision=27000 #constraints=7797 59.47/59.59 c nbDecision=27500 #constraints=7894 62.27/62.34 c nbDecision=28000 #constraints=7977 65.57/65.64 c nbDecision=28500 #constraints=8077 68.87/68.93 c nbDecision=29000 #constraints=8180 72.17/72.27 c nbDecision=29500 #constraints=8283 74.77/74.83 c nbDecision=30000 #constraints=8351 77.97/78.10 c nbDecision=30500 #constraints=8440 81.38/81.40 c nbDecision=31000 #constraints=8531 84.57/84.66 c nbDecision=31500 #constraints=8618 87.67/87.78 c nbDecision=32000 #constraints=8687 92.76/92.87 c nbDecision=32500 #constraints=8823 97.06/97.10 c nbDecision=33000 #constraints=8935 100.56/100.69 c nbDecision=33500 #constraints=9033 105.76/105.89 c nbDecision=34000 #constraints=9179 111.76/111.86 c nbDecision=34500 #constraints=9323 117.05/117.13 c nbDecision=35000 #constraints=9437 122.06/122.13 c nbDecision=35500 #constraints=9564 126.56/126.64 c nbDecision=36000 #constraints=9690 130.86/130.97 c nbDecision=36500 #constraints=9807 135.45/135.57 c nbDecision=37000 #constraints=9919 139.35/139.49 c nbDecision=37500 #constraints=10015 143.56/143.68 c nbDecision=38000 #constraints=10116 147.05/147.10 c nbDecision=38500 #constraints=10202 152.15/152.27 c nbDecision=39000 #constraints=10318 158.35/158.40 c nbDecision=39500 #constraints=10449 166.84/166.90 c nbDecision=40000 #constraints=10605 171.84/171.99 c nbDecision=40500 #constraints=10708 177.64/177.78 c nbDecision=41000 #constraints=10809 185.44/185.50 c nbDecision=41500 #constraints=10942 197.63/197.76 c nbDecision=42000 #constraints=11161 202.74/202.82 c nbDecision=42500 #constraints=11245 208.24/208.38 c nbDecision=43000 #constraints=11339 214.44/214.52 c nbDecision=43500 #constraints=11451 220.03/220.16 c nbDecision=44000 #constraints=11585 223.93/224.08 c nbDecision=44500 #constraints=11678 228.73/228.81 c nbDecision=45000 #constraints=11775 234.23/234.33 c nbDecision=45500 #constraints=11899 238.02/238.14 c nbDecision=46000 #constraints=11972 245.02/245.16 c nbDecision=46500 #constraints=12112 249.93/250.06 c nbDecision=47000 #constraints=12213 254.33/254.48 c nbDecision=47500 #constraints=12317 259.62/259.80 c nbDecision=48000 #constraints=12446 265.42/265.54 c nbDecision=48500 #constraints=12592 272.22/272.31 c nbDecision=49000 #constraints=12732 276.12/276.23 c nbDecision=49500 #constraints=12818 282.21/282.33 c nbDecision=50000 #constraints=12953 287.31/287.45 c nbDecision=50500 #constraints=13068 294.31/294.46 c nbDecision=51000 #constraints=13214 297.31/297.44 c restart after 51201 decisions 298.71/298.85 c nbDecision=51500 #constraints=13294 301.21/301.33 c nbDecision=52000 #constraints=13362 303.71/303.80 c nbDecision=52500 #constraints=13432 306.11/306.23 c nbDecision=53000 #constraints=13497 308.61/308.70 c nbDecision=53500 #constraints=13555 311.61/311.75 c nbDecision=54000 #constraints=13633 313.81/313.92 c nbDecision=54500 #constraints=13682 316.11/316.29 c nbDecision=55000 #constraints=13741 318.81/318.98 c nbDecision=55500 #constraints=13810 321.61/321.78 c nbDecision=56000 #constraints=13886 324.50/324.66 c nbDecision=56500 #constraints=13962 327.10/327.20 c nbDecision=57000 #constraints=14030 329.20/329.37 c nbDecision=57500 #constraints=14083 331.50/331.60 c nbDecision=58000 #constraints=14136 333.50/333.60 c nbDecision=58500 #constraints=14188 335.80/335.92 c nbDecision=59000 #constraints=14245 338.50/338.61 c nbDecision=59500 #constraints=14319 340.90/341.01 c nbDecision=60000 #constraints=14377 344.69/344.82 c nbDecision=60500 #constraints=14472 347.19/347.39 c nbDecision=61000 #constraints=14534 349.70/349.87 c nbDecision=61500 #constraints=14583 352.70/352.81 c nbDecision=62000 #constraints=14651 355.10/355.27 c nbDecision=62500 #constraints=14701 357.50/357.67 c nbDecision=63000 #constraints=14754 360.20/360.33 c nbDecision=63500 #constraints=14816 363.00/363.13 c nbDecision=64000 #constraints=14878 365.10/365.21 c nbDecision=64500 #constraints=14924 367.59/367.70 c nbDecision=65000 #constraints=14984 370.29/370.45 c nbDecision=65500 #constraints=15053 372.79/372.95 c nbDecision=66000 #constraints=15105 375.49/375.64 c nbDecision=66500 #constraints=15164 377.59/377.78 c nbDecision=67000 #constraints=15204 380.39/380.59 c nbDecision=67500 #constraints=15266 382.48/382.65 c nbDecision=68000 #constraints=15311 385.18/385.34 c nbDecision=68500 #constraints=15371 387.88/388.06 c nbDecision=69000 #constraints=15424 390.58/390.79 c nbDecision=69500 #constraints=15471 392.79/392.94 c nbDecision=70000 #constraints=15520 395.59/395.76 c nbDecision=70500 #constraints=15580 398.48/398.66 c nbDecision=71000 #constraints=15638 400.98/401.11 c nbDecision=71500 #constraints=15685 404.18/404.38 c nbDecision=72000 #constraints=15771 406.89/407.09 c nbDecision=72500 #constraints=15843 409.58/409.75 c nbDecision=73000 #constraints=15901 412.08/412.20 c nbDecision=73500 #constraints=15946 414.58/414.75 c nbDecision=74000 #constraints=16007 417.08/417.28 c nbDecision=74500 #constraints=16066 419.48/419.63 c nbDecision=75000 #constraints=16110 422.37/422.53 c nbDecision=75500 #constraints=16175 424.87/425.06 c nbDecision=76000 #constraints=16233 426.87/427.06 c nbDecision=76500 #constraints=16285 429.27/429.47 c nbDecision=77000 #constraints=16330 431.97/432.12 c nbDecision=77500 #constraints=16372 435.88/436.05 c nbDecision=78000 #constraints=16455 439.58/439.75 c nbDecision=78500 #constraints=16532 443.38/443.50 c nbDecision=79000 #constraints=16614 445.78/445.96 c nbDecision=79500 #constraints=16670 449.78/449.98 c nbDecision=80000 #constraints=16750 453.57/453.71 c nbDecision=80500 #constraints=16837 457.17/457.38 c nbDecision=81000 #constraints=16910 460.77/460.96 c nbDecision=81500 #constraints=16982 463.87/464.05 c nbDecision=82000 #constraints=17050 467.46/467.62 c nbDecision=82500 #constraints=17119 470.57/470.75 c nbDecision=83000 #constraints=17179 474.26/474.40 c nbDecision=83500 #constraints=17250 477.76/477.91 c nbDecision=84000 #constraints=17315 481.86/482.09 c nbDecision=84500 #constraints=17397 486.36/486.57 c nbDecision=85000 #constraints=17485 490.96/491.12 c nbDecision=85500 #constraints=17577 495.56/495.79 c nbDecision=86000 #constraints=17671 500.16/500.39 c nbDecision=86500 #constraints=17766 504.16/504.34 c nbDecision=87000 #constraints=17837 508.16/508.32 c nbDecision=87500 #constraints=17906 512.55/512.71 c nbDecision=88000 #constraints=17992 517.05/517.27 c nbDecision=88500 #constraints=18079 520.65/520.84 c nbDecision=89000 #constraints=18142 524.45/524.68 c nbDecision=89500 #constraints=18211 527.65/527.89 c nbDecision=90000 #constraints=18269 532.45/532.64 c nbDecision=90500 #constraints=18368 536.55/536.77 c nbDecision=91000 #constraints=18452 540.55/540.72 c nbDecision=91500 #constraints=18531 545.55/545.71 c nbDecision=92000 #constraints=18624 549.45/549.67 c nbDecision=92500 #constraints=18698 552.95/553.17 c nbDecision=93000 #constraints=18766 556.24/556.47 c nbDecision=93500 #constraints=18824 559.34/559.57 c nbDecision=94000 #constraints=18880 562.04/562.22 c nbDecision=94500 #constraints=18921 565.25/565.41 c nbDecision=95000 #constraints=18968 569.14/569.35 c nbDecision=95500 #constraints=19041 571.94/572.12 c nbDecision=96000 #constraints=19092 574.64/574.85 c nbDecision=96500 #constraints=19145 577.74/577.90 c nbDecision=97000 #constraints=19196 581.64/581.84 c nbDecision=97500 #constraints=19262 586.14/586.32 c nbDecision=98000 #constraints=19336 589.34/589.52 c nbDecision=98500 #constraints=19411 593.23/593.44 c nbDecision=99000 #constraints=19485 596.63/596.86 c nbDecision=99500 #constraints=19543 600.03/600.28 c nbDecision=100000 #constraints=19589 604.03/604.27 c nbDecision=100500 #constraints=19681 607.83/608.09 c nbDecision=101000 #constraints=19747 611.22/611.45 c nbDecision=101500 #constraints=19804 614.92/615.16 c nbDecision=102000 #constraints=19873 617.12/617.32 c restart after 102401 decisions 618.62/618.81 c nbDecision=102500 #constraints=19916 622.82/623.06 c nbDecision=103000 #constraints=19989 628.12/628.30 c nbDecision=103500 #constraints=20072 631.42/631.67 c nbDecision=104000 #constraints=20135 635.52/635.71 c nbDecision=104500 #constraints=20202 639.22/639.50 c nbDecision=105000 #constraints=20266 643.92/644.10 c nbDecision=105500 #constraints=20353 648.42/648.67 c nbDecision=106000 #constraints=20428 653.71/653.95 c nbDecision=106500 #constraints=20513 659.01/659.23 c nbDecision=107000 #constraints=20604 663.81/664.06 c nbDecision=107500 #constraints=20690 669.21/669.45 c nbDecision=108000 #constraints=20778 674.11/674.30 c nbDecision=108500 #constraints=20855 681.72/681.91 c nbDecision=109000 #constraints=21000 687.71/687.96 c nbDecision=109500 #constraints=21103 693.11/693.38 c nbDecision=110000 #constraints=21175 696.91/697.19 c nbDecision=110500 #constraints=21221 701.00/701.20 c nbDecision=111000 #constraints=21279 705.90/706.13 c nbDecision=111500 #constraints=21362 708.90/709.15 c nbDecision=112000 #constraints=21419 712.80/713.05 c nbDecision=112500 #constraints=21487 716.90/717.10 c nbDecision=113000 #constraints=21551 721.30/721.58 c nbDecision=113500 #constraints=21616 724.29/724.53 c nbDecision=114000 #constraints=21660 729.20/729.49 c nbDecision=114500 #constraints=21733 733.00/733.21 c nbDecision=115000 #constraints=21800 736.70/736.91 c nbDecision=115500 #constraints=21869 739.89/740.18 c nbDecision=116000 #constraints=21936 743.69/743.95 c nbDecision=116500 #constraints=22003 747.79/748.07 c nbDecision=117000 #constraints=22064 752.89/753.12 c nbDecision=117500 #constraints=22140 757.49/757.74 c nbDecision=118000 #constraints=22204 760.59/760.86 c nbDecision=118500 #constraints=22253 763.09/763.38 c nbDecision=119000 #constraints=22301 766.68/766.90 c nbDecision=119500 #constraints=22362 771.18/771.42 c nbDecision=120000 #constraints=22429 775.99/776.20 c nbDecision=120500 #constraints=22501 779.98/780.23 c nbDecision=121000 #constraints=22546 784.18/784.47 c nbDecision=121500 #constraints=22621 788.88/789.13 c nbDecision=122000 #constraints=22686 792.78/793.07 c nbDecision=122500 #constraints=22738 797.08/797.34 c nbDecision=123000 #constraints=22802 801.37/801.62 c nbDecision=123500 #constraints=22875 804.57/804.86 c nbDecision=124000 #constraints=22930 808.37/808.62 c nbDecision=124500 #constraints=22984 812.37/812.67 c nbDecision=125000 #constraints=23044 817.37/817.63 c nbDecision=125500 #constraints=23118 821.17/821.47 c nbDecision=126000 #constraints=23178 825.17/825.43 c nbDecision=126500 #constraints=23252 829.08/829.33 c nbDecision=127000 #constraints=23314 831.97/832.30 c nbDecision=127500 #constraints=23364 835.57/835.83 c nbDecision=128000 #constraints=23416 839.27/839.56 c nbDecision=128500 #constraints=23480 842.86/843.14 c nbDecision=129000 #constraints=23526 846.16/846.43 c nbDecision=129500 #constraints=23569 849.66/849.98 c nbDecision=130000 #constraints=23614 853.16/853.50 c nbDecision=130500 #constraints=23669 857.56/857.83 c nbDecision=131000 #constraints=23738 861.66/861.92 c nbDecision=131500 #constraints=23798 864.96/865.29 c nbDecision=132000 #constraints=23854 868.46/868.77 c nbDecision=132500 #constraints=23911 872.06/872.31 c nbDecision=133000 #constraints=23950 876.75/877.10 c nbDecision=133500 #constraints=24022 881.75/882.06 c nbDecision=134000 #constraints=24093 885.65/885.94 c nbDecision=134500 #constraints=24155 889.45/889.73 c nbDecision=135000 #constraints=24213 893.06/893.39 c nbDecision=135500 #constraints=24267 896.85/897.15 c nbDecision=136000 #constraints=24321 900.35/900.64 c nbDecision=136500 #constraints=24390 903.25/903.50 c nbDecision=137000 #constraints=24446 905.55/905.80 c nbDecision=137500 #constraints=24484 909.25/909.52 c nbDecision=138000 #constraints=24544 912.75/913.08 c nbDecision=138500 #constraints=24594 917.35/917.68 c nbDecision=139000 #constraints=24662 921.94/922.28 c nbDecision=139500 #constraints=24735 925.74/926.05 c nbDecision=140000 #constraints=24799 929.74/930.04 c nbDecision=140500 #constraints=24859 933.24/933.53 c nbDecision=141000 #constraints=24905 936.74/937.08 c nbDecision=141500 #constraints=24958 941.14/941.42 c nbDecision=142000 #constraints=25019 945.53/945.85 c nbDecision=142500 #constraints=25086 949.23/949.52 c nbDecision=143000 #constraints=25144 952.53/952.85 c nbDecision=143500 #constraints=25206 955.53/955.83 c nbDecision=144000 #constraints=25256 959.43/959.73 c nbDecision=144500 #constraints=25321 963.63/963.99 c nbDecision=145000 #constraints=25385 968.23/968.56 c nbDecision=145500 #constraints=25447 972.33/972.66 c nbDecision=146000 #constraints=25500 976.13/976.41 c nbDecision=146500 #constraints=25542 980.63/980.92 c nbDecision=147000 #constraints=25606 983.62/983.98 c nbDecision=147500 #constraints=25649 987.82/988.10 c nbDecision=148000 #constraints=25700 991.93/992.23 c nbDecision=148500 #constraints=25751 995.42/995.77 c nbDecision=149000 #constraints=25805 1000.12/1000.46 c nbDecision=149500 #constraints=25859 1004.42/1004.71 c nbDecision=150000 #constraints=25909 1009.31/1009.62 c nbDecision=150500 #constraints=25969 1013.72/1014.08 c nbDecision=151000 #constraints=26029 1018.02/1018.36 c nbDecision=151500 #constraints=26084 1022.51/1022.88 c nbDecision=152000 #constraints=26148 1026.11/1026.50 c nbDecision=152500 #constraints=26198 1031.01/1031.38 c nbDecision=153000 #constraints=26270 1036.31/1036.63 c nbDecision=153500 #constraints=26336 1040.21/1040.57 c nbDecision=154000 #constraints=26395 1044.11/1044.44 c nbDecision=154500 #constraints=26447 1048.01/1048.36 c nbDecision=155000 #constraints=26504 1051.71/1052.08 c nbDecision=155500 #constraints=26563 1057.10/1057.42 c nbDecision=156000 #constraints=26638 1060.60/1060.96 c nbDecision=156500 #constraints=26684 1064.11/1064.46 c nbDecision=157000 #constraints=26735 1068.61/1068.98 c nbDecision=157500 #constraints=26792 1072.21/1072.57 c nbDecision=158000 #constraints=26850 1076.60/1076.91 c nbDecision=158500 #constraints=26910 1080.80/1081.18 c nbDecision=159000 #constraints=26972 1085.60/1085.96 c nbDecision=159500 #constraints=27034 1090.19/1090.59 c nbDecision=160000 #constraints=27086 1096.30/1096.67 c nbDecision=160500 #constraints=27172 1101.10/1101.41 c nbDecision=161000 #constraints=27228 1106.20/1106.59 c nbDecision=161500 #constraints=27307 1110.09/1110.40 c nbDecision=162000 #constraints=27364 1115.39/1115.74 c nbDecision=162500 #constraints=27435 1119.78/1120.12 c nbDecision=163000 #constraints=27494 1124.58/1124.93 c nbDecision=163500 #constraints=27560 1128.59/1128.93 c nbDecision=164000 #constraints=27614 1133.09/1133.50 c nbDecision=164500 #constraints=27677 1138.28/1138.65 c nbDecision=165000 #constraints=27748 1143.48/1143.80 c nbDecision=165500 #constraints=27814 1148.68/1149.00 c nbDecision=166000 #constraints=27877 1154.37/1154.72 c nbDecision=166500 #constraints=27949 1158.27/1158.65 c nbDecision=167000 #constraints=28012 1161.97/1162.31 c nbDecision=167500 #constraints=28061 1166.97/1167.33 c nbDecision=168000 #constraints=28134 1170.57/1170.98 c nbDecision=168500 #constraints=28181 1175.38/1175.79 c nbDecision=169000 #constraints=28246 1180.38/1180.74 c nbDecision=169500 #constraints=28316 1184.17/1184.58 c nbDecision=170000 #constraints=28374 1187.77/1188.10 c nbDecision=170500 #constraints=28430 1191.67/1192.00 c nbDecision=171000 #constraints=28484 1195.37/1195.78 c nbDecision=171500 #constraints=28529 1200.57/1200.91 c nbDecision=172000 #constraints=28595 1205.27/1205.69 c nbDecision=172500 #constraints=28654 1211.06/1211.47 c nbDecision=173000 #constraints=28728 1217.96/1218.38 c nbDecision=173500 #constraints=28832 1221.46/1221.87 c nbDecision=174000 #constraints=28884 1226.76/1227.14 c nbDecision=174500 #constraints=28952 1232.06/1232.45 c nbDecision=175000 #constraints=29020 1235.56/1235.92 c nbDecision=175500 #constraints=29071 1241.76/1242.14 c nbDecision=176000 #constraints=29136 1247.06/1247.44 c nbDecision=176500 #constraints=29205 1250.86/1251.24 c nbDecision=177000 #constraints=29258 1256.25/1256.69 c nbDecision=177500 #constraints=29324 1261.65/1262.05 c nbDecision=178000 #constraints=29391 1267.05/1267.47 c nbDecision=178500 #constraints=29465 1272.84/1273.22 c nbDecision=179000 #constraints=29540 1277.85/1278.21 c nbDecision=179500 #constraints=29614 1283.94/1284.39 c nbDecision=180000 #constraints=29693 1290.25/1290.65 c nbDecision=180500 #constraints=29772 1296.55/1296.94 c nbDecision=181000 #constraints=29856 1303.05/1303.42 c nbDecision=181500 #constraints=29950 1313.44/1313.89 c nbDecision=182000 #constraints=30091 1319.63/1320.03 c nbDecision=182500 #constraints=30167 1325.93/1326.38 c nbDecision=183000 #constraints=30251 1330.93/1331.37 c nbDecision=183500 #constraints=30319 1336.73/1337.12 c nbDecision=184000 #constraints=30388 1342.53/1342.90 c nbDecision=184500 #constraints=30458 1347.73/1348.18 c nbDecision=185000 #constraints=30528 1351.93/1352.30 c nbDecision=185500 #constraints=30579 1355.42/1355.84 c nbDecision=186000 #constraints=30631 1360.02/1360.45 c nbDecision=186500 #constraints=30688 1363.72/1364.18 c nbDecision=187000 #constraints=30744 1368.12/1368.59 c nbDecision=187500 #constraints=30806 1371.92/1372.35 c nbDecision=188000 #constraints=30857 1378.22/1378.69 c nbDecision=188500 #constraints=30927 1383.72/1384.17 c nbDecision=189000 #constraints=30984 1388.62/1389.01 c nbDecision=189500 #constraints=31046 1392.52/1392.94 c nbDecision=190000 #constraints=31094 1397.41/1397.86 c nbDecision=190500 #constraints=31143 1402.31/1402.78 c nbDecision=191000 #constraints=31203 1408.01/1408.41 c nbDecision=191500 #constraints=31269 1412.61/1413.07 c nbDecision=192000 #constraints=31325 1419.41/1419.82 c nbDecision=192500 #constraints=31401 1424.51/1424.91 c nbDecision=193000 #constraints=31465 1430.31/1430.77 c nbDecision=193500 #constraints=31539 1437.21/1437.64 c nbDecision=194000 #constraints=31619 1444.00/1444.49 c nbDecision=194500 #constraints=31703 1448.70/1449.17 c nbDecision=195000 #constraints=31756 1453.20/1453.65 c nbDecision=195500 #constraints=31806 1458.80/1459.26 c nbDecision=196000 #constraints=31868 1464.10/1464.54 c nbDecision=196500 #constraints=31928 1469.89/1470.35 c nbDecision=197000 #constraints=32008 1474.99/1475.40 c nbDecision=197500 #constraints=32065 1479.19/1479.66 c nbDecision=198000 #constraints=32112 1484.29/1484.74 c nbDecision=198500 #constraints=32167 1488.79/1489.24 c nbDecision=199000 #constraints=32215 1493.39/1493.89 c nbDecision=199500 #constraints=32270 1498.68/1499.10 c nbDecision=200000 #constraints=32337 1505.68/1506.11 c nbDecision=200500 #constraints=32394 1511.68/1512.13 c nbDecision=201000 #constraints=32462 1518.69/1519.10 c nbDecision=201500 #constraints=32534 1524.98/1525.44 c nbDecision=202000 #constraints=32605 1533.08/1533.52 c nbDecision=202500 #constraints=32684 1540.88/1541.32 c nbDecision=203000 #constraints=32758 1547.38/1547.85 c nbDecision=203500 #constraints=32827 1551.37/1551.88 c nbDecision=204000 #constraints=32864 1555.57/1556.01 c nbDecision=204500 #constraints=32910 1557.97/1558.47 c restart after 204801 decisions 1560.38/1560.89 c nbDecision=205000 #constraints=32957 1565.07/1565.56 c nbDecision=205500 #constraints=33012 1568.77/1569.22 c nbDecision=206000 #constraints=33067 1572.67/1573.19 c nbDecision=206500 #constraints=33123 1577.37/1577.87 c nbDecision=207000 #constraints=33173 1581.86/1582.36 c nbDecision=207500 #constraints=33226 1585.56/1586.02 c nbDecision=208000 #constraints=33273 1589.26/1589.78 c nbDecision=208500 #constraints=33313 1593.76/1594.28 c nbDecision=209000 #constraints=33364 1598.26/1598.79 c nbDecision=209500 #constraints=33416 1602.96/1603.40 c nbDecision=210000 #constraints=33475 1607.66/1608.17 c nbDecision=210500 #constraints=33525 1611.75/1612.23 c nbDecision=211000 #constraints=33577 1615.06/1615.54 c nbDecision=211500 #constraints=33624 1620.46/1620.94 c nbDecision=212000 #constraints=33676 1625.56/1626.09 c nbDecision=212500 #constraints=33720 1632.05/1632.50 c nbDecision=213000 #constraints=33790 1637.65/1638.17 c nbDecision=213500 #constraints=33852 1644.65/1645.11 c nbDecision=214000 #constraints=33927 1651.65/1652.13 c nbDecision=214500 #constraints=34005 1657.85/1658.33 c nbDecision=215000 #constraints=34068 1664.44/1664.91 c nbDecision=215500 #constraints=34141 1669.74/1670.26 c nbDecision=216000 #constraints=34199 1674.74/1675.25 c nbDecision=216500 #constraints=34249 1679.83/1680.31 c nbDecision=217000 #constraints=34301 1684.83/1685.31 c nbDecision=217500 #constraints=34356 1691.03/1691.57 c nbDecision=218000 #constraints=34423 1695.63/1696.11 c nbDecision=218500 #constraints=34472 1700.54/1701.01 c nbDecision=219000 #constraints=34521 1706.13/1706.65 c nbDecision=219500 #constraints=34586 1710.63/1711.18 c nbDecision=220000 #constraints=34635 1716.33/1716.81 c nbDecision=220500 #constraints=34694 1722.23/1722.74 c nbDecision=221000 #constraints=34749 1729.12/1729.69 c nbDecision=221500 #constraints=34819 1735.42/1735.94 c nbDecision=222000 #constraints=34885 1741.62/1742.11 c nbDecision=222500 #constraints=34950 1745.92/1746.49 c nbDecision=223000 #constraints=34998 1751.61/1752.13 c nbDecision=223500 #constraints=35061 1755.91/1756.46 c nbDecision=224000 #constraints=35102 1761.62/1762.16 c nbDecision=224500 #constraints=35152 1766.71/1767.26 c nbDecision=225000 #constraints=35198 1774.41/1774.96 c nbDecision=225500 #constraints=35268 1783.11/1783.62 c nbDecision=226000 #constraints=35341 1786.51/1787.07 c nbDecision=226500 #constraints=35381 1791.11/1791.63 c nbDecision=227000 #constraints=35438 1796.91/1797.48 c nbDecision=227500 #constraints=35493 1800.01/1800.50 Received signal 15 1800.41/1800.99 1800.41/1800.99 s UNKNOWN 1800.41/1800.99 1800.41/1800.99 c user time= 1800.15 s 1800.41/1800.99 c system time= 0.362944 s 1800.41/1800.99 c wall clock time=1800.99
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-357030-1176852223 -o ROOT/results/node68/solver-357030-1176852223 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357030-1176852223/instance-357030-1176852223.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.97 0.99 3/64 7901 /proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=1468 CPUtime=0 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161211845 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 367 161 131 317 0 46 0 [startup+0.0939319 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7901 /proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=3184 CPUtime=0.09 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 621 0 0 0 9 0 0 0 18 0 1 0 161211845 3260416 603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 796 603 131 317 0 475 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3184 [startup+0.102933 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7901 /proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=3448 CPUtime=0.09 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 161211845 3530752 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 862 650 131 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.301951 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7901 /proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=8644 CPUtime=0.29 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 1945 0 0 0 29 0 0 0 19 0 1 0 161211845 8851456 1927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 2161 1927 137 317 0 1840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8644 [startup+0.702987 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7901 /proc/meminfo: memFree=1767728/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=8812 CPUtime=0.69 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2016 0 0 0 69 0 0 0 23 0 1 0 161211845 9023488 1998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711195 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 2203 1998 170 317 0 1882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8812 [startup+1.50106 s] /proc/loadavg: 0.91 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1760232/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=9208 CPUtime=1.49 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2099 0 0 0 149 0 0 0 25 0 1 0 161211845 9428992 2081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710964 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 2302 2081 170 317 0 1981 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9208 [startup+3.1012 s] /proc/loadavg: 0.91 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1759528/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=9992 CPUtime=3.09 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2317 0 0 0 308 1 0 0 25 0 1 0 161211845 10231808 2299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712538 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 2498 2299 170 317 0 2177 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9992 [startup+6.30149 s] /proc/loadavg: 0.92 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1757608/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=11580 CPUtime=6.29 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 2709 0 0 0 628 1 0 0 25 0 1 0 161211845 11857920 2691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 2895 2691 170 317 0 2574 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11580 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1754792/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=14496 CPUtime=12.68 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 3443 0 0 0 1267 1 0 0 25 0 1 0 161211845 14843904 3425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 3624 3425 170 317 0 3303 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14496 [startup+25.5012 s] /proc/loadavg: 0.94 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1749864/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=19444 CPUtime=25.48 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 4630 0 0 0 2546 2 0 0 25 0 1 0 161211845 19910656 4571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 4861 4571 170 317 0 4540 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19444 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1744104/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=25320 CPUtime=51.08 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 6056 0 0 0 5104 4 0 0 25 0 1 0 161211845 25927680 5997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 6330 5997 170 317 0 6009 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25320 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1739368/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=30648 CPUtime=102.26 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 7224 0 0 0 10221 5 0 0 25 0 1 0 161211845 31383552 7165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 7662 7165 170 317 0 7341 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30648 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1733480/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=36304 CPUtime=162.25 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 8684 0 0 0 16218 7 0 0 25 0 1 0 161211845 37175296 8625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 9076 8625 170 317 0 8755 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36304 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1728872/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=40964 CPUtime=222.23 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 9882 0 0 0 22215 8 0 0 25 0 1 0 161211845 41947136 9744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 10241 9744 170 317 0 9920 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 40964 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1723816/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=46680 CPUtime=282.21 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 11157 0 0 0 28212 9 0 0 25 0 1 0 161211845 47800320 11019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 11670 11019 170 317 0 11349 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 46680 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1717736/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=53672 CPUtime=342.19 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 12660 0 0 0 34209 10 0 0 25 0 1 0 161211845 54960128 12522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 13418 12522 170 317 0 13097 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 53672 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1712808/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=58260 CPUtime=402.18 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 13902 0 0 0 40206 12 0 0 25 0 1 0 161211845 59658240 13764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 14565 13764 170 317 0 14244 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 58260 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1707816/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=63548 CPUtime=462.17 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 15138 0 0 0 46204 13 0 0 25 0 1 0 161211845 65073152 15000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 15887 15000 170 317 0 15566 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 63548 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1702824/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=69020 CPUtime=522.15 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 16384 0 0 0 52201 14 0 0 25 0 1 0 161211845 70676480 16246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 17255 16246 170 317 0 16934 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 69020 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1698408/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=73004 CPUtime=582.14 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 17475 0 0 0 58199 15 0 0 25 0 1 0 161211845 74756096 17337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 18251 17337 170 317 0 17930 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 73004 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1694440/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=77104 CPUtime=642.13 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 18585 0 0 0 64197 16 0 0 25 0 1 0 161211845 78954496 18315 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 19276 18315 170 317 0 18955 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 77104 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7902 /proc/meminfo: memFree=1676264/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=97992 CPUtime=942.04 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 24153 0 0 0 94183 21 0 0 25 0 1 0 161211845 100343808 22868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 24498 22868 170 317 0 24177 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 97992 [startup+1002.3 s] /proc/loadavg: 1.04 0.99 0.99 2/65 7904 /proc/meminfo: memFree=1673384/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=101004 CPUtime=1002.02 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 24932 0 0 0 100180 22 0 0 25 0 1 0 161211845 103428096 23581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 25251 23581 170 317 0 24930 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 101004 [startup+1062.3 s] /proc/loadavg: 1.09 1.02 1.00 2/65 7904 /proc/meminfo: memFree=1670440/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=103624 CPUtime=1062 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 25726 0 0 0 106177 23 0 0 25 0 1 0 161211845 106110976 24309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 25906 24309 170 317 0 25585 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 103624 [startup+1122.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 7904 /proc/meminfo: memFree=1667496/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=106364 CPUtime=1121.98 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 26512 0 0 0 112173 25 0 0 25 0 1 0 161211845 108916736 25029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 26591 25029 170 317 0 26270 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 106364 [startup+1182.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7904 /proc/meminfo: memFree=1664168/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=110788 CPUtime=1181.97 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 27610 0 0 0 118170 27 0 0 25 0 1 0 161211845 113446912 25863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 27697 25863 170 317 0 27376 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 110788 [startup+1242.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 7904 /proc/meminfo: memFree=1660968/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=113916 CPUtime=1241.96 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 28499 0 0 0 124168 28 0 0 25 0 1 0 161211845 116649984 26653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 28479 26653 170 317 0 28158 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 113916 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7904 /proc/meminfo: memFree=1657832/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=117688 CPUtime=1301.95 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 29467 0 0 0 130166 29 0 0 25 0 1 0 161211845 120512512 27423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 29422 27423 170 317 0 29101 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 117688 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1654888/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=120716 CPUtime=1361.92 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 30283 0 0 0 136162 30 0 0 25 0 1 0 161211845 123613184 28173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 30179 28173 170 317 0 29858 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 120716 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1652072/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=123208 CPUtime=1421.91 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 30965 0 0 0 142159 32 0 0 25 0 1 0 161211845 126164992 28855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 30802 28855 170 317 0 30481 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 123208 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1649128/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=125828 CPUtime=1481.89 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 31697 0 0 0 148157 32 0 0 25 0 1 0 161211845 128847872 29587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 31457 29587 170 317 0 31136 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 125828 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1646696/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=128052 CPUtime=1541.88 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 32335 0 0 0 154155 33 0 0 25 0 1 0 161211845 131125248 30192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 32013 30192 170 317 0 31692 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 128052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1644200/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=130400 CPUtime=1601.86 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 33009 0 0 0 160153 33 0 0 25 0 1 0 161211845 133529600 30833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 32600 30833 170 317 0 32279 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 130400 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1641832/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=132636 CPUtime=1661.84 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 33612 0 0 0 166150 34 0 0 25 0 1 0 161211845 135819264 31403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 33159 31403 170 317 0 32838 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 132636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1639784/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=134332 CPUtime=1721.83 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34132 0 0 0 172148 35 0 0 25 0 1 0 161211845 137555968 31923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 33583 31923 170 317 0 33262 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 134332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1637736/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=136036 CPUtime=1781.82 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34627 0 0 0 178146 36 0 0 25 0 1 0 161211845 139300864 32418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 34009 32418 170 317 0 33688 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 136036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7904 /proc/meminfo: memFree=1637032/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=136720 CPUtime=1800.01 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34810 0 0 0 179965 36 0 0 25 0 1 0 161211845 140001280 32601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 34180 32601 170 317 0 33859 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 136720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7905 /proc/meminfo: memFree=1637024/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=136720 CPUtime=1800.12 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34810 0 0 0 179976 36 0 0 25 0 1 0 161211845 140001280 32601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 34180 32601 170 317 0 33859 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 136720 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/66 7905 /proc/meminfo: memFree=1637024/2055920 swapFree=4178704/4192956 [pid=7901] ppid=7899 vsize=132476 CPUtime=1800.51 /proc/7901/stat : 7901 (oree) R 7899 7901 7317 0 -1 4194304 34827 0 0 0 180015 36 0 0 25 0 1 0 161211845 135655424 31778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7901/statm: 33054 31740 186 317 0 32733 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 132476 Child status: 0 Real time (s): 1801.03 CPU time (s): 1800.54 CPU user time (s): 1800.16 CPU system time (s): 0.382941 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 136720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.16 system time used= 0.382941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34827 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= 4644 runsolver used 1.17382 second user time and 3.76643 second system time The end
Begin job on node68 on Tue Apr 17 23:23:43 UTC 2007 IDJOB= 357030 IDBENCH= 1795 IDSOLVER= 172 FILE ID= node68/357030-1176852223 PBS_JOBID= 4590195 Free space on /tmp= 66328 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb COMMAND LINE= oree /tmp/evaluation/357030-1176852223/instance-357030-1176852223.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-357030-1176852223 -o ROOT/results/node68/solver-357030-1176852223 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357030-1176852223/instance-357030-1176852223.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 96d9927730c8b8baae8e5c668115210d RANDOM SEED= 381094670 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 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.216 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: 1768136 kB Buffers: 21188 kB Cached: 219600 kB SwapCached: 8500 kB Active: 100592 kB Inactive: 155268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1768136 kB SwapTotal: 4192956 kB SwapFree: 4178704 kB Dirty: 2188 kB Writeback: 0 kB Mapped: 15340 kB Slab: 18048 kB Committed_AS: 2655008 kB PageTables: 1380 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= 66328 MiB End job on node68 on Tue Apr 17 23:53:46 UTC 2007