PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	465
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 23435

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 14:34:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=529 boxname=wulflinc31 idbench=59 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc31/normalized-5xp1.b.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-5xp1.b.opb
IDLAUNCH: 529
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        920072 kB
Buffers:         40080 kB
Cached:          52408 kB
SwapCached:        944 kB
Active:          77676 kB
Inactive:        17240 kB
HighTotal:      131008 kB
HighFree:        77700 kB
LowTotal:       903652 kB
LowFree:        842372 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14196 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 14:50:35 (client local time) WITH STATUS 30 IN 969.498 SECONDS
stats: 529 0 969.498 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-5xp1.b.opb
c #variables read: 465 - #constraints read: 858
c optimum objective found = 12
s OPTIMUM FOUND
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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.97 2/54 3073
Raw data (stat): 3073 (runsolver) R 3072 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 649514972 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.88 0.94 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 707 0 0 0 992 5 0 0 25 0 1 0 649514972 8589312 684 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2097 684 566 18 0 2079 0
vsize: 8388
[startup+20.002 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 724 0 0 0 1990 7 0 0 25 0 1 0 649514972 8589312 701 4294967295 134512640 134581331 3221221808 3221220720 134527955 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2097 701 566 18 0 2079 0
vsize: 8388
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.94 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 803 0 0 0 2988 9 0 0 25 0 1 0 649514972 8986624 780 4294967295 134512640 134581331 3221221808 3221220720 134527973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2194 780 566 18 0 2176 0
vsize: 8776
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 808 0 0 0 3986 11 0 0 25 0 1 0 649514972 8982528 785 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2193 785 566 18 0 2175 0
vsize: 8772
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 808 0 0 0 4983 15 0 0 25 0 1 0 649514972 8982528 785 4294967295 134512640 134581331 3221221808 3221220528 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2193 785 566 18 0 2175 0
vsize: 8772
[startup+60.0041 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 821 0 0 0 5979 19 0 0 25 0 1 0 649514972 8982528 798 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2193 798 566 18 0 2175 0
vsize: 8772
[startup+70.0048 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 851 0 0 0 6977 21 0 0 25 0 1 0 649514972 9060352 828 4294967295 134512640 134581331 3221221808 3221220720 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2212 828 566 18 0 2194 0
vsize: 8848
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 861 0 0 0 7975 23 0 0 25 0 1 0 649514972 9199616 838 4294967295 134512640 134581331 3221221808 3221220776 134527292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2246 838 566 18 0 2228 0
vsize: 8984
[startup+90.0046 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 884 0 0 0 8974 24 0 0 25 0 1 0 649514972 9203712 861 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2247 861 566 18 0 2229 0
vsize: 8988
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 892 0 0 0 9972 27 0 0 25 0 1 0 649514972 9342976 869 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 869 566 18 0 2263 0
vsize: 9124
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 895 0 0 0 10970 29 0 0 25 0 1 0 649514972 9334784 872 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2279 872 566 18 0 2261 0
vsize: 9116
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 902 0 0 0 11968 31 0 0 25 0 1 0 649514972 9334784 879 4294967295 134512640 134581331 3221221808 3221220704 134527841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2279 879 566 18 0 2261 0
vsize: 9116
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 902 0 0 0 12966 33 0 0 25 0 1 0 649514972 9334784 879 4294967295 134512640 134581331 3221221808 3221220780 134527304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2279 879 566 18 0 2261 0
vsize: 9116
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 915 0 0 0 13964 35 0 0 25 0 1 0 649514972 9334784 892 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2279 892 566 18 0 2261 0
vsize: 9116
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 915 0 0 0 14963 36 0 0 25 0 1 0 649514972 9334784 892 4294967295 134512640 134581331 3221221808 3221220752 134516842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2279 892 566 18 0 2261 0
vsize: 9116
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 928 0 0 0 15961 38 0 0 25 0 1 0 649514972 9449472 905 4294967295 134512640 134581331 3221221808 3221220720 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2307 905 566 18 0 2289 0
vsize: 9228
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 928 0 0 0 16960 40 0 0 25 0 1 0 649514972 9449472 905 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2307 905 566 18 0 2289 0
vsize: 9228
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 952 0 0 0 17958 42 0 0 25 0 1 0 649514972 9588736 929 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 929 566 18 0 2323 0
vsize: 9364
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 952 0 0 0 18955 45 0 0 25 0 1 0 649514972 9588736 929 4294967295 134512640 134581331 3221221808 3221220796 134561090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 929 566 18 0 2323 0
vsize: 9364
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 975 0 0 0 19953 47 0 0 25 0 1 0 649514972 9588736 952 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 952 566 18 0 2323 0
vsize: 9364
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 985 0 0 0 20951 49 0 0 25 0 1 0 649514972 9682944 962 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2364 962 566 18 0 2346 0
vsize: 9456
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 985 0 0 0 21950 51 0 0 25 0 1 0 649514972 9674752 962 4294967295 134512640 134581331 3221221808 3221220720 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2362 962 566 18 0 2344 0
vsize: 9448
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 22948 53 0 0 25 0 1 0 649514972 9814016 988 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2396 988 566 18 0 2378 0
vsize: 9584
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 23946 55 0 0 25 0 1 0 649514972 9814016 988 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2396 988 566 18 0 2378 0
vsize: 9584
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 24945 56 0 0 25 0 1 0 649514972 9695232 984 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2367 984 566 18 0 2349 0
vsize: 9468
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 25943 58 0 0 25 0 1 0 649514972 9691136 983 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2366 983 566 18 0 2348 0
vsize: 9464
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 26942 60 0 0 25 0 1 0 649514972 9687040 982 4294967295 134512640 134581331 3221221808 3221220672 134528184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2365 982 566 18 0 2347 0
vsize: 9460
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 27939 62 0 0 25 0 1 0 649514972 9682944 981 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2364 981 566 18 0 2346 0
vsize: 9456
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 28937 65 0 0 25 0 1 0 649514972 9666560 977 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2360 977 566 18 0 2342 0
vsize: 9440
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1011 0 0 0 29937 65 0 0 25 0 1 0 649514972 9666560 977 4294967295 134512640 134581331 3221221808 3221220672 134528248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2360 977 566 18 0 2342 0
vsize: 9440
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1041 0 0 0 30933 69 0 0 25 0 1 0 649514972 9805824 1007 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2394 1007 566 18 0 2376 0
vsize: 9576
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1041 0 0 0 31932 71 0 0 25 0 1 0 649514972 9805824 1007 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2394 1007 566 18 0 2376 0
vsize: 9576
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 32931 71 0 0 25 0 1 0 649514972 10076160 1053 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2460 1053 566 18 0 2442 0
vsize: 9840
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 33929 74 0 0 25 0 1 0 649514972 10063872 1053 4294967295 134512640 134581331 3221221808 3221220720 134527709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2457 1053 566 18 0 2439 0
vsize: 9828
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 34928 75 0 0 25 0 1 0 649514972 10043392 1053 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2452 1053 566 18 0 2434 0
vsize: 9808
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 35926 77 0 0 25 0 1 0 649514972 10043392 1053 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2452 1053 566 18 0 2434 0
vsize: 9808
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 36923 80 0 0 25 0 1 0 649514972 10043392 1053 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2452 1053 566 18 0 2434 0
vsize: 9808
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 37922 82 0 0 25 0 1 0 649514972 10043392 1053 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2452 1053 566 18 0 2434 0
vsize: 9808
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 38918 85 0 0 25 0 1 0 649514972 10035200 1053 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2450 1053 566 18 0 2432 0
vsize: 9800
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 39916 88 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 40913 91 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 41911 93 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 42908 96 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 43907 98 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220692 134557775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 44904 101 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 45902 103 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220752 134516859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 46898 107 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 47895 110 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 48894 112 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1087 0 0 0 49892 114 0 0 25 0 1 0 649514972 10027008 1053 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1053 566 18 0 2430 0
vsize: 9792
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1092 0 0 0 50890 116 0 0 25 0 1 0 649514972 10027008 1058 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1058 566 18 0 2430 0
vsize: 9792
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1092 0 0 0 51888 118 0 0 25 0 1 0 649514972 10027008 1058 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1058 566 18 0 2430 0
vsize: 9792
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1092 0 0 0 52886 120 0 0 25 0 1 0 649514972 10027008 1058 4294967295 134512640 134581331 3221221808 3221219424 134532306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1058 566 18 0 2430 0
vsize: 9792
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1092 0 0 0 53884 122 0 0 25 0 1 0 649514972 10027008 1058 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1058 566 18 0 2430 0
vsize: 9792
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1094 0 0 0 54882 125 0 0 25 0 1 0 649514972 10027008 1060 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1060 566 18 0 2430 0
vsize: 9792
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1094 0 0 0 55880 127 0 0 25 0 1 0 649514972 10027008 1060 4294967295 134512640 134581331 3221221808 3221220776 134519894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1060 566 18 0 2430 0
vsize: 9792
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.97 3/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1094 0 0 0 56878 129 0 0 25 0 1 0 649514972 10027008 1060 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1060 566 18 0 2430 0
vsize: 9792
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1118 0 0 0 57875 132 0 0 25 0 1 0 649514972 10153984 1084 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2479 1084 566 18 0 2461 0
vsize: 9916
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1118 0 0 0 58873 134 0 0 25 0 1 0 649514972 10153984 1084 4294967295 134512640 134581331 3221221808 3221220720 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2479 1084 566 18 0 2461 0
vsize: 9916
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1118 0 0 0 59871 137 0 0 25 0 1 0 649514972 10153984 1084 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2479 1084 566 18 0 2461 0
vsize: 9916
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1118 0 0 0 60869 139 0 0 25 0 1 0 649514972 10153984 1084 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2479 1084 566 18 0 2461 0
vsize: 9916
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1164 0 0 0 61866 142 0 0 25 0 1 0 649514972 10416128 1130 4294967295 134512640 134581331 3221221808 3221220720 134519052 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2543 1130 566 18 0 2525 0
vsize: 10172
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1164 0 0 0 62865 143 0 0 25 0 1 0 649514972 10416128 1130 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2543 1130 566 18 0 2525 0
vsize: 10172
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1164 0 0 0 63864 145 0 0 25 0 1 0 649514972 10416128 1130 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2543 1130 566 18 0 2525 0
vsize: 10172
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1164 0 0 0 64862 147 0 0 25 0 1 0 649514972 10416128 1130 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2543 1130 566 18 0 2525 0
vsize: 10172
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 65861 148 0 0 25 0 1 0 649514972 10407936 1136 4294967295 134512640 134581331 3221221808 3221219648 134531927 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1136 566 18 0 2523 0
vsize: 10164
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 66859 150 0 0 25 0 1 0 649514972 10407936 1136 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1136 566 18 0 2523 0
vsize: 10164
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 67856 153 0 0 25 0 1 0 649514972 10407936 1136 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1136 566 18 0 2523 0
vsize: 10164
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 68854 155 0 0 25 0 1 0 649514972 10407936 1136 4294967295 134512640 134581331 3221221808 3221220692 134557903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1136 566 18 0 2523 0
vsize: 10164
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 69852 157 0 0 25 0 1 0 649514972 10407936 1136 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1136 566 18 0 2523 0
vsize: 10164
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 70849 161 0 0 25 0 1 0 649514972 10407936 1136 4294967295 134512640 134581331 3221221808 3221220528 134523146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1136 566 18 0 2523 0
vsize: 10164
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 71847 163 0 0 25 0 1 0 649514972 10280960 1127 4294967295 134512640 134581331 3221221808 3221220592 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2510 1127 566 18 0 2492 0
vsize: 10040
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 72846 164 0 0 25 0 1 0 649514972 10276864 1126 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2509 1126 566 18 0 2491 0
vsize: 10036
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 73845 166 0 0 25 0 1 0 649514972 10092544 1081 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2464 1081 566 18 0 2446 0
vsize: 9856
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 74844 167 0 0 25 0 1 0 649514972 10092544 1081 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2464 1081 566 18 0 2446 0
vsize: 9856
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 75842 169 0 0 25 0 1 0 649514972 10092544 1081 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2464 1081 566 18 0 2446 0
vsize: 9856
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1170 0 0 0 76841 170 0 0 25 0 1 0 649514972 10092544 1081 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2464 1081 566 18 0 2446 0
vsize: 9856
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1181 0 0 0 77839 172 0 0 25 0 1 0 649514972 10231808 1092 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2498 1092 566 18 0 2480 0
vsize: 9992
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1213 0 0 0 78837 174 0 0 25 0 1 0 649514972 10366976 1124 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1124 566 18 0 2513 0
vsize: 10124
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 79834 177 0 0 25 0 1 0 649514972 10366976 1126 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1126 566 18 0 2513 0
vsize: 10124
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 80832 180 0 0 25 0 1 0 649514972 10366976 1126 4294967295 134512640 134581331 3221221808 3221220712 1075285904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1126 566 18 0 2513 0
vsize: 10124
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 81830 182 0 0 25 0 1 0 649514972 10366976 1126 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1126 566 18 0 2513 0
vsize: 10124
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 82829 184 0 0 25 0 1 0 649514972 10366976 1126 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1126 566 18 0 2513 0
vsize: 10124
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 83826 186 0 0 25 0 1 0 649514972 10366976 1126 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1126 566 18 0 2513 0
vsize: 10124
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 84824 188 0 0 25 0 1 0 649514972 10366976 1126 4294967295 134512640 134581331 3221221808 3221220720 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1126 566 18 0 2513 0
vsize: 10124
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 85822 191 0 0 25 0 1 0 649514972 10366976 1126 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1126 566 18 0 2513 0
vsize: 10124
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 86819 194 0 0 25 0 1 0 649514972 10256384 1121 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2504 1121 566 18 0 2486 0
vsize: 10016
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 87817 196 0 0 25 0 1 0 649514972 10256384 1121 4294967295 134512640 134581331 3221221808 3221220672 134528342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2504 1121 566 18 0 2486 0
vsize: 10016
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 88816 198 0 0 25 0 1 0 649514972 10252288 1120 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1120 566 18 0 2485 0
vsize: 10012
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 89815 198 0 0 25 0 1 0 649514972 10252288 1120 4294967295 134512640 134581331 3221221808 3221220752 134516842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1120 566 18 0 2485 0
vsize: 10012
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 90813 200 0 0 25 0 1 0 649514972 10252288 1120 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1120 566 18 0 2485 0
vsize: 10012
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 91811 203 0 0 25 0 1 0 649514972 10252288 1120 4294967295 134512640 134581331 3221221808 3221220528 134522603 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1120 566 18 0 2485 0
vsize: 10012
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 92808 206 0 0 25 0 1 0 649514972 10252288 1120 4294967295 134512640 134581331 3221221808 3221220720 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1120 566 18 0 2485 0
vsize: 10012
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 93806 208 0 0 25 0 1 0 649514972 10252288 1120 4294967295 134512640 134581331 3221221808 3221220528 134523183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2503 1120 566 18 0 2485 0
vsize: 10012
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 94804 210 0 0 25 0 1 0 649514972 10244096 1118 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1118 566 18 0 2483 0
vsize: 10004
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 95803 212 0 0 25 0 1 0 649514972 10244096 1118 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1118 566 18 0 2483 0
vsize: 10004
[startup+969.377 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 3073
Raw data (stat): 3073 (Pueblo) R 3072 7876 7672 0 -1 0 1215 0 0 0 95803 212 0 0 25 0 1 0 649514972 10244096 1118 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1118 566 18 0 2483 0
vsize: 0

Child status: 30
Real time (s): 969.376
CPU time (s): 969.498
CPU user time (s): 967.36
CPU system time (s): 2.13768
CPU usage (%): 100.012
Max. virtual memory (Kb): 10172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	12
#### END VERIFIER DATA ####