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 38455

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670620 kB
Buffers:         34268 kB
Cached:         305840 kB
SwapCached:        640 kB
Active:          67896 kB
Inactive:       274432 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670368 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            15928 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:35:39 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26521 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/wulflinc1/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/55 2157
Raw data (stat): 2157 (runsolver) R 2156 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792136034 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 299 0 0 0 973 25 0 0 25 0 1 0 792136034 6828032 273 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 273 566 18 0 1649 0
vsize: 6668
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 304 0 0 0 1948 50 0 0 25 0 1 0 792136034 6828032 278 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 278 566 18 0 1649 0
vsize: 6668
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 310 0 0 0 2927 72 0 0 25 0 1 0 792136034 6959104 284 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 284 566 18 0 1681 0
vsize: 6796
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 313 0 0 0 3904 95 0 0 25 0 1 0 792136034 6959104 287 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 287 566 18 0 1681 0
vsize: 6796
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 316 0 0 0 4880 120 0 0 25 0 1 0 792136034 6959104 290 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 290 566 18 0 1681 0
vsize: 6796
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 322 0 0 0 5860 140 0 0 25 0 1 0 792136034 6959104 296 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 296 566 18 0 1681 0
vsize: 6796
[startup+70.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 324 0 0 0 6839 161 0 0 25 0 1 0 792136034 6959104 298 4294967295 134512640 134581267 3221224592 3221223288 1075291634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 298 566 18 0 1681 0
vsize: 6796
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 328 0 0 0 7816 184 0 0 25 0 1 0 792136034 6959104 302 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 302 566 18 0 1681 0
vsize: 6796
[startup+90.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 330 0 0 0 8791 209 0 0 25 0 1 0 792136034 6959104 304 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 304 566 18 0 1681 0
vsize: 6796
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 331 0 0 0 9771 229 0 0 25 0 1 0 792136034 6959104 305 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 305 566 18 0 1681 0
vsize: 6796
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 332 0 0 0 10747 253 0 0 25 0 1 0 792136034 6959104 306 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 306 566 18 0 1681 0
vsize: 6796
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 335 0 0 0 11725 276 0 0 25 0 1 0 792136034 6959104 309 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 309 566 18 0 1681 0
vsize: 6796
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 336 0 0 0 12702 299 0 0 25 0 1 0 792136034 6959104 310 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 310 566 18 0 1681 0
vsize: 6796
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 337 0 0 0 13679 322 0 0 25 0 1 0 792136034 6959104 311 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 311 566 18 0 1681 0
vsize: 6796
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 337 0 0 0 14657 345 0 0 25 0 1 0 792136034 6959104 311 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 311 566 18 0 1681 0
vsize: 6796
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 339 0 0 0 15632 369 0 0 25 0 1 0 792136034 6959104 313 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 313 566 18 0 1681 0
vsize: 6796
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 339 0 0 0 16613 389 0 0 25 0 1 0 792136034 6959104 313 4294967295 134512640 134581267 3221224592 3221223360 1075288289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 313 566 18 0 1681 0
vsize: 6796
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 340 0 0 0 17591 411 0 0 25 0 1 0 792136034 6959104 314 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 314 566 18 0 1681 0
vsize: 6796
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 340 0 0 0 18567 435 0 0 25 0 1 0 792136034 6959104 314 4294967295 134512640 134581267 3221224592 3221223296 134566351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 314 566 18 0 1681 0
vsize: 6796
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 340 0 0 0 19546 456 0 0 25 0 1 0 792136034 6959104 314 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 314 566 18 0 1681 0
vsize: 6796
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 341 0 0 0 20523 479 0 0 25 0 1 0 792136034 7086080 315 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 315 566 18 0 1712 0
vsize: 6920
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 341 0 0 0 21496 506 0 0 25 0 1 0 792136034 7086080 315 4294967295 134512640 134581267 3221224592 3221223632 134565252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 315 566 18 0 1712 0
vsize: 6920
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 341 0 0 0 22473 530 0 0 25 0 1 0 792136034 7086080 315 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 315 566 18 0 1712 0
vsize: 6920
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 342 0 0 0 23452 551 0 0 25 0 1 0 792136034 7086080 316 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 316 566 18 0 1712 0
vsize: 6920
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 346 0 0 0 24427 576 0 0 25 0 1 0 792136034 7086080 320 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 320 566 18 0 1712 0
vsize: 6920
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 347 0 0 0 25405 598 0 0 25 0 1 0 792136034 7086080 321 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 321 566 18 0 1712 0
vsize: 6920
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 349 0 0 0 26383 621 0 0 25 0 1 0 792136034 7086080 323 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 323 566 18 0 1712 0
vsize: 6920
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 349 0 0 0 27362 642 0 0 25 0 1 0 792136034 7086080 323 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 323 566 18 0 1712 0
vsize: 6920
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 349 0 0 0 28345 659 0 0 25 0 1 0 792136034 7086080 323 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 323 566 18 0 1712 0
vsize: 6920
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 350 0 0 0 29327 677 0 0 25 0 1 0 792136034 7086080 324 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 324 566 18 0 1712 0
vsize: 6920
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 351 0 0 0 30310 694 0 0 25 0 1 0 792136034 7086080 325 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 325 566 18 0 1712 0
vsize: 6920
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 351 0 0 0 31290 714 0 0 25 0 1 0 792136034 7086080 325 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 325 566 18 0 1712 0
vsize: 6920
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 352 0 0 0 32270 735 0 0 25 0 1 0 792136034 7086080 326 4294967295 134512640 134581267 3221224592 3221223488 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 326 566 18 0 1712 0
vsize: 6920
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 353 0 0 0 33245 759 0 0 25 0 1 0 792136034 7086080 327 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 327 566 18 0 1712 0
vsize: 6920
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 353 0 0 0 34223 781 0 0 25 0 1 0 792136034 7086080 327 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 327 566 18 0 1712 0
vsize: 6920
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 354 0 0 0 35203 801 0 0 25 0 1 0 792136034 7086080 328 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 328 566 18 0 1712 0
vsize: 6920
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 354 0 0 0 36180 825 0 0 25 0 1 0 792136034 7086080 328 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 328 566 18 0 1712 0
vsize: 6920
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 355 0 0 0 37153 852 0 0 25 0 1 0 792136034 7086080 329 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 329 566 18 0 1712 0
vsize: 6920
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 356 0 0 0 38127 878 0 0 25 0 1 0 792136034 7086080 330 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 330 566 18 0 1712 0
vsize: 6920
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 356 0 0 0 39100 905 0 0 25 0 1 0 792136034 7086080 330 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 330 566 18 0 1712 0
vsize: 6920
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 356 0 0 0 40077 929 0 0 25 0 1 0 792136034 7086080 330 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 330 566 18 0 1712 0
vsize: 6920
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 358 0 0 0 41053 953 0 0 25 0 1 0 792136034 7086080 332 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 332 566 18 0 1712 0
vsize: 6920
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 358 0 0 0 42030 976 0 0 25 0 1 0 792136034 7086080 332 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 332 566 18 0 1712 0
vsize: 6920
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 358 0 0 0 43004 1002 0 0 25 0 1 0 792136034 7086080 332 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 332 566 18 0 1712 0
vsize: 6920
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 359 0 0 0 43979 1027 0 0 25 0 1 0 792136034 7086080 333 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 333 566 18 0 1712 0
vsize: 6920
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 360 0 0 0 44953 1054 0 0 25 0 1 0 792136034 7086080 334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 334 566 18 0 1712 0
vsize: 6920
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 360 0 0 0 45926 1080 0 0 25 0 1 0 792136034 7086080 334 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 334 566 18 0 1712 0
vsize: 6920
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 361 0 0 0 46902 1105 0 0 25 0 1 0 792136034 7086080 335 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 335 566 18 0 1712 0
vsize: 6920
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 366 0 0 0 47878 1129 0 0 25 0 1 0 792136034 7086080 340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 340 566 18 0 1712 0
vsize: 6920
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 366 0 0 0 48852 1156 0 0 25 0 1 0 792136034 7086080 340 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 340 566 18 0 1712 0
vsize: 6920
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 367 0 0 0 49824 1184 0 0 25 0 1 0 792136034 7086080 341 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 341 566 18 0 1712 0
vsize: 6920
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 367 0 0 0 50795 1213 0 0 25 0 1 0 792136034 7086080 341 4294967295 134512640 134581267 3221224592 3221223552 134516754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 341 566 18 0 1712 0
vsize: 6920
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 367 0 0 0 51769 1239 0 0 25 0 1 0 792136034 7086080 341 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 341 566 18 0 1712 0
vsize: 6920
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 368 0 0 0 52744 1264 0 0 25 0 1 0 792136034 7086080 342 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 342 566 18 0 1712 0
vsize: 6920
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 368 0 0 0 53721 1288 0 0 25 0 1 0 792136034 7086080 342 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 342 566 18 0 1712 0
vsize: 6920
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 369 0 0 0 54697 1311 0 0 25 0 1 0 792136034 7086080 343 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 343 566 18 0 1712 0
vsize: 6920
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 370 0 0 0 55669 1340 0 0 25 0 1 0 792136034 7086080 344 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 344 566 18 0 1712 0
vsize: 6920
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 370 0 0 0 56642 1366 0 0 25 0 1 0 792136034 7086080 344 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 344 566 18 0 1712 0
vsize: 6920
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 371 0 0 0 57612 1397 0 0 25 0 1 0 792136034 7086080 345 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 372 0 0 0 58585 1424 0 0 25 0 1 0 792136034 7217152 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 346 566 18 0 1744 0
vsize: 7048
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 372 0 0 0 59557 1452 0 0 25 0 1 0 792136034 7217152 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 346 566 18 0 1744 0
vsize: 7048
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 372 0 0 0 60529 1480 0 0 25 0 1 0 792136034 7217152 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 346 566 18 0 1744 0
vsize: 7048
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 372 0 0 0 61503 1507 0 0 25 0 1 0 792136034 7217152 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 346 566 18 0 1744 0
vsize: 7048
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 373 0 0 0 62476 1533 0 0 25 0 1 0 792136034 7217152 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 347 566 18 0 1744 0
vsize: 7048
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 373 0 0 0 63450 1560 0 0 25 0 1 0 792136034 7217152 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 347 566 18 0 1744 0
vsize: 7048
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 373 0 0 0 64425 1585 0 0 25 0 1 0 792136034 7217152 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 347 566 18 0 1744 0
vsize: 7048
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 378 0 0 0 65402 1609 0 0 25 0 1 0 792136034 7217152 352 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 352 566 18 0 1744 0
vsize: 7048
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 378 0 0 0 66378 1632 0 0 25 0 1 0 792136034 7217152 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 352 566 18 0 1744 0
vsize: 7048
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 378 0 0 0 67354 1657 0 0 25 0 1 0 792136034 7217152 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 352 566 18 0 1744 0
vsize: 7048
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 378 0 0 0 68329 1682 0 0 25 0 1 0 792136034 7217152 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 352 566 18 0 1744 0
vsize: 7048
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 378 0 0 0 69302 1708 0 0 25 0 1 0 792136034 7217152 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 352 566 18 0 1744 0
vsize: 7048
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 379 0 0 0 70279 1732 0 0 25 0 1 0 792136034 7217152 353 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 353 566 18 0 1744 0
vsize: 7048
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 379 0 0 0 71256 1755 0 0 25 0 1 0 792136034 7217152 353 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 353 566 18 0 1744 0
vsize: 7048
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 379 0 0 0 72230 1781 0 0 25 0 1 0 792136034 7217152 353 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 353 566 18 0 1744 0
vsize: 7048
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 379 0 0 0 73207 1805 0 0 25 0 1 0 792136034 7217152 353 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 353 566 18 0 1744 0
vsize: 7048
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 379 0 0 0 74185 1827 0 0 25 0 1 0 792136034 7217152 353 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 353 566 18 0 1744 0
vsize: 7048
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 380 0 0 0 75159 1852 0 0 25 0 1 0 792136034 7217152 354 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 354 566 18 0 1744 0
vsize: 7048
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 380 0 0 0 76132 1880 0 0 25 0 1 0 792136034 7217152 354 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 354 566 18 0 1744 0
vsize: 7048
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 380 0 0 0 77104 1908 0 0 25 0 1 0 792136034 7217152 354 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 354 566 18 0 1744 0
vsize: 7048
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 380 0 0 0 78079 1933 0 0 25 0 1 0 792136034 7217152 354 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 354 566 18 0 1744 0
vsize: 7048
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 380 0 0 0 79050 1962 0 0 25 0 1 0 792136034 7217152 354 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 354 566 18 0 1744 0
vsize: 7048
[startup+820.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 380 0 0 0 80021 1992 0 0 25 0 1 0 792136034 7217152 354 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 354 566 18 0 1744 0
vsize: 7048
[startup+830.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 380 0 0 0 80992 2020 0 0 25 0 1 0 792136034 7217152 354 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 354 566 18 0 1744 0
vsize: 7048
[startup+840.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 381 0 0 0 81971 2042 0 0 25 0 1 0 792136034 7217152 355 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 355 566 18 0 1744 0
vsize: 7048
[startup+850.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 381 0 0 0 82943 2070 0 0 25 0 1 0 792136034 7217152 355 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 355 566 18 0 1744 0
vsize: 7048
[startup+860.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 381 0 0 0 83915 2098 0 0 25 0 1 0 792136034 7217152 355 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 355 566 18 0 1744 0
vsize: 7048
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 381 0 0 0 84887 2126 0 0 25 0 1 0 792136034 7217152 355 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 355 566 18 0 1744 0
vsize: 7048
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 382 0 0 0 85859 2155 0 0 25 0 1 0 792136034 7217152 356 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 356 566 18 0 1744 0
vsize: 7048
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 382 0 0 0 86834 2179 0 0 25 0 1 0 792136034 7217152 356 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 356 566 18 0 1744 0
vsize: 7048
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 382 0 0 0 87810 2204 0 0 25 0 1 0 792136034 7217152 356 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 356 566 18 0 1744 0
vsize: 7048
[startup+910.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 382 0 0 0 88785 2229 0 0 25 0 1 0 792136034 7217152 356 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 356 566 18 0 1744 0
vsize: 7048
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 382 0 0 0 89761 2253 0 0 25 0 1 0 792136034 7217152 356 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 356 566 18 0 1744 0
vsize: 7048
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 387 0 0 0 90732 2282 0 0 25 0 1 0 792136034 7217152 361 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 361 566 18 0 1744 0
vsize: 7048
[startup+940.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 388 0 0 0 91703 2312 0 0 25 0 1 0 792136034 7217152 362 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 362 566 18 0 1744 0
vsize: 7048
[startup+950.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 388 0 0 0 92676 2339 0 0 25 0 1 0 792136034 7217152 362 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 362 566 18 0 1744 0
vsize: 7048
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 390 0 0 0 93646 2369 0 0 25 0 1 0 792136034 7217152 364 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 364 566 18 0 1744 0
vsize: 7048
[startup+970.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 390 0 0 0 94619 2396 0 0 25 0 1 0 792136034 7217152 364 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 364 566 18 0 1744 0
vsize: 7048
[startup+980.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 390 0 0 0 95591 2424 0 0 25 0 1 0 792136034 7217152 364 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 364 566 18 0 1744 0
vsize: 7048
[startup+990.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 391 0 0 0 96565 2451 0 0 25 0 1 0 792136034 7217152 365 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 365 566 18 0 1744 0
vsize: 7048
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 392 0 0 0 97537 2479 0 0 25 0 1 0 792136034 7217152 366 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 366 566 18 0 1744 0
vsize: 7048
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 392 0 0 0 98511 2505 0 0 25 0 1 0 792136034 7217152 366 4294967295 134512640 134581267 3221224592 3221223644 134556346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 366 566 18 0 1744 0
vsize: 7048
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 392 0 0 0 99484 2532 0 0 25 0 1 0 792136034 7217152 366 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 366 566 18 0 1744 0
vsize: 7048
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 392 0 0 0 100457 2560 0 0 25 0 1 0 792136034 7217152 366 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 366 566 18 0 1744 0
vsize: 7048
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 392 0 0 0 101428 2589 0 0 25 0 1 0 792136034 7217152 366 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 366 566 18 0 1744 0
vsize: 7048
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 393 0 0 0 102401 2616 0 0 25 0 1 0 792136034 7217152 367 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 367 566 18 0 1744 0
vsize: 7048
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 393 0 0 0 103373 2644 0 0 25 0 1 0 792136034 7217152 367 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 367 566 18 0 1744 0
vsize: 7048
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 394 0 0 0 104347 2670 0 0 25 0 1 0 792136034 7217152 368 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 368 566 18 0 1744 0
vsize: 7048
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 105324 2693 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 106296 2721 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 107273 2744 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 108246 2772 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 109220 2798 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 110195 2823 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 111166 2852 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 112142 2876 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 113114 2905 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 114084 2934 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223504 134566319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 115057 2962 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 7048
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2157
Raw data (stat): 2157 (Pueblo-v2) R 2156 8378 8377 0 -1 0 395 0 0 0 115057 2962 0 0 25 0 1 0 792136034 7217152 369 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 369 566 18 0 1744 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1159.15
CPU system time (s): 29.8595
CPU usage (%): 100.016
Max. virtual memory (Kb): 7048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1606
#### END VERIFIER DATA ####