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/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	54
Optimality of the best value was proved	NO
Number of terms in the objective function	225
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	225
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	225
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
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	3
Maximum length of a constraint	5
Trace number 25050

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 07:18:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4960 boxname=wulflinc31 idbench=382 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb
IDLAUNCH: 4960
/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:        800124 kB
Buffers:         48732 kB
Cached:         163740 kB
SwapCached:       1932 kB
Active:         170304 kB
Inactive:        45280 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799872 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13188 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 07:38:38 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 4960 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-g15x15.opb
c #variables read: 225 - #constraints read: 226
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 
#### 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.92 0.98 0.98 2/55 10548
Raw data (stat): 10548 (runsolver) R 10547 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 759233954 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.0004 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 432 0 0 0 992 4 0 0 25 0 1 0 759233954 7438336 409 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1816 409 566 18 0 1798 0
vsize: 7264
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 476 0 0 0 1991 5 0 0 25 0 1 0 759233954 7569408 453 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1848 453 566 18 0 1830 0
vsize: 7392
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 501 0 0 0 2990 7 0 0 25 0 1 0 759233954 7663616 478 4294967295 134512640 134581331 3221221808 3221220720 134527701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1871 478 566 18 0 1853 0
vsize: 7484
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 501 0 0 0 3988 9 0 0 25 0 1 0 759233954 7663616 478 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1871 478 566 18 0 1853 0
vsize: 7484
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 501 0 0 0 4987 10 0 0 25 0 1 0 759233954 7663616 478 4294967295 134512640 134581331 3221221808 3221220720 134527729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1871 478 566 18 0 1853 0
vsize: 7484
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 501 0 0 0 5987 10 0 0 25 0 1 0 759233954 7663616 478 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1871 478 566 18 0 1853 0
vsize: 7484
[startup+70.001 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 508 0 0 0 6986 11 0 0 25 0 1 0 759233954 7663616 485 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1871 485 566 18 0 1853 0
vsize: 7484
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 515 0 0 0 7984 13 0 0 25 0 1 0 759233954 7782400 492 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1900 492 566 18 0 1882 0
vsize: 7600
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 525 0 0 0 8983 14 0 0 25 0 1 0 759233954 7782400 502 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1900 502 566 18 0 1882 0
vsize: 7600
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 535 0 0 0 9983 15 0 0 25 0 1 0 759233954 7782400 512 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1900 512 566 18 0 1882 0
vsize: 7600
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 543 0 0 0 10982 16 0 0 25 0 1 0 759233954 7917568 520 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 520 566 18 0 1915 0
vsize: 7732
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 543 0 0 0 11981 17 0 0 25 0 1 0 759233954 7917568 520 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 520 566 18 0 1915 0
vsize: 7732
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 543 0 0 0 12981 17 0 0 25 0 1 0 759233954 7917568 520 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 520 566 18 0 1915 0
vsize: 7732
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 545 0 0 0 13980 19 0 0 25 0 1 0 759233954 7917568 522 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 522 566 18 0 1915 0
vsize: 7732
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 546 0 0 0 14979 19 0 0 25 0 1 0 759233954 7917568 523 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 523 566 18 0 1915 0
vsize: 7732
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 561 0 0 0 15978 21 0 0 25 0 1 0 759233954 7917568 538 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 538 566 18 0 1915 0
vsize: 7732
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 561 0 0 0 16977 22 0 0 25 0 1 0 759233954 7917568 538 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 538 566 18 0 1915 0
vsize: 7732
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 561 0 0 0 17976 23 0 0 25 0 1 0 759233954 7917568 538 4294967295 134512640 134581331 3221221808 3221220592 134528904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 538 566 18 0 1915 0
vsize: 7732
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 561 0 0 0 18975 25 0 0 25 0 1 0 759233954 7917568 538 4294967295 134512640 134581331 3221221808 3221220528 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 538 566 18 0 1915 0
vsize: 7732
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 566 0 0 0 19974 26 0 0 25 0 1 0 759233954 7917568 543 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 543 566 18 0 1915 0
vsize: 7732
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 566 0 0 0 20973 27 0 0 25 0 1 0 759233954 7917568 543 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 543 566 18 0 1915 0
vsize: 7732
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 566 0 0 0 21972 28 0 0 25 0 1 0 759233954 7917568 543 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1933 543 566 18 0 1915 0
vsize: 7732
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 578 0 0 0 22970 30 0 0 25 0 1 0 759233954 8052736 555 4294967295 134512640 134581331 3221221808 3221220692 134557807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1966 555 566 18 0 1948 0
vsize: 7864
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 589 0 0 0 23969 32 0 0 25 0 1 0 759233954 8052736 566 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1966 566 566 18 0 1948 0
vsize: 7864
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 589 0 0 0 24968 32 0 0 25 0 1 0 759233954 8052736 566 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1966 566 566 18 0 1948 0
vsize: 7864
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 598 0 0 0 25967 33 0 0 25 0 1 0 759233954 8052736 575 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1966 575 566 18 0 1948 0
vsize: 7864
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 598 0 0 0 26967 34 0 0 25 0 1 0 759233954 8052736 575 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1966 575 566 18 0 1948 0
vsize: 7864
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 27967 34 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220692 134557932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 28966 35 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 29965 37 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220528 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 30964 37 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 31964 38 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220672 134528270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 32964 38 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 33962 40 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 34961 41 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 607 0 0 0 35961 42 0 0 25 0 1 0 759233954 8171520 584 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1995 584 566 18 0 1977 0
vsize: 7980
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 616 0 0 0 36960 43 0 0 25 0 1 0 759233954 8167424 593 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 593 566 18 0 1976 0
vsize: 7976
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 616 0 0 0 37959 44 0 0 25 0 1 0 759233954 8167424 593 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 593 566 18 0 1976 0
vsize: 7976
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 38958 45 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220528 134523183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 39957 46 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 40956 47 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 41956 48 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 42955 48 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 43955 49 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 44954 50 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 45953 51 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 46952 52 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 47952 53 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 48951 53 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220480 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 49951 54 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220776 134527301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 50950 55 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 51949 56 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 52949 57 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 53948 57 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220704 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 54948 58 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 55947 59 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 56947 59 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 620 0 0 0 57946 60 0 0 25 0 1 0 759233954 8167424 597 4294967295 134512640 134581331 3221221808 3221220720 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 597 566 18 0 1976 0
vsize: 7976
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 641 0 0 0 58946 61 0 0 25 0 1 0 759233954 8302592 618 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2027 618 566 18 0 2009 0
vsize: 8108
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 641 0 0 0 59945 62 0 0 25 0 1 0 759233954 8302592 618 4294967295 134512640 134581331 3221221808 3221220720 134527780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2027 618 566 18 0 2009 0
vsize: 8108
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 650 0 0 0 60945 62 0 0 25 0 1 0 759233954 8302592 627 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2027 627 566 18 0 2009 0
vsize: 8108
[startup+620.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 654 0 0 0 61944 63 0 0 25 0 1 0 759233954 8302592 631 4294967295 134512640 134581331 3221221808 3221220620 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2027 631 566 18 0 2009 0
vsize: 8108
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 661 0 0 0 62944 63 0 0 25 0 1 0 759233954 8302592 638 4294967295 134512640 134581331 3221221808 3221220720 134527701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 672 0 0 0 63944 64 0 0 25 0 1 0 759233954 8437760 649 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 649 566 18 0 2042 0
vsize: 8240
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 688 0 0 0 64944 64 0 0 25 0 1 0 759233954 8437760 665 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 665 566 18 0 2042 0
vsize: 8240
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 688 0 0 0 65943 65 0 0 25 0 1 0 759233954 8437760 665 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 665 566 18 0 2042 0
vsize: 8240
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 693 0 0 0 66943 65 0 0 25 0 1 0 759233954 8437760 670 4294967295 134512640 134581331 3221221808 3221220672 134528248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 670 566 18 0 2042 0
vsize: 8240
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 693 0 0 0 67943 66 0 0 25 0 1 0 759233954 8437760 670 4294967295 134512640 134581331 3221221808 3221220720 134528085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 670 566 18 0 2042 0
vsize: 8240
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 693 0 0 0 68942 67 0 0 25 0 1 0 759233954 8437760 670 4294967295 134512640 134581331 3221221808 3221220720 134527718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 670 566 18 0 2042 0
vsize: 8240
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 693 0 0 0 69941 68 0 0 25 0 1 0 759233954 8437760 670 4294967295 134512640 134581331 3221221808 3221220676 1075285583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 670 566 18 0 2042 0
vsize: 8240
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 693 0 0 0 70941 68 0 0 25 0 1 0 759233954 8437760 670 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2060 670 566 18 0 2042 0
vsize: 8240
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 71940 69 0 0 25 0 1 0 759233954 8572928 680 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2093 680 566 18 0 2075 0
vsize: 8372
[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 72940 70 0 0 25 0 1 0 759233954 8572928 680 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2093 680 566 18 0 2075 0
vsize: 8372
[startup+740.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 73939 70 0 0 25 0 1 0 759233954 8572928 680 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2093 680 566 18 0 2075 0
vsize: 8372
[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 74939 70 0 0 25 0 1 0 759233954 8556544 680 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2089 680 566 18 0 2071 0
vsize: 8356
[startup+760.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 75939 71 0 0 25 0 1 0 759233954 8556544 680 4294967295 134512640 134581331 3221221808 3221220784 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2089 680 566 18 0 2071 0
vsize: 8356
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 76938 72 0 0 25 0 1 0 759233954 8556544 680 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2089 680 566 18 0 2071 0
vsize: 8356
[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 77937 73 0 0 25 0 1 0 759233954 8556544 680 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2089 680 566 18 0 2071 0
vsize: 8356
[startup+790.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 78937 73 0 0 25 0 1 0 759233954 8548352 680 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2087 680 566 18 0 2069 0
vsize: 8348
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 79937 74 0 0 25 0 1 0 759233954 8540160 680 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 680 566 18 0 2067 0
vsize: 8340
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 80936 75 0 0 25 0 1 0 759233954 8540160 680 4294967295 134512640 134581331 3221221808 3221220720 134528077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 680 566 18 0 2067 0
vsize: 8340
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 81936 75 0 0 25 0 1 0 759233954 8540160 680 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 680 566 18 0 2067 0
vsize: 8340
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 82936 75 0 0 25 0 1 0 759233954 8540160 680 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 680 566 18 0 2067 0
vsize: 8340
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 83935 76 0 0 25 0 1 0 759233954 8540160 680 4294967295 134512640 134581331 3221221808 3221220772 134519893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 680 566 18 0 2067 0
vsize: 8340
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 84934 77 0 0 25 0 1 0 759233954 8540160 680 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 680 566 18 0 2067 0
vsize: 8340
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 703 0 0 0 85933 79 0 0 25 0 1 0 759233954 8540160 680 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 680 566 18 0 2067 0
vsize: 8340
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 86932 80 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220528 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 87932 81 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 88932 81 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+900.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 89931 81 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220528 134522609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+910.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 90931 82 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 91930 83 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 92930 83 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 93929 84 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 94929 84 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+960.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 95929 85 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220720 134527355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 96928 86 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 97927 87 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 704 0 0 0 98926 88 0 0 25 0 1 0 759233954 8540160 681 4294967295 134512640 134581331 3221221808 3221220528 134522581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 681 566 18 0 2067 0
vsize: 8340
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 99926 89 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 100925 90 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 101924 91 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 102923 92 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 103923 93 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 104922 93 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 105922 94 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 106921 95 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 107921 95 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 108920 96 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220672 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 109919 97 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220444 1075288811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 110919 98 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 111919 98 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 112918 99 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 113918 99 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 114917 100 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 708 0 0 0 115917 101 0 0 25 0 1 0 759233954 8540160 685 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 685 566 18 0 2067 0
vsize: 8340
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 709 0 0 0 116916 101 0 0 25 0 1 0 759233954 8540160 686 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 686 566 18 0 2067 0
vsize: 8340
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 709 0 0 0 117916 102 0 0 25 0 1 0 759233954 8540160 686 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 686 566 18 0 2067 0
vsize: 8340
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.98 0.98 1/54 10548
Raw data (stat): 10548 (Pueblo) R 10547 7876 7672 0 -1 0 709 0 0 0 117916 102 0 0 25 0 1 0 759233954 8540160 686 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2085 686 566 18 0 2067 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1187.98
CPU system time (s): 1.03784
CPU usage (%): 100.013
Max. virtual memory (Kb): 8372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	59
#### END VERIFIER DATA ####