Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -18 | 1782.73 | 1783.28 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-afiro.opb |
MD5SUM | d412dc68829850bad6555fa34c6ad801 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -65 |
Optimality of the best value was proved | NO |
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 | 222156 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524394 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524468 |
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.02 c starting to Solve 0.02 c #variables read: 960 - #constraints read: 36 0.02 o 80065 0.03 o 80064 0.03 o 80063 0.04 o 80062 0.04 o 80061 0.05 o 80060 0.05 o 80059 0.09 o 80058 0.09 o 80057 0.18 o 80056 1.47 o 80055 45.38 o 80054 66.57 o 80053 94.55 o 80052 210.24 o 80051 461.70 o 80050 615.14 o 80049 869.06 o 80048 1427.71 o 80047 1783.27 c total time : 1783 s 1783.27 s SATISFIABLE 1783.27 v -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 1783.27 v -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1783.27 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x481 -x482 -x483 -x484 x485 x486 x487 x488 x489 x490 1783.27 v x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x841 1783.27 v -x842 x843 x844 -x845 -x846 -x847 x848 x849 x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1783.27 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1783.27 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x1 x2 x3 -x4 x5 -x6 -x7 -x8 -x9 1783.27 v -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x61 -x62 -x63 -x64 -x65 1783.27 v -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 1783.27 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 1783.27 v -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1783.27 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 1783.27 v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1783.27 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1783.27 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1783.27 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1783.27 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 1783.27 v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 1783.27 v -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 1783.27 v -x454 -x455 -x456 x457 x458 x459 -x460 x461 x462 x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 1783.27 v -x476 -x477 -x478 -x479 -x480 -x511 x512 x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 x523 -x524 -x525 -x526 -x527 1783.27 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1783.27 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1783.27 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 1783.27 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1783.27 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1783.27 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1783.27 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1783.27 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1783.27 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1783.27 v -x717 -x718 -x719 -x720 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 1783.27 v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 1783.27 v -x879 -x880 -x881 -x882 -x883 x884 x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1783.27 v -x900 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1783.27 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1783.27 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 1783.27 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 1783.27 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1783.27 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x721 -x722 -x723 -x724 -x725 1783.27 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1783.27 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 1783.27 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1783.27 v -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1783.27 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1783.27 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
OK -18
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/node21/watcher-36498-1149338578 -o ROOT/results/node21/solver-36498-1149338578 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node21/36498-1149338578/instance-36498-1149338578.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1372704/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=916 CPUtime=0 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 199520924 937984 28 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8438059 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 229 28 20 16 0 8 0 [startup+10.0024 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371632/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3484 CPUtime=9.99 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 509 0 0 0 992 7 0 0 25 0 1 0 199520924 3567616 480 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 871 480 205 16 0 312 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3484 [startup+20.0085 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371696/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3484 CPUtime=19.99 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 520 0 0 0 1986 13 0 0 25 0 1 0 199520924 3567616 491 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 871 491 205 16 0 312 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 3484 [startup+30.0156 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=30 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 577 0 0 0 2982 18 0 0 25 0 1 0 199520924 3833856 548 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 548 205 16 0 377 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 3744 [startup+40.0207 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=40 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 580 0 0 0 3980 20 0 0 25 0 1 0 199520924 3833856 551 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 551 205 16 0 377 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3744 [startup+50.0268 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=50 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 580 0 0 0 4979 21 0 0 25 0 1 0 199520924 3833856 551 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 551 205 16 0 377 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 3744 [startup+60.0329 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=60 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 582 0 0 0 5974 26 0 0 25 0 1 0 199520924 3833856 553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 553 205 16 0 377 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 3744 [startup+70.039 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=70.01 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 582 0 0 0 6969 32 0 0 25 0 1 0 199520924 3833856 553 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 553 205 16 0 377 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 3744 [startup+80.0451 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=80.01 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 587 0 0 0 7965 36 0 0 25 0 1 0 199520924 3833856 558 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 558 205 16 0 377 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 3744 [startup+90.0512 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=90.01 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 587 0 0 0 8961 40 0 0 25 0 1 0 199520924 3833856 558 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 558 205 16 0 377 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 3744 [startup+100.056 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371440/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3744 CPUtime=100.02 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 587 0 0 0 9957 45 0 0 25 0 1 0 199520924 3833856 558 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 936 558 205 16 0 377 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 3744 [startup+110.062 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=110.02 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 592 0 0 0 10953 49 0 0 25 0 1 0 199520924 3919872 563 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 563 205 16 0 398 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 3828 [startup+120.068 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=120.03 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 11949 54 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 3828 [startup+130.075 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=130.03 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 12946 57 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 3828 [startup+140.081 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=140.03 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 13942 61 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 3828 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=150.03 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 14938 65 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 3828 [startup+160.094 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371504/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=160.04 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 15933 71 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 3828 [startup+170.1 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371440/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=170.05 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 16928 77 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 3828 [startup+180.106 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371440/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=180.04 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 17923 81 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 3828 [startup+190.112 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371440/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=190.05 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 18919 86 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 3828 [startup+200.118 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371440/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=3828 CPUtime=200.06 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 594 0 0 0 19915 91 0 0 25 0 1 0 199520924 3919872 565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 957 565 205 16 0 398 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 3828 [startup+210.125 s] /proc/loadavg: 1.00 1.00 0.93 2/64 2466 /proc/meminfo: memFree=1371440/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1590.47 Current children cumulated vsize (Kb) 4084 [startup+1600.97 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1600.46 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 159291 755 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1600.46 Current children cumulated vsize (Kb) 4084 [startup+1610.98 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1610.48 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 160287 761 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1610.48 Current children cumulated vsize (Kb) 4084 [startup+1620.98 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1620.47 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 161284 763 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1620.47 Current children cumulated vsize (Kb) 4084 [startup+1630.99 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1630.48 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 162281 767 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1630.48 Current children cumulated vsize (Kb) 4084 [startup+1640.99 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1640.48 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 163277 771 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1640.48 Current children cumulated vsize (Kb) 4084 [startup+1651 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1650.49 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 164273 776 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1650.49 Current children cumulated vsize (Kb) 4084 [startup+1661.01 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1660.49 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 165270 779 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1660.49 Current children cumulated vsize (Kb) 4084 [startup+1671.01 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1670.49 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 166265 784 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1670.49 Current children cumulated vsize (Kb) 4084 [startup+1681.02 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1680.49 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 167259 790 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1680.49 Current children cumulated vsize (Kb) 4084 [startup+1691.02 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1690.5 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 168254 796 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1690.5 Current children cumulated vsize (Kb) 4084 [startup+1701.03 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1700.5 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 169248 802 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1700.5 Current children cumulated vsize (Kb) 4084 [startup+1711.04 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371000/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1710.51 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 170246 805 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1710.51 Current children cumulated vsize (Kb) 4084 [startup+1721.04 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371000/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1720.51 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 171240 811 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1720.51 Current children cumulated vsize (Kb) 4084 [startup+1731.05 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371000/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1730.52 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 172236 816 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1730.52 Current children cumulated vsize (Kb) 4084 [startup+1741.06 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371000/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1740.52 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 173231 821 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1740.52 Current children cumulated vsize (Kb) 4084 [startup+1751.06 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371000/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1750.52 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 174228 824 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1750.52 Current children cumulated vsize (Kb) 4084 [startup+1761.07 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1760.52 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 175225 827 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 4084 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1770.53 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 176222 831 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 4084 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1780.53 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 177216 837 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 4084 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1781.53 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 177316 837 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 4084 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 2662 /proc/meminfo: memFree=1371064/2055920 swapFree=4181452/4192956 [pid=2466] ppid=2464 vsize=4084 CPUtime=1782.55 /proc/2466/stat : 2466 (Pueblo) R 2464 2466 2420 0 -1 4194304 663 0 0 0 177417 838 0 0 25 0 1 0 199520924 4182016 634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2466/statm: 1021 634 205 16 0 462 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 4084 Child status: 10 Real time (s): 1783.28 CPU time (s): 1782.73 CPU user time (s): 1774.35 CPU system time (s): 8.38372 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (Kb): 4084
Begin job on node21 on Sat Jun 3 12:42:58 UTC 2006 FILE ID= 36498-1149338578 PBS_JOBID= 310277 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-afiro.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node21/36498-1149338578/instance-36498-1149338578.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-36498-1149338578 -o ROOT/results/node21/solver-36498-1149338578 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node21/36498-1149338578/instance-36498-1149338578.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 448363347 /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.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1372912 kB Buffers: 37088 kB Cached: 572216 kB SwapCached: 3308 kB Active: 137624 kB Inactive: 480448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1372912 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14740 kB Slab: 50964 kB Committed_AS: 335396 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Sat Jun 3 13:12:42 UTC 2006