Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 54f6acf3ab92bda8abb11350f74de20e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -37 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-13 15:11:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3040 boxname=wulflinc31 idbench=338 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 54f6acf3ab92bda8abb11350f74de20e /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-5.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-5.opb IDLAUNCH: 3040 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 862124 kB Buffers: 36952 kB Cached: 113704 kB SwapCached: 1936 kB Active: 117096 kB Inactive: 36764 kB HighTotal: 131008 kB HighFree: 16436 kB LowTotal: 903652 kB LowFree: 845688 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 12964 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-13 15:31:33 (client local time) WITH STATUS 10 IN 1189.11 SECONDS stats: 3040 0 1189.11 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-frb50-23-5.opb c #variables read: 1150 - #constraints read: 80036 s SATISFIABLE v -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.98 0.91 2/55 18304 Raw data (stat): 18304 (runsolver) R 18303 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 736148795 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0013 s] Raw data (loadavg): 0.94 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 2687 0 0 0 990 7 0 0 25 0 1 0 736148795 16900096 2664 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4126 2664 566 18 0 4108 0 vsize: 16504 [startup+20.0021 s] Raw data (loadavg): 0.95 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 2746 0 0 0 1990 7 0 0 25 0 1 0 736148795 17178624 2723 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4194 2723 566 18 0 4176 0 vsize: 16776 [startup+30.0021 s] Raw data (loadavg): 0.95 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 3205 0 0 0 2989 8 0 0 25 0 1 0 736148795 18993152 3182 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4637 3182 566 18 0 4619 0 vsize: 18548 [startup+40.002 s] Raw data (loadavg): 0.96 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 3652 0 0 0 3988 9 0 0 25 0 1 0 736148795 20815872 3629 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5082 3629 566 18 0 5064 0 vsize: 20328 [startup+50.0019 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 4110 0 0 0 4987 11 0 0 25 0 1 0 736148795 22757376 4087 4294967295 134512640 134581331 3221221792 3221220512 134523381 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5556 4087 566 18 0 5538 0 vsize: 22224 [startup+60.0018 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 4486 0 0 0 5986 11 0 0 25 0 1 0 736148795 24268800 4463 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5925 4463 566 18 0 5907 0 vsize: 23700 [startup+70.0028 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 4889 0 0 0 6985 12 0 0 25 0 1 0 736148795 25964544 4866 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6339 4866 566 18 0 6321 0 vsize: 25356 [startup+80.0027 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 5323 0 0 0 7985 13 0 0 25 0 1 0 736148795 27643904 5300 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6749 5300 566 18 0 6731 0 vsize: 26996 [startup+90.0026 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 5703 0 0 0 8984 14 0 0 25 0 1 0 736148795 29171712 5680 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7122 5680 566 18 0 7104 0 vsize: 28488 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 6120 0 0 0 9984 15 0 0 25 0 1 0 736148795 31010816 6097 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7571 6097 566 18 0 7553 0 vsize: 30284 [startup+110.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 6508 0 0 0 10983 15 0 0 25 0 1 0 736148795 32534528 6485 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7943 6485 566 18 0 7925 0 vsize: 31772 [startup+120.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 6942 0 0 0 11982 17 0 0 25 0 1 0 736148795 34349056 6919 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8386 6919 566 18 0 8368 0 vsize: 33544 [startup+130.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 7214 0 0 0 12981 17 0 0 25 0 1 0 736148795 35442688 7191 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8653 7191 566 18 0 8635 0 vsize: 34612 [startup+140.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 7539 0 0 0 13981 18 0 0 25 0 1 0 736148795 36696064 7516 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8959 7516 566 18 0 8941 0 vsize: 35836 [startup+150.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 7816 0 0 0 14981 18 0 0 25 0 1 0 736148795 37851136 7793 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9241 7793 566 18 0 9223 0 vsize: 36964 [startup+160.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 8125 0 0 0 15980 19 0 0 25 0 1 0 736148795 39231488 8102 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9578 8102 566 18 0 9560 0 vsize: 38312 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 8470 0 0 0 16980 20 0 0 25 0 1 0 736148795 40644608 8447 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9923 8447 566 18 0 9905 0 vsize: 39692 [startup+180.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 8747 0 0 0 17978 21 0 0 25 0 1 0 736148795 41754624 8724 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10194 8724 566 18 0 10176 0 vsize: 40776 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 9230 0 0 0 18978 22 0 0 25 0 1 0 736148795 43679744 9207 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10664 9207 566 18 0 10646 0 vsize: 42656 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 9540 0 0 0 19977 22 0 0 25 0 1 0 736148795 44929024 9517 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10969 9517 566 18 0 10951 0 vsize: 43876 [startup+210.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 9970 0 0 0 20976 23 0 0 25 0 1 0 736148795 46768128 9947 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11418 9947 566 18 0 11400 0 vsize: 45672 [startup+220.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 10331 0 0 0 21976 24 0 0 25 0 1 0 736148795 48250880 10308 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11780 10308 566 18 0 11762 0 vsize: 47120 [startup+230.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 10754 0 0 0 22975 25 0 0 25 0 1 0 736148795 49950720 10731 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12195 10731 566 18 0 12177 0 vsize: 48780 [startup+240.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 11025 0 0 0 23975 26 0 0 25 0 1 0 736148795 51015680 11002 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12455 11002 566 18 0 12437 0 vsize: 49820 [startup+250.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 11378 0 0 0 24975 26 0 0 25 0 1 0 736148795 52498432 11355 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12817 11355 566 18 0 12799 0 vsize: 51268 [startup+260.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 11753 0 0 0 25973 27 0 0 25 0 1 0 736148795 53997568 11730 4294967295 134512640 134581331 3221221792 3221220704 134519064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13183 11730 566 18 0 13165 0 vsize: 52732 [startup+270.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 12092 0 0 0 26973 28 0 0 25 0 1 0 736148795 55390208 12069 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13523 12069 566 18 0 13505 0 vsize: 54092 [startup+280.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 12399 0 0 0 27972 29 0 0 25 0 1 0 736148795 56709120 12376 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13845 12376 566 18 0 13827 0 vsize: 55380 [startup+290.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 12809 0 0 0 28971 30 0 0 25 0 1 0 736148795 58392576 12786 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14256 12786 566 18 0 14238 0 vsize: 57024 [startup+300.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 13035 0 0 0 29971 31 0 0 25 0 1 0 736148795 59330560 13012 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14485 13012 566 18 0 14467 0 vsize: 57940 [startup+310.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 13321 0 0 0 30970 32 0 0 25 0 1 0 736148795 60416000 13298 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14750 13298 566 18 0 14732 0 vsize: 59000 [startup+320.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 13618 0 0 0 31969 33 0 0 25 0 1 0 736148795 61689856 13595 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15061 13595 566 18 0 15043 0 vsize: 60244 [startup+330.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 13828 0 0 0 32969 33 0 0 25 0 1 0 736148795 62566400 13805 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15275 13805 566 18 0 15257 0 vsize: 61100 [startup+340.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 14170 0 0 0 33967 35 0 0 25 0 1 0 736148795 63954944 14147 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15614 14147 566 18 0 15596 0 vsize: 62456 [startup+350.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 14607 0 0 0 34967 35 0 0 25 0 1 0 736148795 65748992 14584 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16052 14584 566 18 0 16034 0 vsize: 64208 [startup+360.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 14943 0 0 0 35967 36 0 0 25 0 1 0 736148795 67137536 14920 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16391 14920 566 18 0 16373 0 vsize: 65564 [startup+370.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 15371 0 0 0 36966 37 0 0 25 0 1 0 736148795 68943872 15348 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16832 15348 566 18 0 16814 0 vsize: 67328 [startup+380.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 15691 0 0 0 37965 38 0 0 25 0 1 0 736148795 70152192 15668 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17127 15668 566 18 0 17109 0 vsize: 68508 [startup+390.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 16155 0 0 0 38964 39 0 0 25 0 1 0 736148795 72114176 16132 4294967295 134512640 134581331 3221221792 3221220704 134519032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17606 16132 566 18 0 17588 0 vsize: 70424 [startup+400.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 16593 0 0 0 39964 40 0 0 25 0 1 0 736148795 73965568 16570 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18058 16570 566 18 0 18040 0 vsize: 72232 [startup+410.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 17075 0 0 0 40963 41 0 0 25 0 1 0 736148795 75857920 17052 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18520 17052 566 18 0 18502 0 vsize: 74080 [startup+420.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 17462 0 0 0 41961 43 0 0 25 0 1 0 736148795 77463552 17439 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18912 17439 566 18 0 18894 0 vsize: 75648 [startup+430.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 17952 0 0 0 42959 44 0 0 25 0 1 0 736148795 79540224 17929 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19419 17929 566 18 0 19401 0 vsize: 77676 [startup+440.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 18443 0 0 0 43958 46 0 0 25 0 1 0 736148795 81555456 18420 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19911 18420 566 18 0 19893 0 vsize: 79644 [startup+450.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 18854 0 0 0 44957 47 0 0 25 0 1 0 736148795 83259392 18831 4294967295 134512640 134581331 3221221792 3221220736 134558939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20327 18831 566 18 0 20309 0 vsize: 81308 [startup+460.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 19236 0 0 0 45957 48 0 0 25 0 1 0 736148795 84774912 19213 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20697 19213 566 18 0 20679 0 vsize: 82788 [startup+470.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 19798 0 0 0 46955 49 0 0 25 0 1 0 736148795 87134208 19775 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21273 19775 566 18 0 21255 0 vsize: 85092 [startup+480.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 20314 0 0 0 47955 50 0 0 25 0 1 0 736148795 89223168 20291 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21783 20291 566 18 0 21765 0 vsize: 87132 [startup+490.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 20714 0 0 0 48954 51 0 0 25 0 1 0 736148795 90808320 20691 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22170 20691 566 18 0 22152 0 vsize: 88680 [startup+500.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 21137 0 0 0 49954 51 0 0 25 0 1 0 736148795 92516352 21114 4294967295 134512640 134581331 3221221792 3221220704 134519023 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22587 21114 566 18 0 22569 0 vsize: 90348 [startup+510.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 21590 0 0 0 50953 52 0 0 25 0 1 0 736148795 94425088 21567 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23053 21567 566 18 0 23035 0 vsize: 92212 [startup+520.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 22035 0 0 0 51953 53 0 0 25 0 1 0 736148795 96202752 22012 4294967295 134512640 134581331 3221221792 3221220576 134528844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23487 22014 566 18 0 23469 0 vsize: 93948 [startup+530.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 22428 0 0 0 52952 54 0 0 25 0 1 0 736148795 97828864 22405 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23884 22405 566 18 0 23866 0 vsize: 95536 [startup+540.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 22860 0 0 0 53951 55 0 0 25 0 1 0 736148795 99577856 22837 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24311 22837 566 18 0 24293 0 vsize: 97244 [startup+550.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 23285 0 0 0 54950 56 0 0 25 0 1 0 736148795 101314560 23262 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24735 23262 566 18 0 24717 0 vsize: 98940 [startup+560.011 s] Raw data (loadavg): 1.15 1.02 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 23673 0 0 0 55950 56 0 0 25 0 1 0 736148795 102965248 23650 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25138 23650 566 18 0 25120 0 vsize: 100552 [startup+570.011 s] Raw data (loadavg): 1.12 1.02 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 24096 0 0 0 56950 57 0 0 25 0 1 0 736148795 104718336 24073 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25566 24073 566 18 0 25548 0 vsize: 102264 [startup+580.01 s] Raw data (loadavg): 1.10 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 24518 0 0 0 57949 58 0 0 25 0 1 0 736148795 106471424 24495 4294967295 134512640 134581331 3221221792 3221220428 1075289104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25994 24495 566 18 0 25976 0 vsize: 103976 [startup+590.012 s] Raw data (loadavg): 1.09 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 24927 0 0 0 58948 59 0 0 25 0 1 0 736148795 108101632 24904 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26392 24904 566 18 0 26374 0 vsize: 105568 [startup+600.012 s] Raw data (loadavg): 1.07 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 25351 0 0 0 59947 59 0 0 25 0 1 0 736148795 109867008 25328 4294967295 134512640 134581331 3221221792 3221220676 134557913 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26823 25328 566 18 0 26805 0 vsize: 107292 [startup+610.011 s] Raw data (loadavg): 1.06 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 25728 0 0 0 60946 61 0 0 25 0 1 0 736148795 111370240 25705 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27190 25705 566 18 0 27172 0 vsize: 108760 [startup+620.011 s] Raw data (loadavg): 1.05 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 26127 0 0 0 61945 62 0 0 25 0 1 0 736148795 113094656 26104 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27611 26104 566 18 0 27593 0 vsize: 110444 [startup+630.011 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 26468 0 0 0 62945 62 0 0 25 0 1 0 736148795 114511872 26445 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27957 26445 566 18 0 27939 0 vsize: 111828 [startup+640.012 s] Raw data (loadavg): 1.04 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 26821 0 0 0 63944 63 0 0 25 0 1 0 736148795 116011008 26798 4294967295 134512640 134581331 3221221792 3221220704 134519064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28323 26798 566 18 0 28305 0 vsize: 113292 [startup+650.012 s] Raw data (loadavg): 1.03 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 26919 0 0 0 64944 63 0 0 25 0 1 0 736148795 116412416 26896 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28421 26896 566 18 0 28403 0 vsize: 113684 [startup+660.012 s] Raw data (loadavg): 1.03 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 27202 0 0 0 65943 64 0 0 25 0 1 0 736148795 117510144 27179 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28689 27179 566 18 0 28671 0 vsize: 114756 [startup+670.013 s] Raw data (loadavg): 1.02 1.01 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 27760 0 0 0 66942 66 0 0 25 0 1 0 736148795 119951360 27737 4294967295 134512640 134581331 3221221792 3221220576 134528880 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29285 27737 566 18 0 29267 0 vsize: 117140 [startup+680.013 s] Raw data (loadavg): 1.02 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 28271 0 0 0 67941 67 0 0 25 0 1 0 736148795 122007552 28248 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29787 28248 566 18 0 29769 0 vsize: 119148 [startup+690.013 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 28501 0 0 0 68941 67 0 0 25 0 1 0 736148795 122945536 28478 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30016 28478 566 18 0 29998 0 vsize: 120064 [startup+700.014 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 28849 0 0 0 69941 67 0 0 25 0 1 0 736148795 124342272 28826 4294967295 134512640 134581331 3221221792 3221220512 134524438 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30357 28826 566 18 0 30339 0 vsize: 121428 [startup+710.014 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 29192 0 0 0 70941 68 0 0 25 0 1 0 736148795 125702144 29169 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30689 29169 566 18 0 30671 0 vsize: 122756 [startup+720.015 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 29462 0 0 0 71940 68 0 0 25 0 1 0 736148795 126795776 29439 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30956 29439 566 18 0 30938 0 vsize: 123824 [startup+730.015 s] Raw data (loadavg): 1.01 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 29827 0 0 0 72940 69 0 0 25 0 1 0 736148795 128319488 29804 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31328 29804 566 18 0 31310 0 vsize: 125312 [startup+740.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 30250 0 0 0 73939 70 0 0 25 0 1 0 736148795 130064384 30227 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31754 30227 566 18 0 31736 0 vsize: 127016 [startup+750.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 30528 0 0 0 74938 71 0 0 25 0 1 0 736148795 131186688 30505 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32028 30505 566 18 0 32010 0 vsize: 128112 [startup+760.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 30821 0 0 0 75938 72 0 0 25 0 1 0 736148795 132399104 30798 4294967295 134512640 134581331 3221221792 3221220576 134528743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32324 30798 566 18 0 32306 0 vsize: 129296 [startup+770.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 31142 0 0 0 76937 72 0 0 25 0 1 0 736148795 133754880 31119 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32655 31119 566 18 0 32637 0 vsize: 130620 [startup+780.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 31459 0 0 0 77937 73 0 0 25 0 1 0 736148795 134967296 31436 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32951 31436 566 18 0 32933 0 vsize: 131804 [startup+790.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 31799 0 0 0 78936 74 0 0 25 0 1 0 736148795 136351744 31776 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33289 31776 566 18 0 33271 0 vsize: 133156 [startup+800.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 32146 0 0 0 79936 74 0 0 25 0 1 0 736148795 137871360 32123 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33660 32123 566 18 0 33642 0 vsize: 134640 [startup+810.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 32463 0 0 0 80936 75 0 0 25 0 1 0 736148795 139100160 32440 4294967295 134512640 134581331 3221221792 3221220676 134557951 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33960 32440 566 18 0 33942 0 vsize: 135840 [startup+820.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 32780 0 0 0 81935 75 0 0 25 0 1 0 736148795 140476416 32757 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34296 32757 566 18 0 34278 0 vsize: 137184 [startup+830.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 33064 0 0 0 82935 76 0 0 25 0 1 0 736148795 141574144 33041 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34564 33041 566 18 0 34546 0 vsize: 138256 [startup+840.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 33277 0 0 0 83935 76 0 0 25 0 1 0 736148795 142499840 33254 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34790 33254 566 18 0 34772 0 vsize: 139160 [startup+850.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 33642 0 0 0 84934 78 0 0 25 0 1 0 736148795 144048128 33619 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35168 33619 566 18 0 35150 0 vsize: 140672 [startup+860.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 33832 0 0 0 85933 79 0 0 25 0 1 0 736148795 144707584 33809 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35329 33809 566 18 0 35311 0 vsize: 141316 [startup+870.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 34208 0 0 0 86932 79 0 0 25 0 1 0 736148795 146300928 34185 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35718 34185 566 18 0 35700 0 vsize: 142872 [startup+880.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 34643 0 0 0 87931 81 0 0 25 0 1 0 736148795 148140032 34620 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36167 34620 566 18 0 36149 0 vsize: 144668 [startup+890.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 34970 0 0 0 88930 82 0 0 25 0 1 0 736148795 149487616 34947 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36496 34947 566 18 0 36478 0 vsize: 145984 [startup+900.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 35257 0 0 0 89930 82 0 0 25 0 1 0 736148795 150577152 35234 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36762 35234 566 18 0 36744 0 vsize: 147048 [startup+910.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 35611 0 0 0 90929 83 0 0 25 0 1 0 736148795 152109056 35588 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37136 35588 566 18 0 37118 0 vsize: 148544 [startup+920.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 35847 0 0 0 91928 84 0 0 25 0 1 0 736148795 153038848 35824 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37363 35824 566 18 0 37345 0 vsize: 149452 [startup+930.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 35859 0 0 0 92928 84 0 0 25 0 1 0 736148795 153038848 35836 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37363 35836 566 18 0 37345 0 vsize: 149452 [startup+940.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 36186 0 0 0 93928 85 0 0 25 0 1 0 736148795 154398720 36163 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37695 36163 566 18 0 37677 0 vsize: 150780 [startup+950.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 36432 0 0 0 94927 86 0 0 25 0 1 0 736148795 155467776 36409 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37956 36409 566 18 0 37938 0 vsize: 151824 [startup+960.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 36804 0 0 0 95927 86 0 0 25 0 1 0 736148795 156983296 36781 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38326 36781 566 18 0 38308 0 vsize: 153304 [startup+970.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 37186 0 0 0 96926 87 0 0 25 0 1 0 736148795 158466048 37163 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38688 37163 566 18 0 38670 0 vsize: 154752 [startup+980.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 37402 0 0 0 97926 87 0 0 25 0 1 0 736148795 159494144 37379 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38939 37379 566 18 0 38921 0 vsize: 155756 [startup+990.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 37724 0 0 0 98926 88 0 0 25 0 1 0 736148795 160763904 37701 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39249 37701 566 18 0 39231 0 vsize: 156996 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 37963 0 0 0 99926 88 0 0 25 0 1 0 736148795 161804288 37940 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39503 37940 566 18 0 39485 0 vsize: 158012 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 38292 0 0 0 100925 89 0 0 25 0 1 0 736148795 163086336 38269 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39816 38269 566 18 0 39798 0 vsize: 159264 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 38725 0 0 0 101925 90 0 0 25 0 1 0 736148795 164917248 38702 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40263 38702 566 18 0 40245 0 vsize: 161052 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 38943 0 0 0 102924 90 0 0 25 0 1 0 736148795 165814272 38920 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40482 38920 566 18 0 40464 0 vsize: 161928 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 39272 0 0 0 103923 91 0 0 25 0 1 0 736148795 167133184 39249 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40804 39249 566 18 0 40786 0 vsize: 163216 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 39686 0 0 0 104923 92 0 0 25 0 1 0 736148795 168779776 39663 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41206 39663 566 18 0 41188 0 vsize: 164824 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 39896 0 0 0 105923 92 0 0 25 0 1 0 736148795 169725952 39873 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41437 39873 566 18 0 41419 0 vsize: 165748 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 40263 0 0 0 106923 92 0 0 25 0 1 0 736148795 171225088 40240 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41803 40240 566 18 0 41785 0 vsize: 167212 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 40687 0 0 0 107922 94 0 0 25 0 1 0 736148795 172916736 40664 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42216 40664 566 18 0 42198 0 vsize: 168864 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 40866 0 0 0 108921 94 0 0 25 0 1 0 736148795 173699072 40843 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42407 40843 566 18 0 42389 0 vsize: 169628 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 40895 0 0 0 109921 94 0 0 25 0 1 0 736148795 173821952 40872 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42437 40872 566 18 0 42419 0 vsize: 169748 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 41209 0 0 0 110921 95 0 0 25 0 1 0 736148795 175030272 41186 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42732 41186 566 18 0 42714 0 vsize: 170928 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 41521 0 0 0 111920 96 0 0 25 0 1 0 736148795 176340992 41498 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43052 41498 566 18 0 43034 0 vsize: 172208 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 41849 0 0 0 112919 97 0 0 25 0 1 0 736148795 177729536 41826 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43391 41826 566 18 0 43373 0 vsize: 173564 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 42214 0 0 0 113918 98 0 0 25 0 1 0 736148795 179224576 42191 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43756 42191 566 18 0 43738 0 vsize: 175024 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 42653 0 0 0 114918 99 0 0 25 0 1 0 736148795 181116928 42630 4294967295 134512640 134581331 3221221792 3221220720 134519835 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44218 42630 566 18 0 44200 0 vsize: 176872 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 42855 0 0 0 115917 99 0 0 25 0 1 0 736148795 181927936 42832 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44416 42832 566 18 0 44398 0 vsize: 177664 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 43140 0 0 0 116916 100 0 0 25 0 1 0 736148795 183144448 43117 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44713 43118 566 18 0 44695 0 vsize: 178852 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 43456 0 0 0 117916 101 0 0 25 0 1 0 736148795 184389632 43433 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45017 43433 566 18 0 44999 0 vsize: 180068 [startup+1188.95 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 18304 Raw data (stat): 18304 (Pueblo) R 18303 7876 7672 0 -1 0 43456 0 0 0 117916 101 0 0 25 0 1 0 736148795 184389632 43433 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45017 43433 566 18 0 44999 0 vsize: 0 Child status: 10 Real time (s): 1188.95 CPU time (s): 1189.11 CPU user time (s): 1188.01 CPU system time (s): 1.09783 CPU usage (%): 100.013 Max. virtual memory (Kb): 180068 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -7 #### END VERIFIER DATA ####