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/primes-dimacs-cnf/normalized-ii32b1.opb
MD5SUM	c4653389ddee2820797c664a0856c651
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	456
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	456
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	456
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.02784
Number of variables	456
Total number of constraints	1602
Number of constraints which are clauses	1602
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 38355

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 07:39:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26417 boxname=wulflinc1 idbench=147 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  c4653389ddee2820797c664a0856c651  /oldhome/oroussel/tmp/wulflinc1/normalized-ii32b1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii32b1.opb
IDLAUNCH: 26417
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        674564 kB
Buffers:         33892 kB
Cached:         302340 kB
SwapCached:        640 kB
Active:          67720 kB
Inactive:       270776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        674312 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            15872 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 07:59:21 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26417 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc1/normalized-ii32b1.opb
c #variables read: 456 - #constraints read: 1603
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 
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.04 1.00 0.92 2/55 31452
Raw data (stat): 31452 (runsolver) R 31451 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 791198029 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 704 0 0 0 994 4 0 0 25 0 1 0 791198029 8544256 678 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2086 678 566 18 0 2068 0
vsize: 8344
[startup+20.0007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 923 0 0 0 1990 9 0 0 25 0 1 0 791198029 9457664 897 4294967295 134512640 134581267 3221224592 3221223536 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2309 897 566 18 0 2291 0
vsize: 9236
[startup+30.0015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 923 0 0 0 2987 12 0 0 25 0 1 0 791198029 9453568 897 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2308 897 566 18 0 2290 0
vsize: 9232
[startup+40.0013 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 923 0 0 0 3982 17 0 0 25 0 1 0 791198029 9453568 897 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2308 897 566 18 0 2290 0
vsize: 9232
[startup+50.0011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 926 0 0 0 4978 21 0 0 25 0 1 0 791198029 9453568 900 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2308 900 566 18 0 2290 0
vsize: 9232
[startup+60.0009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 999 0 0 0 5973 26 0 0 25 0 1 0 791198029 9740288 973 4294967295 134512640 134581267 3221224592 3221223536 134558908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2378 973 566 18 0 2360 0
vsize: 9512
[startup+70.0007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1020 0 0 0 6967 32 0 0 25 0 1 0 791198029 9838592 994 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2402 994 566 18 0 2384 0
vsize: 9608
[startup+80.0015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1067 0 0 0 7964 36 0 0 25 0 1 0 791198029 9969664 1041 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1041 566 18 0 2416 0
vsize: 9736
[startup+90.0017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1072 0 0 0 8958 42 0 0 25 0 1 0 791198029 9969664 1046 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1046 566 18 0 2416 0
vsize: 9736
[startup+100.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1072 0 0 0 9954 46 0 0 25 0 1 0 791198029 9969664 1046 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1046 566 18 0 2416 0
vsize: 9736
[startup+110.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1102 0 0 0 10951 49 0 0 25 0 1 0 791198029 10100736 1076 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1076 566 18 0 2448 0
vsize: 9864
[startup+120.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1105 0 0 0 11947 53 0 0 25 0 1 0 791198029 10100736 1079 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1079 566 18 0 2448 0
vsize: 9864
[startup+130.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1106 0 0 0 12943 57 0 0 25 0 1 0 791198029 10100736 1080 4294967295 134512640 134581267 3221224592 3221223488 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1080 566 18 0 2448 0
vsize: 9864
[startup+140.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1106 0 0 0 13940 61 0 0 25 0 1 0 791198029 10100736 1080 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1080 566 18 0 2448 0
vsize: 9864
[startup+150.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1167 0 0 0 14936 64 0 0 25 0 1 0 791198029 10350592 1141 4294967295 134512640 134581267 3221224592 3221223456 134560328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2527 1141 566 18 0 2509 0
vsize: 10108
[startup+160.002 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1172 0 0 0 15934 67 0 0 25 0 1 0 791198029 10489856 1146 4294967295 134512640 134581267 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1146 566 18 0 2543 0
vsize: 10244
[startup+170.002 s]
Raw data (loadavg): 1.14 1.03 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1177 0 0 0 16930 71 0 0 25 0 1 0 791198029 10489856 1151 4294967295 134512640 134581267 3221224592 3221223456 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1151 566 18 0 2543 0
vsize: 10244
[startup+180.003 s]
Raw data (loadavg): 1.12 1.03 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1180 0 0 0 17927 74 0 0 25 0 1 0 791198029 10489856 1154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1154 566 18 0 2543 0
vsize: 10244
[startup+190.002 s]
Raw data (loadavg): 1.10 1.03 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1180 0 0 0 18924 78 0 0 25 0 1 0 791198029 10489856 1154 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1154 566 18 0 2543 0
vsize: 10244
[startup+200.002 s]
Raw data (loadavg): 1.08 1.03 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1180 0 0 0 19920 81 0 0 25 0 1 0 791198029 10489856 1154 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1154 566 18 0 2543 0
vsize: 10244
[startup+210.002 s]
Raw data (loadavg): 1.07 1.03 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1180 0 0 0 20917 85 0 0 25 0 1 0 791198029 10489856 1154 4294967295 134512640 134581267 3221224592 3221223488 134517777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1154 566 18 0 2543 0
vsize: 10244
[startup+220.003 s]
Raw data (loadavg): 1.06 1.03 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1183 0 0 0 21913 89 0 0 25 0 1 0 791198029 10489856 1157 4294967295 134512640 134581267 3221224592 3221223288 1075291242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1157 566 18 0 2543 0
vsize: 10244
[startup+230.002 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1242 0 0 0 22909 93 0 0 25 0 1 0 791198029 10752000 1216 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1216 566 18 0 2607 0
vsize: 10500
[startup+240.002 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1243 0 0 0 23906 96 0 0 25 0 1 0 791198029 10752000 1217 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1217 566 18 0 2607 0
vsize: 10500
[startup+250.002 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1244 0 0 0 24903 100 0 0 25 0 1 0 791198029 10752000 1218 4294967295 134512640 134581267 3221224592 3221223488 134517624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1218 566 18 0 2607 0
vsize: 10500
[startup+260.002 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1244 0 0 0 25900 103 0 0 25 0 1 0 791198029 10752000 1218 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1218 566 18 0 2607 0
vsize: 10500
[startup+270.002 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1250 0 0 0 26896 107 0 0 25 0 1 0 791198029 10752000 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1224 566 18 0 2607 0
vsize: 10500
[startup+280.002 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1250 0 0 0 27892 111 0 0 25 0 1 0 791198029 10752000 1224 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1224 566 18 0 2607 0
vsize: 10500
[startup+290.003 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1250 0 0 0 28889 115 0 0 25 0 1 0 791198029 10752000 1224 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1224 566 18 0 2607 0
vsize: 10500
[startup+300.003 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1250 0 0 0 29886 118 0 0 25 0 1 0 791198029 10752000 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1224 566 18 0 2607 0
vsize: 10500
[startup+310.003 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1250 0 0 0 30882 121 0 0 25 0 1 0 791198029 10752000 1224 4294967295 134512640 134581267 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1224 566 18 0 2607 0
vsize: 10500
[startup+320.003 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1250 0 0 0 31879 125 0 0 25 0 1 0 791198029 10752000 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1224 566 18 0 2607 0
vsize: 10500
[startup+330.003 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1250 0 0 0 32876 128 0 0 25 0 1 0 791198029 10752000 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1224 566 18 0 2607 0
vsize: 10500
[startup+340.002 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1314 0 0 0 33872 132 0 0 25 0 1 0 791198029 11014144 1288 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2689 1288 566 18 0 2671 0
vsize: 10756
[startup+350.002 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1373 0 0 0 34867 137 0 0 25 0 1 0 791198029 11227136 1347 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2741 1347 566 18 0 2723 0
vsize: 10964
[startup+360.003 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1373 0 0 0 35864 141 0 0 25 0 1 0 791198029 11198464 1347 4294967295 134512640 134581267 3221224592 3221223364 1075289691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1347 566 18 0 2716 0
vsize: 10936
[startup+370.003 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1377 0 0 0 36858 147 0 0 25 0 1 0 791198029 11300864 1351 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1351 566 18 0 2741 0
vsize: 11036
[startup+380.002 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1377 0 0 0 37854 150 0 0 25 0 1 0 791198029 11198464 1348 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1348 566 18 0 2716 0
vsize: 10936
[startup+390.003 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1378 0 0 0 38850 155 0 0 25 0 1 0 791198029 11198464 1349 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1349 566 18 0 2716 0
vsize: 10936
[startup+400.002 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1378 0 0 0 39847 158 0 0 25 0 1 0 791198029 11198464 1349 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1349 566 18 0 2716 0
vsize: 10936
[startup+410.002 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1378 0 0 0 40845 160 0 0 25 0 1 0 791198029 11198464 1349 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1349 566 18 0 2716 0
vsize: 10936
[startup+420.002 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1378 0 0 0 41841 164 0 0 25 0 1 0 791198029 11198464 1349 4294967295 134512640 134581267 3221224592 3221223488 134517630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1349 566 18 0 2716 0
vsize: 10936
[startup+430.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 42838 167 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+440.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 43836 170 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223472 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+450.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 44832 174 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+460.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 45829 177 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+470.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 46826 180 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223456 134528293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+480.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 47824 183 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+490.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 48821 186 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223284 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+500.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1397 0 0 0 49818 189 0 0 25 0 1 0 791198029 11329536 1368 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1368 566 18 0 2748 0
vsize: 11064
[startup+510.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1417 0 0 0 50812 195 0 0 25 0 1 0 791198029 11399168 1388 4294967295 134512640 134581267 3221224592 3221223584 134561043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1388 566 18 0 2765 0
vsize: 11132
[startup+520.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1449 0 0 0 51809 198 0 0 25 0 1 0 791198029 11530240 1420 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 1420 566 18 0 2797 0
vsize: 11260
[startup+530.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1449 0 0 0 52807 201 0 0 25 0 1 0 791198029 11530240 1420 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 1420 566 18 0 2797 0
vsize: 11260
[startup+540.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1449 0 0 0 53804 204 0 0 25 0 1 0 791198029 11530240 1420 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 1420 566 18 0 2797 0
vsize: 11260
[startup+550.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1449 0 0 0 54800 208 0 0 25 0 1 0 791198029 11530240 1420 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 1420 566 18 0 2797 0
vsize: 11260
[startup+560.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1491 0 0 0 55795 213 0 0 25 0 1 0 791198029 11661312 1462 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1462 566 18 0 2829 0
vsize: 11388
[startup+570.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1491 0 0 0 56789 218 0 0 25 0 1 0 791198029 11661312 1462 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1462 566 18 0 2829 0
vsize: 11388
[startup+580.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1491 0 0 0 57787 221 0 0 25 0 1 0 791198029 11661312 1462 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1462 566 18 0 2829 0
vsize: 11388
[startup+590.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1491 0 0 0 58784 224 0 0 25 0 1 0 791198029 11661312 1462 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1462 566 18 0 2829 0
vsize: 11388
[startup+600.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1491 0 0 0 59781 227 0 0 25 0 1 0 791198029 11661312 1462 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1462 566 18 0 2829 0
vsize: 11388
[startup+610.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1491 0 0 0 60777 231 0 0 25 0 1 0 791198029 11661312 1462 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1462 566 18 0 2829 0
vsize: 11388
[startup+620.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 61773 235 0 0 25 0 1 0 791198029 11792384 1481 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 1481 566 18 0 2861 0
vsize: 11516
[startup+630.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 62770 239 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+640.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 63767 242 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+650.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 64764 245 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+660.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 65761 249 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+670.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 66759 251 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+680.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 67755 255 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+690.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 68751 259 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+700.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1510 0 0 0 69747 263 0 0 25 0 1 0 791198029 11726848 1479 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2863 1479 566 18 0 2845 0
vsize: 11452
[startup+710.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1530 0 0 0 70745 266 0 0 25 0 1 0 791198029 11857920 1499 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2895 1499 566 18 0 2877 0
vsize: 11580
[startup+720.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1533 0 0 0 71739 272 0 0 25 0 1 0 791198029 11833344 1502 4294967295 134512640 134581267 3221224592 3221223504 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1502 566 18 0 2871 0
vsize: 11556
[startup+730.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1533 0 0 0 72736 275 0 0 25 0 1 0 791198029 11833344 1502 4294967295 134512640 134581267 3221224592 3221223472 134520291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1502 566 18 0 2871 0
vsize: 11556
[startup+740.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1533 0 0 0 73732 279 0 0 25 0 1 0 791198029 11833344 1502 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1502 566 18 0 2871 0
vsize: 11556
[startup+750.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1533 0 0 0 74729 282 0 0 25 0 1 0 791198029 11833344 1502 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1502 566 18 0 2871 0
vsize: 11556
[startup+760.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1533 0 0 0 75727 284 0 0 25 0 1 0 791198029 11833344 1502 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1502 566 18 0 2871 0
vsize: 11556
[startup+770.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1533 0 0 0 76723 288 0 0 25 0 1 0 791198029 11833344 1502 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1502 566 18 0 2871 0
vsize: 11556
[startup+780.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1533 0 0 0 77721 291 0 0 25 0 1 0 791198029 11833344 1502 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1502 566 18 0 2871 0
vsize: 11556
[startup+790.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1613 0 0 0 78717 295 0 0 25 0 1 0 791198029 12124160 1576 4294967295 134512640 134581267 3221224592 3221223488 134517909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2960 1576 566 18 0 2942 0
vsize: 11840
[startup+800.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1613 0 0 0 79713 299 0 0 25 0 1 0 791198029 12091392 1568 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 1568 566 18 0 2934 0
vsize: 11808
[startup+810.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1613 0 0 0 80711 301 0 0 25 0 1 0 791198029 12054528 1559 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1559 566 18 0 2925 0
vsize: 11772
[startup+820.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1613 0 0 0 81708 304 0 0 25 0 1 0 791198029 12054528 1559 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1559 566 18 0 2925 0
vsize: 11772
[startup+830.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1613 0 0 0 82705 308 0 0 25 0 1 0 791198029 12054528 1559 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1559 566 18 0 2925 0
vsize: 11772
[startup+840.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1613 0 0 0 83701 312 0 0 25 0 1 0 791198029 12054528 1559 4294967295 134512640 134581267 3221224592 3221223488 134517720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1559 566 18 0 2925 0
vsize: 11772
[startup+850.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 84698 315 0 0 25 0 1 0 791198029 12316672 1608 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1608 566 18 0 2989 0
vsize: 12028
[startup+860.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 85694 319 0 0 25 0 1 0 791198029 12120064 1575 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2959 1575 566 18 0 2941 0
vsize: 11836
[startup+870.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 86692 321 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+880.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 87689 324 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+890.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 88686 328 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+900.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 89683 331 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+910.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 90681 333 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+920.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 91678 337 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+930.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 92676 339 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+940.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 93672 342 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+950.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 94670 345 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+960.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 95668 347 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+970.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1662 0 0 0 96665 350 0 0 25 0 1 0 791198029 12111872 1573 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2957 1573 566 18 0 2939 0
vsize: 11828
[startup+980.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1737 0 0 0 97660 355 0 0 25 0 1 0 791198029 12427264 1648 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 1648 566 18 0 3016 0
vsize: 12136
[startup+990.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1737 0 0 0 98657 359 0 0 25 0 1 0 791198029 12386304 1640 4294967295 134512640 134581267 3221224592 3221223488 134527752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 1640 566 18 0 3006 0
vsize: 12096
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1737 0 0 0 99654 361 0 0 25 0 1 0 791198029 12382208 1639 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 1639 566 18 0 3005 0
vsize: 12092
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1737 0 0 0 100649 367 0 0 25 0 1 0 791198029 12382208 1639 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 1639 566 18 0 3005 0
vsize: 12092
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1737 0 0 0 101646 370 0 0 25 0 1 0 791198029 12382208 1639 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 1639 566 18 0 3005 0
vsize: 12092
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1741 0 0 0 102640 376 0 0 25 0 1 0 791198029 12439552 1643 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3037 1643 566 18 0 3019 0
vsize: 12148
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1741 0 0 0 103637 379 0 0 25 0 1 0 791198029 12390400 1641 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3025 1641 566 18 0 3007 0
vsize: 12100
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1741 0 0 0 104634 382 0 0 25 0 1 0 791198029 12382208 1639 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 1639 566 18 0 3005 0
vsize: 12092
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1741 0 0 0 105631 385 0 0 25 0 1 0 791198029 12382208 1639 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 1639 566 18 0 3005 0
vsize: 12092
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1741 0 0 0 106628 389 0 0 25 0 1 0 791198029 12382208 1639 4294967295 134512640 134581267 3221224592 3221223456 134560462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 1639 566 18 0 3005 0
vsize: 12092
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1741 0 0 0 107626 392 0 0 25 0 1 0 791198029 12382208 1639 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3023 1639 566 18 0 3005 0
vsize: 12092
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 108622 395 0 0 25 0 1 0 791198029 12513280 1649 4294967295 134512640 134581267 3221224592 3221223584 134561071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 1649 566 18 0 3037 0
vsize: 12220
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 109619 398 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 110615 403 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 111612 406 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 112609 409 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 113606 413 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 114602 416 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223504 134566357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 115598 420 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 116595 424 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 117593 426 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 12108
[startup+1188.82 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 31452
Raw data (stat): 31452 (Pueblo-v2) R 31451 8378 8377 0 -1 0 1751 0 0 0 117593 426 0 0 25 0 1 0 791198029 12398592 1643 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1643 566 18 0 3009 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1184.71
CPU system time (s): 4.29835
CPU usage (%): 100.016
Max. virtual memory (Kb): 12220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	191
#### END VERIFIER DATA ####