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-f51m.b.opb
MD5SUM	4fc22abde8250807abd95442a25fac44
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	407
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	407
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	407
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	406
Total number of constraints	538
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 38273

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 06:21:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26339 boxname=wulflinc3 idbench=69 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4fc22abde8250807abd95442a25fac44  /oldhome/oroussel/tmp/wulflinc3/normalized-f51m.b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-f51m.b.opb
IDLAUNCH: 26339
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        734896 kB
Buffers:         33456 kB
Cached:         244436 kB
SwapCached:        228 kB
Active:          60332 kB
Inactive:       220144 kB
HighTotal:      131008 kB
HighFree:          308 kB
LowTotal:       903652 kB
LowFree:        734588 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6328 kB
Slab:            13584 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:41:20 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26339 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/wulflinc3/normalized-f51m.b.opb
c #variables read: 407 - #constraints read: 517
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 
#### 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.92 2/54 3283
Raw data (stat): 3283 (runsolver) R 3282 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847578542 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 429 0 0 0 984 14 0 0 25 0 1 0 847578542 7368704 403 4294967295 134512640 134581267 3221224592 3221223456 134560198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1799 403 566 18 0 1781 0
vsize: 7196
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 452 0 0 0 1970 29 0 0 25 0 1 0 847578542 7499776 426 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1831 426 566 18 0 1813 0
vsize: 7324
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 493 0 0 0 2955 44 0 0 25 0 1 0 847578542 7630848 467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 467 566 18 0 1845 0
vsize: 7452
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 3941 59 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 4928 71 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 5919 81 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223456 134560451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 6907 93 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 7893 107 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 8876 124 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 9865 135 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223472 134520288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 10854 146 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 11839 162 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223504 134527718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 12826 174 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 13812 189 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 14798 202 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 664 0 0 0 15780 221 0 0 25 0 1 0 847578542 8286208 638 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 638 566 18 0 2005 0
vsize: 8092
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 722 0 0 0 16770 231 0 0 25 0 1 0 847578542 8548352 696 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 696 566 18 0 2069 0
vsize: 8348
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 722 0 0 0 17762 240 0 0 25 0 1 0 847578542 8548352 696 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 696 566 18 0 2069 0
vsize: 8348
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 722 0 0 0 18748 254 0 0 25 0 1 0 847578542 8548352 696 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 696 566 18 0 2069 0
vsize: 8348
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 722 0 0 0 19735 267 0 0 25 0 1 0 847578542 8548352 696 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 696 566 18 0 2069 0
vsize: 8348
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 722 0 0 0 20726 276 0 0 25 0 1 0 847578542 8548352 696 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 696 566 18 0 2069 0
vsize: 8348
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 722 0 0 0 21717 286 0 0 25 0 1 0 847578542 8548352 696 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2087 696 566 18 0 2069 0
vsize: 8348
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 731 0 0 0 22703 300 0 0 25 0 1 0 847578542 8650752 705 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2112 705 566 18 0 2094 0
vsize: 8448
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 739 0 0 0 23690 312 0 0 25 0 1 0 847578542 8650752 713 4294967295 134512640 134581267 3221224592 3221223536 134558858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2112 713 566 18 0 2094 0
vsize: 8448
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 749 0 0 0 24681 321 0 0 25 0 1 0 847578542 8650752 723 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2112 723 566 18 0 2094 0
vsize: 8448
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 762 0 0 0 25671 332 0 0 25 0 1 0 847578542 8736768 736 4294967295 134512640 134581267 3221224592 3221223504 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 736 566 18 0 2115 0
vsize: 8532
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 762 0 0 0 26659 344 0 0 25 0 1 0 847578542 8736768 736 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 736 566 18 0 2115 0
vsize: 8532
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 762 0 0 0 27648 355 0 0 25 0 1 0 847578542 8736768 736 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2133 736 566 18 0 2115 0
vsize: 8532
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 780 0 0 0 28637 366 0 0 25 0 1 0 847578542 8851456 754 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2161 754 566 18 0 2143 0
vsize: 8644
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 789 0 0 0 29626 378 0 0 25 0 1 0 847578542 8851456 763 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2161 763 566 18 0 2143 0
vsize: 8644
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 789 0 0 0 30617 387 0 0 25 0 1 0 847578542 8851456 763 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2161 763 566 18 0 2143 0
vsize: 8644
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 790 0 0 0 31604 400 0 0 25 0 1 0 847578542 8851456 764 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2161 764 566 18 0 2143 0
vsize: 8644
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 32589 415 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 33576 428 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 34563 442 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 35551 453 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 36536 469 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 37524 482 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 38512 494 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 39497 509 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 40481 524 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 41467 539 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 42455 552 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 43442 564 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 44428 578 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+460.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 45409 597 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 46395 611 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+480.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 47384 623 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+490.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 48374 634 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223584 134560919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+500.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 49361 647 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 50350 658 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+520.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 51336 671 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+530.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 52324 684 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+540.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 53308 700 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223488 134527747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 54296 712 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+560.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 55285 723 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 56270 738 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 57260 749 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 58239 770 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+600.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 59210 799 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223584 134561043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 60187 823 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+620.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 61172 838 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 62158 852 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223536 134559349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 63129 881 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+650.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 64117 893 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+660.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 65104 907 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 66095 916 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 67079 932 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 68062 949 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+700.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 69048 964 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+710.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 70036 976 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+720.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 71024 988 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 72011 1001 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134560456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 72998 1014 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 73986 1026 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 74971 1041 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 75959 1054 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 76940 1073 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 77924 1089 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 78906 1107 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+810.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 79888 1126 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+820.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 80871 1143 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 81852 1162 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 82835 1179 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+850.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 83821 1194 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 84805 1209 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+870.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 85791 1224 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+880.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 86777 1238 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+890.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 87762 1253 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 88750 1266 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+910.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 89739 1276 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+920.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 90721 1295 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+930.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 91703 1312 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+940.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 92691 1325 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+950.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 93672 1344 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+960.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 94654 1363 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+970.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 95640 1376 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+980.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 96623 1394 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+990.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 97608 1409 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 98588 1429 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 99573 1444 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 100559 1458 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 101548 1470 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 102531 1487 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 103516 1502 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 104505 1514 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 105486 1532 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 106476 1543 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 107458 1561 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 108439 1580 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223552 134554613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 109421 1598 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 110401 1619 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 111379 1640 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 112362 1658 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 113351 1669 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 114336 1684 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223456 134560200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 115320 1700 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223536 134558830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 116304 1716 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 9744
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 3283
Raw data (stat): 3283 (Pueblo-v2) R 3282 20224 20223 0 -1 0 1110 0 0 0 116304 1716 0 0 25 0 1 0 847578542 9977856 1052 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2436 1052 566 18 0 2418 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1171.75
CPU system time (s): 17.2614
CPU usage (%): 100.016
Max. virtual memory (Kb): 9744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	21
#### END VERIFIER DATA ####