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 38938

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 18:57:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26995 boxname=wulflinc2 idbench=1123 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 26995
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        532216 kB
Buffers:         26552 kB
Cached:         453388 kB
SwapCached:       1160 kB
Active:          33172 kB
Inactive:       449268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        531964 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14436 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 19:17:07 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26995 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/wulflinc2/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.74 0.83 0.86 2/54 29596
Raw data (stat): 29596 (runsolver) R 29595 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852125435 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.78 0.84 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 418 0 0 0 993 5 0 0 25 0 1 0 852125435 7368704 392 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1799 392 566 18 0 1781 0
vsize: 7196
[startup+20.0002 s]
Raw data (loadavg): 0.82 0.84 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 430 0 0 0 1987 11 0 0 25 0 1 0 852125435 7368704 404 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1799 404 566 18 0 1781 0
vsize: 7196
[startup+30.0012 s]
Raw data (loadavg): 0.84 0.85 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 434 0 0 0 2983 16 0 0 25 0 1 0 852125435 7368704 408 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1799 408 566 18 0 1781 0
vsize: 7196
[startup+40.0013 s]
Raw data (loadavg): 0.87 0.85 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 446 0 0 0 3978 21 0 0 25 0 1 0 852125435 7503872 420 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1832 420 566 18 0 1814 0
vsize: 7328
[startup+50.0023 s]
Raw data (loadavg): 0.89 0.86 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 457 0 0 0 4973 26 0 0 25 0 1 0 852125435 7503872 431 4294967295 134512640 134581267 3221224576 3221223440 134528097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1832 431 566 18 0 1814 0
vsize: 7328
[startup+60.0021 s]
Raw data (loadavg): 0.90 0.86 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 465 0 0 0 5969 30 0 0 25 0 1 0 852125435 7503872 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1832 439 566 18 0 1814 0
vsize: 7328
[startup+70.0024 s]
Raw data (loadavg): 0.92 0.86 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 479 0 0 0 6965 34 0 0 25 0 1 0 852125435 7639040 453 4294967295 134512640 134581267 3221224576 3221223272 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 453 566 18 0 1847 0
vsize: 7460
[startup+80.0034 s]
Raw data (loadavg): 0.93 0.87 0.86 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 479 0 0 0 7963 37 0 0 25 0 1 0 852125435 7639040 453 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 453 566 18 0 1847 0
vsize: 7460
[startup+90.0034 s]
Raw data (loadavg): 0.94 0.87 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 484 0 0 0 8958 42 0 0 25 0 1 0 852125435 7639040 458 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 458 566 18 0 1847 0
vsize: 7460
[startup+100.003 s]
Raw data (loadavg): 0.95 0.88 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 484 0 0 0 9952 48 0 0 25 0 1 0 852125435 7639040 458 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 458 566 18 0 1847 0
vsize: 7460
[startup+110.005 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 492 0 0 0 10948 53 0 0 25 0 1 0 852125435 7639040 466 4294967295 134512640 134581267 3221224576 3221223604 134560152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 466 566 18 0 1847 0
vsize: 7460
[startup+120.005 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 492 0 0 0 11943 57 0 0 25 0 1 0 852125435 7639040 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 466 566 18 0 1847 0
vsize: 7460
[startup+130.006 s]
Raw data (loadavg): 0.97 0.89 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 494 0 0 0 12939 62 0 0 25 0 1 0 852125435 7639040 468 4294967295 134512640 134581267 3221224576 3221223616 134564993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 468 566 18 0 1847 0
vsize: 7460
[startup+140.006 s]
Raw data (loadavg): 0.97 0.89 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 498 0 0 0 13934 67 0 0 25 0 1 0 852125435 7639040 472 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 472 566 18 0 1847 0
vsize: 7460
[startup+150.006 s]
Raw data (loadavg): 0.98 0.89 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 498 0 0 0 14930 71 0 0 25 0 1 0 852125435 7639040 472 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 472 566 18 0 1847 0
vsize: 7460
[startup+160.006 s]
Raw data (loadavg): 0.98 0.90 0.87 2/54 29596
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 506 0 0 0 15927 74 0 0 25 0 1 0 852125435 7770112 480 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1897 480 566 18 0 1879 0
vsize: 7588
[startup+170.006 s]
Raw data (loadavg): 1.06 0.92 0.88 2/54 29649
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 506 0 0 0 16922 80 0 0 25 0 1 0 852125435 7761920 480 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1895 480 566 18 0 1877 0
vsize: 7580
[startup+180.007 s]
Raw data (loadavg): 1.05 0.92 0.88 2/54 29649
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 506 0 0 0 17917 85 0 0 25 0 1 0 852125435 7761920 480 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1895 480 566 18 0 1877 0
vsize: 7580
[startup+190.008 s]
Raw data (loadavg): 1.04 0.92 0.88 2/54 29649
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 509 0 0 0 18912 90 0 0 25 0 1 0 852125435 7749632 483 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1892 483 566 18 0 1874 0
vsize: 7568
[startup+200.008 s]
Raw data (loadavg): 1.04 0.92 0.88 2/54 29649
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 516 0 0 0 19908 94 0 0 25 0 1 0 852125435 7749632 490 4294967295 134512640 134581267 3221224576 3221223484 134527740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1892 490 566 18 0 1874 0
vsize: 7568
[startup+210.009 s]
Raw data (loadavg): 1.03 0.92 0.88 2/54 29649
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 516 0 0 0 20904 98 0 0 25 0 1 0 852125435 7749632 490 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1892 490 566 18 0 1874 0
vsize: 7568
[startup+220.009 s]
Raw data (loadavg): 1.03 0.93 0.88 2/54 29649
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 519 0 0 0 21900 103 0 0 25 0 1 0 852125435 7749632 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1892 493 566 18 0 1874 0
vsize: 7568
[startup+230.009 s]
Raw data (loadavg): 1.02 0.93 0.88 2/54 29649
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 519 0 0 0 22894 108 0 0 25 0 1 0 852125435 7749632 493 4294967295 134512640 134581267 3221224576 3221223440 134560314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1892 493 566 18 0 1874 0
vsize: 7568
[startup+240.009 s]
Raw data (loadavg): 1.02 0.93 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 525 0 0 0 23889 114 0 0 25 0 1 0 852125435 7749632 499 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1892 499 566 18 0 1874 0
vsize: 7568
[startup+250.008 s]
Raw data (loadavg): 1.01 0.93 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 534 0 0 0 24885 118 0 0 25 0 1 0 852125435 7880704 508 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1924 508 566 18 0 1906 0
vsize: 7696
[startup+260.009 s]
Raw data (loadavg): 1.01 0.93 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 537 0 0 0 25879 124 0 0 25 0 1 0 852125435 7872512 511 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 511 566 18 0 1904 0
vsize: 7688
[startup+270.009 s]
Raw data (loadavg): 1.01 0.93 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 537 0 0 0 26874 130 0 0 25 0 1 0 852125435 7872512 511 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 511 566 18 0 1904 0
vsize: 7688
[startup+280.009 s]
Raw data (loadavg): 1.01 0.94 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 548 0 0 0 27869 135 0 0 25 0 1 0 852125435 7872512 522 4294967295 134512640 134581267 3221224576 3221223440 134560333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 522 566 18 0 1904 0
vsize: 7688
[startup+290.009 s]
Raw data (loadavg): 1.01 0.94 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 548 0 0 0 28864 140 0 0 25 0 1 0 852125435 7872512 522 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 522 566 18 0 1904 0
vsize: 7688
[startup+300.009 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 549 0 0 0 29859 145 0 0 25 0 1 0 852125435 7872512 523 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 523 566 18 0 1904 0
vsize: 7688
[startup+310.009 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 560 0 0 0 30855 149 0 0 25 0 1 0 852125435 7872512 534 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 534 566 18 0 1904 0
vsize: 7688
[startup+320.009 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 562 0 0 0 31851 153 0 0 25 0 1 0 852125435 7872512 536 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 536 566 18 0 1904 0
vsize: 7688
[startup+330.01 s]
Raw data (loadavg): 1.00 0.94 0.89 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 562 0 0 0 32848 156 0 0 25 0 1 0 852125435 7872512 536 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 536 566 18 0 1904 0
vsize: 7688
[startup+340.01 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 562 0 0 0 33845 160 0 0 25 0 1 0 852125435 7872512 536 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1922 536 566 18 0 1904 0
vsize: 7688
[startup+350.01 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 570 0 0 0 34841 164 0 0 25 0 1 0 852125435 8007680 544 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 544 566 18 0 1937 0
vsize: 7820
[startup+360.011 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 570 0 0 0 35838 168 0 0 25 0 1 0 852125435 8007680 544 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 544 566 18 0 1937 0
vsize: 7820
[startup+370.01 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 573 0 0 0 36834 172 0 0 25 0 1 0 852125435 8007680 547 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 547 566 18 0 1937 0
vsize: 7820
[startup+380.012 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 573 0 0 0 37829 177 0 0 25 0 1 0 852125435 8007680 547 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 547 566 18 0 1937 0
vsize: 7820
[startup+390.013 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 573 0 0 0 38825 180 0 0 25 0 1 0 852125435 8007680 547 4294967295 134512640 134581267 3221224576 3221223552 134560756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 547 566 18 0 1937 0
vsize: 7820
[startup+400.013 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 576 0 0 0 39823 183 0 0 25 0 1 0 852125435 8007680 550 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 550 566 18 0 1937 0
vsize: 7820
[startup+410.013 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 576 0 0 0 40820 187 0 0 25 0 1 0 852125435 8007680 550 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 550 566 18 0 1937 0
vsize: 7820
[startup+420.013 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 576 0 0 0 41817 190 0 0 25 0 1 0 852125435 8007680 550 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 550 566 18 0 1937 0
vsize: 7820
[startup+430.014 s]
Raw data (loadavg): 1.00 0.95 0.90 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 576 0 0 0 42812 195 0 0 25 0 1 0 852125435 8007680 550 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 550 566 18 0 1937 0
vsize: 7820
[startup+440.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 576 0 0 0 43808 199 0 0 25 0 1 0 852125435 8007680 550 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 550 566 18 0 1937 0
vsize: 7820
[startup+450.014 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 580 0 0 0 44804 203 0 0 25 0 1 0 852125435 8007680 554 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 554 566 18 0 1937 0
vsize: 7820
[startup+460.014 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 587 0 0 0 45800 207 0 0 25 0 1 0 852125435 8007680 561 4294967295 134512640 134581267 3221224576 3221223324 1075285189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 561 566 18 0 1937 0
vsize: 7820
[startup+470.014 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 587 0 0 0 46797 211 0 0 25 0 1 0 852125435 8007680 561 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 561 566 18 0 1937 0
vsize: 7820
[startup+480.014 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 587 0 0 0 47794 214 0 0 25 0 1 0 852125435 8007680 561 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 561 566 18 0 1937 0
vsize: 7820
[startup+490.027 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 591 0 0 0 48791 218 0 0 25 0 1 0 852125435 8007680 565 4294967295 134512640 134581267 3221224576 3221223264 1075288574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 565 566 18 0 1937 0
vsize: 7820
[startup+500.04 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 591 0 0 0 49787 223 0 0 25 0 1 0 852125435 8007680 565 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 565 566 18 0 1937 0
vsize: 7820
[startup+510.041 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 591 0 0 0 50784 227 0 0 25 0 1 0 852125435 8007680 565 4294967295 134512640 134581267 3221224576 3221223320 1075288176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1955 565 566 18 0 1937 0
vsize: 7820
[startup+520.04 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 51780 231 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+530.041 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 29651
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 52776 235 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+540.04 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 53773 239 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+550.04 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 54768 243 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223500 134519970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+560.041 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 55765 247 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+570.041 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 56761 251 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+580.047 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 57758 255 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+590.052 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 602 0 0 0 58755 259 0 0 25 0 1 0 852125435 8138752 576 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 576 566 18 0 1969 0
vsize: 7948
[startup+600.057 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 606 0 0 0 59752 262 0 0 25 0 1 0 852125435 8138752 580 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 580 566 18 0 1969 0
vsize: 7948
[startup+610.057 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 606 0 0 0 60749 266 0 0 25 0 1 0 852125435 8138752 580 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 580 566 18 0 1969 0
vsize: 7948
[startup+620.057 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 606 0 0 0 61745 270 0 0 25 0 1 0 852125435 8138752 580 4294967295 134512640 134581267 3221224576 3221223408 134531745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 580 566 18 0 1969 0
vsize: 7948
[startup+630.057 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 606 0 0 0 62740 275 0 0 25 0 1 0 852125435 8138752 580 4294967295 134512640 134581267 3221224576 3221223368 1075285892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 580 566 18 0 1969 0
vsize: 7948
[startup+640.057 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 606 0 0 0 63736 279 0 0 25 0 1 0 852125435 8138752 580 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 580 566 18 0 1969 0
vsize: 7948
[startup+650.057 s]
Raw data (loadavg): 1.22 1.05 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 611 0 0 0 64732 283 0 0 25 0 1 0 852125435 8138752 585 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 585 566 18 0 1969 0
vsize: 7948
[startup+660.058 s]
Raw data (loadavg): 1.19 1.05 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 611 0 0 0 65726 289 0 0 25 0 1 0 852125435 8138752 585 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 585 566 18 0 1969 0
vsize: 7948
[startup+670.057 s]
Raw data (loadavg): 1.16 1.04 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 611 0 0 0 66721 295 0 0 25 0 1 0 852125435 8138752 585 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 585 566 18 0 1969 0
vsize: 7948
[startup+680.057 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 611 0 0 0 67716 300 0 0 25 0 1 0 852125435 8138752 585 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 585 566 18 0 1969 0
vsize: 7948
[startup+690.058 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 611 0 0 0 68712 304 0 0 25 0 1 0 852125435 8138752 585 4294967295 134512640 134581267 3221224576 3221223396 1075289831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 585 566 18 0 1969 0
vsize: 7948
[startup+700.057 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 615 0 0 0 69707 309 0 0 25 0 1 0 852125435 8138752 589 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1987 589 566 18 0 1969 0
vsize: 7948
[startup+710.056 s]
Raw data (loadavg): 1.08 1.04 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 70701 315 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+720.056 s]
Raw data (loadavg): 1.07 1.04 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 71697 320 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+730.057 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 72692 324 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+740.057 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 73685 331 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+750.057 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 74680 337 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+760.057 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 75673 344 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+770.057 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 76669 349 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+780.057 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 77664 353 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+790.057 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 78662 356 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+800.057 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 79659 359 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+810.058 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 80655 363 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223228 1075288351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+820.058 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 81652 366 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+830.058 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 82649 369 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+840.058 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 83646 372 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+850.057 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 84643 376 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+860.057 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 85640 379 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223456 134560409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+870.057 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 86635 384 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+880.057 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 87633 387 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+890.057 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 88630 390 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+900.057 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 89625 394 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+910.057 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 90622 398 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+920.057 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 91618 402 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+930.058 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 92614 406 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+940.058 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 93612 409 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223440 134528382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+950.058 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 94608 413 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+960.059 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 635 0 0 0 95605 416 0 0 25 0 1 0 852125435 8269824 609 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 609 566 18 0 2001 0
vsize: 8076
[startup+970.058 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 640 0 0 0 96599 422 0 0 25 0 1 0 852125435 8269824 614 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 614 566 18 0 2001 0
vsize: 8076
[startup+980.058 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 640 0 0 0 97595 426 0 0 25 0 1 0 852125435 8269824 614 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 614 566 18 0 2001 0
vsize: 8076
[startup+990.058 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 640 0 0 0 98591 430 0 0 25 0 1 0 852125435 8269824 614 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 614 566 18 0 2001 0
vsize: 8076
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 99588 434 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 100584 438 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 101580 441 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 102577 445 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223552 134560782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 103573 449 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223472 134560256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 104569 454 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 105563 460 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 106558 465 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 107554 469 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223472 134517943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 108549 474 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 109544 479 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 110539 484 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223456 134527186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 111534 489 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 112530 493 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 113526 498 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 114522 502 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223488 134527966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 115518 507 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 116514 511 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 117509 516 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 8076
[startup+1188.81 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 29653
Raw data (stat): 29596 (Pueblo-v2) R 29595 31399 31398 0 -1 0 647 0 0 0 117509 516 0 0 25 0 1 0 852125435 8269824 621 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2019 621 566 18 0 2001 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1183.8
CPU system time (s): 5.20921
CPU usage (%): 100.017
Max. virtual memory (Kb): 8076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	117
#### END VERIFIER DATA ####