Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | -11897496 | 633.969 | 633.952 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-afiro.opb |
MD5SUM | 87ce4656e5ef67028f049e81ca6b4c7e |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -11897496 |
Best CPU time to get the best result obtained on this benchmark | 4.03239 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -11897496 |
Optimality of the best value was proved | YES |
Number of variables | 960 |
Total number of constraints | 27 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 134217728000 |
Number of bits for the biggest coefficient in the objective function | 37 |
Sum of the numbers in the objective function | 316753837785 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 1304059445248 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 20964809094075 |
Number of bits of the biggest sum of numbers | 45 |
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 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 633.91/633.94 o 7190598 633.91/633.94 o 6990687 633.91/633.94 o 6989257 633.91/633.94 o 3958354 633.91/633.94 o 3958316 633.91/633.94 o -1694279 633.91/633.94 o -1859110 633.91/633.94 o -1888006 633.91/633.94 o -1918741 633.91/633.94 o -1940421 633.91/633.94 o -1984045 633.91/633.94 o -1986117 633.91/633.94 o -1987117 633.91/633.94 o -2354537 633.91/633.94 o -2354553 633.91/633.94 o -2355435 633.91/633.94 o -2355531 633.91/633.94 o -3644327 633.91/633.94 o -4106407 633.91/633.94 o -4106419 633.91/633.94 o -4106435 633.91/633.94 o -4435341 633.91/633.94 o -4435437 633.91/633.94 o -4436557 633.91/633.94 o -4562377 633.91/633.94 o -4562401 633.91/633.94 o -4567694 633.91/633.94 o -6001319 633.91/633.94 o -6034087 633.91/633.94 o -6053937 633.91/633.94 o -6053985 633.91/633.94 o -6056824 633.91/633.94 o -6056839 633.91/633.94 o -6056849 633.91/633.94 o -6057314 633.91/633.94 o -6057324 633.91/633.94 o -6057348 633.91/633.94 o -6304812 633.91/633.94 o -6305796 633.91/633.94 o -6600329 633.91/633.94 o -6600567 633.91/633.94 o -6622071 633.91/633.94 o -6624951 633.91/633.94 o -6625143 633.91/633.94 o -6625155 633.91/633.94 o -6625235 633.91/633.94 o -6625283 633.91/633.94 o -6944868 633.91/633.94 o -6946404 633.91/633.94 o -6950268 633.91/633.94 o -6962702 633.91/633.94 o -6962710 633.91/633.94 o -6962970 633.91/633.94 o -6963434 633.91/633.94 o -6964458 633.91/633.94 o -7325787 633.91/633.94 o -7327763 633.91/633.94 o -7327803 633.91/633.94 o -7551856 633.91/633.94 o -7552368 633.91/633.94 o -7552384 633.91/633.94 o -7640453 633.91/633.94 o -7640503 633.91/633.94 o -7724091 633.91/633.94 o -7744571 633.91/633.94 o -8310080 633.91/633.94 o -8310556 633.91/633.94 o -9686838 633.91/633.94 o -9686947 633.91/633.94 o -9782484 633.91/633.94 o -9783144 633.91/633.94 o -9783156 633.91/633.94 o -9783396 633.91/633.94 o -9783448 633.91/633.94 o -9783520 633.91/633.94 o -9783853 633.91/633.94 o -9783863 633.91/633.94 o -9784021 633.91/633.94 o -9784081 633.91/633.94 o -9787746 633.91/633.94 o -9852816 633.91/633.94 o -9852828 633.91/633.94 o -9852908 633.91/633.94 o -9852931 633.91/633.94 o -9852943 633.91/633.94 o -9854928 633.91/633.94 o -9854944 633.91/633.94 o -9889929 633.91/633.94 o -9935853 633.91/633.94 o -9957124 633.91/633.94 o -10683465 633.91/633.94 o -10683477 633.91/633.94 o -11030692 633.91/633.94 o -11031204 633.91/633.94 o -11031454 633.91/633.94 o -11115304 633.91/633.94 o -11116132 633.91/633.94 o -11116900 633.91/633.94 o -11116996 633.91/633.94 o -11237048 633.91/633.94 o -11237050 633.91/633.94 o -11248161 633.91/633.94 o -11307235 633.91/633.94 o -11307315 633.91/633.94 o -11344918 633.91/633.94 o -11368175 633.91/633.94 o -11389310 633.91/633.94 o -11448520 633.91/633.94 o -11449000 633.91/633.94 o -11449507 633.91/633.94 o -11457155 633.91/633.94 o -11457923 633.91/633.94 o -11460839 633.91/633.94 o -11496321 633.91/633.94 o -11496341 633.91/633.94 o -11496351 633.91/633.94 o -11496543 633.91/633.94 o -11513305 633.91/633.94 o -11513335 633.91/633.94 o -11513350 633.91/633.94 o -11513398 633.91/633.94 o -11513462 633.91/633.94 o -11514422 633.91/633.94 o -11514437 633.91/633.94 o -11529737 633.91/633.94 o -11530249 633.91/633.94 o -11530369 633.91/633.94 o -11530489 633.91/633.94 o -11530534 633.91/633.94 o -11530694 633.91/633.94 o -11531289 633.91/633.94 o -11543577 633.91/633.94 o -11544312 633.91/633.94 o -11544435 633.91/633.94 o -11546740 633.91/633.94 o -11547220 633.91/633.94 o -11588887 633.91/633.94 o -11591477 633.91/633.94 o -11591561 633.91/633.94 o -11591689 633.91/633.94 o -11594589 633.91/633.94 o -11598569 633.91/633.94 o -11598697 633.91/633.94 o -11624139 633.91/633.94 o -11624274 633.91/633.94 o -11688286 633.91/633.94 o -11688296 633.91/633.94 o -11688767 633.91/633.94 o -11688779 633.91/633.94 o -11688948 633.91/633.94 o -11721609 633.91/633.94 o -11721714 633.91/633.94 o -11722658 633.91/633.94 o -11722682 633.91/633.94 o -11728243 633.91/633.94 o -11728272 633.91/633.94 o -11729847 633.91/633.94 o -11729975 633.91/633.94 o -11741320 633.91/633.94 o -11742280 633.91/633.94 o -11742292 633.91/633.94 o -11744234 633.91/633.94 o -11745449 633.91/633.94 o -11746747 633.91/633.94 o -11746755 633.91/633.94 o -11781784 633.91/633.94 o -11781816 633.91/633.94 o -11781880 633.91/633.94 o -11784082 633.91/633.94 o -11785390 633.91/633.94 o -11785456 633.91/633.94 o -11785552 633.91/633.94 o -11785567 633.91/633.94 o -11815462 633.91/633.94 o -11815974 633.91/633.94 o -11821710 633.91/633.94 o -11821725 633.91/633.94 o -11821737 633.91/633.94 o -11828814 633.91/633.94 o -11828862 633.91/633.94 o -11832702 633.91/633.94 o -11832710 633.91/633.94 o -11832758 633.91/633.94 o -11833228 633.91/633.94 o -11834073 633.91/633.94 o -11841175 633.91/633.94 o -11841385 633.91/633.94 o -11844704 633.91/633.94 o -11844764 633.91/633.94 o -11844802 633.91/633.94 o -11844826 633.91/633.94 o -11845302 633.91/633.94 o -11845305 633.91/633.94 o -11845341 633.91/633.94 o -11846510 633.91/633.94 o -11846558 633.91/633.94 o -11846606 633.91/633.94 o -11851372 633.91/633.94 o -11852332 633.91/633.94 o -11852612 633.91/633.94 o -11853132 633.91/633.94 o -11877708 633.91/633.94 o -11878028 633.91/633.94 o -11879196 633.91/633.94 o -11879208 633.91/633.94 o -11881120 633.91/633.94 o -11881181 633.91/633.94 o -11881420 633.91/633.94 o -11881688 633.91/633.94 o -11882530 633.91/633.94 o -11882542 633.91/633.94 o -11882572 633.91/633.94 o -11882614 633.91/633.94 o -11882694 633.91/633.94 o -11882799 633.91/633.94 o -11882814 633.91/633.94 o -11882819 633.91/633.94 o -11882829 633.91/633.94 o -11882846 633.91/633.94 o -11882853 633.91/633.94 o -11883333 633.91/633.94 o -11884293 633.91/633.94 o -11884453 633.91/633.94 o -11885293 633.91/633.94 o -11886345 633.91/633.94 o -11886350 633.91/633.94 o -11886358 633.91/633.94 o -11886373 633.91/633.94 o -11886517 633.91/633.94 o -11886533 633.91/633.94 o -11886557 633.91/633.94 o -11886666 633.91/633.94 o -11886678 633.91/633.94 o -11886738 633.91/633.94 o -11886818 633.91/633.94 o -11887282 633.91/633.94 o -11887302 633.91/633.94 o -11887374 633.91/633.94 o -11887553 633.91/633.94 o -11887565 633.91/633.94 o -11887953 633.91/633.94 o -11887965 633.91/633.94 o -11888001 633.91/633.94 o -11888443 633.91/633.94 o -11888859 633.91/633.94 o -11888867 633.91/633.94 o -11888891 633.91/633.94 o -11888936 633.91/633.94 o -11888984 633.91/633.94 o -11889988 633.91/633.94 o -11890000 633.91/633.94 o -11890010 633.91/633.94 o -11890025 633.91/633.94 o -11890037 633.91/633.94 o -11890053 633.91/633.94 o -11890234 633.91/633.94 o -11891147 633.91/633.94 o -11891171 633.91/633.94 o -11892195 633.91/633.94 o -11892994 633.91/633.94 o -11893058 633.91/633.94 o -11893060 633.91/633.94 o -11893156 633.91/633.94 o -11893216 633.91/633.94 o -11893331 633.91/633.94 o -11893346 633.91/633.94 o -11893351 633.91/633.94 o -11893431 633.91/633.94 o -11893441 633.91/633.94 o -11893499 633.91/633.94 o -11893513 633.91/633.94 o -11893514 633.91/633.94 o -11893526 633.91/633.94 o -11894086 633.91/633.94 o -11894142 633.91/633.94 o -11894287 633.91/633.94 o -11894317 633.91/633.94 o -11894447 633.91/633.94 o -11894477 633.91/633.94 o -11894487 633.91/633.94 o -11894503 633.91/633.94 o -11894511 633.91/633.94 o -11894533 633.91/633.94 o -11894622 633.91/633.94 o -11894750 633.91/633.94 o -11894752 633.91/633.94 o -11894842 633.91/633.94 o -11894850 633.91/633.94 o -11894871 633.91/633.94 o -11894930 633.91/633.94 o -11894936 633.91/633.94 o -11894940 633.91/633.94 o -11894949 633.91/633.94 o -11894997 633.91/633.94 o -11895107 633.91/633.94 o -11895155 633.91/633.94 o -11895185 633.91/633.94 o -11895235 633.91/633.94 o -11895250 633.91/633.94 o -11895256 633.91/633.94 o -11895266 633.91/633.94 o -11895274 633.91/633.94 o -11895282 633.91/633.94 o -11895396 633.91/633.94 o -11895420 633.91/633.94 o -11895552 633.91/633.94 o -11895727 633.91/633.94 o -11895739 633.91/633.94 o -11896163 633.91/633.94 o -11896253 633.91/633.94 o -11896503 633.91/633.94 o -11896541 633.91/633.94 o -11896559 633.91/633.94 o -11896569 633.91/633.94 o -11896630 633.91/633.94 o -11896660 633.91/633.94 o -11896675 633.91/633.94 o -11896695 633.91/633.94 o -11896719 633.91/633.94 o -11896724 633.91/633.94 o -11896732 633.91/633.94 o -11896740 633.91/633.94 o -11896862 633.91/633.94 o -11897112 633.91/633.94 o -11897124 633.91/633.94 o -11897166 633.91/633.94 o -11897176 633.91/633.94 o -11897179 633.91/633.94 o -11897194 633.91/633.94 o -11897258 633.91/633.94 o -11897318 633.91/633.94 o -11897327 633.91/633.94 o -11897331 633.91/633.94 o -11897339 633.91/633.94 o -11897351 633.91/633.94 o -11897355 633.91/633.94 o -11897365 633.91/633.94 o -11897373 633.91/633.94 o -11897385 633.91/633.94 o -11897409 633.91/633.94 o -11897419 633.91/633.94 o -11897427 633.91/633.94 o -11897454 633.91/633.94 o -11897465 633.91/633.94 o -11897480 633.91/633.94 o -11897488 633.91/633.94 o -11897496 633.91/633.94 s OPTIMUM FOUND 633.91/633.94 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 -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 -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 -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 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 x125 x126 -x127 -x128 x129 x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 x363 x364 -x365 -x366 x367 x368 -x369 -x370 -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 x393 -x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 -x403 -x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 x423 -x424 x425 x426 -x427 x428 x429 x430 -x431 -x432 -x433 x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 x466 x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 x485 x486 -x487 x488 x489 x490 x491 x492 -x493 x494 x495 -x496 x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 x583 -x584 x585 -x586 x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 x614 -x615 x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 x844 -x845 -x846 x847 x848 x849 x850 x851 x852 -x853 -x854 x855 -x856 x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873 x874 x875 x876 x877 -x878 -x879 x880 x881 x882 x883 -x884 x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 x904 x905 -x906 -x907 x908 x909 x910 x911 x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
OK -11897496
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497628-1307927243/watcher-3497628-1307927243 -o /var/tmp/evaluation-result-3497628-1307927243/solver-3497628-1307927243 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497628-1307927243.opb --verbosity=0 --format=opb --randomseed=1530215874 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.91 2/177 17720 /proc/meminfo: memFree=2755252/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=7820 CPUtime=0 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 430 0 0 0 0 0 0 0 22 0 1 0 885140198 8007680 384 33554432000 4194304 6957856 140735751941680 18446744073709551615 6005899 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 1955 385 250 675 0 1271 0 [startup+0.036545 s] /proc/loadavg: 1.92 1.98 1.91 2/177 17720 /proc/meminfo: memFree=2755252/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=9200 CPUtime=0.03 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 810 0 0 0 3 0 0 0 22 0 1 0 885140198 9420800 764 33554432000 4194304 6957856 140735751941680 18446744073709551615 5313091 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 2300 764 277 675 0 1616 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9200 [startup+0.100544 s] /proc/loadavg: 1.92 1.98 1.91 2/177 17720 /proc/meminfo: memFree=2755252/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=9200 CPUtime=0.09 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 833 0 0 0 9 0 0 0 22 0 1 0 885140198 9420800 787 33554432000 4194304 6957856 140735751941680 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 2300 787 285 675 0 1616 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9200 [startup+0.300497 s] /proc/loadavg: 1.92 1.98 1.91 2/177 17720 /proc/meminfo: memFree=2755252/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=9200 CPUtime=0.29 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 925 0 0 0 29 0 0 0 23 0 1 0 885140198 9420800 875 33554432000 4194304 6957856 140735751941680 18446744073709551615 4846787 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 2300 875 287 675 0 1616 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9200 [startup+0.700423 s] /proc/loadavg: 1.92 1.98 1.91 2/177 17720 /proc/meminfo: memFree=2755252/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=6496 CPUtime=0.69 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 1235 0 0 0 69 0 0 0 25 0 1 0 885140198 6651904 1067 33554432000 4194304 6957856 140735751941680 18446744073709551615 5918124 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 1624 1067 289 675 0 940 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6496 [startup+1.50028 s] /proc/loadavg: 1.92 1.98 1.91 3/178 17721 /proc/meminfo: memFree=2747960/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=9480 CPUtime=1.49 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 1818 0 0 0 149 0 0 0 25 0 1 0 885140198 9707520 1647 33554432000 4194304 6957856 140735751941680 18446744073709551615 4869795 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 2370 1647 289 675 0 1686 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9480 [startup+3.101 s] /proc/loadavg: 1.92 1.98 1.91 3/178 17721 /proc/meminfo: memFree=2741512/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=13888 CPUtime=3.09 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 3012 0 0 0 309 0 0 0 25 0 1 0 885140198 14221312 2002 33554432000 4194304 6957856 140735751941680 18446744073709551615 5312950 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 3472 2002 292 675 0 2788 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13888 [startup+6.30042 s] /proc/loadavg: 1.93 1.98 1.91 3/178 17721 /proc/meminfo: memFree=2724660/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=13888 CPUtime=6.29 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 3960 0 0 0 629 0 0 0 25 0 1 0 885140198 14221312 2935 33554432000 4194304 6957856 140735751941680 18446744073709551615 4638744 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 3472 2935 292 675 0 2788 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13888 [startup+12.7003 s] /proc/loadavg: 1.93 1.98 1.91 3/178 17721 /proc/meminfo: memFree=2709624/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=15580 CPUtime=12.69 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 6340 0 0 0 1269 0 0 0 25 0 1 0 885140198 15953920 3443 33554432000 4194304 6957856 140735751941680 18446744073709551615 5934042 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 3895 3443 292 675 0 3211 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15580 [startup+25.501 s] /proc/loadavg: 1.95 1.98 1.91 3/178 17721 /proc/meminfo: memFree=2669456/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=25.49 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 12112 0 0 0 2548 1 0 0 25 0 1 0 885140198 45264896 6280 33554432000 4194304 6957856 140735751941680 18446744073709551615 5314071 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 6280 292 675 0 10367 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44204 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.91 3/178 17722 /proc/meminfo: memFree=2827388/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=51.09 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 12112 0 0 0 5108 1 0 0 25 0 1 0 885140198 45264896 6280 33554432000 4194304 6957856 140735751941680 18446744073709551615 4838112 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 6280 292 675 0 10367 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 44204 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.91 3/178 17723 /proc/meminfo: memFree=2679652/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=102.3 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 12112 0 0 0 10229 1 0 0 25 0 1 0 885140198 45264896 6280 33554432000 4194304 6957856 140735751941680 18446744073709551615 4854288 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 6280 292 675 0 10367 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 44204 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.91 3/178 17725 /proc/meminfo: memFree=2704504/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=162.3 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 16228 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5933992 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 44204 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.91 3/178 17727 /proc/meminfo: memFree=2789492/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=222.3 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 22228 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5312912 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 44204 [startup+282.301 s] /proc/loadavg: 1.93 1.97 1.91 3/178 17767 /proc/meminfo: memFree=3091748/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=282.3 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 28228 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5922021 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 44204 [startup+342.301 s] /proc/loadavg: 1.97 1.97 1.91 3/178 17769 /proc/meminfo: memFree=3061348/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=342.3 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 34228 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 4838340 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 44204 [startup+402.3 s] /proc/loadavg: 1.99 1.97 1.91 3/178 17770 /proc/meminfo: memFree=3095372/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=402.31 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 40229 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 44204 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.91 3/178 17772 /proc/meminfo: memFree=3080672/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=462.31 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 46229 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5922145 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 44204 [startup+522.301 s] /proc/loadavg: 2.03 1.99 1.91 3/178 17774 /proc/meminfo: memFree=3080624/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=522.31 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 52229 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5918166 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 44204 [startup+582.301 s] /proc/loadavg: 2.01 1.99 1.91 3/178 17775 /proc/meminfo: memFree=3080808/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=582.31 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 58229 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5314026 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 44204 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 2.01 1.99 1.91 3/178 17775 /proc/meminfo: memFree=3080680/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=588.71 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 58869 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 588.71 Current children cumulated vsize (KiB) 44204 [startup+614.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 17776 /proc/meminfo: memFree=3080772/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=614.31 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 61429 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5929002 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 614.31 Current children cumulated vsize (KiB) 44204 [startup+627.101 s] /proc/loadavg: 2.00 1.99 1.91 3/178 17776 /proc/meminfo: memFree=3080632/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=627.11 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 62709 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 4838340 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 627.11 Current children cumulated vsize (KiB) 44204 [startup+630.306 s] /proc/loadavg: 2.00 1.99 1.91 3/178 17776 /proc/meminfo: memFree=3080868/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=630.32 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 63030 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5922200 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 630.32 Current children cumulated vsize (KiB) 44204 [startup+631.901 s] /proc/loadavg: 2.00 1.99 1.91 3/178 17776 /proc/meminfo: memFree=3048876/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=631.91 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 63189 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 4854192 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 631.91 Current children cumulated vsize (KiB) 44204 [startup+632.701 s] /proc/loadavg: 2.00 1.99 1.91 3/178 17776 /proc/meminfo: memFree=3046148/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=632.71 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 63269 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5315408 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 632.71 Current children cumulated vsize (KiB) 44204 [startup+633.501 s] /proc/loadavg: 2.00 1.99 1.91 3/178 17776 /proc/meminfo: memFree=3043420/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=633.52 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 63350 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5315408 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 633.52 Current children cumulated vsize (KiB) 44204 [startup+633.901 s] /proc/loadavg: 2.00 1.99 1.91 3/178 17776 /proc/meminfo: memFree=3043420/32951124 swapFree=67054264/67111528 [pid=17720] ppid=17718 vsize=44204 CPUtime=633.91 cores=1,3,5,7 /proc/17720/stat : 17720 (minisatid-gmp) R 17718 17720 16798 0 -1 4202496 15231 0 0 0 63389 2 0 0 25 0 1 0 885140198 45264896 9361 33554432000 4194304 6957856 140735751941680 18446744073709551615 5932662 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/17720/statm: 11051 9361 292 675 0 10367 0 Current children cumulated CPU time (s) 633.91 Current children cumulated vsize (KiB) 44204 Child status: 10 Real time (s): 633.952 CPU time (s): 633.969 CPU user time (s): 633.946 CPU system time (s): 0.022996 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 44204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 633.946 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15234 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= 5 involuntary context switches= 1565 runsolver used 0.866868 second user time and 2.02069 second system time The end
Begin job on node145 at 2011-06-13 03:07:23 IDJOB=3497628 IDBENCH=2440 IDSOLVER=1990 FILE ID=node145/3497628-1307927243 RUNJOBID= node145-1307919792-16817 PBS_JOBID= 13559634 Free space on /var/tmp= 2908 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497628-1307927243/watcher-3497628-1307927243 -o /var/tmp/evaluation-result-3497628-1307927243/solver-3497628-1307927243 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497628-1307927243.opb --verbosity=0 --format=opb --randomseed=1530215874 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 87ce4656e5ef67028f049e81ca6b4c7e RANDOM SEED=1530215874 node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 2755812 kB Buffers: 80760 kB Cached: 28781244 kB SwapCached: 9356 kB Active: 14334568 kB Inactive: 14953120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 2755812 kB SwapTotal: 67111528 kB SwapFree: 67054264 kB Dirty: 3116 kB Writeback: 0 kB AnonPages: 424224 kB Mapped: 14116 kB Slab: 842216 kB PageTables: 5452 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 633740 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2904 MiB End job on node145 at 2011-06-13 03:17:57