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

Namesubmitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM6604a6c0d979e1f2b09762e6e4f70f84
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of terms in the objective function 1278
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 1278
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 1278
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark304.738
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
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 constraint1
Maximum length of a constraint18

Trace number 7639

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-20 13:16:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4757 boxname=wulflinc7 idbench=69 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc7/normalized-max1024.pi.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4757
/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:        860320 kB
Buffers:         31040 kB
Cached:         118564 kB
SwapCached:        744 kB
Active:          67956 kB
Inactive:        84268 kB
HighTotal:      131008 kB
HighFree:        11284 kB
LowTotal:       903652 kB
LowFree:        849036 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            16408 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 13:36:08 (client local time) WITH STATUS 10 IN 1189.22 SECONDS
stats: 4757 0 1189.22 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: 1278 - #constraints read: 1072
c total time              : 1189.21 s
s SATISFIABLE
v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 x29 -x30 x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 x69 x70 x71 x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 -x151 -x152 x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 x214 -x215 -x216 -x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 x285 -x286 x287 -x288 -x289 x290 -x291 -x292 x293 x294 -x295 -x296 x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 x461 -x462 x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 x516 -x517 x518 x519 -x520 -x521 x522 x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 x536 -x537 -x538 x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 x570 x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 x581 -x582 x583 x584 -x585 -x586 -x587 -x588 x589 -x590 x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 x606 -x607 x608 -x609 -x610 x611 -x612 -x613 x614 -x615 -x616 -x617 x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 x644 -x645 x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 x681 x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 x693 -x694 x695 -x696 x697 x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 x706 x707 -x708 -x709 -x710 x711 x712 -x713 -x714 x715 -x716 x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 x729 x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 x789 x790 -x791 x792 -x793 -x794 x795 -x796 x797 -x798 -x799 -x800 x801 -x802 -x803 x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 x814 x815 x816 -x817 -x818 -x819 -x820 -x821 x822 x823 -x824 x825 x826 -x827 -x828 -x829 x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 x906 -x907 x908 -x909 x910 -x911 -x912 x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 x922 x923 x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 x937 x938 -x939 x940 x941 x942 -x943 -x944 x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 x953 x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 x987 -x988 x989 -x990 x991 -x992 x993 -x994 x995 -x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 -x1028 -x1029 x1030 x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 x1150 x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 x1158 x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 x1173 x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 x1211 x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 -x1255 x1256 x1257 x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 

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/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1800621368 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 41 3 40 18 0 23 0
[pid=14140] 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.0033 s]
Raw data (loadavg): 0.39 0.10 0.08 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 1108 0 0 0 977 7 0 0 25 0 1 0 1800621368 6066176 1074 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 1481 1074 566 18 0 1463 0
[pid=14140] vsize: 5924
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 5924

[startup+20.0039 s]
Raw data (loadavg): 0.48 0.13 0.09 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 1393 0 0 0 1966 12 0 0 25 0 1 0 1800621368 7020544 1281 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 1714 1281 566 18 0 1696 0
[pid=14140] vsize: 6856
Current children cumulated CPU time (s) 19.78
Current children cumulated vsize (Kb) 6856

[startup+30.0046 s]
Raw data (loadavg): 0.56 0.16 0.10 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 1861 0 0 0 2955 18 0 0 25 0 1 0 1800621368 7663616 1451 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 1871 1451 566 18 0 1853 0
[pid=14140] vsize: 7484
Current children cumulated CPU time (s) 29.73
Current children cumulated vsize (Kb) 7484

[startup+40.0052 s]
Raw data (loadavg): 0.63 0.19 0.11 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 1971 0 0 0 3943 22 0 0 25 0 1 0 1800621368 7958528 1542 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 1943 1542 566 18 0 1925 0
[pid=14140] vsize: 7772
Current children cumulated CPU time (s) 39.65
Current children cumulated vsize (Kb) 7772

[startup+50.0059 s]
Raw data (loadavg): 0.68 0.21 0.11 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2189 0 0 0 4929 27 0 0 25 0 1 0 1800621368 8794112 1746 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2147 1746 566 18 0 2129 0
[pid=14140] vsize: 8588
Current children cumulated CPU time (s) 49.56
Current children cumulated vsize (Kb) 8588

[startup+60.0065 s]
Raw data (loadavg): 0.73 0.24 0.12 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2189 0 0 0 5920 29 0 0 25 0 1 0 1800621368 8794112 1746 4294967295 134512640 134578447 3221224624 3221223504 134528048 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2147 1746 566 18 0 2129 0
[pid=14140] vsize: 8588
Current children cumulated CPU time (s) 59.49
Current children cumulated vsize (Kb) 8588

[startup+70.0071 s]
Raw data (loadavg): 0.77 0.26 0.13 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2263 0 0 0 6909 33 0 0 25 0 1 0 1800621368 8802304 1726 4294967295 134512640 134578447 3221224624 3221223424 134528638 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2149 1726 566 18 0 2131 0
[pid=14140] vsize: 8596
Current children cumulated CPU time (s) 69.42
Current children cumulated vsize (Kb) 8596

[startup+80.0078 s]
Raw data (loadavg): 0.81 0.29 0.14 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2387 0 0 0 7903 35 0 0 25 0 1 0 1800621368 9080832 1815 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2217 1815 566 18 0 2199 0
[pid=14140] vsize: 8868
Current children cumulated CPU time (s) 79.38
Current children cumulated vsize (Kb) 8868

[startup+90.0084 s]
Raw data (loadavg): 0.84 0.31 0.15 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2438 0 0 0 8894 38 0 0 25 0 1 0 1800621368 9256960 1847 4294967295 134512640 134578447 3221224624 3221223420 134528977 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2260 1847 566 18 0 2242 0
[pid=14140] vsize: 9040
Current children cumulated CPU time (s) 89.32
Current children cumulated vsize (Kb) 9040

[startup+100.008 s]
Raw data (loadavg): 0.86 0.33 0.16 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2460 0 0 0 9885 42 0 0 25 0 1 0 1800621368 9207808 1847 4294967295 134512640 134578447 3221224624 3221221008 134533183 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2248 1847 566 18 0 2230 0
[pid=14140] vsize: 8992
Current children cumulated CPU time (s) 99.27
Current children cumulated vsize (Kb) 8992

[startup+110.009 s]
Raw data (loadavg): 0.95 0.37 0.17 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2873 0 0 0 10876 45 0 0 25 0 1 0 1800621368 10342400 2102 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2525 2102 566 18 0 2507 0
[pid=14140] vsize: 10100
Current children cumulated CPU time (s) 109.21
Current children cumulated vsize (Kb) 10100

[startup+120.009 s]
Raw data (loadavg): 0.96 0.39 0.18 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2897 0 0 0 11870 48 0 0 25 0 1 0 1800621368 9748480 1979 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2380 1979 566 18 0 2362 0
[pid=14140] vsize: 9520
Current children cumulated CPU time (s) 119.18
Current children cumulated vsize (Kb) 9520

[startup+130.009 s]
Raw data (loadavg): 0.97 0.41 0.19 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2897 0 0 0 12863 51 0 0 25 0 1 0 1800621368 9748480 1979 4294967295 134512640 134578447 3221224624 3221223296 134522536 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2380 1979 566 18 0 2362 0
[pid=14140] vsize: 9520
Current children cumulated CPU time (s) 129.14
Current children cumulated vsize (Kb) 9520

[startup+140.01 s]
Raw data (loadavg): 0.97 0.43 0.20 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 2969 0 0 0 13853 54 0 0 25 0 1 0 1800621368 9883648 1989 4294967295 134512640 134578447 3221224624 3221223584 134526683 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2413 1989 566 18 0 2395 0
[pid=14140] vsize: 9652
Current children cumulated CPU time (s) 139.07
Current children cumulated vsize (Kb) 9652

[startup+150.01 s]
Raw data (loadavg): 0.98 0.45 0.21 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3118 0 0 0 14846 57 0 0 25 0 1 0 1800621368 10170368 2065 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2483 2065 566 18 0 2465 0
[pid=14140] vsize: 9932
Current children cumulated CPU time (s) 149.03
Current children cumulated vsize (Kb) 9932

[startup+160.01 s]
Raw data (loadavg): 0.98 0.47 0.21 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3174 0 0 0 15837 60 0 0 25 0 1 0 1800621368 10280960 2109 4294967295 134512640 134578447 3221224624 3221223376 134528917 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2510 2109 566 18 0 2492 0
[pid=14140] vsize: 10040
Current children cumulated CPU time (s) 158.97
Current children cumulated vsize (Kb) 10040

[startup+170.01 s]
Raw data (loadavg): 0.98 0.48 0.22 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 16827 64 0 0 25 0 1 0 1800621368 10342400 2116 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2525 2116 566 18 0 2507 0
[pid=14140] vsize: 10100
Current children cumulated CPU time (s) 168.91
Current children cumulated vsize (Kb) 10100

[startup+180.011 s]
Raw data (loadavg): 0.98 0.50 0.23 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 17817 67 0 0 25 0 1 0 1800621368 10342400 2116 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2525 2116 566 18 0 2507 0
[pid=14140] vsize: 10100
Current children cumulated CPU time (s) 178.84
Current children cumulated vsize (Kb) 10100

[startup+190.012 s]
Raw data (loadavg): 0.99 0.52 0.24 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 18809 70 0 0 25 0 1 0 1800621368 10113024 2068 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2469 2068 566 18 0 2451 0
[pid=14140] vsize: 9876
Current children cumulated CPU time (s) 188.79
Current children cumulated vsize (Kb) 9876

[startup+200.012 s]
Raw data (loadavg): 0.99 0.53 0.24 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 19797 74 0 0 25 0 1 0 1800621368 10113024 2068 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2469 2068 566 18 0 2451 0
[pid=14140] vsize: 9876
Current children cumulated CPU time (s) 198.71
Current children cumulated vsize (Kb) 9876

[startup+210.013 s]
Raw data (loadavg): 0.99 0.55 0.25 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 20786 78 0 0 25 0 1 0 1800621368 10113024 2068 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2469 2068 566 18 0 2451 0
[pid=14140] vsize: 9876
Current children cumulated CPU time (s) 208.64
Current children cumulated vsize (Kb) 9876

[startup+220.014 s]
Raw data (loadavg): 0.99 0.56 0.26 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 21779 80 0 0 25 0 1 0 1800621368 9900032 2016 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2417 2016 566 18 0 2399 0
[pid=14140] vsize: 9668
Current children cumulated CPU time (s) 218.59
Current children cumulated vsize (Kb) 9668

[startup+230.014 s]
Raw data (loadavg): 0.99 0.57 0.27 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 22770 83 0 0 25 0 1 0 1800621368 9900032 2016 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2417 2016 566 18 0 2399 0
[pid=14140] vsize: 9668
Current children cumulated CPU time (s) 228.53
Current children cumulated vsize (Kb) 9668

[startup+240.014 s]
Raw data (loadavg): 0.99 0.59 0.28 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 23761 86 0 0 25 0 1 0 1800621368 9900032 2016 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2417 2016 566 18 0 2399 0
[pid=14140] vsize: 9668
Current children cumulated CPU time (s) 238.47
Current children cumulated vsize (Kb) 9668

[startup+250.015 s]
Raw data (loadavg): 0.99 0.60 0.28 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3181 0 0 0 24751 90 0 0 25 0 1 0 1800621368 9900032 2016 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2417 2016 566 18 0 2399 0
[pid=14140] vsize: 9668
Current children cumulated CPU time (s) 248.41
Current children cumulated vsize (Kb) 9668

[startup+260.015 s]
Raw data (loadavg): 0.99 0.61 0.29 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3187 0 0 0 25740 94 0 0 25 0 1 0 1800621368 10039296 2022 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2451 2022 566 18 0 2433 0
[pid=14140] vsize: 9804
Current children cumulated CPU time (s) 258.34
Current children cumulated vsize (Kb) 9804

[startup+270.016 s]
Raw data (loadavg): 0.99 0.63 0.30 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3187 0 0 0 26728 98 0 0 25 0 1 0 1800621368 10039296 2022 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2451 2022 566 18 0 2433 0
[pid=14140] vsize: 9804
Current children cumulated CPU time (s) 268.26
Current children cumulated vsize (Kb) 9804

[startup+280.015 s]
Raw data (loadavg): 0.99 0.64 0.30 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3589 0 0 0 27717 102 0 0 25 0 1 0 1800621368 11264000 2346 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2750 2346 566 18 0 2732 0
[pid=14140] vsize: 11000
Current children cumulated CPU time (s) 278.19
Current children cumulated vsize (Kb) 11000

[startup+290.015 s]
Raw data (loadavg): 0.99 0.65 0.31 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3589 0 0 0 28709 104 0 0 25 0 1 0 1800621368 11264000 2346 4294967295 134512640 134578447 3221224624 3221223376 134528814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2750 2346 566 18 0 2732 0
[pid=14140] vsize: 11000
Current children cumulated CPU time (s) 288.13
Current children cumulated vsize (Kb) 11000

[startup+300.016 s]
Raw data (loadavg): 0.99 0.66 0.32 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3589 0 0 0 29695 109 0 0 25 0 1 0 1800621368 11264000 2346 4294967295 134512640 134578447 3221224624 3221223376 134528920 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2750 2346 566 18 0 2732 0
[pid=14140] vsize: 11000
Current children cumulated CPU time (s) 298.04
Current children cumulated vsize (Kb) 11000

[startup+310.015 s]
Raw data (loadavg): 0.99 0.67 0.32 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3589 0 0 0 30680 113 0 0 25 0 1 0 1800621368 11264000 2346 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2750 2346 566 18 0 2732 0
[pid=14140] vsize: 11000
Current children cumulated CPU time (s) 307.93
Current children cumulated vsize (Kb) 11000

[startup+320.016 s]
Raw data (loadavg): 0.99 0.68 0.33 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3589 0 0 0 31666 118 0 0 25 0 1 0 1800621368 11264000 2346 4294967295 134512640 134578447 3221224624 3221223476 134555895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2750 2346 566 18 0 2732 0
[pid=14140] vsize: 11000
Current children cumulated CPU time (s) 317.84
Current children cumulated vsize (Kb) 11000

[startup+330.017 s]
Raw data (loadavg): 0.99 0.69 0.34 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3605 0 0 0 32653 123 0 0 25 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223536 134516820 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 327.76
Current children cumulated vsize (Kb) 11140

[startup+340.016 s]
Raw data (loadavg): 0.99 0.70 0.34 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3605 0 0 0 33640 128 0 0 25 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 337.68
Current children cumulated vsize (Kb) 11140

[startup+350.017 s]
Raw data (loadavg): 0.99 0.71 0.35 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3605 0 0 0 34629 131 0 0 25 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 347.6
Current children cumulated vsize (Kb) 11140

[startup+360.018 s]
Raw data (loadavg): 0.99 0.72 0.36 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3605 0 0 0 35616 136 0 0 25 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 357.52
Current children cumulated vsize (Kb) 11140

[startup+370.018 s]
Raw data (loadavg): 0.99 0.73 0.36 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3605 0 0 0 36605 140 0 0 25 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 367.45
Current children cumulated vsize (Kb) 11140

[startup+380.019 s]
Raw data (loadavg): 0.99 0.74 0.37 1/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) T 14139 14140 15400 0 -1 0 3605 0 0 0 37594 144 0 0 25 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 377.38
Current children cumulated vsize (Kb) 11140

[startup+390.018 s]
Raw data (loadavg): 0.99 0.74 0.38 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3605 0 0 0 38583 149 0 0 22 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 387.32
Current children cumulated vsize (Kb) 11140

[startup+400.019 s]
Raw data (loadavg): 0.99 0.75 0.38 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3605 0 0 0 39572 153 0 0 25 0 1 0 1800621368 11407360 2362 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2785 2362 566 18 0 2767 0
[pid=14140] vsize: 11140
Current children cumulated CPU time (s) 397.25
Current children cumulated vsize (Kb) 11140

[startup+410.02 s]
Raw data (loadavg): 0.99 0.76 0.39 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3674 0 0 0 40559 158 0 0 25 0 1 0 1800621368 11366400 2374 4294967295 134512640 134578447 3221224624 3221223196 1075285664 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2775 2374 566 18 0 2757 0
[pid=14140] vsize: 11100
Current children cumulated CPU time (s) 407.17
Current children cumulated vsize (Kb) 11100

[startup+420.02 s]
Raw data (loadavg): 0.99 0.77 0.39 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3674 0 0 0 41550 161 0 0 25 0 1 0 1800621368 11366400 2374 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2775 2374 566 18 0 2757 0
[pid=14140] vsize: 11100
Current children cumulated CPU time (s) 417.11
Current children cumulated vsize (Kb) 11100

[startup+430.021 s]
Raw data (loadavg): 0.99 0.77 0.40 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3683 0 0 0 42538 165 0 0 25 0 1 0 1800621368 11517952 2383 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2812 2383 566 18 0 2794 0
[pid=14140] vsize: 11248
Current children cumulated CPU time (s) 427.03
Current children cumulated vsize (Kb) 11248

[startup+440.021 s]
Raw data (loadavg): 0.99 0.78 0.41 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3696 0 0 0 43528 168 0 0 25 0 1 0 1800621368 11497472 2396 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2807 2396 566 18 0 2789 0
[pid=14140] vsize: 11228
Current children cumulated CPU time (s) 436.96
Current children cumulated vsize (Kb) 11228

[startup+450.021 s]
Raw data (loadavg): 0.99 0.79 0.41 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3726 0 0 0 44516 172 0 0 25 0 1 0 1800621368 11567104 2423 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2824 2423 566 18 0 2806 0
[pid=14140] vsize: 11296
Current children cumulated CPU time (s) 446.88
Current children cumulated vsize (Kb) 11296

[startup+460.021 s]
Raw data (loadavg): 0.99 0.80 0.42 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3726 0 0 0 45506 175 0 0 25 0 1 0 1800621368 11567104 2423 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2824 2423 566 18 0 2806 0
[pid=14140] vsize: 11296
Current children cumulated CPU time (s) 456.81
Current children cumulated vsize (Kb) 11296

[startup+470.022 s]
Raw data (loadavg): 0.99 0.80 0.42 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3726 0 0 0 46493 180 0 0 25 0 1 0 1800621368 11567104 2423 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2824 2423 566 18 0 2806 0
[pid=14140] vsize: 11296
Current children cumulated CPU time (s) 466.73
Current children cumulated vsize (Kb) 11296

[startup+480.022 s]
Raw data (loadavg): 0.99 0.81 0.43 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3728 0 0 0 47479 184 0 0 25 0 1 0 1800621368 11669504 2425 4294967295 134512640 134578447 3221224624 3221223456 134528563 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2849 2425 566 18 0 2831 0
[pid=14140] vsize: 11396
Current children cumulated CPU time (s) 476.63
Current children cumulated vsize (Kb) 11396

[startup+490.022 s]
Raw data (loadavg): 0.99 0.81 0.43 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3750 0 0 0 48471 187 0 0 25 0 1 0 1800621368 11669504 2447 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2849 2447 566 18 0 2831 0
[pid=14140] vsize: 11396
Current children cumulated CPU time (s) 486.58
Current children cumulated vsize (Kb) 11396

[startup+500.022 s]
Raw data (loadavg): 0.99 0.82 0.44 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3750 0 0 0 49462 189 0 0 25 0 1 0 1800621368 11669504 2447 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2849 2447 566 18 0 2831 0
[pid=14140] vsize: 11396
Current children cumulated CPU time (s) 496.51
Current children cumulated vsize (Kb) 11396

[startup+510.023 s]
Raw data (loadavg): 0.99 0.82 0.45 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3776 0 0 0 50454 194 0 0 25 0 1 0 1800621368 11689984 2453 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2854 2453 566 18 0 2836 0
[pid=14140] vsize: 11416
Current children cumulated CPU time (s) 506.48
Current children cumulated vsize (Kb) 11416

[startup+520.024 s]
Raw data (loadavg): 0.99 0.83 0.45 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3790 0 0 0 51446 196 0 0 25 0 1 0 1800621368 11689984 2453 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2854 2453 566 18 0 2836 0
[pid=14140] vsize: 11416
Current children cumulated CPU time (s) 516.42
Current children cumulated vsize (Kb) 11416

[startup+530.024 s]
Raw data (loadavg): 0.99 0.83 0.46 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3790 0 0 0 52436 200 0 0 25 0 1 0 1800621368 11689984 2453 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2854 2453 566 18 0 2836 0
[pid=14140] vsize: 11416
Current children cumulated CPU time (s) 526.36
Current children cumulated vsize (Kb) 11416

[startup+540.025 s]
Raw data (loadavg): 0.99 0.84 0.46 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3790 0 0 0 53430 203 0 0 25 0 1 0 1800621368 11689984 2453 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2854 2453 566 18 0 2836 0
[pid=14140] vsize: 11416
Current children cumulated CPU time (s) 536.33
Current children cumulated vsize (Kb) 11416

[startup+550.025 s]
Raw data (loadavg): 0.99 0.84 0.47 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3790 0 0 0 54421 206 0 0 25 0 1 0 1800621368 11689984 2453 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2854 2453 566 18 0 2836 0
[pid=14140] vsize: 11416
Current children cumulated CPU time (s) 546.27
Current children cumulated vsize (Kb) 11416

[startup+560.024 s]
Raw data (loadavg): 0.99 0.85 0.47 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3790 0 0 0 55412 209 0 0 25 0 1 0 1800621368 11689984 2453 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2854 2453 566 18 0 2836 0
[pid=14140] vsize: 11416
Current children cumulated CPU time (s) 556.21
Current children cumulated vsize (Kb) 11416

[startup+570.025 s]
Raw data (loadavg): 0.99 0.85 0.48 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3790 0 0 0 56406 211 0 0 25 0 1 0 1800621368 11689984 2453 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2854 2453 566 18 0 2836 0
[pid=14140] vsize: 11416
Current children cumulated CPU time (s) 566.17
Current children cumulated vsize (Kb) 11416

[startup+580.025 s]
Raw data (loadavg): 0.99 0.86 0.48 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3813 0 0 0 57397 214 0 0 25 0 1 0 1800621368 11870208 2476 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 2898 2476 566 18 0 2880 0
[pid=14140] vsize: 11592
Current children cumulated CPU time (s) 576.11
Current children cumulated vsize (Kb) 11592

[startup+590.024 s]
Raw data (loadavg): 0.99 0.86 0.49 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3901 0 0 0 58387 217 0 0 25 0 1 0 1800621368 12099584 2553 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 2954 2553 566 18 0 2936 0
[pid=14140] vsize: 11816
Current children cumulated CPU time (s) 586.04
Current children cumulated vsize (Kb) 11816

[startup+600.025 s]
Raw data (loadavg): 0.99 0.87 0.49 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3999 0 0 0 59375 222 0 0 25 0 1 0 1800621368 12513280 2651 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3055 2651 566 18 0 3037 0
[pid=14140] vsize: 12220
Current children cumulated CPU time (s) 595.97
Current children cumulated vsize (Kb) 12220

[startup+610.025 s]
Raw data (loadavg): 0.99 0.87 0.50 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3999 0 0 0 60363 226 0 0 25 0 1 0 1800621368 12513280 2651 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3055 2651 566 18 0 3037 0
[pid=14140] vsize: 12220
Current children cumulated CPU time (s) 605.89
Current children cumulated vsize (Kb) 12220

[startup+620.026 s]
Raw data (loadavg): 0.99 0.87 0.50 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3999 0 0 0 61352 229 0 0 25 0 1 0 1800621368 12513280 2651 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3055 2651 566 18 0 3037 0
[pid=14140] vsize: 12220
Current children cumulated CPU time (s) 615.81
Current children cumulated vsize (Kb) 12220

[startup+630.027 s]
Raw data (loadavg): 0.99 0.88 0.51 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3999 0 0 0 62341 233 0 0 25 0 1 0 1800621368 12513280 2651 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3055 2651 566 18 0 3037 0
[pid=14140] vsize: 12220
Current children cumulated CPU time (s) 625.74
Current children cumulated vsize (Kb) 12220

[startup+640.026 s]
Raw data (loadavg): 0.99 0.88 0.51 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3999 0 0 0 63330 238 0 0 25 0 1 0 1800621368 12513280 2651 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3055 2651 566 18 0 3037 0
[pid=14140] vsize: 12220
Current children cumulated CPU time (s) 635.68
Current children cumulated vsize (Kb) 12220

[startup+650.027 s]
Raw data (loadavg): 0.99 0.88 0.52 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 3999 0 0 0 64321 241 0 0 25 0 1 0 1800621368 12513280 2651 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3055 2651 566 18 0 3037 0
[pid=14140] vsize: 12220
Current children cumulated CPU time (s) 645.62
Current children cumulated vsize (Kb) 12220

[startup+660.027 s]
Raw data (loadavg): 0.99 0.89 0.52 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4063 0 0 0 65311 243 0 0 25 0 1 0 1800621368 12791808 2715 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3123 2715 566 18 0 3105 0
[pid=14140] vsize: 12492
Current children cumulated CPU time (s) 655.54
Current children cumulated vsize (Kb) 12492

[startup+670.027 s]
Raw data (loadavg): 0.99 0.89 0.53 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4098 0 0 0 66301 247 0 0 25 0 1 0 1800621368 12935168 2750 4294967295 134512640 134578447 3221224624 3221223376 134528872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3158 2750 566 18 0 3140 0
[pid=14140] vsize: 12632
Current children cumulated CPU time (s) 665.48
Current children cumulated vsize (Kb) 12632

[startup+680.028 s]
Raw data (loadavg): 0.99 0.89 0.53 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4118 0 0 0 67291 250 0 0 25 0 1 0 1800621368 12955648 2762 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3163 2762 566 18 0 3145 0
[pid=14140] vsize: 12652
Current children cumulated CPU time (s) 675.41
Current children cumulated vsize (Kb) 12652

[startup+690.029 s]
Raw data (loadavg): 0.99 0.90 0.54 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4125 0 0 0 68280 255 0 0 25 0 1 0 1800621368 12955648 2762 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3163 2762 566 18 0 3145 0
[pid=14140] vsize: 12652
Current children cumulated CPU time (s) 685.35
Current children cumulated vsize (Kb) 12652

[startup+700.029 s]
Raw data (loadavg): 0.99 0.90 0.54 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4125 0 0 0 69273 258 0 0 25 0 1 0 1800621368 12955648 2762 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3163 2762 566 18 0 3145 0
[pid=14140] vsize: 12652
Current children cumulated CPU time (s) 695.31
Current children cumulated vsize (Kb) 12652

[startup+710.029 s]
Raw data (loadavg): 0.99 0.90 0.55 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4125 0 0 0 70265 261 0 0 25 0 1 0 1800621368 12931072 2756 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3157 2756 566 18 0 3139 0
[pid=14140] vsize: 12628
Current children cumulated CPU time (s) 705.26
Current children cumulated vsize (Kb) 12628

[startup+720.029 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) T 14139 14140 15400 0 -1 0 4209 0 0 0 71256 264 0 0 25 0 1 0 1800621368 13303808 2840 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3248 2840 566 18 0 3230 0
[pid=14140] vsize: 12992
Current children cumulated CPU time (s) 715.2
Current children cumulated vsize (Kb) 12992

[startup+730.029 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4311 0 0 0 72246 268 0 0 25 0 1 0 1800621368 13365248 2862 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3263 2862 566 18 0 3245 0
[pid=14140] vsize: 13052
Current children cumulated CPU time (s) 725.14
Current children cumulated vsize (Kb) 13052

[startup+740.03 s]
Raw data (loadavg): 0.99 0.91 0.56 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4318 0 0 0 73239 271 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 735.1
Current children cumulated vsize (Kb) 12824

[startup+750.03 s]
Raw data (loadavg): 0.99 0.91 0.56 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4334 0 0 0 74223 277 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 745
Current children cumulated vsize (Kb) 12824

[startup+760.03 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4334 0 0 0 75203 283 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 754.86
Current children cumulated vsize (Kb) 12824

[startup+770.031 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4334 0 0 0 76184 290 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 764.74
Current children cumulated vsize (Kb) 12824

[startup+780.031 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4334 0 0 0 77163 296 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 774.59
Current children cumulated vsize (Kb) 12824

[startup+790.031 s]
Raw data (loadavg): 0.99 0.92 0.58 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4334 0 0 0 78144 303 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223456 134528432 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 784.47
Current children cumulated vsize (Kb) 12824

[startup+800.032 s]
Raw data (loadavg): 0.99 0.92 0.58 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4433 0 0 0 79128 309 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 794.37
Current children cumulated vsize (Kb) 12824

[startup+810.032 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4433 0 0 0 80114 315 0 0 25 0 1 0 1800621368 13131776 2805 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3206 2805 566 18 0 3188 0
[pid=14140] vsize: 12824
Current children cumulated CPU time (s) 804.29
Current children cumulated vsize (Kb) 12824

[startup+820.033 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4446 0 0 0 81096 322 0 0 25 0 1 0 1800621368 13254656 2818 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3236 2818 566 18 0 3218 0
[pid=14140] vsize: 12944
Current children cumulated CPU time (s) 814.18
Current children cumulated vsize (Kb) 12944

[startup+830.033 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4446 0 0 0 82080 329 0 0 25 0 1 0 1800621368 13254656 2818 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3236 2818 566 18 0 3218 0
[pid=14140] vsize: 12944
Current children cumulated CPU time (s) 824.09
Current children cumulated vsize (Kb) 12944

[startup+840.033 s]
Raw data (loadavg): 0.99 0.93 0.60 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4446 0 0 0 83063 335 0 0 25 0 1 0 1800621368 13254656 2818 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3236 2818 566 18 0 3218 0
[pid=14140] vsize: 12944
Current children cumulated CPU time (s) 833.98
Current children cumulated vsize (Kb) 12944

[startup+850.034 s]
Raw data (loadavg): 0.99 0.93 0.60 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 84052 339 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223296 134522536 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 843.91
Current children cumulated vsize (Kb) 13624

[startup+860.034 s]
Raw data (loadavg): 0.99 0.93 0.60 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 85041 345 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 853.86
Current children cumulated vsize (Kb) 13624

[startup+870.035 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 86030 349 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 863.79
Current children cumulated vsize (Kb) 13624

[startup+880.035 s]
Raw data (loadavg): 0.99 0.94 0.61 1/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) T 14139 14140 15400 0 -1 0 4610 0 0 0 87021 352 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 873.73
Current children cumulated vsize (Kb) 13624

[startup+890.035 s]
Raw data (loadavg): 0.99 0.94 0.62 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 88012 354 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 883.66
Current children cumulated vsize (Kb) 13624

[startup+900.036 s]
Raw data (loadavg): 0.99 0.94 0.62 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 89006 357 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 893.63
Current children cumulated vsize (Kb) 13624

[startup+910.037 s]
Raw data (loadavg): 0.99 0.94 0.62 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 89999 359 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 903.58
Current children cumulated vsize (Kb) 13624

[startup+920.037 s]
Raw data (loadavg): 0.99 0.94 0.63 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 90992 362 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 913.54
Current children cumulated vsize (Kb) 13624

[startup+930.038 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 91984 364 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 923.48
Current children cumulated vsize (Kb) 13624

[startup+940.037 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 92976 367 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 933.43
Current children cumulated vsize (Kb) 13624

[startup+950.038 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 93968 371 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 943.39
Current children cumulated vsize (Kb) 13624

[startup+960.039 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4610 0 0 0 94959 375 0 0 25 0 1 0 1800621368 13950976 2982 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3406 2982 566 18 0 3388 0
[pid=14140] vsize: 13624
Current children cumulated CPU time (s) 953.34
Current children cumulated vsize (Kb) 13624

[startup+970.039 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 95951 379 0 0 25 0 1 0 1800621368 14094336 3018 4294967295 134512640 134578447 3221224624 3221223504 134527761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3441 3018 566 18 0 3423 0
[pid=14140] vsize: 13764
Current children cumulated CPU time (s) 963.3
Current children cumulated vsize (Kb) 13764

[startup+980.04 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 96942 382 0 0 25 0 1 0 1800621368 14094336 3018 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3441 3018 566 18 0 3423 0
[pid=14140] vsize: 13764
Current children cumulated CPU time (s) 973.24
Current children cumulated vsize (Kb) 13764

[startup+990.041 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 97935 385 0 0 25 0 1 0 1800621368 14094336 3018 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3441 3018 566 18 0 3423 0
[pid=14140] vsize: 13764
Current children cumulated CPU time (s) 983.2
Current children cumulated vsize (Kb) 13764

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 98929 388 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 993.17
Current children cumulated vsize (Kb) 13640

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.95 0.66 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 99921 390 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1003.11
Current children cumulated vsize (Kb) 13640

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.95 0.66 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 100913 393 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1013.06
Current children cumulated vsize (Kb) 13640

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.95 0.66 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 101903 396 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1022.99
Current children cumulated vsize (Kb) 13640

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 102893 400 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1032.93
Current children cumulated vsize (Kb) 13640

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.96 0.67 1/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) T 14139 14140 15400 0 -1 0 4646 0 0 0 103883 404 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1042.87
Current children cumulated vsize (Kb) 13640

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 104870 409 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1052.79
Current children cumulated vsize (Kb) 13640

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 105861 412 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1062.73
Current children cumulated vsize (Kb) 13640

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 106852 416 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1072.68
Current children cumulated vsize (Kb) 13640

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 107843 419 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1082.62
Current children cumulated vsize (Kb) 13640

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 108836 422 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1092.58
Current children cumulated vsize (Kb) 13640

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.96 0.69 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 109825 427 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1102.52
Current children cumulated vsize (Kb) 13640

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.96 0.69 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 110816 431 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1112.47
Current children cumulated vsize (Kb) 13640

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.96 0.69 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 111805 434 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223408 134531794 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (Kb) 13640

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 112795 437 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1132.32
Current children cumulated vsize (Kb) 13640

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 113783 440 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1142.23
Current children cumulated vsize (Kb) 13640

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 114770 445 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1152.15
Current children cumulated vsize (Kb) 13640

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 115757 450 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1162.07
Current children cumulated vsize (Kb) 13640

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 116744 454 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1171.98
Current children cumulated vsize (Kb) 13640

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.71 2/56 14140
Raw data (/proc/14140/stat): 14140 (Pueblo) R 14139 14140 15400 0 -1 0 4646 0 0 0 117733 458 0 0 25 0 1 0 1800621368 13967360 3009 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14140/statm): 3410 3009 566 18 0 3392 0
[pid=14140] vsize: 13640
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (Kb) 13640
One traced child (pid=14140) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1197.41
CPU time (s): 1189.22
CPU user time (s): 1184.6
CPU system time (s): 4.6263
CPU usage (%): 99.3167
Max. virtual memory (cumulated for all children) (Kb): 13764

Verifier Data

Verifier:	OK	313