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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	5.96709
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 28096

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 00:24:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14593 boxname=wulflinc1 idbench=1123 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 14593
/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:        858016 kB
Buffers:         32620 kB
Cached:         117316 kB
SwapCached:          4 kB
Active:          32808 kB
Inactive:       120208 kB
HighTotal:      131008 kB
HighFree:        10668 kB
LowTotal:       903652 kB
LowFree:        847348 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           7148 kB
Slab:            17788 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:44:18 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 14593 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos16.opb
c #variables read: 464 - #constraints read: 1406
s SATISFIABLE
v C0377_bit0 -C0377_bit1 C0377_bit2 -C0377_bit3 C0377_bit4 C0377_bit5 C0377_bit6 -C0377_bit7 C0001_bit0 C0002_bit0 C0003_bit0 C0004_bit0 C0005_bit0 C0006_bit0 -C0007_bit0 -C0008_bit0 -C0009_bit0 C0010_bit0 C0011_bit0 C0012_bit0 -C0013_bit0 C0014_bit0 C0015_bit0 -C0016_bit0 C0017_bit0 C0018_bit0 C0019_bit0 C0020_bit0 -C0021_bit0 -C0022_bit0 C0023_bit0 C0024_bit0 C0025_bit0 C0026_bit0 C0027_bit0 C0028_bit0 C0029_bit0 C0030_bit0 C0031_bit0 C0032_bit0 -C0033_bit0 -C0034_bit0 C0035_bit0 -C0036_bit0 -C0037_bit0 C0038_bit0 -C0039_bit0 C0040_bit0 -C0041_bit0 -C0042_bit0 C0043_bit0 C0044_bit0 -C0045_bit0 C0046_bit0 -C0047_bit0 C0048_bit0 C0049_bit0 -C0050_bit0 C0051_bit0 -C0052_bit0 C0053_bit0 -C0054_bit0 -C0055_bit0 -C0056_bit0 -C0057_bit0 C0058_bit0 C0059_bit0 C0060_bit0 -C0061_bit0 -C0062_bit0 C0063_bit0 -C0064_bit0 -C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 -C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 -C0075_bit0 -C0076_bit0 -C0077_bit0 -C0078_bit0 C0079_bit0 -C0080_bit0 C0081_bit0 -C0082_bit0 C0083_bit0 C0084_bit0 -C0085_bit0 -C0086_bit0 -C0087_bit0 -C0088_bit0 -C0089_bit0 -C0090_bit0 C0091_bit0 C0092_bit0 C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 C0097_bit0 -C0098_bit0 -C0099_bit0 C0100_bit0 -C0101_bit0 -C0102_bit0 -C0103_bit0 -C0104_bit0 C0105_bit0 C0106_bit0 -C0107_bit0 -C0108_bit0 -C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 -C0116_bit0 C0117_bit0 C0118_bit0 -C0119_bit0 C0120_bit0 C0121_bit0 -C0122_bit0 C0123_bit0 -C0124_bit0 C0125_bit0 C0126_bit0 -C0127_bit0 -C0128_bit0 C0129_bit0 -C0130_bit0 C0131_bit0 -C0132_bit0 -C0133_bit0 C0134_bit0 -C0135_bit0 C0136_bit0 -C0137_bit0 C0138_bit0 C0139_bit0 C0140_bit0 C0141_bit0 -C0142_bit0 -C0143_bit0 -C0144_bit0 C0145_bit0 C0146_bit0 -C0147_bit0 C0148_bit0 C0149_bit0 C0150_bit0 C0151_bit0 C0152_bit0 C0153_bit0 C0154_bit0 C0155_bit0 C0156_bit0 C0157_bit0 C0158_bit0 C0159_bit0 C0160_bit0 C0161_bit0 C0162_bit0 -C0163_bit0 C0164_bit0 -C0165_bit0 C0166_bit0 -C0167_bit0 -C0168_bit0 C0169_bit0 C0170_bit0 C0171_bit0 C0172_bit0 C0173_bit0 C0174_bit0 -C0175_bit0 C0176_bit0 -C0177_bit0 C0178_bit0 C0179_bit0 C0180_bit0 C0181_bit0 C0182_bit0 C0183_bit0 -C0184_bit0 -C0185_bit0 C0186_bit0 C0187_bit0 C0188_bit0 C0189_bit0 C0190_bit0 C0191_bit0 -C0192_bit0 C0193_bit0 -C0194_bit0 C0195_bit0 C0196_bit0 -C0197_bit0 C0198_bit0 -C0199_bit0 C0200_bit0 -C0201_bit0 C0202_bit0 -C0203_bit0 -C0204_bit0 C0205_bit0 -C0206_bit0 C0207_bit0 -C0208_bit0 -C0209_bit0 C0210_bit0 C0211_bit0 C0212_bit0 C0213_bit0 C0214_bit0 -C0215_bit0 C0216_bit0 -C0217_bit0 -C0218_bit0 -C0219_bit0 -C0220_bit0 -C0221_bit0 C0222_bit0 C0223_bit0 -C0224_bit0 -C0225_bit0 C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 C0231_bit0 -C0232_bit0 -C0233_bit0 C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 C0238_bit0 C0239_bit0 C0240_bit0 C0241_bit0 C0242_bit0 C0243_bit0 C0244_bit0 -C0245_bit0 C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 -C0250_bit0 -C0251_bit0 C0252_bit0 -C0253_bit0 -C0254_bit0 -C0255_bit0 -C0256_bit0 -C0257_bit0 -C0258_bit0 C0259_bit0 -C0260_bit0 C0261_bit0 -C0262_bit0 -C0263_bit0 -C0264_bit0 -C0265_bit0 -C0266_bit0 -C0267_bit0 C0268_bit0 C0269_bit0 -C0270_bit0 -C0271_bit0 -C0272_bit0 -C0273_bit0 -C0274_bit0 -C0275_bit0 C0276_bit0 -C0277_bit0 C0278_bit0 -C0279_bit0 -C0280_bit0 C0281_bit0 -C0282_bit0 C0283_bit0 -C0284_bit0 C0285_bit0 -C0286_bit0 C0287_bit0 C0288_bit0 -C0289_bit0 C0290_bit0 -C0291_bit0 C0292_bit0 C0293_bit0 -C0294_bit0 -C0295_bit0 -C0296_bit0 -C0297_bit0 -C0298_bit0 C0299_bit0 -C0300_bit0 C0301_bit0 C0302_bit0 C0303_bit0 C0304_bit0 C0305_bit0 -C0306_bit0 -C0307_bit0 C0308_bit0 C0309_bit0 -C0310_bit0 C0311_bit0 C0312_bit0 C0313_bit0 C0314_bit0 -C0315_bit0 C0316_bit0 C0317_bit0 -C0318_bit0 C0319_bit0 C0320_bit0 C0321_bit0 -C0322_bit0 -C0323_bit0 -C0324_bit0 -C0325_bit0 -C0326_bit0 -C0327_bit0 -C0328_bit0 C0329_bit0 -C0330_bit0 C0331_bit0 C0332_bit0 C0333_bit0 C0334_bit0 C0335_bit0 -C0336_bit0 -C0337_bit0 -C0337_bit1 -C0337_bit2 -C0338_bit0 -C0338_bit1 C0338_bit2 -C0339_bit0 C0339_bit1 -C0339_bit2 C0340_bit0 C0340_bit1 -C0340_bit2 C0341_bit0 -C0341_bit1 -C0341_bit2 -C0342_bit0 C0342_bit1 C0342_bit2 C0343_bit0 -C0343_bit1 C0343_bit2 C0344_bit0 C0344_bit1 -C0344_bit2 C0345_bit0 C0345_bit1 -C0345_bit2 -C0346_bit0 C0346_bit1 C0346_bit2 -C0347_bit0 -C0347_bit1 -C0347_bit2 C0348_bit0 -C0348_bit1 -C0348_bit2 -C0349_bit0 -C0349_bit1 -C0349_bit2 C0350_bit0 -C0350_bit1 C0350_bit2 -C0351_bit0 -C0351_bit1 C0351_bit2 C0352_bit0 C0352_bit1 -C0352_bit2 -C0353_bit0 C0353_bit1 C0353_bit2 -C0354_bit0 C0354_bit1 -C0354_bit2 C0355_bit0 -C0355_bit1 C0355_bit2 C0356_bit0 -C0356_bit1 -C0356_bit2 -C0357_bit0 -C0357_bit1 C0357_bit2 -C0358_bit0 C0358_bit1 C0358_bit2 -C0359_bit0 C0359_bit1 -C0359_bit2 C0360_bit0 C0360_bit1 -C0360_bit2 -C0361_bit0 C0361_bit1 C0361_bit2 -C0362_bit0 -C0362_bit1 -C0362_bit2 C0363_bit0 -C0363_bit1 C0363_bit2 C0364_bit0 -C0364_bit1 -C0364_bit2 -C0365_bit0 -C0365_bit1 C0365_bit2 -C0366_bit0 -C0366_bit1 C0366_bit2 -C0367_bit0 -C0367_bit1 -C0367_bit2 -C0368_bit0 -C0368_bit1 -C0368_bit2 C0369_bit0 -C0369_bit1 -C0369_bit2 -C0370_bit0 C0370_bit1 C0370_bit2 C0371_bit0 -C0371_bit1 C0371_bit2 -C0372_bit0 -C0372_bit1 C0372_bit2 C0373_bit0 -C0373_bit1 -C0373_bit2 -C0374_bit0 C0374_bit1 -C0374_bit2 -C0375_bit0 -C0375_bit1 -C0375_bit2 C0376_bit0 C0376_bit1 -C0376_bit2 
#### 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.91 0.95 0.90 1/55 14126
Raw data (stat): 14126 (runsolver) D 14125 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 719458440 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+9.99991 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 424 0 0 0 988 6 0 0 25 0 1 0 719458440 7372800 402 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1800 402 566 18 0 1782 0
vsize: 7200
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 449 0 0 0 1985 9 0 0 25 0 1 0 719458440 7507968 427 4294967295 134512640 134581331 3221224608 3221223304 1075291213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1833 427 566 18 0 1815 0
vsize: 7332
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 461 0 0 0 2981 13 0 0 25 0 1 0 719458440 7507968 439 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1833 439 566 18 0 1815 0
vsize: 7332
[startup+40.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 468 0 0 0 3978 15 0 0 25 0 1 0 719458440 7507968 446 4294967295 134512640 134581331 3221224608 3221223520 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1833 446 566 18 0 1815 0
vsize: 7332
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 473 0 0 0 4976 18 0 0 25 0 1 0 719458440 7630848 451 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 451 566 18 0 1845 0
vsize: 7452
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 483 0 0 0 5972 22 0 0 25 0 1 0 719458440 7630848 461 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 461 566 18 0 1845 0
vsize: 7452
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 484 0 0 0 6969 26 0 0 25 0 1 0 719458440 7630848 462 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 462 566 18 0 1845 0
vsize: 7452
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 499 0 0 0 7966 29 0 0 25 0 1 0 719458440 7630848 477 4294967295 134512640 134581331 3221224608 3221223416 1075285739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1863 477 566 18 0 1845 0
vsize: 7452
[startup+90.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 504 0 0 0 8963 32 0 0 25 0 1 0 719458440 7766016 482 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 482 566 18 0 1878 0
vsize: 7584
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 508 0 0 0 9961 35 0 0 25 0 1 0 719458440 7766016 486 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 486 566 18 0 1878 0
vsize: 7584
[startup+110.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 517 0 0 0 10958 38 0 0 25 0 1 0 719458440 7766016 495 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 495 566 18 0 1878 0
vsize: 7584
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 520 0 0 0 11956 40 0 0 25 0 1 0 719458440 7766016 498 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 498 566 18 0 1878 0
vsize: 7584
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 526 0 0 0 12954 42 0 0 25 0 1 0 719458440 7766016 504 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 504 566 18 0 1878 0
vsize: 7584
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 531 0 0 0 13952 45 0 0 25 0 1 0 719458440 7766016 509 4294967295 134512640 134581331 3221224608 3221223520 134527364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 509 566 18 0 1878 0
vsize: 7584
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 531 0 0 0 14950 46 0 0 25 0 1 0 719458440 7766016 509 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 509 566 18 0 1878 0
vsize: 7584
[startup+160.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 538 0 0 0 15950 49 0 0 25 0 1 0 719458440 7901184 516 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1929 516 566 18 0 1911 0
vsize: 7716
[startup+170.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 542 0 0 0 16948 52 0 0 25 0 1 0 719458440 7901184 520 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1929 520 566 18 0 1911 0
vsize: 7716
[startup+180.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 542 0 0 0 17945 54 0 0 25 0 1 0 719458440 7901184 520 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1929 520 566 18 0 1911 0
vsize: 7716
[startup+190.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 545 0 0 0 18942 57 0 0 25 0 1 0 719458440 7892992 523 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 523 566 18 0 1909 0
vsize: 7708
[startup+200.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 545 0 0 0 19940 60 0 0 25 0 1 0 719458440 7892992 523 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 523 566 18 0 1909 0
vsize: 7708
[startup+210.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 551 0 0 0 20938 62 0 0 25 0 1 0 719458440 7892992 529 4294967295 134512640 134581331 3221224608 3221223520 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 529 566 18 0 1909 0
vsize: 7708
[startup+220.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 551 0 0 0 21936 65 0 0 25 0 1 0 719458440 7892992 529 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 529 566 18 0 1909 0
vsize: 7708
[startup+230.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 551 0 0 0 22935 66 0 0 25 0 1 0 719458440 7892992 529 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 529 566 18 0 1909 0
vsize: 7708
[startup+240.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 551 0 0 0 23932 70 0 0 25 0 1 0 719458440 7892992 529 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 529 566 18 0 1909 0
vsize: 7708
[startup+250.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 553 0 0 0 24929 73 0 0 25 0 1 0 719458440 7892992 531 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 531 566 18 0 1909 0
vsize: 7708
[startup+260.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 553 0 0 0 25927 75 0 0 25 0 1 0 719458440 7892992 531 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 531 566 18 0 1909 0
vsize: 7708
[startup+270.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 554 0 0 0 26925 77 0 0 25 0 1 0 719458440 7892992 532 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 532 566 18 0 1909 0
vsize: 7708
[startup+280.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 554 0 0 0 27923 79 0 0 25 0 1 0 719458440 7892992 532 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 532 566 18 0 1909 0
vsize: 7708
[startup+290.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 554 0 0 0 28920 82 0 0 25 0 1 0 719458440 7892992 532 4294967295 134512640 134581331 3221224608 3221223508 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 532 566 18 0 1909 0
vsize: 7708
[startup+300.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 556 0 0 0 29918 84 0 0 25 0 1 0 719458440 7892992 534 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 534 566 18 0 1909 0
vsize: 7708
[startup+310.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 561 0 0 0 30915 88 0 0 25 0 1 0 719458440 7892992 539 4294967295 134512640 134581331 3221224608 3221223472 134527173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 539 566 18 0 1909 0
vsize: 7708
[startup+320.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 561 0 0 0 31913 90 0 0 25 0 1 0 719458440 7892992 539 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 539 566 18 0 1909 0
vsize: 7708
[startup+330.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 561 0 0 0 32911 93 0 0 25 0 1 0 719458440 7892992 539 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1927 539 566 18 0 1909 0
vsize: 7708
[startup+340.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 569 0 0 0 33909 95 0 0 25 0 1 0 719458440 8024064 547 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 547 566 18 0 1941 0
vsize: 7836
[startup+350.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 569 0 0 0 34906 98 0 0 25 0 1 0 719458440 8019968 547 4294967295 134512640 134581331 3221224608 3221223536 134519955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 547 566 18 0 1940 0
vsize: 7832
[startup+360.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 570 0 0 0 35903 101 0 0 25 0 1 0 719458440 8019968 548 4294967295 134512640 134581331 3221224608 3221223520 134527325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 548 566 18 0 1940 0
vsize: 7832
[startup+370.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 570 0 0 0 36901 103 0 0 25 0 1 0 719458440 8019968 548 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 548 566 18 0 1940 0
vsize: 7832
[startup+380.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 574 0 0 0 37899 106 0 0 25 0 1 0 719458440 8019968 552 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 552 566 18 0 1940 0
vsize: 7832
[startup+390.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 580 0 0 0 38897 108 0 0 25 0 1 0 719458440 8019968 558 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 558 566 18 0 1940 0
vsize: 7832
[startup+400.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 580 0 0 0 39896 110 0 0 25 0 1 0 719458440 8019968 558 4294967295 134512640 134581331 3221224608 3221223520 134527322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 558 566 18 0 1940 0
vsize: 7832
[startup+410.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 586 0 0 0 40894 111 0 0 25 0 1 0 719458440 8019968 564 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 564 566 18 0 1940 0
vsize: 7832
[startup+420.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 589 0 0 0 41892 113 0 0 25 0 1 0 719458440 8019968 567 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 567 566 18 0 1940 0
vsize: 7832
[startup+430.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 42891 115 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223536 134519960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+440.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 43889 118 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223520 134528077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+450.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 44888 119 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+460.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 45886 121 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+470.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 46886 123 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223536 134519939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+480.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 47884 125 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+490.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 48881 128 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+500.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 596 0 0 0 49880 130 0 0 25 0 1 0 719458440 8019968 574 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 574 566 18 0 1940 0
vsize: 7832
[startup+510.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 50878 132 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+520.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 51876 134 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+530.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 52874 136 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223520 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+540.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 53872 139 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+550.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 54870 141 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+560.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 55868 144 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223576 134554653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+570.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 56865 146 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223428 1075289638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+580.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 57865 148 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+590.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 609 0 0 0 58863 150 0 0 25 0 1 0 719458440 8151040 587 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 587 566 18 0 1972 0
vsize: 7960
[startup+600.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 59861 153 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+610.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 60860 154 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+620.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 61858 157 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223472 134527182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+630.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 62855 159 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+640.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 63854 161 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223600 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+650.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 64852 163 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+660.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 65850 165 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223536 134519857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+670.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 66848 168 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+680.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 67845 170 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+690.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 68844 172 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+700.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 69841 175 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223536 134519853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+710.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 70841 177 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+720.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 71838 180 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+730.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 72836 183 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+740.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 616 0 0 0 73833 186 0 0 25 0 1 0 719458440 8151040 594 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 594 566 18 0 1972 0
vsize: 7960
[startup+750.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 628 0 0 0 74831 188 0 0 25 0 1 0 719458440 8151040 606 4294967295 134512640 134581331 3221224608 3221223520 134527995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 606 566 18 0 1972 0
vsize: 7960
[startup+760.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 639 0 0 0 75829 190 0 0 25 0 1 0 719458440 8282112 617 4294967295 134512640 134581331 3221224608 3221223328 134523183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 617 566 18 0 2004 0
vsize: 8088
[startup+770.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 643 0 0 0 76827 192 0 0 25 0 1 0 719458440 8282112 621 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 621 566 18 0 2004 0
vsize: 8088
[startup+780.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 643 0 0 0 77826 194 0 0 25 0 1 0 719458440 8282112 621 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 621 566 18 0 2004 0
vsize: 8088
[startup+790.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 646 0 0 0 78825 195 0 0 25 0 1 0 719458440 8282112 624 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 624 566 18 0 2004 0
vsize: 8088
[startup+800.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 646 0 0 0 79823 197 0 0 25 0 1 0 719458440 8282112 624 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 624 566 18 0 2004 0
vsize: 8088
[startup+810.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 646 0 0 0 80822 198 0 0 25 0 1 0 719458440 8282112 624 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 624 566 18 0 2004 0
vsize: 8088
[startup+820.236 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 646 0 0 0 81831 200 0 0 25 0 1 0 719458440 8282112 624 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 624 566 18 0 2004 0
vsize: 8088
[startup+830.236 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 646 0 0 0 82828 203 0 0 25 0 1 0 719458440 8282112 624 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 624 566 18 0 2004 0
vsize: 8088
[startup+840.235 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 648 0 0 0 83826 205 0 0 25 0 1 0 719458440 8282112 626 4294967295 134512640 134581331 3221224608 3221223472 134528331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 626 566 18 0 2004 0
vsize: 8088
[startup+850.235 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 648 0 0 0 84823 208 0 0 25 0 1 0 719458440 8282112 626 4294967295 134512640 134581331 3221224608 3221223520 134527548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 626 566 18 0 2004 0
vsize: 8088
[startup+860.235 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 648 0 0 0 85822 209 0 0 25 0 1 0 719458440 8282112 626 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 626 566 18 0 2004 0
vsize: 8088
[startup+870.234 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 650 0 0 0 86820 211 0 0 25 0 1 0 719458440 8282112 628 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 628 566 18 0 2004 0
vsize: 8088
[startup+880.236 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 650 0 0 0 87819 213 0 0 25 0 1 0 719458440 8282112 628 4294967295 134512640 134581331 3221224608 3221223500 134527044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 628 566 18 0 2004 0
vsize: 8088
[startup+890.236 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 650 0 0 0 88816 215 0 0 25 0 1 0 719458440 8282112 628 4294967295 134512640 134581331 3221224608 3221223472 134526949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 628 566 18 0 2004 0
vsize: 8088
[startup+900.237 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 650 0 0 0 89815 217 0 0 25 0 1 0 719458440 8282112 628 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 628 566 18 0 2004 0
vsize: 8088
[startup+910.256 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 650 0 0 0 90815 219 0 0 25 0 1 0 719458440 8282112 628 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 628 566 18 0 2004 0
vsize: 8088
[startup+920.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 650 0 0 0 91813 221 0 0 25 0 1 0 719458440 8282112 628 4294967295 134512640 134581331 3221224608 3221223328 134524449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 628 566 18 0 2004 0
vsize: 8088
[startup+930.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 92810 224 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223472 134560320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+940.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 93809 226 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223492 134557928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+950.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 94806 229 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223584 134560826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+960.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 95804 231 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223600 134560768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+970.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 96802 233 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+980.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 97801 235 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+990.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 98799 237 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1000.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 99798 240 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1010.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 100796 241 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1020.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 101794 243 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1030.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 102792 246 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1040.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 103790 248 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1050.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 104788 250 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1060.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 105786 253 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1070.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 106784 256 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223520 134527816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1080.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 107781 259 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1090.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 655 0 0 0 108780 262 0 0 25 0 1 0 719458440 8282112 633 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 633 566 18 0 2004 0
vsize: 8088
[startup+1100.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 109777 264 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223520 134527484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1110.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 110775 266 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1120.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 111773 269 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1130.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 112771 271 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1140.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 113768 274 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223576 134527292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1150.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 114766 276 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1160.4 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 115773 280 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223564 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1170.4 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 116771 282 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1180.41 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 117770 284 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 8088
[startup+1188.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14126
Raw data (stat): 14126 (Pueblo) R 14125 8378 8377 0 -1 0 659 0 0 0 117770 284 0 0 25 0 1 0 719458440 8282112 637 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 637 566 18 0 2004 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.02
CPU user time (s): 1186.14
CPU system time (s): 2.87256
CPU usage (%): 100.012
Max. virtual memory (Kb): 8088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	117
#### END VERIFIER DATA ####