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-sao2.b.opb
MD5SUM	3e273bcee52631aeea0b7b1138e7d68d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25
Optimality of the best value was proved	NO
Number of terms in the objective function	373
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	373
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	373
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.03784
Number of variables	372
Total number of constraints	779
Number of constraints which are clauses	772
Number of constraints which are cardinality constraints (but not clauses)	7
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 38329

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 06:36:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26343 boxname=wulflinc1 idbench=73 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc1/normalized-sao2.b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-sao2.b.opb
IDLAUNCH: 26343
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        677100 kB
Buffers:         33828 kB
Cached:         299684 kB
SwapCached:        640 kB
Active:          67716 kB
Inactive:       268060 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        676848 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            16000 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:56:10 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26343 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc1/normalized-sao2.b.opb
c #variables read: 373 - #constraints read: 652
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 
#### 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.85 0.96 0.91 2/55 31022
Raw data (stat): 31022 (runsolver) R 31021 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 790818883 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+9.99939 s]
Raw data (loadavg): 0.87 0.96 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 422 0 0 0 986 12 0 0 25 0 1 0 790818883 7364608 396 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1798 396 566 18 0 1780 0
vsize: 7192
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.96 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 461 0 0 0 1970 28 0 0 25 0 1 0 790818883 7495680 435 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 435 566 18 0 1812 0
vsize: 7320
[startup+29.9999 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 501 0 0 0 2944 55 0 0 25 0 1 0 790818883 7630848 475 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 475 566 18 0 1845 0
vsize: 7452
[startup+39.9997 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 521 0 0 0 3927 72 0 0 25 0 1 0 790818883 7766016 495 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 495 566 18 0 1878 0
vsize: 7584
[startup+49.9995 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 532 0 0 0 4915 83 0 0 25 0 1 0 790818883 7766016 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 506 566 18 0 1878 0
vsize: 7584
[startup+59.9993 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 539 0 0 0 5895 104 0 0 25 0 1 0 790818883 7888896 513 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 513 566 18 0 1908 0
vsize: 7704
[startup+70.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 547 0 0 0 6881 118 0 0 25 0 1 0 790818883 7888896 521 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 521 566 18 0 1908 0
vsize: 7704
[startup+80.0008 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 561 0 0 0 7869 131 0 0 25 0 1 0 790818883 7888896 535 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 535 566 18 0 1908 0
vsize: 7704
[startup+90.0006 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 613 0 0 0 8860 140 0 0 25 0 1 0 790818883 8134656 587 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1986 587 566 18 0 1968 0
vsize: 7944
[startup+100 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 613 0 0 0 9850 149 0 0 25 0 1 0 790818883 8134656 587 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1986 587 566 18 0 1968 0
vsize: 7944
[startup+110 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 655 0 0 0 10840 160 0 0 25 0 1 0 790818883 8196096 617 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 655 0 0 0 11822 178 0 0 25 0 1 0 790818883 8196096 617 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 655 0 0 0 12804 196 0 0 25 0 1 0 790818883 8196096 617 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 655 0 0 0 13782 218 0 0 25 0 1 0 790818883 8196096 617 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+150.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 655 0 0 0 14759 241 0 0 25 0 1 0 790818883 8196096 617 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2001 617 566 18 0 1983 0
vsize: 8004
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 658 0 0 0 15739 262 0 0 25 0 1 0 790818883 8331264 620 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2034 620 566 18 0 2016 0
vsize: 8136
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 662 0 0 0 16713 288 0 0 25 0 1 0 790818883 8331264 624 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2034 624 566 18 0 2016 0
vsize: 8136
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 666 0 0 0 17692 310 0 0 25 0 1 0 790818883 8331264 628 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2034 628 566 18 0 2016 0
vsize: 8136
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 692 0 0 0 18673 329 0 0 25 0 1 0 790818883 8466432 654 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 654 566 18 0 2049 0
vsize: 8268
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 707 0 0 0 19651 350 0 0 25 0 1 0 790818883 8466432 669 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 669 566 18 0 2049 0
vsize: 8268
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 711 0 0 0 20634 368 0 0 25 0 1 0 790818883 8466432 673 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 673 566 18 0 2049 0
vsize: 8268
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 720 0 0 0 21625 377 0 0 25 0 1 0 790818883 8466432 682 4294967295 134512640 134581267 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 682 566 18 0 2049 0
vsize: 8268
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 733 0 0 0 22616 386 0 0 25 0 1 0 790818883 8597504 695 4294967295 134512640 134581267 3221224592 3221223472 134560153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2099 695 566 18 0 2081 0
vsize: 8396
[startup+240.001 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 733 0 0 0 23608 395 0 0 25 0 1 0 790818883 8597504 695 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2099 695 566 18 0 2081 0
vsize: 8396
[startup+250.002 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 24598 404 0 0 25 0 1 0 790818883 9621504 944 4294967295 134512640 134581267 3221224592 3221223504 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2349 944 566 18 0 2331 0
vsize: 9396
[startup+260.001 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 25589 413 0 0 25 0 1 0 790818883 9027584 820 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 820 566 18 0 2186 0
vsize: 8816
[startup+270.001 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 26579 424 0 0 25 0 1 0 790818883 9027584 820 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 820 566 18 0 2186 0
vsize: 8816
[startup+280.001 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 27563 440 0 0 25 0 1 0 790818883 9027584 820 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 820 566 18 0 2186 0
vsize: 8816
[startup+290.001 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 28544 459 0 0 25 0 1 0 790818883 9027584 820 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 820 566 18 0 2186 0
vsize: 8816
[startup+300.001 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 29521 482 0 0 25 0 1 0 790818883 9027584 820 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 820 566 18 0 2186 0
vsize: 8816
[startup+310.001 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 30496 507 0 0 25 0 1 0 790818883 9027584 820 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 820 566 18 0 2186 0
vsize: 8816
[startup+320.002 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 982 0 0 0 31476 528 0 0 25 0 1 0 790818883 9027584 820 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 820 566 18 0 2186 0
vsize: 8816
[startup+330.001 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 32456 547 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+340.001 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 33439 565 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+350.001 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 34425 579 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+360.001 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 35414 591 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+370.001 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 36403 602 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+380 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 37392 613 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+390 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 38382 623 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+400 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 39371 634 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+410 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 40357 648 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+419.999 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 41345 660 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+430 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 42335 670 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+440 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 986 0 0 0 43326 680 0 0 25 0 1 0 790818883 9056256 824 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 824 566 18 0 2193 0
vsize: 8844
[startup+450 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1013 0 0 0 44312 694 0 0 25 0 1 0 790818883 9187328 851 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 851 566 18 0 2225 0
vsize: 8972
[startup+460 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1013 0 0 0 45303 702 0 0 25 0 1 0 790818883 9187328 851 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 851 566 18 0 2225 0
vsize: 8972
[startup+470 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1013 0 0 0 46297 709 0 0 25 0 1 0 790818883 9187328 851 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 851 566 18 0 2225 0
vsize: 8972
[startup+480 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1013 0 0 0 47287 720 0 0 25 0 1 0 790818883 9187328 851 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 851 566 18 0 2225 0
vsize: 8972
[startup+490 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1013 0 0 0 48268 739 0 0 25 0 1 0 790818883 9187328 851 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 851 566 18 0 2225 0
vsize: 8972
[startup+500.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1013 0 0 0 49245 761 0 0 25 0 1 0 790818883 9187328 851 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 851 566 18 0 2225 0
vsize: 8972
[startup+510.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1014 0 0 0 50233 773 0 0 25 0 1 0 790818883 9187328 852 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 852 566 18 0 2225 0
vsize: 8972
[startup+520 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1021 0 0 0 51211 796 0 0 25 0 1 0 790818883 9187328 859 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 859 566 18 0 2225 0
vsize: 8972
[startup+530 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1021 0 0 0 52182 825 0 0 25 0 1 0 790818883 9187328 859 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 859 566 18 0 2225 0
vsize: 8972
[startup+540.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1021 0 0 0 53152 855 0 0 25 0 1 0 790818883 9187328 859 4294967295 134512640 134581267 3221224592 3221223456 134560433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 859 566 18 0 2225 0
vsize: 8972
[startup+550.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1021 0 0 0 54121 887 0 0 25 0 1 0 790818883 9187328 859 4294967295 134512640 134581267 3221224592 3221223456 134560433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 859 566 18 0 2225 0
vsize: 8972
[startup+560 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1021 0 0 0 55093 915 0 0 25 0 1 0 790818883 9187328 859 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 859 566 18 0 2225 0
vsize: 8972
[startup+570.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1022 0 0 0 56068 940 0 0 25 0 1 0 790818883 9322496 860 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2276 860 566 18 0 2258 0
vsize: 9104
[startup+580.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 57040 968 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+590.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 58010 998 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+600.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 58994 1014 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+610.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 59975 1033 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+620.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 60967 1042 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+630.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 61959 1050 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+640.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 62952 1057 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+650.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1061 0 0 0 63941 1068 0 0 25 0 1 0 790818883 9330688 894 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2278 894 566 18 0 2260 0
vsize: 9112
[startup+660.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1063 0 0 0 64927 1083 0 0 25 0 1 0 790818883 9457664 896 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2309 896 566 18 0 2291 0
vsize: 9236
[startup+670.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 65913 1097 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+680.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 66899 1111 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223536 134559051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+690.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 67885 1124 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+700.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 68872 1138 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+710.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 69857 1153 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+720.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 70844 1167 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+730.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 71824 1186 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+740.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 72807 1203 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+750.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 73790 1221 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+760.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 74769 1242 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+770.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 75753 1259 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+780.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 76736 1276 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+790.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 77721 1290 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+800.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 78707 1305 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+810.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 79688 1323 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+820.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 80670 1342 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+830.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 81650 1362 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223456 134560427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+840.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 82637 1376 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223456 134560181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+850.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 83624 1388 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223552 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+860.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 84612 1400 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+870.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 85601 1412 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223504 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+880.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 86587 1426 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+890.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 87575 1438 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+900.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 88566 1447 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+910.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 89553 1461 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+920.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 90542 1472 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+930.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 91530 1484 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+940.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 92517 1497 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+950.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 93499 1515 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+960.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 94482 1532 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+970.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 95464 1550 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+980.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 96448 1567 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+990.002 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 97428 1587 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 98415 1600 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1273 0 0 0 99397 1618 0 0 25 0 1 0 790818883 10162176 1097 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1097 566 18 0 2463 0
vsize: 9924
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 100384 1631 0 0 25 0 1 0 790818883 10817536 1254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2641 1254 566 18 0 2623 0
vsize: 10564
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 101372 1644 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 102360 1656 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 103351 1665 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 104341 1675 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 105327 1689 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 106315 1701 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 107305 1711 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 108296 1721 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 109286 1731 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 110277 1741 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223456 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 111266 1752 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 112255 1763 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 113240 1777 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 114227 1791 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223536 134559318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 115216 1802 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 116205 1813 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 9928
[startup+1188.82 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 31022
Raw data (stat): 31022 (Pueblo-v2) R 31021 8378 8377 0 -1 0 1430 0 0 0 116205 1813 0 0 25 0 1 0 790818883 10166272 1098 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2482 1098 566 18 0 2464 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1170.79
CPU system time (s): 18.2172
CPU usage (%): 100.016
Max. virtual memory (Kb): 10564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####