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 24390

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 00:15:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2248 boxname=wulflinc31 idbench=250 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  9b291040ec2b77d0bffb739c0db80d53  /oldhome/oroussel/tmp/wulflinc31/normalized-c8.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-c8.opb
IDLAUNCH: 2248
/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:        242400 kB
Buffers:         45168 kB
Cached:         713136 kB
SwapCached:        644 kB
Active:         364204 kB
Inactive:       396384 kB
HighTotal:      131008 kB
HighFree:        23856 kB
LowTotal:       903652 kB
LowFree:        218544 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25916 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 00:34:53 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 2248 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-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
Raw data (loadavg): 0.91 0.95 0.90 2/54 5324
Raw data (stat): 5324 (runsolver) R 5323 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 704845176 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 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 347 0 0 0 985 12 0 0 25 0 1 0 704845176 7098368 324 4294967295 134512640 134581331 3221221808 3221220220 134566302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1733 324 566 18 0 1715 0
vsize: 6932
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 374 0 0 0 1971 25 0 0 25 0 1 0 704845176 7229440 351 4294967295 134512640 134581331 3221221808 3221220704 134517720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1765 351 566 18 0 1747 0
vsize: 7060
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 379 0 0 0 2961 36 0 0 25 0 1 0 704845176 7225344 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 356 566 18 0 1746 0
vsize: 7056
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 395 0 0 0 3949 48 0 0 25 0 1 0 704845176 7225344 372 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 372 566 18 0 1746 0
vsize: 7056
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 403 0 0 0 4937 60 0 0 25 0 1 0 704845176 7225344 380 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1764 380 566 18 0 1746 0
vsize: 7056
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 411 0 0 0 5926 71 0 0 25 0 1 0 704845176 7348224 388 4294967295 134512640 134581331 3221221808 3221220720 134527763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1794 388 566 18 0 1776 0
vsize: 7176
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 411 0 0 0 6916 82 0 0 25 0 1 0 704845176 7348224 388 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1794 388 566 18 0 1776 0
vsize: 7176
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 428 0 0 0 7903 94 0 0 25 0 1 0 704845176 7348224 405 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1794 405 566 18 0 1776 0
vsize: 7176
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 434 0 0 0 8891 107 0 0 25 0 1 0 704845176 7475200 411 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 411 566 18 0 1807 0
vsize: 7300
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 435 0 0 0 9880 118 0 0 25 0 1 0 704845176 7475200 412 4294967295 134512640 134581331 3221221808 3221220672 134528289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 412 566 18 0 1807 0
vsize: 7300
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 442 0 0 0 10869 129 0 0 25 0 1 0 704845176 7475200 419 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 419 566 18 0 1807 0
vsize: 7300
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 448 0 0 0 11855 144 0 0 25 0 1 0 704845176 7475200 425 4294967295 134512640 134581331 3221221808 3221220692 134557863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 425 566 18 0 1807 0
vsize: 7300
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 457 0 0 0 12845 154 0 0 25 0 1 0 704845176 7475200 434 4294967295 134512640 134581331 3221221808 3221220904 134562938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 434 566 18 0 1807 0
vsize: 7300
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 466 0 0 0 13837 162 0 0 25 0 1 0 704845176 7585792 443 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1852 443 566 18 0 1834 0
vsize: 7408
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 466 0 0 0 14827 172 0 0 25 0 1 0 704845176 7573504 443 4294967295 134512640 134581331 3221221808 3221220660 1075285247 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1849 443 566 18 0 1831 0
vsize: 7396
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 472 0 0 0 15817 182 0 0 25 0 1 0 704845176 7573504 449 4294967295 134512640 134581331 3221221808 3221220720 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1849 449 566 18 0 1831 0
vsize: 7396
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 472 0 0 0 16807 192 0 0 25 0 1 0 704845176 7573504 449 4294967295 134512640 134581331 3221221808 3221220704 134517918 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1849 449 566 18 0 1831 0
vsize: 7396
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 479 0 0 0 17797 203 0 0 25 0 1 0 704845176 7573504 456 4294967295 134512640 134581331 3221221808 3221220736 134520092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1849 456 566 18 0 1831 0
vsize: 7396
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 480 0 0 0 18787 212 0 0 25 0 1 0 704845176 7573504 457 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1849 457 566 18 0 1831 0
vsize: 7396
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 489 0 0 0 19777 223 0 0 25 0 1 0 704845176 7696384 466 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 466 566 18 0 1861 0
vsize: 7516
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 489 0 0 0 20767 233 0 0 25 0 1 0 704845176 7696384 466 4294967295 134512640 134581331 3221221808 3221220864 134556243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 466 566 18 0 1861 0
vsize: 7516
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 491 0 0 0 21756 244 0 0 25 0 1 0 704845176 7696384 468 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 468 566 18 0 1861 0
vsize: 7516
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 491 0 0 0 22745 256 0 0 25 0 1 0 704845176 7696384 468 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 468 566 18 0 1861 0
vsize: 7516
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 491 0 0 0 23733 267 0 0 25 0 1 0 704845176 7696384 468 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 468 566 18 0 1861 0
vsize: 7516
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 491 0 0 0 24722 278 0 0 25 0 1 0 704845176 7696384 468 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 468 566 18 0 1861 0
vsize: 7516
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 494 0 0 0 25711 289 0 0 25 0 1 0 704845176 7696384 471 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 471 566 18 0 1861 0
vsize: 7516
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 511 0 0 0 26699 303 0 0 25 0 1 0 704845176 7696384 488 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 488 566 18 0 1861 0
vsize: 7516
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 511 0 0 0 27690 312 0 0 25 0 1 0 704845176 7696384 488 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 488 566 18 0 1861 0
vsize: 7516
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 511 0 0 0 28678 324 0 0 25 0 1 0 704845176 7696384 488 4294967295 134512640 134581331 3221221808 3221220592 134528767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 488 566 18 0 1861 0
vsize: 7516
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 511 0 0 0 29667 335 0 0 25 0 1 0 704845176 7696384 488 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 488 566 18 0 1861 0
vsize: 7516
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 515 0 0 0 30657 345 0 0 25 0 1 0 704845176 7696384 492 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 492 566 18 0 1861 0
vsize: 7516
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 515 0 0 0 31645 357 0 0 25 0 1 0 704845176 7696384 492 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1879 492 566 18 0 1861 0
vsize: 7516
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 32633 369 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 33623 379 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 34616 387 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220736 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 35606 397 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220800 134560848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 36592 411 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 37581 422 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 38571 432 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220716 134558026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 537 0 0 0 39561 443 0 0 25 0 1 0 704845176 7790592 514 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1902 514 566 18 0 1884 0
vsize: 7608
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 542 0 0 0 40550 454 0 0 25 0 1 0 704845176 7921664 519 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 519 566 18 0 1916 0
vsize: 7736
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 41539 465 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220688 134520269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 42528 477 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220752 134559174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 43515 489 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 44505 500 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 45492 513 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 46477 528 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 47464 541 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 48450 555 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220720 134527729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 49434 571 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220720 134566401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 555 0 0 0 50421 585 0 0 25 0 1 0 704845176 7921664 532 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 532 566 18 0 1916 0
vsize: 7736
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 51410 596 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 52399 607 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220688 134520297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 53388 618 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220780 134554652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 54376 631 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220032 134566827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 55361 645 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 56347 660 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 57331 676 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 58318 689 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 565 0 0 0 59305 702 0 0 25 0 1 0 704845176 7921664 542 4294967295 134512640 134581331 3221221808 3221220692 134557874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1934 542 566 18 0 1916 0
vsize: 7736
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 580 0 0 0 60295 713 0 0 25 0 1 0 704845176 8040448 557 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 557 566 18 0 1945 0
vsize: 7852
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 580 0 0 0 61284 723 0 0 25 0 1 0 704845176 8040448 557 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 557 566 18 0 1945 0
vsize: 7852
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 580 0 0 0 62273 734 0 0 25 0 1 0 704845176 8040448 557 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 557 566 18 0 1945 0
vsize: 7852
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 580 0 0 0 63263 745 0 0 25 0 1 0 704845176 8040448 557 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 557 566 18 0 1945 0
vsize: 7852
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 64249 759 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 65239 769 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 66228 781 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 67217 791 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 68205 804 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220800 134561071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 69196 813 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 70187 822 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220768 134516745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 71177 832 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 72166 844 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 584 0 0 0 73155 854 0 0 25 0 1 0 704845176 8040448 561 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 561 566 18 0 1945 0
vsize: 7852
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 585 0 0 0 74147 863 0 0 25 0 1 0 704845176 8040448 562 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 562 566 18 0 1945 0
vsize: 7852
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 585 0 0 0 75136 874 0 0 25 0 1 0 704845176 8040448 562 4294967295 134512640 134581331 3221221808 3221220700 134528303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 562 566 18 0 1945 0
vsize: 7852
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 585 0 0 0 76123 887 0 0 25 0 1 0 704845176 8040448 562 4294967295 134512640 134581331 3221221808 3221220720 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 562 566 18 0 1945 0
vsize: 7852
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 590 0 0 0 77112 898 0 0 25 0 1 0 704845176 8040448 567 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 567 566 18 0 1945 0
vsize: 7852
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 590 0 0 0 78102 909 0 0 25 0 1 0 704845176 8040448 567 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 567 566 18 0 1945 0
vsize: 7852
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 590 0 0 0 79090 921 0 0 25 0 1 0 704845176 8040448 567 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 567 566 18 0 1945 0
vsize: 7852
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 590 0 0 0 80080 931 0 0 25 0 1 0 704845176 8040448 567 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 567 566 18 0 1945 0
vsize: 7852
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 590 0 0 0 81068 943 0 0 25 0 1 0 704845176 8040448 567 4294967295 134512640 134581331 3221221808 3221220128 134566395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 567 566 18 0 1945 0
vsize: 7852
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 590 0 0 0 82057 954 0 0 25 0 1 0 704845176 8040448 567 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 567 566 18 0 1945 0
vsize: 7852
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 596 0 0 0 83048 963 0 0 25 0 1 0 704845176 8040448 573 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 573 566 18 0 1945 0
vsize: 7852
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 598 0 0 0 84038 974 0 0 25 0 1 0 704845176 8040448 575 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 575 566 18 0 1945 0
vsize: 7852
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 598 0 0 0 85027 984 0 0 25 0 1 0 704845176 8040448 575 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 575 566 18 0 1945 0
vsize: 7852
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 598 0 0 0 86018 994 0 0 25 0 1 0 704845176 8040448 575 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 575 566 18 0 1945 0
vsize: 7852
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 598 0 0 0 87008 1004 0 0 25 0 1 0 704845176 8040448 575 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 575 566 18 0 1945 0
vsize: 7852
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 598 0 0 0 88000 1012 0 0 25 0 1 0 704845176 8040448 575 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 575 566 18 0 1945 0
vsize: 7852
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 600 0 0 0 88988 1025 0 0 25 0 1 0 704845176 8040448 577 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1963 577 566 18 0 1945 0
vsize: 7852
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 626 0 0 0 89978 1035 0 0 25 0 1 0 704845176 8171520 603 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 603 566 18 0 1977 0
vsize: 7980
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 626 0 0 0 90966 1047 0 0 25 0 1 0 704845176 8171520 603 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 603 566 18 0 1977 0
vsize: 7980
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 626 0 0 0 91956 1057 0 0 25 0 1 0 704845176 8171520 603 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 603 566 18 0 1977 0
vsize: 7980
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 626 0 0 0 92945 1068 0 0 25 0 1 0 704845176 8171520 603 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 603 566 18 0 1977 0
vsize: 7980
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 93934 1079 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 94922 1092 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 95910 1104 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 96898 1116 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 97886 1128 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 98875 1139 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 99865 1150 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220672 134528278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 100853 1161 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 629 0 0 0 101842 1173 0 0 25 0 1 0 704845176 8171520 606 4294967295 134512640 134581331 3221221808 3221220720 134566395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 606 566 18 0 1977 0
vsize: 7980
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 631 0 0 0 102832 1183 0 0 25 0 1 0 704845176 8171520 608 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 608 566 18 0 1977 0
vsize: 7980
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 631 0 0 0 103823 1193 0 0 25 0 1 0 704845176 8171520 608 4294967295 134512640 134581331 3221221808 3221220496 1075288438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 608 566 18 0 1977 0
vsize: 7980
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 631 0 0 0 104808 1208 0 0 25 0 1 0 704845176 8171520 608 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 608 566 18 0 1977 0
vsize: 7980
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 631 0 0 0 105796 1220 0 0 25 0 1 0 704845176 8171520 608 4294967295 134512640 134581331 3221221808 3221220800 134561111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 608 566 18 0 1977 0
vsize: 7980
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 634 0 0 0 106787 1229 0 0 25 0 1 0 704845176 8171520 611 4294967295 134512640 134581331 3221221808 3221220692 134557799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 611 566 18 0 1977 0
vsize: 7980
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 634 0 0 0 107777 1239 0 0 25 0 1 0 704845176 8171520 611 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1995 611 566 18 0 1977 0
vsize: 7980
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 635 0 0 0 108766 1250 0 0 25 0 1 0 704845176 8306688 612 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 612 566 18 0 2010 0
vsize: 8112
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 109754 1262 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 110745 1272 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 111733 1283 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 112723 1294 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 113712 1305 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220752 134558952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 114702 1315 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220880 134531386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 115692 1326 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220704 134527747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 116682 1335 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 8112
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5324
Raw data (stat): 5324 (Pueblo) R 5323 7876 7672 0 -1 0 650 0 0 0 116682 1335 0 0 25 0 1 0 704845176 8306688 627 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2028 627 566 18 0 2010 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1175.57
CPU system time (s): 13.449
CPU usage (%): 100.013
Max. virtual memory (Kb): 8112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1325
#### END VERIFIER DATA ####