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-mux.opb
MD5SUM	fa7153262db792d01bec14f5a651af5b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	872
Optimality of the best value was proved	NO
Number of terms in the objective function	232
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	9597
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	9597
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.332949
Number of variables	232
Total number of constraints	527
Number of constraints which are clauses	527
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 24410

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 04:12:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2284 boxname=wulflinc31 idbench=254 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc31/normalized-mux.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mux.opb
IDLAUNCH: 2284
/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:        301216 kB
Buffers:         45704 kB
Cached:         653644 kB
SwapCached:        644 kB
Active:         284972 kB
Inactive:       416736 kB
HighTotal:      131008 kB
HighFree:        36904 kB
LowTotal:       903652 kB
LowFree:        264312 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26012 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 04:32:33 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 2284 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-mux.opb
c #variables read: 232 - #constraints read: 528
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 
#### 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.99 0.91 2/54 7233
Raw data (stat): 7233 (runsolver) R 7232 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 706271377 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 352 0 0 0 982 14 0 0 25 0 1 0 706271377 7098368 329 4294967295 134512640 134581331 3221221808 3221220672 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 329 566 18 0 1715 0
vsize: 6932
[startup+20.0025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 362 0 0 0 1972 24 0 0 25 0 1 0 706271377 7098368 339 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 339 566 18 0 1715 0
vsize: 6932
[startup+30.0024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 372 0 0 0 2961 35 0 0 25 0 1 0 706271377 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+40.0031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 390 0 0 0 3951 45 0 0 25 0 1 0 706271377 7229440 367 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1765 367 566 18 0 1747 0
vsize: 7060
[startup+50.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 390 0 0 0 4938 58 0 0 25 0 1 0 706271377 7229440 367 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1765 367 566 18 0 1747 0
vsize: 7060
[startup+60.0042 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 408 0 0 0 5924 72 0 0 25 0 1 0 706271377 7360512 385 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1797 385 566 18 0 1779 0
vsize: 7188
[startup+70.0048 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 416 0 0 0 6912 86 0 0 25 0 1 0 706271377 7360512 393 4294967295 134512640 134581331 3221221808 3221220752 134559234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1797 393 566 18 0 1779 0
vsize: 7188
[startup+80.0051 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 422 0 0 0 7898 99 0 0 25 0 1 0 706271377 7360512 399 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1797 399 566 18 0 1779 0
vsize: 7188
[startup+90.0059 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 426 0 0 0 8884 113 0 0 25 0 1 0 706271377 7360512 403 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1797 403 566 18 0 1779 0
vsize: 7188
[startup+100.006 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 432 0 0 0 9869 128 0 0 25 0 1 0 706271377 7360512 409 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1797 409 566 18 0 1779 0
vsize: 7188
[startup+110.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 434 0 0 0 10857 141 0 0 25 0 1 0 706271377 7360512 411 4294967295 134512640 134581331 3221221808 3221220692 134557922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1797 411 566 18 0 1779 0
vsize: 7188
[startup+120.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 440 0 0 0 11845 153 0 0 25 0 1 0 706271377 7495680 417 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 417 566 18 0 1812 0
vsize: 7320
[startup+130.007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 449 0 0 0 12836 163 0 0 25 0 1 0 706271377 7495680 426 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 426 566 18 0 1812 0
vsize: 7320
[startup+140.008 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 452 0 0 0 13824 174 0 0 25 0 1 0 706271377 7495680 429 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 429 566 18 0 1812 0
vsize: 7320
[startup+150.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 452 0 0 0 14814 185 0 0 25 0 1 0 706271377 7495680 429 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 429 566 18 0 1812 0
vsize: 7320
[startup+160.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 459 0 0 0 15799 200 0 0 25 0 1 0 706271377 7495680 436 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1830 436 566 18 0 1812 0
vsize: 7320
[startup+170.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 476 0 0 0 16785 214 0 0 25 0 1 0 706271377 7622656 453 4294967295 134512640 134581331 3221221808 3221220672 134528344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 453 566 18 0 1843 0
vsize: 7444
[startup+180.009 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 476 0 0 0 17773 227 0 0 25 0 1 0 706271377 7622656 453 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 453 566 18 0 1843 0
vsize: 7444
[startup+190.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 476 0 0 0 18759 241 0 0 25 0 1 0 706271377 7622656 453 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 453 566 18 0 1843 0
vsize: 7444
[startup+200.01 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 476 0 0 0 19747 252 0 0 25 0 1 0 706271377 7622656 453 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 453 566 18 0 1843 0
vsize: 7444
[startup+210.011 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 476 0 0 0 20732 268 0 0 25 0 1 0 706271377 7622656 453 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 453 566 18 0 1843 0
vsize: 7444
[startup+220.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 476 0 0 0 21721 280 0 0 25 0 1 0 706271377 7622656 453 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 453 566 18 0 1843 0
vsize: 7444
[startup+230.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 479 0 0 0 22707 294 0 0 25 0 1 0 706271377 7622656 456 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 456 566 18 0 1843 0
vsize: 7444
[startup+240.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 479 0 0 0 23696 304 0 0 25 0 1 0 706271377 7622656 456 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 456 566 18 0 1843 0
vsize: 7444
[startup+250.012 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 494 0 0 0 24686 315 0 0 25 0 1 0 706271377 7622656 471 4294967295 134512640 134581331 3221221808 3221220672 134560384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1861 471 566 18 0 1843 0
vsize: 7444
[startup+260.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 25676 325 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+270.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 26665 337 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+280.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 27652 349 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+290.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 28636 366 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+300.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 29623 379 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+310.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 30611 391 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+320.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 31600 402 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+330.013 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 32589 413 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+340.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 33576 427 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+350.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 506 0 0 0 34566 437 0 0 25 0 1 0 706271377 7729152 483 4294967295 134512640 134581331 3221221808 3221220672 134560491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 483 566 18 0 1869 0
vsize: 7548
[startup+360.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 508 0 0 0 35553 450 0 0 25 0 1 0 706271377 7729152 485 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 485 566 18 0 1869 0
vsize: 7548
[startup+370.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 511 0 0 0 36538 464 0 0 25 0 1 0 706271377 7729152 488 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 488 566 18 0 1869 0
vsize: 7548
[startup+380.014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 516 0 0 0 37523 480 0 0 25 0 1 0 706271377 7729152 493 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 493 566 18 0 1869 0
vsize: 7548
[startup+390.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 521 0 0 0 38506 497 0 0 25 0 1 0 706271377 7729152 498 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1887 498 566 18 0 1869 0
vsize: 7548
[startup+400.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 39495 509 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+410.015 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 40485 518 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220640 134528564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+420.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 41473 530 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+430.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 42461 543 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+440.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 43450 555 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+450.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 44438 567 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+460.016 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 45427 578 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+470.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 46417 588 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+480.017 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 549 0 0 0 47406 599 0 0 25 0 1 0 706271377 7852032 526 4294967295 134512640 134581331 3221221808 3221220592 134528820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 526 566 18 0 1899 0
vsize: 7668
[startup+490.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 552 0 0 0 48393 612 0 0 25 0 1 0 706271377 7852032 529 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 529 566 18 0 1899 0
vsize: 7668
[startup+500.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 563 0 0 0 49381 625 0 0 25 0 1 0 706271377 7954432 540 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 540 566 18 0 1924 0
vsize: 7768
[startup+510.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 563 0 0 0 50372 633 0 0 25 0 1 0 706271377 7954432 540 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 540 566 18 0 1924 0
vsize: 7768
[startup+520.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 564 0 0 0 51361 644 0 0 25 0 1 0 706271377 7954432 541 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 541 566 18 0 1924 0
vsize: 7768
[startup+530.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 564 0 0 0 52352 653 0 0 25 0 1 0 706271377 7954432 541 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 541 566 18 0 1924 0
vsize: 7768
[startup+540.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 564 0 0 0 53338 668 0 0 25 0 1 0 706271377 7954432 541 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 541 566 18 0 1924 0
vsize: 7768
[startup+550.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 564 0 0 0 54324 682 0 0 25 0 1 0 706271377 7954432 541 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 541 566 18 0 1924 0
vsize: 7768
[startup+560.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 564 0 0 0 55313 693 0 0 25 0 1 0 706271377 7954432 541 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 541 566 18 0 1924 0
vsize: 7768
[startup+570.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 564 0 0 0 56301 706 0 0 25 0 1 0 706271377 7954432 541 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1942 541 566 18 0 1924 0
vsize: 7768
[startup+580.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 57290 717 0 0 25 0 1 0 706271377 8085504 571 4294967295 134512640 134581331 3221221808 3221220824 134519517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+590.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 58278 729 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+600.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 59265 742 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+610.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 60252 755 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+620.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 61237 771 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+630.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 62222 786 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+640.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 63206 801 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+650.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 64192 816 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220620 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+660.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 65179 829 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+670.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 66165 843 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+680.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 67152 856 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+690.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 68141 868 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220672 134560250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+700.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 69128 881 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+710.022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 70118 891 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+720.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 71107 902 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+730.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 72094 915 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+740.023 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 73079 930 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220736 134520095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+750.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 74066 944 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220768 134516731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+760.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 75050 959 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+770.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 76038 972 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+780.024 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 77023 987 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+790.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 78009 1001 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+800.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 78997 1014 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+810.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 594 0 0 0 79981 1029 0 0 25 0 1 0 706271377 7999488 569 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1953 569 566 18 0 1935 0
vsize: 7812
[startup+820.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 595 0 0 0 80967 1044 0 0 25 0 1 0 706271377 8114176 570 4294967295 134512640 134581331 3221221808 3221220672 134560433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 570 566 18 0 1963 0
vsize: 7924
[startup+830.025 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 595 0 0 0 81954 1058 0 0 25 0 1 0 706271377 8114176 570 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 570 566 18 0 1963 0
vsize: 7924
[startup+840.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 595 0 0 0 82941 1070 0 0 25 0 1 0 706271377 8114176 570 4294967295 134512640 134581331 3221221808 3221220672 134528507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 570 566 18 0 1963 0
vsize: 7924
[startup+850.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 595 0 0 0 83928 1084 0 0 25 0 1 0 706271377 8114176 570 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 570 566 18 0 1963 0
vsize: 7924
[startup+860.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 611 0 0 0 84915 1096 0 0 25 0 1 0 706271377 8114176 586 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 586 566 18 0 1963 0
vsize: 7924
[startup+870.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 611 0 0 0 85905 1107 0 0 25 0 1 0 706271377 8114176 586 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 586 566 18 0 1963 0
vsize: 7924
[startup+880.026 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 616 0 0 0 86893 1119 0 0 25 0 1 0 706271377 8114176 591 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 591 566 18 0 1963 0
vsize: 7924
[startup+890.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 616 0 0 0 87880 1132 0 0 25 0 1 0 706271377 8114176 591 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 591 566 18 0 1963 0
vsize: 7924
[startup+900.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 622 0 0 0 88869 1143 0 0 25 0 1 0 706271377 8114176 597 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1981 597 566 18 0 1963 0
vsize: 7924
[startup+910.027 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 630 0 0 0 89858 1155 0 0 25 0 1 0 706271377 8245248 605 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2013 605 566 18 0 1995 0
vsize: 8052
[startup+920.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 630 0 0 0 90845 1168 0 0 25 0 1 0 706271377 8241152 605 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 605 566 18 0 1994 0
vsize: 8048
[startup+930.028 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 630 0 0 0 91835 1178 0 0 25 0 1 0 706271377 8241152 605 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 605 566 18 0 1994 0
vsize: 8048
[startup+940.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 630 0 0 0 92820 1193 0 0 25 0 1 0 706271377 8241152 605 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 605 566 18 0 1994 0
vsize: 8048
[startup+950.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 630 0 0 0 93808 1205 0 0 25 0 1 0 706271377 8241152 605 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 605 566 18 0 1994 0
vsize: 8048
[startup+960.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 631 0 0 0 94796 1217 0 0 25 0 1 0 706271377 8241152 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 606 566 18 0 1994 0
vsize: 8048
[startup+970.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 631 0 0 0 95785 1229 0 0 25 0 1 0 706271377 8241152 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 606 566 18 0 1994 0
vsize: 8048
[startup+980.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 631 0 0 0 96774 1240 0 0 25 0 1 0 706271377 8241152 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 606 566 18 0 1994 0
vsize: 8048
[startup+990.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 631 0 0 0 97760 1254 0 0 25 0 1 0 706271377 8241152 606 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 606 566 18 0 1994 0
vsize: 8048
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 631 0 0 0 98747 1267 0 0 25 0 1 0 706271377 8241152 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 606 566 18 0 1994 0
vsize: 8048
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 632 0 0 0 99735 1279 0 0 25 0 1 0 706271377 8241152 607 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 607 566 18 0 1994 0
vsize: 8048
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 632 0 0 0 100721 1293 0 0 25 0 1 0 706271377 8241152 607 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 607 566 18 0 1994 0
vsize: 8048
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 634 0 0 0 101709 1305 0 0 25 0 1 0 706271377 8241152 609 4294967295 134512640 134581331 3221221808 3221220752 134558835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 609 566 18 0 1994 0
vsize: 8048
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 634 0 0 0 102696 1318 0 0 25 0 1 0 706271377 8241152 609 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 609 566 18 0 1994 0
vsize: 8048
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 636 0 0 0 103686 1329 0 0 25 0 1 0 706271377 8241152 611 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 611 566 18 0 1994 0
vsize: 8048
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 638 0 0 0 104673 1342 0 0 25 0 1 0 706271377 8241152 613 4294967295 134512640 134581331 3221221808 3221220672 134560398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 613 566 18 0 1994 0
vsize: 8048
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 638 0 0 0 105658 1357 0 0 25 0 1 0 706271377 8241152 613 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 613 566 18 0 1994 0
vsize: 8048
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 638 0 0 0 106644 1371 0 0 25 0 1 0 706271377 8241152 613 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 613 566 18 0 1994 0
vsize: 8048
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 640 0 0 0 107629 1387 0 0 25 0 1 0 706271377 8241152 615 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 615 566 18 0 1994 0
vsize: 8048
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 640 0 0 0 108618 1398 0 0 25 0 1 0 706271377 8241152 615 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 615 566 18 0 1994 0
vsize: 8048
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 641 0 0 0 109605 1411 0 0 25 0 1 0 706271377 8241152 616 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 616 566 18 0 1994 0
vsize: 8048
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 641 0 0 0 110591 1425 0 0 25 0 1 0 706271377 8241152 616 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 616 566 18 0 1994 0
vsize: 8048
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 641 0 0 0 111576 1440 0 0 25 0 1 0 706271377 8241152 616 4294967295 134512640 134581331 3221221808 3221220672 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 616 566 18 0 1994 0
vsize: 8048
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 641 0 0 0 112564 1452 0 0 25 0 1 0 706271377 8241152 616 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 616 566 18 0 1994 0
vsize: 8048
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 641 0 0 0 113552 1465 0 0 25 0 1 0 706271377 8241152 616 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 616 566 18 0 1994 0
vsize: 8048
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 641 0 0 0 114539 1478 0 0 25 0 1 0 706271377 8241152 616 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 616 566 18 0 1994 0
vsize: 8048
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 641 0 0 0 115524 1492 0 0 25 0 1 0 706271377 8241152 616 4294967295 134512640 134581331 3221221808 3221220672 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 616 566 18 0 1994 0
vsize: 8048
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 643 0 0 0 116511 1506 0 0 25 0 1 0 706271377 8241152 618 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 618 566 18 0 1994 0
vsize: 8048
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.99 0.91 1/53 7233
Raw data (stat): 7233 (Pueblo) R 7232 7876 7672 0 -1 0 643 0 0 0 116511 1506 0 0 25 0 1 0 706271377 8241152 618 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2012 618 566 18 0 1994 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1173.81
CPU system time (s): 15.2037
CPU usage (%): 100.012
Max. virtual memory (Kb): 8052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	882
#### END VERIFIER DATA ####