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 25125

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 00:12:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5155 boxname=wulflinc31 idbench=397 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-p0201.opb
IDLAUNCH: 5155
/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:        766340 kB
Buffers:         51876 kB
Cached:         187232 kB
SwapCached:       1952 kB
Active:         202692 kB
Inactive:        45364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        766088 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14612 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 00:32:33 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5155 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/wulflinc31/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
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (runsolver) R 18798 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 765318136 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.0009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 360 0 0 0 991 6 0 0 25 0 1 0 765318136 7102464 337 4294967295 134512640 134581331 3221221808 3221219504 134532824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1734 337 566 18 0 1716 0
vsize: 6936
[startup+20.0019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 373 0 0 0 1987 9 0 0 25 0 1 0 765318136 7102464 350 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1734 350 566 18 0 1716 0
vsize: 6936
[startup+30.0032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 375 0 0 0 2983 14 0 0 25 0 1 0 765318136 7233536 352 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 352 566 18 0 1748 0
vsize: 7064
[startup+40.0038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 386 0 0 0 3979 18 0 0 25 0 1 0 765318136 7233536 363 4294967295 134512640 134581331 3221221808 3221220672 134528638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 363 566 18 0 1748 0
vsize: 7064
[startup+50.0037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 391 0 0 0 4975 22 0 0 25 0 1 0 765318136 7233536 368 4294967295 134512640 134581331 3221221808 3221220720 134528074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 368 566 18 0 1748 0
vsize: 7064
[startup+60.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 395 0 0 0 5971 26 0 0 25 0 1 0 765318136 7233536 372 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+70.0045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 401 0 0 0 6969 29 0 0 25 0 1 0 765318136 7233536 378 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 378 566 18 0 1748 0
vsize: 7064
[startup+80.0059 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 401 0 0 0 7964 33 0 0 25 0 1 0 765318136 7233536 378 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 378 566 18 0 1748 0
vsize: 7064
[startup+90.0069 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 407 0 0 0 8961 37 0 0 25 0 1 0 765318136 7364608 384 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1798 384 566 18 0 1780 0
vsize: 7192
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 430 0 0 0 9958 40 0 0 25 0 1 0 765318136 7340032 407 4294967295 134512640 134581331 3221221808 3221220692 134557930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 407 566 18 0 1774 0
vsize: 7168
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 430 0 0 0 10954 44 0 0 25 0 1 0 765318136 7340032 407 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 407 566 18 0 1774 0
vsize: 7168
[startup+120.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 430 0 0 0 11950 48 0 0 25 0 1 0 765318136 7340032 407 4294967295 134512640 134581331 3221221808 3221220736 134519937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 407 566 18 0 1774 0
vsize: 7168
[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 430 0 0 0 12948 51 0 0 25 0 1 0 765318136 7340032 407 4294967295 134512640 134581331 3221221808 3221220752 134559476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 407 566 18 0 1774 0
vsize: 7168
[startup+140.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 430 0 0 0 13945 54 0 0 25 0 1 0 765318136 7340032 407 4294967295 134512640 134581331 3221221808 3221220720 134527824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 407 566 18 0 1774 0
vsize: 7168
[startup+150.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 430 0 0 0 14942 56 0 0 25 0 1 0 765318136 7340032 407 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 407 566 18 0 1774 0
vsize: 7168
[startup+160.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 430 0 0 0 15940 59 0 0 25 0 1 0 765318136 7340032 407 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 407 566 18 0 1774 0
vsize: 7168
[startup+170.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 431 0 0 0 16936 63 0 0 25 0 1 0 765318136 7340032 408 4294967295 134512640 134581331 3221221808 3221220704 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1792 408 566 18 0 1774 0
vsize: 7168
[startup+180.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 441 0 0 0 17934 66 0 0 25 0 1 0 765318136 7450624 418 4294967295 134512640 134581331 3221221808 3221220736 134519939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 418 566 18 0 1801 0
vsize: 7276
[startup+190.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 445 0 0 0 18932 68 0 0 25 0 1 0 765318136 7450624 422 4294967295 134512640 134581331 3221221808 3221220720 134527658 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 422 566 18 0 1801 0
vsize: 7276
[startup+200.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 19930 70 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220784 134560807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+210.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 20928 72 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+220.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 21926 74 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+230.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 22923 77 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+240.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 23920 80 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+250.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 24917 83 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220444 1075288765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+260.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 25915 86 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+270.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 26913 88 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220496 1075289377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+280.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 27911 91 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+290.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 28908 94 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220688 134520219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+300.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 29906 96 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+310.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 30903 99 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+320.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 31901 101 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+330.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 32898 105 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+340.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 33896 107 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+350.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 34893 109 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+360.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 35891 112 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+370.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 36889 114 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+380.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 37887 117 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220784 134560800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+390.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 38885 119 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220704 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+400.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 39882 121 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+410.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 40880 124 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+420.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 41877 127 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220672 134528516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+430.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 42874 130 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+440.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 43873 132 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220784 134560826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+450.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 44870 134 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+460.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 45868 136 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220496 1075289393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+470.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 46866 139 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+480.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 47863 142 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220672 134560334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+490.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 448 0 0 0 48862 143 0 0 25 0 1 0 765318136 7450624 425 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 425 566 18 0 1801 0
vsize: 7276
[startup+500.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 449 0 0 0 49860 145 0 0 25 0 1 0 765318136 7450624 426 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1819 426 566 18 0 1801 0
vsize: 7276
[startup+510.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 50857 148 0 0 25 0 1 0 765318136 7528448 440 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1838 440 566 18 0 1820 0
vsize: 7352
[startup+520.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 51855 150 0 0 25 0 1 0 765318136 7528448 440 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1838 440 566 18 0 1820 0
vsize: 7352
[startup+530.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 52854 152 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+540.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 53852 154 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+550.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 54851 155 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+560.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 55848 158 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+570.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 56848 159 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+580.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 57846 160 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+590.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 58844 163 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220688 134520297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+600.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 59841 165 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+610.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 60840 167 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+620.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 61838 169 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+630.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 62836 171 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+640.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 63834 173 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+650.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 64831 177 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+660.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 65827 181 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220716 134528050 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+670.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 66825 183 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+680.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 67823 185 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+690.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 68821 188 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+700.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 69818 190 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+710.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 70816 193 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+720.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 71814 196 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+730.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 72811 198 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+740.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 73809 200 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+750.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 74807 203 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+760.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 75806 204 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+770.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 76803 207 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+780.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 77802 208 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220784 134560795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+790.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 78801 210 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+800.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 79799 212 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+810.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 80797 214 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+820.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 81795 216 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+830.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 82791 220 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+840.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 83789 222 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220672 134526949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+850.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 84787 224 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+860.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 85785 227 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+870.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 86782 229 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220496 1075288550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+880.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 87780 231 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+890.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 88779 233 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+900.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 89776 236 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+910.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 90774 238 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+920.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 91771 241 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+930.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 92769 244 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220736 134519955 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+940.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 93766 247 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+950.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 94762 251 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+960.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 95760 253 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+970.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 96758 256 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220716 134527740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+980.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 463 0 0 0 97756 258 0 0 25 0 1 0 765318136 7483392 440 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 440 566 18 0 1809 0
vsize: 7308
[startup+990.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 465 0 0 0 98753 260 0 0 25 0 1 0 765318136 7483392 442 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 442 566 18 0 1809 0
vsize: 7308
[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 465 0 0 0 99751 263 0 0 25 0 1 0 765318136 7483392 442 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 442 566 18 0 1809 0
vsize: 7308
[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 465 0 0 0 100750 265 0 0 25 0 1 0 765318136 7483392 442 4294967295 134512640 134581331 3221221808 3221220720 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1827 442 566 18 0 1809 0
vsize: 7308
[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 472 0 0 0 101747 267 0 0 25 0 1 0 765318136 7618560 449 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1860 449 566 18 0 1842 0
vsize: 7440
[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 102744 270 0 0 25 0 1 0 765318136 7593984 451 4294967295 134512640 134581331 3221221808 3221220788 134560793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1854 451 566 18 0 1836 0
vsize: 7416
[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 103742 273 0 0 25 0 1 0 765318136 7593984 451 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1854 451 566 18 0 1836 0
vsize: 7416
[startup+1050.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 104740 275 0 0 25 0 1 0 765318136 7593984 451 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1854 451 566 18 0 1836 0
vsize: 7416
[startup+1060.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 105739 277 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 106735 280 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1080.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 107734 282 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 108732 284 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1100.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 109729 287 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1110.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 110727 289 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220776 134527292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1120.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 111724 292 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1130.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 112721 295 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220720 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1140.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 113718 299 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 114716 301 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1160.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 115714 303 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220720 134527355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1170.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 116711 306 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220692 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1180.06 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 117709 309 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220796 134560816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 7376
[startup+1188.89 s]
Raw data (loadavg): 0.99 1.00 0.99 1/54 18799
Raw data (stat): 18799 (Pueblo) R 18798 7876 7672 0 -1 0 474 0 0 0 117709 309 0 0 25 0 1 0 765318136 7553024 451 4294967295 134512640 134581331 3221221808 3221220796 134560816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 451 566 18 0 1826 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.01
CPU user time (s): 1185.9
CPU system time (s): 3.11253
CPU usage (%): 100.011
Max. virtual memory (Kb): 7440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####