Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | -13 | 181.148 | 181.213 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_5.opb |
MD5SUM | 2b42cb52a84d6f68fde6feb3c17d922a |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -13 |
Best CPU time to get the best result obtained on this benchmark | 57.0413 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -13 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 39 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3062 |
Sum of products size (including duplicates) | 6124 |
Number of different products | 1531 |
Sum of products size | 3062 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702510-1278568725.opb. 0.00/0.00 c Instance file HOME/instance-2702510-1278568725.opb 0.00/0.00 c File size is 121338 bytes. 0.00/0.01 c Highest Coefficient sum: 39 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1631 | 0.00/0.01 c | Number Clauses: 1531 | 0.00/0.01 c | Number Cardinality: 200 | 0.00/0.01 c | Number PB Constraints: 1531 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3262 7530 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 100 0.00/0.02 o 100 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3263 7630 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 99 0.00/0.02 o 99 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3264 7730 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 98 0.00/0.02 o 98 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 100 3265 7830 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 97 0.00/0.02 o 97 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 3 | 100 3266 7930 | 5000 3 100 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 96 0.00/0.02 o 96 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 6 | 100 3267 8030 | 5000 6 100 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 95 0.00/0.02 o 95 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 12 | 100 3268 8130 | 5000 12 99 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 94 0.00/0.02 o 94 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 47 | 100 3269 8230 | 5000 47 101 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 93 0.00/0.03 o 93 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 58 | 100 3270 8330 | 5000 58 101 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 92 0.00/0.03 o 92 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 152 | 100 3271 8430 | 5000 152 103 | 0.000 % | 0.00/0.04 c | 254 | 100 3271 8430 | 5500 254 104 | 93.869 % | 0.00/0.06 c | 405 | 100 3271 8430 | 6050 405 104 | 93.869 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c New solution: 91 0.07/0.08 o 91 0.07/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s 0.07/0.08 c =============================================================================== 0.07/0.08 c | 598 | 100 3272 8530 | 5000 598 103 | 93.869 % | 0.07/0.09 c | 699 | 100 3272 8530 | 5500 699 106 | 93.869 % | 0.09/0.12 c | 851 | 100 3272 8530 | 6050 851 105 | 93.869 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 90 0.09/0.14 o 90 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 1048 | 100 3273 8630 | 5000 1048 108 | 93.869 % | 0.09/0.16 c | 1153 | 100 3273 8630 | 5500 1153 108 | 93.869 % | 0.09/0.19 c | 1303 | 100 3273 8630 | 6050 1303 107 | 93.869 % | 0.19/0.25 c | 1529 | 100 3273 8630 | 6655 1529 114 | 93.869 % | 0.29/0.33 c | 1868 | 100 3273 8630 | 7320 1868 115 | 93.869 % | 0.39/0.44 c | 2376 | 100 3273 8630 | 8052 2376 112 | 93.869 % | 0.49/0.59 c | 3136 | 100 3273 8630 | 8857 3136 109 | 93.869 % | 0.79/0.86 c | 4276 | 100 3273 8630 | 9743 4276 107 | 93.869 % | 1.09/1.16 c =============================================================================== 1.09/1.16 c New solution: 89 1.09/1.16 o 89 1.09/1.16 c Elapsed CPU time: 1.15382 s Remaining CPU time: 178.846 s 1.09/1.16 c =============================================================================== 1.09/1.16 c | 5185 | 100 3274 8730 | 5000 5185 105 | 93.869 % | 1.19/1.21 c | 5287 | 100 3274 8730 | 5500 5287 105 | 93.869 % | 1.29/1.32 c | 5437 | 100 3274 8730 | 6050 5437 105 | 93.869 % | 1.39/1.46 c | 5662 | 100 3274 8730 | 6655 5662 105 | 93.869 % | 1.59/1.62 c | 5999 | 100 3274 8730 | 7320 5999 105 | 93.869 % | 1.79/1.83 c | 6506 | 100 3274 8730 | 8052 6506 105 | 93.869 % | 1.89/1.99 c | 7268 | 100 3274 8730 | 8857 7268 104 | 93.869 % | 2.70/2.79 c | 8409 | 100 3274 8730 | 9743 8409 110 | 93.869 % | 4.59/4.64 c | 10117 | 100 3274 8730 | 10717 10117 119 | 93.869 % | 6.99/7.04 c | 12679 | 100 3274 8730 | 11789 6513 146 | 93.869 % | 9.90/9.95 c | 16523 | 100 3274 8730 | 12968 10357 156 | 93.869 % | 11.79/11.86 c =============================================================================== 11.79/11.86 c New solution: 88 11.79/11.86 o 88 11.79/11.86 c Elapsed CPU time: 11.8042 s Remaining CPU time: 168.196 s 11.79/11.86 c =============================================================================== 11.79/11.86 c | 18319 | 100 3275 8830 | 5000 12153 168 | 93.869 % | 12.10/12.13 c | 18425 | 100 3275 8830 | 5500 6183 191 | 93.869 % | 12.19/12.25 c | 18576 | 100 3275 8830 | 6050 6334 198 | 93.869 % | 12.49/12.54 c | 18804 | 100 3275 8830 | 6655 6562 206 | 93.869 % | 12.79/12.80 c | 19142 | 100 3275 8830 | 7320 6900 218 | 93.869 % | 13.10/13.20 c | 19649 | 100 3275 8830 | 8052 7407 211 | 93.869 % | 13.68/13.77 c | 20408 | 100 3275 8830 | 8857 8166 202 | 93.869 % | 14.79/14.85 c | 21547 | 100 3275 8830 | 9743 9305 190 | 93.869 % | 16.28/16.31 c | 23256 | 100 3275 8830 | 10717 11014 188 | 93.869 % | 17.89/17.99 c | 25818 | 100 3275 8830 | 11789 7413 175 | 93.869 % | 19.49/19.60 c | 29664 | 100 3275 8830 | 12968 11259 163 | 93.869 % | 21.89/21.94 c | 35431 | 100 3275 8830 | 14265 9732 162 | 93.869 % | 30.08/30.13 c | 44082 | 100 3275 8830 | 15692 10441 143 | 93.869 % | 33.28/33.33 c =============================================================================== 33.28/33.33 c New solution: 87 33.28/33.33 o 87 33.28/33.33 c Elapsed CPU time: 33.159 s Remaining CPU time: 146.841 s 33.28/33.33 c =============================================================================== 33.28/33.33 c | 52517 | 100 3276 8930 | 5000 10222 202 | 93.869 % | 33.38/33.49 c | 52618 | 100 3276 8930 | 5500 5212 247 | 93.869 % | 33.59/33.61 c | 52774 | 100 3276 8930 | 6050 5368 247 | 93.869 % | 33.69/33.76 c | 53000 | 100 3276 8930 | 6655 5594 247 | 93.869 % | 34.19/34.27 c | 53338 | 100 3276 8930 | 7320 5932 258 | 93.869 % | 34.48/34.58 c | 53844 | 100 3276 8930 | 8052 6438 263 | 93.869 % | 34.68/34.75 c | 54603 | 100 3276 8930 | 8857 7197 270 | 93.869 % | 35.78/35.82 c | 55747 | 100 3276 8930 | 9743 8341 311 | 93.869 % | 36.98/37.00 c | 57459 | 100 3276 8930 | 10717 10053 331 | 93.869 % | 38.49/38.57 c | 60027 | 100 3276 8930 | 11789 6452 435 | 93.869 % | 39.39/39.44 c | 63873 | 100 3276 8930 | 12968 10298 369 | 93.869 % | 41.88/41.94 c | 69639 | 100 3276 8930 | 14265 8769 156 | 93.869 % | 47.19/47.20 c | 78290 | 100 3276 8930 | 15692 9477 141 | 93.869 % | 61.97/62.08 c | 91266 | 100 3276 8930 | 17261 13799 316 | 93.869 % | 79.37/79.49 c | 110728 | 100 3276 8930 | 18987 14383 398 | 93.869 % | 96.26/96.32 c | 139926 | 100 3276 8930 | 20886 12680 212 | 93.869 % | 134.86/134.91 c | 183716 | 100 3276 8930 | 22974 21155 185 | 93.869 % | 180.83/180.98 c There are 1531 assigned variables. 0 in cost function. 181.03/181.18 c core #1 181.03/181.18 c #cores: 1 181.03/181.18 c Final Weight: 87 181.03/181.18 o 87 181.03/181.18 s OPTIMUM FOUND 181.03/181.18 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 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 181.03/181.18 c Total CPU time: 180.21 s
OK -13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702510-1278568725/watcher-2702510-1278568725 -o /tmp/evaluation-result-2702510-1278568725/solver-2702510-1278568725 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702510-1278568725.opb 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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 31619 /proc/meminfo: memFree=1852000/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=2980 CPUtime=0 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 25080883 3051520 278 1992294400 134512640 135751879 4293460272 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 745 278 146 303 0 410 0 [startup+0.0823781 s] /proc/loadavg: 1.00 1.00 1.00 3/105 31619 /proc/meminfo: memFree=1852000/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=3400 CPUtime=0.07 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 535 0 0 0 7 0 0 0 18 0 1 0 25080883 3481600 424 1992294400 134512640 135751879 4293460272 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 850 424 147 303 0 545 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3400 [startup+0.10138 s] /proc/loadavg: 1.00 1.00 1.00 3/105 31619 /proc/meminfo: memFree=1852000/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=3532 CPUtime=0.09 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 556 0 0 0 9 0 0 0 18 0 1 0 25080883 3616768 445 1992294400 134512640 135751879 4293460272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 883 445 147 303 0 578 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3532 [startup+0.301403 s] /proc/loadavg: 1.00 1.00 1.00 3/105 31619 /proc/meminfo: memFree=1852000/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=4184 CPUtime=0.29 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 717 0 0 0 29 0 0 0 18 0 1 0 25080883 4284416 606 1992294400 134512640 135751879 4293460272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 1046 606 147 303 0 741 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4184 [startup+0.701448 s] /proc/loadavg: 1.00 1.00 1.00 3/105 31619 /proc/meminfo: memFree=1852000/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=5220 CPUtime=0.69 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 983 0 0 0 69 0 0 0 18 0 1 0 25080883 5345280 872 1992294400 134512640 135751879 4293460272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 1305 872 147 303 0 1000 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5220 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31620 /proc/meminfo: memFree=1848892/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=6532 CPUtime=1.49 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 1301 0 0 0 149 0 0 0 19 0 1 0 25080883 6688768 1190 1992294400 134512640 135751879 4293460272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 1633 1190 147 303 0 1328 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6532 [startup+3.10172 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31620 /proc/meminfo: memFree=1846908/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=8428 CPUtime=3.09 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 1781 0 0 0 307 2 0 0 25 0 1 0 25080883 8630272 1670 1992294400 134512640 135751879 4293460272 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 2107 1670 147 303 0 1802 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8428 [startup+6.30108 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31620 /proc/meminfo: memFree=1843684/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=11476 CPUtime=6.29 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 2518 0 0 0 626 3 0 0 25 0 1 0 25080883 11751424 2407 1992294400 134512640 135751879 4293460272 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 2869 2407 147 303 0 2564 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11476 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31621 /proc/meminfo: memFree=1837608/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=17900 CPUtime=12.69 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 4134 0 0 0 1263 6 0 0 25 0 1 0 25080883 18329600 4023 1992294400 134512640 135751879 4293460272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 4475 4023 148 303 0 4170 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17900 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31622 /proc/meminfo: memFree=1821240/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=33404 CPUtime=25.48 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 8002 0 0 0 2535 13 0 0 25 0 1 0 25080883 34205696 7891 1992294400 134512640 135751879 4293460272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 8351 7891 148 303 0 8046 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33404 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31622 /proc/meminfo: memFree=1780196/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=76328 CPUtime=51.08 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 18685 0 0 0 5079 29 0 0 25 0 1 0 25080883 78159872 18574 1992294400 134512640 135751879 4293460272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 19082 18574 148 303 0 18777 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76328 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31624 /proc/meminfo: memFree=1678516/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=175808 CPUtime=102.27 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 43508 0 0 0 10168 59 0 0 25 0 1 0 25080883 180027392 43397 1992294400 134512640 135751879 4293460272 18446744073709551615 134602457 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 43952 43397 148 303 0 43647 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 175808 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31634 /proc/meminfo: memFree=1625940/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=228416 CPUtime=162.23 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 56638 0 0 0 16139 84 0 0 25 0 1 0 25080883 233897984 56527 1992294400 134512640 135751879 4293460272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 57104 56527 148 303 0 56799 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 228416 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31634 /proc/meminfo: memFree=1623336/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=230780 CPUtime=166.24 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 57222 0 0 0 16538 86 0 0 25 0 1 0 25080883 236318720 57111 1992294400 134512640 135751879 4293460272 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 57695 57111 148 303 0 57390 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 230780 [startup+172.708 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31635 /proc/meminfo: memFree=1616144/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=237940 CPUtime=172.64 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 59011 0 0 0 17176 88 0 0 25 0 1 0 25080883 243650560 58900 1992294400 134512640 135751879 4293460272 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 59485 58900 148 303 0 59180 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 237940 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31635 /proc/meminfo: memFree=1612920/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=240984 CPUtime=175.84 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 59777 0 0 0 17495 89 0 0 25 0 1 0 25080883 246767616 59666 1992294400 134512640 135751879 4293460272 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 60246 59666 148 303 0 59941 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 240984 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31635 /proc/meminfo: memFree=1610688/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=244304 CPUtime=179.03 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 60604 0 0 0 17813 90 0 0 25 0 1 0 25080883 250167296 60493 1992294400 134512640 135751879 4293460272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 61076 60493 148 303 0 60771 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 244304 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31635 /proc/meminfo: memFree=1609572/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=244824 CPUtime=179.82 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 60734 0 0 0 17892 90 0 0 25 0 1 0 25080883 250699776 60623 1992294400 134512640 135751879 4293460272 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 61206 60623 148 303 0 60901 0 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (KiB) 244824 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31635 /proc/meminfo: memFree=1608704/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=245480 CPUtime=180.63 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 60924 0 0 0 17972 91 0 0 25 0 1 0 25080883 251371520 60813 1992294400 134512640 135751879 4293460272 18446744073709551615 134616822 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 61370 60813 148 303 0 61065 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 245480 [startup+181.101 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31635 /proc/meminfo: memFree=1608704/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=246172 CPUtime=181.03 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202496 61093 0 0 0 18012 91 0 0 18 0 1 0 25080883 252080128 60982 1992294400 134512640 135751879 4293460272 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31619/statm: 61543 60982 149 303 0 61238 0 Current children cumulated CPU time (s) 181.03 Current children cumulated vsize (KiB) 246172 [startup+181.201 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31635 /proc/meminfo: memFree=1608704/2059040 swapFree=4135728/4192956 [pid=31619] ppid=31617 vsize=0 CPUtime=181.12 /proc/31619/stat : 31619 (wbo1.4b) R 31617 31619 30914 0 -1 4202500 61094 0 0 0 18020 92 0 0 18 0 1 0 25080883 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31619/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 181.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 181.213 CPU time (s): 181.148 CPU user time (s): 180.21 CPU system time (s): 0.938857 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 246172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.21 system time used= 0.938857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61094 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= 493 runsolver used 0.328949 second user time and 0.837872 second system time The end
Begin job on node088 at 2010-07-08 07:58:45 IDJOB=2702510 IDBENCH=48190 IDSOLVER=1161 FILE ID=node088/2702510-1278568725 PBS_JOBID= 11239544 Free space on /tmp= 62520 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702510-1278568725/watcher-2702510-1278568725 -o /tmp/evaluation-result-2702510-1278568725/solver-2702510-1278568725 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702510-1278568725.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b42cb52a84d6f68fde6feb3c17d922a RANDOM SEED=763194010 node088.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.245 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853148 kB Buffers: 17540 kB Cached: 98136 kB SwapCached: 10768 kB Active: 79536 kB Inactive: 49700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853148 kB SwapTotal: 4192956 kB SwapFree: 4135728 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 11544 kB Mapped: 8504 kB Slab: 55024 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178184 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702510-1278568725.opb Free space on /tmp at the end= 62516 MiB End job on node088 at 2010-07-08 08:01:47