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/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	54
Optimality of the best value was proved	NO
Number of terms in the objective function	225
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	225
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	225
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
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	3
Maximum length of a constraint	5
Trace number 38590

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915056 kB
Buffers:         18212 kB
Cached:          77544 kB
SwapCached:        668 kB
Active:          21716 kB
Inactive:        76296 kB
HighTotal:      131008 kB
HighFree:        57904 kB
LowTotal:       903652 kB
LowFree:        857152 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            15800 kB
Committed_AS:    92704 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 15:20:11 (client local time) WITH STATUS 10 IN 1189 SECONDS
stats: 26652 0 1189 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc1/normalized-g15x15.opb
c #variables read: 225 - #constraints read: 226
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 
#### 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.98 0.96 0.91 2/55 4685
Raw data (stat): 4685 (runsolver) R 4684 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 793843437 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4685
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 345 0 0 0 983 16 0 0 25 0 1 0 793843437 7090176 319 4294967295 134512640 134581267 3221224592 3221223504 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 319 566 18 0 1713 0
vsize: 6924
[startup+19.9999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4685
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 367 0 0 0 1966 33 0 0 25 0 1 0 793843437 7090176 341 4294967295 134512640 134581267 3221224592 3221223520 134519955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 341 566 18 0 1713 0
vsize: 6924
[startup+29.9997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4685
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 379 0 0 0 2951 48 0 0 25 0 1 0 793843437 7221248 353 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1763 353 566 18 0 1745 0
vsize: 7052
[startup+39.9994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4687
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 390 0 0 0 3934 65 0 0 25 0 1 0 793843437 7221248 364 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 364 566 18 0 1745 0
vsize: 7052
[startup+50.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 396 0 0 0 4919 80 0 0 25 0 1 0 793843437 7221248 370 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 370 566 18 0 1745 0
vsize: 7052
[startup+60 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 407 0 0 0 5901 98 0 0 25 0 1 0 793843437 7348224 381 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1794 381 566 18 0 1776 0
vsize: 7176
[startup+69.9998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 409 0 0 0 6886 114 0 0 25 0 1 0 793843437 7348224 383 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1794 383 566 18 0 1776 0
vsize: 7176
[startup+80.0009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 416 0 0 0 7870 130 0 0 25 0 1 0 793843437 7348224 390 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1794 390 566 18 0 1776 0
vsize: 7176
[startup+90.0004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 422 0 0 0 8858 142 0 0 25 0 1 0 793843437 7348224 396 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1794 396 566 18 0 1776 0
vsize: 7176
[startup+100.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 424 0 0 0 9842 158 0 0 25 0 1 0 793843437 7348224 398 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1794 398 566 18 0 1776 0
vsize: 7176
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 426 0 0 0 10831 169 0 0 25 0 1 0 793843437 7348224 400 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1794 400 566 18 0 1776 0
vsize: 7176
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 439 0 0 0 11816 184 0 0 25 0 1 0 793843437 7479296 413 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 413 566 18 0 1808 0
vsize: 7304
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 440 0 0 0 12801 199 0 0 25 0 1 0 793843437 7479296 414 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 414 566 18 0 1808 0
vsize: 7304
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 443 0 0 0 13789 212 0 0 25 0 1 0 793843437 7479296 417 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 417 566 18 0 1808 0
vsize: 7304
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 444 0 0 0 14772 229 0 0 25 0 1 0 793843437 7479296 418 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 418 566 18 0 1808 0
vsize: 7304
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 444 0 0 0 15758 244 0 0 25 0 1 0 793843437 7479296 418 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 418 566 18 0 1808 0
vsize: 7304
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 448 0 0 0 16743 259 0 0 25 0 1 0 793843437 7479296 422 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 422 566 18 0 1808 0
vsize: 7304
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 457 0 0 0 17728 274 0 0 25 0 1 0 793843437 7479296 431 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 431 566 18 0 1808 0
vsize: 7304
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 462 0 0 0 18714 288 0 0 25 0 1 0 793843437 7479296 436 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 436 566 18 0 1808 0
vsize: 7304
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 464 0 0 0 19699 303 0 0 25 0 1 0 793843437 7479296 438 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 438 566 18 0 1808 0
vsize: 7304
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 465 0 0 0 20686 316 0 0 25 0 1 0 793843437 7479296 439 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 439 566 18 0 1808 0
vsize: 7304
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 466 0 0 0 21673 329 0 0 25 0 1 0 793843437 7479296 440 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 440 566 18 0 1808 0
vsize: 7304
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 467 0 0 0 22658 344 0 0 25 0 1 0 793843437 7479296 441 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 441 566 18 0 1808 0
vsize: 7304
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 468 0 0 0 23643 359 0 0 25 0 1 0 793843437 7606272 442 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 442 566 18 0 1839 0
vsize: 7428
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 470 0 0 0 24628 375 0 0 25 0 1 0 793843437 7606272 444 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 444 566 18 0 1839 0
vsize: 7428
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 477 0 0 0 25614 389 0 0 25 0 1 0 793843437 7606272 451 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 451 566 18 0 1839 0
vsize: 7428
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 483 0 0 0 26598 405 0 0 25 0 1 0 793843437 7606272 457 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 457 566 18 0 1839 0
vsize: 7428
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 486 0 0 0 27580 423 0 0 25 0 1 0 793843437 7606272 460 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 460 566 18 0 1839 0
vsize: 7428
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 487 0 0 0 28564 439 0 0 25 0 1 0 793843437 7606272 461 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 461 566 18 0 1839 0
vsize: 7428
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4689
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 488 0 0 0 29544 459 0 0 25 0 1 0 793843437 7606272 462 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 462 566 18 0 1839 0
vsize: 7428
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 489 0 0 0 30530 473 0 0 25 0 1 0 793843437 7606272 463 4294967295 134512640 134581267 3221224592 3221223456 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 463 566 18 0 1839 0
vsize: 7428
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 490 0 0 0 31513 491 0 0 25 0 1 0 793843437 7606272 464 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 464 566 18 0 1839 0
vsize: 7428
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 491 0 0 0 32496 508 0 0 25 0 1 0 793843437 7606272 465 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 465 566 18 0 1839 0
vsize: 7428
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 493 0 0 0 33479 525 0 0 25 0 1 0 793843437 7606272 467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 467 566 18 0 1839 0
vsize: 7428
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 493 0 0 0 34462 543 0 0 25 0 1 0 793843437 7606272 467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 467 566 18 0 1839 0
vsize: 7428
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 493 0 0 0 35445 560 0 0 25 0 1 0 793843437 7606272 467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 467 566 18 0 1839 0
vsize: 7428
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 494 0 0 0 36430 575 0 0 25 0 1 0 793843437 7606272 468 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 468 566 18 0 1839 0
vsize: 7428
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 494 0 0 0 37414 591 0 0 25 0 1 0 793843437 7606272 468 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 468 566 18 0 1839 0
vsize: 7428
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 504 0 0 0 38400 605 0 0 25 0 1 0 793843437 7737344 478 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 478 566 18 0 1871 0
vsize: 7556
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 508 0 0 0 39382 624 0 0 25 0 1 0 793843437 7737344 482 4294967295 134512640 134581267 3221224592 3221223552 134516705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 482 566 18 0 1871 0
vsize: 7556
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 508 0 0 0 40366 639 0 0 25 0 1 0 793843437 7737344 482 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 482 566 18 0 1871 0
vsize: 7556
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 510 0 0 0 41349 657 0 0 25 0 1 0 793843437 7737344 484 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 484 566 18 0 1871 0
vsize: 7556
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 511 0 0 0 42330 676 0 0 25 0 1 0 793843437 7737344 485 4294967295 134512640 134581267 3221224592 3221222576 134566359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 485 566 18 0 1871 0
vsize: 7556
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 512 0 0 0 43312 694 0 0 25 0 1 0 793843437 7737344 486 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 486 566 18 0 1871 0
vsize: 7556
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 512 0 0 0 44296 711 0 0 25 0 1 0 793843437 7737344 486 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 486 566 18 0 1871 0
vsize: 7556
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 513 0 0 0 45280 726 0 0 25 0 1 0 793843437 7737344 487 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 487 566 18 0 1871 0
vsize: 7556
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 514 0 0 0 46266 741 0 0 25 0 1 0 793843437 7737344 488 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 488 566 18 0 1871 0
vsize: 7556
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 515 0 0 0 47247 760 0 0 25 0 1 0 793843437 7737344 489 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 489 566 18 0 1871 0
vsize: 7556
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 516 0 0 0 48230 777 0 0 25 0 1 0 793843437 7737344 490 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 516 0 0 0 49212 796 0 0 25 0 1 0 793843437 7737344 490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 516 0 0 0 50196 811 0 0 25 0 1 0 793843437 7737344 490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 516 0 0 0 51180 828 0 0 25 0 1 0 793843437 7737344 490 4294967295 134512640 134581267 3221224592 3221223520 134519899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 516 0 0 0 52161 846 0 0 25 0 1 0 793843437 7737344 490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 516 0 0 0 53145 863 0 0 25 0 1 0 793843437 7737344 490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 516 0 0 0 54129 880 0 0 25 0 1 0 793843437 7737344 490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 517 0 0 0 55113 895 0 0 25 0 1 0 793843437 7737344 491 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 491 566 18 0 1871 0
vsize: 7556
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 517 0 0 0 56098 911 0 0 25 0 1 0 793843437 7737344 491 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 491 566 18 0 1871 0
vsize: 7556
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 526 0 0 0 57081 927 0 0 25 0 1 0 793843437 7737344 500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 500 566 18 0 1871 0
vsize: 7556
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 530 0 0 0 58070 939 0 0 25 0 1 0 793843437 7737344 504 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 504 566 18 0 1871 0
vsize: 7556
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 532 0 0 0 59056 953 0 0 25 0 1 0 793843437 7868416 506 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 506 566 18 0 1903 0
vsize: 7684
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 533 0 0 0 60043 966 0 0 25 0 1 0 793843437 7868416 507 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 507 566 18 0 1903 0
vsize: 7684
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 535 0 0 0 61029 980 0 0 25 0 1 0 793843437 7868416 509 4294967295 134512640 134581267 3221224592 3221222976 134566207 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 509 566 18 0 1903 0
vsize: 7684
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 535 0 0 0 62013 997 0 0 25 0 1 0 793843437 7868416 509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 509 566 18 0 1903 0
vsize: 7684
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 538 0 0 0 63000 1010 0 0 25 0 1 0 793843437 7868416 512 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 512 566 18 0 1903 0
vsize: 7684
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 538 0 0 0 63986 1024 0 0 25 0 1 0 793843437 7868416 512 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 512 566 18 0 1903 0
vsize: 7684
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 540 0 0 0 64973 1037 0 0 25 0 1 0 793843437 7868416 514 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 514 566 18 0 1903 0
vsize: 7684
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 543 0 0 0 65960 1050 0 0 25 0 1 0 793843437 7868416 517 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 517 566 18 0 1903 0
vsize: 7684
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 543 0 0 0 66944 1066 0 0 25 0 1 0 793843437 7868416 517 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 517 566 18 0 1903 0
vsize: 7684
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 67931 1080 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 68914 1097 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 69901 1110 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 70885 1127 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 71868 1143 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 72854 1158 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 73838 1174 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 74825 1187 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 545 0 0 0 75812 1200 0 0 25 0 1 0 793843437 7868416 519 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 519 566 18 0 1903 0
vsize: 7684
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 546 0 0 0 76796 1217 0 0 25 0 1 0 793843437 7868416 520 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 520 566 18 0 1903 0
vsize: 7684
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 547 0 0 0 77781 1232 0 0 25 0 1 0 793843437 7868416 521 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 521 566 18 0 1903 0
vsize: 7684
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 547 0 0 0 78765 1248 0 0 25 0 1 0 793843437 7868416 521 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 521 566 18 0 1903 0
vsize: 7684
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 547 0 0 0 79750 1263 0 0 25 0 1 0 793843437 7868416 521 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 521 566 18 0 1903 0
vsize: 7684
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 548 0 0 0 80734 1279 0 0 25 0 1 0 793843437 7868416 522 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 522 566 18 0 1903 0
vsize: 7684
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 548 0 0 0 81721 1292 0 0 25 0 1 0 793843437 7868416 522 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 522 566 18 0 1903 0
vsize: 7684
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 548 0 0 0 82705 1309 0 0 25 0 1 0 793843437 7868416 522 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 522 566 18 0 1903 0
vsize: 7684
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 548 0 0 0 83689 1324 0 0 25 0 1 0 793843437 7868416 522 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 522 566 18 0 1903 0
vsize: 7684
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 548 0 0 0 84675 1339 0 0 25 0 1 0 793843437 7868416 522 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 522 566 18 0 1903 0
vsize: 7684
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 548 0 0 0 85663 1351 0 0 25 0 1 0 793843437 7868416 522 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 522 566 18 0 1903 0
vsize: 7684
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 555 0 0 0 86647 1367 0 0 25 0 1 0 793843437 7868416 529 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 529 566 18 0 1903 0
vsize: 7684
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 559 0 0 0 87632 1382 0 0 25 0 1 0 793843437 7868416 533 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 533 566 18 0 1903 0
vsize: 7684
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 560 0 0 0 88618 1396 0 0 25 0 1 0 793843437 7868416 534 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 534 566 18 0 1903 0
vsize: 7684
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 562 0 0 0 89603 1411 0 0 25 0 1 0 793843437 7868416 536 4294967295 134512640 134581267 3221224592 3221223532 134558518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 536 566 18 0 1903 0
vsize: 7684
[startup+920.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 562 0 0 0 90587 1427 0 0 25 0 1 0 793843437 7868416 536 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1921 536 566 18 0 1903 0
vsize: 7684
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 563 0 0 0 91571 1444 0 0 25 0 1 0 793843437 7999488 537 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 537 566 18 0 1935 0
vsize: 7812
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 564 0 0 0 92560 1455 0 0 25 0 1 0 793843437 7999488 538 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 538 566 18 0 1935 0
vsize: 7812
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 566 0 0 0 93542 1473 0 0 25 0 1 0 793843437 7999488 540 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 540 566 18 0 1935 0
vsize: 7812
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 566 0 0 0 94529 1487 0 0 25 0 1 0 793843437 7999488 540 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 540 566 18 0 1935 0
vsize: 7812
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 566 0 0 0 95513 1503 0 0 25 0 1 0 793843437 7999488 540 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 540 566 18 0 1935 0
vsize: 7812
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 567 0 0 0 96496 1519 0 0 25 0 1 0 793843437 7999488 541 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 541 566 18 0 1935 0
vsize: 7812
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 567 0 0 0 97481 1535 0 0 25 0 1 0 793843437 7999488 541 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 541 566 18 0 1935 0
vsize: 7812
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 568 0 0 0 98465 1551 0 0 25 0 1 0 793843437 7999488 542 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 542 566 18 0 1935 0
vsize: 7812
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 568 0 0 0 99449 1567 0 0 25 0 1 0 793843437 7999488 542 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 542 566 18 0 1935 0
vsize: 7812
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 569 0 0 0 100435 1581 0 0 25 0 1 0 793843437 7999488 543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 543 566 18 0 1935 0
vsize: 7812
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 571 0 0 0 101419 1598 0 0 25 0 1 0 793843437 7999488 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 545 566 18 0 1935 0
vsize: 7812
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 571 0 0 0 102403 1614 0 0 25 0 1 0 793843437 7999488 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 545 566 18 0 1935 0
vsize: 7812
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 572 0 0 0 103386 1631 0 0 25 0 1 0 793843437 7999488 546 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 546 566 18 0 1935 0
vsize: 7812
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 572 0 0 0 104369 1648 0 0 25 0 1 0 793843437 7999488 546 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 546 566 18 0 1935 0
vsize: 7812
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 572 0 0 0 105352 1665 0 0 25 0 1 0 793843437 7999488 546 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 546 566 18 0 1935 0
vsize: 7812
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 572 0 0 0 106335 1683 0 0 25 0 1 0 793843437 7999488 546 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 546 566 18 0 1935 0
vsize: 7812
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 573 0 0 0 107320 1697 0 0 25 0 1 0 793843437 7999488 547 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 547 566 18 0 1935 0
vsize: 7812
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 573 0 0 0 108303 1714 0 0 25 0 1 0 793843437 7999488 547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 547 566 18 0 1935 0
vsize: 7812
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 109287 1731 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 110273 1745 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 111258 1760 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 112243 1775 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 113226 1792 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 114211 1808 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 115196 1823 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 116177 1842 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 7812
[startup+1188.81 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4691
Raw data (stat): 4685 (Pueblo-v2) R 4684 8378 8377 0 -1 0 574 0 0 0 116177 1842 0 0 25 0 1 0 793843437 7999488 548 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1953 548 566 18 0 1935 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189
CPU user time (s): 1170.44
CPU system time (s): 18.5642
CPU usage (%): 100.016
Max. virtual memory (Kb): 7812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	61
#### END VERIFIER DATA ####