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/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65
Trace number 38695

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        909040 kB
Buffers:         21236 kB
Cached:          82436 kB
SwapCached:        232 kB
Active:          30288 kB
Inactive:        75996 kB
HighTotal:      131008 kB
HighFree:        45220 kB
LowTotal:       903652 kB
LowFree:        863820 kB
SwapTotal:     2097136 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6332 kB
Slab:            13552 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 15:46:33 (client local time) WITH STATUS 10 IN 1189 SECONDS
stats: 26667 0 1189 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc3/normalized-p0201.opb
c #variables read: 201 - #constraints read: 134
s SATISFIABLE
v -x0 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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.95 1/54 11235
Raw data (stat): 11235 (runsolver) R 11234 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850850267 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.88 0.94 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 320 0 0 0 988 11 0 0 25 0 1 0 850850267 6955008 294 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 294 566 18 0 1680 0
vsize: 6792
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 330 0 0 0 1980 19 0 0 25 0 1 0 850850267 6955008 304 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 304 566 18 0 1680 0
vsize: 6792
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.94 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 333 0 0 0 2973 26 0 0 25 0 1 0 850850267 6955008 307 4294967295 134512640 134581267 3221224592 3221223424 134531779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 307 566 18 0 1680 0
vsize: 6792
[startup+40.0038 s]
Raw data (loadavg): 0.92 0.94 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 333 0 0 0 3963 36 0 0 25 0 1 0 850850267 6955008 307 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 307 566 18 0 1680 0
vsize: 6792
[startup+50.0041 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 336 0 0 0 4951 49 0 0 25 0 1 0 850850267 6955008 310 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 310 566 18 0 1680 0
vsize: 6792
[startup+60.0042 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 336 0 0 0 5942 57 0 0 25 0 1 0 850850267 6955008 310 4294967295 134512640 134581267 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 310 566 18 0 1680 0
vsize: 6792
[startup+70.0052 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 336 0 0 0 6933 66 0 0 25 0 1 0 850850267 6955008 310 4294967295 134512640 134581267 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 310 566 18 0 1680 0
vsize: 6792
[startup+80.0056 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 336 0 0 0 7925 74 0 0 25 0 1 0 850850267 6955008 310 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1698 310 566 18 0 1680 0
vsize: 6792
[startup+90.0059 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 342 0 0 0 8917 82 0 0 25 0 1 0 850850267 7057408 316 4294967295 134512640 134581267 3221224592 3221223572 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 316 566 18 0 1705 0
vsize: 6892
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 351 0 0 0 9909 90 0 0 25 0 1 0 850850267 7057408 325 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 325 566 18 0 1705 0
vsize: 6892
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 351 0 0 0 10900 100 0 0 25 0 1 0 850850267 7057408 325 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 325 566 18 0 1705 0
vsize: 6892
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 351 0 0 0 11892 107 0 0 25 0 1 0 850850267 7057408 325 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 325 566 18 0 1705 0
vsize: 6892
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 12882 118 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 13875 125 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 14863 137 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223536 134559429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 15855 146 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 16845 155 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223584 134560929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 17835 165 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 18824 177 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223504 134527605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 19814 187 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223488 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 20802 199 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 21786 215 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 354 0 0 0 22772 230 0 0 25 0 1 0 850850267 7057408 328 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 328 566 18 0 1705 0
vsize: 6892
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 356 0 0 0 23762 240 0 0 25 0 1 0 850850267 7057408 330 4294967295 134512640 134581267 3221224592 3221223680 134562404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 330 566 18 0 1705 0
vsize: 6892
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 356 0 0 0 24747 255 0 0 25 0 1 0 850850267 7057408 330 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 330 566 18 0 1705 0
vsize: 6892
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 356 0 0 0 25733 269 0 0 25 0 1 0 850850267 7057408 330 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 330 566 18 0 1705 0
vsize: 6892
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 359 0 0 0 26720 282 0 0 25 0 1 0 850850267 7057408 333 4294967295 134512640 134581267 3221224592 3221223456 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 333 566 18 0 1705 0
vsize: 6892
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 359 0 0 0 27710 292 0 0 25 0 1 0 850850267 7057408 333 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 333 566 18 0 1705 0
vsize: 6892
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 359 0 0 0 28701 302 0 0 25 0 1 0 850850267 7057408 333 4294967295 134512640 134581267 3221224592 3221223088 134566761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 333 566 18 0 1705 0
vsize: 6892
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 361 0 0 0 29691 311 0 0 25 0 1 0 850850267 7057408 335 4294967295 134512640 134581267 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1723 335 566 18 0 1705 0
vsize: 6892
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 366 0 0 0 30680 322 0 0 25 0 1 0 850850267 7159808 340 4294967295 134512640 134581267 3221224592 3221223560 134527298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 340 566 18 0 1730 0
vsize: 6992
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 366 0 0 0 31670 333 0 0 25 0 1 0 850850267 7159808 340 4294967295 134512640 134581267 3221224592 3221223628 1075522352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 340 566 18 0 1730 0
vsize: 6992
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 366 0 0 0 32659 344 0 0 25 0 1 0 850850267 7159808 340 4294967295 134512640 134581267 3221224592 3221223504 134531403 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 340 566 18 0 1730 0
vsize: 6992
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 366 0 0 0 33648 354 0 0 25 0 1 0 850850267 7159808 340 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 340 566 18 0 1730 0
vsize: 6992
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 366 0 0 0 34637 366 0 0 25 0 1 0 850850267 7159808 340 4294967295 134512640 134581267 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 340 566 18 0 1730 0
vsize: 6992
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 371 0 0 0 35625 378 0 0 25 0 1 0 850850267 7159808 345 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 345 566 18 0 1730 0
vsize: 6992
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 371 0 0 0 36616 387 0 0 25 0 1 0 850850267 7159808 345 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 345 566 18 0 1730 0
vsize: 6992
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 371 0 0 0 37606 398 0 0 25 0 1 0 850850267 7159808 345 4294967295 134512640 134581267 3221224592 3221223456 134527004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 345 566 18 0 1730 0
vsize: 6992
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 38597 406 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 39589 415 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223504 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 40581 423 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223552 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 41572 432 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 42564 440 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 43555 449 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 44545 459 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 45535 470 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 46525 479 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 47515 490 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223340 1075285154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 48507 498 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 49498 507 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223488 134517586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 50487 518 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 51477 529 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 376 0 0 0 52467 539 0 0 25 0 1 0 850850267 7159808 350 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 350 566 18 0 1730 0
vsize: 6992
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 378 0 0 0 53456 550 0 0 25 0 1 0 850850267 7159808 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 352 566 18 0 1730 0
vsize: 6992
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 380 0 0 0 54445 561 0 0 25 0 1 0 850850267 7159808 354 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 354 566 18 0 1730 0
vsize: 6992
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 388 0 0 0 55436 570 0 0 25 0 1 0 850850267 7159808 362 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 362 566 18 0 1730 0
vsize: 6992
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 388 0 0 0 56427 579 0 0 25 0 1 0 850850267 7159808 362 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 362 566 18 0 1730 0
vsize: 6992
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 388 0 0 0 57420 587 0 0 25 0 1 0 850850267 7159808 362 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 362 566 18 0 1730 0
vsize: 6992
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 388 0 0 0 58413 594 0 0 25 0 1 0 850850267 7159808 362 4294967295 134512640 134581267 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 362 566 18 0 1730 0
vsize: 6992
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 388 0 0 0 59404 603 0 0 25 0 1 0 850850267 7159808 362 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 362 566 18 0 1730 0
vsize: 6992
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 388 0 0 0 60397 610 0 0 25 0 1 0 850850267 7159808 362 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1748 362 566 18 0 1730 0
vsize: 6992
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 391 0 0 0 61388 620 0 0 25 0 1 0 850850267 7290880 365 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1780 365 566 18 0 1762 0
vsize: 7120
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 392 0 0 0 62379 629 0 0 25 0 1 0 850850267 7262208 366 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 366 566 18 0 1755 0
vsize: 7092
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 63370 638 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 64362 646 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134531373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 65353 655 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 66345 663 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 67336 672 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 68328 681 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 69320 689 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 70311 698 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 71303 706 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 72294 715 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 73284 726 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 74273 737 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223584 134560771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+760.036 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 75264 746 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+770.039 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 76254 757 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+780.04 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 77247 764 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+790.049 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 78238 774 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+800.048 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 79230 782 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+810.049 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 80223 790 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+820.049 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 81215 798 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+830.051 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 82205 808 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+840.05 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 83196 817 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+850.05 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 84187 827 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+860.051 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 85177 836 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+870.051 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 86167 846 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+880.052 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 399 0 0 0 87158 855 0 0 25 0 1 0 850850267 7262208 373 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 373 566 18 0 1755 0
vsize: 7092
[startup+890.052 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 400 0 0 0 88151 863 0 0 25 0 1 0 850850267 7262208 374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 374 566 18 0 1755 0
vsize: 7092
[startup+900.052 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 400 0 0 0 89140 874 0 0 25 0 1 0 850850267 7262208 374 4294967295 134512640 134581267 3221224592 3221223364 1075289788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 374 566 18 0 1755 0
vsize: 7092
[startup+910.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 400 0 0 0 90129 885 0 0 25 0 1 0 850850267 7262208 374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 374 566 18 0 1755 0
vsize: 7092
[startup+920.052 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 400 0 0 0 91119 895 0 0 25 0 1 0 850850267 7262208 374 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 374 566 18 0 1755 0
vsize: 7092
[startup+930.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 403 0 0 0 92111 903 0 0 25 0 1 0 850850267 7262208 377 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 377 566 18 0 1755 0
vsize: 7092
[startup+940.053 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 403 0 0 0 93102 913 0 0 25 0 1 0 850850267 7262208 377 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 377 566 18 0 1755 0
vsize: 7092
[startup+950.058 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 403 0 0 0 94093 923 0 0 25 0 1 0 850850267 7262208 377 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 377 566 18 0 1755 0
vsize: 7092
[startup+960.058 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 403 0 0 0 95083 932 0 0 25 0 1 0 850850267 7262208 377 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 377 566 18 0 1755 0
vsize: 7092
[startup+970.062 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 403 0 0 0 96071 945 0 0 25 0 1 0 850850267 7262208 377 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 377 566 18 0 1755 0
vsize: 7092
[startup+980.063 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 403 0 0 0 97062 955 0 0 25 0 1 0 850850267 7262208 377 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 377 566 18 0 1755 0
vsize: 7092
[startup+990.063 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 98050 966 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 99043 974 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 100034 983 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 101026 991 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223456 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 102018 1000 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 103008 1010 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223504 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 103998 1020 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 104989 1029 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 105981 1037 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 106973 1045 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223504 134527605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 107964 1055 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 108956 1063 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 109947 1072 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 406 0 0 0 110939 1081 0 0 25 0 1 0 850850267 7262208 380 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 380 566 18 0 1755 0
vsize: 7092
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 409 0 0 0 111930 1090 0 0 25 0 1 0 850850267 7262208 383 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 383 566 18 0 1755 0
vsize: 7092
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 409 0 0 0 112923 1096 0 0 25 0 1 0 850850267 7262208 383 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 383 566 18 0 1755 0
vsize: 7092
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 409 0 0 0 113914 1106 0 0 25 0 1 0 850850267 7262208 383 4294967295 134512640 134581267 3221224592 3221223520 134558718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 383 566 18 0 1755 0
vsize: 7092
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 409 0 0 0 114905 1115 0 0 25 0 1 0 850850267 7262208 383 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 383 566 18 0 1755 0
vsize: 7092
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 409 0 0 0 115897 1123 0 0 25 0 1 0 850850267 7262208 383 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 383 566 18 0 1755 0
vsize: 7092
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 409 0 0 0 116889 1132 0 0 25 0 1 0 850850267 7262208 383 4294967295 134512640 134581267 3221224592 3221223280 1075288334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 383 566 18 0 1755 0
vsize: 7092
[startup+1188.86 s]
Raw data (loadavg): 1.00 0.99 0.96 1/53 11235
Raw data (stat): 11235 (Pueblo-v2) R 11234 20224 20223 0 -1 0 409 0 0 0 116889 1132 0 0 25 0 1 0 850850267 7262208 383 4294967295 134512640 134581267 3221224592 3221223280 1075288334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1773 383 566 18 0 1755 0
vsize: 0

Child status: 10
Real time (s): 1188.86
CPU time (s): 1189
CPU user time (s): 1177.61
CPU system time (s): 11.3903
CPU usage (%): 100.012
Max. virtual memory (Kb): 7120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####