PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUM	6005a01d3f2ae55b0ca9c19f876c5827
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	360
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	360
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	360
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.02584
Number of variables	360
Total number of constraints	980
Number of constraints which are clauses	980
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 38368

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 08:15:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26434 boxname=wulflinc3 idbench=164 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  6005a01d3f2ae55b0ca9c19f876c5827  /oldhome/oroussel/tmp/wulflinc3/normalized-ii8a2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ii8a2.opb
IDLAUNCH: 26434
/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:        729920 kB
Buffers:         33852 kB
Cached:         248868 kB
SwapCached:        228 kB
Active:          60556 kB
Inactive:       224736 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        729668 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6328 kB
Slab:            13632 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 08:35:41 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26434 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-ii8a2.opb
c #variables read: 360 - #constraints read: 981
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 
#### 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.95 0.90 1/54 7302
Raw data (stat): 7302 (runsolver) R 7301 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848264734 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.0014 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 558 0 0 0 991 7 0 0 25 0 1 0 848264734 7884800 532 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1925 532 566 18 0 1907 0
vsize: 7700
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 633 0 0 0 1984 14 0 0 25 0 1 0 848264734 8232960 607 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 690 0 0 0 2977 21 0 0 25 0 1 0 848264734 8495104 664 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2074 664 566 18 0 2056 0
vsize: 8296
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 732 0 0 0 3971 27 0 0 25 0 1 0 848264734 8626176 706 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2106 706 566 18 0 2088 0
vsize: 8424
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 765 0 0 0 4965 33 0 0 25 0 1 0 848264734 8757248 739 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2138 739 566 18 0 2120 0
vsize: 8552
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 805 0 0 0 5957 41 0 0 25 0 1 0 848264734 8888320 779 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2170 779 566 18 0 2152 0
vsize: 8680
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 807 0 0 0 6949 50 0 0 25 0 1 0 848264734 8888320 781 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2170 781 566 18 0 2152 0
vsize: 8680
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 847 0 0 0 7942 57 0 0 25 0 1 0 848264734 9129984 821 4294967295 134512640 134581267 3221224592 3221223520 134520092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2229 821 566 18 0 2211 0
vsize: 8916
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 858 0 0 0 8936 63 0 0 25 0 1 0 848264734 9129984 832 4294967295 134512640 134581267 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2229 832 566 18 0 2211 0
vsize: 8916
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 864 0 0 0 9930 69 0 0 25 0 1 0 848264734 9129984 838 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2229 838 566 18 0 2211 0
vsize: 8916
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 900 0 0 0 10924 76 0 0 25 0 1 0 848264734 9277440 874 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2265 874 566 18 0 2247 0
vsize: 9060
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 918 0 0 0 11918 82 0 0 25 0 1 0 848264734 9408512 892 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2297 892 566 18 0 2279 0
vsize: 9188
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 929 0 0 0 12911 89 0 0 25 0 1 0 848264734 9408512 903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2297 903 566 18 0 2279 0
vsize: 9188
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 929 0 0 0 13904 96 0 0 25 0 1 0 848264734 9408512 903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2297 903 566 18 0 2279 0
vsize: 9188
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 931 0 0 0 14899 101 0 0 25 0 1 0 848264734 9408512 905 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2297 905 566 18 0 2279 0
vsize: 9188
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 952 0 0 0 15894 107 0 0 25 0 1 0 848264734 9539584 926 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2329 926 566 18 0 2311 0
vsize: 9316
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 973 0 0 0 16889 111 0 0 25 0 1 0 848264734 9658368 947 4294967295 134512640 134581267 3221224592 3221223456 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2358 947 566 18 0 2340 0
vsize: 9432
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 991 0 0 0 17882 119 0 0 25 0 1 0 848264734 9658368 965 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2358 965 566 18 0 2340 0
vsize: 9432
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1002 0 0 0 18877 124 0 0 25 0 1 0 848264734 9773056 976 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2386 976 566 18 0 2368 0
vsize: 9544
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1024 0 0 0 19872 130 0 0 25 0 1 0 848264734 9773056 998 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2386 998 566 18 0 2368 0
vsize: 9544
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1024 0 0 0 20866 135 0 0 25 0 1 0 848264734 9773056 998 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2386 998 566 18 0 2368 0
vsize: 9544
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1024 0 0 0 21859 143 0 0 25 0 1 0 848264734 9773056 998 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2386 998 566 18 0 2368 0
vsize: 9544
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1027 0 0 0 22853 149 0 0 25 0 1 0 848264734 9773056 1001 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2386 1001 566 18 0 2368 0
vsize: 9544
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1031 0 0 0 23845 157 0 0 25 0 1 0 848264734 9912320 1005 4294967295 134512640 134581267 3221224592 3221223592 134519616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2420 1005 566 18 0 2402 0
vsize: 9680
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1093 0 0 0 24839 163 0 0 25 0 1 0 848264734 10043392 1067 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2452 1067 566 18 0 2434 0
vsize: 9808
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1093 0 0 0 25834 169 0 0 25 0 1 0 848264734 10043392 1067 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2452 1067 566 18 0 2434 0
vsize: 9808
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1093 0 0 0 26827 176 0 0 25 0 1 0 848264734 10043392 1067 4294967295 134512640 134581267 3221224592 3221223536 134559415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2452 1067 566 18 0 2434 0
vsize: 9808
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1099 0 0 0 27820 183 0 0 25 0 1 0 848264734 10178560 1073 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1073 566 18 0 2467 0
vsize: 9940
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1108 0 0 0 28813 190 0 0 25 0 1 0 848264734 10178560 1082 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1082 566 18 0 2467 0
vsize: 9940
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1112 0 0 0 29804 199 0 0 25 0 1 0 848264734 10178560 1086 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1086 566 18 0 2467 0
vsize: 9940
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1112 0 0 0 30796 208 0 0 25 0 1 0 848264734 10178560 1086 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1086 566 18 0 2467 0
vsize: 9940
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1112 0 0 0 31788 215 0 0 25 0 1 0 848264734 10178560 1086 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1086 566 18 0 2467 0
vsize: 9940
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1112 0 0 0 32782 222 0 0 25 0 1 0 848264734 10178560 1086 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1086 566 18 0 2467 0
vsize: 9940
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1112 0 0 0 33773 231 0 0 25 0 1 0 848264734 10178560 1086 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1086 566 18 0 2467 0
vsize: 9940
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1126 0 0 0 34765 239 0 0 25 0 1 0 848264734 10178560 1100 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1100 566 18 0 2467 0
vsize: 9940
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1126 0 0 0 35758 246 0 0 25 0 1 0 848264734 10178560 1100 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1100 566 18 0 2467 0
vsize: 9940
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1126 0 0 0 36749 255 0 0 25 0 1 0 848264734 10178560 1100 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1100 566 18 0 2467 0
vsize: 9940
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1126 0 0 0 37740 265 0 0 25 0 1 0 848264734 10178560 1100 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1100 566 18 0 2467 0
vsize: 9940
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1126 0 0 0 38734 271 0 0 25 0 1 0 848264734 10178560 1100 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2485 1100 566 18 0 2467 0
vsize: 9940
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1140 0 0 0 39728 277 0 0 25 0 1 0 848264734 10305536 1114 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2516 1114 566 18 0 2498 0
vsize: 10064
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1169 0 0 0 40723 282 0 0 25 0 1 0 848264734 10428416 1143 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2546 1143 566 18 0 2528 0
vsize: 10184
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1191 0 0 0 41717 288 0 0 25 0 1 0 848264734 10530816 1165 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1165 566 18 0 2553 0
vsize: 10284
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1195 0 0 0 42713 293 0 0 25 0 1 0 848264734 10530816 1169 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1169 566 18 0 2553 0
vsize: 10284
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1196 0 0 0 43707 299 0 0 25 0 1 0 848264734 10530816 1170 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1170 566 18 0 2553 0
vsize: 10284
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1211 0 0 0 44699 307 0 0 25 0 1 0 848264734 10530816 1185 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1185 566 18 0 2553 0
vsize: 10284
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1219 0 0 0 45693 313 0 0 25 0 1 0 848264734 10661888 1193 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1193 566 18 0 2585 0
vsize: 10412
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1230 0 0 0 46687 320 0 0 25 0 1 0 848264734 10661888 1204 4294967295 134512640 134581267 3221224592 3221223488 134517625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1204 566 18 0 2585 0
vsize: 10412
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1237 0 0 0 47680 327 0 0 25 0 1 0 848264734 10661888 1211 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1211 566 18 0 2585 0
vsize: 10412
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1238 0 0 0 48673 334 0 0 25 0 1 0 848264734 10661888 1212 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1212 566 18 0 2585 0
vsize: 10412
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1244 0 0 0 49667 340 0 0 25 0 1 0 848264734 10772480 1218 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1218 566 18 0 2612 0
vsize: 10520
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1244 0 0 0 50660 347 0 0 25 0 1 0 848264734 10772480 1218 4294967295 134512640 134581267 3221224592 3221223184 1075291010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1218 566 18 0 2612 0
vsize: 10520
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1252 0 0 0 51654 353 0 0 25 0 1 0 848264734 10772480 1226 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1226 566 18 0 2612 0
vsize: 10520
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1252 0 0 0 52647 361 0 0 25 0 1 0 848264734 10772480 1226 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1226 566 18 0 2612 0
vsize: 10520
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1255 0 0 0 53638 369 0 0 25 0 1 0 848264734 10772480 1229 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1229 566 18 0 2612 0
vsize: 10520
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1255 0 0 0 54631 377 0 0 25 0 1 0 848264734 10772480 1229 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1229 566 18 0 2612 0
vsize: 10520
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1255 0 0 0 55623 386 0 0 25 0 1 0 848264734 10772480 1229 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1229 566 18 0 2612 0
vsize: 10520
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1255 0 0 0 56615 393 0 0 25 0 1 0 848264734 10772480 1229 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1229 566 18 0 2612 0
vsize: 10520
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1255 0 0 0 57607 401 0 0 25 0 1 0 848264734 10772480 1229 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2630 1229 566 18 0 2612 0
vsize: 10520
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1304 0 0 0 58600 409 0 0 25 0 1 0 848264734 11030528 1278 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1278 566 18 0 2675 0
vsize: 10772
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1320 0 0 0 59590 419 0 0 25 0 1 0 848264734 11030528 1294 4294967295 134512640 134581267 3221224592 3221223536 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1294 566 18 0 2675 0
vsize: 10772
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1323 0 0 0 60583 426 0 0 25 0 1 0 848264734 11030528 1297 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1297 566 18 0 2675 0
vsize: 10772
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1328 0 0 0 61576 433 0 0 25 0 1 0 848264734 11030528 1302 4294967295 134512640 134581267 3221224592 3221223456 134560386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1302 566 18 0 2675 0
vsize: 10772
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1328 0 0 0 62571 439 0 0 25 0 1 0 848264734 11030528 1302 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1302 566 18 0 2675 0
vsize: 10772
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1328 0 0 0 63565 445 0 0 25 0 1 0 848264734 11030528 1302 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1302 566 18 0 2675 0
vsize: 10772
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1335 0 0 0 64557 453 0 0 25 0 1 0 848264734 11141120 1309 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2720 1309 566 18 0 2702 0
vsize: 10880
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1336 0 0 0 65550 460 0 0 25 0 1 0 848264734 11141120 1310 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2720 1310 566 18 0 2702 0
vsize: 10880
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1348 0 0 0 66542 469 0 0 25 0 1 0 848264734 11141120 1322 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2720 1322 566 18 0 2702 0
vsize: 10880
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1350 0 0 0 67535 476 0 0 25 0 1 0 848264734 11141120 1324 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2720 1324 566 18 0 2702 0
vsize: 10880
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1364 0 0 0 68529 482 0 0 25 0 1 0 848264734 11235328 1338 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2743 1338 566 18 0 2725 0
vsize: 10972
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1375 0 0 0 69523 488 0 0 25 0 1 0 848264734 11235328 1349 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2743 1349 566 18 0 2725 0
vsize: 10972
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1377 0 0 0 70517 494 0 0 25 0 1 0 848264734 11235328 1351 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2743 1351 566 18 0 2725 0
vsize: 10972
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1381 0 0 0 71510 501 0 0 25 0 1 0 848264734 11235328 1355 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2743 1355 566 18 0 2725 0
vsize: 10972
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1384 0 0 0 72505 507 0 0 25 0 1 0 848264734 11378688 1358 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1358 566 18 0 2760 0
vsize: 11112
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1384 0 0 0 73500 512 0 0 25 0 1 0 848264734 11378688 1358 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1358 566 18 0 2760 0
vsize: 11112
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 74493 519 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223560 134519777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 75488 525 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 76482 531 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 77475 538 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 78469 544 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 79462 552 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 80456 558 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 81451 563 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1387 0 0 0 82445 569 0 0 25 0 1 0 848264734 11378688 1361 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1361 566 18 0 2760 0
vsize: 11112
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1390 0 0 0 83439 575 0 0 25 0 1 0 848264734 11378688 1364 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1364 566 18 0 2760 0
vsize: 11112
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1390 0 0 0 84433 582 0 0 25 0 1 0 848264734 11378688 1364 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2778 1364 566 18 0 2760 0
vsize: 11112
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1436 0 0 0 85425 590 0 0 25 0 1 0 848264734 11509760 1410 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 1410 566 18 0 2792 0
vsize: 11240
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1440 0 0 0 86420 595 0 0 25 0 1 0 848264734 11509760 1414 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 1414 566 18 0 2792 0
vsize: 11240
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1460 0 0 0 87415 599 0 0 25 0 1 0 848264734 11640832 1434 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 1434 566 18 0 2824 0
vsize: 11368
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1466 0 0 0 88411 604 0 0 25 0 1 0 848264734 11640832 1440 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 1440 566 18 0 2824 0
vsize: 11368
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1471 0 0 0 89406 609 0 0 25 0 1 0 848264734 11640832 1445 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 1445 566 18 0 2824 0
vsize: 11368
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1481 0 0 0 90401 615 0 0 25 0 1 0 848264734 11771904 1455 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2874 1455 566 18 0 2856 0
vsize: 11496
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1493 0 0 0 91395 621 0 0 25 0 1 0 848264734 11759616 1467 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2871 1467 566 18 0 2853 0
vsize: 11484
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1493 0 0 0 92391 625 0 0 25 0 1 0 848264734 11759616 1467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2871 1467 566 18 0 2853 0
vsize: 11484
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1494 0 0 0 93385 631 0 0 25 0 1 0 848264734 11759616 1468 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2871 1468 566 18 0 2853 0
vsize: 11484
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1511 0 0 0 94380 636 0 0 25 0 1 0 848264734 11886592 1485 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2902 1485 566 18 0 2884 0
vsize: 11608
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1511 0 0 0 95375 641 0 0 25 0 1 0 848264734 11866112 1485 4294967295 134512640 134581267 3221224592 3221223656 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1485 566 18 0 2879 0
vsize: 11588
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1512 0 0 0 96369 647 0 0 25 0 1 0 848264734 11866112 1486 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1486 566 18 0 2879 0
vsize: 11588
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1512 0 0 0 97363 653 0 0 25 0 1 0 848264734 11866112 1486 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1486 566 18 0 2879 0
vsize: 11588
[startup+990.031 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1528 0 0 0 98358 659 0 0 25 0 1 0 848264734 11866112 1502 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 1502 566 18 0 2879 0
vsize: 11588
[startup+1000.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 99351 665 0 0 25 0 1 0 848264734 11923456 1512 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 1512 566 18 0 2893 0
vsize: 11644
[startup+1010.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 100346 672 0 0 25 0 1 0 848264734 11915264 1512 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1512 566 18 0 2891 0
vsize: 11636
[startup+1020.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 101340 677 0 0 25 0 1 0 848264734 11915264 1512 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1512 566 18 0 2891 0
vsize: 11636
[startup+1030.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 102336 681 0 0 25 0 1 0 848264734 11915264 1512 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1512 566 18 0 2891 0
vsize: 11636
[startup+1040.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 103330 687 0 0 25 0 1 0 848264734 11915264 1512 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1512 566 18 0 2891 0
vsize: 11636
[startup+1050.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 104325 693 0 0 25 0 1 0 848264734 11915264 1512 4294967295 134512640 134581267 3221224592 3221223504 134527759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1512 566 18 0 2891 0
vsize: 11636
[startup+1060.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 105318 700 0 0 25 0 1 0 848264734 11915264 1512 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1512 566 18 0 2891 0
vsize: 11636
[startup+1070.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1538 0 0 0 106312 706 0 0 25 0 1 0 848264734 11915264 1512 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1512 566 18 0 2891 0
vsize: 11636
[startup+1080.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1543 0 0 0 107307 711 0 0 25 0 1 0 848264734 11988992 1517 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1517 566 18 0 2909 0
vsize: 11708
[startup+1090.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1543 0 0 0 108302 717 0 0 25 0 1 0 848264734 11988992 1517 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1517 566 18 0 2909 0
vsize: 11708
[startup+1100.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1543 0 0 0 109296 723 0 0 25 0 1 0 848264734 11988992 1517 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1517 566 18 0 2909 0
vsize: 11708
[startup+1110.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1543 0 0 0 110290 729 0 0 25 0 1 0 848264734 11988992 1517 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1517 566 18 0 2909 0
vsize: 11708
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1543 0 0 0 111285 735 0 0 25 0 1 0 848264734 11988992 1517 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1517 566 18 0 2909 0
vsize: 11708
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1557 0 0 0 112279 740 0 0 25 0 1 0 848264734 11988992 1531 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1531 566 18 0 2909 0
vsize: 11708
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1557 0 0 0 113274 745 0 0 25 0 1 0 848264734 11988992 1531 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1531 566 18 0 2909 0
vsize: 11708
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1561 0 0 0 114268 752 0 0 25 0 1 0 848264734 12066816 1535 4294967295 134512640 134581267 3221224592 3221222592 134566336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1535 566 18 0 2928 0
vsize: 11784
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1561 0 0 0 115262 758 0 0 25 0 1 0 848264734 12066816 1535 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1535 566 18 0 2928 0
vsize: 11784
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1561 0 0 0 116257 763 0 0 25 0 1 0 848264734 12066816 1535 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1535 566 18 0 2928 0
vsize: 11784
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1561 0 0 0 117252 768 0 0 25 0 1 0 848264734 12066816 1535 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1535 566 18 0 2928 0
vsize: 11784
[startup+1188.83 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 7302
Raw data (stat): 7302 (Pueblo-v2) R 7301 20224 20223 0 -1 0 1561 0 0 0 117252 768 0 0 25 0 1 0 848264734 12066816 1535 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1535 566 18 0 2928 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1181.27
CPU system time (s): 7.73982
CPU usage (%): 100.015
Max. virtual memory (Kb): 11784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	146
#### END VERIFIER DATA ####