Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -32343 | 1782.74 | 1783.39 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb |
MD5SUM | 396a97b3a9140f57450f18f44f605394 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -293850 |
Best CPU time to get the best result obtained on this benchmark | 2.54661 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -293850 |
Optimality of the best value was proved | YES |
Number of variables | 1096 |
Total number of constraints | 52 |
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 | 52 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 188062 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524313 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262081 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524520 |
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.04 c starting to Solve 0.04 c #variables read: 1096 - #constraints read: 69 0.05 o 376128 0.17 o 375061 0.19 o 374793 0.19 o 374258 0.20 o 373724 0.20 o 373457 0.21 o 373206 0.21 o 373198 0.22 o 373194 0.22 o 373192 0.23 o 373191 0.24 o 373189 0.26 o 373188 0.27 o 373186 0.27 o 373185 0.28 o 373180 0.28 o 373179 0.29 o 373169 0.29 o 373168 0.29 o 373146 0.30 o 373145 0.30 o 373100 0.31 o 373099 0.31 o 373008 0.32 o 373007 0.32 o 372824 0.33 o 372821 0.34 o 372454 0.35 o 371719 0.36 o 370251 0.38 o 370249 0.44 o 370246 0.44 o 370243 0.44 o 370242 0.44 o 370237 0.44 o 370236 0.45 o 370233 0.45 o 370226 0.45 o 370225 0.45 o 370222 0.45 o 370216 0.45 o 370203 0.45 o 370202 0.45 o 370199 0.45 o 370193 0.45 o 370182 0.45 o 370157 0.45 o 370156 0.46 o 370153 0.46 o 370147 0.46 o 370136 0.46 o 370113 0.46 o 370065 0.47 o 370064 0.48 o 370061 0.49 o 370055 0.50 o 370044 0.51 o 370021 0.52 o 369975 0.53 o 369881 0.54 o 369880 0.55 o 369877 0.56 o 369871 0.57 o 369860 0.58 o 369837 0.59 o 369791 0.59 o 369699 0.60 o 369514 0.61 o 369513 0.61 o 369510 0.62 o 369504 0.63 o 369493 0.64 o 369470 0.65 o 369424 0.65 o 369332 0.66 o 369148 0.67 o 367310 0.68 o 367309 0.68 o 367306 0.69 o 367300 0.70 o 367289 0.71 o 367266 0.72 o 367220 0.72 o 367128 0.73 o 366944 0.74 o 366577 0.75 o 365842 0.76 o 364374 0.80 o 364372 3.78 o 361452 3.84 o 361451 3.84 o 361442 3.87 o 361435 3.95 o 361434 3.95 o 360703 4.61 o 359970 30.01 o 359968 39.34 o 359967 39.34 o 359965 39.35 o 358499 39.35 o 358497 39.89 o 358494 39.91 o 358491 39.91 o 358490 39.91 o 358485 39.91 o 358484 39.91 o 358481 39.91 o 358474 39.91 o 358473 39.91 o 358470 39.91 o 358464 39.91 o 358451 39.92 o 358450 39.92 o 358447 39.92 o 358441 39.92 o 358430 39.92 o 358405 39.92 o 358403 39.92 o 358402 39.92 o 358399 39.93 o 358393 39.93 o 358382 39.93 o 358359 39.93 o 358311 39.94 o 358310 39.95 o 358307 39.95 o 358301 39.96 o 358290 39.97 o 358267 39.98 o 358221 39.98 o 358127 39.99 o 358126 40.00 o 358123 40.00 o 358117 40.01 o 358106 40.02 o 358083 40.02 o 358037 40.03 o 357945 40.04 o 357760 40.04 o 357759 40.05 o 357756 40.06 o 357750 40.06 o 357739 40.07 o 357716 40.08 o 357670 40.09 o 357578 40.09 o 357394 40.10 o 357025 40.11 o 357024 40.11 o 357021 40.18 o 357015 57.83 o 352620 58.35 o 352619 65.61 o 352617 65.62 o 352616 65.62 o 352614 65.62 o 352613 65.62 o 352610 65.62 o 352608 65.62 o 352607 65.62 o 352604 65.62 o 352599 65.62 o 352597 65.63 o 352596 65.63 o 352593 65.63 o 352587 65.63 o 352576 65.63 o 352574 65.63 o 352573 65.63 o 352570 65.63 o 352564 65.63 o 352553 65.63 o 352530 65.63 o 352528 65.63 o 352527 65.64 o 352524 65.64 o 352518 65.64 o 352507 65.64 o 352438 65.64 o 352436 65.64 o 352435 65.64 o 352432 65.64 o 352426 65.64 o 352415 65.64 o 352254 65.64 o 352252 65.64 o 352251 65.64 o 352248 65.65 o 352242 65.65 o 352231 65.65 o 352208 65.65 o 351885 65.65 o 351884 65.65 o 351881 65.65 o 351875 65.65 o 351841 65.65 o 351795 65.65 o 351150 65.66 o 351149 65.66 o 351146 65.66 o 351140 65.66 o 351106 65.66 o 351060 65.66 o 350968 65.66 o 349681 65.76 o 349679 65.84 o 349678 65.84 o 349675 65.84 o 349669 65.88 o 349658 65.88 o 349635 65.89 o 349497 65.91 o 346743 70.69 o 346742 70.69 o 346736 70.70 o 346733 70.71 o 346722 70.99 o 346720 71.00 o 346697 71.01 o 346651 71.02 o 346559 73.99 o 346375 74.00 o 346008 77.01 o 345275 77.19 o 345273 82.74 o 343804 208.07 o 343786 1208.00 o 343785 1783.39 c total time : 1783 s 1783.39 s SATISFIABLE 1783.39 v -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 -x628 x629 -x630 -x631 -x632 x691 -x692 -x693 -x694 1783.39 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1783.39 v -x732 -x733 -x734 -x735 -x736 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x633 -x634 -x635 1783.39 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1783.39 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1783.39 v -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 x687 x688 x689 -x690 -x708 x709 x710 x711 x712 x713 -x714 -x715 -x716 1783.39 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 1783.39 v x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x827 -x828 -x829 -x830 -x831 1783.39 v -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1783.39 v -x853 -x854 -x855 -x856 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 1783.39 v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1783.39 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x255 -x256 -x257 -x258 -x259 -x260 1783.39 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1783.39 v -x282 -x283 -x284 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1783.39 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1783.39 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1783.39 v -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1783.39 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1783.39 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x31 -x32 -x33 1783.39 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 1783.39 v -x60 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 1783.39 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 1783.39 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x285 -x286 1783.39 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1783.39 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1783.39 v -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x465 -x466 -x467 -x468 -x469 1783.39 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1783.39 v -x491 -x492 -x493 -x494 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1783.39 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x887 -x888 -x889 -x890 x891 -x892 x893 x894 1783.39 v -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1783.39 v -x916 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 1783.39 v -x85 -x86 -x87 -x88 -x89 -x90 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1783.39 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1783.39 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1783.39 v -x253 -x254 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1783.39 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 1783.39 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x495 1783.39 v x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 1783.39 v -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1783.39 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x767 -x768 -x769 -x770 1783.39 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1783.39 v -x792 -x793 -x794 -x795 -x796 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1783.39 v x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1783.39 v -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1783.39 v -x825 -x826 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1783.39 v x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1783.39 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 1783.39 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1783.39 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1783.39 v -x1095 -x1096 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 1783.39 v -x965 -x966 x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1783.39 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 1783.39 v -x1063 -x1064 -x1065 -x1066
OK -32343
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/node59/watcher-36467-1149331234 -o ROOT/results/node59/solver-36467-1149331234 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node59/36467-1149331234/instance-36467-1149331234.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1718000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=2328 CPUtime=0 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 198791659 2383872 130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 9255800 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 582 130 111 16 0 11 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1716080/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=4320 CPUtime=9.99 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 701 0 0 0 989 10 0 0 25 0 1 0 198791659 4423680 672 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1080 672 205 16 0 521 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4320 [startup+20.0086 s] /proc/loadavg: 0.94 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715960/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=4448 CPUtime=20 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 741 0 0 0 1986 14 0 0 25 0 1 0 198791659 4554752 712 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1112 712 205 16 0 553 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 4448 [startup+30.0145 s] /proc/loadavg: 0.95 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715704/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=4632 CPUtime=30 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 799 0 0 0 2971 29 0 0 25 0 1 0 198791659 4743168 770 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1158 770 205 16 0 599 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 4632 [startup+40.0205 s] /proc/loadavg: 0.95 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715576/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=4760 CPUtime=39.99 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 824 0 0 0 3956 43 0 0 25 0 1 0 198791659 4874240 795 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1190 795 205 16 0 631 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 4760 [startup+50.0264 s] /proc/loadavg: 0.96 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715640/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=4868 CPUtime=50 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 837 0 0 0 4950 50 0 0 25 0 1 0 198791659 4984832 808 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557299 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1217 808 205 16 0 658 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 4868 [startup+60.0323 s] /proc/loadavg: 0.97 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715448/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=4996 CPUtime=60 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 880 0 0 0 5946 54 0 0 25 0 1 0 198791659 5115904 851 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1249 851 205 16 0 690 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 4996 [startup+70.0383 s] /proc/loadavg: 0.97 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715256/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5116 CPUtime=70.01 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 919 0 0 0 6941 60 0 0 25 0 1 0 198791659 5238784 890 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1279 890 205 16 0 720 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5116 [startup+80.0442 s] /proc/loadavg: 0.98 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715128/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=80 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 959 0 0 0 7937 63 0 0 25 0 1 0 198791659 5480448 930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 930 205 16 0 779 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 5352 [startup+90.0501 s] /proc/loadavg: 0.98 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715128/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=90.01 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 959 0 0 0 8926 75 0 0 25 0 1 0 198791659 5480448 930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 930 205 16 0 779 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 5352 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715128/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=100.02 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 959 0 0 0 9913 89 0 0 25 0 1 0 198791659 5480448 930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 930 205 16 0 779 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 5352 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=110.02 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 10906 96 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 5352 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=120.02 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 11902 100 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 5352 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=130.02 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 12896 106 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 5352 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=140.02 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 13889 113 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 5352 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=150.03 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 14884 119 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 5352 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=160.03 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 15881 122 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 5352 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=170.03 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 16879 124 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 5352 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=180.03 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 17876 127 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 5352 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715064/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=190.04 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 18873 131 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 5352 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=5352 CPUtime=200.04 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 978 0 0 0 19870 134 0 0 25 0 1 0 198791659 5480448 949 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1338 949 205 16 0 779 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 5352 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.96 2/64 5847 /proc/meminfo: memFree=1715000/2055920 swapFree=4180876/4192956 ################ # More data... # ################ /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1590.38 Current children cumulated vsize (Kb) 6440 [startup+1600.98 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1600.38 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 159066 972 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1600.38 Current children cumulated vsize (Kb) 6440 [startup+1610.98 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1610.38 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 160060 978 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1610.38 Current children cumulated vsize (Kb) 6440 [startup+1620.99 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1620.38 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 161052 986 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1620.38 Current children cumulated vsize (Kb) 6440 [startup+1630.99 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1630.39 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 162049 990 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1630.39 Current children cumulated vsize (Kb) 6440 [startup+1641 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1640.39 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 163047 992 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1640.39 Current children cumulated vsize (Kb) 6440 [startup+1651.01 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1650.39 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 164044 995 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1650.39 Current children cumulated vsize (Kb) 6440 [startup+1661.01 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1660.39 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 165040 999 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1660.39 Current children cumulated vsize (Kb) 6440 [startup+1671.02 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1670.39 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 166029 1010 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1670.39 Current children cumulated vsize (Kb) 6440 [startup+1681.02 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1680.4 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 167014 1026 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1680.4 Current children cumulated vsize (Kb) 6440 [startup+1691.03 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713528/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1690.41 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1370 0 0 0 168005 1036 0 0 25 0 1 0 198791659 6594560 1220 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1220 205 16 0 1051 0 Current children cumulated CPU time (s) 1690.41 Current children cumulated vsize (Kb) 6440 [startup+1701.04 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6440 CPUtime=1700.4 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1375 0 0 0 168998 1042 0 0 25 0 1 0 198791659 6594560 1225 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1610 1225 205 16 0 1051 0 Current children cumulated CPU time (s) 1700.4 Current children cumulated vsize (Kb) 6440 [startup+1711.04 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6528 CPUtime=1710.4 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1377 0 0 0 169988 1052 0 0 25 0 1 0 198791659 6684672 1227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557297 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1632 1227 205 16 0 1073 0 Current children cumulated CPU time (s) 1710.4 Current children cumulated vsize (Kb) 6528 [startup+1721.05 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1720.41 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1377 0 0 0 170980 1061 0 0 25 0 1 0 198791659 6664192 1227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1227 205 16 0 1068 0 Current children cumulated CPU time (s) 1720.41 Current children cumulated vsize (Kb) 6508 [startup+1731.05 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1730.41 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1377 0 0 0 171971 1070 0 0 25 0 1 0 198791659 6664192 1227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1227 205 16 0 1068 0 Current children cumulated CPU time (s) 1730.41 Current children cumulated vsize (Kb) 6508 [startup+1741.06 s] /proc/loadavg: 0.99 0.97 0.96 3/64 6042 /proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1740.41 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 172967 1074 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1233 205 16 0 1068 0 Current children cumulated CPU time (s) 1740.41 Current children cumulated vsize (Kb) 6508 [startup+1751.07 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1750.42 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 173962 1080 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1233 205 16 0 1068 0 Current children cumulated CPU time (s) 1750.42 Current children cumulated vsize (Kb) 6508 [startup+1761.07 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713464/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1760.42 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 174957 1085 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528672 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1233 205 16 0 1068 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 6508 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1770.42 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 175956 1086 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1233 205 16 0 1068 0 Current children cumulated CPU time (s) 1770.42 Current children cumulated vsize (Kb) 6508 [startup+1781.08 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1780.42 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 176952 1090 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1233 205 16 0 1068 0 Current children cumulated CPU time (s) 1780.42 Current children cumulated vsize (Kb) 6508 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1781.43 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 177052 1091 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1233 205 16 0 1068 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 6508 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6042 /proc/meminfo: memFree=1713400/2055920 swapFree=4180876/4192956 [pid=5847] ppid=5845 vsize=6508 CPUtime=1782.44 /proc/5847/stat : 5847 (Pueblo) R 5845 5847 5801 0 -1 4194304 1383 0 0 0 177151 1093 0 0 25 0 1 0 198791659 6664192 1233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1627 1233 205 16 0 1068 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 6508 Child status: 10 Real time (s): 1783.39 CPU time (s): 1782.74 CPU user time (s): 1771.8 CPU system time (s): 10.9403 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (Kb): 6528
Begin job on node59 on Sat Jun 3 10:40:34 UTC 2006 FILE ID= 36467-1149331234 PBS_JOBID= 309871 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-kb2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node59/36467-1149331234/instance-36467-1149331234.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-36467-1149331234 -o ROOT/results/node59/solver-36467-1149331234 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node59/36467-1149331234/instance-36467-1149331234.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 396a97b3a9140f57450f18f44f605394 RANDOM SEED= 994710788 /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.272 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.272 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: 1718208 kB Buffers: 16684 kB Cached: 250484 kB SwapCached: 3744 kB Active: 41400 kB Inactive: 234464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1718208 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 220 kB Writeback: 0 kB Mapped: 14732 kB Slab: 47836 kB Committed_AS: 327600 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Sat Jun 3 11:10:18 UTC 2006