Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum3.opb |
MD5SUM | 7834f8d111acea7ee9f1805313462ca3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 410088 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 410088 |
Optimality of the best value was proved | NO |
Number of variables | 93400 |
Total number of constraints | 49197 |
Number of constraints which are clauses | 6081 |
Number of constraints which are cardinality constraints (but not clauses) | 450 |
Number of constraints which are nor clauses,nor cardinality constraints | 42666 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1018 |
Number of terms in the objective function | 87370 |
Biggest coefficient in the objective function | 50629 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 602670 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 274082 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 602670 |
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... 30.48/30.53 c ...done 30.48/30.53 c #vars=93400 #constraints=50050 hasObjective=yes 37.78/37.88 c res. mode=mod 37.78/37.88 c VSIDS like heuristics 37.78/37.88 c complete search running 48.77/48.84 c restart after 401 decisions 51.77/51.89 c nbDecision=500 #constraints=50057 61.46/61.51 c restart after 801 decisions 67.66/67.76 c nbDecision=1000 #constraints=50063 78.06/78.10 c nbDecision=1500 #constraints=50069 79.56/79.68 c restart after 1601 decisions 83.06/83.11 c nbDecision=2000 #constraints=50074 90.35/90.42 c nbDecision=2500 #constraints=50078 95.15/95.24 c nbDecision=3000 #constraints=50082 100.75/100.84 c restart after 3201 decisions 107.85/107.91 c nbDecision=3500 #constraints=50086 115.45/115.59 c nbDecision=4000 #constraints=50089 121.15/121.23 c nbDecision=4500 #constraints=50092 127.65/127.70 c nbDecision=5000 #constraints=50096 132.85/132.90 c nbDecision=5500 #constraints=50099 139.15/139.26 c nbDecision=6000 #constraints=50102 142.95/143.07 c restart after 6401 decisions 143.54/143.61 c nbDecision=6500 #constraints=50105 150.94/151.00 c nbDecision=7000 #constraints=50108 158.04/158.15 c nbDecision=7500 #constraints=50111 163.04/163.16 c nbDecision=8000 #constraints=50115 169.73/169.80 c nbDecision=8500 #constraints=50118 175.23/175.39 c nbDecision=9000 #constraints=50121 181.03/181.10 c nbDecision=9500 #constraints=50124 183.83/183.94 c nbDecision=10000 #constraints=50127 189.33/189.49 c nbDecision=10500 #constraints=50130 197.82/197.90 c nbDecision=11000 #constraints=50133 203.22/203.32 c nbDecision=11500 #constraints=50136 207.12/207.27 c nbDecision=12000 #constraints=50138 213.22/213.37 c nbDecision=12500 #constraints=50141 221.71/221.85 c restart after 12801 decisions 224.61/224.78 c nbDecision=13000 #constraints=50144 230.01/230.17 c nbDecision=13500 #constraints=50146 238.11/238.26 c nbDecision=14000 #constraints=50149 242.02/242.17 c nbDecision=14500 #constraints=50151 245.22/245.34 c nbDecision=15000 #constraints=50154 248.71/248.88 c nbDecision=15500 #constraints=50156 251.21/251.39 c nbDecision=16000 #constraints=50158 255.11/255.20 c nbDecision=16500 #constraints=50161 261.61/261.77 c nbDecision=17000 #constraints=50163 264.51/264.66 c nbDecision=17500 #constraints=50165 267.41/267.58 c nbDecision=18000 #constraints=50167 274.30/274.49 c nbDecision=18500 #constraints=50169 277.90/278.09 c nbDecision=19000 #constraints=50171 280.10/280.26 c nbDecision=19500 #constraints=50172 284.40/284.51 c nbDecision=20000 #constraints=50174 287.90/288.08 c nbDecision=20500 #constraints=50176 291.70/291.83 c nbDecision=21000 #constraints=50178 294.50/294.68 c nbDecision=21500 #constraints=50180 296.50/296.61 c nbDecision=22000 #constraints=50181 300.59/300.79 c nbDecision=22500 #constraints=50183 306.29/306.48 c nbDecision=23000 #constraints=50185 308.69/308.83 c nbDecision=23500 #constraints=50186 311.99/312.17 c nbDecision=24000 #constraints=50188 314.39/314.58 c nbDecision=24500 #constraints=50190 316.39/316.51 c nbDecision=25000 #constraints=50191 321.48/321.60 c nbDecision=25500 #constraints=50193 321.68/321.84 c restart after 25601 decisions 326.59/326.75 c nbDecision=26000 #constraints=50194 328.89/329.05 c nbDecision=26500 #constraints=50195 334.18/334.31 c nbDecision=27000 #constraints=50197 338.78/338.90 c nbDecision=27500 #constraints=50199 341.08/341.25 c nbDecision=28000 #constraints=50200 344.77/344.97 c nbDecision=28500 #constraints=50202 347.08/347.30 c nbDecision=29000 #constraints=50203 349.98/350.16 c nbDecision=29500 #constraints=50205 351.89/352.07 c nbDecision=30000 #constraints=50206 359.88/360.09 c nbDecision=30500 #constraints=50208 366.58/366.73 c nbDecision=31000 #constraints=50209 372.47/372.62 c nbDecision=31500 #constraints=50211 374.67/374.83 c nbDecision=32000 #constraints=50212 379.87/380.03 c nbDecision=32500 #constraints=50214 382.87/383.01 c nbDecision=33000 #constraints=50216 385.07/385.28 c nbDecision=33500 #constraints=50217 389.07/389.26 c nbDecision=34000 #constraints=50219 391.77/391.94 c nbDecision=34500 #constraints=50220 394.47/394.67 c nbDecision=35000 #constraints=50222 396.27/396.42 c nbDecision=35500 #constraints=50223 398.97/399.18 c nbDecision=36000 #constraints=50225 400.97/401.18 c nbDecision=36500 #constraints=50226 404.77/404.95 c nbDecision=37000 #constraints=50228 406.76/406.98 c nbDecision=37500 #constraints=50229 409.46/409.66 c nbDecision=38000 #constraints=50231 411.26/411.44 c nbDecision=38500 #constraints=50232 412.96/413.15 c nbDecision=39000 #constraints=50233 418.46/418.66 c nbDecision=39500 #constraints=50235 420.46/420.67 c nbDecision=40000 #constraints=50236 423.05/423.27 c nbDecision=40500 #constraints=50238 425.15/425.36 c nbDecision=41000 #constraints=50239 428.75/428.90 c nbDecision=41500 #constraints=50240 433.55/433.77 c nbDecision=42000 #constraints=50242 437.05/437.22 c nbDecision=42500 #constraints=50243 443.55/443.77 c nbDecision=43000 #constraints=50244 451.14/451.30 c nbDecision=43500 #constraints=50246 452.94/453.19 c nbDecision=44000 #constraints=50247 455.04/455.20 c nbDecision=44500 #constraints=50248 459.34/459.59 c nbDecision=45000 #constraints=50250 463.44/463.68 c nbDecision=45500 #constraints=50251 466.94/467.17 c nbDecision=46000 #constraints=50252 468.95/469.14 c nbDecision=46500 #constraints=50253 474.54/474.79 c nbDecision=47000 #constraints=50255 476.25/476.49 c nbDecision=47500 #constraints=50256 478.24/478.41 c nbDecision=48000 #constraints=50257 480.04/480.26 c nbDecision=48500 #constraints=50258 483.94/484.11 c nbDecision=49000 #constraints=50260 486.74/486.95 c nbDecision=49500 #constraints=50261 488.74/488.96 c nbDecision=50000 #constraints=50262 492.24/492.46 c nbDecision=50500 #constraints=50263 495.94/496.16 c nbDecision=51000 #constraints=50265 496.44/496.65 c restart after 51201 decisions 497.74/497.94 c nbDecision=51500 #constraints=50265 499.74/499.97 c nbDecision=52000 #constraints=50266 502.83/503.01 c nbDecision=52500 #constraints=50268 504.63/504.89 c nbDecision=53000 #constraints=50269 510.63/510.88 c nbDecision=53500 #constraints=50270 514.73/514.98 c nbDecision=54000 #constraints=50271 522.53/522.74 c nbDecision=54500 #constraints=50273 524.43/524.60 c nbDecision=55000 #constraints=50274 528.52/528.71 c nbDecision=55500 #constraints=50275 533.12/533.34 c nbDecision=56000 #constraints=50276 536.82/537.02 c nbDecision=56500 #constraints=50278 539.02/539.21 c nbDecision=57000 #constraints=50279 542.82/543.00 c nbDecision=57500 #constraints=50280 547.42/547.67 c nbDecision=58000 #constraints=50281 551.12/551.34 c nbDecision=58500 #constraints=50283 553.51/553.74 c nbDecision=59000 #constraints=50284 555.81/556.03 c nbDecision=59500 #constraints=50285 557.81/558.09 c nbDecision=60000 #constraints=50286 560.01/560.26 c nbDecision=60500 #constraints=50287 562.91/563.17 c nbDecision=61000 #constraints=50289 564.91/565.12 c nbDecision=61500 #constraints=50290 568.21/568.48 c nbDecision=62000 #constraints=50291 572.01/572.29 c nbDecision=62500 #constraints=50292 573.91/574.17 c nbDecision=63000 #constraints=50293 576.81/577.08 c nbDecision=63500 #constraints=50294 579.80/580.02 c nbDecision=64000 #constraints=50296 581.90/582.10 c nbDecision=64500 #constraints=50297 584.70/584.94 c nbDecision=65000 #constraints=50298 590.80/591.05 c nbDecision=65500 #constraints=50300 594.50/594.74 c nbDecision=66000 #constraints=50301 597.40/597.60 c nbDecision=66500 #constraints=50302 605.91/606.19 c nbDecision=67000 #constraints=50304 611.20/611.40 c nbDecision=67500 #constraints=50306 613.60/613.89 c nbDecision=68000 #constraints=50307 619.10/619.35 c nbDecision=68500 #constraints=50309 621.60/621.86 c nbDecision=69000 #constraints=50310 623.70/623.91 c nbDecision=69500 #constraints=50311 625.90/626.14 c nbDecision=70000 #constraints=50312 628.09/628.34 c nbDecision=70500 #constraints=50313 631.09/631.38 c nbDecision=71000 #constraints=50314 633.29/633.54 c nbDecision=71500 #constraints=50315 635.29/635.50 c nbDecision=72000 #constraints=50316 637.19/637.48 c nbDecision=72500 #constraints=50317 639.29/639.54 c nbDecision=73000 #constraints=50318 645.99/646.24 c nbDecision=73500 #constraints=50320 648.29/648.50 c nbDecision=74000 #constraints=50321 651.09/651.37 c nbDecision=74500 #constraints=50322 653.29/653.55 c nbDecision=75000 #constraints=50323 659.08/659.38 c nbDecision=75500 #constraints=50324 662.48/662.78 c nbDecision=76000 #constraints=50325 665.28/665.51 c nbDecision=76500 #constraints=50326 667.88/668.19 c nbDecision=77000 #constraints=50327 670.08/670.38 c nbDecision=77500 #constraints=50328 671.98/672.26 c nbDecision=78000 #constraints=50329 673.98/674.22 c nbDecision=78500 #constraints=50330 675.88/676.12 c nbDecision=79000 #constraints=50331 681.47/681.73 c nbDecision=79500 #constraints=50333 685.87/686.17 c nbDecision=80000 #constraints=50334 688.17/688.48 c nbDecision=80500 #constraints=50335 690.07/690.31 c nbDecision=81000 #constraints=50336 692.17/692.46 c nbDecision=81500 #constraints=50337 694.87/695.17 c nbDecision=82000 #constraints=50338 696.87/697.10 c nbDecision=82500 #constraints=50339 699.77/700.01 c nbDecision=83000 #constraints=50341 701.88/702.11 c nbDecision=83500 #constraints=50342 703.97/704.24 c nbDecision=84000 #constraints=50343 708.28/708.54 c nbDecision=84500 #constraints=50344 712.57/712.80 c nbDecision=85000 #constraints=50345 715.27/715.52 c nbDecision=85500 #constraints=50346 717.27/717.55 c nbDecision=86000 #constraints=50347 719.17/719.47 c nbDecision=86500 #constraints=50348 722.47/722.77 c nbDecision=87000 #constraints=50349 724.37/724.63 c nbDecision=87500 #constraints=50350 729.36/729.69 c nbDecision=88000 #constraints=50351 733.36/733.68 c nbDecision=88500 #constraints=50352 736.16/736.40 c nbDecision=89000 #constraints=50353 741.76/742.01 c nbDecision=89500 #constraints=50354 746.36/746.61 c nbDecision=90000 #constraints=50356 748.86/749.19 c nbDecision=90500 #constraints=50357 751.06/751.38 c nbDecision=91000 #constraints=50358 753.36/753.69 c nbDecision=91500 #constraints=50359 755.76/756.05 c nbDecision=92000 #constraints=50360 760.05/760.39 c nbDecision=92500 #constraints=50361 764.26/764.58 c nbDecision=93000 #constraints=50362 765.65/765.93 c nbDecision=93500 #constraints=50362 768.35/768.65 c nbDecision=94000 #constraints=50363 770.85/771.15 c nbDecision=94500 #constraints=50364 773.85/774.20 c nbDecision=95000 #constraints=50365 776.15/776.48 c nbDecision=95500 #constraints=50366 778.65/778.91 c nbDecision=96000 #constraints=50367 781.05/781.39 c nbDecision=96500 #constraints=50368 783.35/783.64 c nbDecision=97000 #constraints=50369 785.44/785.80 c nbDecision=97500 #constraints=50370 787.94/788.22 c nbDecision=98000 #constraints=50371 790.44/790.74 c nbDecision=98500 #constraints=50372 794.64/794.92 c nbDecision=99000 #constraints=50373 799.54/799.81 c nbDecision=99500 #constraints=50374 802.04/802.37 c nbDecision=100000 #constraints=50375 805.34/805.65 c nbDecision=100500 #constraints=50376 809.13/809.42 c nbDecision=101000 #constraints=50377 811.43/811.77 c nbDecision=101500 #constraints=50378 816.04/816.34 c nbDecision=102000 #constraints=50379 816.93/817.21 c restart after 102401 decisions 817.83/818.14 c nbDecision=102500 #constraints=50379 820.63/820.97 c nbDecision=103000 #constraints=50380 821.83/822.15 c nbDecision=103500 #constraints=50380 828.44/828.79 c nbDecision=104000 #constraints=50382 830.64/830.99 c nbDecision=104500 #constraints=50383 834.74/835.04 c nbDecision=105000 #constraints=50384 838.53/838.81 c nbDecision=105500 #constraints=50385 839.73/840.07 c nbDecision=106000 #constraints=50385 842.03/842.32 c nbDecision=106500 #constraints=50386 844.43/844.79 c nbDecision=107000 #constraints=50387 848.83/849.16 c nbDecision=107500 #constraints=50388 852.43/852.73 c nbDecision=108000 #constraints=50389 854.93/855.26 c nbDecision=108500 #constraints=50390 857.23/857.59 c nbDecision=109000 #constraints=50391 859.53/859.85 c nbDecision=109500 #constraints=50392 862.02/862.32 c nbDecision=110000 #constraints=50393 863.23/863.50 c nbDecision=110500 #constraints=50393 865.43/865.70 c nbDecision=111000 #constraints=50394 867.82/868.12 c nbDecision=111500 #constraints=50395 870.62/870.93 c nbDecision=112000 #constraints=50396 874.72/875.00 c nbDecision=112500 #constraints=50397 878.32/878.62 c nbDecision=113000 #constraints=50398 880.82/881.10 c nbDecision=113500 #constraints=50399 883.02/883.34 c nbDecision=114000 #constraints=50400 885.91/886.27 c nbDecision=114500 #constraints=50401 887.31/887.67 c nbDecision=115000 #constraints=50401 891.21/891.58 c nbDecision=115500 #constraints=50402 898.11/898.46 c nbDecision=116000 #constraints=50404 899.51/899.82 c nbDecision=116500 #constraints=50404 902.21/902.56 c nbDecision=117000 #constraints=50405 905.31/905.60 c nbDecision=117500 #constraints=50406 909.30/909.63 c nbDecision=118000 #constraints=50407 912.60/912.96 c nbDecision=118500 #constraints=50408 916.20/916.51 c nbDecision=119000 #constraints=50409 919.70/920.03 c nbDecision=119500 #constraints=50410 921.80/922.13 c nbDecision=120000 #constraints=50411 925.10/925.42 c nbDecision=120500 #constraints=50412 928.00/928.30 c nbDecision=121000 #constraints=50413 929.10/929.49 c nbDecision=121500 #constraints=50413 931.81/932.16 c nbDecision=122000 #constraints=50414 935.70/936.08 c nbDecision=122500 #constraints=50415 939.21/939.57 c nbDecision=123000 #constraints=50416 943.40/943.73 c nbDecision=123500 #constraints=50417 946.30/946.64 c nbDecision=124000 #constraints=50418 948.90/949.21 c nbDecision=124500 #constraints=50419 950.10/950.40 c nbDecision=125000 #constraints=50419 952.50/952.85 c nbDecision=125500 #constraints=50420 955.40/955.75 c nbDecision=126000 #constraints=50421 957.70/958.03 c nbDecision=126500 #constraints=50422 960.00/960.33 c nbDecision=127000 #constraints=50423 962.79/963.16 c nbDecision=127500 #constraints=50424 965.39/965.74 c nbDecision=128000 #constraints=50425 966.60/966.92 c nbDecision=128500 #constraints=50425 970.49/970.81 c nbDecision=129000 #constraints=50426 974.79/975.18 c nbDecision=129500 #constraints=50427 977.19/977.56 c nbDecision=130000 #constraints=50428 979.39/979.75 c nbDecision=130500 #constraints=50429 981.89/982.27 c nbDecision=131000 #constraints=50430 983.09/983.46 c nbDecision=131500 #constraints=50430 985.78/986.11 c nbDecision=132000 #constraints=50431 988.28/988.61 c nbDecision=132500 #constraints=50432 990.79/991.18 c nbDecision=133000 #constraints=50433 993.48/993.87 c nbDecision=133500 #constraints=50434 995.98/996.34 c nbDecision=134000 #constraints=50435 999.38/999.73 c nbDecision=134500 #constraints=50436 1000.78/1001.10 c nbDecision=135000 #constraints=50436 1003.68/1004.02 c nbDecision=135500 #constraints=50437 1007.58/1007.99 c nbDecision=136000 #constraints=50438 1010.08/1010.41 c nbDecision=136500 #constraints=50439 1013.57/1013.95 c nbDecision=137000 #constraints=50440 1014.77/1015.15 c nbDecision=137500 #constraints=50440 1017.37/1017.74 c nbDecision=138000 #constraints=50441 1019.97/1020.32 c nbDecision=138500 #constraints=50442 1022.37/1022.76 c nbDecision=139000 #constraints=50443 1024.97/1025.31 c nbDecision=139500 #constraints=50444 1028.57/1028.92 c nbDecision=140000 #constraints=50445 1029.97/1030.35 c nbDecision=140500 #constraints=50445 1032.37/1032.78 c nbDecision=141000 #constraints=50446 1034.97/1035.37 c nbDecision=141500 #constraints=50447 1037.37/1037.76 c nbDecision=142000 #constraints=50448 1041.37/1041.73 c nbDecision=142500 #constraints=50449 1042.66/1043.08 c nbDecision=143000 #constraints=50449 1048.17/1048.51 c nbDecision=143500 #constraints=50450 1051.57/1052.00 c nbDecision=144000 #constraints=50451 1054.27/1054.68 c nbDecision=144500 #constraints=50452 1058.27/1058.62 c nbDecision=145000 #constraints=50453 1059.67/1060.03 c nbDecision=145500 #constraints=50453 1061.86/1062.26 c nbDecision=146000 #constraints=50454 1064.36/1064.80 c nbDecision=146500 #constraints=50455 1066.86/1067.26 c nbDecision=147000 #constraints=50456 1068.06/1068.46 c nbDecision=147500 #constraints=50456 1070.56/1070.91 c nbDecision=148000 #constraints=50457 1072.96/1073.31 c nbDecision=148500 #constraints=50458 1075.16/1075.56 c nbDecision=149000 #constraints=50459 1077.56/1077.91 c nbDecision=149500 #constraints=50460 1078.66/1079.09 c nbDecision=150000 #constraints=50460 1081.26/1081.66 c nbDecision=150500 #constraints=50461 1083.86/1084.21 c nbDecision=151000 #constraints=50462 1086.35/1086.72 c nbDecision=151500 #constraints=50463 1087.56/1087.90 c nbDecision=152000 #constraints=50463 1090.15/1090.55 c nbDecision=152500 #constraints=50464 1093.16/1093.53 c nbDecision=153000 #constraints=50465 1095.45/1095.80 c nbDecision=153500 #constraints=50466 1096.55/1096.99 c nbDecision=154000 #constraints=50466 1100.05/1100.49 c nbDecision=154500 #constraints=50467 1102.35/1102.79 c nbDecision=155000 #constraints=50468 1104.55/1104.95 c nbDecision=155500 #constraints=50469 1105.75/1106.19 c nbDecision=156000 #constraints=50469 1108.95/1109.30 c nbDecision=156500 #constraints=50470 1111.34/1111.73 c nbDecision=157000 #constraints=50471 1113.95/1114.31 c nbDecision=157500 #constraints=50472 1115.05/1115.48 c nbDecision=158000 #constraints=50472 1117.25/1117.61 c nbDecision=158500 #constraints=50473 1119.45/1119.84 c nbDecision=159000 #constraints=50474 1125.34/1125.77 c nbDecision=159500 #constraints=50475 1126.54/1126.93 c nbDecision=160000 #constraints=50475 1130.24/1130.65 c nbDecision=160500 #constraints=50476 1137.04/1137.49 c nbDecision=161000 #constraints=50477 1140.03/1140.44 c nbDecision=161500 #constraints=50478 1142.23/1142.70 c nbDecision=162000 #constraints=50479 1143.43/1143.86 c nbDecision=162500 #constraints=50479 1145.54/1145.97 c nbDecision=163000 #constraints=50480 1149.24/1149.66 c nbDecision=163500 #constraints=50481 1151.44/1151.87 c nbDecision=164000 #constraints=50482 1154.14/1154.57 c nbDecision=164500 #constraints=50483 1155.34/1155.74 c nbDecision=165000 #constraints=50483 1158.73/1159.12 c nbDecision=165500 #constraints=50484 1163.23/1163.67 c nbDecision=166000 #constraints=50485 1165.64/1166.00 c nbDecision=166500 #constraints=50486 1166.74/1167.18 c nbDecision=167000 #constraints=50486 1169.43/1169.86 c nbDecision=167500 #constraints=50487 1172.13/1172.50 c nbDecision=168000 #constraints=50488 1173.23/1173.68 c nbDecision=168500 #constraints=50488 1175.73/1176.13 c nbDecision=169000 #constraints=50489 1178.93/1179.32 c nbDecision=169500 #constraints=50490 1182.03/1182.42 c nbDecision=170000 #constraints=50491 1183.33/1183.77 c nbDecision=170500 #constraints=50491 1185.72/1186.13 c nbDecision=171000 #constraints=50492 1187.92/1188.35 c nbDecision=171500 #constraints=50493 1189.22/1189.63 c nbDecision=172000 #constraints=50493 1191.42/1191.83 c nbDecision=172500 #constraints=50494 1195.72/1196.15 c nbDecision=173000 #constraints=50495 1196.92/1197.33 c nbDecision=173500 #constraints=50495 1199.72/1200.16 c nbDecision=174000 #constraints=50496 1204.02/1204.48 c nbDecision=174500 #constraints=50497 1205.22/1205.63 c nbDecision=175000 #constraints=50497 1209.31/1209.72 c nbDecision=175500 #constraints=50498 1211.61/1212.02 c nbDecision=176000 #constraints=50499 1213.81/1214.29 c nbDecision=176500 #constraints=50500 1215.12/1215.54 c nbDecision=177000 #constraints=50500 1217.71/1218.15 c nbDecision=177500 #constraints=50501 1221.21/1221.63 c nbDecision=178000 #constraints=50502 1222.41/1222.82 c nbDecision=178500 #constraints=50502 1226.51/1226.92 c nbDecision=179000 #constraints=50503 1229.01/1229.48 c nbDecision=179500 #constraints=50504 1231.51/1231.98 c nbDecision=180000 #constraints=50505 1232.81/1233.24 c nbDecision=180500 #constraints=50505 1236.30/1236.75 c nbDecision=181000 #constraints=50506 1239.50/1239.98 c nbDecision=181500 #constraints=50507 1242.80/1243.28 c nbDecision=182000 #constraints=50508 1244.00/1244.44 c nbDecision=182500 #constraints=50508 1247.70/1248.12 c nbDecision=183000 #constraints=50509 1250.10/1250.52 c nbDecision=183500 #constraints=50510 1251.20/1251.69 c nbDecision=184000 #constraints=50510 1253.40/1253.83 c nbDecision=184500 #constraints=50511 1256.40/1256.85 c nbDecision=185000 #constraints=50512 1257.60/1258.03 c nbDecision=185500 #constraints=50512 1259.90/1260.31 c nbDecision=186000 #constraints=50513 1263.61/1264.10 c nbDecision=186500 #constraints=50514 1264.80/1265.28 c nbDecision=187000 #constraints=50514 1268.01/1268.41 c nbDecision=187500 #constraints=50515 1272.20/1272.65 c nbDecision=188000 #constraints=50516 1273.40/1273.84 c nbDecision=188500 #constraints=50516 1276.00/1276.42 c nbDecision=189000 #constraints=50517 1278.40/1278.88 c nbDecision=189500 #constraints=50518 1279.70/1280.12 c nbDecision=190000 #constraints=50518 1282.80/1283.23 c nbDecision=190500 #constraints=50519 1285.99/1286.45 c nbDecision=191000 #constraints=50520 1287.39/1287.86 c nbDecision=191500 #constraints=50520 1289.79/1290.23 c nbDecision=192000 #constraints=50521 1290.79/1291.27 c nbDecision=192500 #constraints=50521 1295.49/1295.96 c nbDecision=193000 #constraints=50522 1298.09/1298.54 c nbDecision=193500 #constraints=50523 1299.29/1299.71 c nbDecision=194000 #constraints=50523 1301.49/1301.97 c nbDecision=194500 #constraints=50524 1304.69/1305.12 c nbDecision=195000 #constraints=50525 1305.78/1306.29 c nbDecision=195500 #constraints=50525 1308.18/1308.68 c nbDecision=196000 #constraints=50526 1310.98/1311.46 c nbDecision=196500 #constraints=50527 1312.18/1312.64 c nbDecision=197000 #constraints=50527 1314.38/1314.81 c nbDecision=197500 #constraints=50528 1317.58/1318.03 c nbDecision=198000 #constraints=50529 1323.98/1324.44 c nbDecision=198500 #constraints=50530 1325.38/1325.80 c nbDecision=199000 #constraints=50530 1328.17/1328.62 c nbDecision=199500 #constraints=50531 1331.07/1331.59 c nbDecision=200000 #constraints=50532 1333.98/1334.46 c nbDecision=200500 #constraints=50533 1338.38/1338.84 c nbDecision=201000 #constraints=50534 1339.47/1339.94 c nbDecision=201500 #constraints=50534 1341.87/1342.32 c nbDecision=202000 #constraints=50535 1344.07/1344.58 c nbDecision=202500 #constraints=50536 1345.27/1345.76 c nbDecision=203000 #constraints=50536 1348.87/1349.37 c nbDecision=203500 #constraints=50537 1351.37/1351.83 c nbDecision=204000 #constraints=50538 1352.67/1353.11 c nbDecision=204500 #constraints=50538 1354.37/1354.83 c restart after 204801 decisions 1355.17/1355.67 c nbDecision=205000 #constraints=50539 1356.36/1356.86 c nbDecision=205500 #constraints=50539 1359.17/1359.66 c nbDecision=206000 #constraints=50540 1361.47/1361.98 c nbDecision=206500 #constraints=50541 1362.67/1363.17 c nbDecision=207000 #constraints=50541 1366.87/1367.36 c nbDecision=207500 #constraints=50542 1367.97/1368.47 c nbDecision=208000 #constraints=50542 1371.17/1371.62 c nbDecision=208500 #constraints=50543 1373.47/1373.97 c nbDecision=209000 #constraints=50544 1374.67/1375.16 c nbDecision=209500 #constraints=50544 1377.06/1377.50 c nbDecision=210000 #constraints=50545 1379.46/1379.90 c nbDecision=210500 #constraints=50546 1380.56/1381.09 c nbDecision=211000 #constraints=50546 1382.96/1383.49 c nbDecision=211500 #constraints=50547 1384.06/1384.59 c nbDecision=212000 #constraints=50547 1386.46/1386.98 c nbDecision=212500 #constraints=50548 1391.36/1391.82 c nbDecision=213000 #constraints=50549 1392.56/1393.00 c nbDecision=213500 #constraints=50549 1395.36/1395.88 c nbDecision=214000 #constraints=50550 1399.66/1400.12 c nbDecision=214500 #constraints=50551 1400.86/1401.31 c nbDecision=215000 #constraints=50551 1405.25/1405.80 c nbDecision=215500 #constraints=50552 1406.46/1406.90 c nbDecision=216000 #constraints=50552 1409.35/1409.82 c nbDecision=216500 #constraints=50553 1411.85/1412.32 c nbDecision=217000 #constraints=50554 1412.95/1413.50 c nbDecision=217500 #constraints=50554 1415.25/1415.78 c nbDecision=218000 #constraints=50555 1418.35/1418.86 c nbDecision=218500 #constraints=50556 1419.55/1420.05 c nbDecision=219000 #constraints=50556 1423.25/1423.72 c nbDecision=219500 #constraints=50557 1424.25/1424.75 c nbDecision=220000 #constraints=50557 1428.24/1428.75 c nbDecision=220500 #constraints=50558 1432.54/1433.06 c nbDecision=221000 #constraints=50559 1435.15/1435.65 c nbDecision=221500 #constraints=50560 1436.15/1436.70 c nbDecision=222000 #constraints=50560 1439.14/1439.69 c nbDecision=222500 #constraints=50561 1441.84/1442.39 c nbDecision=223000 #constraints=50562 1445.74/1446.22 c nbDecision=223500 #constraints=50563 1446.74/1447.25 c nbDecision=224000 #constraints=50563 1451.64/1452.12 c nbDecision=224500 #constraints=50564 1456.23/1456.70 c nbDecision=225000 #constraints=50565 1460.44/1460.94 c nbDecision=225500 #constraints=50566 1461.43/1461.96 c nbDecision=226000 #constraints=50566 1464.73/1465.24 c nbDecision=226500 #constraints=50567 1467.13/1467.68 c nbDecision=227000 #constraints=50568 1468.33/1468.88 c nbDecision=227500 #constraints=50568 1474.73/1475.25 c nbDecision=228000 #constraints=50569 1475.83/1476.36 c nbDecision=228500 #constraints=50569 1480.72/1481.23 c nbDecision=229000 #constraints=50570 1483.82/1484.36 c nbDecision=229500 #constraints=50571 1486.74/1487.24 c nbDecision=230000 #constraints=50572 1490.43/1490.98 c nbDecision=230500 #constraints=50573 1491.63/1492.17 c nbDecision=231000 #constraints=50573 1494.63/1495.14 c nbDecision=231500 #constraints=50574 1497.43/1497.97 c nbDecision=232000 #constraints=50575 1498.53/1499.00 c nbDecision=232500 #constraints=50575 1502.72/1503.20 c nbDecision=233000 #constraints=50576 1506.82/1507.34 c nbDecision=233500 #constraints=50577 1508.02/1508.54 c nbDecision=234000 #constraints=50577 1510.62/1511.14 c nbDecision=234500 #constraints=50578 1511.82/1512.31 c nbDecision=235000 #constraints=50578 1514.22/1514.78 c nbDecision=235500 #constraints=50579 1516.92/1517.42 c nbDecision=236000 #constraints=50580 1518.12/1518.62 c nbDecision=236500 #constraints=50580 1521.02/1521.58 c nbDecision=237000 #constraints=50581 1522.22/1522.76 c nbDecision=237500 #constraints=50581 1524.51/1525.01 c nbDecision=238000 #constraints=50582 1527.31/1527.90 c nbDecision=238500 #constraints=50583 1528.62/1529.17 c nbDecision=239000 #constraints=50583 1530.91/1531.45 c nbDecision=239500 #constraints=50584 1532.11/1532.64 c nbDecision=240000 #constraints=50584 1535.81/1536.37 c nbDecision=240500 #constraints=50585 1538.01/1538.58 c nbDecision=241000 #constraints=50586 1539.41/1539.94 c nbDecision=241500 #constraints=50586 1541.61/1542.19 c nbDecision=242000 #constraints=50587 1542.81/1543.37 c nbDecision=242500 #constraints=50587 1546.31/1546.84 c nbDecision=243000 #constraints=50588 1548.41/1548.92 c nbDecision=243500 #constraints=50589 1549.80/1550.35 c nbDecision=244000 #constraints=50589 1552.00/1552.53 c nbDecision=244500 #constraints=50590 1553.20/1553.71 c nbDecision=245000 #constraints=50590 1555.40/1555.92 c nbDecision=245500 #constraints=50591 1556.50/1557.04 c nbDecision=246000 #constraints=50591 1558.80/1559.37 c nbDecision=246500 #constraints=50592 1562.50/1563.07 c nbDecision=247000 #constraints=50593 1563.70/1564.25 c nbDecision=247500 #constraints=50593 1566.30/1566.81 c nbDecision=248000 #constraints=50594 1567.39/1567.92 c nbDecision=248500 #constraints=50594 1571.40/1571.92 c nbDecision=249000 #constraints=50595 1574.09/1574.64 c nbDecision=249500 #constraints=50596 1575.29/1575.82 c nbDecision=250000 #constraints=50596 1578.29/1578.86 c nbDecision=250500 #constraints=50597 1580.39/1580.98 c nbDecision=251000 #constraints=50598 1581.59/1582.16 c nbDecision=251500 #constraints=50598 1584.09/1584.60 c nbDecision=252000 #constraints=50599 1586.99/1587.52 c nbDecision=252500 #constraints=50600 1587.99/1588.55 c nbDecision=253000 #constraints=50600 1593.49/1594.05 c nbDecision=253500 #constraints=50601 1595.88/1596.47 c nbDecision=254000 #constraints=50602 1596.98/1597.59 c nbDecision=254500 #constraints=50602 1600.18/1600.70 c nbDecision=255000 #constraints=50603 1606.99/1607.56 c nbDecision=255500 #constraints=50605 1608.19/1608.76 c nbDecision=256000 #constraints=50605 1612.69/1613.25 c nbDecision=256500 #constraints=50606 1613.89/1614.45 c nbDecision=257000 #constraints=50606 1616.49/1617.10 c nbDecision=257500 #constraints=50607 1618.98/1619.57 c nbDecision=258000 #constraints=50608 1620.28/1620.86 c nbDecision=258500 #constraints=50608 1623.68/1624.25 c nbDecision=259000 #constraints=50609 1624.88/1625.44 c nbDecision=259500 #constraints=50609 1627.48/1628.04 c nbDecision=260000 #constraints=50610 1630.08/1630.62 c nbDecision=260500 #constraints=50611 1631.48/1632.01 c nbDecision=261000 #constraints=50611 1634.18/1634.71 c nbDecision=261500 #constraints=50612 1635.38/1635.90 c nbDecision=262000 #constraints=50612 1637.68/1638.27 c nbDecision=262500 #constraints=50613 1638.78/1639.37 c nbDecision=263000 #constraints=50613 1641.18/1641.72 c nbDecision=263500 #constraints=50614 1643.48/1644.03 c nbDecision=264000 #constraints=50615 1644.78/1645.31 c nbDecision=264500 #constraints=50615 1647.38/1647.92 c nbDecision=265000 #constraints=50616 1648.38/1648.98 c nbDecision=265500 #constraints=50616 1651.87/1652.49 c nbDecision=266000 #constraints=50617 1655.77/1656.31 c nbDecision=266500 #constraints=50618 1656.97/1657.58 c nbDecision=267000 #constraints=50618 1661.77/1662.32 c nbDecision=267500 #constraints=50619 1662.97/1663.51 c nbDecision=268000 #constraints=50619 1666.17/1666.74 c nbDecision=268500 #constraints=50620 1667.27/1667.85 c nbDecision=269000 #constraints=50620 1669.97/1670.57 c nbDecision=269500 #constraints=50621 1672.57/1673.15 c nbDecision=270000 #constraints=50622 1673.77/1674.36 c nbDecision=270500 #constraints=50622 1676.76/1677.31 c nbDecision=271000 #constraints=50623 1677.86/1678.49 c nbDecision=271500 #constraints=50623 1683.67/1684.28 c nbDecision=272000 #constraints=50624 1684.86/1685.40 c nbDecision=272500 #constraints=50624 1688.56/1689.12 c nbDecision=273000 #constraints=50625 1692.06/1692.67 c nbDecision=273500 #constraints=50626 1693.26/1693.87 c nbDecision=274000 #constraints=50626 1729.35/1729.98 c nbDecision=274500 #constraints=50664 1733.55/1734.16 c nbDecision=275000 #constraints=50667 1736.65/1737.20 c nbDecision=275500 #constraints=50671 1739.35/1739.94 c nbDecision=276000 #constraints=50673 1742.75/1743.30 c nbDecision=276500 #constraints=50675 1746.25/1746.87 c nbDecision=277000 #constraints=50676 1756.94/1757.57 c nbDecision=277500 #constraints=50679 1769.73/1770.33 c nbDecision=278000 #constraints=50684 1778.43/1779.01 c nbDecision=278500 #constraints=50685 1786.13/1786.79 c nbDecision=279000 #constraints=50694 1793.82/1794.42 c nbDecision=279500 #constraints=50695 1800.03/1800.60 Received signal 15 1800.03/1800.62 1800.03/1800.62 s UNKNOWN 1800.03/1800.62 1800.03/1800.62 c user time= 1799.19 s 1800.03/1800.62 c system time= 0.870867 s 1800.03/1800.62 c wall clock time=1800.62
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-357005-1176851248 -o ROOT/results/node22/solver-357005-1176851248 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357005-1176851248/instance-357005-1176851248.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24744 /proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=1620 CPUtime=0 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133042978 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 405 175 126 317 0 84 0 [startup+0.105661 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24744 /proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=5888 CPUtime=0.1 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 1083 0 0 0 10 0 0 0 18 0 1 0 133042978 6029312 838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 1472 840 126 317 0 1151 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5888 [startup+0.201676 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24744 /proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=5520 CPUtime=0.19 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 1498 0 0 0 19 0 0 0 18 0 1 0 133042978 5652480 996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 1380 996 127 317 0 1059 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5520 [startup+0.301692 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24744 /proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=6048 CPUtime=0.29 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 1622 0 0 0 29 0 0 0 19 0 1 0 133042978 6193152 1120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 1512 1120 131 317 0 1191 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6048 [startup+0.701752 s] /proc/loadavg: 1.00 1.00 1.00 3/77 24744 /proc/meminfo: memFree=1591360/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=11460 CPUtime=0.69 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 2976 0 0 0 67 2 0 0 23 0 1 0 133042978 11735040 2474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 2865 2474 131 317 0 2544 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11460 [startup+1.50288 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1577208/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=22684 CPUtime=1.49 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 5794 0 0 0 145 4 0 0 25 0 1 0 133042978 23228416 5292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715266 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 5671 5292 131 317 0 5350 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22684 [startup+3.10112 s] /proc/loadavg: 1.08 1.02 1.01 2/78 24745 /proc/meminfo: memFree=1562552/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=46008 CPUtime=3.09 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 11634 0 0 0 302 7 0 0 25 0 1 0 133042978 47112192 11132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827761 0 0 4096 17474 0 0 0 17 0 0 0 /proc/24744/statm: 11502 11132 131 317 0 11181 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46008 [startup+6.30261 s] /proc/loadavg: 1.08 1.02 1.01 2/78 24745 /proc/meminfo: memFree=1516600/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=92432 CPUtime=6.28 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 23218 0 0 0 614 14 0 0 25 0 1 0 133042978 94650368 22716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 23108 22716 131 317 0 22787 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 92432 [startup+12.7016 s] /proc/loadavg: 1.07 1.02 1.00 2/78 24745 /proc/meminfo: memFree=1421240/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=185076 CPUtime=12.68 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 46311 0 0 0 1242 26 0 0 25 0 1 0 133042978 189517824 45809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 46269 45809 131 317 0 45948 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 185076 [startup+25.5015 s] /proc/loadavg: 1.06 1.01 1.00 2/78 24745 /proc/meminfo: memFree=1229688/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=370784 CPUtime=25.47 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 92699 0 0 0 2498 49 0 0 25 0 1 0 133042978 379682816 92197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134570027 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 92696 92197 131 317 0 92375 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 370784 [startup+51.1014 s] /proc/loadavg: 1.04 1.01 1.00 2/78 24745 /proc/meminfo: memFree=1031032/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=51.07 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 5036 71 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141040 139 317 0 142085 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 569624 [startup+102.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=102.25 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 10154 71 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141040 139 317 0 142085 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 569624 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=162.24 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 16152 72 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141040 139 317 0 142085 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 569624 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=222.22 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 22150 72 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141040 139 317 0 142085 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 569624 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=282.2 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141918 0 0 0 28147 73 0 0 25 0 1 0 133042978 583294976 141040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141040 139 317 0 142085 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 569624 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=342.18 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 34145 73 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141041 139 317 0 142085 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 569624 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=402.16 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 40142 74 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141041 139 317 0 142085 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 569624 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=462.14 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 46140 74 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141041 139 317 0 142085 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 569624 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=522.13 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 52138 75 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141041 139 317 0 142085 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 569624 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=582.1 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141919 0 0 0 58135 75 0 0 25 0 1 0 133042978 583294976 141041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141041 139 317 0 142085 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 569624 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031160/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569624 CPUtime=642.09 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141921 0 0 0 64133 76 0 0 25 0 1 0 133042978 583294976 141043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142406 141043 139 317 0 142085 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 569624 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1031032/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569760 CPUtime=882.02 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141960 0 0 0 88124 78 0 0 25 0 1 0 133042978 583434240 141082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142440 141082 139 317 0 142119 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 569760 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030904/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569896 CPUtime=942 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141993 0 0 0 94121 79 0 0 25 0 1 0 133042978 583573504 141115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142474 141115 139 317 0 142153 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 569896 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030904/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569896 CPUtime=1001.98 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 141997 0 0 0 100119 79 0 0 25 0 1 0 133042978 583573504 141119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142474 141119 139 317 0 142153 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 569896 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030840/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=569896 CPUtime=1061.96 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142012 0 0 0 106116 80 0 0 25 0 1 0 133042978 583573504 141134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142474 141134 139 317 0 142153 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 569896 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030776/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570028 CPUtime=1121.94 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142022 0 0 0 112114 80 0 0 25 0 1 0 133042978 583708672 141144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142507 141144 139 317 0 142186 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 570028 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030712/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570160 CPUtime=1181.93 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142055 0 0 0 118112 81 0 0 25 0 1 0 133042978 583843840 141177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142540 141177 139 317 0 142219 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 570160 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030520/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570296 CPUtime=1241.9 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142097 0 0 0 124109 81 0 0 25 0 1 0 133042978 583983104 141219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142574 141219 139 317 0 142253 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 570296 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030520/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570296 CPUtime=1301.89 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142097 0 0 0 130107 82 0 0 25 0 1 0 133042978 583983104 141219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142574 141219 139 317 0 142253 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 570296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1030264/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570436 CPUtime=1361.87 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142149 0 0 0 136104 83 0 0 25 0 1 0 133042978 584126464 141271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607099 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142609 141271 139 317 0 142288 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 570436 [startup+1422.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 24745 /proc/meminfo: memFree=1030200/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570436 CPUtime=1421.85 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142154 0 0 0 142102 83 0 0 25 0 1 0 133042978 584126464 141276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142609 141276 139 317 0 142288 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 570436 [startup+1482.3 s] /proc/loadavg: 1.08 1.03 1.00 2/78 24745 /proc/meminfo: memFree=1029880/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570856 CPUtime=1481.82 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142229 0 0 0 148099 83 0 0 25 0 1 0 133042978 584556544 141351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277005 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142714 141351 139 317 0 142393 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 570856 [startup+1542.31 s] /proc/loadavg: 1.03 1.02 1.00 2/78 24745 /proc/meminfo: memFree=1029816/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=570856 CPUtime=1541.81 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142250 0 0 0 154097 84 0 0 25 0 1 0 133042978 584556544 141372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142714 141372 139 317 0 142393 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 570856 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 24745 /proc/meminfo: memFree=1029688/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=571128 CPUtime=1601.79 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142299 0 0 0 160094 85 0 0 25 0 1 0 133042978 584835072 141421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142782 141421 139 317 0 142461 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 571128 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 24745 /proc/meminfo: memFree=1029560/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=571128 CPUtime=1661.77 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142311 0 0 0 166092 85 0 0 25 0 1 0 133042978 584835072 141433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 142782 141433 139 317 0 142461 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 571128 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24745 /proc/meminfo: memFree=1028536/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=572400 CPUtime=1721.75 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142626 0 0 0 172089 86 0 0 25 0 1 0 133042978 586137600 141748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 143100 141748 170 317 0 142779 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 572400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24747 /proc/meminfo: memFree=1027888/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=572832 CPUtime=1781.73 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142725 0 0 0 178087 86 0 0 25 0 1 0 133042978 586579968 141847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 143208 141847 170 317 0 142887 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 572832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 24747 /proc/meminfo: memFree=1027896/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=572964 CPUtime=1800.03 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194304 142753 0 0 0 179916 87 0 0 25 0 1 0 133042978 586715136 141875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 143241 141875 170 317 0 142920 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 572964 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24748 /proc/meminfo: memFree=1323440/2055920 swapFree=4168624/4192956 [pid=24744] ppid=24742 vsize=0 CPUtime=1800.14 /proc/24744/stat : 24744 (oree) R 24742 24744 23829 0 -1 4194308 142769 0 0 0 179922 92 0 0 25 0 1 0 133042978 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24744/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.18 CPU user time (s): 1799.22 CPU system time (s): 0.959854 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 572964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 0.959854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 142769 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= 9 involuntary context switches= 2523 runsolver used 2.05669 second user time and 4.51431 second system time The end
Begin job on node22 on Tue Apr 17 23:07:33 UTC 2007 IDJOB= 357005 IDBENCH= 1767 IDSOLVER= 172 FILE ID= node22/357005-1176851248 PBS_JOBID= 4590179 Free space on /tmp= 66417 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-momentum3.opb COMMAND LINE= oree /tmp/evaluation/357005-1176851248/instance-357005-1176851248.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-357005-1176851248 -o ROOT/results/node22/solver-357005-1176851248 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357005-1176851248/instance-357005-1176851248.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7834f8d111acea7ee9f1805313462ca3 RANDOM SEED= 815551787 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1591768 kB Buffers: 37136 kB Cached: 337480 kB SwapCached: 2308 kB Active: 177224 kB Inactive: 220160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1591768 kB SwapTotal: 4192956 kB SwapFree: 4168624 kB Dirty: 117068 kB Writeback: 0 kB Mapped: 30552 kB Slab: 52396 kB Committed_AS: 1716492 kB PageTables: 1676 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= 66417 MiB End job on node22 on Tue Apr 17 23:37:36 UTC 2007