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/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
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.09
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 39235

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-03 00:14:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27297 boxname=wulflinc5 idbench=1425 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b54bb080800e2327586cd478559c04ff  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 27297
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        623392 kB
Buffers:         31112 kB
Cached:         357212 kB
SwapCached:        568 kB
Active:          29228 kB
Inactive:       361088 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        623140 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            15308 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:34:02 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27297 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/wulflinc5/normalized-mps-v2-13-7-markshare2.opb
c #variables read: 200 - #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_bit0 x55_bit0 -x56_bit0 x57_bit0 x58_bit0 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.98 0.94 1/54 15050
Raw data (stat): 15050 (runsolver) R 15049 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854023679 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.0012 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 293 0 0 0 993 5 0 0 25 0 1 0 854023679 6828032 267 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 267 566 18 0 1649 0
vsize: 6668
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 298 0 0 0 1989 9 0 0 25 0 1 0 854023679 6828032 272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 272 566 18 0 1649 0
vsize: 6668
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 300 0 0 0 2985 13 0 0 25 0 1 0 854023679 6828032 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 274 566 18 0 1649 0
vsize: 6668
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 302 0 0 0 3982 16 0 0 25 0 1 0 854023679 6828032 276 4294967295 134512640 134581267 3221224576 3221223440 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 276 566 18 0 1649 0
vsize: 6668
[startup+50.0017 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 307 0 0 0 4978 21 0 0 25 0 1 0 854023679 6828032 281 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 281 566 18 0 1649 0
vsize: 6668
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 312 0 0 0 5974 25 0 0 25 0 1 0 854023679 6950912 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 312 0 0 0 6971 28 0 0 25 0 1 0 854023679 6950912 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+80.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 312 0 0 0 7967 33 0 0 25 0 1 0 854023679 6950912 286 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+90.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 312 0 0 0 8962 37 0 0 25 0 1 0 854023679 6950912 286 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 312 0 0 0 9959 41 0 0 25 0 1 0 854023679 6950912 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 312 0 0 0 10955 45 0 0 25 0 1 0 854023679 6950912 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 319 0 0 0 11949 51 0 0 25 0 1 0 854023679 6950912 293 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 293 566 18 0 1679 0
vsize: 6788
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 320 0 0 0 12943 57 0 0 25 0 1 0 854023679 6950912 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 294 566 18 0 1679 0
vsize: 6788
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 13936 64 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 14932 68 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 15930 71 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 16926 75 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 17923 79 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 18919 82 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 19915 87 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 20911 90 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 21908 94 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 22905 98 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 23901 101 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223264 1075288451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 24897 105 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 25892 110 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 26889 114 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 27885 118 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 28882 122 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 29878 125 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 30874 130 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 31870 134 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 32865 139 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 33862 142 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 34858 146 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 324 0 0 0 35854 150 0 0 25 0 1 0 854023679 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 326 0 0 0 36850 155 0 0 25 0 1 0 854023679 6950912 300 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 300 566 18 0 1679 0
vsize: 6788
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 327 0 0 0 37845 160 0 0 25 0 1 0 854023679 6950912 301 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 327 0 0 0 38841 164 0 0 25 0 1 0 854023679 6950912 301 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 327 0 0 0 39837 169 0 0 25 0 1 0 854023679 6950912 301 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 327 0 0 0 40833 172 0 0 25 0 1 0 854023679 6950912 301 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 327 0 0 0 41830 176 0 0 25 0 1 0 854023679 6950912 301 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 327 0 0 0 42826 180 0 0 25 0 1 0 854023679 6950912 301 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 43822 184 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 44817 189 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 45813 194 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 46809 197 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 47805 202 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 48800 207 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 49795 212 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 50791 217 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 51785 223 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 52780 228 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 53775 233 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 54769 239 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 55765 244 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 56761 247 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 57757 252 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 333 0 0 0 58753 256 0 0 25 0 1 0 854023679 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+600.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 334 0 0 0 59748 261 0 0 25 0 1 0 854023679 6950912 308 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 334 0 0 0 60744 265 0 0 25 0 1 0 854023679 6950912 308 4294967295 134512640 134581267 3221224576 3221223520 134559318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 334 0 0 0 61740 270 0 0 25 0 1 0 854023679 6950912 308 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 334 0 0 0 62735 275 0 0 25 0 1 0 854023679 6950912 308 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 335 0 0 0 63731 279 0 0 25 0 1 0 854023679 6950912 309 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 309 566 18 0 1679 0
vsize: 6788
[startup+650.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 335 0 0 0 64727 284 0 0 25 0 1 0 854023679 6950912 309 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 309 566 18 0 1679 0
vsize: 6788
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 339 0 0 0 65721 290 0 0 25 0 1 0 854023679 6950912 313 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 313 566 18 0 1679 0
vsize: 6788
[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 66715 296 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 67710 300 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 68706 305 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 69702 310 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 70698 314 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 71694 318 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 72690 322 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+740.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 73685 327 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+750.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 74680 332 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 75675 337 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 340 0 0 0 76671 342 0 0 25 0 1 0 854023679 6950912 314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+780.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 342 0 0 0 77666 347 0 0 25 0 1 0 854023679 7081984 316 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1729 316 566 18 0 1711 0
vsize: 6916
[startup+790.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 342 0 0 0 78662 351 0 0 25 0 1 0 854023679 7077888 316 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+800.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 342 0 0 0 79657 356 0 0 25 0 1 0 854023679 7077888 316 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+810.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 342 0 0 0 80652 361 0 0 25 0 1 0 854023679 7077888 316 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 81648 365 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+830.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 82644 369 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+840.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 83641 373 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+850.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 84636 378 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+860.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 85632 382 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+870.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 86628 386 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+880.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 87623 391 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+890.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 88620 395 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+900.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 89616 399 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+910.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 90611 404 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+920.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 91606 409 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+930.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 92601 414 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+940.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 93597 418 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+950.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 343 0 0 0 94593 422 0 0 25 0 1 0 854023679 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 344 0 0 0 95590 426 0 0 25 0 1 0 854023679 7077888 318 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+970.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 344 0 0 0 96584 432 0 0 25 0 1 0 854023679 7077888 318 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+980.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 344 0 0 0 97579 437 0 0 25 0 1 0 854023679 7077888 318 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+990.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 344 0 0 0 98574 443 0 0 25 0 1 0 854023679 7077888 318 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 344 0 0 0 99570 447 0 0 25 0 1 0 854023679 7077888 318 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 344 0 0 0 100565 452 0 0 25 0 1 0 854023679 7077888 318 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 101561 456 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 102556 461 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 103552 466 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 104546 472 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 105540 478 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 106536 482 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 107531 487 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 108526 493 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 109521 497 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 346 0 0 0 110518 501 0 0 25 0 1 0 854023679 7077888 320 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 320 566 18 0 1710 0
vsize: 6912
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 347 0 0 0 111513 506 0 0 25 0 1 0 854023679 7077888 321 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 321 566 18 0 1710 0
vsize: 6912
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 349 0 0 0 112508 511 0 0 25 0 1 0 854023679 7077888 323 4294967295 134512640 134581267 3221224576 3221223472 134527808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 349 0 0 0 113504 516 0 0 25 0 1 0 854023679 7077888 323 4294967295 134512640 134581267 3221224576 3221223488 134527725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 351 0 0 0 114499 520 0 0 25 0 1 0 854023679 7077888 325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 325 566 18 0 1710 0
vsize: 6912
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 351 0 0 0 115495 525 0 0 25 0 1 0 854023679 7077888 325 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 325 566 18 0 1710 0
vsize: 6912
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 351 0 0 0 116490 530 0 0 25 0 1 0 854023679 7077888 325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 325 566 18 0 1710 0
vsize: 6912
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 351 0 0 0 117485 535 0 0 25 0 1 0 854023679 7077888 325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 325 566 18 0 1710 0
vsize: 6912
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 15050
Raw data (stat): 15050 (Pueblo-v2) R 15049 7266 7265 0 -1 0 351 0 0 0 117485 535 0 0 25 0 1 0 854023679 7077888 325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 325 566 18 0 1710 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1183.6
CPU system time (s): 5.40818
CPU usage (%): 100.016
Max. virtual memory (Kb): 6916
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	17152
#### END VERIFIER DATA ####