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 27298

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 20:41:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17687 boxname=wulflinc12 idbench=1361 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a3dd3cd7dd293e24bffaff8bb73da54c  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-misc07.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-misc07.opb
IDLAUNCH: 17687
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        704984 kB
Buffers:         36844 kB
Cached:         272124 kB
SwapCached:        568 kB
Active:          69396 kB
Inactive:       242028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704732 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12480 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:01:02 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 17687 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/wulflinc12/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
Raw data (loadavg): 0.92 0.95 0.90 1/54 3903
Raw data (stat): 3903 (runsolver) D 3902 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 774968354 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 453 0 0 0 990 4 0 0 25 0 1 0 774968354 7491584 431 4294967295 134512640 134581331 3221224592 3221223504 134527780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 431 566 18 0 1811 0
vsize: 7316
[startup+20.008 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 477 0 0 0 1988 6 0 0 25 0 1 0 774968354 7626752 455 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 455 566 18 0 1844 0
vsize: 7448
[startup+30.013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 488 0 0 0 2985 10 0 0 25 0 1 0 774968354 7626752 466 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 466 566 18 0 1844 0
vsize: 7448
[startup+40.0189 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 502 0 0 0 3984 12 0 0 25 0 1 0 774968354 7761920 480 4294967295 134512640 134581331 3221224592 3221223312 134522674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1895 480 566 18 0 1877 0
vsize: 7580
[startup+50.1303 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 515 0 0 0 4992 15 0 0 25 0 1 0 774968354 7753728 493 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1893 493 566 18 0 1875 0
vsize: 7572
[startup+60.1305 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 519 0 0 0 5990 18 0 0 25 0 1 0 774968354 7753728 497 4294967295 134512640 134581331 3221224592 3221223548 134527310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1893 497 566 18 0 1875 0
vsize: 7572
[startup+70.131 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 544 0 0 0 6988 19 0 0 25 0 1 0 774968354 7884800 522 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1925 522 566 18 0 1907 0
vsize: 7700
[startup+80.1309 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 552 0 0 0 7986 21 0 0 25 0 1 0 774968354 7884800 530 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1925 530 566 18 0 1907 0
vsize: 7700
[startup+90.131 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 552 0 0 0 8985 23 0 0 25 0 1 0 774968354 7884800 530 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1925 530 566 18 0 1907 0
vsize: 7700
[startup+100.131 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 562 0 0 0 9983 25 0 0 25 0 1 0 774968354 7884800 540 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1925 540 566 18 0 1907 0
vsize: 7700
[startup+110.13 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 562 0 0 0 10980 28 0 0 25 0 1 0 774968354 7884800 540 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1925 540 566 18 0 1907 0
vsize: 7700
[startup+120.132 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 571 0 0 0 11978 30 0 0 25 0 1 0 774968354 8015872 549 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 549 566 18 0 1939 0
vsize: 7828
[startup+130.131 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 587 0 0 0 12977 32 0 0 25 0 1 0 774968354 8015872 565 4294967295 134512640 134581331 3221224592 3221223476 134557767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 565 566 18 0 1939 0
vsize: 7828
[startup+140.132 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 587 0 0 0 13975 34 0 0 25 0 1 0 774968354 8015872 565 4294967295 134512640 134581331 3221224592 3221223520 134519913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 565 566 18 0 1939 0
vsize: 7828
[startup+150.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 587 0 0 0 14973 36 0 0 25 0 1 0 774968354 8015872 565 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 565 566 18 0 1939 0
vsize: 7828
[startup+160.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 596 0 0 0 15971 38 0 0 25 0 1 0 774968354 8093696 574 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1976 574 566 18 0 1958 0
vsize: 7904
[startup+170.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 597 0 0 0 16969 40 0 0 25 0 1 0 774968354 8093696 575 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1976 575 566 18 0 1958 0
vsize: 7904
[startup+180.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 610 0 0 0 17968 42 0 0 25 0 1 0 774968354 8093696 588 4294967295 134512640 134581331 3221224592 3221223504 134528039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1976 588 566 18 0 1958 0
vsize: 7904
[startup+190.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 613 0 0 0 18966 44 0 0 25 0 1 0 774968354 8093696 591 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1976 591 566 18 0 1958 0
vsize: 7904
[startup+200.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 616 0 0 0 19964 46 0 0 25 0 1 0 774968354 8216576 594 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 594 566 18 0 1988 0
vsize: 8024
[startup+210.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 626 0 0 0 20962 48 0 0 25 0 1 0 774968354 8216576 604 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 604 566 18 0 1988 0
vsize: 8024
[startup+220.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 626 0 0 0 21959 51 0 0 25 0 1 0 774968354 8216576 604 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 604 566 18 0 1988 0
vsize: 8024
[startup+230.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 626 0 0 0 22957 53 0 0 25 0 1 0 774968354 8216576 604 4294967295 134512640 134581331 3221224592 3221223476 134527009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 604 566 18 0 1988 0
vsize: 8024
[startup+240.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 635 0 0 0 23955 55 0 0 25 0 1 0 774968354 8216576 613 4294967295 134512640 134581331 3221224592 3221223524 134559722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 613 566 18 0 1988 0
vsize: 8024
[startup+250.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 635 0 0 0 24953 58 0 0 25 0 1 0 774968354 8216576 613 4294967295 134512640 134581331 3221224592 3221223208 1075289638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 613 566 18 0 1988 0
vsize: 8024
[startup+260.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 641 0 0 0 25952 59 0 0 25 0 1 0 774968354 8216576 619 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2006 619 566 18 0 1988 0
vsize: 8024
[startup+270.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 668 0 0 0 26949 62 0 0 25 0 1 0 774968354 8335360 646 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2035 646 566 18 0 2017 0
vsize: 8140
[startup+280.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 668 0 0 0 27947 64 0 0 25 0 1 0 774968354 8335360 646 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2035 646 566 18 0 2017 0
vsize: 8140
[startup+290.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 668 0 0 0 28945 66 0 0 25 0 1 0 774968354 8335360 646 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2035 646 566 18 0 2017 0
vsize: 8140
[startup+300.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 683 0 0 0 29944 68 0 0 25 0 1 0 774968354 8470528 661 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2068 661 566 18 0 2050 0
vsize: 8272
[startup+310.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 686 0 0 0 30942 70 0 0 25 0 1 0 774968354 8462336 664 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 664 566 18 0 2048 0
vsize: 8264
[startup+320.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 31941 71 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223504 134528077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+330.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 32940 72 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+340.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 33938 74 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+350.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 34936 76 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223488 134517854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+360.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 35935 78 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+370.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 36933 79 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+380.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 37932 81 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+390.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 38930 83 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+400.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 39928 85 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+410.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 40927 86 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+420.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 41927 87 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+430.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 703 0 0 0 42926 88 0 0 25 0 1 0 774968354 8462336 681 4294967295 134512640 134581331 3221224592 3221223504 134527984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2066 681 566 18 0 2048 0
vsize: 8264
[startup+440.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 711 0 0 0 43924 90 0 0 25 0 1 0 774968354 8593408 689 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 689 566 18 0 2080 0
vsize: 8392
[startup+450.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 44923 91 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223560 134527289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+460.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 45922 92 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+470.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 46921 94 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+480.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 47920 95 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+490.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 48918 97 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223504 134519052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+500.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 49917 99 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+510.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 50915 100 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+520.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 721 0 0 0 51914 102 0 0 25 0 1 0 774968354 8593408 699 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 699 566 18 0 2080 0
vsize: 8392
[startup+530.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 52912 104 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+540.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 53911 105 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+550.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 54909 107 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+560.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 55908 108 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+570.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 56907 109 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+580.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 57906 111 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+590.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 58904 113 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+600.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 722 0 0 0 59903 114 0 0 25 0 1 0 774968354 8593408 700 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 700 566 18 0 2080 0
vsize: 8392
[startup+610.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 743 0 0 0 60902 116 0 0 25 0 1 0 774968354 8724480 721 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2130 721 566 18 0 2112 0
vsize: 8520
[startup+620.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 743 0 0 0 61900 118 0 0 25 0 1 0 774968354 8720384 721 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2129 721 566 18 0 2111 0
vsize: 8516
[startup+630.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 743 0 0 0 62899 119 0 0 25 0 1 0 774968354 8716288 721 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 721 566 18 0 2110 0
vsize: 8512
[startup+640.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 743 0 0 0 63897 121 0 0 25 0 1 0 774968354 8716288 721 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 721 566 18 0 2110 0
vsize: 8512
[startup+650.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 745 0 0 0 64896 122 0 0 25 0 1 0 774968354 8716288 723 4294967295 134512640 134581331 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 723 566 18 0 2110 0
vsize: 8512
[startup+660.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 745 0 0 0 65894 124 0 0 25 0 1 0 774968354 8716288 723 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 723 566 18 0 2110 0
vsize: 8512
[startup+670.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 749 0 0 0 66893 125 0 0 25 0 1 0 774968354 8716288 727 4294967295 134512640 134581331 3221224592 3221223504 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 727 566 18 0 2110 0
vsize: 8512
[startup+680.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 752 0 0 0 67892 126 0 0 25 0 1 0 774968354 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+690.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 752 0 0 0 68891 128 0 0 25 0 1 0 774968354 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+700.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 752 0 0 0 69889 130 0 0 25 0 1 0 774968354 8716288 730 4294967295 134512640 134581331 3221224592 3221223504 134527980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 730 566 18 0 2110 0
vsize: 8512
[startup+710.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 755 0 0 0 70888 131 0 0 25 0 1 0 774968354 8716288 733 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2128 733 566 18 0 2110 0
vsize: 8512
[startup+720.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 71886 133 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+730.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 72885 135 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+740.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 73883 137 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+750.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 74882 138 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+760.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 75881 139 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+770.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 76880 141 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+780.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 77879 142 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+790.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 78878 143 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+800.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 79876 145 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+810.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 80874 147 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+820.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 81873 149 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+830.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 773 0 0 0 82872 150 0 0 25 0 1 0 774968354 8835072 751 4294967295 134512640 134581331 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 751 566 18 0 2139 0
vsize: 8628
[startup+840.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 83870 152 0 0 25 0 1 0 774968354 8970240 777 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2190 777 566 18 0 2172 0
vsize: 8760
[startup+850.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 84867 155 0 0 25 0 1 0 774968354 8916992 777 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2177 777 566 18 0 2159 0
vsize: 8708
[startup+860.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 85867 156 0 0 25 0 1 0 774968354 8908800 777 4294967295 134512640 134581331 3221224592 3221223456 134528323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2175 777 566 18 0 2157 0
vsize: 8700
[startup+870.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 86865 157 0 0 25 0 1 0 774968354 8835072 772 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 772 566 18 0 2139 0
vsize: 8628
[startup+880.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 87864 159 0 0 25 0 1 0 774968354 8835072 772 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2157 772 566 18 0 2139 0
vsize: 8628
[startup+890.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 88862 160 0 0 25 0 1 0 774968354 8818688 768 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 768 566 18 0 2135 0
vsize: 8612
[startup+900.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 89862 161 0 0 25 0 1 0 774968354 8818688 768 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 768 566 18 0 2135 0
vsize: 8612
[startup+910.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 799 0 0 0 90860 163 0 0 25 0 1 0 774968354 8818688 768 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 768 566 18 0 2135 0
vsize: 8612
[startup+920.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 91859 165 0 0 25 0 1 0 774968354 8929280 781 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 781 566 18 0 2162 0
vsize: 8720
[startup+930.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 92857 166 0 0 25 0 1 0 774968354 8929280 781 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 781 566 18 0 2162 0
vsize: 8720
[startup+940.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 93856 168 0 0 25 0 1 0 774968354 8929280 781 4294967295 134512640 134581331 3221224592 3221223504 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 781 566 18 0 2162 0
vsize: 8720
[startup+950.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 94855 169 0 0 25 0 1 0 774968354 8929280 781 4294967295 134512640 134581331 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 781 566 18 0 2162 0
vsize: 8720
[startup+960.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 95854 169 0 0 25 0 1 0 774968354 8929280 781 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 781 566 18 0 2162 0
vsize: 8720
[startup+970.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 96853 171 0 0 25 0 1 0 774968354 8896512 781 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2172 781 566 18 0 2154 0
vsize: 8688
[startup+980.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 97852 172 0 0 25 0 1 0 774968354 8896512 781 4294967295 134512640 134581331 3221224592 3221223472 134558288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2172 781 566 18 0 2154 0
vsize: 8688
[startup+990.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 98851 173 0 0 25 0 1 0 774968354 8859648 778 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2163 778 566 18 0 2145 0
vsize: 8652
[startup+1000.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 99850 174 0 0 25 0 1 0 774968354 8859648 778 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2163 778 566 18 0 2145 0
vsize: 8652
[startup+1010.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 100849 176 0 0 25 0 1 0 774968354 8859648 778 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2163 778 566 18 0 2145 0
vsize: 8652
[startup+1020.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 101848 177 0 0 25 0 1 0 774968354 8859648 778 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2163 778 566 18 0 2145 0
vsize: 8652
[startup+1030.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 812 0 0 0 102846 179 0 0 25 0 1 0 774968354 8859648 778 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2163 778 566 18 0 2145 0
vsize: 8652
[startup+1040.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 814 0 0 0 103845 180 0 0 25 0 1 0 774968354 8966144 780 4294967295 134512640 134581331 3221224592 3221223584 134561276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 780 566 18 0 2171 0
vsize: 8756
[startup+1050.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 814 0 0 0 104844 182 0 0 25 0 1 0 774968354 8966144 780 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 780 566 18 0 2171 0
vsize: 8756
[startup+1060.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 814 0 0 0 105843 183 0 0 25 0 1 0 774968354 8966144 780 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 780 566 18 0 2171 0
vsize: 8756
[startup+1070.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 814 0 0 0 106841 184 0 0 25 0 1 0 774968354 8966144 780 4294967295 134512640 134581331 3221224592 3221223508 1075285509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 780 566 18 0 2171 0
vsize: 8756
[startup+1080.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 814 0 0 0 107841 185 0 0 25 0 1 0 774968354 8966144 780 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 780 566 18 0 2171 0
vsize: 8756
[startup+1090.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 814 0 0 0 108840 186 0 0 25 0 1 0 774968354 8966144 780 4294967295 134512640 134581331 3221224592 3221223244 1075288399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 780 566 18 0 2171 0
vsize: 8756
[startup+1100.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 825 0 0 0 109840 187 0 0 25 0 1 0 774968354 8966144 791 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 791 566 18 0 2171 0
vsize: 8756
[startup+1110.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 825 0 0 0 110839 188 0 0 25 0 1 0 774968354 8966144 791 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 791 566 18 0 2171 0
vsize: 8756
[startup+1120.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 825 0 0 0 111838 188 0 0 25 0 1 0 774968354 8966144 791 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 791 566 18 0 2171 0
vsize: 8756
[startup+1130.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3903
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 825 0 0 0 112837 190 0 0 25 0 1 0 774968354 8966144 791 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 791 566 18 0 2171 0
vsize: 8756
[startup+1140.16 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3956
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 825 0 0 0 113835 191 0 0 25 0 1 0 774968354 8966144 791 4294967295 134512640 134581331 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 791 566 18 0 2171 0
vsize: 8756
[startup+1150.16 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3956
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 827 0 0 0 114834 192 0 0 25 0 1 0 774968354 8966144 793 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 793 566 18 0 2171 0
vsize: 8756
[startup+1160.16 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3956
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 827 0 0 0 115834 193 0 0 25 0 1 0 774968354 8966144 793 4294967295 134512640 134581331 3221224592 3221223504 134519027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 793 566 18 0 2171 0
vsize: 8756
[startup+1170.16 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3956
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 827 0 0 0 116832 195 0 0 25 0 1 0 774968354 8966144 793 4294967295 134512640 134581331 3221224592 3221223504 134527973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 793 566 18 0 2171 0
vsize: 8756
[startup+1180.16 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3956
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 827 0 0 0 117831 196 0 0 25 0 1 0 774968354 8966144 793 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 793 566 18 0 2171 0
vsize: 8756
[startup+1188.89 s]
Raw data (loadavg): 1.03 0.99 0.91 1/53 3956
Raw data (stat): 3903 (Pueblo) R 3902 32284 32283 0 -1 0 827 0 0 0 117831 196 0 0 25 0 1 0 774968354 8966144 793 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2189 793 566 18 0 2171 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.01
CPU user time (s): 1187.03
CPU system time (s): 1.9827
CPU usage (%): 100.011
Max. virtual memory (Kb): 8760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1408128
#### END VERIFIER DATA ####