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/miplib2003/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	3b5121187baf09367bd50bdc4d869d21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8448
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.43
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 39172

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 22:19:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27230 boxname=wulflinc3 idbench=1358 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3b5121187baf09367bd50bdc4d869d21  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 27230
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        285312 kB
Buffers:         25484 kB
Cached:         701604 kB
SwapCached:        240 kB
Active:          29540 kB
Inactive:       700028 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        285060 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14108 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 22:39:22 (client local time) WITH STATUS 10 IN 1189 SECONDS
stats: 27230 0 1189 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/wulflinc3/normalized-mps-v2-13-7-markshare2.opb
c #variables read: 200 - #constraints read: 75
s SATISFIABLE
v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 -x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 -x3_bit0 x3_bit1 -x3_bit2 -x3_bit3 x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 x5_bit0 x5_bit1 x5_bit2 -x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 x7_bit1 x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 x9_bit0 x9_bit1 x9_bit2 x9_bit3 x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 x11_bit0 x11_bit1 -x11_bit2 x11_bit3 -x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 -x13_bit_7 -x13_bit_6 -x13_bit_5 -x13_bit_4 -x13_bit_3 -x13_bit_2 -x13_bit_1 x13_bit0 -x13_bit1 x13_bit2 x13_bit3 x13_bit4 x13_bit5 -x13_bit6 -x13_bit7 -x13_bit8 -x13_bit9 -x13_bit10 -x13_bit11 -x13_bit12 -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 x60_bit0 x61_bit0 x62_bit0 -x63_bit0 -x64_bit0 x65_bit0 x66_bit0 -x67_bit0 x68_bit0 x69_bit0 x70_bit0 -x71_bit0 x72_bit0 x73_bit0 x74_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.92 0.97 0.91 2/54 20280
Raw data (stat): 20280 (runsolver) R 20279 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853327494 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 293 0 0 0 993 5 0 0 25 0 1 0 853327494 6828032 267 4294967295 134512640 134581267 3221224576 3221223488 134527519 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.0016 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 298 0 0 0 1989 9 0 0 25 0 1 0 853327494 6828032 272 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 272 566 18 0 1649 0
vsize: 6668
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 300 0 0 0 2984 14 0 0 25 0 1 0 853327494 6828032 274 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 274 566 18 0 1649 0
vsize: 6668
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 302 0 0 0 3980 18 0 0 25 0 1 0 853327494 6828032 276 4294967295 134512640 134581267 3221224576 3221223476 134528024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 276 566 18 0 1649 0
vsize: 6668
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 307 0 0 0 4974 25 0 0 25 0 1 0 853327494 6828032 281 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 281 566 18 0 1649 0
vsize: 6668
[startup+60.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 312 0 0 0 5970 29 0 0 25 0 1 0 853327494 6950912 286 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 312 0 0 0 6964 35 0 0 25 0 1 0 853327494 6950912 286 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 312 0 0 0 7958 41 0 0 25 0 1 0 853327494 6950912 286 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 312 0 0 0 8953 46 0 0 25 0 1 0 853327494 6950912 286 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 312 0 0 0 9947 52 0 0 25 0 1 0 853327494 6950912 286 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 312 0 0 0 10942 57 0 0 25 0 1 0 853327494 6950912 286 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 319 0 0 0 11935 64 0 0 25 0 1 0 853327494 6950912 293 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 293 566 18 0 1679 0
vsize: 6788
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 320 0 0 0 12930 70 0 0 25 0 1 0 853327494 6950912 294 4294967295 134512640 134581267 3221224576 3221223264 1075288811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 294 566 18 0 1679 0
vsize: 6788
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 13924 76 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 14919 81 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 15915 85 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 16912 88 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 17907 93 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 18904 96 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 19899 101 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 20895 106 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 21891 109 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 22887 114 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 23885 116 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 24880 120 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 25876 125 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 26872 129 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 27869 133 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 28865 136 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 29859 142 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 30854 148 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 31850 152 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 32846 156 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 33841 161 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 34836 166 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 324 0 0 0 35830 172 0 0 25 0 1 0 853327494 6950912 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 298 566 18 0 1679 0
vsize: 6788
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 326 0 0 0 36826 176 0 0 25 0 1 0 853327494 6950912 300 4294967295 134512640 134581267 3221224576 3221223648 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 300 566 18 0 1679 0
vsize: 6788
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 327 0 0 0 37820 183 0 0 25 0 1 0 853327494 6950912 301 4294967295 134512640 134581267 3221224576 3221223440 134528393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 327 0 0 0 38813 189 0 0 25 0 1 0 853327494 6950912 301 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 327 0 0 0 39808 195 0 0 25 0 1 0 853327494 6950912 301 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 327 0 0 0 40802 200 0 0 25 0 1 0 853327494 6950912 301 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 327 0 0 0 41798 204 0 0 25 0 1 0 853327494 6950912 301 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 327 0 0 0 42794 208 0 0 25 0 1 0 853327494 6950912 301 4294967295 134512640 134581267 3221224576 3221223488 134566357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 43790 213 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 44785 218 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 45780 223 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 46775 228 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 47769 234 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 48766 238 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 49761 242 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 50755 248 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223440 134528349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 51749 254 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 52743 260 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 53739 265 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223544 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 54734 269 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 55730 274 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223456 134520246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 56726 279 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+580.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 333 0 0 0 57720 286 0 0 25 0 1 0 853327494 6950912 307 4294967295 134512640 134581267 3221224576 3221223548 134527304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 307 566 18 0 1679 0
vsize: 6788
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 334 0 0 0 58716 290 0 0 25 0 1 0 853327494 6950912 308 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+600.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 334 0 0 0 59712 294 0 0 25 0 1 0 853327494 6950912 308 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+610.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 334 0 0 0 60709 299 0 0 25 0 1 0 853327494 6950912 308 4294967295 134512640 134581267 3221224576 3221223544 134527292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+620.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 334 0 0 0 61704 304 0 0 25 0 1 0 853327494 6950912 308 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+630.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 335 0 0 0 62698 310 0 0 25 0 1 0 853327494 6950912 309 4294967295 134512640 134581267 3221224576 3221223440 134560459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 309 566 18 0 1679 0
vsize: 6788
[startup+640.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 335 0 0 0 63694 315 0 0 25 0 1 0 853327494 6950912 309 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 309 566 18 0 1679 0
vsize: 6788
[startup+650.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 339 0 0 0 64688 321 0 0 25 0 1 0 853327494 6950912 313 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 313 566 18 0 1679 0
vsize: 6788
[startup+660.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 65681 329 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+670.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 66677 334 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+680.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 67670 341 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223408 134531733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+690.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 68665 346 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223648 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+700.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 69661 350 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+710.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 70653 358 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+720.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 71648 363 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+730.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 72642 369 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+740.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 73635 376 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+750.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 74629 382 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+760.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 340 0 0 0 75623 389 0 0 25 0 1 0 853327494 6950912 314 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+770.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 342 0 0 0 76617 395 0 0 25 0 1 0 853327494 7077888 316 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+780.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 342 0 0 0 77610 401 0 0 25 0 1 0 853327494 7077888 316 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+790.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 342 0 0 0 78604 407 0 0 25 0 1 0 853327494 7077888 316 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+800.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 342 0 0 0 79599 413 0 0 25 0 1 0 853327494 7077888 316 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 316 566 18 0 1710 0
vsize: 6912
[startup+810.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 80595 417 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+820.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 81590 421 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+830.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 82586 427 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+840.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 83581 431 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+850.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 84575 437 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223484 134528018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+860.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 85570 442 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+870.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 86565 448 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+880.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 87558 455 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+890.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 88553 460 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+900.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 89548 465 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223668 134562398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+910.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 90542 471 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+920.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 91538 475 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+930.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 92533 480 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+940.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 343 0 0 0 93526 487 0 0 25 0 1 0 853327494 7077888 317 4294967295 134512640 134581267 3221224576 3221223484 134565766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 317 566 18 0 1710 0
vsize: 6912
[startup+950.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 344 0 0 0 94522 491 0 0 25 0 1 0 853327494 7077888 318 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+960.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 344 0 0 0 95516 497 0 0 25 0 1 0 853327494 7077888 318 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+970.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 344 0 0 0 96511 503 0 0 25 0 1 0 853327494 7077888 318 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+980.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 344 0 0 0 97505 509 0 0 25 0 1 0 853327494 7077888 318 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 318 566 18 0 1710 0
vsize: 6912
[startup+990.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 344 0 0 0 98499 515 0 0 25 0 1 0 853327494 7077888 318 4294967295 134512640 134581267 3221224576 3221223488 134527434 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 344 0 0 0 99495 519 0 0 25 0 1 0 853327494 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 100492 522 0 0 25 0 1 0 853327494 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+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 101487 527 0 0 25 0 1 0 853327494 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 102483 532 0 0 25 0 1 0 853327494 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 103478 537 0 0 25 0 1 0 853327494 7077888 320 4294967295 134512640 134581267 3221224576 3221223488 134527534 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 104474 542 0 0 25 0 1 0 853327494 7077888 320 4294967295 134512640 134581267 3221224576 3221223492 1075285583 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 105469 546 0 0 25 0 1 0 853327494 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 106464 551 0 0 25 0 1 0 853327494 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+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 107460 556 0 0 25 0 1 0 853327494 7077888 320 4294967295 134512640 134581267 3221224576 3221223488 134527445 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 108454 562 0 0 25 0 1 0 853327494 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+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 346 0 0 0 109450 566 0 0 25 0 1 0 853327494 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 347 0 0 0 110445 571 0 0 25 0 1 0 853327494 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+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 349 0 0 0 111440 577 0 0 25 0 1 0 853327494 7077888 323 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 323 566 18 0 1710 0
vsize: 6912
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 349 0 0 0 112435 582 0 0 25 0 1 0 853327494 7077888 323 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 351 0 0 0 113429 588 0 0 25 0 1 0 853327494 7077888 325 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1728 325 566 18 0 1710 0
vsize: 6912
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 351 0 0 0 114424 593 0 0 25 0 1 0 853327494 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 351 0 0 0 115420 597 0 0 25 0 1 0 853327494 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+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 351 0 0 0 116417 601 0 0 25 0 1 0 853327494 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.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 351 0 0 0 117413 605 0 0 25 0 1 0 853327494 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.93 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20280
Raw data (stat): 20280 (Pueblo-v2) R 20279 20224 20223 0 -1 0 351 0 0 0 117413 605 0 0 25 0 1 0 853327494 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.93
CPU time (s): 1189
CPU user time (s): 1182.89
CPU system time (s): 6.11207
CPU usage (%): 100.006
Max. virtual memory (Kb): 6912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	17152
#### END VERIFIER DATA ####