Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 63 | 1800.11 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb |
MD5SUM | 374deb5d477559ba9c51d0ad1d758624 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 28.0347 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | YES |
Number of variables | 2112 |
Total number of constraints | 5020 |
Number of constraints which are clauses | 4128 |
Number of constraints which are cardinality constraints (but not clauses) | 216 |
Number of constraints which are nor clauses,nor cardinality constraints | 676 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 288 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 288 |
Number of bits of the biggest sum of numbers | 9 |
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.05/0.06 c ...done 0.05/0.06 c #vars=2112 #constraints=5121 hasObjective=yes 0.05/0.07 c res. mode=mod 0.05/0.07 c VSIDS like heuristics 0.05/0.07 c complete search running 0.09/0.10 c restart after 401 decisions 0.09/0.11 c nbDecision=500 #constraints=5121 0.09/0.13 c restart after 801 decisions 0.09/0.15 c nbDecision=1000 #constraints=5121 0.19/0.21 c nbDecision=1500 #constraints=5146 0.19/0.22 c restart after 1601 decisions 0.19/0.25 c nbDecision=2000 #constraints=5156 0.29/0.32 c nbDecision=2500 #constraints=5197 0.39/0.40 c nbDecision=3000 #constraints=5243 0.39/0.43 c restart after 3201 decisions 0.39/0.46 c nbDecision=3500 #constraints=5264 0.49/0.52 c nbDecision=4000 #constraints=5298 0.59/0.60 c nbDecision=4500 #constraints=5349 0.59/0.69 c nbDecision=5000 #constraints=5394 0.69/0.76 c nbDecision=5500 #constraints=5441 0.79/0.85 c nbDecision=6000 #constraints=5493 0.89/0.92 c restart after 6401 decisions 0.89/0.93 c nbDecision=6500 #constraints=5548 0.89/1.00 c nbDecision=7000 #constraints=5580 1.10/1.12 c nbDecision=7500 #constraints=5672 1.19/1.24 c nbDecision=8000 #constraints=5748 1.29/1.31 c nbDecision=8500 #constraints=5807 1.29/1.38 c nbDecision=9000 #constraints=5866 1.39/1.44 c nbDecision=9500 #constraints=5903 1.49/1.51 c nbDecision=10000 #constraints=5960 1.49/1.58 c nbDecision=10500 #constraints=6012 1.59/1.66 c nbDecision=11000 #constraints=6067 1.69/1.73 c nbDecision=11500 #constraints=6115 1.79/1.81 c nbDecision=12000 #constraints=6154 1.79/1.88 c nbDecision=12500 #constraints=6197 1.89/1.94 c restart after 12801 decisions 1.89/1.97 c nbDecision=13000 #constraints=6232 2.09/2.10 c nbDecision=13500 #constraints=6305 2.19/2.28 c nbDecision=14000 #constraints=6385 2.39/2.44 c nbDecision=14500 #constraints=6447 2.59/2.63 c nbDecision=15000 #constraints=6521 2.79/2.82 c nbDecision=15500 #constraints=6587 2.89/2.91 c nbDecision=16000 #constraints=6631 2.99/3.06 c nbDecision=16500 #constraints=6701 3.19/3.27 c nbDecision=17000 #constraints=6769 3.29/3.38 c nbDecision=17500 #constraints=6818 3.38/3.47 c nbDecision=18000 #constraints=6868 3.48/3.54 c nbDecision=18500 #constraints=6901 3.58/3.61 c nbDecision=19000 #constraints=6927 3.58/3.68 c nbDecision=19500 #constraints=6959 3.68/3.75 c nbDecision=20000 #constraints=7036 3.78/3.83 c nbDecision=20500 #constraints=7103 3.88/3.96 c nbDecision=21000 #constraints=7228 4.09/4.14 c nbDecision=21500 #constraints=7354 4.19/4.26 c nbDecision=22000 #constraints=7396 4.40/4.43 c nbDecision=22500 #constraints=7521 4.59/4.68 c nbDecision=23000 #constraints=7640 4.79/4.90 c nbDecision=23500 #constraints=7763 5.09/5.12 c nbDecision=24000 #constraints=7828 5.29/5.31 c nbDecision=24500 #constraints=7889 5.49/5.57 c nbDecision=25000 #constraints=8018 5.99/6.01 c nbDecision=25500 #constraints=8134 5.99/6.06 c restart after 25601 decisions 6.09/6.11 c nbDecision=26000 #constraints=8142 6.39/6.40 c nbDecision=26500 #constraints=8213 6.68/6.70 c nbDecision=27000 #constraints=8280 6.88/6.97 c nbDecision=27500 #constraints=8340 7.18/7.24 c nbDecision=28000 #constraints=8393 7.48/7.54 c nbDecision=28500 #constraints=8450 7.78/7.83 c nbDecision=29000 #constraints=8513 8.08/8.14 c nbDecision=29500 #constraints=8582 8.38/8.43 c nbDecision=30000 #constraints=8636 8.69/8.70 c nbDecision=30500 #constraints=8686 8.88/8.94 c nbDecision=31000 #constraints=8719 9.08/9.15 c nbDecision=31500 #constraints=8769 9.38/9.40 c nbDecision=32000 #constraints=8828 9.58/9.68 c nbDecision=32500 #constraints=8952 9.99/10.06 c nbDecision=33000 #constraints=9104 10.49/10.55 c nbDecision=33500 #constraints=9220 10.99/11.06 c nbDecision=34000 #constraints=9311 11.39/11.43 c nbDecision=34500 #constraints=9364 11.69/11.78 c nbDecision=35000 #constraints=9420 12.09/12.20 c nbDecision=35500 #constraints=9473 12.59/12.69 c nbDecision=36000 #constraints=9535 12.99/13.08 c nbDecision=36500 #constraints=9588 13.38/13.49 c nbDecision=37000 #constraints=9634 13.79/13.85 c nbDecision=37500 #constraints=9679 14.08/14.14 c nbDecision=38000 #constraints=9740 14.38/14.48 c nbDecision=38500 #constraints=9840 14.88/14.93 c nbDecision=39000 #constraints=9966 15.29/15.39 c nbDecision=39500 #constraints=10021 15.88/15.90 c nbDecision=40000 #constraints=10174 16.28/16.35 c nbDecision=40500 #constraints=10236 16.88/16.97 c nbDecision=41000 #constraints=10393 17.49/17.52 c nbDecision=41500 #constraints=10556 17.98/18.08 c nbDecision=42000 #constraints=10690 18.99/19.05 c nbDecision=42500 #constraints=10849 19.79/19.84 c nbDecision=43000 #constraints=11012 20.48/20.56 c nbDecision=43500 #constraints=11172 21.78/21.83 c nbDecision=44000 #constraints=11398 22.88/22.92 c nbDecision=44500 #constraints=11552 23.68/23.72 c nbDecision=45000 #constraints=11617 24.78/24.84 c nbDecision=45500 #constraints=11679 25.58/25.69 c nbDecision=46000 #constraints=11759 26.48/26.57 c nbDecision=46500 #constraints=11820 27.68/27.73 c nbDecision=47000 #constraints=11873 28.78/28.84 c nbDecision=47500 #constraints=11960 29.98/30.04 c nbDecision=48000 #constraints=12050 30.88/30.95 c nbDecision=48500 #constraints=12103 32.08/32.13 c nbDecision=49000 #constraints=12155 33.27/33.39 c nbDecision=49500 #constraints=12242 34.58/34.64 c nbDecision=50000 #constraints=12297 35.78/35.88 c nbDecision=50500 #constraints=12372 37.08/37.17 c nbDecision=51000 #constraints=12474 37.48/37.58 c restart after 51201 decisions 37.58/37.62 c nbDecision=51500 #constraints=12510 38.49/38.58 c nbDecision=52000 #constraints=12579 39.59/39.63 c nbDecision=52500 #constraints=12651 40.78/40.81 c nbDecision=53000 #constraints=12750 41.88/41.95 c nbDecision=53500 #constraints=12832 43.08/43.13 c nbDecision=54000 #constraints=12930 44.28/44.37 c nbDecision=54500 #constraints=12979 45.48/45.55 c nbDecision=55000 #constraints=13058 46.78/46.81 c nbDecision=55500 #constraints=13115 47.78/47.83 c nbDecision=56000 #constraints=13204 48.58/48.67 c nbDecision=56500 #constraints=13279 49.68/49.79 c nbDecision=57000 #constraints=13386 51.08/51.16 c nbDecision=57500 #constraints=13473 52.38/52.44 c nbDecision=58000 #constraints=13541 53.68/53.76 c nbDecision=58500 #constraints=13653 55.08/55.18 c nbDecision=59000 #constraints=13741 56.58/56.62 c nbDecision=59500 #constraints=13852 57.57/57.69 c nbDecision=60000 #constraints=13928 58.47/58.53 c nbDecision=60500 #constraints=14071 59.38/59.40 c nbDecision=61000 #constraints=14218 60.68/60.70 c nbDecision=61500 #constraints=14403 62.58/62.61 c nbDecision=62000 #constraints=14572 63.78/63.82 c nbDecision=62500 #constraints=14754 65.18/65.25 c nbDecision=63000 #constraints=14935 67.37/67.42 c nbDecision=63500 #constraints=15124 69.77/69.80 c nbDecision=64000 #constraints=15343 71.58/71.68 c nbDecision=64500 #constraints=15513 73.17/73.22 c nbDecision=65000 #constraints=15687 74.97/75.10 c nbDecision=65500 #constraints=15849 77.97/78.05 c nbDecision=66000 #constraints=16059 80.77/80.81 c nbDecision=66500 #constraints=16246 84.06/84.11 c nbDecision=67000 #constraints=16422 87.47/87.54 c nbDecision=67500 #constraints=16610 89.57/89.65 c nbDecision=68000 #constraints=16768 89.57/89.70 c nbDecision=68168 #constraints=16773 89.57/89.70 c linear search for optimum 89.57/89.70 o 63 90.37/90.49 c nbDecision=68500 #constraints=17079 92.46/92.50 c nbDecision=69000 #constraints=17580 95.16/95.24 c nbDecision=69500 #constraints=18080 98.56/98.63 c nbDecision=70000 #constraints=18576 102.86/102.94 c nbDecision=70500 #constraints=19076 108.17/108.25 c nbDecision=71000 #constraints=19575 114.16/114.21 c nbDecision=71500 #constraints=20066 120.76/120.85 c nbDecision=72000 #constraints=20566 128.16/128.24 c nbDecision=72500 #constraints=21065 137.45/137.55 c nbDecision=73000 #constraints=21566 146.85/146.96 c nbDecision=73500 #constraints=22066 157.26/157.35 c nbDecision=74000 #constraints=22564 171.95/172.02 c nbDecision=74500 #constraints=23057 184.74/184.82 c nbDecision=75000 #constraints=23537 197.54/197.63 c nbDecision=75500 #constraints=24035 211.44/211.57 c nbDecision=76000 #constraints=24536 226.23/226.32 c nbDecision=76500 #constraints=25037 241.83/241.98 c nbDecision=77000 #constraints=25539 259.03/259.15 c nbDecision=77500 #constraints=26037 280.42/280.58 c nbDecision=78000 #constraints=26528 298.61/298.76 c nbDecision=78500 #constraints=27025 317.31/317.42 c nbDecision=79000 #constraints=27527 338.70/338.83 c nbDecision=79500 #constraints=28027 359.40/359.53 c nbDecision=80000 #constraints=28526 382.99/383.15 c nbDecision=80500 #constraints=29023 408.28/408.40 c nbDecision=81000 #constraints=29519 431.28/431.42 c nbDecision=81500 #constraints=30018 456.07/456.23 c nbDecision=82000 #constraints=30519 482.87/483.02 c nbDecision=82500 #constraints=31018 507.96/508.18 c nbDecision=83000 #constraints=31519 539.45/539.69 c nbDecision=83500 #constraints=32019 571.24/571.46 c nbDecision=84000 #constraints=32515 600.14/600.34 c nbDecision=84500 #constraints=33015 629.73/629.92 c nbDecision=85000 #constraints=33516 663.52/663.74 c nbDecision=85500 #constraints=34012 696.02/696.24 c nbDecision=86000 #constraints=34514 728.30/728.57 c nbDecision=86500 #constraints=35010 761.40/761.64 c nbDecision=87000 #constraints=35511 795.59/795.87 c nbDecision=87500 #constraints=36013 830.47/830.73 c nbDecision=88000 #constraints=36511 870.27/870.51 c nbDecision=88500 #constraints=37013 911.96/912.20 c nbDecision=89000 #constraints=37511 949.45/949.74 c nbDecision=89500 #constraints=38013 987.04/987.37 c nbDecision=90000 #constraints=38512 1031.53/1031.88 c nbDecision=90500 #constraints=39010 1070.82/1071.17 c nbDecision=91000 #constraints=39512 1111.61/1111.93 c nbDecision=91500 #constraints=40012 1157.50/1157.88 c nbDecision=92000 #constraints=40510 1201.08/1201.42 c nbDecision=92500 #constraints=41010 1244.48/1244.84 c nbDecision=93000 #constraints=41509 1287.96/1288.37 c nbDecision=93500 #constraints=42010 1332.55/1332.99 c nbDecision=94000 #constraints=42510 1377.94/1378.31 c nbDecision=94500 #constraints=43010 1438.84/1439.22 c nbDecision=95000 #constraints=43509 1487.81/1488.21 c nbDecision=95500 #constraints=44005 1536.90/1537.38 c nbDecision=96000 #constraints=44507 1591.80/1592.20 c nbDecision=96500 #constraints=45007 1641.98/1642.43 c nbDecision=97000 #constraints=45506 1695.26/1695.74 c nbDecision=97500 #constraints=46005 1754.87/1755.41 c nbDecision=98000 #constraints=46505 1800.05/1800.60 Received signal 15 1800.05/1800.62 1800.05/1800.62 s SATISFIABLE 1800.05/1800.62 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.05/1800.62 v -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.05/1800.62 v -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.05/1800.62 v -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.05/1800.62 v -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.05/1800.62 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 1800.05/1800.62 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.05/1800.62 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.05/1800.62 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.05/1800.62 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.05/1800.62 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 1800.05/1800.62 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.05/1800.62 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.05/1800.62 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.05/1800.62 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.05/1800.62 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 x356 -x357 1800.05/1800.62 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.05/1800.62 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.05/1800.62 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 -x420 1800.05/1800.62 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.05/1800.62 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.05/1800.62 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1800.05/1800.62 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1800.05/1800.62 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1800.05/1800.62 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.05/1800.62 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 x564 -x565 -x566 -x567 1800.05/1800.62 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.05/1800.62 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.05/1800.62 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.05/1800.62 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.05/1800.62 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.05/1800.62 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.05/1800.62 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.05/1800.62 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.05/1800.62 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1800.05/1800.62 v -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 1800.05/1800.62 v -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 1800.05/1800.62 v -x799 x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 1800.05/1800.62 v x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 x840 1800.05/1800.62 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1800.05/1800.62 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.05/1800.62 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1800.05/1800.62 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1800.05/1800.62 v -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1800.05/1800.62 v -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.05/1800.62 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.05/1800.62 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.05/1800.62 v -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 1800.05/1800.62 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 x1040 -x1041 -x1042 1800.05/1800.62 v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.05/1800.62 v -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.05/1800.62 v -x1077 -x1078 x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.05/1800.62 v -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.05/1800.62 v x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 1800.05/1800.62 v -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.05/1800.62 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.05/1800.62 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.05/1800.62 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.05/1800.62 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.05/1800.62 v -x1216 -x1217 x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 1800.05/1800.62 v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.05/1800.62 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 1800.05/1800.62 v -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.05/1800.62 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.05/1800.62 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 1800.05/1800.62 v x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 1800.05/1800.62 v x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.05/1800.62 v -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 1800.05/1800.62 v -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 1800.05/1800.62 v -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.05/1800.62 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.05/1800.62 v -x1427 -x1428 x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 x1440 x1441 x1442 x1443 x1444 x1445 1800.05/1800.62 v x1446 x1447 x1448 x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 x1465 x1466 1800.05/1800.62 v x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 1800.05/1800.62 v x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 1800.05/1800.62 v x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 x1525 x1526 x1527 x1528 x1529 1800.05/1800.62 v x1530 x1531 x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 x1547 x1548 x1549 x1550 1800.05/1800.62 v x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 1800.05/1800.62 v x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 1800.05/1800.62 v x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 1800.05/1800.62 v x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 1800.05/1800.62 v x1635 x1636 x1637 x1638 x1639 x1640 x1641 x1642 x1643 x1644 x1645 x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 1800.05/1800.62 v x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 x1675 x1676 1800.05/1800.62 v x1677 x1678 x1679 x1680 x1681 x1682 x1683 x1684 x1685 x1686 x1687 x1688 x1689 x1690 x1691 x1692 x1693 x1694 x1695 x1696 x1697 1800.05/1800.62 v x1698 x1699 x1700 x1701 x1702 x1703 x1704 x1705 x1706 x1707 x1708 x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 1800.05/1800.62 v x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739 1800.05/1800.62 v x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 1800.05/1800.62 v x1761 x1762 x1763 x1764 x1765 x1766 x1767 x1768 x1769 x1770 x1771 x1772 x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781 1800.05/1800.62 v x1782 x1783 x1784 x1785 x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 x1801 x1802 1800.05/1800.62 v x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 1800.05/1800.62 v x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 x1841 1800.05/1800.62 v -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 1800.05/1800.62 v -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 x1875 x1876 -x1877 1800.05/1800.62 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.05/1800.62 v x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 1800.05/1800.62 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.05/1800.62 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.05/1800.62 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1800.05/1800.62 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 x1979 x1980 -x1981 1800.05/1800.62 v x1982 x1983 x1984 x1985 -x1986 x1987 x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 1800.05/1800.62 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 x2012 -x2013 -x2014 x2015 x2016 -x2017 -x2018 1800.05/1800.62 v -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 x2029 -x2030 x2031 x2032 -x2033 -x2034 -x2035 -x2036 1800.05/1800.62 v x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 x2047 x2048 -x2049 x2050 x2051 x2052 -x2053 -x2054 -x2055 1800.05/1800.62 v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 x2071 -x2072 -x2073 1800.05/1800.62 v -x2074 -x2075 -x2076 -x2077 x2078 x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 x2087 x2088 x2089 x2090 -x2091 x2092 1800.05/1800.62 v -x2093 -x2094 -x2095 x2096 -x2097 x2098 x2099 x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 x2109 x2110 1800.05/1800.62 v x2111 x2112 1800.05/1800.62 1800.05/1800.62 c user time= 1799.52 s 1800.05/1800.62 c system time= 0.550916 s 1800.05/1800.62 c wall clock time=1800.62
OK 63
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-363448-1176852750 -o ROOT/results/node18/solver-363448-1176852750 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363448-1176852750/instance-363448-1176852750.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.98 0.97 3/77 30545 /proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=1468 CPUtime=0 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 133192404 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 367 169 131 317 0 46 0 [startup+0.0541041 s] /proc/loadavg: 0.91 0.98 0.97 3/77 30545 /proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=2524 CPUtime=0.05 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 448 0 0 0 5 0 0 0 18 0 1 0 133192404 2584576 430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 631 430 131 317 0 310 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2524 [startup+0.10111 s] /proc/loadavg: 0.91 0.98 0.97 3/77 30545 /proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=3616 CPUtime=0.09 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 704 0 0 0 9 0 0 0 18 0 1 0 133192404 3702784 686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 904 686 138 317 0 583 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3616 [startup+0.301128 s] /proc/loadavg: 0.91 0.98 0.97 3/77 30545 /proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=3888 CPUtime=0.29 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 777 0 0 0 29 0 0 0 19 0 1 0 133192404 3981312 723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 972 723 139 317 0 651 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3888 [startup+0.701167 s] /proc/loadavg: 0.91 0.98 0.97 3/77 30545 /proc/meminfo: memFree=1820168/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=3888 CPUtime=0.69 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 801 0 0 0 69 0 0 0 23 0 1 0 133192404 3981312 747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 972 747 139 317 0 651 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3888 [startup+1.50125 s] /proc/loadavg: 0.91 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1817536/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=4408 CPUtime=1.49 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 963 0 0 0 149 0 0 0 25 0 1 0 133192404 4513792 909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 1102 909 170 317 0 781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4408 [startup+3.1014 s] /proc/loadavg: 0.91 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1816704/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=5184 CPUtime=3.08 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 1152 0 0 0 308 0 0 0 25 0 1 0 133192404 5308416 1098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 1296 1098 170 317 0 975 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5184 [startup+6.30171 s] /proc/loadavg: 0.92 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1814216/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=7684 CPUtime=6.29 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 1780 0 0 0 628 1 0 0 25 0 1 0 133192404 7868416 1726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 1921 1726 170 317 0 1600 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7684 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1811920/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=9392 CPUtime=12.69 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 2240 0 0 0 1267 2 0 0 25 0 1 0 133192404 9617408 2186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 2348 2186 170 317 0 2027 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9392 [startup+25.5016 s] /proc/loadavg: 0.94 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1806800/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=14828 CPUtime=25.48 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 3562 0 0 0 2545 3 0 0 25 0 1 0 133192404 15183872 3439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 3707 3439 170 317 0 3386 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14828 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1803984/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=17596 CPUtime=51.08 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 4265 0 0 0 5104 4 0 0 25 0 1 0 133192404 18018304 4142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563414 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 4399 4142 170 317 0 4078 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17596 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1783312/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=38820 CPUtime=102.27 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 9431 0 0 0 10217 10 0 0 25 0 1 0 133192404 39751680 9308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 9705 9308 170 317 0 9384 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 38820 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1765264/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=57860 CPUtime=162.25 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 14065 0 0 0 16211 14 0 0 25 0 1 0 133192404 59248640 13806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 14465 13806 170 317 0 14144 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 57860 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1754448/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=68036 CPUtime=222.23 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 16731 0 0 0 22206 17 0 0 25 0 1 0 133192404 69668864 16472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 17009 16472 170 317 0 16688 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 68036 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30546 /proc/meminfo: memFree=1744976/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=79172 CPUtime=282.22 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 19100 0 0 0 28202 20 0 0 25 0 1 0 133192404 81072128 18841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 19793 18841 170 317 0 19472 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 79172 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30548 /proc/meminfo: memFree=1737680/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=85808 CPUtime=342.2 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 20887 0 0 0 34199 21 0 0 25 0 1 0 133192404 87867392 20628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 21452 20628 170 317 0 21131 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 85808 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30548 /proc/meminfo: memFree=1730960/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=93124 CPUtime=402.19 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 22594 0 0 0 40196 23 0 0 25 0 1 0 133192404 95358976 22335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 23281 22335 170 317 0 22960 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 93124 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30548 /proc/meminfo: memFree=1725264/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=98204 CPUtime=462.17 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 23998 0 0 0 46193 24 0 0 25 0 1 0 133192404 100560896 23739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 24551 23739 170 317 0 24230 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 98204 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30548 /proc/meminfo: memFree=1720208/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=103284 CPUtime=522.16 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 25373 0 0 0 52190 26 0 0 25 0 1 0 133192404 105762816 25015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 25821 25015 170 317 0 25500 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 103284 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30548 /proc/meminfo: memFree=1715280/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=108044 CPUtime=582.14 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 26559 0 0 0 58187 27 0 0 25 0 1 0 133192404 110637056 26201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 27011 26201 170 317 0 26690 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 108044 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30548 /proc/meminfo: memFree=1709456/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=119436 CPUtime=642.13 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 29116 0 0 0 64184 29 0 0 25 0 1 0 133192404 122302464 27636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 29859 27636 170 317 0 29538 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 119436 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 30548 /proc/meminfo: memFree=1696784/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=131216 CPUtime=822.08 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 32406 0 0 0 82175 33 0 0 25 0 1 0 133192404 134365184 30860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 32804 30860 170 317 0 32483 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 131216 [startup+882.301 s] /proc/loadavg: 1.03 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1692880/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=135132 CPUtime=882.07 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 33446 0 0 0 88172 35 0 0 25 0 1 0 133192404 138375168 31801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 33783 31801 170 317 0 33462 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 135132 [startup+942.301 s] /proc/loadavg: 1.01 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1689040/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=138436 CPUtime=942.06 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 34405 0 0 0 94170 36 0 0 25 0 1 0 133192404 141758464 32760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 34609 32760 170 317 0 34288 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 138436 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1685520/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=141704 CPUtime=1002.04 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 35293 0 0 0 100167 37 0 0 25 0 1 0 133192404 145104896 33648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 35426 33648 170 317 0 35105 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 141704 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1681040/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=146584 CPUtime=1062.02 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 36647 0 0 0 106163 39 0 0 25 0 1 0 133192404 150102016 34700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 36646 34700 170 317 0 36325 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 146584 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1678288/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=149620 CPUtime=1122.01 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 37428 0 0 0 112160 41 0 0 25 0 1 0 133192404 153210880 35448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 37405 35448 170 317 0 37084 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 149620 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1674960/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=152912 CPUtime=1181.99 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 38305 0 0 0 118158 41 0 0 25 0 1 0 133192404 156581888 36259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 38228 36259 170 317 0 37907 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 152912 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1671440/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=157564 CPUtime=1241.98 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 39485 0 0 0 124156 42 0 0 25 0 1 0 133192404 161345536 37142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 39391 37142 170 317 0 39070 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 157564 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1668048/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=160724 CPUtime=1301.97 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 40324 0 0 0 130153 44 0 0 25 0 1 0 133192404 164581376 37981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 40181 37981 170 317 0 39860 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 160724 [startup+1362.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1665104/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=163332 CPUtime=1361.95 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 41063 0 0 0 136150 45 0 0 25 0 1 0 133192404 167251968 38720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 40833 38720 170 317 0 40512 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 163332 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1662288/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=165944 CPUtime=1421.93 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 41767 0 0 0 142147 46 0 0 25 0 1 0 133192404 169926656 39424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 41486 39424 170 317 0 41165 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 165944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1659472/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=168280 CPUtime=1481.92 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 42467 0 0 0 148145 47 0 0 25 0 1 0 133192404 172318720 40124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 42070 40124 170 317 0 41749 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 168280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 3/78 30548 /proc/meminfo: memFree=1656592/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=170896 CPUtime=1541.9 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 43226 0 0 0 154142 48 0 0 25 0 1 0 133192404 174997504 40883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 42724 40883 170 317 0 42403 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 170896 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1653392/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=173544 CPUtime=1601.89 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 43987 0 0 0 160139 50 0 0 25 0 1 0 133192404 177709056 41644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 43386 41644 170 317 0 43065 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 173544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30548 /proc/meminfo: memFree=1650576/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=176360 CPUtime=1661.88 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 44695 0 0 0 166137 51 0 0 25 0 1 0 133192404 180592640 42352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563346 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 44090 42352 170 317 0 43769 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 176360 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/84 30622 /proc/meminfo: memFree=1646544/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=178576 CPUtime=1721.83 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 45367 0 0 0 172129 54 0 0 25 0 1 0 133192404 182861824 43024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 44644 43024 170 317 0 44323 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 178576 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30746 /proc/meminfo: memFree=1644816/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=181284 CPUtime=1781.74 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 46084 0 0 0 178120 54 0 0 25 0 1 0 133192404 185634816 43741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 45321 43741 170 317 0 45000 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 181284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.97 2/78 30746 /proc/meminfo: memFree=1643984/2055920 swapFree=4142712/4192956 [pid=30545] ppid=30543 vsize=182068 CPUtime=1800.05 /proc/30545/stat : 30545 (oree) R 30543 30545 29832 0 -1 4194304 46263 0 0 0 179950 55 0 0 25 0 1 0 133192404 186437632 43920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30545/statm: 45517 43920 170 317 0 45196 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 182068 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.11 CPU user time (s): 1799.53 CPU system time (s): 0.579911 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 182068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.579911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46279 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= 3182 runsolver used 2.17067 second user time and 4.30635 second system time The end
Begin job on node18 on Tue Apr 17 23:32:30 UTC 2007 IDJOB= 363448 IDBENCH= 1850 IDSOLVER= 172 FILE ID= node18/363448-1176852750 PBS_JOBID= 4590187 Free space on /tmp= 66509 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb COMMAND LINE= oree /tmp/evaluation/363448-1176852750/instance-363448-1176852750.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-363448-1176852750 -o ROOT/results/node18/solver-363448-1176852750 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363448-1176852750/instance-363448-1176852750.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED= 365800591 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1820576 kB Buffers: 29372 kB Cached: 146200 kB SwapCached: 18432 kB Active: 92224 kB Inactive: 110776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820576 kB SwapTotal: 4192956 kB SwapFree: 4142712 kB Dirty: 1600 kB Writeback: 0 kB Mapped: 30100 kB Slab: 17848 kB Committed_AS: 4325688 kB PageTables: 1780 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= 66509 MiB End job on node18 on Wed Apr 18 00:02:33 UTC 2007