PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM	bf7f8537c6faa135d25c67c53576abb5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	49
Optimality of the best value was proved	NO
Number of terms in the objective function	608
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	608
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	608
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.03484
Number of variables	607
Total number of constraints	1053
Number of constraints which are clauses	1022
Number of constraints which are cardinality constraints (but not clauses)	31
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	32
Trace number 38270

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 06:15:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26336 boxname=wulflinc4 idbench=66 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc4/normalized-e64.b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-e64.b.opb
IDLAUNCH: 26336
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        690788 kB
Buffers:         33816 kB
Cached:         288344 kB
SwapCached:        568 kB
Active:          53208 kB
Inactive:       271056 kB
HighTotal:      131008 kB
HighFree:         3752 kB
LowTotal:       903652 kB
LowFree:        687036 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            13880 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:35:33 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26336 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/wulflinc4/normalized-e64.b.opb
c #variables read: 608 - #constraints read: 1054
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 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.07 1.02 0.93 2/54 6317
Raw data (stat): 6317 (runsolver) R 6316 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847542883 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 555 0 0 0 990 8 0 0 25 0 1 0 847542883 7888896 529 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1926 529 566 18 0 1908 0
vsize: 7704
[startup+20.0006 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 611 0 0 0 1981 17 0 0 25 0 1 0 847542883 8151040 585 4294967295 134512640 134581267 3221224592 3221223536 134558834 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1990 585 566 18 0 1972 0
vsize: 7960
[startup+30.0005 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 656 0 0 0 2972 26 0 0 25 0 1 0 847542883 8282112 630 4294967295 134512640 134581267 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2022 630 566 18 0 2004 0
vsize: 8088
[startup+40.0003 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 690 0 0 0 3965 33 0 0 25 0 1 0 847542883 8413184 664 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2054 664 566 18 0 2036 0
vsize: 8216
[startup+50.0002 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 727 0 0 0 4960 39 0 0 25 0 1 0 847542883 8679424 701 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2119 701 566 18 0 2101 0
vsize: 8476
[startup+60 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 763 0 0 0 5955 44 0 0 25 0 1 0 847542883 8777728 737 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2143 737 566 18 0 2125 0
vsize: 8572
[startup+70.0013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 763 0 0 0 6952 47 0 0 25 0 1 0 847542883 8777728 737 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2143 737 566 18 0 2125 0
vsize: 8572
[startup+80.0017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 804 0 0 0 7947 53 0 0 25 0 1 0 847542883 8912896 778 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2176 778 566 18 0 2158 0
vsize: 8704
[startup+90.0016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 827 0 0 0 8939 61 0 0 25 0 1 0 847542883 9043968 801 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2208 801 566 18 0 2190 0
vsize: 8832
[startup+100.002 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 838 0 0 0 9932 67 0 0 25 0 1 0 847542883 9043968 812 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2208 812 566 18 0 2190 0
vsize: 8832
[startup+110.002 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 841 0 0 0 10925 75 0 0 25 0 1 0 847542883 9043968 815 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2208 815 566 18 0 2190 0
vsize: 8832
[startup+120.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 847 0 0 0 11918 82 0 0 25 0 1 0 847542883 9043968 821 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2208 821 566 18 0 2190 0
vsize: 8832
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 854 0 0 0 12911 89 0 0 25 0 1 0 847542883 9175040 828 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2240 828 566 18 0 2222 0
vsize: 8960
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 899 0 0 0 13904 97 0 0 25 0 1 0 847542883 9306112 873 4294967295 134512640 134581267 3221224592 3221223488 134527752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2272 873 566 18 0 2254 0
vsize: 9088
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 916 0 0 0 14899 102 0 0 25 0 1 0 847542883 9437184 890 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2304 890 566 18 0 2286 0
vsize: 9216
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 927 0 0 0 15892 109 0 0 25 0 1 0 847542883 9437184 901 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2304 901 566 18 0 2286 0
vsize: 9216
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 937 0 0 0 16888 113 0 0 25 0 1 0 847542883 9437184 911 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2304 911 566 18 0 2286 0
vsize: 9216
[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 951 0 0 0 17881 120 0 0 25 0 1 0 847542883 9568256 925 4294967295 134512640 134581267 3221224592 3221223456 134528289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2336 925 566 18 0 2318 0
vsize: 9344
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 958 0 0 0 18876 125 0 0 25 0 1 0 847542883 9568256 932 4294967295 134512640 134581267 3221224592 3221223504 134527709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2336 932 566 18 0 2318 0
vsize: 9344
[startup+200.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 995 0 0 0 19871 130 0 0 25 0 1 0 847542883 9699328 969 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2368 969 566 18 0 2350 0
vsize: 9472
[startup+210.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1013 0 0 0 20863 138 0 0 25 0 1 0 847542883 9830400 987 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2400 987 566 18 0 2382 0
vsize: 9600
[startup+220.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1026 0 0 0 21856 146 0 0 25 0 1 0 847542883 9830400 1000 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2400 1000 566 18 0 2382 0
vsize: 9600
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1029 0 0 0 22846 156 0 0 25 0 1 0 847542883 9830400 1003 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2400 1003 566 18 0 2382 0
vsize: 9600
[startup+240.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1047 0 0 0 23837 165 0 0 25 0 1 0 847542883 9961472 1021 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1021 566 18 0 2414 0
vsize: 9728
[startup+250.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1047 0 0 0 24830 172 0 0 25 0 1 0 847542883 9961472 1021 4294967295 134512640 134581267 3221224592 3221223536 134559333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1021 566 18 0 2414 0
vsize: 9728
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1047 0 0 0 25823 179 0 0 25 0 1 0 847542883 9961472 1021 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1021 566 18 0 2414 0
vsize: 9728
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1049 0 0 0 26820 183 0 0 25 0 1 0 847542883 9961472 1023 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1023 566 18 0 2414 0
vsize: 9728
[startup+280.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1057 0 0 0 27816 187 0 0 25 0 1 0 847542883 9961472 1031 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2432 1031 566 18 0 2414 0
vsize: 9728
[startup+290.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1107 0 0 0 28810 193 0 0 25 0 1 0 847542883 10223616 1081 4294967295 134512640 134581267 3221224592 3221223584 134560606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1081 566 18 0 2478 0
vsize: 9984
[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1124 0 0 0 29805 198 0 0 25 0 1 0 847542883 10223616 1098 4294967295 134512640 134581267 3221224592 3221223488 134517512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1098 566 18 0 2478 0
vsize: 9984
[startup+310.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1124 0 0 0 30800 203 0 0 25 0 1 0 847542883 10223616 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1098 566 18 0 2478 0
vsize: 9984
[startup+320.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1124 0 0 0 31794 210 0 0 25 0 1 0 847542883 10223616 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1098 566 18 0 2478 0
vsize: 9984
[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1149 0 0 0 32788 215 0 0 25 0 1 0 847542883 10362880 1123 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2530 1123 566 18 0 2512 0
vsize: 10120
[startup+340.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1157 0 0 0 33783 221 0 0 25 0 1 0 847542883 10362880 1131 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2530 1131 566 18 0 2512 0
vsize: 10120
[startup+350.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1157 0 0 0 34777 226 0 0 25 0 1 0 847542883 10362880 1131 4294967295 134512640 134581267 3221224592 3221223368 1075285846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2530 1131 566 18 0 2512 0
vsize: 10120
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1160 0 0 0 35771 232 0 0 25 0 1 0 847542883 10362880 1134 4294967295 134512640 134581267 3221224592 3221223504 134527776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2530 1134 566 18 0 2512 0
vsize: 10120
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1166 0 0 0 36767 237 0 0 25 0 1 0 847542883 10477568 1140 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1140 566 18 0 2540 0
vsize: 10232
[startup+380.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1178 0 0 0 37760 244 0 0 25 0 1 0 847542883 10477568 1152 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1152 566 18 0 2540 0
vsize: 10232
[startup+390.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1184 0 0 0 38755 249 0 0 25 0 1 0 847542883 10477568 1158 4294967295 134512640 134581267 3221224592 3221223280 1075288177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1158 566 18 0 2540 0
vsize: 10232
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1184 0 0 0 39749 255 0 0 25 0 1 0 847542883 10477568 1158 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1158 566 18 0 2540 0
vsize: 10232
[startup+410.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1184 0 0 0 40742 263 0 0 25 0 1 0 847542883 10477568 1158 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1158 566 18 0 2540 0
vsize: 10232
[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1214 0 0 0 41736 269 0 0 25 0 1 0 847542883 10608640 1188 4294967295 134512640 134581267 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2590 1188 566 18 0 2572 0
vsize: 10360
[startup+430.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1232 0 0 0 42723 281 0 0 25 0 1 0 847542883 10747904 1206 4294967295 134512640 134581267 3221224592 3221223456 134560188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2624 1206 566 18 0 2606 0
vsize: 10496
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1247 0 0 0 43716 289 0 0 25 0 1 0 847542883 10747904 1221 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2624 1221 566 18 0 2606 0
vsize: 10496
[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1253 0 0 0 44706 299 0 0 25 0 1 0 847542883 10747904 1227 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2624 1227 566 18 0 2606 0
vsize: 10496
[startup+460.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1268 0 0 0 45695 310 0 0 25 0 1 0 847542883 10870784 1242 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1242 566 18 0 2636 0
vsize: 10616
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1268 0 0 0 46685 320 0 0 25 0 1 0 847542883 10870784 1242 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1242 566 18 0 2636 0
vsize: 10616
[startup+480.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1268 0 0 0 47675 331 0 0 25 0 1 0 847542883 10870784 1242 4294967295 134512640 134581267 3221224592 3221223520 134519857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1242 566 18 0 2636 0
vsize: 10616
[startup+490.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1281 0 0 0 48666 340 0 0 25 0 1 0 847542883 10870784 1255 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1255 566 18 0 2636 0
vsize: 10616
[startup+500.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1285 0 0 0 49658 348 0 0 25 0 1 0 847542883 10870784 1259 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1259 566 18 0 2636 0
vsize: 10616
[startup+510.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1288 0 0 0 50648 359 0 0 25 0 1 0 847542883 11001856 1262 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1262 566 18 0 2668 0
vsize: 10744
[startup+520.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1288 0 0 0 51636 370 0 0 25 0 1 0 847542883 11001856 1262 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1262 566 18 0 2668 0
vsize: 10744
[startup+530.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1296 0 0 0 52624 383 0 0 25 0 1 0 847542883 11001856 1270 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1270 566 18 0 2668 0
vsize: 10744
[startup+540.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1296 0 0 0 53612 395 0 0 25 0 1 0 847542883 11001856 1270 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1270 566 18 0 2668 0
vsize: 10744
[startup+550.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1297 0 0 0 54602 405 0 0 25 0 1 0 847542883 11001856 1271 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1271 566 18 0 2668 0
vsize: 10744
[startup+560.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1302 0 0 0 55593 414 0 0 25 0 1 0 847542883 11001856 1276 4294967295 134512640 134581267 3221224592 3221223456 134528289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1276 566 18 0 2668 0
vsize: 10744
[startup+570.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1315 0 0 0 56582 425 0 0 25 0 1 0 847542883 11001856 1289 4294967295 134512640 134581267 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1289 566 18 0 2668 0
vsize: 10744
[startup+580.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1315 0 0 0 57572 435 0 0 25 0 1 0 847542883 11001856 1289 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1289 566 18 0 2668 0
vsize: 10744
[startup+590.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1343 0 0 0 58564 444 0 0 25 0 1 0 847542883 11132928 1317 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1317 566 18 0 2700 0
vsize: 10872
[startup+600.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1343 0 0 0 59553 455 0 0 25 0 1 0 847542883 11132928 1317 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1317 566 18 0 2700 0
vsize: 10872
[startup+610.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1343 0 0 0 60545 463 0 0 25 0 1 0 847542883 11132928 1317 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1317 566 18 0 2700 0
vsize: 10872
[startup+620.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1343 0 0 0 61536 472 0 0 25 0 1 0 847542883 11132928 1317 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 1317 566 18 0 2700 0
vsize: 10872
[startup+630.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1369 0 0 0 62529 479 0 0 25 0 1 0 847542883 11264000 1343 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2750 1343 566 18 0 2732 0
vsize: 11000
[startup+640.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1385 0 0 0 63525 484 0 0 25 0 1 0 847542883 11399168 1359 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2783 1359 566 18 0 2765 0
vsize: 11132
[startup+650.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1392 0 0 0 64520 489 0 0 25 0 1 0 847542883 11399168 1366 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2783 1366 566 18 0 2765 0
vsize: 11132
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1411 0 0 0 65515 494 0 0 25 0 1 0 847542883 11399168 1385 4294967295 134512640 134581267 3221224592 3221223456 134560306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2783 1385 566 18 0 2765 0
vsize: 11132
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1416 0 0 0 66511 499 0 0 25 0 1 0 847542883 11530240 1390 4294967295 134512640 134581267 3221224592 3221223520 134519806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2815 1390 566 18 0 2797 0
vsize: 11260
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1424 0 0 0 67506 504 0 0 25 0 1 0 847542883 11485184 1398 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1398 566 18 0 2786 0
vsize: 11216
[startup+690.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1424 0 0 0 68501 508 0 0 25 0 1 0 847542883 11485184 1398 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1398 566 18 0 2786 0
vsize: 11216
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1424 0 0 0 69497 513 0 0 25 0 1 0 847542883 11485184 1398 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1398 566 18 0 2786 0
vsize: 11216
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1430 0 0 0 70493 517 0 0 25 0 1 0 847542883 11485184 1404 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1404 566 18 0 2786 0
vsize: 11216
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1431 0 0 0 71488 522 0 0 25 0 1 0 847542883 11485184 1405 4294967295 134512640 134581267 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1405 566 18 0 2786 0
vsize: 11216
[startup+730.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1431 0 0 0 72484 526 0 0 25 0 1 0 847542883 11485184 1405 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1405 566 18 0 2786 0
vsize: 11216
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1431 0 0 0 73479 531 0 0 25 0 1 0 847542883 11485184 1405 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1405 566 18 0 2786 0
vsize: 11216
[startup+750.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1442 0 0 0 74474 536 0 0 25 0 1 0 847542883 11616256 1416 4294967295 134512640 134581267 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1416 566 18 0 2818 0
vsize: 11344
[startup+760.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1442 0 0 0 75470 541 0 0 25 0 1 0 847542883 11616256 1416 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1416 566 18 0 2818 0
vsize: 11344
[startup+770.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1443 0 0 0 76464 547 0 0 25 0 1 0 847542883 11616256 1417 4294967295 134512640 134581267 3221224592 3221223584 134561098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1417 566 18 0 2818 0
vsize: 11344
[startup+780.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1443 0 0 0 77458 553 0 0 25 0 1 0 847542883 11616256 1417 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1417 566 18 0 2818 0
vsize: 11344
[startup+790.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1443 0 0 0 78454 558 0 0 25 0 1 0 847542883 11616256 1417 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1417 566 18 0 2818 0
vsize: 11344
[startup+800.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1462 0 0 0 79448 563 0 0 25 0 1 0 847542883 11616256 1436 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1436 566 18 0 2818 0
vsize: 11344
[startup+810.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1464 0 0 0 80442 570 0 0 25 0 1 0 847542883 11751424 1438 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1438 566 18 0 2851 0
vsize: 11476
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1467 0 0 0 81437 575 0 0 25 0 1 0 847542883 11751424 1441 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1441 566 18 0 2851 0
vsize: 11476
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1467 0 0 0 82433 580 0 0 25 0 1 0 847542883 11751424 1441 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1441 566 18 0 2851 0
vsize: 11476
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1467 0 0 0 83428 584 0 0 25 0 1 0 847542883 11751424 1441 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1441 566 18 0 2851 0
vsize: 11476
[startup+850.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1470 0 0 0 84420 592 0 0 25 0 1 0 847542883 11751424 1444 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1444 566 18 0 2851 0
vsize: 11476
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1476 0 0 0 85414 599 0 0 25 0 1 0 847542883 11751424 1450 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1450 566 18 0 2851 0
vsize: 11476
[startup+870.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1476 0 0 0 86410 603 0 0 25 0 1 0 847542883 11751424 1450 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1450 566 18 0 2851 0
vsize: 11476
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1476 0 0 0 87406 608 0 0 25 0 1 0 847542883 11751424 1450 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1450 566 18 0 2851 0
vsize: 11476
[startup+890.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1476 0 0 0 88400 613 0 0 25 0 1 0 847542883 11751424 1450 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1450 566 18 0 2851 0
vsize: 11476
[startup+900.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1479 0 0 0 89395 619 0 0 25 0 1 0 847542883 11751424 1453 4294967295 134512640 134581267 3221224592 3221223536 134558806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2869 1453 566 18 0 2851 0
vsize: 11476
[startup+910.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1546 0 0 0 90389 625 0 0 25 0 1 0 847542883 12013568 1520 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1520 566 18 0 2915 0
vsize: 11732
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 91383 631 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 92377 637 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+940.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 93372 643 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+950.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 94367 647 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 95359 656 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 96350 665 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223488 134527811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 97343 672 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+990.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 98338 677 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223504 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 99334 681 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 100329 686 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 101324 692 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223280 1075288331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 102317 699 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 103312 704 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 104307 710 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 105300 716 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 106294 722 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 107288 729 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 108281 736 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223504 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 109275 742 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 110269 749 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223536 134559228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 111263 754 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 112258 760 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223456 134560284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 113252 766 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 114246 772 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1575 0 0 0 115238 781 0 0 25 0 1 0 847542883 11837440 1490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1490 566 18 0 2872 0
vsize: 11560
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1627 0 0 0 116231 788 0 0 25 0 1 0 847542883 12099584 1542 4294967295 134512640 134581267 3221224592 3221223504 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2954 1542 566 18 0 2936 0
vsize: 11816
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1640 0 0 0 117224 795 0 0 25 0 1 0 847542883 12242944 1555 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1555 566 18 0 2971 0
vsize: 11956
[startup+1188.84 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 6317
Raw data (stat): 6317 (Pueblo-v2) R 6316 21152 21151 0 -1 0 1640 0 0 0 117224 795 0 0 25 0 1 0 847542883 12242944 1555 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1555 566 18 0 2971 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.01
CPU user time (s): 1180.99
CPU system time (s): 8.02278
CPU usage (%): 100.014
Max. virtual memory (Kb): 11956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	63
#### END VERIFIER DATA ####