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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	60
Total number of constraints	90
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	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 38758

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 16:29:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26816 boxname=wulflinc6 idbench=944 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 26816
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        702220 kB
Buffers:         33752 kB
Cached:         277000 kB
SwapCached:        552 kB
Active:          56664 kB
Inactive:       256168 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        701884 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13812 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:49:33 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26816 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/wulflinc6/normalized-mps-v2-20-10-sentoy.opb
c #variables read: 60 - #constraints read: 91
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 Y18_bit0 Y19_bit0 Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_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.82 0.94 0.90 2/54 18065
Raw data (stat): 18065 (runsolver) R 18064 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851235603 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.85 0.94 0.90 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 279 0 0 0 991 8 0 0 25 0 1 0 851235603 6823936 253 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 253 566 18 0 1648 0
vsize: 6664
[startup+20.0015 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 279 0 0 0 1984 15 0 0 25 0 1 0 851235603 6823936 253 4294967295 134512640 134581267 3221224576 3221223408 134531485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 253 566 18 0 1648 0
vsize: 6664
[startup+30.002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 282 0 0 0 2977 22 0 0 25 0 1 0 851235603 6823936 256 4294967295 134512640 134581267 3221224576 3221223652 134555720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 256 566 18 0 1648 0
vsize: 6664
[startup+40.0019 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 283 0 0 0 3967 33 0 0 25 0 1 0 851235603 6823936 257 4294967295 134512640 134581267 3221224576 3221223488 134527614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 257 566 18 0 1648 0
vsize: 6664
[startup+50.003 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 285 0 0 0 4960 40 0 0 25 0 1 0 851235603 6823936 259 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 259 566 18 0 1648 0
vsize: 6664
[startup+60.0039 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 286 0 0 0 5950 50 0 0 25 0 1 0 851235603 6823936 260 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 260 566 18 0 1648 0
vsize: 6664
[startup+70.0043 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 287 0 0 0 6942 59 0 0 25 0 1 0 851235603 6823936 261 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 261 566 18 0 1648 0
vsize: 6664
[startup+80.0044 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 288 0 0 0 7935 66 0 0 25 0 1 0 851235603 6823936 262 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 262 566 18 0 1648 0
vsize: 6664
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 289 0 0 0 8929 73 0 0 25 0 1 0 851235603 6823936 263 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 263 566 18 0 1648 0
vsize: 6664
[startup+100.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 290 0 0 0 9921 80 0 0 25 0 1 0 851235603 6823936 264 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 264 566 18 0 1648 0
vsize: 6664
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 291 0 0 0 10914 88 0 0 25 0 1 0 851235603 6823936 265 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 265 566 18 0 1648 0
vsize: 6664
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 293 0 0 0 11908 94 0 0 25 0 1 0 851235603 6823936 267 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 293 0 0 0 12902 101 0 0 25 0 1 0 851235603 6823936 267 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 293 0 0 0 13895 108 0 0 25 0 1 0 851235603 6823936 267 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+150.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 293 0 0 0 14888 116 0 0 25 0 1 0 851235603 6823936 267 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+160.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 294 0 0 0 15878 125 0 0 25 0 1 0 851235603 6823936 268 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 294 0 0 0 16870 134 0 0 25 0 1 0 851235603 6823936 268 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 294 0 0 0 17863 141 0 0 25 0 1 0 851235603 6823936 268 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 294 0 0 0 18855 150 0 0 25 0 1 0 851235603 6823936 268 4294967295 134512640 134581267 3221224576 3221223424 134527198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 295 0 0 0 19849 157 0 0 25 0 1 0 851235603 6823936 269 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 295 0 0 0 20840 166 0 0 25 0 1 0 851235603 6823936 269 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 295 0 0 0 21833 173 0 0 25 0 1 0 851235603 6823936 269 4294967295 134512640 134581267 3221224576 3221223440 134560294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 295 0 0 0 22825 182 0 0 25 0 1 0 851235603 6823936 269 4294967295 134512640 134581267 3221224576 3221223320 1075288232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 297 0 0 0 23818 189 0 0 25 0 1 0 851235603 6823936 271 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 297 0 0 0 24811 197 0 0 25 0 1 0 851235603 6823936 271 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 298 0 0 0 25803 204 0 0 25 0 1 0 851235603 6823936 272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 298 0 0 0 26796 212 0 0 25 0 1 0 851235603 6823936 272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 298 0 0 0 27787 222 0 0 25 0 1 0 851235603 6823936 272 4294967295 134512640 134581267 3221224576 3221223352 1075285770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 298 0 0 0 28779 230 0 0 25 0 1 0 851235603 6823936 272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 300 0 0 0 29771 238 0 0 25 0 1 0 851235603 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 300 0 0 0 30763 247 0 0 25 0 1 0 851235603 6823936 274 4294967295 134512640 134581267 3221224576 3221223536 134554669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 300 0 0 0 31755 255 0 0 25 0 1 0 851235603 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 300 0 0 0 32749 262 0 0 25 0 1 0 851235603 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 300 0 0 0 33741 270 0 0 25 0 1 0 851235603 6823936 274 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 34734 277 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 35727 285 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 36720 292 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223472 134517815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 37713 299 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223648 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 38705 308 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 39697 316 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223644 1075422392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 40690 324 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223536 134554644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 301 0 0 0 41682 332 0 0 25 0 1 0 851235603 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 302 0 0 0 42672 342 0 0 25 0 1 0 851235603 6823936 276 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 276 566 18 0 1648 0
vsize: 6664
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 302 0 0 0 43664 351 0 0 25 0 1 0 851235603 6823936 276 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 276 566 18 0 1648 0
vsize: 6664
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 44656 359 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 45649 366 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 46641 374 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 47633 383 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 48626 390 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 49618 399 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 50611 406 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 51605 412 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 52598 419 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 53591 427 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 54584 434 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223520 134559241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 55576 442 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 56569 450 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 57560 459 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 58552 467 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 59545 475 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 304 0 0 0 60537 483 0 0 25 0 1 0 851235603 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 61530 490 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 62525 496 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 63517 504 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 64507 513 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 65497 525 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 66489 533 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 67481 541 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 305 0 0 0 68471 551 0 0 25 0 1 0 851235603 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 69464 558 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 70457 566 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 71449 574 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 72441 582 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 73432 591 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 74421 603 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 75412 613 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 309 0 0 0 76402 622 0 0 25 0 1 0 851235603 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 77393 632 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 78384 642 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 79374 652 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 80365 660 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 81357 669 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 82349 677 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 83342 685 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 84335 692 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 85326 701 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 86317 711 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 87305 723 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 310 0 0 0 88295 733 0 0 25 0 1 0 851235603 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 311 0 0 0 89284 744 0 0 25 0 1 0 851235603 6938624 285 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 285 566 18 0 1676 0
vsize: 6776
[startup+910.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 311 0 0 0 90271 757 0 0 25 0 1 0 851235603 6938624 285 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 285 566 18 0 1676 0
vsize: 6776
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 91260 769 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 92249 780 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+940.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 93240 790 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 94229 801 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 95216 814 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+970.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 96206 824 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 97196 835 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 312 0 0 0 98184 847 0 0 25 0 1 0 851235603 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 313 0 0 0 99172 859 0 0 25 0 1 0 851235603 6938624 287 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 287 566 18 0 1676 0
vsize: 6776
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 314 0 0 0 100161 870 0 0 25 0 1 0 851235603 6938624 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 288 566 18 0 1676 0
vsize: 6776
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 314 0 0 0 101151 882 0 0 25 0 1 0 851235603 6938624 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 288 566 18 0 1676 0
vsize: 6776
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 315 0 0 0 102138 895 0 0 25 0 1 0 851235603 6938624 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 289 566 18 0 1676 0
vsize: 6776
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 315 0 0 0 103127 906 0 0 25 0 1 0 851235603 6938624 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 289 566 18 0 1676 0
vsize: 6776
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 315 0 0 0 104115 917 0 0 25 0 1 0 851235603 6938624 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 289 566 18 0 1676 0
vsize: 6776
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 316 0 0 0 105102 931 0 0 25 0 1 0 851235603 6938624 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 290 566 18 0 1676 0
vsize: 6776
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 316 0 0 0 106088 945 0 0 25 0 1 0 851235603 6938624 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 290 566 18 0 1676 0
vsize: 6776
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 318 0 0 0 107077 957 0 0 25 0 1 0 851235603 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 318 0 0 0 108065 969 0 0 25 0 1 0 851235603 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 318 0 0 0 109050 985 0 0 25 0 1 0 851235603 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 318 0 0 0 110035 1000 0 0 25 0 1 0 851235603 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 318 0 0 0 111022 1014 0 0 25 0 1 0 851235603 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 318 0 0 0 112010 1026 0 0 25 0 1 0 851235603 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 319 0 0 0 112996 1040 0 0 25 0 1 0 851235603 6938624 293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 293 566 18 0 1676 0
vsize: 6776
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 319 0 0 0 113983 1053 0 0 25 0 1 0 851235603 6938624 293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 293 566 18 0 1676 0
vsize: 6776
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 319 0 0 0 114970 1066 0 0 25 0 1 0 851235603 6938624 293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 293 566 18 0 1676 0
vsize: 6776
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 320 0 0 0 115958 1079 0 0 25 0 1 0 851235603 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 6776
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 320 0 0 0 116941 1095 0 0 25 0 1 0 851235603 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 6776
[startup+1188.63 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18065
Raw data (stat): 18065 (Pueblo-v2) R 18064 25568 25567 0 -1 0 320 0 0 0 116941 1095 0 0 25 0 1 0 851235603 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 0

Child status: 10
Real time (s): 1188.62
CPU time (s): 1189.01
CPU user time (s): 1177.92
CPU system time (s): 11.0873
CPU usage (%): 100.032
Max. virtual memory (Kb): 6776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-3888
#### END VERIFIER DATA ####