Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -32343 | 1782.73 | 1783.43 |
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.03 c starting to Solve 0.03 c #variables read: 1096 - #constraints read: 69 0.04 o 376128 0.16 o 375061 0.17 o 374793 0.18 o 374258 0.18 o 373724 0.19 o 373457 0.19 o 373206 0.20 o 373198 0.20 o 373194 0.21 o 373192 0.21 o 373191 0.22 o 373189 0.24 o 373188 0.25 o 373186 0.26 o 373185 0.26 o 373180 0.26 o 373179 0.27 o 373169 0.27 o 373168 0.28 o 373146 0.28 o 373145 0.29 o 373100 0.29 o 373099 0.29 o 373008 0.30 o 373007 0.30 o 372824 0.31 o 372821 0.32 o 372454 0.33 o 371719 0.34 o 370251 0.36 o 370249 0.41 o 370246 0.42 o 370243 0.42 o 370242 0.42 o 370237 0.42 o 370236 0.42 o 370233 0.42 o 370226 0.42 o 370225 0.42 o 370222 0.42 o 370216 0.42 o 370203 0.42 o 370202 0.42 o 370199 0.43 o 370193 0.43 o 370182 0.43 o 370157 0.43 o 370156 0.43 o 370153 0.43 o 370147 0.43 o 370136 0.43 o 370113 0.43 o 370065 0.44 o 370064 0.45 o 370061 0.46 o 370055 0.47 o 370044 0.48 o 370021 0.49 o 369975 0.50 o 369881 0.51 o 369880 0.51 o 369877 0.52 o 369871 0.54 o 369860 0.54 o 369837 0.55 o 369791 0.56 o 369699 0.57 o 369514 0.58 o 369513 0.58 o 369510 0.59 o 369504 0.59 o 369493 0.60 o 369470 0.61 o 369424 0.62 o 369332 0.63 o 369148 0.63 o 367310 0.64 o 367309 0.65 o 367306 0.65 o 367300 0.66 o 367289 0.67 o 367266 0.68 o 367220 0.69 o 367128 0.69 o 366944 0.70 o 366577 0.71 o 365842 0.72 o 364374 0.76 o 364372 3.55 o 361452 3.61 o 361451 3.61 o 361442 3.64 o 361435 3.72 o 361434 3.72 o 360703 4.32 o 359970 27.95 o 359968 36.48 o 359967 36.49 o 359965 36.49 o 358499 36.49 o 358497 36.99 o 358494 37.01 o 358491 37.01 o 358490 37.01 o 358485 37.01 o 358484 37.01 o 358481 37.01 o 358474 37.01 o 358473 37.01 o 358470 37.01 o 358464 37.01 o 358451 37.01 o 358450 37.01 o 358447 37.01 o 358441 37.01 o 358430 37.01 o 358405 37.01 o 358403 37.02 o 358402 37.02 o 358399 37.02 o 358393 37.02 o 358382 37.03 o 358359 37.03 o 358311 37.04 o 358310 37.04 o 358307 37.05 o 358301 37.05 o 358290 37.06 o 358267 37.07 o 358221 37.07 o 358127 37.08 o 358126 37.09 o 358123 37.09 o 358117 37.10 o 358106 37.11 o 358083 37.11 o 358037 37.12 o 357945 37.13 o 357760 37.13 o 357759 37.14 o 357756 37.14 o 357750 37.15 o 357739 37.16 o 357716 37.16 o 357670 37.17 o 357578 37.18 o 357394 37.19 o 357025 37.19 o 357024 37.20 o 357021 37.26 o 357015 53.49 o 352620 53.97 o 352619 60.66 o 352617 60.66 o 352616 60.66 o 352614 60.66 o 352613 60.66 o 352610 60.66 o 352608 60.66 o 352607 60.67 o 352604 60.67 o 352599 60.67 o 352597 60.67 o 352596 60.67 o 352593 60.67 o 352587 60.67 o 352576 60.67 o 352574 60.67 o 352573 60.67 o 352570 60.67 o 352564 60.67 o 352553 60.68 o 352530 60.68 o 352528 60.68 o 352527 60.68 o 352524 60.68 o 352518 60.68 o 352507 60.68 o 352438 60.68 o 352436 60.68 o 352435 60.68 o 352432 60.68 o 352426 60.68 o 352415 60.68 o 352254 60.69 o 352252 60.69 o 352251 60.69 o 352248 60.69 o 352242 60.69 o 352231 60.69 o 352208 60.69 o 351885 60.69 o 351884 60.69 o 351881 60.69 o 351875 60.69 o 351841 60.69 o 351795 60.70 o 351150 60.70 o 351149 60.70 o 351146 60.70 o 351140 60.70 o 351106 60.70 o 351060 60.70 o 350968 60.70 o 349681 60.80 o 349679 60.87 o 349678 60.87 o 349675 60.87 o 349669 60.91 o 349658 60.91 o 349635 60.92 o 349497 60.94 o 346743 65.37 o 346742 65.37 o 346736 65.38 o 346733 65.39 o 346722 65.65 o 346720 65.65 o 346697 65.66 o 346651 65.67 o 346559 68.40 o 346375 68.41 o 346008 71.16 o 345275 71.33 o 345273 76.42 o 343804 192.07 o 343786 1117.88 o 343785 1783.42 c total time : 1783 s 1783.42 s SATISFIABLE 1783.42 v -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 -x628 x629 -x630 -x631 -x632 x691 -x692 -x693 -x694 1783.42 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1783.42 v -x732 -x733 -x734 -x735 -x736 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x633 -x634 -x635 1783.42 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1783.42 v -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1783.42 v -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 x687 x688 x689 -x690 -x708 x709 x710 x711 x712 x713 -x714 -x715 -x716 1783.42 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 1783.42 v x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x827 -x828 -x829 -x830 -x831 1783.42 v -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1783.42 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.42 v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1783.42 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x255 -x256 -x257 -x258 -x259 -x260 1783.42 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 1783.42 v -x282 -x283 -x284 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1783.42 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 1783.42 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 1783.42 v -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1783.42 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1783.42 v -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x31 -x32 -x33 1783.42 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.42 v -x60 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 1783.42 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 1783.42 v -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x285 -x286 1783.42 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1783.42 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 1783.42 v -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x465 -x466 -x467 -x468 -x469 1783.42 v -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1783.42 v -x491 -x492 -x493 -x494 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1783.42 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x887 -x888 -x889 -x890 x891 -x892 x893 x894 1783.42 v -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1783.42 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.42 v -x85 -x86 -x87 -x88 -x89 -x90 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1783.42 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1783.42 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1783.42 v -x253 -x254 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 1783.42 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 1783.42 v -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x495 1783.42 v x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 1783.42 v -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1783.42 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x767 -x768 -x769 -x770 1783.42 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1783.42 v -x792 -x793 -x794 -x795 -x796 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1783.42 v x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1783.42 v -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1783.42 v -x825 -x826 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1783.42 v x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1783.42 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 1783.42 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1783.42 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1783.42 v -x1095 -x1096 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 1783.42 v -x965 -x966 x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1783.42 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 1783.42 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/node88/watcher-37617-1149331142 -o ROOT/results/node88/solver-37617-1149331142 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node88/37617-1149331142/instance-37617-1149331142.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1684720/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=172 CPUtime=0 /proc/3597/stat : 3597 (Pueblo13) D 3595 3597 3551 0 -1 4194304 37 0 0 0 0 0 0 0 20 0 1 0 198753297 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 9540532 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0 /proc/3597/statm: 43 23 18 16 0 2 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1683056/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=4320 CPUtime=9.98 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 699 0 0 0 989 9 0 0 25 0 1 0 198753297 4423680 671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1080 671 205 16 0 520 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 4320 [startup+20.0086 s] /proc/loadavg: 0.94 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1682864/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=4448 CPUtime=19.99 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 751 0 0 0 1985 14 0 0 25 0 1 0 198753297 4554752 723 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559226 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1112 723 205 16 0 552 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4448 [startup+30.0146 s] /proc/loadavg: 0.95 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1682608/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=4756 CPUtime=29.99 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 804 0 0 0 2972 27 0 0 25 0 1 0 198753297 4870144 776 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1189 776 205 16 0 629 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 4756 [startup+40.0206 s] /proc/loadavg: 0.95 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1682480/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=4756 CPUtime=40 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 831 0 0 0 3962 38 0 0 25 0 1 0 198753297 4870144 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1189 803 205 16 0 629 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 4756 [startup+50.0266 s] /proc/loadavg: 0.96 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1682480/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=4872 CPUtime=49.99 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 836 0 0 0 4954 45 0 0 25 0 1 0 198753297 4988928 808 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1218 808 205 16 0 658 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 4872 [startup+60.0326 s] /proc/loadavg: 0.97 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1682160/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5124 CPUtime=60 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 906 0 0 0 5950 50 0 0 25 0 1 0 198753297 5246976 878 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1281 878 205 16 0 721 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 5124 [startup+70.0387 s] /proc/loadavg: 0.97 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681968/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5252 CPUtime=70.01 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 954 0 0 0 6946 55 0 0 25 0 1 0 198753297 5378048 926 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1313 926 205 16 0 753 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 5252 [startup+80.0447 s] /proc/loadavg: 0.98 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681968/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5252 CPUtime=80 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 955 0 0 0 7939 61 0 0 25 0 1 0 198753297 5378048 927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1313 927 205 16 0 753 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 5252 [startup+90.0507 s] /proc/loadavg: 0.98 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681968/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5252 CPUtime=90 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 955 0 0 0 8924 76 0 0 25 0 1 0 198753297 5378048 927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1313 927 205 16 0 753 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 5252 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=100.01 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 9915 86 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 5364 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=110.01 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 10910 91 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 5364 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=120.02 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 11905 97 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 5364 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=130.02 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 12900 102 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 5364 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=140.02 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 13895 107 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 5364 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681904/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=150.03 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 14893 110 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 5364 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=160.03 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 15891 112 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 5364 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=170.02 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 16888 114 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 5364 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=180.03 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 17886 117 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 5364 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5364 CPUtime=190.04 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 978 0 0 0 18884 120 0 0 25 0 1 0 198753297 5492736 950 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1341 950 205 16 0 781 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 5364 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681840/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=5368 CPUtime=200.03 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 990 0 0 0 19877 126 0 0 25 0 1 0 198753297 5496832 956 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528670 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1342 956 205 16 0 782 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 5368 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.99 2/68 3597 /proc/meminfo: memFree=1681776/2055888 swapFree=4085336/4096564 ################ # More data... # ################ /proc/3597/statm: 1613 1226 205 16 0 1053 0 Current children cumulated CPU time (s) 1590.33 Current children cumulated vsize (Kb) 6452 [startup+1600.97 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6452 CPUtime=1600.33 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1288 0 0 0 159068 965 0 0 25 0 1 0 198753297 6606848 1226 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1613 1226 205 16 0 1053 0 Current children cumulated CPU time (s) 1600.33 Current children cumulated vsize (Kb) 6452 [startup+1610.98 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6532 CPUtime=1610.34 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 160064 970 0 0 25 0 1 0 198753297 6688768 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1633 1232 205 16 0 1073 0 Current children cumulated CPU time (s) 1610.34 Current children cumulated vsize (Kb) 6532 [startup+1620.99 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1620.34 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 161058 976 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528562 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1620.34 Current children cumulated vsize (Kb) 6512 [startup+1630.99 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1630.34 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 162053 981 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528057 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1630.34 Current children cumulated vsize (Kb) 6512 [startup+1641 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1640.35 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 163053 982 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1640.35 Current children cumulated vsize (Kb) 6512 [startup+1651 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1650.35 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 164048 987 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1650.35 Current children cumulated vsize (Kb) 6512 [startup+1661.01 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1660.36 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 165038 998 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1660.36 Current children cumulated vsize (Kb) 6512 [startup+1671.02 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1670.36 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 166034 1002 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1670.36 Current children cumulated vsize (Kb) 6512 [startup+1681.02 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1680.36 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 167021 1015 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1680.36 Current children cumulated vsize (Kb) 6512 [startup+1691.03 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1690.36 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 168010 1026 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1690.36 Current children cumulated vsize (Kb) 6512 [startup+1701.03 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1700.36 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 169001 1035 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1700.36 Current children cumulated vsize (Kb) 6512 [startup+1711.04 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1710.37 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 169996 1041 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517501 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1710.37 Current children cumulated vsize (Kb) 6512 [startup+1721.05 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1720.37 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 170989 1048 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1720.37 Current children cumulated vsize (Kb) 6512 [startup+1731.05 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1730.37 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 171982 1055 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1730.37 Current children cumulated vsize (Kb) 6512 [startup+1741.06 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1740.37 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 172974 1063 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1740.37 Current children cumulated vsize (Kb) 6512 [startup+1751.06 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1679984/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1750.37 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 173966 1071 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1750.37 Current children cumulated vsize (Kb) 6512 [startup+1761.07 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1679984/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1760.38 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 174961 1077 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 6512 [startup+1771.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680048/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1770.38 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 175955 1083 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1770.38 Current children cumulated vsize (Kb) 6512 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1780.39 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 176950 1089 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1780.39 Current children cumulated vsize (Kb) 6512 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1781.39 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 177049 1090 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 6512 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 3794 /proc/meminfo: memFree=1680112/2055888 swapFree=4085336/4096564 [pid=3597] ppid=3595 vsize=6512 CPUtime=1782.39 /proc/3597/stat : 3597 (Pueblo13) R 3595 3597 3551 0 -1 4194304 1294 0 0 0 177149 1090 0 0 25 0 1 0 198753297 6668288 1232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3597/statm: 1628 1232 205 16 0 1068 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 6512 Child status: 10 Real time (s): 1783.43 CPU time (s): 1782.73 CPU user time (s): 1771.82 CPU system time (s): 10.9093 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (Kb): 6532
Begin job on node88 on Sat Jun 3 10:39:02 UTC 2006 FILE ID= 37617-1149331142 PBS_JOBID= 309867 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/Pueblo13 ROOT/tmp/node88/37617-1149331142/instance-37617-1149331142.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node88/watcher-37617-1149331142 -o ROOT/results/node88/solver-37617-1149331142 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node88/37617-1149331142/instance-37617-1149331142.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 396a97b3a9140f57450f18f44f605394 RANDOM SEED= 713357570 /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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 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.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1685120 kB Buffers: 14732 kB Cached: 288560 kB SwapCached: 2300 kB Active: 28732 kB Inactive: 283144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1685120 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16796 kB Slab: 45440 kB Committed_AS: 326968 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node88 on Sat Jun 3 11:08:45 UTC 2006