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-ii32c2.opb
MD5SUM	b78d16df5ec546c41fce5f9f07c0fd92
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	207
Optimality of the best value was proved	NO
Number of terms in the objective function	498
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	498
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	498
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.03184
Number of variables	498
Total number of constraints	2431
Number of constraints which are clauses	2431
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 38357

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 07:45:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26422 boxname=wulflinc5 idbench=152 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b78d16df5ec546c41fce5f9f07c0fd92  /oldhome/oroussel/tmp/wulflinc5/normalized-ii32c2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32c2.opb
IDLAUNCH: 26422
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        677204 kB
Buffers:         34584 kB
Cached:         299748 kB
SwapCached:        568 kB
Active:          53484 kB
Inactive:       282880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        676952 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            15392 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 08:05:44 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26422 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/wulflinc5/normalized-ii32c2.opb
c #variables read: 498 - #constraints read: 2432
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 
#### 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.95 0.91 2/54 1801
Raw data (stat): 1801 (runsolver) R 1800 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848093078 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1081 0 0 0 996 3 0 0 25 0 1 0 848093078 10125312 1055 4294967295 134512640 134581267 3221224592 3221223536 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1055 566 18 0 2454 0
vsize: 9888
[startup+19.9996 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1228 0 0 0 1991 7 0 0 25 0 1 0 848093078 10649600 1202 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1202 566 18 0 2582 0
vsize: 10400
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1228 0 0 0 2989 10 0 0 25 0 1 0 848093078 10649600 1202 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1202 566 18 0 2582 0
vsize: 10400
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1395 0 0 0 3986 13 0 0 25 0 1 0 848093078 11317248 1369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2763 1369 566 18 0 2745 0
vsize: 11052
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1447 0 0 0 4982 17 0 0 25 0 1 0 848093078 11583488 1421 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2828 1421 566 18 0 2810 0
vsize: 11312
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1447 0 0 0 5978 21 0 0 25 0 1 0 848093078 11583488 1421 4294967295 134512640 134581267 3221224592 3221223488 134517815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2828 1421 566 18 0 2810 0
vsize: 11312
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1537 0 0 0 6975 24 0 0 25 0 1 0 848093078 11972608 1511 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2923 1511 566 18 0 2905 0
vsize: 11692
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1598 0 0 0 7973 27 0 0 25 0 1 0 848093078 12234752 1572 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 1572 566 18 0 2969 0
vsize: 11948
[startup+90.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1598 0 0 0 8969 30 0 0 25 0 1 0 848093078 12218368 1572 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 1572 566 18 0 2965 0
vsize: 11932
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1598 0 0 0 9967 33 0 0 25 0 1 0 848093078 12218368 1572 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 1572 566 18 0 2965 0
vsize: 11932
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1598 0 0 0 10965 35 0 0 25 0 1 0 848093078 12218368 1572 4294967295 134512640 134581267 3221224592 3221223584 134561043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 1572 566 18 0 2965 0
vsize: 11932
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1606 0 0 0 11963 38 0 0 25 0 1 0 848093078 12218368 1580 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 1580 566 18 0 2965 0
vsize: 11932
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1613 0 0 0 12960 40 0 0 25 0 1 0 848093078 12218368 1587 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 1587 566 18 0 2965 0
vsize: 11932
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1649 0 0 0 13958 43 0 0 25 0 1 0 848093078 12353536 1623 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3016 1623 566 18 0 2998 0
vsize: 12064
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1649 0 0 0 14955 46 0 0 25 0 1 0 848093078 12353536 1623 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3016 1623 566 18 0 2998 0
vsize: 12064
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 15952 49 0 0 25 0 1 0 848093078 13402112 1874 4294967295 134512640 134581267 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 1874 566 18 0 3254 0
vsize: 13088
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 16950 51 0 0 25 0 1 0 848093078 13402112 1874 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 1874 566 18 0 3254 0
vsize: 13088
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 17948 53 0 0 25 0 1 0 848093078 13402112 1874 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 1874 566 18 0 3254 0
vsize: 13088
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 18946 55 0 0 25 0 1 0 848093078 13402112 1874 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 1874 566 18 0 3254 0
vsize: 13088
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 19944 57 0 0 25 0 1 0 848093078 13402112 1874 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 1874 566 18 0 3254 0
vsize: 13088
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 20942 60 0 0 25 0 1 0 848093078 13402112 1874 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 1874 566 18 0 3254 0
vsize: 13088
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 21939 63 0 0 25 0 1 0 848093078 13398016 1874 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1874 566 18 0 3253 0
vsize: 13084
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 22938 65 0 0 25 0 1 0 848093078 13398016 1874 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1874 566 18 0 3253 0
vsize: 13084
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 23935 67 0 0 25 0 1 0 848093078 13398016 1874 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1874 566 18 0 3253 0
vsize: 13084
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 24933 70 0 0 25 0 1 0 848093078 13398016 1874 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1874 566 18 0 3253 0
vsize: 13084
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1900 0 0 0 25931 72 0 0 25 0 1 0 848093078 13398016 1874 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3271 1874 566 18 0 3253 0
vsize: 13084
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1939 0 0 0 26928 75 0 0 25 0 1 0 848093078 13529088 1913 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 1913 566 18 0 3285 0
vsize: 13212
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 27925 78 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 28922 81 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 29919 84 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 30918 86 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 31915 89 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 32913 91 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 33911 93 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 34907 97 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 1975 0 0 0 35905 100 0 0 25 0 1 0 848093078 13656064 1949 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3334 1949 566 18 0 3316 0
vsize: 13336
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 36902 103 0 0 25 0 1 0 848093078 14577664 2163 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2163 566 18 0 3541 0
vsize: 14236
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 37899 106 0 0 25 0 1 0 848093078 14577664 2163 4294967295 134512640 134581267 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2163 566 18 0 3541 0
vsize: 14236
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 38896 109 0 0 25 0 1 0 848093078 14577664 2163 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2163 566 18 0 3541 0
vsize: 14236
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 39895 111 0 0 25 0 1 0 848093078 14577664 2163 4294967295 134512640 134581267 3221224592 3221223520 134519863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2163 566 18 0 3541 0
vsize: 14236
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 40892 113 0 0 25 0 1 0 848093078 14577664 2163 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2163 566 18 0 3541 0
vsize: 14236
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 41890 116 0 0 25 0 1 0 848093078 14573568 2163 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3558 2163 566 18 0 3540 0
vsize: 14232
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 42888 118 0 0 25 0 1 0 848093078 14544896 2163 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3551 2163 566 18 0 3533 0
vsize: 14204
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 43885 121 0 0 25 0 1 0 848093078 14528512 2162 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3547 2162 566 18 0 3529 0
vsize: 14188
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 44881 125 0 0 25 0 1 0 848093078 14508032 2157 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2157 566 18 0 3524 0
vsize: 14168
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 45880 127 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 46877 130 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 47874 133 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 48871 136 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223456 134528346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 49867 140 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 50866 141 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 51863 145 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223456 134560430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 52859 149 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223536 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2189 0 0 0 53857 151 0 0 25 0 1 0 848093078 14495744 2154 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2154 566 18 0 3521 0
vsize: 14156
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2256 0 0 0 54855 153 0 0 25 0 1 0 848093078 14888960 2221 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3635 2221 566 18 0 3617 0
vsize: 14540
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2256 0 0 0 55853 156 0 0 25 0 1 0 848093078 14888960 2221 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3635 2221 566 18 0 3617 0
vsize: 14540
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2256 0 0 0 56850 159 0 0 25 0 1 0 848093078 14880768 2221 4294967295 134512640 134581267 3221224592 3221223504 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2221 566 18 0 3615 0
vsize: 14532
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2280 0 0 0 57847 161 0 0 25 0 1 0 848093078 14876672 2245 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3632 2245 566 18 0 3614 0
vsize: 14528
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2327 0 0 0 58845 163 0 0 25 0 1 0 848093078 15138816 2292 4294967295 134512640 134581267 3221224592 3221223456 134528324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3696 2292 566 18 0 3678 0
vsize: 14784
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2327 0 0 0 59844 165 0 0 25 0 1 0 848093078 15138816 2292 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3696 2292 566 18 0 3678 0
vsize: 14784
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2327 0 0 0 60841 168 0 0 25 0 1 0 848093078 15138816 2292 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3696 2292 566 18 0 3678 0
vsize: 14784
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2327 0 0 0 61840 170 0 0 25 0 1 0 848093078 15101952 2292 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3687 2292 566 18 0 3669 0
vsize: 14748
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2327 0 0 0 62837 172 0 0 25 0 1 0 848093078 15101952 2292 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3687 2292 566 18 0 3669 0
vsize: 14748
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 63834 175 0 0 25 0 1 0 848093078 15499264 2386 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2386 566 18 0 3766 0
vsize: 15136
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 64831 179 0 0 25 0 1 0 848093078 15499264 2386 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2386 566 18 0 3766 0
vsize: 15136
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 65828 182 0 0 25 0 1 0 848093078 15499264 2386 4294967295 134512640 134581267 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2386 566 18 0 3766 0
vsize: 15136
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 66825 185 0 0 25 0 1 0 848093078 15171584 2319 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 67822 188 0 0 25 0 1 0 848093078 15171584 2319 4294967295 134512640 134581267 3221224592 3221223456 134528326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 68819 192 0 0 25 0 1 0 848093078 15171584 2319 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 69816 195 0 0 25 0 1 0 848093078 15171584 2319 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 70812 199 0 0 25 0 1 0 848093078 15171584 2319 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 71810 201 0 0 25 0 1 0 848093078 15171584 2319 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 72808 203 0 0 25 0 1 0 848093078 15171584 2319 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 73806 206 0 0 25 0 1 0 848093078 15167488 2318 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 74804 208 0 0 25 0 1 0 848093078 15155200 2315 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2315 566 18 0 3682 0
vsize: 14800
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 75801 211 0 0 25 0 1 0 848093078 15155200 2315 4294967295 134512640 134581267 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2315 566 18 0 3682 0
vsize: 14800
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 76799 213 0 0 25 0 1 0 848093078 15155200 2315 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2315 566 18 0 3682 0
vsize: 14800
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 77796 216 0 0 25 0 1 0 848093078 15155200 2315 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2315 566 18 0 3682 0
vsize: 14800
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 78794 218 0 0 25 0 1 0 848093078 15155200 2315 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2315 566 18 0 3682 0
vsize: 14800
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 79791 222 0 0 25 0 1 0 848093078 15155200 2315 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2315 566 18 0 3682 0
vsize: 14800
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2421 0 0 0 80789 224 0 0 25 0 1 0 848093078 15155200 2315 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2315 566 18 0 3682 0
vsize: 14800
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2714 0 0 0 81785 227 0 0 25 0 1 0 848093078 16482304 2608 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2608 566 18 0 4006 0
vsize: 16096
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 82782 231 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 83779 235 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1801
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 84777 237 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223536 134559422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+860.046 s]
Raw data (loadavg): 1.07 0.99 0.92 2/58 1844
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 85778 240 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+870.046 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 1854
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 86775 243 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221222224 134566728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+880.063 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 1854
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 87774 246 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+890.304 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 1854
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 88795 249 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+900.304 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 1854
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 89792 252 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+910.304 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 1854
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 90790 254 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+920.304 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 1854
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 91787 258 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+930.303 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 92784 260 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+940.303 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 93782 263 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+950.303 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 94780 265 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223536 134558878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+960.303 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 95777 268 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223364 1075285088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+970.302 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 96775 270 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+980.302 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 97772 273 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+990.302 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 98769 276 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1000.3 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 99765 280 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1010.3 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 100760 286 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1020.3 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 101758 288 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1030.3 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 102756 290 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1040.3 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 103753 294 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1050.3 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 104749 297 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1060.3 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 105742 304 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1070.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 106740 306 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223536 134558884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 107739 308 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 108737 310 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 109734 313 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 110732 315 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 111729 318 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 112728 320 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 113725 323 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 114721 327 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 115718 330 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2738 0 0 0 116715 334 0 0 25 0 1 0 848093078 16482304 2632 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2632 566 18 0 4006 0
vsize: 16096
[startup+1180.3 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2739 0 0 0 117710 338 0 0 25 0 1 0 848093078 16482304 2633 4294967295 134512640 134581267 3221224592 3221223488 134517528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2633 566 18 0 4006 0
vsize: 16096
[startup+1188.82 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 1856
Raw data (stat): 1801 (Pueblo-v2) R 1800 7266 7265 0 -1 0 2739 0 0 0 117710 338 0 0 25 0 1 0 848093078 16482304 2633 4294967295 134512640 134581267 3221224592 3221223488 134517528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 2633 566 18 0 4006 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1185.57
CPU system time (s): 3.43848
CPU usage (%): 100.016
Max. virtual memory (Kb): 16096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	211
#### END VERIFIER DATA ####