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-1.opb
MD5SUMed1ca962177baf0f135b785abad8adea
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
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.06
Number of variables1150
Total number of constraints80072
Number of constraints which are clauses80072
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 7887

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-20 14:56:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5049 boxname=wulflinc18 idbench=361 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ed1ca962177baf0f135b785abad8adea  /oldhome/oroussel/tmp/wulflinc18/normalized-frb50-23-1.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5049
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        866016 kB
Buffers:         30440 kB
Cached:         109428 kB
SwapCached:        756 kB
Active:          59212 kB
Inactive:        83252 kB
HighTotal:      131008 kB
HighFree:        25088 kB
LowTotal:       903652 kB
LowFree:        840928 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            20580 kB
Committed_AS:    64152 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:15:54 (client local time) WITH STATUS 10 IN 1189.17 SECONDS
stats: 5049 0 1189.17 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: 80073
c total time              : 1189.06 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/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859390164 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 41 3 40 18 0 23 0
[pid=1593] 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.0037 s]
Raw data (loadavg): 0.93 0.95 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 3020 0 0 0 976 12 0 0 25 0 1 0 1859390164 14147584 2986 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3454 2986 566 18 0 3436 0
[pid=1593] vsize: 13816
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 13816

[startup+20.0046 s]
Raw data (loadavg): 0.94 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 3020 0 0 0 1974 13 0 0 25 0 1 0 1859390164 14147584 2986 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3454 2986 566 18 0 3436 0
[pid=1593] vsize: 13816
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 13816

[startup+30.0055 s]
Raw data (loadavg): 0.95 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 3176 0 0 0 2968 15 0 0 25 0 1 0 1859390164 14733312 3142 4294967295 134512640 134578447 3221224624 3221223476 134555901 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 3597 3142 566 18 0 3579 0
[pid=1593] vsize: 14388
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 14388

[startup+40.0055 s]
Raw data (loadavg): 0.95 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 3572 0 0 0 3966 16 0 0 25 0 1 0 1859390164 16474112 3538 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 4022 3538 566 18 0 4004 0
[pid=1593] vsize: 16088
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 16088

[startup+50.0064 s]
Raw data (loadavg): 0.96 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 4048 0 0 0 4958 21 0 0 25 0 1 0 1859390164 18382848 4014 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 4488 4014 566 18 0 4470 0
[pid=1593] vsize: 17952
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 17952

[startup+60.0063 s]
Raw data (loadavg): 0.97 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 4455 0 0 0 5954 23 0 0 25 0 1 0 1859390164 20058112 4421 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 4897 4421 566 18 0 4879 0
[pid=1593] vsize: 19588
Current children cumulated CPU time (s) 59.77
Current children cumulated vsize (Kb) 19588

[startup+70.0072 s]
Raw data (loadavg): 0.97 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 4951 0 0 0 6948 26 0 0 25 0 1 0 1859390164 22048768 4917 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 5383 4917 566 18 0 5365 0
[pid=1593] vsize: 21532
Current children cumulated CPU time (s) 69.74
Current children cumulated vsize (Kb) 21532

[startup+80.0082 s]
Raw data (loadavg): 0.98 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 5408 0 0 0 7945 27 0 0 25 0 1 0 1859390164 23900160 5374 4294967295 134512640 134578447 3221224624 3221223296 134523425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 5835 5374 566 18 0 5817 0
[pid=1593] vsize: 23340
Current children cumulated CPU time (s) 79.72
Current children cumulated vsize (Kb) 23340

[startup+90.0081 s]
Raw data (loadavg): 0.98 0.96 0.94 1/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) T 1592 1593 31027 0 -1 0 5781 0 0 0 8939 31 0 0 24 0 1 0 1859390164 25497600 5747 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/1593/statm): 6225 5747 566 18 0 6207 0
[pid=1593] vsize: 24900
Current children cumulated CPU time (s) 89.7
Current children cumulated vsize (Kb) 24900

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 6289 0 0 0 9933 33 0 0 25 0 1 0 1859390164 27561984 6255 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 6729 6255 566 18 0 6711 0
[pid=1593] vsize: 26916
Current children cumulated CPU time (s) 99.66
Current children cumulated vsize (Kb) 26916

[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 6633 0 0 0 10931 34 0 0 25 0 1 0 1859390164 28930048 6599 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 7063 6599 566 18 0 7045 0
[pid=1593] vsize: 28252
Current children cumulated CPU time (s) 109.65
Current children cumulated vsize (Kb) 28252

[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 7032 0 0 0 11929 35 0 0 25 0 1 0 1859390164 30646272 6998 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 7482 6998 566 18 0 7464 0
[pid=1593] vsize: 29928
Current children cumulated CPU time (s) 119.64
Current children cumulated vsize (Kb) 29928

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 7494 0 0 0 12922 37 0 0 25 0 1 0 1859390164 32436224 7460 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 7919 7460 566 18 0 7901 0
[pid=1593] vsize: 31676
Current children cumulated CPU time (s) 129.59
Current children cumulated vsize (Kb) 31676

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 7923 0 0 0 13918 39 0 0 25 0 1 0 1859390164 34267136 7889 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 8366 7889 566 18 0 8348 0
[pid=1593] vsize: 33464
Current children cumulated CPU time (s) 139.57
Current children cumulated vsize (Kb) 33464

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 8470 0 0 0 14914 41 0 0 25 0 1 0 1859390164 36438016 8436 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 8896 8436 566 18 0 8878 0
[pid=1593] vsize: 35584
Current children cumulated CPU time (s) 149.55
Current children cumulated vsize (Kb) 35584

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 9068 0 0 0 15910 43 0 0 25 0 1 0 1859390164 38912000 9034 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 9500 9034 566 18 0 9482 0
[pid=1593] vsize: 38000
Current children cumulated CPU time (s) 159.53
Current children cumulated vsize (Kb) 38000

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 9554 0 0 0 16906 45 0 0 25 0 1 0 1859390164 40861696 9520 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 9976 9520 566 18 0 9958 0
[pid=1593] vsize: 39904
Current children cumulated CPU time (s) 169.51
Current children cumulated vsize (Kb) 39904

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 9852 0 0 0 17899 49 0 0 25 0 1 0 1859390164 42160128 9818 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 10293 9818 566 18 0 10275 0
[pid=1593] vsize: 41172
Current children cumulated CPU time (s) 179.48
Current children cumulated vsize (Kb) 41172

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 10190 0 0 0 18897 50 0 0 25 0 1 0 1859390164 43515904 10156 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 10624 10156 566 18 0 10606 0
[pid=1593] vsize: 42496
Current children cumulated CPU time (s) 189.47
Current children cumulated vsize (Kb) 42496

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 10554 0 0 0 19895 51 0 0 25 0 1 0 1859390164 44945408 10520 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 10973 10520 566 18 0 10955 0
[pid=1593] vsize: 43892
Current children cumulated CPU time (s) 199.46
Current children cumulated vsize (Kb) 43892

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 10878 0 0 0 20893 52 0 0 25 0 1 0 1859390164 46362624 10844 4294967295 134512640 134578447 3221224624 3221222368 134532501 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 11319 10844 566 18 0 11301 0
[pid=1593] vsize: 45276
Current children cumulated CPU time (s) 209.45
Current children cumulated vsize (Kb) 45276

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 11225 0 0 0 21891 54 0 0 25 0 1 0 1859390164 47742976 11191 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 11656 11191 566 18 0 11638 0
[pid=1593] vsize: 46624
Current children cumulated CPU time (s) 219.45
Current children cumulated vsize (Kb) 46624

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 11570 0 0 0 22889 54 0 0 25 0 1 0 1859390164 49168384 11536 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 12004 11536 566 18 0 11986 0
[pid=1593] vsize: 48016
Current children cumulated CPU time (s) 229.43
Current children cumulated vsize (Kb) 48016

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 1593
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 11995 0 0 0 23886 56 0 0 25 0 1 0 1859390164 50946048 11961 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 12438 11961 566 18 0 12420 0
[pid=1593] vsize: 49752
Current children cumulated CPU time (s) 239.42
Current children cumulated vsize (Kb) 49752

[startup+250.014 s]
Raw data (loadavg): 1.07 0.99 0.95 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 12248 0 0 0 24879 60 0 0 25 0 1 0 1859390164 51908608 12214 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 12673 12214 566 18 0 12655 0
[pid=1593] vsize: 50692
Current children cumulated CPU time (s) 249.39
Current children cumulated vsize (Kb) 50692

[startup+260.015 s]
Raw data (loadavg): 1.06 0.99 0.95 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 12618 0 0 0 25878 61 0 0 25 0 1 0 1859390164 53420032 12584 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 13042 12584 566 18 0 13024 0
[pid=1593] vsize: 52168
Current children cumulated CPU time (s) 259.39
Current children cumulated vsize (Kb) 52168

[startup+270.016 s]
Raw data (loadavg): 1.05 0.99 0.95 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 13002 0 0 0 26875 62 0 0 25 0 1 0 1859390164 55119872 12968 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 13457 12968 566 18 0 13439 0
[pid=1593] vsize: 53828
Current children cumulated CPU time (s) 269.37
Current children cumulated vsize (Kb) 53828

[startup+280.017 s]
Raw data (loadavg): 1.04 0.99 0.95 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 13418 0 0 0 27872 64 0 0 25 0 1 0 1859390164 56823808 13384 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 13873 13384 566 18 0 13855 0
[pid=1593] vsize: 55492
Current children cumulated CPU time (s) 279.36
Current children cumulated vsize (Kb) 55492

[startup+290.018 s]
Raw data (loadavg): 1.04 0.99 0.95 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 13832 0 0 0 28869 66 0 0 25 0 1 0 1859390164 58494976 13798 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 14281 13798 566 18 0 14263 0
[pid=1593] vsize: 57124
Current children cumulated CPU time (s) 289.35
Current children cumulated vsize (Kb) 57124

[startup+300.018 s]
Raw data (loadavg): 1.03 0.99 0.95 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 14133 0 0 0 29867 66 0 0 25 0 1 0 1859390164 59641856 14099 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 14561 14099 566 18 0 14543 0
[pid=1593] vsize: 58244
Current children cumulated CPU time (s) 299.33
Current children cumulated vsize (Kb) 58244

[startup+310.018 s]
Raw data (loadavg): 1.03 0.99 0.95 2/56 1648
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 14447 0 0 0 30865 68 0 0 25 0 1 0 1859390164 61005824 14413 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 14894 14413 566 18 0 14876 0
[pid=1593] vsize: 59576
Current children cumulated CPU time (s) 309.33
Current children cumulated vsize (Kb) 59576

[startup+320.019 s]
Raw data (loadavg): 1.02 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 14868 0 0 0 31861 70 0 0 20 0 1 0 1859390164 62763008 14834 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 15323 14834 566 18 0 15305 0
[pid=1593] vsize: 61292
Current children cumulated CPU time (s) 319.31
Current children cumulated vsize (Kb) 61292

[startup+330.02 s]
Raw data (loadavg): 1.02 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 15305 0 0 0 32858 71 0 0 25 0 1 0 1859390164 64512000 15271 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 15750 15271 566 18 0 15732 0
[pid=1593] vsize: 63000
Current children cumulated CPU time (s) 329.29
Current children cumulated vsize (Kb) 63000

[startup+340.02 s]
Raw data (loadavg): 1.01 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 15731 0 0 0 33852 74 0 0 25 0 1 0 1859390164 66170880 15697 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 16155 15697 566 18 0 16137 0
[pid=1593] vsize: 64620
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (Kb) 64620

[startup+350.021 s]
Raw data (loadavg): 1.01 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 16063 0 0 0 34850 75 0 0 25 0 1 0 1859390164 67530752 16029 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 16487 16029 566 18 0 16469 0
[pid=1593] vsize: 65948
Current children cumulated CPU time (s) 349.25
Current children cumulated vsize (Kb) 65948

[startup+360.022 s]
Raw data (loadavg): 1.01 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 16404 0 0 0 35846 77 0 0 25 0 1 0 1859390164 69013504 16370 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 16849 16370 566 18 0 16831 0
[pid=1593] vsize: 67396
Current children cumulated CPU time (s) 359.23
Current children cumulated vsize (Kb) 67396

[startup+370.023 s]
Raw data (loadavg): 1.01 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 16688 0 0 0 36845 78 0 0 25 0 1 0 1859390164 70103040 16654 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 17115 16654 566 18 0 17097 0
[pid=1593] vsize: 68460
Current children cumulated CPU time (s) 369.23
Current children cumulated vsize (Kb) 68460

[startup+380.024 s]
Raw data (loadavg): 1.01 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 16975 0 0 0 37842 80 0 0 25 0 1 0 1859390164 71335936 16941 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 17416 16941 566 18 0 17398 0
[pid=1593] vsize: 69664
Current children cumulated CPU time (s) 379.22
Current children cumulated vsize (Kb) 69664

[startup+390.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 17396 0 0 0 38840 81 0 0 25 0 1 0 1859390164 73007104 17362 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 17824 17362 566 18 0 17806 0
[pid=1593] vsize: 71296
Current children cumulated CPU time (s) 389.21
Current children cumulated vsize (Kb) 71296

[startup+400.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 17637 0 0 0 39838 83 0 0 25 0 1 0 1859390164 74031104 17603 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 18074 17603 566 18 0 18056 0
[pid=1593] vsize: 72296
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (Kb) 72296

[startup+410.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 17909 0 0 0 40835 83 0 0 25 0 1 0 1859390164 75124736 17875 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 18341 17875 566 18 0 18323 0
[pid=1593] vsize: 73364
Current children cumulated CPU time (s) 409.18
Current children cumulated vsize (Kb) 73364

[startup+420.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 18385 0 0 0 41833 86 0 0 25 0 1 0 1859390164 77139968 18351 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 18833 18351 566 18 0 18815 0
[pid=1593] vsize: 75332
Current children cumulated CPU time (s) 419.19
Current children cumulated vsize (Kb) 75332

[startup+430.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 18754 0 0 0 42829 88 0 0 25 0 1 0 1859390164 78643200 18720 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 19200 18720 566 18 0 19182 0
[pid=1593] vsize: 76800
Current children cumulated CPU time (s) 429.17
Current children cumulated vsize (Kb) 76800

[startup+440.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 19244 0 0 0 43826 90 0 0 25 0 1 0 1859390164 80650240 19210 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 19690 19210 566 18 0 19672 0
[pid=1593] vsize: 78760
Current children cumulated CPU time (s) 439.16
Current children cumulated vsize (Kb) 78760

[startup+450.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 19585 0 0 0 44823 90 0 0 25 0 1 0 1859390164 82075648 19551 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 20038 19551 566 18 0 20020 0
[pid=1593] vsize: 80152
Current children cumulated CPU time (s) 449.13
Current children cumulated vsize (Kb) 80152

[startup+460.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 20194 0 0 0 45819 92 0 0 25 0 1 0 1859390164 84611072 20160 4294967295 134512640 134578447 3221224624 3221223488 134517679 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 20657 20160 566 18 0 20639 0
[pid=1593] vsize: 82628
Current children cumulated CPU time (s) 459.11
Current children cumulated vsize (Kb) 82628

[startup+470.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 20502 0 0 0 46812 95 0 0 25 0 1 0 1859390164 85819392 20468 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 20952 20468 566 18 0 20934 0
[pid=1593] vsize: 83808
Current children cumulated CPU time (s) 469.07
Current children cumulated vsize (Kb) 83808

[startup+480.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 21081 0 0 0 47808 97 0 0 25 0 1 0 1859390164 88174592 21047 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 21527 21047 566 18 0 21509 0
[pid=1593] vsize: 86108
Current children cumulated CPU time (s) 479.05
Current children cumulated vsize (Kb) 86108

[startup+490.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 21363 0 0 0 48805 98 0 0 25 0 1 0 1859390164 89300992 21329 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 21802 21329 566 18 0 21784 0
[pid=1593] vsize: 87208
Current children cumulated CPU time (s) 489.03
Current children cumulated vsize (Kb) 87208

[startup+500.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 21654 0 0 0 49802 100 0 0 25 0 1 0 1859390164 90595328 21620 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 22118 21620 566 18 0 22100 0
[pid=1593] vsize: 88472
Current children cumulated CPU time (s) 499.02
Current children cumulated vsize (Kb) 88472

[startup+510.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 21956 0 0 0 50800 101 0 0 25 0 1 0 1859390164 91869184 21922 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 22429 21922 566 18 0 22411 0
[pid=1593] vsize: 89716
Current children cumulated CPU time (s) 509.01
Current children cumulated vsize (Kb) 89716

[startup+520.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 22349 0 0 0 51798 102 0 0 25 0 1 0 1859390164 93339648 22315 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 22788 22315 566 18 0 22770 0
[pid=1593] vsize: 91152
Current children cumulated CPU time (s) 519
Current children cumulated vsize (Kb) 91152

[startup+530.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 22668 0 0 0 52795 104 0 0 25 0 1 0 1859390164 94765056 22634 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 23136 22634 566 18 0 23118 0
[pid=1593] vsize: 92544
Current children cumulated CPU time (s) 528.99
Current children cumulated vsize (Kb) 92544

[startup+540.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 23141 0 0 0 53792 105 0 0 25 0 1 0 1859390164 96608256 23107 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 23586 23107 566 18 0 23568 0
[pid=1593] vsize: 94344
Current children cumulated CPU time (s) 538.97
Current children cumulated vsize (Kb) 94344

[startup+550.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1652
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 23681 0 0 0 54790 107 0 0 25 0 1 0 1859390164 98893824 23647 4294967295 134512640 134578447 3221224624 3221223472 134556300 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 24144 23647 566 18 0 24126 0
[pid=1593] vsize: 96576
Current children cumulated CPU time (s) 548.97
Current children cumulated vsize (Kb) 96576

[startup+560.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 24105 0 0 0 55786 108 0 0 25 0 1 0 1859390164 100605952 24071 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 24562 24071 566 18 0 24544 0
[pid=1593] vsize: 98248
Current children cumulated CPU time (s) 558.94
Current children cumulated vsize (Kb) 98248

[startup+570.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 24378 0 0 0 56784 109 0 0 25 0 1 0 1859390164 101707776 24344 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 24831 24344 566 18 0 24813 0
[pid=1593] vsize: 99324
Current children cumulated CPU time (s) 568.93
Current children cumulated vsize (Kb) 99324

[startup+580.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 24762 0 0 0 57781 111 0 0 25 0 1 0 1859390164 103268352 24728 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 25212 24728 566 18 0 25194 0
[pid=1593] vsize: 100848
Current children cumulated CPU time (s) 578.92
Current children cumulated vsize (Kb) 100848

[startup+590.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 25250 0 0 0 58778 113 0 0 25 0 1 0 1859390164 105361408 25216 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 25723 25216 566 18 0 25705 0
[pid=1593] vsize: 102892
Current children cumulated CPU time (s) 588.91
Current children cumulated vsize (Kb) 102892

[startup+600.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 25653 0 0 0 59775 114 0 0 25 0 1 0 1859390164 107036672 25619 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 26132 25619 566 18 0 26114 0
[pid=1593] vsize: 104528
Current children cumulated CPU time (s) 598.89
Current children cumulated vsize (Kb) 104528

[startup+610.036 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 26129 0 0 0 60772 116 0 0 25 0 1 0 1859390164 108969984 26095 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 26604 26095 566 18 0 26586 0
[pid=1593] vsize: 106416
Current children cumulated CPU time (s) 608.88
Current children cumulated vsize (Kb) 106416

[startup+620.037 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 26454 0 0 0 61769 118 0 0 25 0 1 0 1859390164 110366720 26420 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 26945 26420 566 18 0 26927 0
[pid=1593] vsize: 107780
Current children cumulated CPU time (s) 618.87
Current children cumulated vsize (Kb) 107780

[startup+630.038 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 27002 0 0 0 62766 119 0 0 25 0 1 0 1859390164 112558080 26968 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 27480 26968 566 18 0 27462 0
[pid=1593] vsize: 109920
Current children cumulated CPU time (s) 628.85
Current children cumulated vsize (Kb) 109920

[startup+640.039 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 27319 0 0 0 63764 121 0 0 25 0 1 0 1859390164 113852416 27285 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 27796 27285 566 18 0 27778 0
[pid=1593] vsize: 111184
Current children cumulated CPU time (s) 638.85
Current children cumulated vsize (Kb) 111184

[startup+650.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 27774 0 0 0 64760 123 0 0 25 0 1 0 1859390164 115707904 27740 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 28249 27740 566 18 0 28231 0
[pid=1593] vsize: 112996
Current children cumulated CPU time (s) 648.83
Current children cumulated vsize (Kb) 112996

[startup+660.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 28176 0 0 0 65753 126 0 0 25 0 1 0 1859390164 117362688 28142 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 28653 28142 566 18 0 28635 0
[pid=1593] vsize: 114612
Current children cumulated CPU time (s) 658.79
Current children cumulated vsize (Kb) 114612

[startup+670.041 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 28519 0 0 0 66748 128 0 0 25 0 1 0 1859390164 118829056 28485 4294967295 134512640 134578447 3221224624 3221223476 134555775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 29011 28485 566 18 0 28993 0
[pid=1593] vsize: 116044
Current children cumulated CPU time (s) 668.76
Current children cumulated vsize (Kb) 116044

[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 28883 0 0 0 67744 130 0 0 25 0 1 0 1859390164 120320000 28849 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 29375 28849 566 18 0 29357 0
[pid=1593] vsize: 117500
Current children cumulated CPU time (s) 678.74
Current children cumulated vsize (Kb) 117500

[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 29233 0 0 0 68741 132 0 0 25 0 1 0 1859390164 121860096 29199 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 29751 29199 566 18 0 29733 0
[pid=1593] vsize: 119004
Current children cumulated CPU time (s) 688.73
Current children cumulated vsize (Kb) 119004

[startup+700.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 29596 0 0 0 69737 133 0 0 25 0 1 0 1859390164 123310080 29562 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 30105 29562 566 18 0 30087 0
[pid=1593] vsize: 120420
Current children cumulated CPU time (s) 698.7
Current children cumulated vsize (Kb) 120420

[startup+710.043 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 30068 0 0 0 70733 135 0 0 25 0 1 0 1859390164 125214720 30034 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 30570 30034 566 18 0 30552 0
[pid=1593] vsize: 122280
Current children cumulated CPU time (s) 708.68
Current children cumulated vsize (Kb) 122280

[startup+720.044 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 30397 0 0 0 71730 137 0 0 25 0 1 0 1859390164 126545920 30363 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 30895 30363 566 18 0 30877 0
[pid=1593] vsize: 123580
Current children cumulated CPU time (s) 718.67
Current children cumulated vsize (Kb) 123580

[startup+730.045 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 30841 0 0 0 72727 139 0 0 25 0 1 0 1859390164 128417792 30807 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 31352 30807 566 18 0 31334 0
[pid=1593] vsize: 125408
Current children cumulated CPU time (s) 728.66
Current children cumulated vsize (Kb) 125408

[startup+740.045 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 31147 0 0 0 73724 140 0 0 25 0 1 0 1859390164 129691648 31113 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 31663 31113 566 18 0 31645 0
[pid=1593] vsize: 126652
Current children cumulated CPU time (s) 738.64
Current children cumulated vsize (Kb) 126652

[startup+750.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 31401 0 0 0 74721 142 0 0 25 0 1 0 1859390164 130617344 31367 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 31889 31367 566 18 0 31871 0
[pid=1593] vsize: 127556
Current children cumulated CPU time (s) 748.63
Current children cumulated vsize (Kb) 127556

[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 31806 0 0 0 75718 143 0 0 25 0 1 0 1859390164 132337664 31772 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 32309 31772 566 18 0 32291 0
[pid=1593] vsize: 129236
Current children cumulated CPU time (s) 758.61
Current children cumulated vsize (Kb) 129236

[startup+770.047 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 32032 0 0 0 76716 144 0 0 25 0 1 0 1859390164 133226496 31998 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 32526 31998 566 18 0 32508 0
[pid=1593] vsize: 130104
Current children cumulated CPU time (s) 768.6
Current children cumulated vsize (Kb) 130104

[startup+780.048 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 32442 0 0 0 77712 146 0 0 25 0 1 0 1859390164 134926336 32408 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 32941 32408 566 18 0 32923 0
[pid=1593] vsize: 131764
Current children cumulated CPU time (s) 778.58
Current children cumulated vsize (Kb) 131764

[startup+790.048 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 32848 0 0 0 78709 148 0 0 25 0 1 0 1859390164 136589312 32814 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 33347 32814 566 18 0 33329 0
[pid=1593] vsize: 133388
Current children cumulated CPU time (s) 788.57
Current children cumulated vsize (Kb) 133388

[startup+800.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 33193 0 0 0 79706 149 0 0 25 0 1 0 1859390164 137969664 33159 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 33684 33159 566 18 0 33666 0
[pid=1593] vsize: 134736
Current children cumulated CPU time (s) 798.55
Current children cumulated vsize (Kb) 134736

[startup+810.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 33649 0 0 0 80703 151 0 0 25 0 1 0 1859390164 139849728 33615 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 34143 33615 566 18 0 34125 0
[pid=1593] vsize: 136572
Current children cumulated CPU time (s) 808.54
Current children cumulated vsize (Kb) 136572

[startup+820.049 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 33905 0 0 0 81700 153 0 0 25 0 1 0 1859390164 140967936 33871 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 34416 33871 566 18 0 34398 0
[pid=1593] vsize: 137664
Current children cumulated CPU time (s) 818.53
Current children cumulated vsize (Kb) 137664

[startup+830.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 34409 0 0 0 82696 154 0 0 25 0 1 0 1859390164 142995456 34375 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 34911 34375 566 18 0 34893 0
[pid=1593] vsize: 139644
Current children cumulated CPU time (s) 828.5
Current children cumulated vsize (Kb) 139644

[startup+840.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 34763 0 0 0 83693 156 0 0 25 0 1 0 1859390164 144474112 34729 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 35272 34729 566 18 0 35254 0
[pid=1593] vsize: 141088
Current children cumulated CPU time (s) 838.49
Current children cumulated vsize (Kb) 141088

[startup+850.051 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 35218 0 0 0 84690 158 0 0 25 0 1 0 1859390164 146317312 35184 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 35722 35184 566 18 0 35704 0
[pid=1593] vsize: 142888
Current children cumulated CPU time (s) 848.48
Current children cumulated vsize (Kb) 142888

[startup+860.051 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 35657 0 0 0 85687 160 0 0 25 0 1 0 1859390164 148213760 35623 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 36185 35623 566 18 0 36167 0
[pid=1593] vsize: 144740
Current children cumulated CPU time (s) 858.47
Current children cumulated vsize (Kb) 144740

[startup+870.052 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 35795 0 0 0 86685 161 0 0 25 0 1 0 1859390164 148807680 35761 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 36330 35761 566 18 0 36312 0
[pid=1593] vsize: 145320
Current children cumulated CPU time (s) 868.46
Current children cumulated vsize (Kb) 145320

[startup+880.053 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 36233 0 0 0 87682 162 0 0 25 0 1 0 1859390164 150519808 36199 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 36748 36199 566 18 0 36730 0
[pid=1593] vsize: 146992
Current children cumulated CPU time (s) 878.44
Current children cumulated vsize (Kb) 146992

[startup+890.054 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 36725 0 0 0 88679 165 0 0 25 0 1 0 1859390164 152506368 36691 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 37233 36691 566 18 0 37215 0
[pid=1593] vsize: 148932
Current children cumulated CPU time (s) 888.44
Current children cumulated vsize (Kb) 148932

[startup+900.055 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 37069 0 0 0 89677 166 0 0 25 0 1 0 1859390164 153907200 37035 4294967295 134512640 134578447 3221224624 3221223472 134520206 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 37575 37035 566 18 0 37557 0
[pid=1593] vsize: 150300
Current children cumulated CPU time (s) 898.43
Current children cumulated vsize (Kb) 150300

[startup+910.055 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 37471 0 0 0 90673 168 0 0 25 0 1 0 1859390164 155680768 37437 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 38008 37437 566 18 0 37990 0
[pid=1593] vsize: 152032
Current children cumulated CPU time (s) 908.41
Current children cumulated vsize (Kb) 152032

[startup+920.057 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 37730 0 0 0 91669 169 0 0 25 0 1 0 1859390164 156643328 37696 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 38243 37696 566 18 0 38225 0
[pid=1593] vsize: 152972
Current children cumulated CPU time (s) 918.38
Current children cumulated vsize (Kb) 152972

[startup+930.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 38065 0 0 0 92666 171 0 0 25 0 1 0 1859390164 158109696 38031 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 38601 38031 566 18 0 38583 0
[pid=1593] vsize: 154404
Current children cumulated CPU time (s) 928.37
Current children cumulated vsize (Kb) 154404

[startup+940.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 38451 0 0 0 93663 173 0 0 25 0 1 0 1859390164 159670272 38417 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 38982 38417 566 18 0 38964 0
[pid=1593] vsize: 155928
Current children cumulated CPU time (s) 938.36
Current children cumulated vsize (Kb) 155928

[startup+950.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 38973 0 0 0 94655 177 0 0 25 0 1 0 1859390164 161812480 38939 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 39505 38939 566 18 0 39487 0
[pid=1593] vsize: 158020
Current children cumulated CPU time (s) 948.32
Current children cumulated vsize (Kb) 158020

[startup+960.058 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 39288 0 0 0 95652 179 0 0 25 0 1 0 1859390164 163131392 39254 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 39827 39254 566 18 0 39809 0
[pid=1593] vsize: 159308
Current children cumulated CPU time (s) 958.31
Current children cumulated vsize (Kb) 159308

[startup+970.059 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 39577 0 0 0 96651 180 0 0 25 0 1 0 1859390164 164327424 39543 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 40119 39543 566 18 0 40101 0
[pid=1593] vsize: 160476
Current children cumulated CPU time (s) 968.31
Current children cumulated vsize (Kb) 160476

[startup+980.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 39848 0 0 0 97649 181 0 0 25 0 1 0 1859390164 165437440 39814 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 40390 39814 566 18 0 40372 0
[pid=1593] vsize: 161560
Current children cumulated CPU time (s) 978.3
Current children cumulated vsize (Kb) 161560

[startup+990.061 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 40241 0 0 0 98646 183 0 0 25 0 1 0 1859390164 167026688 40207 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 40778 40207 566 18 0 40760 0
[pid=1593] vsize: 163112
Current children cumulated CPU time (s) 988.29
Current children cumulated vsize (Kb) 163112

[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 40424 0 0 0 99643 184 0 0 25 0 1 0 1859390164 167829504 40390 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 40974 40390 566 18 0 40956 0
[pid=1593] vsize: 163896
Current children cumulated CPU time (s) 998.27
Current children cumulated vsize (Kb) 163896

[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 40877 0 0 0 100640 185 0 0 25 0 1 0 1859390164 169586688 40843 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 41403 40843 566 18 0 41385 0
[pid=1593] vsize: 165612
Current children cumulated CPU time (s) 1008.25
Current children cumulated vsize (Kb) 165612

[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 41223 0 0 0 101637 187 0 0 25 0 1 0 1859390164 171274240 41189 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 41815 41189 566 18 0 41797 0
[pid=1593] vsize: 167260
Current children cumulated CPU time (s) 1018.24
Current children cumulated vsize (Kb) 167260

[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 41330 0 0 0 102635 188 0 0 25 0 1 0 1859390164 171671552 41296 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 41912 41296 566 18 0 41894 0
[pid=1593] vsize: 167648
Current children cumulated CPU time (s) 1028.23
Current children cumulated vsize (Kb) 167648

[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 41586 0 0 0 103633 190 0 0 25 0 1 0 1859390164 172695552 41552 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 42162 41552 566 18 0 42144 0
[pid=1593] vsize: 168648
Current children cumulated CPU time (s) 1038.23
Current children cumulated vsize (Kb) 168648

[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 41904 0 0 0 104631 191 0 0 25 0 1 0 1859390164 173903872 41870 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 42457 41870 566 18 0 42439 0
[pid=1593] vsize: 169828
Current children cumulated CPU time (s) 1048.22
Current children cumulated vsize (Kb) 169828

[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42002 0 0 0 105630 191 0 0 25 0 1 0 1859390164 174309376 41968 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 42556 41968 566 18 0 42538 0
[pid=1593] vsize: 170224
Current children cumulated CPU time (s) 1058.21
Current children cumulated vsize (Kb) 170224

[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42003 0 0 0 106630 191 0 0 25 0 1 0 1859390164 174309376 41969 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 42556 41969 566 18 0 42538 0
[pid=1593] vsize: 170224
Current children cumulated CPU time (s) 1068.21
Current children cumulated vsize (Kb) 170224

[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42216 0 0 0 107629 192 0 0 25 0 1 0 1859390164 175288320 42182 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 42795 42182 566 18 0 42777 0
[pid=1593] vsize: 171180
Current children cumulated CPU time (s) 1078.21
Current children cumulated vsize (Kb) 171180

[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42414 0 0 0 108628 193 0 0 25 0 1 0 1859390164 176107520 42380 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 42995 42380 566 18 0 42977 0
[pid=1593] vsize: 171980
Current children cumulated CPU time (s) 1088.21
Current children cumulated vsize (Kb) 171980

[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42414 0 0 0 109628 193 0 0 25 0 1 0 1859390164 176107520 42380 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 42995 42380 566 18 0 42977 0
[pid=1593] vsize: 171980
Current children cumulated CPU time (s) 1098.21
Current children cumulated vsize (Kb) 171980

[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42574 0 0 0 110627 193 0 0 25 0 1 0 1859390164 176644096 42540 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 43126 42540 566 18 0 43108 0
[pid=1593] vsize: 172504
Current children cumulated CPU time (s) 1108.2
Current children cumulated vsize (Kb) 172504

[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42789 0 0 0 111626 194 0 0 25 0 1 0 1859390164 177606656 42755 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 43361 42755 566 18 0 43343 0
[pid=1593] vsize: 173444
Current children cumulated CPU time (s) 1118.2
Current children cumulated vsize (Kb) 173444

[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42817 0 0 0 112625 194 0 0 25 0 1 0 1859390164 177840128 42783 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 43418 42783 566 18 0 43400 0
[pid=1593] vsize: 173672
Current children cumulated CPU time (s) 1128.19
Current children cumulated vsize (Kb) 173672

[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 42920 0 0 0 113624 195 0 0 25 0 1 0 1859390164 178249728 42886 4294967295 134512640 134578447 3221224624 3221223476 134555910 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 43518 42886 566 18 0 43500 0
[pid=1593] vsize: 174072
Current children cumulated CPU time (s) 1138.19
Current children cumulated vsize (Kb) 174072

[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 43219 0 0 0 114622 196 0 0 25 0 1 0 1859390164 179507200 43185 4294967295 134512640 134578447 3221224624 3221223456 134528432 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 43825 43185 566 18 0 43807 0
[pid=1593] vsize: 175300
Current children cumulated CPU time (s) 1148.18
Current children cumulated vsize (Kb) 175300

[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 43442 0 0 0 115621 197 0 0 25 0 1 0 1859390164 180367360 43408 4294967295 134512640 134578447 3221224624 3221223476 134555854 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 44035 43408 566 18 0 44017 0
[pid=1593] vsize: 176140
Current children cumulated CPU time (s) 1158.18
Current children cumulated vsize (Kb) 176140

[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 43573 0 0 0 116619 198 0 0 25 0 1 0 1859390164 180928512 43539 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1593/statm): 44172 43539 566 18 0 44154 0
[pid=1593] vsize: 176688
Current children cumulated CPU time (s) 1168.17
Current children cumulated vsize (Kb) 176688

[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 43931 0 0 0 117617 200 0 0 25 0 1 0 1859390164 182423552 43897 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 44537 43897 566 18 0 44519 0
[pid=1593] vsize: 178148
Current children cumulated CPU time (s) 1178.17
Current children cumulated vsize (Kb) 178148

[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/56 1654
Raw data (/proc/1593/stat): 1593 (Pueblo) R 1592 1593 31027 0 -1 0 44000 0 0 0 118615 201 0 0 25 0 1 0 1859390164 182829056 43966 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1593/statm): 44636 43966 566 18 0 44618 0
[pid=1593] vsize: 178544
Current children cumulated CPU time (s) 1188.16
Current children cumulated vsize (Kb) 178544
One traced child (pid=1593) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.08
CPU time (s): 1189.17
CPU user time (s): 1187.07
CPU system time (s): 2.09568
CPU usage (%): 99.8396
Max. virtual memory (cumulated for all children) (Kb): 178544

Verifier Data

Verifier:	OK	-7