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-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 25075

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 13:31:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5025 boxname=wulflinc31 idbench=387 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
IDLAUNCH: 5025
/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:        793356 kB
Buffers:         49168 kB
Cached:         170084 kB
SwapCached:       1952 kB
Active:         178376 kB
Inactive:        44104 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        793104 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13220 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 13:51:01 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 5025 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-lseu.opb
c #variables read: 89 - #constraints read: 29
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 
#### 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.93 0.98 0.99 1/55 13400
Raw data (stat): 13400 (runsolver) R 13399 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 761468443 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 298 0 0 0 983 13 0 0 25 0 1 0 761468443 6832128 275 4294967295 134512640 134581331 3221221808 3221220720 134527670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 275 566 18 0 1650 0
vsize: 6672
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 304 0 0 0 1973 23 0 0 25 0 1 0 761468443 6832128 281 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 281 566 18 0 1650 0
vsize: 6672
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 312 0 0 0 2963 33 0 0 25 0 1 0 761468443 6963200 289 4294967295 134512640 134581331 3221221808 3221220720 134528085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 289 566 18 0 1682 0
vsize: 6800
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 312 0 0 0 3956 40 0 0 25 0 1 0 761468443 6963200 289 4294967295 134512640 134581331 3221221808 3221220672 134528510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 289 566 18 0 1682 0
vsize: 6800
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 313 0 0 0 4948 48 0 0 25 0 1 0 761468443 6963200 290 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 290 566 18 0 1682 0
vsize: 6800
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 320 0 0 0 5940 56 0 0 25 0 1 0 761468443 6963200 297 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 297 566 18 0 1682 0
vsize: 6800
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 321 0 0 0 6935 61 0 0 25 0 1 0 761468443 6963200 298 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 298 566 18 0 1682 0
vsize: 6800
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 325 0 0 0 7922 74 0 0 25 0 1 0 761468443 6963200 302 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 302 566 18 0 1682 0
vsize: 6800
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 326 0 0 0 8912 84 0 0 25 0 1 0 761468443 6963200 303 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 303 566 18 0 1682 0
vsize: 6800
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 326 0 0 0 9899 97 0 0 25 0 1 0 761468443 6963200 303 4294967295 134512640 134581331 3221221808 3221220752 134559240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 303 566 18 0 1682 0
vsize: 6800
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 327 0 0 0 10889 108 0 0 25 0 1 0 761468443 6963200 304 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 304 566 18 0 1682 0
vsize: 6800
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 329 0 0 0 11876 120 0 0 25 0 1 0 761468443 6963200 306 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 329 0 0 0 12863 133 0 0 25 0 1 0 761468443 6963200 306 4294967295 134512640 134581331 3221221808 3221220592 134528743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 334 0 0 0 13853 143 0 0 25 0 1 0 761468443 6963200 311 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 311 566 18 0 1682 0
vsize: 6800
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 339 0 0 0 14848 148 0 0 25 0 1 0 761468443 6963200 316 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 316 566 18 0 1682 0
vsize: 6800
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 340 0 0 0 15843 153 0 0 25 0 1 0 761468443 7077888 317 4294967295 134512640 134581331 3221221808 3221220720 134527554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 340 0 0 0 16838 158 0 0 25 0 1 0 761468443 7077888 317 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 340 0 0 0 17832 164 0 0 25 0 1 0 761468443 7077888 317 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 18827 169 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220720 134527683 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 19824 172 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220648 134531816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 20819 177 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220720 134527388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 21814 182 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 22810 186 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 23804 192 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220720 134527683 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 24799 197 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 341 0 0 0 25794 202 0 0 25 0 1 0 761468443 7077888 318 4294967295 134512640 134581331 3221221808 3221220672 134526896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 345 0 0 0 26789 207 0 0 25 0 1 0 761468443 7077888 322 4294967295 134512640 134581331 3221221808 3221220752 134559385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 322 566 18 0 1710 0
vsize: 6912
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 27783 214 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 28776 220 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 29770 227 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 30761 235 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 31754 242 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 32746 250 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220672 134526949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 33739 258 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220704 134517720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 34732 264 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220572 1075288331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 35725 272 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 36721 276 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 37714 283 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 38709 288 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 39705 291 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 40699 298 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 41691 306 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 42684 313 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220444 1075288351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 43678 319 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134528085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 44672 325 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 45663 333 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 46657 340 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527987 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 47649 348 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220672 134526980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 48641 355 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 49634 363 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 50625 372 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 51617 380 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 52612 385 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 53607 391 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 54600 398 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220752 134558911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 55592 406 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 56583 415 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 57573 425 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 58563 435 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 59552 446 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220672 134526952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 60542 456 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 61531 468 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+630.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 62516 483 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+640.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 63506 493 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 64498 501 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 65489 511 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 66477 522 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 67462 538 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 68453 547 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 69438 562 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 70425 575 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 71411 589 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 72402 599 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220444 1075289393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 73389 612 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 74374 627 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 75363 638 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 346 0 0 0 76349 652 0 0 25 0 1 0 761468443 7077888 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 352 0 0 0 77333 669 0 0 25 0 1 0 761468443 7077888 329 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 329 566 18 0 1710 0
vsize: 6912
[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 355 0 0 0 78323 679 0 0 25 0 1 0 761468443 7077888 332 4294967295 134512640 134581331 3221221808 3221220672 134528278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 332 566 18 0 1710 0
vsize: 6912
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 355 0 0 0 79313 689 0 0 25 0 1 0 761468443 7077888 332 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 332 566 18 0 1710 0
vsize: 6912
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 355 0 0 0 80302 700 0 0 25 0 1 0 761468443 7077888 332 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 332 566 18 0 1710 0
vsize: 6912
[startup+820.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 81291 711 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+830.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 82283 719 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+840.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 83272 730 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+850.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 84259 744 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 85245 757 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 86233 770 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 87223 780 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220720 134528085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 88213 790 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 89201 803 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 90188 816 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 91180 824 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+930.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 357 0 0 0 92172 832 0 0 25 0 1 0 761468443 7077888 334 4294967295 134512640 134581331 3221221808 3221220720 134528039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 362 0 0 0 93161 843 0 0 25 0 1 0 761468443 7077888 339 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 339 566 18 0 1710 0
vsize: 6912
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 363 0 0 0 94148 856 0 0 25 0 1 0 761468443 7077888 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 340 566 18 0 1710 0
vsize: 6912
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 363 0 0 0 95137 867 0 0 25 0 1 0 761468443 7077888 340 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 340 566 18 0 1710 0
vsize: 6912
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 363 0 0 0 96127 878 0 0 25 0 1 0 761468443 7077888 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 340 566 18 0 1710 0
vsize: 6912
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 363 0 0 0 97117 888 0 0 25 0 1 0 761468443 7077888 340 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 340 566 18 0 1710 0
vsize: 6912
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 363 0 0 0 98108 898 0 0 25 0 1 0 761468443 7077888 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 340 566 18 0 1710 0
vsize: 6912
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 364 0 0 0 99098 908 0 0 25 0 1 0 761468443 7077888 341 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 341 566 18 0 1710 0
vsize: 6912
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 364 0 0 0 100087 918 0 0 25 0 1 0 761468443 7077888 341 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 341 566 18 0 1710 0
vsize: 6912
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 364 0 0 0 101078 928 0 0 25 0 1 0 761468443 7077888 341 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 341 566 18 0 1710 0
vsize: 6912
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 364 0 0 0 102067 939 0 0 25 0 1 0 761468443 7077888 341 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 341 566 18 0 1710 0
vsize: 6912
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 364 0 0 0 103057 949 0 0 25 0 1 0 761468443 7077888 341 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 341 566 18 0 1710 0
vsize: 6912
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 104047 959 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 105036 970 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 106026 981 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 107013 994 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 108003 1004 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 108994 1013 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 109984 1024 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 110973 1034 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 111968 1040 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 365 0 0 0 112960 1048 0 0 25 0 1 0 761468443 7077888 342 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 342 566 18 0 1710 0
vsize: 6912
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 366 0 0 0 113954 1054 0 0 25 0 1 0 761468443 7077888 343 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 343 566 18 0 1710 0
vsize: 6912
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 366 0 0 0 114947 1061 0 0 25 0 1 0 761468443 7077888 343 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 343 566 18 0 1710 0
vsize: 6912
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 369 0 0 0 115940 1069 0 0 25 0 1 0 761468443 7172096 346 4294967295 134512640 134581331 3221221808 3221220704 134517924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1751 346 566 18 0 1733 0
vsize: 7004
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 369 0 0 0 116932 1076 0 0 25 0 1 0 761468443 7168000 346 4294967295 134512640 134581331 3221221808 3221220772 134527308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1750 346 566 18 0 1732 0
vsize: 7000
[startup+1188.96 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 13400
Raw data (stat): 13400 (Pueblo) R 13399 7876 7672 0 -1 0 369 0 0 0 116932 1076 0 0 25 0 1 0 761468443 7168000 346 4294967295 134512640 134581331 3221221808 3221220772 134527308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1750 346 566 18 0 1732 0
vsize: 0

Child status: 10
Real time (s): 1188.96
CPU time (s): 1189.02
CPU user time (s): 1178.19
CPU system time (s): 10.8284
CPU usage (%): 100.005
Max. virtual memory (Kb): 7004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1120
#### END VERIFIER DATA ####