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-ii8a3.opb
MD5SUM	a430664a9b4f203a5896b33ca2b0e0e5
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	528
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	528
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	528
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02384
Number of variables	528
Total number of constraints	1816
Number of constraints which are clauses	1816
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	8
Trace number 38369

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 08:19:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26435 boxname=wulflinc1 idbench=165 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  a430664a9b4f203a5896b33ca2b0e0e5  /oldhome/oroussel/tmp/wulflinc1/normalized-ii8a3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii8a3.opb
IDLAUNCH: 26435
/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:        673628 kB
Buffers:         33928 kB
Cached:         303188 kB
SwapCached:        640 kB
Active:          67780 kB
Inactive:       271528 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        673376 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            15896 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 08:39:15 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26435 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-ii8a3.opb
c #variables read: 528 - #constraints read: 1817
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 
#### 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): 0.92 0.98 0.93 2/55 31697
Raw data (stat): 31697 (runsolver) R 31696 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 791437518 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.0001 s]
Raw data (loadavg): 0.93 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 807 0 0 0 992 6 0 0 25 0 1 0 791437518 8949760 781 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2185 781 566 18 0 2167 0
vsize: 8740
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 920 0 0 0 1986 11 0 0 25 0 1 0 791437518 9351168 894 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2283 894 566 18 0 2265 0
vsize: 9132
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1039 0 0 0 2981 16 0 0 25 0 1 0 791437518 9875456 1013 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2411 1013 566 18 0 2393 0
vsize: 9644
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1103 0 0 0 3978 20 0 0 25 0 1 0 791437518 10137600 1077 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2475 1077 566 18 0 2457 0
vsize: 9900
[startup+50.0001 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1131 0 0 0 4973 25 0 0 25 0 1 0 791437518 10268672 1105 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1105 566 18 0 2489 0
vsize: 10028
[startup+59.9998 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1198 0 0 0 5969 30 0 0 25 0 1 0 791437518 10530816 1172 4294967295 134512640 134581267 3221224592 3221223460 1075289788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1172 566 18 0 2553 0
vsize: 10284
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1229 0 0 0 6965 33 0 0 25 0 1 0 791437518 10661888 1203 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1203 566 18 0 2585 0
vsize: 10412
[startup+80.0004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1325 0 0 0 7961 37 0 0 25 0 1 0 791437518 11055104 1299 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2699 1299 566 18 0 2681 0
vsize: 10796
[startup+90.0002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1327 0 0 0 8957 42 0 0 25 0 1 0 791437518 11055104 1301 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2699 1301 566 18 0 2681 0
vsize: 10796
[startup+100 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1345 0 0 0 9953 46 0 0 25 0 1 0 791437518 11186176 1319 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1319 566 18 0 2713 0
vsize: 10924
[startup+110 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1364 0 0 0 10948 51 0 0 25 0 1 0 791437518 11186176 1338 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1338 566 18 0 2713 0
vsize: 10924
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1453 0 0 0 11944 55 0 0 25 0 1 0 791437518 11579392 1427 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1427 566 18 0 2809 0
vsize: 11308
[startup+130 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1490 0 0 0 12939 61 0 0 25 0 1 0 791437518 11698176 1464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2856 1464 566 18 0 2838 0
vsize: 11424
[startup+140 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1499 0 0 0 13935 64 0 0 25 0 1 0 791437518 11812864 1473 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 1473 566 18 0 2866 0
vsize: 11536
[startup+150 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1503 0 0 0 14931 68 0 0 25 0 1 0 791437518 11812864 1477 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 1477 566 18 0 2866 0
vsize: 11536
[startup+160 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1509 0 0 0 15928 72 0 0 25 0 1 0 791437518 11812864 1483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 1483 566 18 0 2866 0
vsize: 11536
[startup+170 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1514 0 0 0 16924 76 0 0 25 0 1 0 791437518 11812864 1488 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 1488 566 18 0 2866 0
vsize: 11536
[startup+179.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1579 0 0 0 17921 79 0 0 25 0 1 0 791437518 12075008 1553 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 1553 566 18 0 2930 0
vsize: 11792
[startup+190 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1590 0 0 0 18916 84 0 0 25 0 1 0 791437518 12177408 1564 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2973 1564 566 18 0 2955 0
vsize: 11892
[startup+200 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1590 0 0 0 19912 88 0 0 25 0 1 0 791437518 12128256 1564 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2961 1564 566 18 0 2943 0
vsize: 11844
[startup+210 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1612 0 0 0 20909 92 0 0 25 0 1 0 791437518 12259328 1586 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2993 1586 566 18 0 2975 0
vsize: 11972
[startup+220 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1623 0 0 0 21907 94 0 0 25 0 1 0 791437518 12259328 1597 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2993 1597 566 18 0 2975 0
vsize: 11972
[startup+230 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1634 0 0 0 22904 97 0 0 25 0 1 0 791437518 12378112 1608 4294967295 134512640 134581267 3221224592 3221223504 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3022 1608 566 18 0 3004 0
vsize: 12088
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1662 0 0 0 23900 101 0 0 25 0 1 0 791437518 12509184 1636 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3054 1636 566 18 0 3036 0
vsize: 12216
[startup+250 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1722 0 0 0 24897 104 0 0 25 0 1 0 791437518 12636160 1696 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3085 1696 566 18 0 3067 0
vsize: 12340
[startup+260 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1722 0 0 0 25893 108 0 0 25 0 1 0 791437518 12570624 1680 4294967295 134512640 134581267 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3069 1680 566 18 0 3051 0
vsize: 12276
[startup+269.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1780 0 0 0 26889 113 0 0 25 0 1 0 791437518 12832768 1738 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3133 1738 566 18 0 3115 0
vsize: 12532
[startup+279.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1803 0 0 0 27885 116 0 0 25 0 1 0 791437518 12926976 1761 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1761 566 18 0 3138 0
vsize: 12624
[startup+290 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1803 0 0 0 28881 121 0 0 25 0 1 0 791437518 12926976 1761 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1761 566 18 0 3138 0
vsize: 12624
[startup+300 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1860 0 0 0 29877 126 0 0 25 0 1 0 791437518 13185024 1818 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3219 1818 566 18 0 3201 0
vsize: 12876
[startup+310 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1860 0 0 0 30873 129 0 0 25 0 1 0 791437518 13090816 1804 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3196 1804 566 18 0 3178 0
vsize: 12784
[startup+319.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1860 0 0 0 31867 136 0 0 25 0 1 0 791437518 13086720 1803 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3195 1803 566 18 0 3177 0
vsize: 12780
[startup+329.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1863 0 0 0 32863 140 0 0 25 0 1 0 791437518 13213696 1806 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 1806 566 18 0 3208 0
vsize: 12904
[startup+339.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1872 0 0 0 33860 143 0 0 25 0 1 0 791437518 13213696 1815 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 1815 566 18 0 3208 0
vsize: 12904
[startup+349.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1872 0 0 0 34857 146 0 0 25 0 1 0 791437518 13213696 1815 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 1815 566 18 0 3208 0
vsize: 12904
[startup+359.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1884 0 0 0 35853 150 0 0 25 0 1 0 791437518 13213696 1827 4294967295 134512640 134581267 3221224592 3221223460 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 1827 566 18 0 3208 0
vsize: 12904
[startup+369.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1884 0 0 0 36849 154 0 0 25 0 1 0 791437518 13213696 1827 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 1827 566 18 0 3208 0
vsize: 12904
[startup+379.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1887 0 0 0 37846 158 0 0 25 0 1 0 791437518 13213696 1830 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 1830 566 18 0 3208 0
vsize: 12904
[startup+389.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1943 0 0 0 38843 161 0 0 25 0 1 0 791437518 13475840 1886 4294967295 134512640 134581267 3221224592 3221223456 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3290 1886 566 18 0 3272 0
vsize: 13160
[startup+399.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1963 0 0 0 39838 166 0 0 25 0 1 0 791437518 13606912 1906 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3322 1906 566 18 0 3304 0
vsize: 13288
[startup+409.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1985 0 0 0 40835 169 0 0 25 0 1 0 791437518 13606912 1928 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3322 1928 566 18 0 3304 0
vsize: 13288
[startup+419.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1985 0 0 0 41830 174 0 0 25 0 1 0 791437518 13606912 1928 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3322 1928 566 18 0 3304 0
vsize: 13288
[startup+429.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 1987 0 0 0 42827 177 0 0 25 0 1 0 791437518 13606912 1930 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3322 1930 566 18 0 3304 0
vsize: 13288
[startup+439.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2000 0 0 0 43823 181 0 0 25 0 1 0 791437518 13737984 1943 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 1943 566 18 0 3336 0
vsize: 13416
[startup+449.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2000 0 0 0 44819 185 0 0 25 0 1 0 791437518 13737984 1943 4294967295 134512640 134581267 3221224592 3221223456 134528321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 1943 566 18 0 3336 0
vsize: 13416
[startup+459.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2016 0 0 0 45813 191 0 0 25 0 1 0 791437518 13737984 1959 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 1959 566 18 0 3336 0
vsize: 13416
[startup+469.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2016 0 0 0 46810 195 0 0 25 0 1 0 791437518 13737984 1959 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3354 1959 566 18 0 3336 0
vsize: 13416
[startup+479.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2053 0 0 0 47805 200 0 0 25 0 1 0 791437518 13877248 1996 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3388 1996 566 18 0 3370 0
vsize: 13552
[startup+489.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2053 0 0 0 48802 204 0 0 25 0 1 0 791437518 13873152 1996 4294967295 134512640 134581267 3221224592 3221223504 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3387 1996 566 18 0 3369 0
vsize: 13548
[startup+499.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2053 0 0 0 49798 208 0 0 25 0 1 0 791437518 13848576 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3381 1990 566 18 0 3363 0
vsize: 13524
[startup+509.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2055 0 0 0 50793 213 0 0 25 0 1 0 791437518 13922304 1992 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3399 1992 566 18 0 3381 0
vsize: 13596
[startup+519.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2092 0 0 0 51788 218 0 0 25 0 1 0 791437518 14053376 2029 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3431 2029 566 18 0 3413 0
vsize: 13724
[startup+529.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2092 0 0 0 52784 222 0 0 25 0 1 0 791437518 14012416 2029 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 2029 566 18 0 3403 0
vsize: 13684
[startup+539.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2092 0 0 0 53781 225 0 0 25 0 1 0 791437518 14012416 2029 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 2029 566 18 0 3403 0
vsize: 13684
[startup+549.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2092 0 0 0 54777 229 0 0 25 0 1 0 791437518 14012416 2029 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 2029 566 18 0 3403 0
vsize: 13684
[startup+559.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2092 0 0 0 55774 233 0 0 25 0 1 0 791437518 14012416 2029 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 2029 566 18 0 3403 0
vsize: 13684
[startup+569.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2092 0 0 0 56771 236 0 0 25 0 1 0 791437518 14012416 2029 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 2029 566 18 0 3403 0
vsize: 13684
[startup+579.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2144 0 0 0 57767 240 0 0 25 0 1 0 791437518 14274560 2081 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2081 566 18 0 3467 0
vsize: 13940
[startup+589.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2156 0 0 0 58763 244 0 0 25 0 1 0 791437518 14274560 2093 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2093 566 18 0 3467 0
vsize: 13940
[startup+599.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2180 0 0 0 59757 250 0 0 25 0 1 0 791437518 14405632 2117 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3517 2117 566 18 0 3499 0
vsize: 14068
[startup+609.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2197 0 0 0 60753 254 0 0 25 0 1 0 791437518 14536704 2134 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3549 2134 566 18 0 3531 0
vsize: 14196
[startup+619.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2197 0 0 0 61749 259 0 0 25 0 1 0 791437518 14458880 2134 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3530 2134 566 18 0 3512 0
vsize: 14120
[startup+629.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2197 0 0 0 62744 263 0 0 25 0 1 0 791437518 14442496 2134 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3526 2134 566 18 0 3508 0
vsize: 14104
[startup+639.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2197 0 0 0 63740 268 0 0 25 0 1 0 791437518 14442496 2134 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3526 2134 566 18 0 3508 0
vsize: 14104
[startup+649.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2197 0 0 0 64736 272 0 0 25 0 1 0 791437518 14442496 2134 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3526 2134 566 18 0 3508 0
vsize: 14104
[startup+659.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2205 0 0 0 65731 277 0 0 25 0 1 0 791437518 14573568 2142 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3558 2142 566 18 0 3540 0
vsize: 14232
[startup+669.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2205 0 0 0 66728 281 0 0 25 0 1 0 791437518 14516224 2142 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2142 566 18 0 3526 0
vsize: 14176
[startup+679.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2205 0 0 0 67722 287 0 0 25 0 1 0 791437518 14516224 2142 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2142 566 18 0 3526 0
vsize: 14176
[startup+689.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2205 0 0 0 68718 291 0 0 25 0 1 0 791437518 14516224 2142 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2142 566 18 0 3526 0
vsize: 14176
[startup+699.998 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2205 0 0 0 69713 295 0 0 25 0 1 0 791437518 14516224 2142 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2142 566 18 0 3526 0
vsize: 14176
[startup+709.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2205 0 0 0 70709 300 0 0 25 0 1 0 791437518 14516224 2142 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2142 566 18 0 3526 0
vsize: 14176
[startup+719.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2221 0 0 0 71706 303 0 0 25 0 1 0 791437518 14647296 2158 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2158 566 18 0 3558 0
vsize: 14304
[startup+729.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2221 0 0 0 72701 309 0 0 25 0 1 0 791437518 14585856 2158 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2158 566 18 0 3543 0
vsize: 14244
[startup+739.999 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2224 0 0 0 73698 312 0 0 25 0 1 0 791437518 14585856 2161 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2161 566 18 0 3543 0
vsize: 14244
[startup+750 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2225 0 0 0 74695 315 0 0 25 0 1 0 791437518 14585856 2162 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2162 566 18 0 3543 0
vsize: 14244
[startup+760 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2225 0 0 0 75691 319 0 0 25 0 1 0 791437518 14585856 2162 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2162 566 18 0 3543 0
vsize: 14244
[startup+770 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2225 0 0 0 76687 323 0 0 25 0 1 0 791437518 14585856 2162 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2162 566 18 0 3543 0
vsize: 14244
[startup+780 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2225 0 0 0 77684 326 0 0 25 0 1 0 791437518 14585856 2162 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2162 566 18 0 3543 0
vsize: 14244
[startup+790.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2233 0 0 0 78681 330 0 0 25 0 1 0 791437518 14585856 2170 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2170 566 18 0 3543 0
vsize: 14244
[startup+800.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2233 0 0 0 79677 334 0 0 25 0 1 0 791437518 14585856 2170 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2170 566 18 0 3543 0
vsize: 14244
[startup+810 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2233 0 0 0 80673 338 0 0 25 0 1 0 791437518 14585856 2170 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2170 566 18 0 3543 0
vsize: 14244
[startup+820.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2240 0 0 0 81669 342 0 0 25 0 1 0 791437518 14716928 2177 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2177 566 18 0 3575 0
vsize: 14372
[startup+830.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2243 0 0 0 82665 346 0 0 25 0 1 0 791437518 14716928 2180 4294967295 134512640 134581267 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2180 566 18 0 3575 0
vsize: 14372
[startup+840.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2243 0 0 0 83662 350 0 0 25 0 1 0 791437518 14716928 2180 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2180 566 18 0 3575 0
vsize: 14372
[startup+850.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2243 0 0 0 84658 354 0 0 25 0 1 0 791437518 14716928 2180 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2180 566 18 0 3575 0
vsize: 14372
[startup+860.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2339 0 0 0 85654 358 0 0 25 0 1 0 791437518 15110144 2276 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3689 2276 566 18 0 3671 0
vsize: 14756
[startup+870.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2367 0 0 0 86651 362 0 0 25 0 1 0 791437518 15241216 2304 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3721 2304 566 18 0 3703 0
vsize: 14884
[startup+880.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2373 0 0 0 87647 365 0 0 25 0 1 0 791437518 15241216 2310 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3721 2310 566 18 0 3703 0
vsize: 14884
[startup+890.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2412 0 0 0 88643 370 0 0 25 0 1 0 791437518 15372288 2349 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2349 566 18 0 3735 0
vsize: 15012
[startup+900.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2412 0 0 0 89640 373 0 0 25 0 1 0 791437518 15372288 2349 4294967295 134512640 134581267 3221224592 3221223488 134527752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2349 566 18 0 3735 0
vsize: 15012
[startup+910.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2412 0 0 0 90637 376 0 0 25 0 1 0 791437518 15372288 2349 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3753 2349 566 18 0 3735 0
vsize: 15012
[startup+920.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2469 0 0 0 91634 379 0 0 25 0 1 0 791437518 15634432 2406 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3817 2406 566 18 0 3799 0
vsize: 15268
[startup+930.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2480 0 0 0 92629 384 0 0 25 0 1 0 791437518 15634432 2417 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3817 2417 566 18 0 3799 0
vsize: 15268
[startup+940.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2492 0 0 0 93625 388 0 0 25 0 1 0 791437518 15753216 2429 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3846 2429 566 18 0 3828 0
vsize: 15384
[startup+950.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2530 0 0 0 94621 392 0 0 25 0 1 0 791437518 15884288 2467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2467 566 18 0 3860 0
vsize: 15512
[startup+960.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2530 0 0 0 95618 396 0 0 25 0 1 0 791437518 15769600 2459 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3850 2459 566 18 0 3832 0
vsize: 15400
[startup+970.003 s]
Raw data (loadavg): 0.99 0.98 0.93 3/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2530 0 0 0 96613 401 0 0 25 0 1 0 791437518 15769600 2459 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3850 2459 566 18 0 3832 0
vsize: 15400
[startup+980.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2534 0 0 0 97608 406 0 0 25 0 1 0 791437518 15900672 2463 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3882 2463 566 18 0 3864 0
vsize: 15528
[startup+990.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2534 0 0 0 98602 412 0 0 25 0 1 0 791437518 15839232 2463 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2463 566 18 0 3849 0
vsize: 15468
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2534 0 0 0 99597 418 0 0 25 0 1 0 791437518 15839232 2463 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2463 566 18 0 3849 0
vsize: 15468
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2534 0 0 0 100592 423 0 0 25 0 1 0 791437518 15839232 2463 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2463 566 18 0 3849 0
vsize: 15468
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2534 0 0 0 101588 427 0 0 25 0 1 0 791437518 15839232 2463 4294967295 134512640 134581267 3221224592 3221223536 134558889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2463 566 18 0 3849 0
vsize: 15468
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2534 0 0 0 102585 430 0 0 25 0 1 0 791437518 15839232 2463 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2463 566 18 0 3849 0
vsize: 15468
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2534 0 0 0 103580 435 0 0 25 0 1 0 791437518 15839232 2463 4294967295 134512640 134581267 3221224592 3221223536 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2463 566 18 0 3849 0
vsize: 15468
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2563 0 0 0 104575 440 0 0 25 0 1 0 791437518 15884288 2487 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2487 566 18 0 3860 0
vsize: 15512
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2563 0 0 0 105571 445 0 0 25 0 1 0 791437518 15884288 2487 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2487 566 18 0 3860 0
vsize: 15512
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2563 0 0 0 106566 449 0 0 25 0 1 0 791437518 15884288 2487 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2487 566 18 0 3860 0
vsize: 15512
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 107564 452 0 0 25 0 1 0 791437518 16015360 2501 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3910 2501 566 18 0 3892 0
vsize: 15640
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 108559 457 0 0 25 0 1 0 791437518 16003072 2501 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2501 566 18 0 3889 0
vsize: 15628
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 109555 462 0 0 25 0 1 0 791437518 16003072 2501 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2501 566 18 0 3889 0
vsize: 15628
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 110548 468 0 0 25 0 1 0 791437518 16003072 2501 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2501 566 18 0 3889 0
vsize: 15628
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 111545 472 0 0 25 0 1 0 791437518 16003072 2501 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2501 566 18 0 3889 0
vsize: 15628
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 112541 476 0 0 25 0 1 0 791437518 16003072 2501 4294967295 134512640 134581267 3221224592 3221223284 1075289691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2501 566 18 0 3889 0
vsize: 15628
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 113538 479 0 0 25 0 1 0 791437518 16003072 2501 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2501 566 18 0 3889 0
vsize: 15628
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2577 0 0 0 114532 485 0 0 25 0 1 0 791437518 16003072 2501 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2501 566 18 0 3889 0
vsize: 15628
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2591 0 0 0 115528 489 0 0 25 0 1 0 791437518 16003072 2515 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2515 566 18 0 3889 0
vsize: 15628
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2591 0 0 0 116523 495 0 0 25 0 1 0 791437518 16003072 2515 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2515 566 18 0 3889 0
vsize: 15628
[startup+1180 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2591 0 0 0 117520 498 0 0 25 0 1 0 791437518 16003072 2515 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2515 566 18 0 3889 0
vsize: 15628
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 31697
Raw data (stat): 31697 (Pueblo-v2) R 31696 8378 8377 0 -1 0 2591 0 0 0 117520 498 0 0 25 0 1 0 791437518 16003072 2515 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3907 2515 566 18 0 3889 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1183.98
CPU system time (s): 5.03323
CPU usage (%): 100.015
Max. virtual memory (Kb): 15640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	203
#### END VERIFIER DATA ####