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-cmb.opb
MD5SUM	a8596c98551f801a6658f1ce91b33278
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1053
Optimality of the best value was proved	NO
Number of terms in the objective function	304
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	12887
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	12887
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.97785
Number of variables	304
Total number of constraints	671
Number of constraints which are clauses	671
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	1
Maximum length of a constraint	28
Trace number 24405

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 03:11:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2275 boxname=wulflinc31 idbench=253 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a8596c98551f801a6658f1ce91b33278  /oldhome/oroussel/tmp/wulflinc31/normalized-cmb.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-cmb.opb
IDLAUNCH: 2275
/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:        241820 kB
Buffers:         45672 kB
Cached:         713176 kB
SwapCached:        644 kB
Active:         364500 kB
Inactive:       396676 kB
HighTotal:      131008 kB
HighFree:        23716 kB
LowTotal:       903652 kB
LowFree:        218104 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25884 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 03:31:16 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 2275 0 1189.02 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-cmb.opb
c #variables read: 304 - #constraints read: 668
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 
#### 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.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (runsolver) R 6753 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 705903629 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 371 0 0 0 985 12 0 0 25 0 1 0 705903629 7102464 348 4294967295 134512640 134581331 3221221808 3221220672 134528270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1734 348 566 18 0 1716 0
vsize: 6936
[startup+20.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 397 0 0 0 1976 21 0 0 25 0 1 0 705903629 7233536 374 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 374 566 18 0 1748 0
vsize: 7064
[startup+30.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 428 0 0 0 2965 32 0 0 25 0 1 0 705903629 7364608 405 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1798 405 566 18 0 1780 0
vsize: 7192
[startup+40.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 441 0 0 0 3953 44 0 0 25 0 1 0 705903629 7495680 418 4294967295 134512640 134581331 3221221808 3221220672 134560320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 418 566 18 0 1812 0
vsize: 7320
[startup+50.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 451 0 0 0 4940 57 0 0 25 0 1 0 705903629 7495680 428 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 428 566 18 0 1812 0
vsize: 7320
[startup+60.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 452 0 0 0 5930 67 0 0 25 0 1 0 705903629 7495680 429 4294967295 134512640 134581331 3221221808 3221220692 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 429 566 18 0 1812 0
vsize: 7320
[startup+70.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 452 0 0 0 6922 76 0 0 25 0 1 0 705903629 7495680 429 4294967295 134512640 134581331 3221221808 3221220520 1075291647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 429 566 18 0 1812 0
vsize: 7320
[startup+80.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 476 0 0 0 7906 92 0 0 25 0 1 0 705903629 7626752 453 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1862 453 566 18 0 1844 0
vsize: 7448
[startup+90.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 482 0 0 0 8896 102 0 0 25 0 1 0 705903629 7626752 459 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1862 459 566 18 0 1844 0
vsize: 7448
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 497 0 0 0 9884 114 0 0 25 0 1 0 705903629 7626752 474 4294967295 134512640 134581331 3221221808 3221220720 134527780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1862 474 566 18 0 1844 0
vsize: 7448
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 498 0 0 0 10872 127 0 0 25 0 1 0 705903629 7626752 475 4294967295 134512640 134581331 3221221808 3221220672 134528490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1862 475 566 18 0 1844 0
vsize: 7448
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 498 0 0 0 11860 138 0 0 25 0 1 0 705903629 7626752 475 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1862 475 566 18 0 1844 0
vsize: 7448
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 498 0 0 0 12850 149 0 0 25 0 1 0 705903629 7626752 475 4294967295 134512640 134581331 3221221808 3221220800 134561148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1862 475 566 18 0 1844 0
vsize: 7448
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 498 0 0 0 13837 161 0 0 25 0 1 0 705903629 7626752 475 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1862 475 566 18 0 1844 0
vsize: 7448
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 510 0 0 0 14827 172 0 0 25 0 1 0 705903629 7757824 487 4294967295 134512640 134581331 3221221808 3221220752 134558806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1894 487 566 18 0 1876 0
vsize: 7576
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 510 0 0 0 15816 183 0 0 25 0 1 0 705903629 7757824 487 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1894 487 566 18 0 1876 0
vsize: 7576
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 511 0 0 0 16807 192 0 0 25 0 1 0 705903629 7757824 488 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1894 488 566 18 0 1876 0
vsize: 7576
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 511 0 0 0 17797 203 0 0 25 0 1 0 705903629 7757824 488 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1894 488 566 18 0 1876 0
vsize: 7576
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 519 0 0 0 18788 211 0 0 25 0 1 0 705903629 7757824 496 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1894 496 566 18 0 1876 0
vsize: 7576
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 523 0 0 0 19775 224 0 0 25 0 1 0 705903629 7757824 500 4294967295 134512640 134581331 3221221808 3221220592 134528785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1894 500 566 18 0 1876 0
vsize: 7576
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 523 0 0 0 20762 238 0 0 25 0 1 0 705903629 7757824 500 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1894 500 566 18 0 1876 0
vsize: 7576
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 558 0 0 0 21753 247 0 0 25 0 1 0 705903629 7892992 535 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1927 535 566 18 0 1909 0
vsize: 7708
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 563 0 0 0 22744 256 0 0 25 0 1 0 705903629 7892992 540 4294967295 134512640 134581331 3221221808 3221220592 134528820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1927 540 566 18 0 1909 0
vsize: 7708
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 572 0 0 0 23736 264 0 0 25 0 1 0 705903629 8015872 549 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1957 549 566 18 0 1939 0
vsize: 7828
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 24728 273 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 25718 283 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 26709 292 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 27700 301 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220752 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 28690 311 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 29680 322 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 30672 330 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 31663 339 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 32650 351 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220800 134561073 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 33642 360 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 34633 369 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 35623 379 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 36612 390 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 37602 400 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 38592 411 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220528 134566385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 39583 420 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 649 0 0 0 40572 431 0 0 25 0 1 0 705903629 8278016 626 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 626 566 18 0 2003 0
vsize: 8084
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 651 0 0 0 41563 441 0 0 25 0 1 0 705903629 8278016 628 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 628 566 18 0 2003 0
vsize: 8084
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 651 0 0 0 42552 451 0 0 25 0 1 0 705903629 8278016 628 4294967295 134512640 134581331 3221221808 3221220768 134516701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 628 566 18 0 2003 0
vsize: 8084
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 651 0 0 0 43543 461 0 0 25 0 1 0 705903629 8278016 628 4294967295 134512640 134581331 3221221808 3221220672 134528541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 628 566 18 0 2003 0
vsize: 8084
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 651 0 0 0 44535 469 0 0 25 0 1 0 705903629 8278016 628 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 628 566 18 0 2003 0
vsize: 8084
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 45524 480 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 46515 490 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 47503 501 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 48494 510 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 49483 522 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220784 134560995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 50468 537 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220672 134528275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 51455 550 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 52446 560 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 53434 571 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 54423 582 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 55412 594 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 56402 604 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220672 134560372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 57390 616 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 58382 625 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220672 134528437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 59371 636 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 60360 646 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220692 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 61351 656 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 62343 664 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 63333 673 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 64325 682 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 65314 693 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220880 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 66305 703 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 67293 714 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 68284 724 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 69274 734 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 70262 746 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 652 0 0 0 71252 756 0 0 25 0 1 0 705903629 8278016 629 4294967295 134512640 134581331 3221221808 3221220600 1075288837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 629 566 18 0 2003 0
vsize: 8084
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 653 0 0 0 72239 770 0 0 25 0 1 0 705903629 8278016 630 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 630 566 18 0 2003 0
vsize: 8084
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 666 0 0 0 73226 783 0 0 25 0 1 0 705903629 8409088 643 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2053 643 566 18 0 2035 0
vsize: 8212
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 672 0 0 0 74217 792 0 0 25 0 1 0 705903629 8409088 649 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2053 649 566 18 0 2035 0
vsize: 8212
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 681 0 0 0 75208 801 0 0 25 0 1 0 705903629 8409088 658 4294967295 134512640 134581331 3221221808 3221220704 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2053 658 566 18 0 2035 0
vsize: 8212
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 683 0 0 0 76198 811 0 0 25 0 1 0 705903629 8409088 660 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2053 660 566 18 0 2035 0
vsize: 8212
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 692 0 0 0 77189 821 0 0 25 0 1 0 705903629 8409088 669 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2053 669 566 18 0 2035 0
vsize: 8212
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 693 0 0 0 78178 832 0 0 25 0 1 0 705903629 8540160 670 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2085 670 566 18 0 2067 0
vsize: 8340
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 697 0 0 0 79169 841 0 0 25 0 1 0 705903629 8540160 674 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2085 674 566 18 0 2067 0
vsize: 8340
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 719 0 0 0 80159 851 0 0 25 0 1 0 705903629 8540160 696 4294967295 134512640 134581331 3221221808 3221220752 134558922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2085 696 566 18 0 2067 0
vsize: 8340
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 724 0 0 0 81149 861 0 0 25 0 1 0 705903629 8540160 701 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2085 701 566 18 0 2067 0
vsize: 8340
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 724 0 0 0 82139 871 0 0 25 0 1 0 705903629 8540160 701 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2085 701 566 18 0 2067 0
vsize: 8340
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 724 0 0 0 83129 882 0 0 25 0 1 0 705903629 8540160 701 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2085 701 566 18 0 2067 0
vsize: 8340
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 728 0 0 0 84119 892 0 0 25 0 1 0 705903629 8671232 705 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 705 566 18 0 2099 0
vsize: 8468
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 728 0 0 0 85111 900 0 0 25 0 1 0 705903629 8671232 705 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 705 566 18 0 2099 0
vsize: 8468
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 86102 909 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220664 134528389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 87091 920 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 88081 930 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220672 134528547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 89071 941 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 90059 952 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 91050 962 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 92041 971 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 93031 981 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 94023 990 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220800 134561150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 95012 1000 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 96003 1009 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220672 134528439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 96996 1017 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 97984 1029 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 98976 1037 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 99967 1046 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 100958 1055 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220688 134520434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 101951 1063 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220592 134528883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 102941 1073 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 103932 1082 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 104923 1091 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220504 1075291622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 735 0 0 0 105914 1101 0 0 25 0 1 0 705903629 8671232 712 4294967295 134512640 134581331 3221221808 3221220636 134528696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 712 566 18 0 2099 0
vsize: 8468
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 750 0 0 0 106907 1108 0 0 25 0 1 0 705903629 8671232 727 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 727 566 18 0 2099 0
vsize: 8468
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 107898 1116 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220672 134560449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 108890 1125 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 109881 1134 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 110870 1145 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 111860 1155 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 112849 1166 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220688 134520209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 113840 1175 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220672 134560320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 114832 1184 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 115824 1192 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 116814 1202 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 8468
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 6754
Raw data (stat): 6754 (Pueblo) R 6753 7876 7672 0 -1 0 753 0 0 0 116814 1202 0 0 25 0 1 0 705903629 8671232 730 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2117 730 566 18 0 2099 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1176.9
CPU system time (s): 12.1212
CPU usage (%): 100.013
Max. virtual memory (Kb): 8468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1057
#### END VERIFIER DATA ####