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-ii32e2.opb
MD5SUM	4e882bbd92f288daf6e68ac3de757136
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	235
Optimality of the best value was proved	NO
Number of terms in the objective function	534
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	534
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	534
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.03084
Number of variables	534
Total number of constraints	3013
Number of constraints which are clauses	3013
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 38365

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 08:05:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26429 boxname=wulflinc5 idbench=159 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4e882bbd92f288daf6e68ac3de757136  /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e2.opb
IDLAUNCH: 26429
/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:        677180 kB
Buffers:         34600 kB
Cached:         299868 kB
SwapCached:        568 kB
Active:          53564 kB
Inactive:       282948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        676928 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            15388 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 08:25:41 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26429 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-ii32e2.opb
c #variables read: 534 - #constraints read: 3014
s SATISFIABLE
v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 -x130 x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 -x289 x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 -x345 x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 x401 -x402 x403 -x404 -x405 x406 -x407 x408 -x409 -x410 -x411 x412 x413 -x414 x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 x449 -x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 -x459 x460 x461 -x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 -x489 x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 x503 -x504 -x505 x506 -x507 x508 x509 -x510 x511 -x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x530 -x531 x532 x533 -x534 
#### 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 1/54 1951
Raw data (stat): 1951 (runsolver) R 1950 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848212751 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.0005 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1269 0 0 0 994 5 0 0 25 0 1 0 848212751 10842112 1243 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2647 1243 566 18 0 2629 0
vsize: 10588
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1454 0 0 0 1991 8 0 0 25 0 1 0 848212751 11632640 1428 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2840 1428 566 18 0 2822 0
vsize: 11360
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1556 0 0 0 2988 11 0 0 25 0 1 0 848212751 12025856 1530 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 1530 566 18 0 2918 0
vsize: 11744
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1669 0 0 0 3984 15 0 0 25 0 1 0 848212751 12419072 1643 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3032 1643 566 18 0 3014 0
vsize: 12128
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1794 0 0 0 4982 17 0 0 25 0 1 0 848212751 13078528 1768 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3193 1768 566 18 0 3175 0
vsize: 12772
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1796 0 0 0 5980 19 0 0 25 0 1 0 848212751 13078528 1770 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3193 1770 566 18 0 3175 0
vsize: 12772
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1916 0 0 0 6978 22 0 0 25 0 1 0 848212751 13471744 1890 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 1890 566 18 0 3271 0
vsize: 13156
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1938 0 0 0 7974 25 0 0 25 0 1 0 848212751 13602816 1912 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3321 1912 566 18 0 3303 0
vsize: 13284
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1938 0 0 0 8971 29 0 0 25 0 1 0 848212751 13602816 1912 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3321 1912 566 18 0 3303 0
vsize: 13284
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2071 0 0 0 9968 31 0 0 25 0 1 0 848212751 14127104 2045 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2045 566 18 0 3431 0
vsize: 13796
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2076 0 0 0 10967 33 0 0 25 0 1 0 848212751 14127104 2050 4294967295 134512640 134581267 3221224592 3221223456 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3449 2050 566 18 0 3431 0
vsize: 13796
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2103 0 0 0 11964 36 0 0 25 0 1 0 848212751 14262272 2077 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2077 566 18 0 3464 0
vsize: 13928
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2105 0 0 0 12961 39 0 0 25 0 1 0 848212751 14262272 2079 4294967295 134512640 134581267 3221224592 3221223536 134558887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2079 566 18 0 3464 0
vsize: 13928
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2105 0 0 0 13959 42 0 0 25 0 1 0 848212751 14262272 2079 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2079 566 18 0 3464 0
vsize: 13928
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2243 0 0 0 14956 45 0 0 25 0 1 0 848212751 14786560 2217 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2217 566 18 0 3592 0
vsize: 14440
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2263 0 0 0 15954 47 0 0 25 0 1 0 848212751 14917632 2237 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2237 566 18 0 3624 0
vsize: 14568
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2263 0 0 0 16951 51 0 0 25 0 1 0 848212751 14917632 2237 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2237 566 18 0 3624 0
vsize: 14568
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2263 0 0 0 17947 55 0 0 25 0 1 0 848212751 14917632 2237 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2237 566 18 0 3624 0
vsize: 14568
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2264 0 0 0 18944 57 0 0 25 0 1 0 848212751 14917632 2238 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2238 566 18 0 3624 0
vsize: 14568
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2271 0 0 0 19940 61 0 0 25 0 1 0 848212751 14917632 2245 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2245 566 18 0 3624 0
vsize: 14568
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2271 0 0 0 20938 64 0 0 25 0 1 0 848212751 14917632 2245 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2245 566 18 0 3624 0
vsize: 14568
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2424 0 0 0 21934 68 0 0 25 0 1 0 848212751 15577088 2398 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3803 2398 566 18 0 3785 0
vsize: 15212
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2425 0 0 0 22931 71 0 0 25 0 1 0 848212751 15577088 2399 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3803 2399 566 18 0 3785 0
vsize: 15212
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 23928 75 0 0 25 0 1 0 848212751 15708160 2419 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3835 2419 566 18 0 3817 0
vsize: 15340
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 24925 78 0 0 25 0 1 0 848212751 15695872 2419 4294967295 134512640 134581267 3221224592 3221223536 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3832 2419 566 18 0 3814 0
vsize: 15328
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 25923 80 0 0 25 0 1 0 848212751 15683584 2419 4294967295 134512640 134581267 3221224592 3221223456 134528346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3829 2419 566 18 0 3811 0
vsize: 15316
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 26920 84 0 0 25 0 1 0 848212751 15675392 2419 4294967295 134512640 134581267 3221224592 3221223536 134558895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2419 566 18 0 3809 0
vsize: 15308
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 27917 87 0 0 25 0 1 0 848212751 15646720 2419 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3820 2419 566 18 0 3802 0
vsize: 15280
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 28913 90 0 0 25 0 1 0 848212751 15626240 2419 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2419 566 18 0 3797 0
vsize: 15260
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 29911 93 0 0 25 0 1 0 848212751 15626240 2419 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2419 566 18 0 3797 0
vsize: 15260
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 30908 96 0 0 25 0 1 0 848212751 15626240 2419 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2419 566 18 0 3797 0
vsize: 15260
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 31905 99 0 0 25 0 1 0 848212751 15609856 2419 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2419 566 18 0 3793 0
vsize: 15244
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 32902 102 0 0 25 0 1 0 848212751 15609856 2419 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2419 566 18 0 3793 0
vsize: 15244
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2679 0 0 0 33899 105 0 0 25 0 1 0 848212751 16666624 2653 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 2653 566 18 0 4051 0
vsize: 16276
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2679 0 0 0 34896 108 0 0 25 0 1 0 848212751 16666624 2653 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 2653 566 18 0 4051 0
vsize: 16276
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2679 0 0 0 35894 111 0 0 25 0 1 0 848212751 16642048 2653 4294967295 134512640 134581267 3221224592 3221223536 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2653 566 18 0 4045 0
vsize: 16252
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 36891 114 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221222864 134566215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2667 566 18 0 4045 0
vsize: 16252
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 37888 117 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2667 566 18 0 4045 0
vsize: 16252
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 38885 120 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2667 566 18 0 4045 0
vsize: 16252
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 39882 124 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2667 566 18 0 4045 0
vsize: 16252
[startup+410.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 40882 126 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2667 566 18 0 4045 0
vsize: 16252
[startup+420.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 41879 129 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2667 566 18 0 4045 0
vsize: 16252
[startup+430.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 42876 132 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2667 566 18 0 4045 0
vsize: 16252
[startup+440.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 43873 136 0 0 25 0 1 0 848212751 16773120 2686 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4095 2686 566 18 0 4077 0
vsize: 16380
[startup+450.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 44871 138 0 0 25 0 1 0 848212751 16773120 2686 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4095 2686 566 18 0 4077 0
vsize: 16380
[startup+460.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 45869 140 0 0 25 0 1 0 848212751 16773120 2686 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4095 2686 566 18 0 4077 0
vsize: 16380
[startup+470.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 46866 143 0 0 25 0 1 0 848212751 16764928 2686 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4093 2686 566 18 0 4075 0
vsize: 16372
[startup+480.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 47864 146 0 0 25 0 1 0 848212751 16756736 2686 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4091 2686 566 18 0 4073 0
vsize: 16364
[startup+490.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 48861 148 0 0 25 0 1 0 848212751 16740352 2686 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2686 566 18 0 4069 0
vsize: 16348
[startup+500.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 49858 151 0 0 25 0 1 0 848212751 16728064 2686 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4084 2686 566 18 0 4066 0
vsize: 16336
[startup+510.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2774 0 0 0 50856 154 0 0 25 0 1 0 848212751 16986112 2748 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4147 2748 566 18 0 4129 0
vsize: 16588
[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2857 0 0 0 51853 157 0 0 25 0 1 0 848212751 17379328 2831 4294967295 134512640 134581267 3221224592 3221223584 134560928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4243 2831 566 18 0 4225 0
vsize: 16972
[startup+530.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2875 0 0 0 52850 161 0 0 25 0 1 0 848212751 17379328 2849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4243 2849 566 18 0 4225 0
vsize: 16972
[startup+540.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2884 0 0 0 53848 163 0 0 25 0 1 0 848212751 17510400 2858 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4275 2858 566 18 0 4257 0
vsize: 17100
[startup+550.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2889 0 0 0 54845 165 0 0 25 0 1 0 848212751 17510400 2863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4275 2863 566 18 0 4257 0
vsize: 17100
[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2895 0 0 0 55843 168 0 0 25 0 1 0 848212751 17510400 2869 4294967295 134512640 134581267 3221224592 3221223244 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4275 2869 566 18 0 4257 0
vsize: 17100
[startup+570.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2895 0 0 0 56841 170 0 0 25 0 1 0 848212751 17510400 2869 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4275 2869 566 18 0 4257 0
vsize: 17100
[startup+580.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2896 0 0 0 57839 172 0 0 25 0 1 0 848212751 17510400 2870 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4275 2870 566 18 0 4257 0
vsize: 17100
[startup+590.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 58836 175 0 0 25 0 1 0 848212751 17641472 2899 4294967295 134512640 134581267 3221224592 3221223536 134558795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 2899 566 18 0 4289 0
vsize: 17228
[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 59833 179 0 0 25 0 1 0 848212751 17641472 2899 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 2899 566 18 0 4289 0
vsize: 17228
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 60831 181 0 0 25 0 1 0 848212751 17641472 2899 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4307 2899 566 18 0 4289 0
vsize: 17228
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 61829 183 0 0 25 0 1 0 848212751 17629184 2899 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4304 2899 566 18 0 4286 0
vsize: 17216
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 62826 186 0 0 25 0 1 0 848212751 17604608 2899 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2899 566 18 0 4280 0
vsize: 17192
[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 63823 190 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+650.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 64820 192 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223404 1075285664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 65817 196 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+670.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 66814 199 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 67812 201 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223472 134520432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+690.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 68809 204 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+700.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 69807 207 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 70804 210 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4298 2903 566 18 0 4280 0
vsize: 17192
[startup+720.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 71801 213 0 0 25 0 1 0 848212751 17592320 2903 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4295 2903 566 18 0 4277 0
vsize: 17180
[startup+730.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 72798 216 0 0 25 0 1 0 848212751 17588224 2903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4294 2903 566 18 0 4276 0
vsize: 17176
[startup+740.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 73796 219 0 0 25 0 1 0 848212751 17588224 2903 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4294 2903 566 18 0 4276 0
vsize: 17176
[startup+750.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 74793 221 0 0 25 0 1 0 848212751 17571840 2900 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4290 2900 566 18 0 4272 0
vsize: 17160
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 75790 224 0 0 25 0 1 0 848212751 17551360 2895 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 2895 566 18 0 4267 0
vsize: 17140
[startup+770.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3098 0 0 0 76788 226 0 0 25 0 1 0 848212751 18333696 3061 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4476 3061 566 18 0 4458 0
vsize: 17904
[startup+780.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 77785 230 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223204 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3111 566 18 0 4491 0
vsize: 18036
[startup+790.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 78781 234 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3111 566 18 0 4491 0
vsize: 18036
[startup+800.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 79779 237 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3111 566 18 0 4491 0
vsize: 18036
[startup+810.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 80776 240 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3111 566 18 0 4491 0
vsize: 18036
[startup+820.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3154 0 0 0 81773 243 0 0 25 0 1 0 848212751 18468864 3117 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3117 566 18 0 4491 0
vsize: 18036
[startup+830.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3190 0 0 0 82771 245 0 0 25 0 1 0 848212751 18620416 3153 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3153 566 18 0 4528 0
vsize: 18184
[startup+840.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3190 0 0 0 83767 249 0 0 25 0 1 0 848212751 18620416 3153 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3153 566 18 0 4528 0
vsize: 18184
[startup+850.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3190 0 0 0 84765 252 0 0 25 0 1 0 848212751 18620416 3153 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3153 566 18 0 4528 0
vsize: 18184
[startup+860.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 85762 255 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+870.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 86760 257 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+880.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 87757 260 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+890.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 88754 263 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+900.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 89752 266 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+910.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 90749 269 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+920.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 91745 272 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+930.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 92743 276 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+940.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 93740 278 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+950.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 94736 282 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+960.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 95733 285 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 96731 288 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+980.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 97729 290 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 98727 292 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 99724 295 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1010.04 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 100721 298 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1020.04 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 101718 301 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1030.04 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 102716 304 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223536 134558887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1040.04 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 103714 306 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1050.04 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 104712 309 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1060.04 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 105709 311 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223536 134558908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 106708 313 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 107705 316 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 108703 318 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 109700 321 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 110698 324 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 111695 326 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 112693 329 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 113690 332 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 114688 334 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 115685 337 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 116683 340 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3154 566 18 0 4561 0
vsize: 18316
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3355 0 0 0 117681 342 0 0 25 0 1 0 848212751 19410944 3318 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4739 3318 566 18 0 4721 0
vsize: 18956
[startup+1188.82 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 1951
Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3355 0 0 0 117681 342 0 0 25 0 1 0 848212751 19410944 3318 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4739 3318 566 18 0 4721 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1185.56
CPU system time (s): 3.44948
CPU usage (%): 100.016
Max. virtual memory (Kb): 18956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	236
#### END VERIFIER DATA ####