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 38459

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        773248 kB
Buffers:         33384 kB
Cached:         207192 kB
SwapCached:        552 kB
Active:          56128 kB
Inactive:       186556 kB
HighTotal:      131008 kB
HighFree:        43316 kB
LowTotal:       903652 kB
LowFree:        729932 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            12952 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:53:38 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26524 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc6/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.93 2/54 15579
Raw data (stat): 15579 (runsolver) R 15578 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849099784 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 363 0 0 0 983 16 0 0 25 0 1 0 849099784 7090176 337 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 337 566 18 0 1713 0
vsize: 6924
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 372 0 0 0 1966 33 0 0 25 0 1 0 849099784 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+30.0038 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 391 0 0 0 2949 51 0 0 25 0 1 0 849099784 7217152 365 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 365 566 18 0 1744 0
vsize: 7048
[startup+40.0045 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 406 0 0 0 3930 70 0 0 25 0 1 0 849099784 7348224 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 380 566 18 0 1776 0
vsize: 7176
[startup+50.0057 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 418 0 0 0 4911 90 0 0 25 0 1 0 849099784 7348224 392 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 392 566 18 0 1776 0
vsize: 7176
[startup+60.0062 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 425 0 0 0 5894 107 0 0 25 0 1 0 849099784 7348224 399 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 399 566 18 0 1776 0
vsize: 7176
[startup+70.007 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 433 0 0 0 6875 127 0 0 25 0 1 0 849099784 7348224 407 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 407 566 18 0 1776 0
vsize: 7176
[startup+80.0081 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 442 0 0 0 7857 145 0 0 25 0 1 0 849099784 7479296 416 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1826 416 566 18 0 1808 0
vsize: 7304
[startup+90.0086 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 452 0 0 0 8840 162 0 0 25 0 1 0 849099784 7479296 426 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1826 426 566 18 0 1808 0
vsize: 7304
[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 455 0 0 0 9824 179 0 0 25 0 1 0 849099784 7479296 429 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1826 429 566 18 0 1808 0
vsize: 7304
[startup+110.011 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 461 0 0 0 10808 195 0 0 25 0 1 0 849099784 7479296 435 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1826 435 566 18 0 1808 0
vsize: 7304
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 478 0 0 0 11788 215 0 0 25 0 1 0 849099784 7610368 452 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 452 566 18 0 1840 0
vsize: 7432
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 478 0 0 0 12772 232 0 0 25 0 1 0 849099784 7610368 452 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 452 566 18 0 1840 0
vsize: 7432
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 478 0 0 0 13754 251 0 0 25 0 1 0 849099784 7610368 452 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 452 566 18 0 1840 0
vsize: 7432
[startup+150.011 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 478 0 0 0 14736 268 0 0 25 0 1 0 849099784 7610368 452 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 452 566 18 0 1840 0
vsize: 7432
[startup+160.01 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 480 0 0 0 15717 287 0 0 25 0 1 0 849099784 7610368 454 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 454 566 18 0 1840 0
vsize: 7432
[startup+170.009 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 481 0 0 0 16702 303 0 0 25 0 1 0 849099784 7610368 455 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 455 566 18 0 1840 0
vsize: 7432
[startup+180.009 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 17686 320 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+190.009 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 18668 337 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+200.009 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 19649 357 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+210.008 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 20632 374 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+220.008 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 21616 390 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+230.007 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 22598 409 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+240.007 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 23580 427 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+250.007 s]
Raw data (loadavg): 1.08 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 509 0 0 0 24563 444 0 0 25 0 1 0 849099784 7741440 483 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 483 566 18 0 1872 0
vsize: 7560
[startup+260.007 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 518 0 0 0 25544 463 0 0 25 0 1 0 849099784 7741440 492 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 492 566 18 0 1872 0
vsize: 7560
[startup+270.006 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 523 0 0 0 26521 487 0 0 25 0 1 0 849099784 7741440 497 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 497 566 18 0 1872 0
vsize: 7560
[startup+280.006 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 551 0 0 0 27505 503 0 0 25 0 1 0 849099784 7872512 525 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1922 525 566 18 0 1904 0
vsize: 7688
[startup+290.006 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 551 0 0 0 28489 520 0 0 25 0 1 0 849099784 7872512 525 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1922 525 566 18 0 1904 0
vsize: 7688
[startup+300.006 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 551 0 0 0 29472 537 0 0 25 0 1 0 849099784 7872512 525 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1922 525 566 18 0 1904 0
vsize: 7688
[startup+310.006 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 551 0 0 0 30454 555 0 0 25 0 1 0 849099784 7872512 525 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1922 525 566 18 0 1904 0
vsize: 7688
[startup+320.006 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 551 0 0 0 31442 567 0 0 25 0 1 0 849099784 7872512 525 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1922 525 566 18 0 1904 0
vsize: 7688
[startup+330.005 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 551 0 0 0 32424 586 0 0 25 0 1 0 849099784 7872512 525 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1922 525 566 18 0 1904 0
vsize: 7688
[startup+340.005 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 554 0 0 0 33407 603 0 0 25 0 1 0 849099784 7872512 528 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1922 528 566 18 0 1904 0
vsize: 7688
[startup+350.005 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 565 0 0 0 34389 621 0 0 25 0 1 0 849099784 8003584 539 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 539 566 18 0 1936 0
vsize: 7816
[startup+360.006 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 566 0 0 0 35376 635 0 0 25 0 1 0 849099784 8003584 540 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 540 566 18 0 1936 0
vsize: 7816
[startup+370.006 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 566 0 0 0 36363 648 0 0 25 0 1 0 849099784 8003584 540 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 540 566 18 0 1936 0
vsize: 7816
[startup+380.005 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 566 0 0 0 37346 665 0 0 25 0 1 0 849099784 8003584 540 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 540 566 18 0 1936 0
vsize: 7816
[startup+390.006 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 566 0 0 0 38330 682 0 0 25 0 1 0 849099784 8003584 540 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 540 566 18 0 1936 0
vsize: 7816
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 566 0 0 0 39312 700 0 0 25 0 1 0 849099784 8003584 540 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 540 566 18 0 1936 0
vsize: 7816
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 40294 719 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223460 1075289825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+420.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 41277 736 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+430.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 42258 755 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+440.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 43240 774 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 44218 796 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+460.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 45199 815 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+470.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 46183 831 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+480.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 47167 848 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+490.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 48150 865 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+500.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 49131 884 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+510.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 50114 902 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+520.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 51096 920 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+530.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 52077 940 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+540.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 53060 957 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223560 134527305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+550.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 54042 974 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+560.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 55023 994 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+570.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 56005 1013 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+580.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 56987 1031 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+590.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 596 0 0 0 57971 1047 0 0 25 0 1 0 849099784 8003584 570 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1954 570 566 18 0 1936 0
vsize: 7816
[startup+600.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 611 0 0 0 58957 1062 0 0 25 0 1 0 849099784 8138752 585 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1987 585 566 18 0 1969 0
vsize: 7948
[startup+610.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 616 0 0 0 59941 1078 0 0 25 0 1 0 849099784 8138752 590 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1987 590 566 18 0 1969 0
vsize: 7948
[startup+620.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 616 0 0 0 60925 1094 0 0 25 0 1 0 849099784 8138752 590 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1987 590 566 18 0 1969 0
vsize: 7948
[startup+630.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 630 0 0 0 61909 1111 0 0 25 0 1 0 849099784 8232960 604 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+640.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 630 0 0 0 62892 1128 0 0 25 0 1 0 849099784 8232960 604 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+650.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 630 0 0 0 63878 1142 0 0 25 0 1 0 849099784 8232960 604 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+660.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 630 0 0 0 64860 1160 0 0 25 0 1 0 849099784 8232960 604 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+670.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 633 0 0 0 65845 1176 0 0 25 0 1 0 849099784 8232960 607 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+680.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 635 0 0 0 66827 1194 0 0 25 0 1 0 849099784 8232960 609 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 609 566 18 0 1992 0
vsize: 8040
[startup+690.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 637 0 0 0 67813 1208 0 0 25 0 1 0 849099784 8232960 611 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 611 566 18 0 1992 0
vsize: 8040
[startup+700.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 639 0 0 0 68794 1228 0 0 25 0 1 0 849099784 8232960 613 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 613 566 18 0 1992 0
vsize: 8040
[startup+710.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 639 0 0 0 69777 1245 0 0 25 0 1 0 849099784 8232960 613 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 613 566 18 0 1992 0
vsize: 8040
[startup+720.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 641 0 0 0 70763 1259 0 0 25 0 1 0 849099784 8232960 615 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+730.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 643 0 0 0 71745 1277 0 0 25 0 1 0 849099784 8232960 617 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 617 566 18 0 1992 0
vsize: 8040
[startup+740.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 643 0 0 0 72729 1294 0 0 25 0 1 0 849099784 8232960 617 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 617 566 18 0 1992 0
vsize: 8040
[startup+750.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 643 0 0 0 73710 1313 0 0 25 0 1 0 849099784 8232960 617 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 617 566 18 0 1992 0
vsize: 8040
[startup+760.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 645 0 0 0 74690 1334 0 0 25 0 1 0 849099784 8232960 619 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 619 566 18 0 1992 0
vsize: 8040
[startup+770.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 645 0 0 0 75673 1351 0 0 25 0 1 0 849099784 8232960 619 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 619 566 18 0 1992 0
vsize: 8040
[startup+780.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 645 0 0 0 76657 1367 0 0 25 0 1 0 849099784 8232960 619 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 619 566 18 0 1992 0
vsize: 8040
[startup+790.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 645 0 0 0 77638 1387 0 0 25 0 1 0 849099784 8232960 619 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 619 566 18 0 1992 0
vsize: 8040
[startup+800.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 645 0 0 0 78620 1405 0 0 25 0 1 0 849099784 8232960 619 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 619 566 18 0 1992 0
vsize: 8040
[startup+810.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 645 0 0 0 79604 1422 0 0 25 0 1 0 849099784 8232960 619 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 619 566 18 0 1992 0
vsize: 8040
[startup+820.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 647 0 0 0 80587 1438 0 0 25 0 1 0 849099784 8232960 621 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 621 566 18 0 1992 0
vsize: 8040
[startup+830.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 647 0 0 0 81570 1456 0 0 25 0 1 0 849099784 8232960 621 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 621 566 18 0 1992 0
vsize: 8040
[startup+840.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 656 0 0 0 82551 1475 0 0 25 0 1 0 849099784 8364032 630 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 630 566 18 0 2024 0
vsize: 8168
[startup+850.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 83534 1492 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+860.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 84517 1510 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+870 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 85498 1530 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+880 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 86482 1545 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+889.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 87466 1562 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223456 134560341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+899.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 88451 1578 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+909.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 89431 1597 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+919.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 90415 1614 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+929.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 91400 1629 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+939.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 92384 1645 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+949.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 93369 1661 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+959.997 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 94357 1673 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+969.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 95337 1693 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+979.997 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 96323 1708 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+989.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 97305 1726 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+999.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 98289 1743 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 99273 1758 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 100256 1776 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 681 0 0 0 101239 1793 0 0 25 0 1 0 849099784 8364032 655 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2042 655 566 18 0 2024 0
vsize: 8168
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 102221 1812 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 103205 1828 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 104188 1846 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 105171 1863 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223608 134519517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 106154 1880 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 107138 1897 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 108122 1913 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 109104 1931 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 110087 1949 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 111071 1965 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223456 134560430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 112054 1982 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 113037 1999 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 114018 2018 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 115003 2034 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 115985 2052 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 8292
[startup+1188.62 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 15579
Raw data (stat): 15579 (Pueblo-v2) R 15578 25568 25567 0 -1 0 706 0 0 0 115985 2052 0 0 25 0 1 0 849099784 8491008 680 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2073 680 566 18 0 2055 0
vsize: 0

Child status: 10
Real time (s): 1188.62
CPU time (s): 1189.01
CPU user time (s): 1168.28
CPU system time (s): 20.7238
CPU usage (%): 100.033
Max. virtual memory (Kb): 8292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	882
#### END VERIFIER DATA ####