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-markshare1.opb
MD5SUM	6f06e375914e0285ec75de90ad627758
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 39171

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 22:16:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27229 boxname=wulflinc4 idbench=1357 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  6f06e375914e0285ec75de90ad627758  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-markshare1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-markshare1.opb
IDLAUNCH: 27229
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        128592 kB
Buffers:         35088 kB
Cached:         848888 kB
SwapCached:        568 kB
Active:          46492 kB
Inactive:       839504 kB
HighTotal:      131008 kB
HighFree:        11564 kB
LowTotal:       903652 kB
LowFree:        117028 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14300 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 22:36:25 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27229 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/wulflinc4/normalized-mps-v2-13-7-markshare1.opb
c #variables read: 170 - #constraints read: 63
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_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 -x60_bit0 x61_bit0 -x62_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 22570
Raw data (stat): 22570 (runsolver) R 22569 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853308807 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+9.99988 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 291 0 0 0 993 6 0 0 25 0 1 0 853308807 6832128 265 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 265 566 18 0 1650 0
vsize: 6672
[startup+20.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 296 0 0 0 1988 11 0 0 25 0 1 0 853308807 6832128 270 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 270 566 18 0 1650 0
vsize: 6672
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 296 0 0 0 2982 17 0 0 25 0 1 0 853308807 6832128 270 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 270 566 18 0 1650 0
vsize: 6672
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 298 0 0 0 3975 24 0 0 25 0 1 0 853308807 6832128 272 4294967295 134512640 134581267 3221224576 3221223568 134560606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 272 566 18 0 1650 0
vsize: 6672
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 298 0 0 0 4970 29 0 0 25 0 1 0 853308807 6832128 272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 272 566 18 0 1650 0
vsize: 6672
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 302 0 0 0 5964 35 0 0 25 0 1 0 853308807 6832128 276 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 302 0 0 0 6958 41 0 0 25 0 1 0 853308807 6832128 276 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 302 0 0 0 7953 47 0 0 25 0 1 0 853308807 6832128 276 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 304 0 0 0 8947 53 0 0 25 0 1 0 853308807 6832128 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 278 566 18 0 1650 0
vsize: 6672
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 304 0 0 0 9941 59 0 0 25 0 1 0 853308807 6832128 278 4294967295 134512640 134581267 3221224576 3221223488 134527923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 278 566 18 0 1650 0
vsize: 6672
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 305 0 0 0 10935 66 0 0 25 0 1 0 853308807 6832128 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 279 566 18 0 1650 0
vsize: 6672
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 306 0 0 0 11930 71 0 0 25 0 1 0 853308807 6832128 280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 306 0 0 0 12923 78 0 0 25 0 1 0 853308807 6832128 280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 306 0 0 0 13916 85 0 0 25 0 1 0 853308807 6832128 280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 306 0 0 0 14911 90 0 0 25 0 1 0 853308807 6832128 280 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 307 0 0 0 15905 96 0 0 25 0 1 0 853308807 6832128 281 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 281 566 18 0 1650 0
vsize: 6672
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 308 0 0 0 16896 105 0 0 25 0 1 0 853308807 6832128 282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 282 566 18 0 1650 0
vsize: 6672
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 308 0 0 0 17891 111 0 0 25 0 1 0 853308807 6832128 282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 282 566 18 0 1650 0
vsize: 6672
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 18885 117 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 19880 123 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 20874 128 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 21868 135 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 22863 140 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 23856 147 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 24849 154 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 25842 161 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 26834 170 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 27828 176 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 312 0 0 0 28820 184 0 0 25 0 1 0 853308807 6946816 286 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 313 0 0 0 29814 190 0 0 25 0 1 0 853308807 6946816 287 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 313 0 0 0 30806 199 0 0 25 0 1 0 853308807 6946816 287 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 314 0 0 0 31798 206 0 0 25 0 1 0 853308807 6946816 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 314 0 0 0 32792 212 0 0 25 0 1 0 853308807 6946816 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 314 0 0 0 33785 220 0 0 25 0 1 0 853308807 6946816 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 314 0 0 0 34778 227 0 0 25 0 1 0 853308807 6946816 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 314 0 0 0 35771 235 0 0 25 0 1 0 853308807 6946816 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 315 0 0 0 36761 244 0 0 25 0 1 0 853308807 6946816 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 316 0 0 0 37754 252 0 0 25 0 1 0 853308807 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 316 0 0 0 38747 259 0 0 25 0 1 0 853308807 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 316 0 0 0 39740 266 0 0 25 0 1 0 853308807 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 316 0 0 0 40735 271 0 0 25 0 1 0 853308807 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 316 0 0 0 41727 279 0 0 25 0 1 0 853308807 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 316 0 0 0 42720 287 0 0 25 0 1 0 853308807 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 317 0 0 0 43712 295 0 0 25 0 1 0 853308807 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 317 0 0 0 44704 303 0 0 25 0 1 0 853308807 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 317 0 0 0 45696 312 0 0 25 0 1 0 853308807 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 317 0 0 0 46687 321 0 0 25 0 1 0 853308807 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 317 0 0 0 47680 328 0 0 25 0 1 0 853308807 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 317 0 0 0 48670 338 0 0 25 0 1 0 853308807 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 317 0 0 0 49662 346 0 0 25 0 1 0 853308807 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 320 0 0 0 50654 354 0 0 25 0 1 0 853308807 6946816 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 320 0 0 0 51645 364 0 0 25 0 1 0 853308807 6946816 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 320 0 0 0 52638 370 0 0 25 0 1 0 853308807 6946816 294 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 320 0 0 0 53628 381 0 0 25 0 1 0 853308807 6946816 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 320 0 0 0 54622 387 0 0 25 0 1 0 853308807 6946816 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 55614 395 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 56605 404 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 57600 410 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 58592 417 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 59586 424 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 60579 431 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 61571 439 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 62565 446 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 63555 456 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 64549 462 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 65542 469 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 66533 478 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 67527 485 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223460 134527187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 68516 496 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 69509 503 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 70506 508 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+720.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 71507 516 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+730.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 72501 522 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+740.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 322 0 0 0 73495 529 0 0 25 0 1 0 853308807 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+750.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 324 0 0 0 74490 534 0 0 25 0 1 0 853308807 6946816 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+760.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 324 0 0 0 75483 541 0 0 25 0 1 0 853308807 6946816 298 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+770.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 324 0 0 0 76475 549 0 0 25 0 1 0 853308807 6946816 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+780.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 324 0 0 0 77470 555 0 0 25 0 1 0 853308807 6946816 298 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+790.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 325 0 0 0 78464 562 0 0 25 0 1 0 853308807 6946816 299 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 299 566 18 0 1678 0
vsize: 6784
[startup+800.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 79456 570 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+810.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 80450 576 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+820.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 81442 584 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+830.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 82436 590 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+840.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 83430 597 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+850.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 84424 604 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+860.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 85416 612 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+870.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 86408 620 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+880.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 87402 626 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+890.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 88395 633 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+900.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 89388 641 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+910.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 90381 647 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+920.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 91374 655 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+930.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 92368 661 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+940.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 93359 670 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+950.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 94353 676 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+960.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 95346 684 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+970.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 96338 692 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+980.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 328 0 0 0 97331 699 0 0 25 0 1 0 853308807 6946816 302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+990.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 98323 707 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1000.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 99318 713 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1010.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 100311 719 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1020.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 101303 727 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1030.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 102296 735 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1040.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 103289 742 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223264 1075288925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1050.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 104282 749 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1060.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 105275 757 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1070.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 106267 765 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1080.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 107259 773 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1090.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 108253 779 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1100.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 109246 787 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1110.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 110240 792 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1120.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 111234 799 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1130.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 329 0 0 0 112225 807 0 0 25 0 1 0 853308807 6946816 303 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 303 566 18 0 1678 0
vsize: 6784
[startup+1140.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 331 0 0 0 113219 814 0 0 25 0 1 0 853308807 6946816 305 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 305 566 18 0 1678 0
vsize: 6784
[startup+1150.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 331 0 0 0 114213 820 0 0 25 0 1 0 853308807 6946816 305 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 305 566 18 0 1678 0
vsize: 6784
[startup+1160.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 332 0 0 0 115207 827 0 0 25 0 1 0 853308807 6946816 306 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 306 566 18 0 1678 0
vsize: 6784
[startup+1170.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 332 0 0 0 116199 834 0 0 25 0 1 0 853308807 6946816 306 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 306 566 18 0 1678 0
vsize: 6784
[startup+1180.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 332 0 0 0 117192 842 0 0 25 0 1 0 853308807 6946816 306 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 306 566 18 0 1678 0
vsize: 6784
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22570
Raw data (stat): 22570 (Pueblo-v2) R 22569 21152 21151 0 -1 0 332 0 0 0 117192 842 0 0 25 0 1 0 853308807 6946816 306 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 306 566 18 0 1678 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1180.51
CPU system time (s): 8.49571
CPU usage (%): 100.015
Max. virtual memory (Kb): 6784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	12672
#### END VERIFIER DATA ####