Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUMfe7ff8b16c276b409b25a87eed31b6f9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
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 numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables1150
Total number of constraints80851
Number of constraints which are clauses80851
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 7888

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-20 14:56:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5050 boxname=wulflinc7 idbench=362 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fe7ff8b16c276b409b25a87eed31b6f9  /oldhome/oroussel/tmp/wulflinc7/normalized-frb50-23-2.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5050
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        856612 kB
Buffers:         31480 kB
Cached:         121456 kB
SwapCached:        744 kB
Active:          74560 kB
Inactive:        81000 kB
HighTotal:      131008 kB
HighFree:         8400 kB
LowTotal:       903652 kB
LowFree:        848212 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            16840 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:16:12 (client local time) WITH STATUS 10 IN 1189.23 SECONDS
stats: 5050 0 1189.23 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 1150 - #constraints read: 80852
c total time              : 1189.15 s
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 

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801222493 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 41 3 40 18 0 23 0
[pid=15090] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0032 s]
Raw data (loadavg): 0.93 0.95 0.90 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 3047 0 0 0 979 10 0 0 25 0 1 0 1801222493 14249984 3013 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 3479 3013 566 18 0 3461 0
[pid=15090] vsize: 13916
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 13916

[startup+20.0038 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 3047 0 0 0 1974 11 0 0 25 0 1 0 1801222493 14249984 3013 4294967295 134512640 134578447 3221224624 3221223572 134526354 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 3479 3013 566 18 0 3461 0
[pid=15090] vsize: 13916
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 13916

[startup+30.0045 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 3047 0 0 0 2968 14 0 0 25 0 1 0 1801222493 14249984 3013 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 3479 3013 566 18 0 3461 0
[pid=15090] vsize: 13916
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 13916

[startup+40.0041 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 3374 0 0 0 3961 16 0 0 25 0 1 0 1801222493 15630336 3340 4294967295 134512640 134578447 3221224624 3221223488 134517551 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 3816 3340 566 18 0 3798 0
[pid=15090] vsize: 15264
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 15264

[startup+50.0047 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 4039 0 0 0 4953 19 0 0 25 0 1 0 1801222493 18358272 4005 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 4482 4005 566 18 0 4464 0
[pid=15090] vsize: 17928
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (Kb) 17928

[startup+60.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 4455 0 0 0 5950 22 0 0 25 0 1 0 1801222493 20099072 4421 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 4907 4421 566 18 0 4889 0
[pid=15090] vsize: 19628
Current children cumulated CPU time (s) 59.72
Current children cumulated vsize (Kb) 19628

[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 4910 0 0 0 6947 23 0 0 25 0 1 0 1801222493 21938176 4876 4294967295 134512640 134578447 3221224624 3221223296 134523446 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 5356 4876 566 18 0 5338 0
[pid=15090] vsize: 21424
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (Kb) 21424

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 5348 0 0 0 7940 25 0 0 25 0 1 0 1801222493 23707648 5314 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 5788 5314 566 18 0 5770 0
[pid=15090] vsize: 23152
Current children cumulated CPU time (s) 79.65
Current children cumulated vsize (Kb) 23152

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 5731 0 0 0 8937 26 0 0 25 0 1 0 1801222493 25239552 5697 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 6162 5697 566 18 0 6144 0
[pid=15090] vsize: 24648
Current children cumulated CPU time (s) 89.63
Current children cumulated vsize (Kb) 24648

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 6145 0 0 0 9934 28 0 0 25 0 1 0 1801222493 26984448 6111 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 6588 6111 566 18 0 6570 0
[pid=15090] vsize: 26352
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (Kb) 26352

[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 6583 0 0 0 10930 31 0 0 25 0 1 0 1801222493 28819456 6549 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 7036 6549 566 18 0 7018 0
[pid=15090] vsize: 28144
Current children cumulated CPU time (s) 109.61
Current children cumulated vsize (Kb) 28144

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 7093 0 0 0 11923 34 0 0 25 0 1 0 1801222493 30892032 7059 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 7542 7059 566 18 0 7524 0
[pid=15090] vsize: 30168
Current children cumulated CPU time (s) 119.57
Current children cumulated vsize (Kb) 30168

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 7454 0 0 0 12921 36 0 0 25 0 1 0 1801222493 32280576 7420 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 7881 7420 566 18 0 7863 0
[pid=15090] vsize: 31524
Current children cumulated CPU time (s) 129.57
Current children cumulated vsize (Kb) 31524

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 7790 0 0 0 13918 36 0 0 25 0 1 0 1801222493 33697792 7756 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 8227 7756 566 18 0 8209 0
[pid=15090] vsize: 32908
Current children cumulated CPU time (s) 139.54
Current children cumulated vsize (Kb) 32908

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 8230 0 0 0 14915 38 0 0 25 0 1 0 1801222493 35491840 8196 4294967295 134512640 134578447 3221224624 3221223192 1075289077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 8665 8196 566 18 0 8647 0
[pid=15090] vsize: 34660
Current children cumulated CPU time (s) 149.53
Current children cumulated vsize (Kb) 34660

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 8654 0 0 0 15912 39 0 0 25 0 1 0 1801222493 37212160 8620 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 9085 8620 566 18 0 9067 0
[pid=15090] vsize: 36340
Current children cumulated CPU time (s) 159.51
Current children cumulated vsize (Kb) 36340

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 9041 0 0 0 16910 41 0 0 25 0 1 0 1801222493 38813696 9007 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 9476 9007 566 18 0 9458 0
[pid=15090] vsize: 37904
Current children cumulated CPU time (s) 169.51
Current children cumulated vsize (Kb) 37904

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 9492 0 0 0 17908 42 0 0 25 0 1 0 1801222493 40738816 9458 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 9946 9458 566 18 0 9928 0
[pid=15090] vsize: 39784
Current children cumulated CPU time (s) 179.5
Current children cumulated vsize (Kb) 39784

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 9926 0 0 0 18905 43 0 0 25 0 1 0 1801222493 42418176 9892 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 10356 9892 566 18 0 10338 0
[pid=15090] vsize: 41424
Current children cumulated CPU time (s) 189.48
Current children cumulated vsize (Kb) 41424

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 10232 0 0 0 19903 45 0 0 25 0 1 0 1801222493 43704320 10198 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 10670 10198 566 18 0 10652 0
[pid=15090] vsize: 42680
Current children cumulated CPU time (s) 199.48
Current children cumulated vsize (Kb) 42680

[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 10641 0 0 0 20897 47 0 0 25 0 1 0 1801222493 45342720 10607 4294967295 134512640 134578447 3221224624 3221222096 134532461 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 11070 10607 566 18 0 11052 0
[pid=15090] vsize: 44280
Current children cumulated CPU time (s) 209.44
Current children cumulated vsize (Kb) 44280

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 15090
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 11105 0 0 0 21895 48 0 0 25 0 1 0 1801222493 47308800 11071 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 11550 11071 566 18 0 11532 0
[pid=15090] vsize: 46200
Current children cumulated CPU time (s) 219.43
Current children cumulated vsize (Kb) 46200

[startup+230.008 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 15137
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 11344 0 0 0 22884 58 0 0 25 0 1 0 1801222493 48267264 11310 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 11784 11310 566 18 0 11766 0
[pid=15090] vsize: 47136
Current children cumulated CPU time (s) 229.42
Current children cumulated vsize (Kb) 47136

[startup+240.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 15145
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 11760 0 0 0 23881 60 0 0 25 0 1 0 1801222493 49963008 11726 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 12198 11726 566 18 0 12180 0
[pid=15090] vsize: 48792
Current children cumulated CPU time (s) 239.41
Current children cumulated vsize (Kb) 48792

[startup+250.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 15145
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 12191 0 0 0 24878 62 0 0 25 0 1 0 1801222493 51732480 12157 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 12630 12157 566 18 0 12612 0
[pid=15090] vsize: 50520
Current children cumulated CPU time (s) 249.4
Current children cumulated vsize (Kb) 50520

[startup+260.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 15145
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 12497 0 0 0 25875 64 0 0 25 0 1 0 1801222493 52957184 12463 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 12929 12463 566 18 0 12911 0
[pid=15090] vsize: 51716
Current children cumulated CPU time (s) 259.39
Current children cumulated vsize (Kb) 51716

[startup+270.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 15145
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 12845 0 0 0 26872 65 0 0 25 0 1 0 1801222493 54497280 12811 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 13305 12811 566 18 0 13287 0
[pid=15090] vsize: 53220
Current children cumulated CPU time (s) 269.37
Current children cumulated vsize (Kb) 53220

[startup+280.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 15145
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 13291 0 0 0 27868 67 0 0 25 0 1 0 1801222493 56307712 13257 4294967295 134512640 134578447 3221224624 3221220720 134533075 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 13747 13257 566 18 0 13729 0
[pid=15090] vsize: 54988
Current children cumulated CPU time (s) 279.35
Current children cumulated vsize (Kb) 54988

[startup+290.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 15145
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 13636 0 0 0 28865 69 0 0 25 0 1 0 1801222493 57671680 13602 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 14080 13602 566 18 0 14062 0
[pid=15090] vsize: 56320
Current children cumulated CPU time (s) 289.34
Current children cumulated vsize (Kb) 56320

[startup+300.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 15147
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 14000 0 0 0 29862 70 0 0 25 0 1 0 1801222493 59174912 13966 4294967295 134512640 134578447 3221224624 3221223228 1075289101 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 14447 13966 566 18 0 14429 0
[pid=15090] vsize: 57788
Current children cumulated CPU time (s) 299.32
Current children cumulated vsize (Kb) 57788

[startup+310.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 14368 0 0 0 30855 73 0 0 25 0 1 0 1801222493 60600320 14334 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 14795 14334 566 18 0 14777 0
[pid=15090] vsize: 59180
Current children cumulated CPU time (s) 309.28
Current children cumulated vsize (Kb) 59180

[startup+320.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 14707 0 0 0 31853 74 0 0 25 0 1 0 1801222493 62009344 14673 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 15139 14673 566 18 0 15121 0
[pid=15090] vsize: 60556
Current children cumulated CPU time (s) 319.27
Current children cumulated vsize (Kb) 60556

[startup+330.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 15131 0 0 0 32851 76 0 0 25 0 1 0 1801222493 63799296 15097 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 15576 15097 566 18 0 15558 0
[pid=15090] vsize: 62304
Current children cumulated CPU time (s) 329.27
Current children cumulated vsize (Kb) 62304

[startup+340.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 15480 0 0 0 33848 77 0 0 25 0 1 0 1801222493 65208320 15446 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 15920 15446 566 18 0 15902 0
[pid=15090] vsize: 63680
Current children cumulated CPU time (s) 339.25
Current children cumulated vsize (Kb) 63680

[startup+350.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 15807 0 0 0 34845 79 0 0 21 0 1 0 1801222493 66514944 15773 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 16239 15773 566 18 0 16221 0
[pid=15090] vsize: 64956
Current children cumulated CPU time (s) 349.24
Current children cumulated vsize (Kb) 64956

[startup+360.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 16161 0 0 0 35843 80 0 0 25 0 1 0 1801222493 68009984 16127 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 16604 16127 566 18 0 16586 0
[pid=15090] vsize: 66416
Current children cumulated CPU time (s) 359.23
Current children cumulated vsize (Kb) 66416

[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 16382 0 0 0 36840 82 0 0 25 0 1 0 1801222493 68902912 16348 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 16822 16348 566 18 0 16804 0
[pid=15090] vsize: 67288
Current children cumulated CPU time (s) 369.22
Current children cumulated vsize (Kb) 67288

[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 16564 0 0 0 37839 83 0 0 25 0 1 0 1801222493 69615616 16530 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 16996 16530 566 18 0 16978 0
[pid=15090] vsize: 67984
Current children cumulated CPU time (s) 379.22
Current children cumulated vsize (Kb) 67984

[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 16779 0 0 0 38837 83 0 0 25 0 1 0 1801222493 70479872 16745 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 17207 16745 566 18 0 17189 0
[pid=15090] vsize: 68828
Current children cumulated CPU time (s) 389.2
Current children cumulated vsize (Kb) 68828

[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 17022 0 0 0 39836 84 0 0 25 0 1 0 1801222493 71471104 16988 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 17449 16988 566 18 0 17431 0
[pid=15090] vsize: 69796
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (Kb) 69796

[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 17356 0 0 0 40833 86 0 0 25 0 1 0 1801222493 72966144 17322 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 17814 17322 566 18 0 17796 0
[pid=15090] vsize: 71256
Current children cumulated CPU time (s) 409.19
Current children cumulated vsize (Kb) 71256

[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 17642 0 0 0 41831 87 0 0 25 0 1 0 1801222493 74043392 17608 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 18077 17608 566 18 0 18059 0
[pid=15090] vsize: 72308
Current children cumulated CPU time (s) 419.18
Current children cumulated vsize (Kb) 72308

[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 17928 0 0 0 42829 88 0 0 25 0 1 0 1801222493 75300864 17894 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 18384 17894 566 18 0 18366 0
[pid=15090] vsize: 73536
Current children cumulated CPU time (s) 429.17
Current children cumulated vsize (Kb) 73536

[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 18172 0 0 0 43827 89 0 0 25 0 1 0 1801222493 76259328 18138 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 18618 18138 566 18 0 18600 0
[pid=15090] vsize: 74472
Current children cumulated CPU time (s) 439.16
Current children cumulated vsize (Kb) 74472

[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 18535 0 0 0 44825 91 0 0 25 0 1 0 1801222493 77840384 18501 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 19004 18501 566 18 0 18986 0
[pid=15090] vsize: 76016
Current children cumulated CPU time (s) 449.16
Current children cumulated vsize (Kb) 76016

[startup+460.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 18738 0 0 0 45822 92 0 0 25 0 1 0 1801222493 78565376 18704 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 19181 18704 566 18 0 19163 0
[pid=15090] vsize: 76724
Current children cumulated CPU time (s) 459.14
Current children cumulated vsize (Kb) 76724

[startup+470.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 19184 0 0 0 46818 94 0 0 25 0 1 0 1801222493 80502784 19150 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 19654 19150 566 18 0 19636 0
[pid=15090] vsize: 78616
Current children cumulated CPU time (s) 469.12
Current children cumulated vsize (Kb) 78616

[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 19482 0 0 0 47811 98 0 0 25 0 1 0 1801222493 81747968 19448 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 19958 19448 566 18 0 19940 0
[pid=15090] vsize: 79832
Current children cumulated CPU time (s) 479.09
Current children cumulated vsize (Kb) 79832

[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 19885 0 0 0 48809 99 0 0 25 0 1 0 1801222493 83275776 19851 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 20331 19852 566 18 0 20313 0
[pid=15090] vsize: 81324
Current children cumulated CPU time (s) 489.08
Current children cumulated vsize (Kb) 81324

[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 20304 0 0 0 49806 101 0 0 25 0 1 0 1801222493 85016576 20270 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 20756 20270 566 18 0 20738 0
[pid=15090] vsize: 83024
Current children cumulated CPU time (s) 499.07
Current children cumulated vsize (Kb) 83024

[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 20535 0 0 0 50803 102 0 0 25 0 1 0 1801222493 85966848 20501 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 20988 20501 566 18 0 20970 0
[pid=15090] vsize: 83952
Current children cumulated CPU time (s) 509.05
Current children cumulated vsize (Kb) 83952

[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 20732 0 0 0 51801 103 0 0 25 0 1 0 1801222493 86810624 20698 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 21194 20698 566 18 0 21176 0
[pid=15090] vsize: 84776
Current children cumulated CPU time (s) 519.04
Current children cumulated vsize (Kb) 84776

[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 20950 0 0 0 52799 104 0 0 25 0 1 0 1801222493 87658496 20916 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 21401 20916 566 18 0 21383 0
[pid=15090] vsize: 85604
Current children cumulated CPU time (s) 529.03
Current children cumulated vsize (Kb) 85604

[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 21343 0 0 0 53796 105 0 0 25 0 1 0 1801222493 89292800 21309 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 21800 21309 566 18 0 21782 0
[pid=15090] vsize: 87200
Current children cumulated CPU time (s) 539.01
Current children cumulated vsize (Kb) 87200

[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 21623 0 0 0 54794 107 0 0 25 0 1 0 1801222493 90447872 21589 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 22082 21589 566 18 0 22064 0
[pid=15090] vsize: 88328
Current children cumulated CPU time (s) 549.01
Current children cumulated vsize (Kb) 88328

[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 21889 0 0 0 55792 108 0 0 25 0 1 0 1801222493 91537408 21855 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 22348 21855 566 18 0 22330 0
[pid=15090] vsize: 89392
Current children cumulated CPU time (s) 559
Current children cumulated vsize (Kb) 89392

[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 22306 0 0 0 56790 109 0 0 25 0 1 0 1801222493 93233152 22272 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 22762 22272 566 18 0 22744 0
[pid=15090] vsize: 91048
Current children cumulated CPU time (s) 568.99
Current children cumulated vsize (Kb) 91048

[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15149
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 22635 0 0 0 57787 111 0 0 25 0 1 0 1801222493 94629888 22601 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 23103 22601 566 18 0 23085 0
[pid=15090] vsize: 92412
Current children cumulated CPU time (s) 578.98
Current children cumulated vsize (Kb) 92412

[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 22833 0 0 0 58786 111 0 0 25 0 1 0 1801222493 95461376 22799 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 23306 22799 566 18 0 23288 0
[pid=15090] vsize: 93224
Current children cumulated CPU time (s) 588.97
Current children cumulated vsize (Kb) 93224

[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 23227 0 0 0 59783 112 0 0 25 0 1 0 1801222493 96985088 23193 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 23678 23193 566 18 0 23660 0
[pid=15090] vsize: 94712
Current children cumulated CPU time (s) 598.95
Current children cumulated vsize (Kb) 94712

[startup+610.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 23439 0 0 0 60782 113 0 0 25 0 1 0 1801222493 97845248 23405 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 23888 23405 566 18 0 23870 0
[pid=15090] vsize: 95552
Current children cumulated CPU time (s) 608.95
Current children cumulated vsize (Kb) 95552

[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 23830 0 0 0 61780 114 0 0 25 0 1 0 1801222493 99528704 23796 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 24299 23796 566 18 0 24281 0
[pid=15090] vsize: 97196
Current children cumulated CPU time (s) 618.94
Current children cumulated vsize (Kb) 97196

[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 24112 0 0 0 62777 115 0 0 25 0 1 0 1801222493 100679680 24078 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 24580 24078 566 18 0 24562 0
[pid=15090] vsize: 98320
Current children cumulated CPU time (s) 628.92
Current children cumulated vsize (Kb) 98320

[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 24474 0 0 0 63775 116 0 0 25 0 1 0 1801222493 102199296 24440 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 24951 24440 566 18 0 24933 0
[pid=15090] vsize: 99804
Current children cumulated CPU time (s) 638.91
Current children cumulated vsize (Kb) 99804

[startup+650.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 24868 0 0 0 64772 118 0 0 25 0 1 0 1801222493 103878656 24834 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 25361 24834 566 18 0 25343 0
[pid=15090] vsize: 101444
Current children cumulated CPU time (s) 648.9
Current children cumulated vsize (Kb) 101444

[startup+660.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 25112 0 0 0 65770 119 0 0 25 0 1 0 1801222493 104824832 25078 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 25592 25078 566 18 0 25574 0
[pid=15090] vsize: 102368
Current children cumulated CPU time (s) 658.89
Current children cumulated vsize (Kb) 102368

[startup+670.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 25437 0 0 0 66767 120 0 0 25 0 1 0 1801222493 106221568 25403 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 25933 25403 566 18 0 25915 0
[pid=15090] vsize: 103732
Current children cumulated CPU time (s) 668.87
Current children cumulated vsize (Kb) 103732

[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 25797 0 0 0 67766 122 0 0 25 0 1 0 1801222493 107581440 25763 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 26265 25763 566 18 0 26247 0
[pid=15090] vsize: 105060
Current children cumulated CPU time (s) 678.88
Current children cumulated vsize (Kb) 105060

[startup+690.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 26202 0 0 0 68763 123 0 0 25 0 1 0 1801222493 109281280 26168 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 26680 26168 566 18 0 26662 0
[pid=15090] vsize: 106720
Current children cumulated CPU time (s) 688.86
Current children cumulated vsize (Kb) 106720

[startup+700.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 26413 0 0 0 69761 124 0 0 25 0 1 0 1801222493 110149632 26379 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 26892 26379 566 18 0 26874 0
[pid=15090] vsize: 107568
Current children cumulated CPU time (s) 698.85
Current children cumulated vsize (Kb) 107568

[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 26930 0 0 0 70754 127 0 0 25 0 1 0 1801222493 112275456 26896 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 27411 26896 566 18 0 27393 0
[pid=15090] vsize: 109644
Current children cumulated CPU time (s) 708.81
Current children cumulated vsize (Kb) 109644

[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 27207 0 0 0 71752 128 0 0 25 0 1 0 1801222493 113364992 27173 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 27677 27173 566 18 0 27659 0
[pid=15090] vsize: 110708
Current children cumulated CPU time (s) 718.8
Current children cumulated vsize (Kb) 110708

[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 27465 0 0 0 72751 129 0 0 25 0 1 0 1801222493 114438144 27431 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 27939 27431 566 18 0 27921 0
[pid=15090] vsize: 111756
Current children cumulated CPU time (s) 728.8
Current children cumulated vsize (Kb) 111756

[startup+740.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 27775 0 0 0 73750 130 0 0 25 0 1 0 1801222493 115666944 27741 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 28239 27741 566 18 0 28221 0
[pid=15090] vsize: 112956
Current children cumulated CPU time (s) 738.8
Current children cumulated vsize (Kb) 112956

[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) T 15089 15090 15400 0 -1 0 28010 0 0 0 74748 130 0 0 25 0 1 0 1801222493 116633600 27976 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15090/statm): 28475 27976 566 18 0 28457 0
[pid=15090] vsize: 113900
Current children cumulated CPU time (s) 748.78
Current children cumulated vsize (Kb) 113900

[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 28243 0 0 0 75746 131 0 0 25 0 1 0 1801222493 117604352 28209 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 28712 28209 566 18 0 28694 0
[pid=15090] vsize: 114848
Current children cumulated CPU time (s) 758.77
Current children cumulated vsize (Kb) 114848

[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 28356 0 0 0 76744 132 0 0 25 0 1 0 1801222493 118136832 28322 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 28842 28322 566 18 0 28824 0
[pid=15090] vsize: 115368
Current children cumulated CPU time (s) 768.76
Current children cumulated vsize (Kb) 115368

[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 28573 0 0 0 77743 133 0 0 25 0 1 0 1801222493 118972416 28539 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 29046 28539 566 18 0 29028 0
[pid=15090] vsize: 116184
Current children cumulated CPU time (s) 778.76
Current children cumulated vsize (Kb) 116184

[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 28840 0 0 0 78742 134 0 0 25 0 1 0 1801222493 120131584 28806 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 29329 28806 566 18 0 29311 0
[pid=15090] vsize: 117316
Current children cumulated CPU time (s) 788.76
Current children cumulated vsize (Kb) 117316

[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 29297 0 0 0 79738 136 0 0 25 0 1 0 1801222493 121991168 29263 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 29783 29263 566 18 0 29765 0
[pid=15090] vsize: 119132
Current children cumulated CPU time (s) 798.74
Current children cumulated vsize (Kb) 119132

[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 29503 0 0 0 80737 137 0 0 25 0 1 0 1801222493 122777600 29469 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 29975 29469 566 18 0 29957 0
[pid=15090] vsize: 119900
Current children cumulated CPU time (s) 808.74
Current children cumulated vsize (Kb) 119900

[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) T 15089 15090 15400 0 -1 0 29916 0 0 0 81734 138 0 0 25 0 1 0 1801222493 124448768 29882 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/15090/statm): 30383 29882 566 18 0 30365 0
[pid=15090] vsize: 121532
Current children cumulated CPU time (s) 818.72
Current children cumulated vsize (Kb) 121532

[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 30308 0 0 0 82732 140 0 0 25 0 1 0 1801222493 126099456 30274 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 30786 30274 566 18 0 30768 0
[pid=15090] vsize: 123144
Current children cumulated CPU time (s) 828.72
Current children cumulated vsize (Kb) 123144

[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 30571 0 0 0 83729 141 0 0 25 0 1 0 1801222493 127356928 30537 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 31093 30537 566 18 0 31075 0
[pid=15090] vsize: 124372
Current children cumulated CPU time (s) 838.7
Current children cumulated vsize (Kb) 124372

[startup+850.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 30859 0 0 0 84726 143 0 0 25 0 1 0 1801222493 128450560 30825 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 31360 30825 566 18 0 31342 0
[pid=15090] vsize: 125440
Current children cumulated CPU time (s) 848.69
Current children cumulated vsize (Kb) 125440

[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 31290 0 0 0 85723 144 0 0 25 0 1 0 1801222493 130224128 31256 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 31793 31256 566 18 0 31775 0
[pid=15090] vsize: 127172
Current children cumulated CPU time (s) 858.67
Current children cumulated vsize (Kb) 127172

[startup+870.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 31721 0 0 0 86721 145 0 0 25 0 1 0 1801222493 132030464 31687 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 32234 31687 566 18 0 32216 0
[pid=15090] vsize: 128936
Current children cumulated CPU time (s) 868.66
Current children cumulated vsize (Kb) 128936

[startup+880.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 31954 0 0 0 87718 146 0 0 25 0 1 0 1801222493 132980736 31920 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 32466 31920 566 18 0 32448 0
[pid=15090] vsize: 129864
Current children cumulated CPU time (s) 878.64
Current children cumulated vsize (Kb) 129864

[startup+890.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 32226 0 0 0 88716 147 0 0 25 0 1 0 1801222493 134098944 32192 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 32739 32192 566 18 0 32721 0
[pid=15090] vsize: 130956
Current children cumulated CPU time (s) 888.63
Current children cumulated vsize (Kb) 130956

[startup+900.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 32631 0 0 0 89713 149 0 0 25 0 1 0 1801222493 135737344 32597 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 33139 32597 566 18 0 33121 0
[pid=15090] vsize: 132556
Current children cumulated CPU time (s) 898.62
Current children cumulated vsize (Kb) 132556

[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 32946 0 0 0 90711 150 0 0 25 0 1 0 1801222493 137011200 32912 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 33450 32912 566 18 0 33432 0
[pid=15090] vsize: 133800
Current children cumulated CPU time (s) 908.61
Current children cumulated vsize (Kb) 133800

[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 33431 0 0 0 91708 152 0 0 25 0 1 0 1801222493 139067392 33397 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 33952 33397 566 18 0 33934 0
[pid=15090] vsize: 135808
Current children cumulated CPU time (s) 918.6
Current children cumulated vsize (Kb) 135808

[startup+930.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 33794 0 0 0 92704 153 0 0 25 0 1 0 1801222493 140435456 33760 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 34286 33760 566 18 0 34268 0
[pid=15090] vsize: 137144
Current children cumulated CPU time (s) 928.57
Current children cumulated vsize (Kb) 137144

[startup+940.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 34309 0 0 0 93701 155 0 0 25 0 1 0 1801222493 142635008 34275 4294967295 134512640 134578447 3221224624 3221223296 134522288 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 34823 34275 566 18 0 34805 0
[pid=15090] vsize: 139292
Current children cumulated CPU time (s) 938.56
Current children cumulated vsize (Kb) 139292

[startup+950.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 34456 0 0 0 94699 156 0 0 25 0 1 0 1801222493 143175680 34422 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 34955 34422 566 18 0 34937 0
[pid=15090] vsize: 139820
Current children cumulated CPU time (s) 948.55
Current children cumulated vsize (Kb) 139820

[startup+960.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 34872 0 0 0 95695 158 0 0 25 0 1 0 1801222493 144855040 34838 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 35365 34838 566 18 0 35347 0
[pid=15090] vsize: 141460
Current children cumulated CPU time (s) 958.53
Current children cumulated vsize (Kb) 141460

[startup+970.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 35225 0 0 0 96693 160 0 0 25 0 1 0 1801222493 146309120 35191 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 35720 35191 566 18 0 35702 0
[pid=15090] vsize: 142880
Current children cumulated CPU time (s) 968.53
Current children cumulated vsize (Kb) 142880

[startup+980.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 35468 0 0 0 97691 161 0 0 25 0 1 0 1801222493 147341312 35434 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 35972 35434 566 18 0 35954 0
[pid=15090] vsize: 143888
Current children cumulated CPU time (s) 978.52
Current children cumulated vsize (Kb) 143888

[startup+990.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 35863 0 0 0 98687 163 0 0 25 0 1 0 1801222493 148992000 35829 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/15090/statm): 36375 35829 566 18 0 36357 0
[pid=15090] vsize: 145500
Current children cumulated CPU time (s) 988.5
Current children cumulated vsize (Kb) 145500

[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 36312 0 0 0 99684 165 0 0 25 0 1 0 1801222493 150781952 36278 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 36812 36278 566 18 0 36794 0
[pid=15090] vsize: 147248
Current children cumulated CPU time (s) 998.49
Current children cumulated vsize (Kb) 147248

[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 36549 0 0 0 100683 165 0 0 25 0 1 0 1801222493 151818240 36515 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 37065 36515 566 18 0 37047 0
[pid=15090] vsize: 148260
Current children cumulated CPU time (s) 1008.48
Current children cumulated vsize (Kb) 148260

[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 36838 0 0 0 101681 166 0 0 25 0 1 0 1801222493 153042944 36804 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 37364 36804 566 18 0 37346 0
[pid=15090] vsize: 149456
Current children cumulated CPU time (s) 1018.47
Current children cumulated vsize (Kb) 149456

[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 37049 0 0 0 102679 167 0 0 25 0 1 0 1801222493 153907200 37015 4294967295 134512640 134578447 3221224624 3221223504 134555981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 37575 37015 566 18 0 37557 0
[pid=15090] vsize: 150300
Current children cumulated CPU time (s) 1028.46
Current children cumulated vsize (Kb) 150300

[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 37274 0 0 0 103677 167 0 0 25 0 1 0 1801222493 154796032 37240 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 37792 37240 566 18 0 37774 0
[pid=15090] vsize: 151168
Current children cumulated CPU time (s) 1038.44
Current children cumulated vsize (Kb) 151168

[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 37548 0 0 0 104674 169 0 0 25 0 1 0 1801222493 155926528 37514 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 38068 37514 566 18 0 38050 0
[pid=15090] vsize: 152272
Current children cumulated CPU time (s) 1048.43
Current children cumulated vsize (Kb) 152272

[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 37932 0 0 0 105668 171 0 0 25 0 1 0 1801222493 157605888 37898 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 38478 37898 566 18 0 38460 0
[pid=15090] vsize: 153912
Current children cumulated CPU time (s) 1058.39
Current children cumulated vsize (Kb) 153912

[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 38204 0 0 0 106667 171 0 0 25 0 1 0 1801222493 158629888 38170 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 38728 38170 566 18 0 38710 0
[pid=15090] vsize: 154912
Current children cumulated CPU time (s) 1068.38
Current children cumulated vsize (Kb) 154912

[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 38404 0 0 0 107666 173 0 0 25 0 1 0 1801222493 159461376 38370 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 38931 38370 566 18 0 38913 0
[pid=15090] vsize: 155724
Current children cumulated CPU time (s) 1078.39
Current children cumulated vsize (Kb) 155724

[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 38527 0 0 0 108665 173 0 0 25 0 1 0 1801222493 160043008 38493 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 39073 38493 566 18 0 39055 0
[pid=15090] vsize: 156292
Current children cumulated CPU time (s) 1088.38
Current children cumulated vsize (Kb) 156292

[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 38762 0 0 0 109663 174 0 0 25 0 1 0 1801222493 160903168 38728 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 39283 38728 566 18 0 39265 0
[pid=15090] vsize: 157132
Current children cumulated CPU time (s) 1098.37
Current children cumulated vsize (Kb) 157132

[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 39004 0 0 0 110662 174 0 0 25 0 1 0 1801222493 161927168 38970 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 39533 38970 566 18 0 39515 0
[pid=15090] vsize: 158132
Current children cumulated CPU time (s) 1108.36
Current children cumulated vsize (Kb) 158132

[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 39191 0 0 0 111660 176 0 0 25 0 1 0 1801222493 162775040 39157 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 39740 39157 566 18 0 39722 0
[pid=15090] vsize: 158960
Current children cumulated CPU time (s) 1118.36
Current children cumulated vsize (Kb) 158960

[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 39412 0 0 0 112657 177 0 0 25 0 1 0 1801222493 163614720 39378 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 39945 39378 566 18 0 39927 0
[pid=15090] vsize: 159780
Current children cumulated CPU time (s) 1128.34
Current children cumulated vsize (Kb) 159780

[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 39530 0 0 0 113657 177 0 0 25 0 1 0 1801222493 164065280 39496 4294967295 134512640 134578447 3221224624 3221223308 1075289110 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 40055 39496 566 18 0 40037 0
[pid=15090] vsize: 160220
Current children cumulated CPU time (s) 1138.34
Current children cumulated vsize (Kb) 160220

[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 39784 0 0 0 114655 178 0 0 25 0 1 0 1801222493 165150720 39750 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 40320 39750 566 18 0 40302 0
[pid=15090] vsize: 161280
Current children cumulated CPU time (s) 1148.33
Current children cumulated vsize (Kb) 161280

[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 39877 0 0 0 115655 178 0 0 25 0 1 0 1801222493 165580800 39843 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 40425 39843 566 18 0 40407 0
[pid=15090] vsize: 161700
Current children cumulated CPU time (s) 1158.33
Current children cumulated vsize (Kb) 161700

[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 40174 0 0 0 116653 179 0 0 25 0 1 0 1801222493 166735872 40140 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 40707 40140 566 18 0 40689 0
[pid=15090] vsize: 162828
Current children cumulated CPU time (s) 1168.32
Current children cumulated vsize (Kb) 162828

[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 40327 0 0 0 117651 180 0 0 25 0 1 0 1801222493 167444480 40293 4294967295 134512640 134578447 3221224624 3221223228 1075289104 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 40880 40293 566 18 0 40862 0
[pid=15090] vsize: 163520
Current children cumulated CPU time (s) 1178.31
Current children cumulated vsize (Kb) 163520

[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 15151
Raw data (/proc/15090/stat): 15090 (Pueblo) R 15089 15090 15400 0 -1 0 40581 0 0 0 118649 181 0 0 25 0 1 0 1801222493 168521728 40547 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15090/statm): 41143 40547 566 18 0 41125 0
[pid=15090] vsize: 164572
Current children cumulated CPU time (s) 1188.3
Current children cumulated vsize (Kb) 164572
One traced child (pid=15090) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1190.95
CPU time (s): 1189.23
CPU user time (s): 1187.34
CPU system time (s): 1.88971
CPU usage (%): 99.856
Max. virtual memory (cumulated for all children) (Kb): 164572

Verifier Data

Verifier:	OK	-7