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 23505

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 09:39:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=655 boxname=wulflinc31 idbench=73 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc31/normalized-sao2.b.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-sao2.b.opb
IDLAUNCH: 655
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        914108 kB
Buffers:         41836 kB
Cached:          56704 kB
SwapCached:        944 kB
Active:          81680 kB
Inactive:        19260 kB
HighTotal:      131008 kB
HighFree:        73360 kB
LowTotal:       903652 kB
LowFree:        840748 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14128 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 09:59:07 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 655 0 1189.05 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/wulflinc31/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
Raw data (loadavg): 0.91 0.97 0.99 2/54 10854
Raw data (stat): 10854 (runsolver) R 10853 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 656385012 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 565 0 0 0 992 5 0 0 25 0 1 0 656385012 8003584 542 4294967295 134512640 134581331 3221221808 3221220908 134563295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1954 542 566 18 0 1936 0
vsize: 7816
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 632 0 0 0 1990 7 0 0 25 0 1 0 656385012 8257536 609 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2016 609 566 18 0 1998 0
vsize: 8064
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 652 0 0 0 2988 9 0 0 25 0 1 0 656385012 8257536 629 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2016 629 566 18 0 1998 0
vsize: 8064
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 689 0 0 0 3987 10 0 0 25 0 1 0 656385012 8392704 666 4294967295 134512640 134581331 3221221808 3221220528 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2049 666 566 18 0 2031 0
vsize: 8196
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 689 0 0 0 4986 11 0 0 25 0 1 0 656385012 8392704 666 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2049 666 566 18 0 2031 0
vsize: 8196
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 708 0 0 0 5985 13 0 0 25 0 1 0 656385012 8503296 685 4294967295 134512640 134581331 3221221808 3221220528 134523183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2076 685 566 18 0 2058 0
vsize: 8304
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 718 0 0 0 6984 14 0 0 25 0 1 0 656385012 8630272 695 4294967295 134512640 134581331 3221221808 3221220592 134528826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2107 695 566 18 0 2089 0
vsize: 8428
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 718 0 0 0 7983 15 0 0 25 0 1 0 656385012 8630272 695 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2107 695 566 18 0 2089 0
vsize: 8428
[startup+90.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 730 0 0 0 8983 16 0 0 25 0 1 0 656385012 8630272 707 4294967295 134512640 134581331 3221221808 3221220528 134522604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2107 707 566 18 0 2089 0
vsize: 8428
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 759 0 0 0 9982 17 0 0 25 0 1 0 656385012 8761344 736 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 736 566 18 0 2121 0
vsize: 8556
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 769 0 0 0 10981 18 0 0 25 0 1 0 656385012 8761344 746 4294967295 134512640 134581331 3221221808 3221220528 134523183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 746 566 18 0 2121 0
vsize: 8556
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 769 0 0 0 11980 19 0 0 25 0 1 0 656385012 8761344 746 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 746 566 18 0 2121 0
vsize: 8556
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 769 0 0 0 12979 20 0 0 25 0 1 0 656385012 8761344 746 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 746 566 18 0 2121 0
vsize: 8556
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 769 0 0 0 13978 22 0 0 25 0 1 0 656385012 8761344 746 4294967295 134512640 134581331 3221221808 3221220732 134531436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 746 566 18 0 2121 0
vsize: 8556
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 769 0 0 0 14977 23 0 0 25 0 1 0 656385012 8761344 746 4294967295 134512640 134581331 3221221808 3221220720 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 746 566 18 0 2121 0
vsize: 8556
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 775 0 0 0 15975 24 0 0 25 0 1 0 656385012 8761344 752 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 752 566 18 0 2121 0
vsize: 8556
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 775 0 0 0 16974 26 0 0 25 0 1 0 656385012 8761344 752 4294967295 134512640 134581331 3221221808 3221220752 134516842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 752 566 18 0 2121 0
vsize: 8556
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 775 0 0 0 17973 27 0 0 25 0 1 0 656385012 8761344 752 4294967295 134512640 134581331 3221221808 3221220752 134558828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 752 566 18 0 2121 0
vsize: 8556
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 775 0 0 0 18972 28 0 0 25 0 1 0 656385012 8761344 752 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 752 566 18 0 2121 0
vsize: 8556
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 775 0 0 0 19971 30 0 0 25 0 1 0 656385012 8761344 752 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2139 752 566 18 0 2121 0
vsize: 8556
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 794 0 0 0 20970 31 0 0 25 0 1 0 656385012 8896512 771 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 771 566 18 0 2154 0
vsize: 8688
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 794 0 0 0 21969 32 0 0 25 0 1 0 656385012 8896512 771 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 771 566 18 0 2154 0
vsize: 8688
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 798 0 0 0 22968 33 0 0 25 0 1 0 656385012 8896512 775 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 775 566 18 0 2154 0
vsize: 8688
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 798 0 0 0 23967 34 0 0 25 0 1 0 656385012 8896512 775 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 775 566 18 0 2154 0
vsize: 8688
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 809 0 0 0 24967 35 0 0 25 0 1 0 656385012 8896512 786 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 786 566 18 0 2154 0
vsize: 8688
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 809 0 0 0 25966 36 0 0 25 0 1 0 656385012 8896512 786 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 786 566 18 0 2154 0
vsize: 8688
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 809 0 0 0 26966 37 0 0 25 0 1 0 656385012 8896512 786 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 786 566 18 0 2154 0
vsize: 8688
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 809 0 0 0 27965 37 0 0 25 0 1 0 656385012 8896512 786 4294967295 134512640 134581331 3221221808 3221220752 134516842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 786 566 18 0 2154 0
vsize: 8688
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 810 0 0 0 28964 38 0 0 25 0 1 0 656385012 8896512 787 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2172 787 566 18 0 2154 0
vsize: 8688
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 835 0 0 0 29963 40 0 0 25 0 1 0 656385012 9031680 812 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 812 566 18 0 2187 0
vsize: 8820
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 835 0 0 0 30962 40 0 0 25 0 1 0 656385012 9031680 812 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 812 566 18 0 2187 0
vsize: 8820
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 835 0 0 0 31961 42 0 0 25 0 1 0 656385012 9031680 812 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 812 566 18 0 2187 0
vsize: 8820
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 835 0 0 0 32960 43 0 0 25 0 1 0 656385012 9031680 812 4294967295 134512640 134581331 3221221808 3221220720 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 812 566 18 0 2187 0
vsize: 8820
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 835 0 0 0 33959 44 0 0 25 0 1 0 656385012 9031680 812 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 812 566 18 0 2187 0
vsize: 8820
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 835 0 0 0 34958 45 0 0 25 0 1 0 656385012 9031680 812 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 812 566 18 0 2187 0
vsize: 8820
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 835 0 0 0 35958 46 0 0 25 0 1 0 656385012 9031680 812 4294967295 134512640 134581331 3221221808 3221220720 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 812 566 18 0 2187 0
vsize: 8820
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 891 0 0 0 36957 47 0 0 25 0 1 0 656385012 9306112 868 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2272 868 566 18 0 2254 0
vsize: 9088
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 891 0 0 0 37956 49 0 0 25 0 1 0 656385012 9306112 868 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2272 868 566 18 0 2254 0
vsize: 9088
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 891 0 0 0 38955 50 0 0 25 0 1 0 656385012 9306112 868 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2272 868 566 18 0 2254 0
vsize: 9088
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 39954 50 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 40954 51 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220768 134519781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 41953 52 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 42953 53 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 43952 54 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 44951 55 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 45950 56 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 46950 57 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 47949 58 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 48948 59 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 49948 59 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 50947 60 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 51946 61 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220752 134516832 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 52946 62 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 53945 62 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 54945 63 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 916 0 0 0 55944 64 0 0 25 0 1 0 656385012 9342976 893 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2281 893 566 18 0 2263 0
vsize: 9124
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 924 0 0 0 56943 65 0 0 25 0 1 0 656385012 9478144 901 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2314 901 566 18 0 2296 0
vsize: 9256
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 924 0 0 0 57943 66 0 0 25 0 1 0 656385012 9400320 901 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2295 901 566 18 0 2277 0
vsize: 9180
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 924 0 0 0 58942 66 0 0 25 0 1 0 656385012 9400320 901 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2295 901 566 18 0 2277 0
vsize: 9180
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 924 0 0 0 59942 67 0 0 25 0 1 0 656385012 9400320 901 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2295 901 566 18 0 2277 0
vsize: 9180
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 924 0 0 0 60941 68 0 0 25 0 1 0 656385012 9400320 901 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2295 901 566 18 0 2277 0
vsize: 9180
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 61940 69 0 0 25 0 1 0 656385012 9535488 925 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 925 566 18 0 2310 0
vsize: 9312
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 62939 70 0 0 25 0 1 0 656385012 9535488 925 4294967295 134512640 134581331 3221221808 3221220752 134516825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 925 566 18 0 2310 0
vsize: 9312
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 63939 71 0 0 25 0 1 0 656385012 9535488 925 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 925 566 18 0 2310 0
vsize: 9312
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 64938 72 0 0 25 0 1 0 656385012 9535488 925 4294967295 134512640 134581331 3221221808 3221220716 134528050 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 925 566 18 0 2310 0
vsize: 9312
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 65937 73 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 66937 73 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 67937 74 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 68935 75 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 69935 76 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 70934 77 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 71932 79 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 72932 80 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 73931 81 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 74930 83 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 75928 84 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 76927 86 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 77926 86 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 78926 87 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 79925 88 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 80924 89 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 81924 89 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 82924 90 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 83923 91 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 84922 92 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 85921 94 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 86920 95 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 87919 96 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 88917 98 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 89916 99 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 90916 100 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 91915 101 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 92914 101 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 93914 102 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 94913 103 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 95911 105 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 96909 107 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 97909 107 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 98908 109 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 99906 111 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 100905 111 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 101905 112 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134531386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 948 0 0 0 102904 113 0 0 25 0 1 0 656385012 9474048 925 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2313 925 566 18 0 2295 0
vsize: 9252
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 970 0 0 0 103904 114 0 0 25 0 1 0 656385012 9613312 947 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2347 947 566 18 0 2329 0
vsize: 9388
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 985 0 0 0 104903 115 0 0 25 0 1 0 656385012 9613312 962 4294967295 134512640 134581331 3221221808 3221220720 134527980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2347 962 566 18 0 2329 0
vsize: 9388
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 996 0 0 0 105902 116 0 0 25 0 1 0 656385012 9748480 973 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2380 973 566 18 0 2362 0
vsize: 9520
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1006 0 0 0 106901 117 0 0 25 0 1 0 656385012 9748480 983 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2380 983 566 18 0 2362 0
vsize: 9520
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1006 0 0 0 107900 118 0 0 25 0 1 0 656385012 9748480 983 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2380 983 566 18 0 2362 0
vsize: 9520
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1006 0 0 0 108899 120 0 0 25 0 1 0 656385012 9748480 983 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2380 983 566 18 0 2362 0
vsize: 9520
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1021 0 0 0 109897 121 0 0 25 0 1 0 656385012 9883648 998 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2413 998 566 18 0 2395 0
vsize: 9652
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1022 0 0 0 110896 122 0 0 25 0 1 0 656385012 9879552 999 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 999 566 18 0 2394 0
vsize: 9648
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1022 0 0 0 111896 123 0 0 25 0 1 0 656385012 9879552 999 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 999 566 18 0 2394 0
vsize: 9648
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1022 0 0 0 112895 124 0 0 25 0 1 0 656385012 9879552 999 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 999 566 18 0 2394 0
vsize: 9648
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1022 0 0 0 113895 125 0 0 25 0 1 0 656385012 9879552 999 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 999 566 18 0 2394 0
vsize: 9648
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1023 0 0 0 114894 126 0 0 25 0 1 0 656385012 9879552 1000 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 1000 566 18 0 2394 0
vsize: 9648
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1023 0 0 0 115893 126 0 0 25 0 1 0 656385012 9879552 1000 4294967295 134512640 134581331 3221221808 3221220720 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 1000 566 18 0 2394 0
vsize: 9648
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1023 0 0 0 116893 127 0 0 25 0 1 0 656385012 9879552 1000 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 1000 566 18 0 2394 0
vsize: 9648
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1031 0 0 0 117892 128 0 0 25 0 1 0 656385012 9879552 1008 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 1008 566 18 0 2394 0
vsize: 9648
[startup+1188.9 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 10854
Raw data (stat): 10854 (Pueblo) R 10853 7876 7672 0 -1 0 1031 0 0 0 117892 128 0 0 25 0 1 0 656385012 9879552 1008 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2412 1008 566 18 0 2394 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.05
CPU user time (s): 1187.76
CPU system time (s): 1.2908
CPU usage (%): 100.013
Max. virtual memory (Kb): 9652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	26
#### END VERIFIER DATA ####