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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb
MD5SUM	a3dd3cd7dd293e24bffaff8bb73da54c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1408128
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11486079
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	280
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	253
Trace number 39176

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 22:20:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27233 boxname=wulflinc1 idbench=1361 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  a3dd3cd7dd293e24bffaff8bb73da54c  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc07.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc07.opb
IDLAUNCH: 27233
/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:        380508 kB
Buffers:         32012 kB
Cached:         598088 kB
SwapCached:        668 kB
Active:          38320 kB
Inactive:       594064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        380256 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            15980 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 22:40:40 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27233 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-mps-v2-13-7-misc07.opb
c #variables read: 280 - #constraints read: 507
s SATISFIABLE
v -x260_bit_7 -x260_bit_6 -x260_bit_5 -x260_bit_4 -x260_bit_3 -x260_bit_2 -x260_bit_1 x260_bit0 -x260_bit1 -x260_bit2 x260_bit3 x260_bit4 x260_bit5 x260_bit6 x260_bit7 -x260_bit8 x260_bit9 -x260_bit10 x260_bit11 -x260_bit12 x260_bit13 -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 x244_bit0 -x245_bit0 x246_bit0 -x247_bit0 x248_bit0 -x249_bit0 x250_bit0 -x251_bit0 x252_bit0 -x253_bit0 x254_bit0 -x255_bit0 x256_bit0 -x257_bit0 x258_bit0 -x259_bit0 
#### 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.79 0.92 0.89 2/55 14311
Raw data (stat): 14311 (runsolver) R 14310 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 796486696 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.82 0.93 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 392 0 0 0 990 8 0 0 25 0 1 0 796486696 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+20.0013 s]
Raw data (loadavg): 0.85 0.93 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 401 0 0 0 1980 18 0 0 25 0 1 0 796486696 7229440 375 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+30.001 s]
Raw data (loadavg): 0.87 0.93 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 416 0 0 0 2974 25 0 0 25 0 1 0 796486696 7356416 390 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1796 390 566 18 0 1778 0
vsize: 7184
[startup+40.0008 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 434 0 0 0 3966 33 0 0 25 0 1 0 796486696 7356416 408 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1796 408 566 18 0 1778 0
vsize: 7184
[startup+50.0016 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 445 0 0 0 4959 40 0 0 25 0 1 0 796486696 7487488 419 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1828 419 566 18 0 1810 0
vsize: 7312
[startup+60.0014 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 465 0 0 0 5953 46 0 0 25 0 1 0 796486696 7467008 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1823 439 566 18 0 1805 0
vsize: 7292
[startup+70.0022 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 465 0 0 0 6946 54 0 0 25 0 1 0 796486696 7467008 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1823 439 566 18 0 1805 0
vsize: 7292
[startup+80.002 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 465 0 0 0 7938 62 0 0 25 0 1 0 796486696 7467008 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1823 439 566 18 0 1805 0
vsize: 7292
[startup+90.0018 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 468 0 0 0 8931 69 0 0 25 0 1 0 796486696 7598080 442 4294967295 134512640 134581267 3221224576 3221223520 134558865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1855 442 566 18 0 1837 0
vsize: 7420
[startup+100.002 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 475 0 0 0 9918 82 0 0 25 0 1 0 796486696 7598080 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1855 449 566 18 0 1837 0
vsize: 7420
[startup+110.001 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 479 0 0 0 10912 88 0 0 25 0 1 0 796486696 7598080 453 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1855 453 566 18 0 1837 0
vsize: 7420
[startup+120.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 479 0 0 0 11904 96 0 0 25 0 1 0 796486696 7598080 453 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1855 453 566 18 0 1837 0
vsize: 7420
[startup+130.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 490 0 0 0 12898 103 0 0 25 0 1 0 796486696 7598080 464 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1855 464 566 18 0 1837 0
vsize: 7420
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 494 0 0 0 13892 108 0 0 25 0 1 0 796486696 7598080 468 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1855 468 566 18 0 1837 0
vsize: 7420
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 506 0 0 0 14885 116 0 0 25 0 1 0 796486696 7667712 480 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1872 480 566 18 0 1854 0
vsize: 7488
[startup+160.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 506 0 0 0 15877 124 0 0 25 0 1 0 796486696 7667712 480 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1872 480 566 18 0 1854 0
vsize: 7488
[startup+170.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 506 0 0 0 16870 132 0 0 25 0 1 0 796486696 7667712 480 4294967295 134512640 134581267 3221224576 3221223648 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1872 480 566 18 0 1854 0
vsize: 7488
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 506 0 0 0 17863 138 0 0 25 0 1 0 796486696 7667712 480 4294967295 134512640 134581267 3221224576 3221223472 134527747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1872 480 566 18 0 1854 0
vsize: 7488
[startup+190.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 506 0 0 0 18855 146 0 0 25 0 1 0 796486696 7667712 480 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1872 480 566 18 0 1854 0
vsize: 7488
[startup+200.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 509 0 0 0 19847 155 0 0 25 0 1 0 796486696 7667712 483 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1872 483 566 18 0 1854 0
vsize: 7488
[startup+210.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 516 0 0 0 20839 162 0 0 25 0 1 0 796486696 7737344 490 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 490 566 18 0 1871 0
vsize: 7556
[startup+220.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 517 0 0 0 21832 170 0 0 25 0 1 0 796486696 7737344 491 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 491 566 18 0 1871 0
vsize: 7556
[startup+230.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 517 0 0 0 22825 177 0 0 25 0 1 0 796486696 7737344 491 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 491 566 18 0 1871 0
vsize: 7556
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 517 0 0 0 23818 184 0 0 25 0 1 0 796486696 7737344 491 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 491 566 18 0 1871 0
vsize: 7556
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 517 0 0 0 24811 191 0 0 25 0 1 0 796486696 7737344 491 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 491 566 18 0 1871 0
vsize: 7556
[startup+260.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 517 0 0 0 25805 198 0 0 25 0 1 0 796486696 7737344 491 4294967295 134512640 134581267 3221224576 3221223568 134560741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 491 566 18 0 1871 0
vsize: 7556
[startup+270.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 528 0 0 0 26799 204 0 0 25 0 1 0 796486696 7737344 502 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 502 566 18 0 1871 0
vsize: 7556
[startup+280.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 528 0 0 0 27791 212 0 0 25 0 1 0 796486696 7737344 502 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 502 566 18 0 1871 0
vsize: 7556
[startup+290.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 534 0 0 0 28781 222 0 0 25 0 1 0 796486696 7860224 508 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1919 508 566 18 0 1901 0
vsize: 7676
[startup+300 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 536 0 0 0 29775 228 0 0 25 0 1 0 796486696 7856128 510 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1918 510 566 18 0 1900 0
vsize: 7672
[startup+310 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 548 0 0 0 30768 236 0 0 25 0 1 0 796486696 7856128 522 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1918 522 566 18 0 1900 0
vsize: 7672
[startup+320 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 548 0 0 0 31759 245 0 0 25 0 1 0 796486696 7856128 522 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1918 522 566 18 0 1900 0
vsize: 7672
[startup+330 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 548 0 0 0 32752 251 0 0 25 0 1 0 796486696 7856128 522 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1918 522 566 18 0 1900 0
vsize: 7672
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 555 0 0 0 33745 258 0 0 25 0 1 0 796486696 7856128 529 4294967295 134512640 134581267 3221224576 3221223520 134559422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1918 529 566 18 0 1900 0
vsize: 7672
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 568 0 0 0 34739 264 0 0 25 0 1 0 796486696 7991296 542 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1951 542 566 18 0 1933 0
vsize: 7804
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 568 0 0 0 35732 271 0 0 25 0 1 0 796486696 7929856 542 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 542 566 18 0 1918 0
vsize: 7744
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 568 0 0 0 36724 280 0 0 25 0 1 0 796486696 7929856 542 4294967295 134512640 134581267 3221224576 3221223536 134554618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 542 566 18 0 1918 0
vsize: 7744
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 568 0 0 0 37717 286 0 0 25 0 1 0 796486696 7929856 542 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 542 566 18 0 1918 0
vsize: 7744
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 568 0 0 0 38709 295 0 0 25 0 1 0 796486696 7929856 542 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 542 566 18 0 1918 0
vsize: 7744
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 568 0 0 0 39701 303 0 0 25 0 1 0 796486696 7929856 542 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 542 566 18 0 1918 0
vsize: 7744
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 568 0 0 0 40693 311 0 0 25 0 1 0 796486696 7929856 542 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 542 566 18 0 1918 0
vsize: 7744
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 574 0 0 0 41687 317 0 0 25 0 1 0 796486696 7929856 548 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 548 566 18 0 1918 0
vsize: 7744
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 574 0 0 0 42677 327 0 0 25 0 1 0 796486696 7929856 548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 548 566 18 0 1918 0
vsize: 7744
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 580 0 0 0 43671 333 0 0 25 0 1 0 796486696 8032256 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 554 566 18 0 1943 0
vsize: 7844
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 580 0 0 0 44666 339 0 0 25 0 1 0 796486696 8032256 554 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 554 566 18 0 1943 0
vsize: 7844
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 580 0 0 0 45660 345 0 0 25 0 1 0 796486696 8032256 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 554 566 18 0 1943 0
vsize: 7844
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 593 0 0 0 46653 352 0 0 25 0 1 0 796486696 8032256 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 567 566 18 0 1943 0
vsize: 7844
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 593 0 0 0 47646 359 0 0 25 0 1 0 796486696 8032256 567 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 567 566 18 0 1943 0
vsize: 7844
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 598 0 0 0 48641 365 0 0 25 0 1 0 796486696 8032256 572 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 572 566 18 0 1943 0
vsize: 7844
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 598 0 0 0 49634 372 0 0 25 0 1 0 796486696 8032256 572 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 572 566 18 0 1943 0
vsize: 7844
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 598 0 0 0 50629 377 0 0 25 0 1 0 796486696 8032256 572 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 572 566 18 0 1943 0
vsize: 7844
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 601 0 0 0 51622 384 0 0 25 0 1 0 796486696 8032256 575 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 575 566 18 0 1943 0
vsize: 7844
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 601 0 0 0 52618 389 0 0 25 0 1 0 796486696 8032256 575 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 575 566 18 0 1943 0
vsize: 7844
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 601 0 0 0 53612 395 0 0 25 0 1 0 796486696 8032256 575 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 575 566 18 0 1943 0
vsize: 7844
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 601 0 0 0 54606 401 0 0 25 0 1 0 796486696 8032256 575 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 575 566 18 0 1943 0
vsize: 7844
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 604 0 0 0 55601 406 0 0 25 0 1 0 796486696 8032256 578 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 578 566 18 0 1943 0
vsize: 7844
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 604 0 0 0 56593 414 0 0 25 0 1 0 796486696 8032256 578 4294967295 134512640 134581267 3221224576 3221223536 134554628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 578 566 18 0 1943 0
vsize: 7844
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 604 0 0 0 57586 421 0 0 25 0 1 0 796486696 8032256 578 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 578 566 18 0 1943 0
vsize: 7844
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 604 0 0 0 58580 427 0 0 25 0 1 0 796486696 8032256 578 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 578 566 18 0 1943 0
vsize: 7844
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 604 0 0 0 59574 433 0 0 25 0 1 0 796486696 8032256 578 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1961 578 566 18 0 1943 0
vsize: 7844
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 618 0 0 0 60568 440 0 0 25 0 1 0 796486696 8105984 592 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 592 566 18 0 1961 0
vsize: 7916
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 618 0 0 0 61560 448 0 0 25 0 1 0 796486696 8105984 592 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 592 566 18 0 1961 0
vsize: 7916
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 618 0 0 0 62552 456 0 0 25 0 1 0 796486696 8105984 592 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 592 566 18 0 1961 0
vsize: 7916
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 618 0 0 0 63544 465 0 0 25 0 1 0 796486696 8105984 592 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 592 566 18 0 1961 0
vsize: 7916
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 618 0 0 0 64537 472 0 0 25 0 1 0 796486696 8105984 592 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 592 566 18 0 1961 0
vsize: 7916
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 623 0 0 0 65530 480 0 0 25 0 1 0 796486696 8232960 597 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 597 566 18 0 1992 0
vsize: 8040
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 623 0 0 0 66521 488 0 0 25 0 1 0 796486696 8232960 597 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 597 566 18 0 1992 0
vsize: 8040
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 623 0 0 0 67514 496 0 0 25 0 1 0 796486696 8232960 597 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 597 566 18 0 1992 0
vsize: 8040
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 623 0 0 0 68506 504 0 0 25 0 1 0 796486696 8232960 597 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 597 566 18 0 1992 0
vsize: 8040
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 623 0 0 0 69499 511 0 0 25 0 1 0 796486696 8232960 597 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 597 566 18 0 1992 0
vsize: 8040
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 624 0 0 0 70492 518 0 0 25 0 1 0 796486696 8232960 598 4294967295 134512640 134581267 3221224576 3221223488 134519975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 598 566 18 0 1992 0
vsize: 8040
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 625 0 0 0 71484 527 0 0 25 0 1 0 796486696 8232960 599 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 599 566 18 0 1992 0
vsize: 8040
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 625 0 0 0 72478 532 0 0 25 0 1 0 796486696 8232960 599 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 599 566 18 0 1992 0
vsize: 8040
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 629 0 0 0 73472 539 0 0 25 0 1 0 796486696 8232960 603 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 603 566 18 0 1992 0
vsize: 8040
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 629 0 0 0 74464 547 0 0 25 0 1 0 796486696 8232960 603 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 603 566 18 0 1992 0
vsize: 8040
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 629 0 0 0 75456 555 0 0 25 0 1 0 796486696 8232960 603 4294967295 134512640 134581267 3221224576 3221223488 134527633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 603 566 18 0 1992 0
vsize: 8040
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 634 0 0 0 76450 561 0 0 25 0 1 0 796486696 8232960 608 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 608 566 18 0 1992 0
vsize: 8040
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 651 0 0 0 77446 566 0 0 25 0 1 0 796486696 8232960 625 4294967295 134512640 134581267 3221224576 3221223292 1075288830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 625 566 18 0 1992 0
vsize: 8040
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 651 0 0 0 78440 572 0 0 25 0 1 0 796486696 8232960 625 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 625 566 18 0 1992 0
vsize: 8040
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 651 0 0 0 79435 577 0 0 25 0 1 0 796486696 8232960 625 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 625 566 18 0 1992 0
vsize: 8040
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 651 0 0 0 80428 584 0 0 25 0 1 0 796486696 8232960 625 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 625 566 18 0 1992 0
vsize: 8040
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 651 0 0 0 81421 592 0 0 25 0 1 0 796486696 8232960 625 4294967295 134512640 134581267 3221224576 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 625 566 18 0 1992 0
vsize: 8040
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 651 0 0 0 82415 598 0 0 25 0 1 0 796486696 8232960 625 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 625 566 18 0 1992 0
vsize: 8040
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 651 0 0 0 83409 604 0 0 25 0 1 0 796486696 8232960 625 4294967295 134512640 134581267 3221224576 3221223488 134527332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 625 566 18 0 1992 0
vsize: 8040
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 84402 611 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 85396 617 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 86388 625 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 87381 633 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 88377 637 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 89371 643 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223456 134560354 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 90366 648 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 91359 655 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 92354 661 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 93347 667 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 94341 674 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 95334 681 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 653 0 0 0 96326 689 0 0 25 0 1 0 796486696 8232960 627 4294967295 134512640 134581267 3221224576 3221223476 134527800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 654 0 0 0 97319 696 0 0 25 0 1 0 796486696 8355840 628 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2040 628 566 18 0 2022 0
vsize: 8160
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 654 0 0 0 98313 702 0 0 25 0 1 0 796486696 8331264 628 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2034 628 566 18 0 2016 0
vsize: 8136
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 667 0 0 0 99306 710 0 0 25 0 1 0 796486696 8331264 641 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2034 641 566 18 0 2016 0
vsize: 8136
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 667 0 0 0 100298 718 0 0 25 0 1 0 796486696 8331264 641 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2034 641 566 18 0 2016 0
vsize: 8136
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 667 0 0 0 101289 727 0 0 25 0 1 0 796486696 8331264 641 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2034 641 566 18 0 2016 0
vsize: 8136
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 667 0 0 0 102281 735 0 0 25 0 1 0 796486696 8331264 641 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2034 641 566 18 0 2016 0
vsize: 8136
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 103274 742 0 0 25 0 1 0 796486696 8433664 655 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2059 655 566 18 0 2041 0
vsize: 8236
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 104267 750 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 105260 757 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 106252 766 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 107246 771 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 108238 780 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 109231 787 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223440 134560433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 110224 794 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 681 0 0 0 111217 801 0 0 25 0 1 0 796486696 8429568 655 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 655 566 18 0 2040 0
vsize: 8232
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 703 0 0 0 112211 807 0 0 25 0 1 0 796486696 8466432 677 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2067 677 566 18 0 2049 0
vsize: 8268
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 703 0 0 0 113203 815 0 0 25 0 1 0 796486696 8429568 675 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 675 566 18 0 2040 0
vsize: 8232
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 703 0 0 0 114195 823 0 0 25 0 1 0 796486696 8429568 675 4294967295 134512640 134581267 3221224576 3221223352 1075291622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 675 566 18 0 2040 0
vsize: 8232
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 703 0 0 0 115188 830 0 0 25 0 1 0 796486696 8429568 675 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 675 566 18 0 2040 0
vsize: 8232
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 703 0 0 0 116181 838 0 0 25 0 1 0 796486696 8429568 675 4294967295 134512640 134581267 3221224576 3221223488 1074910621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 675 566 18 0 2040 0
vsize: 8232
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 703 0 0 0 117176 843 0 0 25 0 1 0 796486696 8429568 675 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 675 566 18 0 2040 0
vsize: 8232
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14311
Raw data (stat): 14311 (Pueblo-v2) R 14310 8378 8377 0 -1 0 703 0 0 0 117176 843 0 0 25 0 1 0 796486696 8429568 675 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2058 675 566 18 0 2040 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1180.51
CPU system time (s): 8.50071
CPU usage (%): 100.015
Max. virtual memory (Kb): 8268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1408128
#### END VERIFIER DATA ####