Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -14336 | 1782.73 | 1783.35 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16384 |
Best CPU time to get the best result obtained on this benchmark | 1800.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16384 |
Optimality of the best value was proved | NO |
Number of variables | 787 |
Total number of constraints | 65 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 19 |
Biggest coefficient in the objective function | 262144 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524287 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 393216 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 917503 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.01 c starting to Solve 0.01 c #variables read: 787 - #constraints read: 114 0.01 o 0 0.16 o 1 0.16 o 1024 0.16 o 1025 0.16 o 1536 0.16 o 1537 0.16 o 1792 0.16 o 1793 0.16 o 1920 0.16 o 1921 0.16 o 1984 0.17 o 1985 0.17 o 2016 0.17 o 2017 0.17 o 2032 0.17 o 2033 0.17 o 2040 0.17 o 2041 0.17 o 2044 0.17 o 2045 0.17 o 2046 0.17 o 2047 0.17 o 2048 0.18 o 2049 0.18 o 3072 0.18 o 3073 0.18 o 3584 0.18 o 3585 0.18 o 3840 0.18 o 3841 0.18 o 3968 0.18 o 3969 0.18 o 4032 0.18 o 4033 0.18 o 4064 0.18 o 4065 0.18 o 4080 0.19 o 4081 0.19 o 4088 0.19 o 4089 0.19 o 4092 0.19 o 4093 0.19 o 4094 0.19 o 4095 0.19 o 4096 0.19 o 4097 0.19 o 5120 0.19 o 5121 0.19 o 5632 0.20 o 5633 0.20 o 5888 0.20 o 5889 0.20 o 6016 0.20 o 6017 0.20 o 6080 0.20 o 6081 0.20 o 6112 0.20 o 6113 0.20 o 6128 0.20 o 6129 0.20 o 6136 0.20 o 6137 0.20 o 6140 0.21 o 6141 0.21 o 6142 0.21 o 6143 0.21 o 6144 0.21 o 6145 0.21 o 7168 0.21 o 7169 0.21 o 7680 0.21 o 7681 0.21 o 7936 0.21 o 7937 0.21 o 8064 0.22 o 8065 0.22 o 8128 0.22 o 8129 0.22 o 8160 0.22 o 8161 0.22 o 8176 0.22 o 8177 0.22 o 8184 0.22 o 8185 0.22 o 8188 0.22 o 8189 0.22 o 8190 0.23 o 8191 0.23 o 8192 0.23 o 8193 0.23 o 9216 0.23 o 9217 0.23 o 9728 0.23 o 9729 0.23 o 9984 0.23 o 9985 0.23 o 10112 0.23 o 10113 0.24 o 10176 0.24 o 10177 0.24 o 10208 0.24 o 10209 0.24 o 10224 0.24 o 10225 0.24 o 10232 0.24 o 10233 0.24 o 10236 0.24 o 10237 0.24 o 10238 0.24 o 10239 0.24 o 10240 0.25 o 10241 0.25 o 10752 0.25 o 10753 0.25 o 11008 0.25 o 11009 0.25 o 11136 0.25 o 11137 0.25 o 11200 0.25 o 11201 0.25 o 11232 0.25 o 11233 0.25 o 11248 0.25 o 11249 0.25 o 11256 0.25 o 11257 0.25 o 11260 0.25 o 11261 0.25 o 11262 0.26 o 11263 0.26 o 11264 0.26 o 11265 0.26 o 11776 0.26 o 12032 0.26 o 12160 0.26 o 12224 0.26 o 12256 0.26 o 12272 0.26 o 12280 0.27 o 12284 0.27 o 12286 0.27 o 12287 0.27 o 12288 291.61 o 12416 291.61 o 12418 291.61 o 12480 291.61 o 12482 291.62 o 13312 291.62 o 13440 291.62 o 13442 291.62 o 13504 291.62 o 13506 291.62 o 13508 291.62 o 13510 291.62 o 13512 291.62 o 13514 291.62 o 13516 291.62 o 13518 291.62 o 13520 291.62 o 13522 291.62 o 13524 291.62 o 13526 291.62 o 13528 291.63 o 13530 291.63 o 13532 291.63 o 13534 291.63 o 13536 291.63 o 13538 291.63 o 13540 291.63 o 13542 291.63 o 13544 291.63 o 13546 291.63 o 13548 291.63 o 13550 291.63 o 13552 291.63 o 13554 291.63 o 13556 291.63 o 13558 291.63 o 13560 291.63 o 13562 291.63 o 13564 291.63 o 13566 291.63 o 13568 291.63 o 13570 291.63 o 13572 291.63 o 13574 291.63 o 13576 291.63 o 13578 291.63 o 13580 291.63 o 13582 291.63 o 13584 291.63 o 13586 291.63 o 13588 291.63 o 13590 291.63 o 13592 291.63 o 13594 291.63 o 13596 291.63 o 13598 291.63 o 13600 291.63 o 13602 291.63 o 13604 291.63 o 13606 291.63 o 13608 291.63 o 13610 291.63 o 13612 291.63 o 13614 291.63 o 13616 291.64 o 13618 291.64 o 13620 291.64 o 13622 291.64 o 13624 291.64 o 13626 291.64 o 13628 291.64 o 13630 291.64 o 13632 291.64 o 13634 291.64 o 13636 291.64 o 13638 291.64 o 13640 291.64 o 13642 291.64 o 13644 291.64 o 13646 291.64 o 13648 291.64 o 13650 291.64 o 13652 291.64 o 13654 291.64 o 13656 291.64 o 13658 291.64 o 13660 291.64 o 13662 291.64 o 13664 291.64 o 13666 291.64 o 13668 291.64 o 13670 291.64 o 13672 291.64 o 13674 291.64 o 13676 291.64 o 13678 291.64 o 13680 291.64 o 13682 291.64 o 13684 291.64 o 13686 291.64 o 13688 291.64 o 13690 291.64 o 13692 291.64 o 13694 291.64 o 13696 291.64 o 13698 291.64 o 13700 291.64 o 13702 291.64 o 13704 291.64 o 13706 291.64 o 13708 291.64 o 13710 291.64 o 13712 291.65 o 13714 291.65 o 13716 291.65 o 13718 291.65 o 13720 291.65 o 13722 291.65 o 13724 291.65 o 13726 291.65 o 13728 291.65 o 13730 291.65 o 13732 291.65 o 13734 291.65 o 13736 291.65 o 13738 291.65 o 13740 291.65 o 13742 291.65 o 13744 291.65 o 13746 291.65 o 13748 291.65 o 13750 291.65 o 13752 291.65 o 13754 291.65 o 13756 291.65 o 13758 291.65 o 13760 291.65 o 13762 291.65 o 13764 291.65 o 13766 291.65 o 13768 291.65 o 13770 291.65 o 13772 291.65 o 13774 291.65 o 13776 291.65 o 13778 291.65 o 13780 291.65 o 13782 291.65 o 13784 291.65 o 13786 291.65 o 13788 291.65 o 13790 291.65 o 13792 291.65 o 13794 291.65 o 13796 291.65 o 13798 291.65 o 13800 291.65 o 13802 291.66 o 13804 291.66 o 13806 291.66 o 13808 291.66 o 13810 291.66 o 13812 291.66 o 13814 291.66 o 13816 291.66 o 13818 291.66 o 13820 291.66 o 13822 291.66 o 14336 1783.34 c total time : 1783 s 1783.34 s SATISFIABLE 1783.34 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 x14 -x15 -x16 -x17 -x18 -x19 x130 -x241 -x352 -x463 -x574 -x685 -x766 -x777 1783.34 v -x20 -x31 -x42 -x53 -x64 -x75 -x86 -x97 -x108 -x119 -x131 -x142 -x153 -x164 -x175 -x186 -x197 -x208 x219 -x230 -x242 -x253 1783.34 v -x264 -x275 -x286 -x297 -x308 x319 -x330 -x341 -x353 -x364 -x375 -x386 -x397 -x408 -x419 -x430 -x441 -x384 -x385 -x387 -x388 1783.34 v -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x409 -x410 -x411 1783.34 v -x412 -x413 -x414 -x415 -x416 -x417 -x418 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x431 -x432 -x433 -x434 1783.34 v -x435 -x436 -x437 -x438 -x439 -x440 -x442 -x443 x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x453 -x454 -x455 -x456 -x457 1783.34 v -x458 -x459 -x460 -x461 -x462 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x476 x477 -x478 -x479 -x480 -x481 1783.34 v -x482 -x483 -x484 -x485 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1783.34 v -x505 -x506 -x507 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 1783.34 v -x528 -x529 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 1783.34 v -x551 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1783.34 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x598 1783.34 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x620 -x621 1783.34 v x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x642 -x643 -x644 1783.34 v -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x664 -x665 -x666 -x667 1783.34 v -x668 -x669 -x670 -x671 -x672 -x673 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x687 -x688 -x689 -x690 -x691 1783.34 v -x692 -x693 -x694 x695 -x696 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x709 -x710 -x711 -x712 -x713 -x714 1783.34 v -x715 -x716 -x717 -x718 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1783.34 v -x738 -x739 -x740 -x742 -x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x452 -x785 -x69 -x122 -x176 -x224 -x278 -x331 1783.34 v -x753 -x464 -x786 -x70 -x123 -x177 -x225 -x279 x332 -x475 x787 -x71 -x124 -x178 -x226 -x280 -x333 -x486 -x497 -x508 -x519 1783.34 v x530 -x541 x552 -x563 -x575 -x586 -x597 -x608 -x619 x630 -x641 -x652 -x663 -x674 -x686 -x697 -x708 -x719 -x730 -x741 -x752 1783.34 v -x763 -x764 -x765 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x21 1783.34 v -x72 -x125 -x179 -x227 -x281 -x334 -x22 -x73 -x126 -x180 -x228 -x282 -x335 -x23 x74 -x127 -x181 -x229 -x283 -x336 -x24 -x76 1783.34 v -x128 -x182 -x231 -x284 -x337 -x25 -x77 -x129 -x183 -x232 -x285 -x338 -x26 -x78 -x132 -x184 -x233 -x287 -x339 -x27 -x79 -x133 1783.34 v -x234 -x288 -x340 -x754 -x28 -x80 -x134 -x235 -x289 -x342 -x755 -x29 -x81 -x135 -x236 -x290 x343 -x756 -x30 -x82 -x136 -x237 1783.34 v -x291 -x344 -x757 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x54 -x55 1783.34 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x65 -x66 -x67 -x68 -x83 -x137 -x185 -x238 -x292 -x345 -x84 -x138 -x187 -x239 x293 -x346 1783.34 v x85 -x139 -x188 -x240 -x294 -x347 -x87 -x140 -x189 -x243 -x295 -x348 -x758 -x88 -x141 -x190 -x244 -x296 x349 -x89 -x143 -x191 1783.34 v -x245 -x298 -x350 -x90 x144 -x192 -x246 -x299 -x351 -x91 -x145 -x193 -x247 -x300 x354 -x92 -x146 -x194 x248 -x301 -x355 -x93 1783.34 v -x147 -x195 -x249 -x302 -x356 -x759 -x760 -x94 -x95 -x96 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x109 -x110 1783.34 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x120 -x121 -x148 -x196 -x250 -x303 -x357 x149 -x198 -x251 -x304 -x358 -x150 1783.34 v -x199 -x252 -x305 -x359 -x151 -x200 -x254 -x306 -x360 -x152 -x201 -x255 -x307 -x361 -x761 x154 -x202 -x256 -x309 -x362 x155 1783.34 v -x203 -x257 -x310 -x363 -x156 -x204 x258 -x311 -x365 -x157 -x205 -x259 -x312 -x366 -x158 -x206 -x260 -x313 -x367 -x159 -x160 1783.34 v -x161 -x162 -x163 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x207 -x261 -x314 -x368 x209 -x262 -x315 -x369 1783.34 v -x210 -x263 -x316 -x370 -x211 -x265 -x317 -x371 -x212 -x266 -x318 -x372 -x213 -x267 -x320 -x373 -x214 -x268 x321 -x374 -x215 1783.34 v -x269 -x322 -x376 -x762 -x216 -x270 -x323 -x377 -x217 -x271 -x324 -x378 -x218 -x220 -x221 x222 x223 -x272 -x325 -x379 -x273 1783.34 v -x326 -x380 x274 -x327 -x381 -x276 -x328 -x382 -x277 -x329 -x383
OK -14336
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node87/watcher-37825-1149371690 -o ROOT/results/node87/solver-37825-1149371690 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37825-1149371690/instance-37825-1149371690.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1705384/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=968 CPUtime=0 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 49 0 0 0 0 0 0 0 18 0 1 0 202808110 991232 34 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11240500 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 277 38 29 16 0 8 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1703344/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=4308 CPUtime=9.99 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 718 0 0 0 989 10 0 0 25 0 1 0 202808110 4411392 689 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1077 689 205 16 0 517 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4308 [startup+20.0087 s] /proc/loadavg: 0.94 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1703344/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=4436 CPUtime=19.99 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 751 0 0 0 1985 14 0 0 25 0 1 0 202808110 4542464 722 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1109 722 205 16 0 549 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4436 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1703280/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=4564 CPUtime=30 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 778 0 0 0 2979 21 0 0 25 0 1 0 202808110 4673536 749 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1141 749 205 16 0 581 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 4564 [startup+40.021 s] /proc/loadavg: 0.96 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1703216/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=4628 CPUtime=40 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 791 0 0 0 3975 25 0 0 25 0 1 0 202808110 4739072 762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1157 762 205 16 0 597 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 4628 [startup+50.0262 s] /proc/loadavg: 0.96 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1703280/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=4628 CPUtime=50 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 791 0 0 0 4969 31 0 0 25 0 1 0 202808110 4739072 762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1157 762 205 16 0 597 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 4628 [startup+60.0313 s] /proc/loadavg: 0.97 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702704/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5160 CPUtime=60.01 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 938 0 0 0 5965 36 0 0 25 0 1 0 202808110 5283840 909 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1290 909 205 16 0 730 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 5160 [startup+70.0375 s] /proc/loadavg: 0.97 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702704/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5160 CPUtime=70.01 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 938 0 0 0 6962 39 0 0 25 0 1 0 202808110 5283840 909 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1290 909 205 16 0 730 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5160 [startup+80.0436 s] /proc/loadavg: 0.98 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702512/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5160 CPUtime=80.01 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 981 0 0 0 7958 43 0 0 25 0 1 0 202808110 5283840 910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1290 910 205 16 0 730 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 5160 [startup+90.0498 s] /proc/loadavg: 0.98 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702512/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5160 CPUtime=90.01 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 981 0 0 0 8953 48 0 0 25 0 1 0 202808110 5283840 910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1290 910 205 16 0 730 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 5160 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702512/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5160 CPUtime=100.02 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 981 0 0 0 9949 53 0 0 25 0 1 0 202808110 5283840 910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1290 910 205 16 0 730 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 5160 [startup+110.061 s] /proc/loadavg: 0.98 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702512/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5160 CPUtime=110.02 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 981 0 0 0 10945 57 0 0 25 0 1 0 202808110 5283840 910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1290 910 205 16 0 730 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 5160 [startup+120.066 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702512/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5160 CPUtime=120.02 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1000 0 0 0 11939 63 0 0 25 0 1 0 202808110 5283840 910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1290 910 205 16 0 730 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 5160 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702064/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=130.03 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 12937 66 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557505 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 5568 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702064/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=140.02 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 13933 69 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 5568 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702064/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=150.03 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 14929 74 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 5568 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702064/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=160.04 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 15926 78 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 5568 [startup+170.096 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702064/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=170.03 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 16921 82 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 5568 [startup+180.102 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702128/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=180.04 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 17918 86 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 5568 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702128/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=190.04 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 18912 92 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 5568 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702128/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=5568 CPUtime=200.04 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1160 0 0 0 19906 98 0 0 25 0 1 0 202808110 5701632 1012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1392 1012 205 16 0 832 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 5568 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3546 /proc/meminfo: memFree=1702128/2055888 swapFree=4085404/4096564 ################ # More data... # ################ /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1590.38 Current children cumulated vsize (Kb) 6484 [startup+1600.95 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701104/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1600.37 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 159313 724 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1600.37 Current children cumulated vsize (Kb) 6484 [startup+1610.95 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701104/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1610.38 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 160306 732 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1610.38 Current children cumulated vsize (Kb) 6484 [startup+1620.96 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1620.38 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 161300 738 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1620.38 Current children cumulated vsize (Kb) 6484 [startup+1630.97 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1630.39 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 162295 744 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1630.39 Current children cumulated vsize (Kb) 6484 [startup+1640.97 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1640.39 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 163290 749 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1640.39 Current children cumulated vsize (Kb) 6484 [startup+1650.98 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1650.39 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 164285 754 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1650.39 Current children cumulated vsize (Kb) 6484 [startup+1660.98 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1660.4 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 165280 760 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1660.4 Current children cumulated vsize (Kb) 6484 [startup+1670.99 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1670.4 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 166275 765 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1670.4 Current children cumulated vsize (Kb) 6484 [startup+1681 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1680.4 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 167270 770 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1680.4 Current children cumulated vsize (Kb) 6484 [startup+1691 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1690.41 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 168265 776 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1690.41 Current children cumulated vsize (Kb) 6484 [startup+1701.01 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1700.4 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 169260 780 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1700.4 Current children cumulated vsize (Kb) 6484 [startup+1711.01 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1710.41 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 170255 786 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1710.41 Current children cumulated vsize (Kb) 6484 [startup+1721.02 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1720.41 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 171250 791 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1720.41 Current children cumulated vsize (Kb) 6484 [startup+1731.02 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1730.42 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 172246 796 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1730.42 Current children cumulated vsize (Kb) 6484 [startup+1741.03 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1740.42 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 173241 801 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1740.42 Current children cumulated vsize (Kb) 6484 [startup+1751.04 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1701040/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1750.42 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 174236 806 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1750.42 Current children cumulated vsize (Kb) 6484 [startup+1761.04 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1700976/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1760.42 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 175231 811 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 6484 [startup+1771.05 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1700976/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1770.43 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 176227 816 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1770.43 Current children cumulated vsize (Kb) 6484 [startup+1781.05 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1700976/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1780.43 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 177223 820 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1780.43 Current children cumulated vsize (Kb) 6484 [startup+1782.06 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1700976/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1781.44 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 177323 821 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 6484 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.96 2/67 3741 /proc/meminfo: memFree=1700976/2055888 swapFree=4085404/4096564 [pid=3546] ppid=3544 vsize=6484 CPUtime=1782.44 /proc/3546/stat : 3546 (Pueblo13) R 3544 3546 3500 0 -1 4194304 1662 0 0 0 177423 821 0 0 25 0 1 0 202808110 6639616 1234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 1 0 0 /proc/3546/statm: 1621 1234 205 16 0 1061 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 6484 Child status: 10 Real time (s): 1783.35 CPU time (s): 1782.73 CPU user time (s): 1774.51 CPU system time (s): 8.22075 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (Kb): 6524
Begin job on node87 on Sat Jun 3 21:54:50 UTC 2006 FILE ID= 37825-1149371690 PBS_JOBID= 312228 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37825-1149371690/instance-37825-1149371690.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-37825-1149371690 -o ROOT/results/node87/solver-37825-1149371690 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37825-1149371690/instance-37825-1149371690.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED= 849694144 /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 : 6006.17 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1705528 kB Buffers: 29040 kB Cached: 257136 kB SwapCached: 2348 kB Active: 52992 kB Inactive: 241804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1705528 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42220 kB Committed_AS: 304796 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 22:24:33 UTC 2006