PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUM	f88781e3d6e9a5487d13eaa213c27b55
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4272
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	205
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	105
Trace number 25518

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 03:45:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19481 boxname=wulflinc31 idbench=1499 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  f88781e3d6e9a5487d13eaa213c27b55  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare1_1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare1_1.opb
IDLAUNCH: 19481
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        769840 kB
Buffers:         28060 kB
Cached:         216432 kB
SwapCached:        920 kB
Active:         109284 kB
Inactive:       137268 kB
HighTotal:      131008 kB
HighFree:         2828 kB
LowTotal:       903652 kB
LowFree:        767012 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12668 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 04:05:16 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 19481 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/wulflinc31/normalized-mps-v2-13-7-markshare1_1.opb
c #variables read: 205 - #constraints read: 63
s SATISFIABLE
v s01_bit_7 s01_bit_6 s01_bit_5 -s01_bit_4 s01_bit_3 s01_bit_2 -s01_bit_1 s01_bit0 -s01_bit1 -s01_bit2 s01_bit3 s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 s11_bit_7 s11_bit_6 s11_bit_5 s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 s11_bit1 s11_bit2 -s11_bit3 s11_bit4 -s11_bit5 s11_bit6 s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 s21_bit_7 -s21_bit_6 -s21_bit_5 s21_bit_4 s21_bit_3 s21_bit_2 s21_bit_1 -s21_bit0 -s21_bit1 s21_bit2 s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 s31_bit_7 s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 s41_bit_7 -s41_bit_6 s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 s51_bit_4 -s51_bit_3 -s51_bit_2 s51_bit_1 s51_bit0 s51_bit1 s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 x0_bit0 -x1_bit0 x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 -x36_bit0 x37_bit0 x38_bit0 x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 x43_bit0 x44_bit0 -x45_bit_7 x45_bit_6 x45_bit_5 x45_bit_4 x45_bit_3 x45_bit_2 x45_bit_1 -x45_bit0 x46_bit_7 x46_bit_6 x46_bit_5 x46_bit_4 x46_bit_3 x46_bit_2 -x46_bit_1 -x46_bit0 x47_bit_7 x47_bit_6 x47_bit_5 x47_bit_4 x47_bit_3 x47_bit_2 x47_bit_1 -x47_bit0 -x48_bit0 x49_bit_7 -x49_bit_6 x49_bit_5 x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.93 2/55 28228
Raw data (stat): 28228 (runsolver) R 28227 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 792517513 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 312 0 0 0 990 7 0 0 25 0 1 0 792517513 6955008 289 4294967295 134512640 134581331 3221221776 3221220672 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 289 566 18 0 1680 0
vsize: 6792
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 321 0 0 0 1985 12 0 0 25 0 1 0 792517513 6955008 298 4294967295 134512640 134581331 3221221776 3221220672 134517868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 298 566 18 0 1680 0
vsize: 6792
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 323 0 0 0 2980 18 0 0 25 0 1 0 792517513 6955008 300 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 300 566 18 0 1680 0
vsize: 6792
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 326 0 0 0 3975 22 0 0 25 0 1 0 792517513 6955008 303 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 303 566 18 0 1680 0
vsize: 6792
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 329 0 0 0 4970 27 0 0 25 0 1 0 792517513 6955008 306 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 306 566 18 0 1680 0
vsize: 6792
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 332 0 0 0 5965 32 0 0 25 0 1 0 792517513 6955008 309 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 309 566 18 0 1680 0
vsize: 6792
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 332 0 0 0 6960 38 0 0 25 0 1 0 792517513 6955008 309 4294967295 134512640 134581331 3221221776 3221220768 134561142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 309 566 18 0 1680 0
vsize: 6792
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 332 0 0 0 7954 44 0 0 25 0 1 0 792517513 6955008 309 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 309 566 18 0 1680 0
vsize: 6792
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 332 0 0 0 8948 50 0 0 25 0 1 0 792517513 6955008 309 4294967295 134512640 134581331 3221221776 3221220640 134560398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1698 309 566 18 0 1680 0
vsize: 6792
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 341 0 0 0 9944 54 0 0 25 0 1 0 792517513 7086080 318 4294967295 134512640 134581331 3221221776 3221220688 134527800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 318 566 18 0 1712 0
vsize: 6920
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 341 0 0 0 10939 59 0 0 25 0 1 0 792517513 7086080 318 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 318 566 18 0 1712 0
vsize: 6920
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 341 0 0 0 11933 66 0 0 25 0 1 0 792517513 7086080 318 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 318 566 18 0 1712 0
vsize: 6920
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 341 0 0 0 12929 70 0 0 25 0 1 0 792517513 7086080 318 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 318 566 18 0 1712 0
vsize: 6920
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 341 0 0 0 13926 73 0 0 25 0 1 0 792517513 7086080 318 4294967295 134512640 134581331 3221221776 3221220640 134528464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 318 566 18 0 1712 0
vsize: 6920
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 345 0 0 0 14921 79 0 0 25 0 1 0 792517513 7086080 322 4294967295 134512640 134581331 3221221776 3221220744 134527298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 322 566 18 0 1712 0
vsize: 6920
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 345 0 0 0 15914 85 0 0 25 0 1 0 792517513 7086080 322 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 322 566 18 0 1712 0
vsize: 6920
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 358 0 0 0 16910 89 0 0 25 0 1 0 792517513 7086080 335 4294967295 134512640 134581331 3221221776 3221220744 134527273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 335 566 18 0 1712 0
vsize: 6920
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 358 0 0 0 17906 94 0 0 25 0 1 0 792517513 7086080 335 4294967295 134512640 134581331 3221221776 3221220640 134528350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 335 566 18 0 1712 0
vsize: 6920
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 368 0 0 0 18901 99 0 0 25 0 1 0 792517513 7086080 345 4294967295 134512640 134581331 3221221776 3221220720 134559425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+200.003 s]
Raw data (loadavg): 1.06 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 368 0 0 0 19897 103 0 0 25 0 1 0 792517513 7086080 345 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+210.003 s]
Raw data (loadavg): 1.05 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 368 0 0 0 20894 105 0 0 25 0 1 0 792517513 7086080 345 4294967295 134512640 134581331 3221221776 3221220688 134527783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+220.004 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 368 0 0 0 21889 111 0 0 25 0 1 0 792517513 7086080 345 4294967295 134512640 134581331 3221221776 3221220688 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+230.004 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 368 0 0 0 22884 116 0 0 25 0 1 0 792517513 7086080 345 4294967295 134512640 134581331 3221221776 3221220688 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+240.005 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 368 0 0 0 23879 121 0 0 25 0 1 0 792517513 7086080 345 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+250.005 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 368 0 0 0 24876 124 0 0 25 0 1 0 792517513 7086080 345 4294967295 134512640 134581331 3221221776 3221220720 134558928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+260.004 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 25872 129 0 0 25 0 1 0 792517513 7221248 356 4294967295 134512640 134581331 3221221776 3221220720 134559385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1763 356 566 18 0 1745 0
vsize: 7052
[startup+270.004 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 26867 133 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+280.004 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 27863 138 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+290.006 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 28859 142 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+300.005 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 29855 147 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+310.005 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 30851 150 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220672 134517737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+320.005 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 31849 153 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220640 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+330.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 32845 157 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220688 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+340.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 33842 160 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+350.005 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 34838 164 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+360.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 35834 168 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+370.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 36829 174 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220640 134528412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+380.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 37825 178 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+390.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 38821 182 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220688 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+400.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 39818 185 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+410.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 40814 189 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220688 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+420.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 41810 193 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220672 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+430.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 42807 197 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220688 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+440.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 43802 202 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+450.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 44798 206 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220640 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+460.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 45794 210 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+470.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 46792 212 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220688 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+480.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 47790 214 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+490.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 48788 217 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+500.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 49785 220 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+510.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 50782 223 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+520.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 51777 229 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+530.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 379 0 0 0 52772 234 0 0 25 0 1 0 792517513 7208960 356 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 356 566 18 0 1742 0
vsize: 7040
[startup+540.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 380 0 0 0 53768 237 0 0 25 0 1 0 792517513 7208960 357 4294967295 134512640 134581331 3221221776 3221220688 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 357 566 18 0 1742 0
vsize: 7040
[startup+550.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 380 0 0 0 54764 242 0 0 25 0 1 0 792517513 7208960 357 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 357 566 18 0 1742 0
vsize: 7040
[startup+560.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 55759 247 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+570.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 56755 251 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220748 134527264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+580.011 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 57751 255 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 58747 260 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+600.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 59743 264 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+610.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 60740 267 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+620.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 61735 272 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+630.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 62731 276 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220596 1075289770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+640.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 63728 279 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220640 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 64723 284 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+660.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 65721 287 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+670.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 66717 291 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+680.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 67713 295 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220640 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+690.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 68709 299 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220720 134558800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+700.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 69706 303 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+710.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 70702 307 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 386 0 0 0 71697 311 0 0 25 0 1 0 792517513 7208960 363 4294967295 134512640 134581331 3221221776 3221220672 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 363 566 18 0 1742 0
vsize: 7040
[startup+730.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 387 0 0 0 72693 316 0 0 25 0 1 0 792517513 7208960 364 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 364 566 18 0 1742 0
vsize: 7040
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 389 0 0 0 73688 321 0 0 25 0 1 0 792517513 7208960 366 4294967295 134512640 134581331 3221221776 3221220768 134561117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 366 566 18 0 1742 0
vsize: 7040
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 74684 325 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+760.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 75681 328 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 76677 333 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220744 134527292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+780.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 77672 337 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220688 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+790.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 78668 342 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220688 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+800.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 79663 347 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+810.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 80659 351 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+820.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 391 0 0 0 81654 356 0 0 25 0 1 0 792517513 7208960 368 4294967295 134512640 134581331 3221221776 3221220640 134528375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 368 566 18 0 1742 0
vsize: 7040
[startup+830.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 392 0 0 0 82649 361 0 0 25 0 1 0 792517513 7208960 369 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 369 566 18 0 1742 0
vsize: 7040
[startup+840.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 392 0 0 0 83644 366 0 0 25 0 1 0 792517513 7208960 369 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 369 566 18 0 1742 0
vsize: 7040
[startup+850.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 392 0 0 0 84641 370 0 0 25 0 1 0 792517513 7208960 369 4294967295 134512640 134581331 3221221776 3221220796 1075289601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 369 566 18 0 1742 0
vsize: 7040
[startup+860.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 392 0 0 0 85637 374 0 0 25 0 1 0 792517513 7208960 369 4294967295 134512640 134581331 3221221776 3221220688 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 369 566 18 0 1742 0
vsize: 7040
[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 28228
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 392 0 0 0 86633 378 0 0 25 0 1 0 792517513 7208960 369 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1760 369 566 18 0 1742 0
vsize: 7040
[startup+880.021 s]
Raw data (loadavg): 1.08 1.00 0.94 3/58 28264
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 87629 382 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220720 134559295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+890.022 s]
Raw data (loadavg): 1.14 1.02 0.95 2/55 28281
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 88627 385 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+900.022 s]
Raw data (loadavg): 1.12 1.02 0.95 2/55 28281
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 89623 389 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+910.023 s]
Raw data (loadavg): 1.10 1.02 0.95 2/55 28281
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 90618 394 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+920.029 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 28281
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 91615 398 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+930.028 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 28281
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 92610 403 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+940.029 s]
Raw data (loadavg): 1.06 1.01 0.95 2/55 28281
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 93606 407 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+950.031 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 28281
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 94602 412 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+960.032 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 95598 416 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+970.033 s]
Raw data (loadavg): 1.04 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 96594 420 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+980.033 s]
Raw data (loadavg): 1.03 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 97589 425 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+990.034 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 98585 430 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1000.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 99581 434 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1010.04 s]
Raw data (loadavg): 1.02 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 100576 439 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1020.04 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 101570 445 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1030.04 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 102566 449 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 103562 453 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 104557 458 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 105555 461 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 106550 466 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 107546 470 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 108543 474 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 109539 478 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 110535 482 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 111529 488 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 112524 493 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 113519 498 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 114515 503 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220704 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 115510 508 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220840 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 116505 513 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 117501 517 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 7156
[startup+1188.87 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 28283
Raw data (stat): 28228 (Pueblo) R 28227 7876 7672 0 -1 0 415 0 0 0 117501 517 0 0 25 0 1 0 792517513 7327744 392 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1789 392 566 18 0 1771 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1183.8
CPU system time (s): 5.21621
CPU usage (%): 100.012
Max. virtual memory (Kb): 7156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	49679
#### END VERIFIER DATA ####