Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -18 | 1782.73 | 1783.22 |
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.01 c starting to Solve 0.01 c #variables read: 960 - #constraints read: 36 0.01 o 80065 0.03 o 80064 0.03 o 80063 0.03 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.45 o 80055 44.84 o 80054 65.72 o 80053 93.23 o 80052 207.33 o 80051 455.32 o 80050 605.63 o 80049 854.62 o 80048 1404.37 o 80047 1783.21 c total time : 1783 s 1783.21 s SATISFIABLE 1783.21 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.21 v -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1783.21 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x481 -x482 -x483 -x484 x485 x486 x487 x488 x489 x490 1783.21 v x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x841 1783.21 v -x842 x843 x844 -x845 -x846 -x847 x848 x849 x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 1783.21 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1783.21 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.21 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.21 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.21 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.21 v -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1783.21 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 1783.21 v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1783.21 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1783.21 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1783.21 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1783.21 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 1783.21 v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 1783.21 v -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 1783.21 v -x454 -x455 -x456 x457 x458 x459 -x460 x461 x462 x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 1783.21 v -x476 -x477 -x478 -x479 -x480 -x511 x512 x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 x523 -x524 -x525 -x526 -x527 1783.21 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 1783.21 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 1783.21 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 1783.21 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 1783.21 v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 1783.21 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 1783.21 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 1783.21 v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 1783.21 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 1783.21 v -x717 -x718 -x719 -x720 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 1783.21 v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 1783.21 v -x879 -x880 -x881 -x882 -x883 x884 x885 x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1783.21 v -x900 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1783.21 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1783.21 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 1783.21 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 1783.21 v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 1783.21 v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x721 -x722 -x723 -x724 -x725 1783.21 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1783.21 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 1783.21 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 1783.21 v -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1783.21 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1783.21 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/node18/watcher-37648-1149338585 -o ROOT/results/node18/solver-37648-1149338585 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node18/37648-1149338585/instance-37648-1149338585.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1726448/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=2572 CPUtime=0 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 199521430 2633728 229 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8326871 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 643 229 193 16 0 84 0 [startup+10.0032 s] /proc/loadavg: 0.93 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725304/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3484 CPUtime=9.99 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 509 0 0 0 992 7 0 0 25 0 1 0 199521430 3567616 480 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 871 480 205 16 0 312 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 3484 [startup+20.0091 s] /proc/loadavg: 0.94 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725304/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3484 CPUtime=20 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 521 0 0 0 1985 15 0 0 25 0 1 0 199521430 3567616 492 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 871 492 205 16 0 312 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 3484 [startup+30.0151 s] /proc/loadavg: 0.95 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=30 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 578 0 0 0 2981 19 0 0 25 0 1 0 199521430 3829760 549 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 549 205 16 0 376 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 3740 [startup+40.0211 s] /proc/loadavg: 0.95 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=40 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 580 0 0 0 3979 21 0 0 25 0 1 0 199521430 3829760 551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 551 205 16 0 376 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3740 [startup+50.0271 s] /proc/loadavg: 0.96 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=50.01 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 580 0 0 0 4978 23 0 0 25 0 1 0 199521430 3829760 551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 551 205 16 0 376 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 3740 [startup+60.033 s] /proc/loadavg: 0.97 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=60.01 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 583 0 0 0 5974 27 0 0 25 0 1 0 199521430 3829760 554 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 554 205 16 0 376 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 3740 [startup+70.04 s] /proc/loadavg: 0.97 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=70.01 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 583 0 0 0 6969 32 0 0 25 0 1 0 199521430 3829760 554 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 554 205 16 0 376 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 3740 [startup+80.046 s] /proc/loadavg: 0.98 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=80.01 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 588 0 0 0 7965 36 0 0 25 0 1 0 199521430 3829760 559 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 559 205 16 0 376 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 3740 [startup+90.052 s] /proc/loadavg: 0.98 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=90.02 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 588 0 0 0 8961 41 0 0 25 0 1 0 199521430 3829760 559 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 559 205 16 0 376 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 3740 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=100.03 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 588 0 0 0 9958 45 0 0 25 0 1 0 199521430 3829760 559 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 559 205 16 0 376 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 3740 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1725048/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3740 CPUtime=110.03 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 590 0 0 0 10953 50 0 0 25 0 1 0 199521430 3829760 561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557361 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 935 561 205 16 0 376 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 3740 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=120.04 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 11948 56 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 120.04 Current children cumulated vsize (Kb) 3828 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=130.04 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 12944 60 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 3828 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=140.04 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 13940 64 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 3828 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=150.04 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 14936 68 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558817 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 3828 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=160.04 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 15930 74 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 3828 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=170.04 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 16926 78 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 3828 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=180.05 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 17922 83 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 3828 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=190.05 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 18918 87 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 3828 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=3828 CPUtime=200.06 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 595 0 0 0 19913 93 0 0 25 0 1 0 199521430 3919872 566 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 957 566 205 16 0 398 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 3828 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8689 /proc/meminfo: memFree=1724984/2055920 swapFree=4180888/4192956 ################ # More data... # ################ /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 4080 [startup+1600.94 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1600.49 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 159280 769 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 4080 [startup+1610.95 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1610.5 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 160277 773 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 4080 [startup+1620.95 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1620.5 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 161272 778 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1620.5 Current children cumulated vsize (Kb) 4080 [startup+1630.96 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1630.51 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 162269 782 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1630.51 Current children cumulated vsize (Kb) 4080 [startup+1640.96 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1640.51 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 163265 786 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1640.51 Current children cumulated vsize (Kb) 4080 [startup+1650.97 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1650.51 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 164258 793 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1650.51 Current children cumulated vsize (Kb) 4080 [startup+1660.98 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1660.52 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 165252 800 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1660.52 Current children cumulated vsize (Kb) 4080 [startup+1670.98 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1670.52 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 166246 806 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1670.52 Current children cumulated vsize (Kb) 4080 [startup+1680.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1680.52 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 167242 810 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1680.52 Current children cumulated vsize (Kb) 4080 [startup+1690.99 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1690.53 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 168240 813 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1690.53 Current children cumulated vsize (Kb) 4080 [startup+1701 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1700.53 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 169234 819 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1700.53 Current children cumulated vsize (Kb) 4080 [startup+1711.01 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1710.54 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 170231 823 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528493 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1710.54 Current children cumulated vsize (Kb) 4080 [startup+1721.01 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1720.53 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 171227 826 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1720.53 Current children cumulated vsize (Kb) 4080 [startup+1731.02 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1730.54 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 172224 830 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1730.54 Current children cumulated vsize (Kb) 4080 [startup+1741.03 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1740.55 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 173221 834 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1740.55 Current children cumulated vsize (Kb) 4080 [startup+1751.03 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1750.55 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 174216 839 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1750.55 Current children cumulated vsize (Kb) 4080 [startup+1761.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1760.55 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 175210 845 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 4080 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1770.56 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 176208 848 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 4080 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1780.55 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 177204 851 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1780.55 Current children cumulated vsize (Kb) 4080 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1781.56 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 177304 852 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 4080 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 8884 /proc/meminfo: memFree=1724408/2055920 swapFree=4180888/4192956 [pid=8689] ppid=8687 vsize=4080 CPUtime=1782.56 /proc/8689/stat : 8689 (Pueblo13) R 8687 8689 8643 0 -1 4194304 661 0 0 0 177404 852 0 0 25 0 1 0 199521430 4177920 632 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8689/statm: 1020 632 205 16 0 461 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 4080 Child status: 10 Real time (s): 1783.22 CPU time (s): 1782.73 CPU user time (s): 1774.2 CPU system time (s): 8.5307 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (Kb): 4096
Begin job on node18 on Sat Jun 3 12:43:05 UTC 2006 FILE ID= 37648-1149338585 PBS_JOBID= 310280 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/Pueblo13 ROOT/tmp/node18/37648-1149338585/instance-37648-1149338585.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-37648-1149338585 -o ROOT/results/node18/solver-37648-1149338585 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node18/37648-1149338585/instance-37648-1149338585.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 430660571 /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.216 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 : 5931.00 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.216 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: 1726592 kB Buffers: 26512 kB Cached: 234800 kB SwapCached: 3684 kB Active: 61192 kB Inactive: 208704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1726592 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14680 kB Slab: 45456 kB Committed_AS: 348444 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 node18 on Sat Jun 3 13:12:48 UTC 2006