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/fctp/normalized-mps-v2-13-7-gr4x6.opb
MD5SUM	c1c7537cd9b3e10215a81ec1ca3be5cb
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2605440
Optimality of the best value was proved	NO
Number of terms in the objective function	504
Biggest coefficient in the objective function	148373504
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	3393589600
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	148373504
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	3393589600
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	504
Total number of constraints	34
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	34
Minimum length of a constraint	21
Maximum length of a constraint	120
Trace number 26985

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 18:29:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18987 boxname=wulflinc2 idbench=1461 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  c1c7537cd9b3e10215a81ec1ca3be5cb  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-gr4x6.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-gr4x6.opb
IDLAUNCH: 18987
/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:        772628 kB
Buffers:         33936 kB
Cached:         208016 kB
SwapCached:        876 kB
Active:          70976 kB
Inactive:       173576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        772376 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            11792 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:49:15 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 18987 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-13-7-gr4x6.opb
c #variables read: 504 - #constraints read: 45
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 X1_bit1 X1_bit2 X1_bit3 X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 X2_bit0 X2_bit1 X2_bit2 X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 X6_bit0 X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 X15_bit0 X15_bit1 X15_bit2 X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 X16_bit0 -X16_bit1 X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 X20_bit1 -X20_bit2 X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 X23_bit0 -X23_bit1 X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -Y0_bit0 Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 Y20_bit0 -Y21_bit0 -Y22_bit0 Y23_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.93 2/54 1679
Raw data (stat): 1679 (runsolver) R 1678 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774187403 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 403 0 0 0 995 3 0 0 25 0 1 0 774187403 7237632 381 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 381 566 18 0 1749 0
vsize: 7068
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 444 0 0 0 1992 6 0 0 25 0 1 0 774187403 7475200 422 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1825 422 566 18 0 1807 0
vsize: 7300
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 444 0 0 0 2989 9 0 0 25 0 1 0 774187403 7475200 422 4294967295 134512640 134581331 3221224608 3221223472 134528518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1825 422 566 18 0 1807 0
vsize: 7300
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 447 0 0 0 3985 13 0 0 25 0 1 0 774187403 7475200 425 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1825 425 566 18 0 1807 0
vsize: 7300
[startup+50.001 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 471 0 0 0 4983 16 0 0 25 0 1 0 774187403 7606272 449 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1857 449 566 18 0 1839 0
vsize: 7428
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 500 0 0 0 5980 18 0 0 25 0 1 0 774187403 7671808 478 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1873 478 566 18 0 1855 0
vsize: 7492
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 500 0 0 0 6975 24 0 0 25 0 1 0 774187403 7671808 478 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1873 478 566 18 0 1855 0
vsize: 7492
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 500 0 0 0 7973 26 0 0 25 0 1 0 774187403 7671808 478 4294967295 134512640 134581331 3221224608 3221223504 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1873 478 566 18 0 1855 0
vsize: 7492
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 500 0 0 0 8970 30 0 0 25 0 1 0 774187403 7671808 478 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1873 478 566 18 0 1855 0
vsize: 7492
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 531 0 0 0 9967 32 0 0 25 0 1 0 774187403 7794688 509 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1903 509 566 18 0 1885 0
vsize: 7612
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 531 0 0 0 10964 36 0 0 25 0 1 0 774187403 7794688 509 4294967295 134512640 134581331 3221224608 3221223472 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1903 509 566 18 0 1885 0
vsize: 7612
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 531 0 0 0 11961 39 0 0 25 0 1 0 774187403 7794688 509 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1903 509 566 18 0 1885 0
vsize: 7612
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 573 0 0 0 12960 40 0 0 25 0 1 0 774187403 7929856 551 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 551 566 18 0 1918 0
vsize: 7744
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 573 0 0 0 13960 40 0 0 25 0 1 0 774187403 7929856 551 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 551 566 18 0 1918 0
vsize: 7744
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 575 0 0 0 14960 41 0 0 25 0 1 0 774187403 7929856 553 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 553 566 18 0 1918 0
vsize: 7744
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 577 0 0 0 15959 41 0 0 25 0 1 0 774187403 8056832 555 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 555 566 18 0 1949 0
vsize: 7868
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 583 0 0 0 16959 42 0 0 25 0 1 0 774187403 8052736 561 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 561 566 18 0 1948 0
vsize: 7864
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 587 0 0 0 17958 42 0 0 25 0 1 0 774187403 8052736 565 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 565 566 18 0 1948 0
vsize: 7864
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 591 0 0 0 18958 43 0 0 25 0 1 0 774187403 8052736 569 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 569 566 18 0 1948 0
vsize: 7864
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 591 0 0 0 19955 46 0 0 25 0 1 0 774187403 8052736 569 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 569 566 18 0 1948 0
vsize: 7864
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 595 0 0 0 20954 48 0 0 25 0 1 0 774187403 8052736 573 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 573 566 18 0 1948 0
vsize: 7864
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 595 0 0 0 21952 49 0 0 25 0 1 0 774187403 8052736 573 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 573 566 18 0 1948 0
vsize: 7864
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 595 0 0 0 22951 51 0 0 25 0 1 0 774187403 8052736 573 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 573 566 18 0 1948 0
vsize: 7864
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 595 0 0 0 23950 52 0 0 25 0 1 0 774187403 8052736 573 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 573 566 18 0 1948 0
vsize: 7864
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 24948 54 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 25944 58 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 26941 62 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 27938 64 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 28937 66 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 29936 68 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 30933 70 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 31931 72 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 602 0 0 0 32928 75 0 0 25 0 1 0 774187403 8052736 580 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 580 566 18 0 1948 0
vsize: 7864
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 603 0 0 0 33925 79 0 0 25 0 1 0 774187403 8052736 581 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 581 566 18 0 1948 0
vsize: 7864
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 620 0 0 0 34922 82 0 0 25 0 1 0 774187403 8179712 598 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 598 566 18 0 1979 0
vsize: 7988
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 620 0 0 0 35920 85 0 0 25 0 1 0 774187403 8179712 598 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 598 566 18 0 1979 0
vsize: 7988
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 620 0 0 0 36914 90 0 0 25 0 1 0 774187403 8179712 598 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 598 566 18 0 1979 0
vsize: 7988
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 620 0 0 0 37911 94 0 0 25 0 1 0 774187403 8179712 598 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 598 566 18 0 1979 0
vsize: 7988
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 622 0 0 0 38907 98 0 0 25 0 1 0 774187403 8179712 600 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 600 566 18 0 1979 0
vsize: 7988
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 622 0 0 0 39902 103 0 0 25 0 1 0 774187403 8179712 600 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 600 566 18 0 1979 0
vsize: 7988
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 624 0 0 0 40899 106 0 0 25 0 1 0 774187403 8179712 602 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 602 566 18 0 1979 0
vsize: 7988
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 630 0 0 0 41895 111 0 0 25 0 1 0 774187403 8179712 608 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1997 608 566 18 0 1979 0
vsize: 7988
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 42889 116 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 43887 119 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 44883 123 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 45879 127 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 46875 131 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 47872 134 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 48869 138 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 49865 142 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 50861 146 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 646 0 0 0 51855 153 0 0 25 0 1 0 774187403 8241152 624 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 624 566 18 0 1994 0
vsize: 8048
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 647 0 0 0 52851 156 0 0 25 0 1 0 774187403 8241152 625 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 625 566 18 0 1994 0
vsize: 8048
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 647 0 0 0 53849 159 0 0 25 0 1 0 774187403 8241152 625 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 625 566 18 0 1994 0
vsize: 8048
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 647 0 0 0 54845 163 0 0 25 0 1 0 774187403 8241152 625 4294967295 134512640 134581331 3221224608 3221223392 134528721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 625 566 18 0 1994 0
vsize: 8048
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 652 0 0 0 55842 166 0 0 25 0 1 0 774187403 8241152 630 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 630 566 18 0 1994 0
vsize: 8048
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 652 0 0 0 56840 169 0 0 25 0 1 0 774187403 8241152 630 4294967295 134512640 134581331 3221224608 3221223472 134528270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 630 566 18 0 1994 0
vsize: 8048
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 652 0 0 0 57837 171 0 0 25 0 1 0 774187403 8241152 630 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 630 566 18 0 1994 0
vsize: 8048
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 662 0 0 0 58834 175 0 0 25 0 1 0 774187403 8318976 640 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 640 566 18 0 2013 0
vsize: 8124
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 662 0 0 0 59833 176 0 0 25 0 1 0 774187403 8318976 640 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 640 566 18 0 2013 0
vsize: 8124
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 662 0 0 0 60829 180 0 0 25 0 1 0 774187403 8318976 640 4294967295 134512640 134581331 3221224608 3221223520 134527794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 640 566 18 0 2013 0
vsize: 8124
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 662 0 0 0 61826 183 0 0 25 0 1 0 774187403 8318976 640 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 640 566 18 0 2013 0
vsize: 8124
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 662 0 0 0 62823 186 0 0 25 0 1 0 774187403 8318976 640 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 640 566 18 0 2013 0
vsize: 8124
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 662 0 0 0 63820 190 0 0 25 0 1 0 774187403 8318976 640 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 640 566 18 0 2013 0
vsize: 8124
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 64817 193 0 0 25 0 1 0 774187403 8425472 658 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2057 658 566 18 0 2039 0
vsize: 8228
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 65813 197 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 66809 201 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 67805 205 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 68802 209 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 69797 214 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 70794 217 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 71790 221 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 72788 223 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 73786 225 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223392 134528799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 74783 229 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 75779 232 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 76776 236 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 77773 239 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 78768 245 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 79766 247 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 80762 250 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223504 134517909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 81758 255 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 82754 259 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 680 0 0 0 83749 265 0 0 25 0 1 0 774187403 8380416 658 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2046 658 566 18 0 2028 0
vsize: 8184
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 696 0 0 0 84746 267 0 0 25 0 1 0 774187403 8470528 674 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2068 674 566 18 0 2050 0
vsize: 8272
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 696 0 0 0 85741 272 0 0 25 0 1 0 774187403 8396800 668 4294967295 134512640 134581331 3221224608 3221223432 134528850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2050 668 566 18 0 2032 0
vsize: 8200
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 696 0 0 0 86739 275 0 0 25 0 1 0 774187403 8396800 668 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2050 668 566 18 0 2032 0
vsize: 8200
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 696 0 0 0 87736 278 0 0 25 0 1 0 774187403 8396800 668 4294967295 134512640 134581331 3221224608 3221223516 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2050 668 566 18 0 2032 0
vsize: 8200
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 698 0 0 0 88732 282 0 0 25 0 1 0 774187403 8466432 670 4294967295 134512640 134581331 3221224608 3221223504 134517762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 670 566 18 0 2049 0
vsize: 8268
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 698 0 0 0 89729 286 0 0 25 0 1 0 774187403 8466432 670 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 670 566 18 0 2049 0
vsize: 8268
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 698 0 0 0 90725 289 0 0 25 0 1 0 774187403 8466432 670 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 670 566 18 0 2049 0
vsize: 8268
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 698 0 0 0 91722 293 0 0 25 0 1 0 774187403 8466432 670 4294967295 134512640 134581331 3221224608 3221223520 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 670 566 18 0 2049 0
vsize: 8268
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 719 0 0 0 92720 296 0 0 25 0 1 0 774187403 8589312 691 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2097 691 566 18 0 2079 0
vsize: 8388
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 745 0 0 0 93717 299 0 0 25 0 1 0 774187403 8667136 717 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 717 566 18 0 2098 0
vsize: 8464
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 94714 302 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 95711 306 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 96708 309 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 97705 312 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 98702 315 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 99700 318 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 100697 320 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 101695 323 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223428 1075289714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 755 0 0 0 102691 327 0 0 25 0 1 0 774187403 8667136 727 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 727 566 18 0 2098 0
vsize: 8464
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 103688 330 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223664 134555845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 104695 333 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223392 134528797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 105693 335 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 106690 338 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 107686 342 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 108682 346 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 109681 348 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 110676 353 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 111670 358 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 112665 364 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 113661 368 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 769 0 0 0 114657 372 0 0 25 0 1 0 774187403 8798208 741 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 772 0 0 0 115654 375 0 0 25 0 1 0 774187403 8798208 744 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 744 566 18 0 2130 0
vsize: 8592
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 772 0 0 0 116652 377 0 0 25 0 1 0 774187403 8798208 744 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 744 566 18 0 2130 0
vsize: 8592
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 772 0 0 0 117650 380 0 0 25 0 1 0 774187403 8798208 744 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 744 566 18 0 2130 0
vsize: 8592
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 1679
Raw data (stat): 1679 (Pueblo) R 1678 31399 31398 0 -1 0 772 0 0 0 117650 380 0 0 25 0 1 0 774187403 8798208 744 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 744 566 18 0 2130 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1185.17
CPU system time (s): 3.83742
CPU usage (%): 100.015
Max. virtual memory (Kb): 8592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2705920
#### END VERIFIER DATA ####