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/synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUM	9b291040ec2b77d0bffb739c0db80d53
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1194
Optimality of the best value was proved	NO
Number of terms in the objective function	239
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	10012
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	10012
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.941856
Number of variables	239
Total number of constraints	524
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4
Minimum length of a constraint	1
Maximum length of a constraint	36
Trace number 38454

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 10:15:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26520 boxname=wulflinc3 idbench=250 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  9b291040ec2b77d0bffb739c0db80d53  /oldhome/oroussel/tmp/wulflinc3/normalized-c8.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-c8.opb
IDLAUNCH: 26520
/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:        728680 kB
Buffers:         33948 kB
Cached:         250064 kB
SwapCached:        228 kB
Active:          60616 kB
Inactive:       225956 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        728428 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6332 kB
Slab:            13580 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:35:37 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26520 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-c8.opb
c #variables read: 239 - #constraints read: 520
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 
#### 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.97 0.95 1/54 7973
Raw data (stat): 7973 (runsolver) R 7972 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848984494 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.0003 s]
Raw data (loadavg): 0.87 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 364 0 0 0 983 15 0 0 25 0 1 0 848984494 7094272 338 4294967295 134512640 134581267 3221224592 3221223456 134560340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 338 566 18 0 1714 0
vsize: 6928
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 381 0 0 0 1966 32 0 0 25 0 1 0 848984494 7221248 355 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1763 355 566 18 0 1745 0
vsize: 7052
[startup+30.001 s]
Raw data (loadavg): 0.91 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 398 0 0 0 2954 44 0 0 25 0 1 0 848984494 7221248 372 4294967295 134512640 134581267 3221224592 3221223456 134560409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1763 372 566 18 0 1745 0
vsize: 7052
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 409 0 0 0 3940 58 0 0 25 0 1 0 848984494 7356416 383 4294967295 134512640 134581267 3221224592 3221223376 134566325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1796 383 566 18 0 1778 0
vsize: 7184
[startup+50.002 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 414 0 0 0 4925 74 0 0 25 0 1 0 848984494 7356416 388 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1796 388 566 18 0 1778 0
vsize: 7184
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 436 0 0 0 5911 88 0 0 25 0 1 0 848984494 7356416 410 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1796 410 566 18 0 1778 0
vsize: 7184
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 437 0 0 0 6894 105 0 0 25 0 1 0 848984494 7356416 411 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1796 411 566 18 0 1778 0
vsize: 7184
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 444 0 0 0 7879 120 0 0 25 0 1 0 848984494 7491584 418 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 418 566 18 0 1811 0
vsize: 7316
[startup+90.002 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 458 0 0 0 8864 135 0 0 25 0 1 0 848984494 7491584 432 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 432 566 18 0 1811 0
vsize: 7316
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 469 0 0 0 9851 149 0 0 25 0 1 0 848984494 7491584 443 4294967295 134512640 134581267 3221224592 3221223468 134560154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 443 566 18 0 1811 0
vsize: 7316
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 469 0 0 0 10838 162 0 0 25 0 1 0 848984494 7491584 443 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 443 566 18 0 1811 0
vsize: 7316
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 474 0 0 0 11825 175 0 0 25 0 1 0 848984494 7610368 448 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 448 566 18 0 1840 0
vsize: 7432
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 481 0 0 0 12813 188 0 0 25 0 1 0 848984494 7610368 455 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 455 566 18 0 1840 0
vsize: 7432
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 492 0 0 0 13799 202 0 0 25 0 1 0 848984494 7610368 466 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 466 566 18 0 1840 0
vsize: 7432
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 492 0 0 0 14784 217 0 0 25 0 1 0 848984494 7610368 466 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 466 566 18 0 1840 0
vsize: 7432
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 493 0 0 0 15770 231 0 0 25 0 1 0 848984494 7610368 467 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 467 566 18 0 1840 0
vsize: 7432
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 494 0 0 0 16752 249 0 0 25 0 1 0 848984494 7610368 468 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 468 566 18 0 1840 0
vsize: 7432
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 498 0 0 0 17740 262 0 0 25 0 1 0 848984494 7610368 472 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 472 566 18 0 1840 0
vsize: 7432
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 513 0 0 0 18726 276 0 0 25 0 1 0 848984494 7741440 487 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 487 566 18 0 1872 0
vsize: 7560
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 513 0 0 0 19711 291 0 0 25 0 1 0 848984494 7741440 487 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 487 566 18 0 1872 0
vsize: 7560
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 513 0 0 0 20695 307 0 0 25 0 1 0 848984494 7741440 487 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 487 566 18 0 1872 0
vsize: 7560
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 516 0 0 0 21682 320 0 0 25 0 1 0 848984494 7741440 490 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 490 566 18 0 1872 0
vsize: 7560
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 537 0 0 0 22668 335 0 0 25 0 1 0 848984494 7798784 511 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1904 511 566 18 0 1886 0
vsize: 7616
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 537 0 0 0 23653 350 0 0 25 0 1 0 848984494 7782400 511 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 511 566 18 0 1882 0
vsize: 7600
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 537 0 0 0 24639 364 0 0 25 0 1 0 848984494 7782400 511 4294967295 134512640 134581267 3221224592 3221223368 1075291552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 511 566 18 0 1882 0
vsize: 7600
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 537 0 0 0 25628 375 0 0 25 0 1 0 848984494 7782400 511 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 511 566 18 0 1882 0
vsize: 7600
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 537 0 0 0 26615 388 0 0 25 0 1 0 848984494 7782400 511 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 511 566 18 0 1882 0
vsize: 7600
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 537 0 0 0 27602 402 0 0 25 0 1 0 848984494 7782400 511 4294967295 134512640 134581267 3221224592 3221223456 134560322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 511 566 18 0 1882 0
vsize: 7600
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 544 0 0 0 28590 414 0 0 25 0 1 0 848984494 7913472 518 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 518 566 18 0 1914 0
vsize: 7728
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 557 0 0 0 29575 429 0 0 25 0 1 0 848984494 7913472 531 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 531 566 18 0 1914 0
vsize: 7728
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 557 0 0 0 30561 443 0 0 25 0 1 0 848984494 7913472 531 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 531 566 18 0 1914 0
vsize: 7728
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 557 0 0 0 31545 460 0 0 25 0 1 0 848984494 7913472 531 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 531 566 18 0 1914 0
vsize: 7728
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 557 0 0 0 32529 475 0 0 25 0 1 0 848984494 7913472 531 4294967295 134512640 134581267 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 531 566 18 0 1914 0
vsize: 7728
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 557 0 0 0 33513 492 0 0 25 0 1 0 848984494 7913472 531 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 531 566 18 0 1914 0
vsize: 7728
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 557 0 0 0 34494 511 0 0 25 0 1 0 848984494 7913472 531 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 531 566 18 0 1914 0
vsize: 7728
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 557 0 0 0 35474 531 0 0 25 0 1 0 848984494 7913472 531 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 531 566 18 0 1914 0
vsize: 7728
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 571 0 0 0 36456 549 0 0 25 0 1 0 848984494 7913472 545 4294967295 134512640 134581267 3221224592 3221223536 134558906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 545 566 18 0 1914 0
vsize: 7728
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 571 0 0 0 37440 566 0 0 25 0 1 0 848984494 7913472 545 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 545 566 18 0 1914 0
vsize: 7728
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 571 0 0 0 38423 583 0 0 25 0 1 0 848984494 7913472 545 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 545 566 18 0 1914 0
vsize: 7728
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 571 0 0 0 39408 599 0 0 25 0 1 0 848984494 7913472 545 4294967295 134512640 134581267 3221224592 3221223520 134519835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 545 566 18 0 1914 0
vsize: 7728
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 571 0 0 0 40388 619 0 0 25 0 1 0 848984494 7913472 545 4294967295 134512640 134581267 3221224592 3221223360 134566361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 545 566 18 0 1914 0
vsize: 7728
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 571 0 0 0 41367 640 0 0 25 0 1 0 848984494 7913472 545 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1932 545 566 18 0 1914 0
vsize: 7728
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 581 0 0 0 42350 656 0 0 25 0 1 0 848984494 8036352 555 4294967295 134512640 134581267 3221224592 3221223456 134560360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 555 566 18 0 1944 0
vsize: 7848
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 581 0 0 0 43338 669 0 0 25 0 1 0 848984494 8036352 555 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 555 566 18 0 1944 0
vsize: 7848
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 581 0 0 0 44324 683 0 0 25 0 1 0 848984494 8036352 555 4294967295 134512640 134581267 3221224592 3221223536 134559000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 555 566 18 0 1944 0
vsize: 7848
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 586 0 0 0 45309 698 0 0 25 0 1 0 848984494 8036352 560 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 560 566 18 0 1944 0
vsize: 7848
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 586 0 0 0 46298 710 0 0 25 0 1 0 848984494 8036352 560 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 560 566 18 0 1944 0
vsize: 7848
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 586 0 0 0 47284 724 0 0 25 0 1 0 848984494 8036352 560 4294967295 134512640 134581267 3221224592 3221223536 134558904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 560 566 18 0 1944 0
vsize: 7848
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 586 0 0 0 48270 737 0 0 25 0 1 0 848984494 8036352 560 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 560 566 18 0 1944 0
vsize: 7848
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 586 0 0 0 49257 751 0 0 25 0 1 0 848984494 8036352 560 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 560 566 18 0 1944 0
vsize: 7848
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 586 0 0 0 50241 767 0 0 25 0 1 0 848984494 8036352 560 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 560 566 18 0 1944 0
vsize: 7848
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 587 0 0 0 51226 782 0 0 25 0 1 0 848984494 8036352 561 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 561 566 18 0 1944 0
vsize: 7848
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 587 0 0 0 52211 797 0 0 25 0 1 0 848984494 8036352 561 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 561 566 18 0 1944 0
vsize: 7848
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 587 0 0 0 53199 810 0 0 25 0 1 0 848984494 8036352 561 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 561 566 18 0 1944 0
vsize: 7848
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 587 0 0 0 54184 825 0 0 25 0 1 0 848984494 8036352 561 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 561 566 18 0 1944 0
vsize: 7848
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 592 0 0 0 55171 838 0 0 25 0 1 0 848984494 8036352 566 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 566 566 18 0 1944 0
vsize: 7848
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 592 0 0 0 56158 851 0 0 25 0 1 0 848984494 8036352 566 4294967295 134512640 134581267 3221224592 3221223460 1075289739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 566 566 18 0 1944 0
vsize: 7848
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 592 0 0 0 57143 866 0 0 25 0 1 0 848984494 8036352 566 4294967295 134512640 134581267 3221224592 3221223568 134560667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 566 566 18 0 1944 0
vsize: 7848
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 596 0 0 0 58130 880 0 0 25 0 1 0 848984494 8036352 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 570 566 18 0 1944 0
vsize: 7848
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 600 0 0 0 59118 892 0 0 25 0 1 0 848984494 8036352 574 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 574 566 18 0 1944 0
vsize: 7848
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 600 0 0 0 60104 906 0 0 25 0 1 0 848984494 8036352 574 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 574 566 18 0 1944 0
vsize: 7848
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 600 0 0 0 61092 919 0 0 25 0 1 0 848984494 8036352 574 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 574 566 18 0 1944 0
vsize: 7848
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 602 0 0 0 62080 930 0 0 25 0 1 0 848984494 8036352 576 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 576 566 18 0 1944 0
vsize: 7848
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 604 0 0 0 63064 947 0 0 25 0 1 0 848984494 8036352 578 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 578 566 18 0 1944 0
vsize: 7848
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 628 0 0 0 64049 962 0 0 25 0 1 0 848984494 8167424 602 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 602 566 18 0 1976 0
vsize: 7976
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 628 0 0 0 65036 975 0 0 25 0 1 0 848984494 8167424 602 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 602 566 18 0 1976 0
vsize: 7976
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 632 0 0 0 66020 991 0 0 25 0 1 0 848984494 8167424 606 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 606 566 18 0 1976 0
vsize: 7976
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 632 0 0 0 67005 1007 0 0 25 0 1 0 848984494 8167424 606 4294967295 134512640 134581267 3221224592 3221223472 134520266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 606 566 18 0 1976 0
vsize: 7976
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 632 0 0 0 67992 1020 0 0 25 0 1 0 848984494 8167424 606 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 606 566 18 0 1976 0
vsize: 7976
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 632 0 0 0 68974 1037 0 0 25 0 1 0 848984494 8167424 606 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 606 566 18 0 1976 0
vsize: 7976
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 633 0 0 0 69959 1053 0 0 25 0 1 0 848984494 8167424 607 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 607 566 18 0 1976 0
vsize: 7976
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 633 0 0 0 70942 1070 0 0 25 0 1 0 848984494 8167424 607 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 607 566 18 0 1976 0
vsize: 7976
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 634 0 0 0 71928 1084 0 0 25 0 1 0 848984494 8167424 608 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 608 566 18 0 1976 0
vsize: 7976
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 634 0 0 0 72914 1098 0 0 25 0 1 0 848984494 8167424 608 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 608 566 18 0 1976 0
vsize: 7976
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 634 0 0 0 73898 1114 0 0 25 0 1 0 848984494 8167424 608 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 608 566 18 0 1976 0
vsize: 7976
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 638 0 0 0 74884 1129 0 0 25 0 1 0 848984494 8306688 612 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 612 566 18 0 2010 0
vsize: 8112
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 638 0 0 0 75870 1143 0 0 25 0 1 0 848984494 8306688 612 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 612 566 18 0 2010 0
vsize: 8112
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 640 0 0 0 76855 1158 0 0 25 0 1 0 848984494 8306688 614 4294967295 134512640 134581267 3221224592 3221223552 134554616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 614 566 18 0 2010 0
vsize: 8112
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 77841 1172 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 78826 1187 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 79814 1200 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 80801 1212 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 81789 1225 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 82776 1238 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 83760 1254 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 84744 1270 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 85730 1285 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 651 0 0 0 86717 1297 0 0 25 0 1 0 848984494 8306688 625 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 625 566 18 0 2010 0
vsize: 8112
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 87701 1314 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 88687 1327 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223456 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 89671 1344 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 90655 1360 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 91640 1375 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 92625 1391 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 93610 1406 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 94596 1420 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 95580 1436 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223456 134560386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 654 0 0 0 96563 1453 0 0 25 0 1 0 848984494 8306688 628 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 628 566 18 0 2010 0
vsize: 8112
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 667 0 0 0 97547 1470 0 0 25 0 1 0 848984494 8306688 641 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 641 566 18 0 2010 0
vsize: 8112
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 667 0 0 0 98528 1489 0 0 25 0 1 0 848984494 8306688 641 4294967295 134512640 134581267 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 641 566 18 0 2010 0
vsize: 8112
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 667 0 0 0 99513 1504 0 0 25 0 1 0 848984494 8306688 641 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 641 566 18 0 2010 0
vsize: 8112
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 671 0 0 0 100497 1520 0 0 25 0 1 0 848984494 8413184 645 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 645 566 18 0 2036 0
vsize: 8216
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 671 0 0 0 101481 1536 0 0 25 0 1 0 848984494 8413184 645 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 645 566 18 0 2036 0
vsize: 8216
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 671 0 0 0 102466 1551 0 0 25 0 1 0 848984494 8413184 645 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 645 566 18 0 2036 0
vsize: 8216
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 671 0 0 0 103449 1568 0 0 25 0 1 0 848984494 8413184 645 4294967295 134512640 134581267 3221224592 3221223664 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 645 566 18 0 2036 0
vsize: 8216
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 671 0 0 0 104433 1584 0 0 25 0 1 0 848984494 8413184 645 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 645 566 18 0 2036 0
vsize: 8216
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 674 0 0 0 105417 1601 0 0 25 0 1 0 848984494 8413184 648 4294967295 134512640 134581267 3221224592 3221223456 134528326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 648 566 18 0 2036 0
vsize: 8216
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 674 0 0 0 106397 1621 0 0 25 0 1 0 848984494 8413184 648 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 648 566 18 0 2036 0
vsize: 8216
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 675 0 0 0 107382 1636 0 0 25 0 1 0 848984494 8413184 649 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 649 566 18 0 2036 0
vsize: 8216
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 691 0 0 0 108365 1654 0 0 25 0 1 0 848984494 8413184 665 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 665 566 18 0 2036 0
vsize: 8216
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 691 0 0 0 109347 1671 0 0 25 0 1 0 848984494 8413184 665 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 665 566 18 0 2036 0
vsize: 8216
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 691 0 0 0 110331 1688 0 0 25 0 1 0 848984494 8413184 665 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 665 566 18 0 2036 0
vsize: 8216
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 691 0 0 0 111316 1703 0 0 25 0 1 0 848984494 8413184 665 4294967295 134512640 134581267 3221224592 3221223536 134559165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 665 566 18 0 2036 0
vsize: 8216
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 691 0 0 0 112299 1720 0 0 25 0 1 0 848984494 8413184 665 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 665 566 18 0 2036 0
vsize: 8216
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 691 0 0 0 113279 1740 0 0 25 0 1 0 848984494 8413184 665 4294967295 134512640 134581267 3221224592 3221223520 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 665 566 18 0 2036 0
vsize: 8216
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 692 0 0 0 114264 1755 0 0 25 0 1 0 848984494 8413184 666 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 666 566 18 0 2036 0
vsize: 8216
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 692 0 0 0 115248 1772 0 0 25 0 1 0 848984494 8413184 666 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 666 566 18 0 2036 0
vsize: 8216
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 692 0 0 0 116231 1789 0 0 25 0 1 0 848984494 8413184 666 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 666 566 18 0 2036 0
vsize: 8216
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 7973
Raw data (stat): 7973 (Pueblo-v2) R 7972 20224 20223 0 -1 0 692 0 0 0 116231 1789 0 0 25 0 1 0 848984494 8413184 666 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2054 666 566 18 0 2036 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1170.95
CPU system time (s): 18.0613
CPU usage (%): 100.015
Max. virtual memory (Kb): 8216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1325
#### END VERIFIER DATA ####