PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM	0493ba9e257fafbb54efa7af2eeb7bf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1567
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	5699
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	5699
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.134979
Number of variables	133
Total number of constraints	229
Number of constraints which are clauses	229
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	1
Maximum length of a constraint	31
Trace number 24395

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 01:16:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2257 boxname=wulflinc31 idbench=251 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  0493ba9e257fafbb54efa7af2eeb7bf2  /oldhome/oroussel/tmp/wulflinc31/normalized-cc.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-cc.opb
IDLAUNCH: 2257
/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:        242120 kB
Buffers:         45476 kB
Cached:         713100 kB
SwapCached:        644 kB
Active:         364292 kB
Inactive:       396628 kB
HighTotal:      131008 kB
HighFree:        23800 kB
LowTotal:       903652 kB
LowFree:        218320 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25880 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 01:36:06 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 2257 0 1189.03 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-cc.opb
c #variables read: 133 - #constraints read: 201
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 
#### 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.97 0.91 2/54 5803
Raw data (stat): 5803 (runsolver) R 5802 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 705212534 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.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 294 0 0 0 977 20 0 0 25 0 1 0 705212534 6832128 271 4294967295 134512640 134581331 3221221808 3221220688 134520322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 271 566 18 0 1650 0
vsize: 6672
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 301 0 0 0 1958 40 0 0 25 0 1 0 705212534 6832128 278 4294967295 134512640 134581331 3221221808 3221220736 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 278 566 18 0 1650 0
vsize: 6672
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 303 0 0 0 2938 59 0 0 25 0 1 0 705212534 6832128 280 4294967295 134512640 134581331 3221221808 3221220692 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 309 0 0 0 3923 74 0 0 25 0 1 0 705212534 6959104 286 4294967295 134512640 134581331 3221221808 3221220736 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 286 566 18 0 1681 0
vsize: 6796
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 309 0 0 0 4903 94 0 0 25 0 1 0 705212534 6959104 286 4294967295 134512640 134581331 3221221808 3221220752 134559473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 286 566 18 0 1681 0
vsize: 6796
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 313 0 0 0 5885 112 0 0 25 0 1 0 705212534 6959104 290 4294967295 134512640 134581331 3221221808 3221220596 1074910621 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 290 566 18 0 1681 0
vsize: 6796
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 315 0 0 0 6868 129 0 0 25 0 1 0 705212534 6959104 292 4294967295 134512640 134581331 3221221808 3221220908 1075422406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 292 566 18 0 1681 0
vsize: 6796
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 320 0 0 0 7848 149 0 0 25 0 1 0 705212534 6959104 297 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 297 566 18 0 1681 0
vsize: 6796
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 322 0 0 0 8829 168 0 0 25 0 1 0 705212534 6959104 299 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 299 566 18 0 1681 0
vsize: 6796
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 324 0 0 0 9813 184 0 0 25 0 1 0 705212534 6959104 301 4294967295 134512640 134581331 3221221808 3221220672 134528518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 301 566 18 0 1681 0
vsize: 6796
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 324 0 0 0 10795 202 0 0 25 0 1 0 705212534 6959104 301 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 301 566 18 0 1681 0
vsize: 6796
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 328 0 0 0 11775 222 0 0 25 0 1 0 705212534 6959104 305 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 305 566 18 0 1681 0
vsize: 6796
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 329 0 0 0 12756 241 0 0 25 0 1 0 705212534 6959104 306 4294967295 134512640 134581331 3221221808 3221220688 134520244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1699 306 566 18 0 1681 0
vsize: 6796
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 330 0 0 0 13741 256 0 0 25 0 1 0 705212534 6959104 307 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 307 566 18 0 1681 0
vsize: 6796
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 330 0 0 0 14727 270 0 0 25 0 1 0 705212534 6959104 307 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 307 566 18 0 1681 0
vsize: 6796
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 331 0 0 0 15709 289 0 0 25 0 1 0 705212534 6959104 308 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 308 566 18 0 1681 0
vsize: 6796
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 333 0 0 0 16692 306 0 0 25 0 1 0 705212534 6959104 310 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 310 566 18 0 1681 0
vsize: 6796
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 335 0 0 0 17674 324 0 0 25 0 1 0 705212534 6959104 312 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 312 566 18 0 1681 0
vsize: 6796
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 336 0 0 0 18657 341 0 0 25 0 1 0 705212534 6959104 313 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 313 566 18 0 1681 0
vsize: 6796
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 336 0 0 0 19643 356 0 0 25 0 1 0 705212534 6959104 313 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 313 566 18 0 1681 0
vsize: 6796
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 337 0 0 0 20628 371 0 0 25 0 1 0 705212534 6959104 314 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 314 566 18 0 1681 0
vsize: 6796
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 337 0 0 0 21612 387 0 0 25 0 1 0 705212534 6959104 314 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1699 314 566 18 0 1681 0
vsize: 6796
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 339 0 0 0 22595 404 0 0 25 0 1 0 705212534 7077888 316 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 339 0 0 0 23580 419 0 0 25 0 1 0 705212534 7077888 316 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 339 0 0 0 24566 434 0 0 25 0 1 0 705212534 7077888 316 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 340 0 0 0 25548 452 0 0 25 0 1 0 705212534 7077888 317 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 340 0 0 0 26528 471 0 0 25 0 1 0 705212534 7077888 317 4294967295 134512640 134581331 3221221808 3221220880 134531401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 340 0 0 0 27512 488 0 0 25 0 1 0 705212534 7077888 317 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 340 0 0 0 28493 507 0 0 25 0 1 0 705212534 7077888 317 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 340 0 0 0 29475 525 0 0 25 0 1 0 705212534 7077888 317 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 341 0 0 0 30457 543 0 0 25 0 1 0 705212534 7077888 318 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 341 0 0 0 31437 563 0 0 25 0 1 0 705212534 7077888 318 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 341 0 0 0 32417 584 0 0 25 0 1 0 705212534 7077888 318 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 341 0 0 0 33398 602 0 0 25 0 1 0 705212534 7077888 318 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 342 0 0 0 34379 622 0 0 25 0 1 0 705212534 7077888 319 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 319 566 18 0 1710 0
vsize: 6912
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 345 0 0 0 35362 639 0 0 25 0 1 0 705212534 7077888 322 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 322 566 18 0 1710 0
vsize: 6912
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 346 0 0 0 36345 656 0 0 25 0 1 0 705212534 7077888 323 4294967295 134512640 134581331 3221221808 3221220656 134528554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 346 0 0 0 37330 671 0 0 25 0 1 0 705212534 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+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 349 0 0 0 38313 689 0 0 25 0 1 0 705212534 7077888 326 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 326 566 18 0 1710 0
vsize: 6912
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 349 0 0 0 39298 704 0 0 25 0 1 0 705212534 7077888 326 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 326 566 18 0 1710 0
vsize: 6912
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 349 0 0 0 40281 721 0 0 25 0 1 0 705212534 7077888 326 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 326 566 18 0 1710 0
vsize: 6912
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 349 0 0 0 41266 736 0 0 25 0 1 0 705212534 7077888 326 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 326 566 18 0 1710 0
vsize: 6912
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 349 0 0 0 42252 750 0 0 25 0 1 0 705212534 7077888 326 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 326 566 18 0 1710 0
vsize: 6912
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 350 0 0 0 43239 764 0 0 25 0 1 0 705212534 7077888 327 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 327 566 18 0 1710 0
vsize: 6912
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 351 0 0 0 44222 780 0 0 25 0 1 0 705212534 7077888 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 328 566 18 0 1710 0
vsize: 6912
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 351 0 0 0 45205 797 0 0 25 0 1 0 705212534 7077888 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 328 566 18 0 1710 0
vsize: 6912
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 352 0 0 0 46190 812 0 0 25 0 1 0 705212534 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+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 352 0 0 0 47175 828 0 0 25 0 1 0 705212534 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+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 353 0 0 0 48161 842 0 0 25 0 1 0 705212534 7077888 330 4294967295 134512640 134581331 3221221808 3221220736 134519968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 330 566 18 0 1710 0
vsize: 6912
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 354 0 0 0 49145 858 0 0 25 0 1 0 705212534 7077888 331 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 331 566 18 0 1710 0
vsize: 6912
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 354 0 0 0 50130 873 0 0 25 0 1 0 705212534 7077888 331 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 331 566 18 0 1710 0
vsize: 6912
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 354 0 0 0 51115 888 0 0 25 0 1 0 705212534 7077888 331 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 331 566 18 0 1710 0
vsize: 6912
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 354 0 0 0 52101 903 0 0 25 0 1 0 705212534 7077888 331 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 331 566 18 0 1710 0
vsize: 6912
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 354 0 0 0 53080 924 0 0 25 0 1 0 705212534 7077888 331 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 331 566 18 0 1710 0
vsize: 6912
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 354 0 0 0 54060 944 0 0 25 0 1 0 705212534 7077888 331 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 331 566 18 0 1710 0
vsize: 6912
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 354 0 0 0 55043 962 0 0 25 0 1 0 705212534 7077888 331 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 331 566 18 0 1710 0
vsize: 6912
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 355 0 0 0 56023 982 0 0 25 0 1 0 705212534 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+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 355 0 0 0 57002 1003 0 0 25 0 1 0 705212534 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+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 357 0 0 0 57984 1021 0 0 25 0 1 0 705212534 7077888 334 4294967295 134512640 134581331 3221221808 3221220692 134557830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 334 566 18 0 1710 0
vsize: 6912
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 357 0 0 0 58968 1037 0 0 25 0 1 0 705212534 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+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 359 0 0 0 59950 1055 0 0 25 0 1 0 705212534 7077888 336 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 336 566 18 0 1710 0
vsize: 6912
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 359 0 0 0 60931 1074 0 0 25 0 1 0 705212534 7077888 336 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 336 566 18 0 1710 0
vsize: 6912
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 359 0 0 0 61911 1094 0 0 25 0 1 0 705212534 7077888 336 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 336 566 18 0 1710 0
vsize: 6912
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 360 0 0 0 62891 1115 0 0 25 0 1 0 705212534 7077888 337 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 337 566 18 0 1710 0
vsize: 6912
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 361 0 0 0 63872 1134 0 0 25 0 1 0 705212534 7077888 338 4294967295 134512640 134581331 3221221808 3221220672 134560503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 338 566 18 0 1710 0
vsize: 6912
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 362 0 0 0 64853 1153 0 0 25 0 1 0 705212534 7077888 339 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 339 566 18 0 1710 0
vsize: 6912
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 362 0 0 0 65833 1173 0 0 25 0 1 0 705212534 7077888 339 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 339 566 18 0 1710 0
vsize: 6912
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 362 0 0 0 66813 1193 0 0 25 0 1 0 705212534 7077888 339 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 339 566 18 0 1710 0
vsize: 6912
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 363 0 0 0 67793 1213 0 0 25 0 1 0 705212534 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+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 366 0 0 0 68775 1232 0 0 25 0 1 0 705212534 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+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 366 0 0 0 69754 1252 0 0 25 0 1 0 705212534 7077888 343 4294967295 134512640 134581331 3221221808 3221220692 134558014 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 343 566 18 0 1710 0
vsize: 6912
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 366 0 0 0 70737 1271 0 0 25 0 1 0 705212534 7077888 343 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 343 566 18 0 1710 0
vsize: 6912
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 367 0 0 0 71715 1292 0 0 25 0 1 0 705212534 7077888 344 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 344 566 18 0 1710 0
vsize: 6912
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 367 0 0 0 72696 1312 0 0 25 0 1 0 705212534 7077888 344 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 344 566 18 0 1710 0
vsize: 6912
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 367 0 0 0 73673 1335 0 0 25 0 1 0 705212534 7077888 344 4294967295 134512640 134581331 3221221808 3221220680 134558257 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 344 566 18 0 1710 0
vsize: 6912
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 367 0 0 0 74654 1354 0 0 25 0 1 0 705212534 7077888 344 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 344 566 18 0 1710 0
vsize: 6912
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 368 0 0 0 75635 1373 0 0 25 0 1 0 705212534 7200768 345 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 345 566 18 0 1740 0
vsize: 7032
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 368 0 0 0 76615 1393 0 0 25 0 1 0 705212534 7200768 345 4294967295 134512640 134581331 3221221808 3221220752 134559174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 345 566 18 0 1740 0
vsize: 7032
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 368 0 0 0 77598 1410 0 0 25 0 1 0 705212534 7200768 345 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 345 566 18 0 1740 0
vsize: 7032
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 368 0 0 0 78579 1430 0 0 25 0 1 0 705212534 7200768 345 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 345 566 18 0 1740 0
vsize: 7032
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 369 0 0 0 79557 1452 0 0 25 0 1 0 705212534 7200768 346 4294967295 134512640 134581331 3221221808 3221220688 134560556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 346 566 18 0 1740 0
vsize: 7032
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 369 0 0 0 80538 1471 0 0 25 0 1 0 705212534 7200768 346 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 346 566 18 0 1740 0
vsize: 7032
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 369 0 0 0 81518 1492 0 0 25 0 1 0 705212534 7200768 346 4294967295 134512640 134581331 3221221808 3221220592 134528732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 346 566 18 0 1740 0
vsize: 7032
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 371 0 0 0 82497 1512 0 0 25 0 1 0 705212534 7200768 348 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 348 566 18 0 1740 0
vsize: 7032
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 371 0 0 0 83476 1533 0 0 25 0 1 0 705212534 7200768 348 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 348 566 18 0 1740 0
vsize: 7032
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 372 0 0 0 84453 1556 0 0 25 0 1 0 705212534 7200768 349 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 349 566 18 0 1740 0
vsize: 7032
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 372 0 0 0 85432 1578 0 0 25 0 1 0 705212534 7200768 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 349 566 18 0 1740 0
vsize: 7032
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 372 0 0 0 86413 1597 0 0 25 0 1 0 705212534 7200768 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 349 566 18 0 1740 0
vsize: 7032
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 372 0 0 0 87393 1617 0 0 25 0 1 0 705212534 7200768 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 349 566 18 0 1740 0
vsize: 7032
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 372 0 0 0 88371 1639 0 0 25 0 1 0 705212534 7200768 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 349 566 18 0 1740 0
vsize: 7032
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 373 0 0 0 89352 1659 0 0 25 0 1 0 705212534 7200768 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 350 566 18 0 1740 0
vsize: 7032
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 373 0 0 0 90334 1677 0 0 25 0 1 0 705212534 7200768 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 350 566 18 0 1740 0
vsize: 7032
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 373 0 0 0 91314 1697 0 0 25 0 1 0 705212534 7200768 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 350 566 18 0 1740 0
vsize: 7032
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 373 0 0 0 92294 1717 0 0 25 0 1 0 705212534 7200768 350 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 350 566 18 0 1740 0
vsize: 7032
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 377 0 0 0 93271 1741 0 0 25 0 1 0 705212534 7200768 354 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 354 566 18 0 1740 0
vsize: 7032
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 377 0 0 0 94253 1759 0 0 25 0 1 0 705212534 7200768 354 4294967295 134512640 134581331 3221221808 3221220672 134528372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 354 566 18 0 1740 0
vsize: 7032
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 377 0 0 0 95234 1778 0 0 25 0 1 0 705212534 7200768 354 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 354 566 18 0 1740 0
vsize: 7032
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 378 0 0 0 96216 1797 0 0 25 0 1 0 705212534 7200768 355 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 355 566 18 0 1740 0
vsize: 7032
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 378 0 0 0 97199 1814 0 0 25 0 1 0 705212534 7200768 355 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 355 566 18 0 1740 0
vsize: 7032
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 378 0 0 0 98179 1834 0 0 25 0 1 0 705212534 7200768 355 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 355 566 18 0 1740 0
vsize: 7032
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 378 0 0 0 99158 1854 0 0 25 0 1 0 705212534 7200768 355 4294967295 134512640 134581331 3221221808 3221220580 1075291136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 355 566 18 0 1740 0
vsize: 7032
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 100139 1874 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 101119 1894 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 102100 1913 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 103080 1933 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220592 134528767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 104060 1954 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 105041 1972 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 106024 1990 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 107006 2008 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220864 134556137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 107986 2027 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 108968 2046 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220672 134528278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 109947 2067 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 110926 2088 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220672 134560381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 379 0 0 0 111905 2109 0 0 25 0 1 0 705212534 7200768 356 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 356 566 18 0 1740 0
vsize: 7032
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 380 0 0 0 112883 2131 0 0 25 0 1 0 705212534 7200768 357 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 357 566 18 0 1740 0
vsize: 7032
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 380 0 0 0 113861 2153 0 0 25 0 1 0 705212534 7200768 357 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 357 566 18 0 1740 0
vsize: 7032
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 380 0 0 0 114843 2171 0 0 25 0 1 0 705212534 7200768 357 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 357 566 18 0 1740 0
vsize: 7032
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 380 0 0 0 115822 2193 0 0 25 0 1 0 705212534 7200768 357 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 357 566 18 0 1740 0
vsize: 7032
[startup+1188.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5803
Raw data (stat): 5803 (Pueblo) R 5802 7876 7672 0 -1 0 380 0 0 0 115822 2193 0 0 25 0 1 0 705212534 7200768 357 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1758 357 566 18 0 1740 0
vsize: 0

Child status: 10
Real time (s): 1188.91
CPU time (s): 1189.03
CPU user time (s): 1166.91
CPU system time (s): 22.1176
CPU usage (%): 100.01
Max. virtual memory (Kb): 7032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1606
#### END VERIFIER DATA ####