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-markshare2_1.opb
MD5SUM	375b355299c9fbf8170e172bcbc73eb2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16728
Optimality of the best value was proved	NO
Number of terms in the objective function	140
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	7340025
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	7340025
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.23
Number of variables	242
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	54
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	122
Trace number 39313

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 03:18:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27372 boxname=wulflinc2 idbench=1500 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  375b355299c9fbf8170e172bcbc73eb2  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-markshare2_1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-markshare2_1.opb
IDLAUNCH: 27372
/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:        385752 kB
Buffers:         33920 kB
Cached:         593104 kB
SwapCached:       1160 kB
Active:          59916 kB
Inactive:       569536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        385500 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13816 kB
Committed_AS:    71776 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 03:38:10 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27372 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-markshare2_1.opb
c #variables read: 242 - #constraints read: 75
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 s61_bit_7 s61_bit_6 s61_bit_5 s61_bit_4 -s61_bit_3 s61_bit_2 -s61_bit_1 -s61_bit0 s61_bit1 -s61_bit2 -s61_bit3 -s61_bit4 -s61_bit5 s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_bit12 -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_bit0 x46_bit0 x47_bit0 -x48_bit0 x49_bit0 -x50_bit0 x51_bit0 -x52_bit0 -x53_bit0 x54_bit_7 x54_bit_6 x54_bit_5 x54_bit_4 x54_bit_3 -x54_bit_2 -x54_bit_1 -x54_bit0 x55_bit_7 x55_bit_6 -x55_bit_5 x55_bit_4 -x55_bit_3 -x55_bit_2 x55_bit_1 -x55_bit0 -x56_bit_7 x56_bit_6 x56_bit_5 x56_bit_4 -x56_bit_3 x56_bit_2 -x56_bit_1 -x56_bit0 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 x57_bit0 -x58_bit_7 x58_bit_6 x58_bit_5 x58_bit_4 x58_bit_3 x58_bit_2 -x58_bit_1 -x58_bit0 x59_bit_7 x59_bit_6 x59_bit_5 x59_bit_4 x59_bit_3 x59_bit_2 -x59_bit_1 -x59_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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 1/54 3325
Raw data (stat): 3325 (runsolver) R 3324 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855132119 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 308 0 0 0 998 0 0 0 25 0 1 0 855132119 6832128 282 4294967295 134512640 134581267 3221224576 3221223504 134519941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 282 566 18 0 1650 0
vsize: 6672
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 313 0 0 0 1998 0 0 0 25 0 1 0 855132119 6963200 287 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 287 566 18 0 1682 0
vsize: 6800
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 325 0 0 0 2998 0 0 0 25 0 1 0 855132119 6963200 299 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 299 566 18 0 1682 0
vsize: 6800
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 325 0 0 0 3995 3 0 0 25 0 1 0 855132119 6963200 299 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 299 566 18 0 1682 0
vsize: 6800
[startup+50.0009 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 325 0 0 0 4992 7 0 0 25 0 1 0 855132119 6963200 299 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 299 566 18 0 1682 0
vsize: 6800
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 325 0 0 0 5988 11 0 0 25 0 1 0 855132119 6963200 299 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 299 566 18 0 1682 0
vsize: 6800
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 327 0 0 0 6984 15 0 0 25 0 1 0 855132119 6963200 301 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 301 566 18 0 1682 0
vsize: 6800
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 330 0 0 0 7979 20 0 0 25 0 1 0 855132119 6963200 304 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 304 566 18 0 1682 0
vsize: 6800
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 330 0 0 0 8974 25 0 0 25 0 1 0 855132119 6963200 304 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 304 566 18 0 1682 0
vsize: 6800
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 330 0 0 0 9970 30 0 0 25 0 1 0 855132119 6963200 304 4294967295 134512640 134581267 3221224576 3221223472 134517824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 304 566 18 0 1682 0
vsize: 6800
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 331 0 0 0 10966 34 0 0 25 0 1 0 855132119 6963200 305 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 305 566 18 0 1682 0
vsize: 6800
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 332 0 0 0 11962 38 0 0 25 0 1 0 855132119 6963200 306 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 332 0 0 0 12957 43 0 0 25 0 1 0 855132119 6963200 306 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 343 0 0 0 13952 49 0 0 25 0 1 0 855132119 6963200 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 317 566 18 0 1682 0
vsize: 6800
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 347 0 0 0 14949 52 0 0 25 0 1 0 855132119 7098368 321 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 321 566 18 0 1715 0
vsize: 6932
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 347 0 0 0 15946 55 0 0 25 0 1 0 855132119 7098368 321 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 321 566 18 0 1715 0
vsize: 6932
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 357 0 0 0 16943 58 0 0 25 0 1 0 855132119 7098368 331 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 331 566 18 0 1715 0
vsize: 6932
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 357 0 0 0 17940 62 0 0 25 0 1 0 855132119 7098368 331 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 331 566 18 0 1715 0
vsize: 6932
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 357 0 0 0 18935 66 0 0 25 0 1 0 855132119 7098368 331 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 331 566 18 0 1715 0
vsize: 6932
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 370 0 0 0 19931 71 0 0 25 0 1 0 855132119 7098368 344 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 370 0 0 0 20928 74 0 0 25 0 1 0 855132119 7098368 344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 370 0 0 0 21924 79 0 0 25 0 1 0 855132119 7098368 344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 370 0 0 0 22921 82 0 0 25 0 1 0 855132119 7098368 344 4294967295 134512640 134581267 3221224576 3221223488 134527920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 370 0 0 0 23918 84 0 0 25 0 1 0 855132119 7098368 344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 370 0 0 0 24916 87 0 0 25 0 1 0 855132119 7098368 344 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 371 0 0 0 25913 90 0 0 25 0 1 0 855132119 7098368 345 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 345 566 18 0 1715 0
vsize: 6932
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 373 0 0 0 26909 94 0 0 25 0 1 0 855132119 7098368 347 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 347 566 18 0 1715 0
vsize: 6932
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 375 0 0 0 27905 98 0 0 25 0 1 0 855132119 7098368 349 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 381 0 0 0 28901 103 0 0 25 0 1 0 855132119 7229440 355 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 355 566 18 0 1747 0
vsize: 7060
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 381 0 0 0 29896 107 0 0 25 0 1 0 855132119 7229440 355 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 355 566 18 0 1747 0
vsize: 7060
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 390 0 0 0 30893 110 0 0 25 0 1 0 855132119 7229440 364 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 364 566 18 0 1747 0
vsize: 7060
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 390 0 0 0 31890 114 0 0 25 0 1 0 855132119 7229440 364 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 364 566 18 0 1747 0
vsize: 7060
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 390 0 0 0 32887 117 0 0 25 0 1 0 855132119 7229440 364 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 364 566 18 0 1747 0
vsize: 7060
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 390 0 0 0 33883 121 0 0 25 0 1 0 855132119 7229440 364 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 364 566 18 0 1747 0
vsize: 7060
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 34880 125 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 35877 128 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223408 134566319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 36872 133 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 37869 136 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 38864 141 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 39862 143 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 40858 148 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 41852 153 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 42850 156 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 43845 161 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 44843 164 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 45841 166 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 46838 168 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 47834 173 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 48830 177 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 49826 181 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 50822 185 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 51818 189 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 52815 192 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 53813 195 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 54809 199 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 55807 202 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223676 134563260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 56803 206 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 57799 210 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 58795 214 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 59792 218 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 60789 220 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 61785 225 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 62782 228 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 63780 230 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 64776 234 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 392 0 0 0 65773 237 0 0 25 0 1 0 855132119 7229440 366 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 366 566 18 0 1747 0
vsize: 7060
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 393 0 0 0 66768 243 0 0 25 0 1 0 855132119 7229440 367 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 367 566 18 0 1747 0
vsize: 7060
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 393 0 0 0 67763 247 0 0 25 0 1 0 855132119 7229440 367 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 367 566 18 0 1747 0
vsize: 7060
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 68759 252 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 69754 257 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 70751 260 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 71748 264 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 72745 267 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 73741 271 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 74738 275 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 75735 277 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 76733 280 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 77730 283 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 78727 286 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 79724 289 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 80721 292 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 397 0 0 0 81718 296 0 0 25 0 1 0 855132119 7229440 371 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 371 566 18 0 1747 0
vsize: 7060
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 400 0 0 0 82715 299 0 0 25 0 1 0 855132119 7229440 374 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 374 566 18 0 1747 0
vsize: 7060
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 400 0 0 0 83711 303 0 0 25 0 1 0 855132119 7229440 374 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 374 566 18 0 1747 0
vsize: 7060
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 400 0 0 0 84708 306 0 0 25 0 1 0 855132119 7229440 374 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 374 566 18 0 1747 0
vsize: 7060
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 400 0 0 0 85705 309 0 0 25 0 1 0 855132119 7229440 374 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 374 566 18 0 1747 0
vsize: 7060
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 400 0 0 0 86701 313 0 0 25 0 1 0 855132119 7229440 374 4294967295 134512640 134581267 3221224576 3221223488 134527342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 374 566 18 0 1747 0
vsize: 7060
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 401 0 0 0 87698 317 0 0 25 0 1 0 855132119 7229440 375 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 403 0 0 0 88694 321 0 0 25 0 1 0 855132119 7229440 377 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 377 566 18 0 1747 0
vsize: 7060
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 89691 324 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 90688 328 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 91685 331 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 92683 333 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223440 134528321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 93679 337 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223472 134517818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 94676 341 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+960.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 95673 343 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 96670 346 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 97667 349 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 98664 353 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 99659 358 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 100655 362 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223440 134528205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 101652 366 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 102647 371 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 103643 375 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 405 0 0 0 104639 379 0 0 25 0 1 0 855132119 7229440 379 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 105636 382 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 106633 385 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 107630 388 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 108626 392 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 109622 397 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 110619 400 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 111615 404 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 112613 407 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 113610 410 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 406 0 0 0 114607 413 0 0 25 0 1 0 855132119 7229440 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1765 380 566 18 0 1747 0
vsize: 7060
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 410 0 0 0 115603 417 0 0 25 0 1 0 855132119 7364608 384 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1798 384 566 18 0 1780 0
vsize: 7192
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 410 0 0 0 116600 420 0 0 25 0 1 0 855132119 7364608 384 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1798 384 566 18 0 1780 0
vsize: 7192
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 415 0 0 0 117598 422 0 0 25 0 1 0 855132119 7364608 389 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1798 389 566 18 0 1780 0
vsize: 7192
[startup+1188.81 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3325
Raw data (stat): 3325 (Pueblo-v2) R 3324 31399 31398 0 -1 0 415 0 0 0 117598 422 0 0 25 0 1 0 855132119 7364608 389 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1798 389 566 18 0 1780 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1184.74
CPU system time (s): 4.26535
CPU usage (%): 100.017
Max. virtual memory (Kb): 7192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	33440
#### END VERIFIER DATA ####