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/miplib/normalized-mps-v2-13-7-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.01884
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 39142

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        429760 kB
Buffers:         29392 kB
Cached:         552888 kB
SwapCached:       1160 kB
Active:          38508 kB
Inactive:       546172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        429508 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14440 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:42:38 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27200 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-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.63 0.87 0.88 1/54 32743
Raw data (stat): 32743 (runsolver) R 32742 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852998609 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.99991 s]
Raw data (loadavg): 0.69 0.87 0.88 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 279 0 0 0 989 9 0 0 25 0 1 0 852998609 6823936 253 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.0002 s]
Raw data (loadavg): 0.73 0.88 0.88 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 279 0 0 0 1983 15 0 0 25 0 1 0 852998609 6823936 253 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.0003 s]
Raw data (loadavg): 0.77 0.88 0.88 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 282 0 0 0 2974 25 0 0 25 0 1 0 852998609 6823936 256 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.0009 s]
Raw data (loadavg): 0.81 0.88 0.88 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 283 0 0 0 3963 36 0 0 25 0 1 0 852998609 6823936 257 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.0013 s]
Raw data (loadavg): 0.84 0.89 0.88 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 285 0 0 0 4957 42 0 0 25 0 1 0 852998609 6823936 259 4294967295 134512640 134581267 3221224576 3221223488 134527416 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.0013 s]
Raw data (loadavg): 0.86 0.89 0.88 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 286 0 0 0 5948 51 0 0 25 0 1 0 852998609 6823936 260 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.002 s]
Raw data (loadavg): 0.88 0.89 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 287 0 0 0 6940 59 0 0 25 0 1 0 852998609 6823936 261 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 261 566 18 0 1648 0
vsize: 6664
[startup+80.0024 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 288 0 0 0 7932 68 0 0 25 0 1 0 852998609 6823936 262 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 262 566 18 0 1648 0
vsize: 6664
[startup+90.0024 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 289 0 0 0 8925 75 0 0 25 0 1 0 852998609 6823936 263 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 263 566 18 0 1648 0
vsize: 6664
[startup+100.002 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 290 0 0 0 9919 81 0 0 25 0 1 0 852998609 6823936 264 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 264 566 18 0 1648 0
vsize: 6664
[startup+110.001 s]
Raw data (loadavg): 0.94 0.90 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 291 0 0 0 10913 87 0 0 25 0 1 0 852998609 6823936 265 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 265 566 18 0 1648 0
vsize: 6664
[startup+120.003 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 293 0 0 0 11906 94 0 0 25 0 1 0 852998609 6823936 267 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+130.002 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 293 0 0 0 12899 101 0 0 25 0 1 0 852998609 6823936 267 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+140.003 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 293 0 0 0 13890 111 0 0 25 0 1 0 852998609 6823936 267 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+150.003 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 293 0 0 0 14880 121 0 0 25 0 1 0 852998609 6823936 267 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+160.003 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 294 0 0 0 15872 129 0 0 25 0 1 0 852998609 6823936 268 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+170.003 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 294 0 0 0 16863 138 0 0 25 0 1 0 852998609 6823936 268 4294967295 134512640 134581267 3221224576 3221223396 1075289793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+180.003 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 294 0 0 0 17856 145 0 0 25 0 1 0 852998609 6823936 268 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+190.003 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 294 0 0 0 18847 154 0 0 25 0 1 0 852998609 6823936 268 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+200.003 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 295 0 0 0 19838 163 0 0 25 0 1 0 852998609 6823936 269 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+210.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 295 0 0 0 20830 172 0 0 25 0 1 0 852998609 6823936 269 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+220.004 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 295 0 0 0 21820 183 0 0 25 0 1 0 852998609 6823936 269 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+230.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 297 0 0 0 22814 189 0 0 25 0 1 0 852998609 6823936 271 4294967295 134512640 134581267 3221224576 3221223200 134566361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+240.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 297 0 0 0 23805 198 0 0 25 0 1 0 852998609 6823936 271 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+250.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 297 0 0 0 24798 205 0 0 25 0 1 0 852998609 6823936 271 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+260.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 298 0 0 0 25788 215 0 0 25 0 1 0 852998609 6823936 272 4294967295 134512640 134581267 3221224576 3221222944 134566761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+270.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 298 0 0 0 26777 226 0 0 25 0 1 0 852998609 6823936 272 4294967295 134512640 134581267 3221224576 3221223352 1075285699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+280.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 298 0 0 0 27768 235 0 0 25 0 1 0 852998609 6823936 272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+290.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 300 0 0 0 28758 246 0 0 25 0 1 0 852998609 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+300.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 300 0 0 0 29750 254 0 0 25 0 1 0 852998609 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+310.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 300 0 0 0 30741 262 0 0 25 0 1 0 852998609 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+320.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 300 0 0 0 31733 271 0 0 25 0 1 0 852998609 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+330.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 300 0 0 0 32726 278 0 0 25 0 1 0 852998609 6823936 274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+340.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 33716 288 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+350.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 34707 298 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+360.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 35697 308 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+370.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 36688 317 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+380.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 37681 325 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+390.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 38670 335 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223520 134559346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+400.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 39663 343 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+410.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 40654 352 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+420.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 301 0 0 0 41646 360 0 0 25 0 1 0 852998609 6823936 275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 275 566 18 0 1648 0
vsize: 6664
[startup+430.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 302 0 0 0 42636 371 0 0 25 0 1 0 852998609 6823936 276 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 276 566 18 0 1648 0
vsize: 6664
[startup+440.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 302 0 0 0 43628 379 0 0 25 0 1 0 852998609 6823936 276 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 276 566 18 0 1648 0
vsize: 6664
[startup+450.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 44621 386 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+460.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 45612 394 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+470.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 46604 403 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+480.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 47595 412 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+490.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 48585 423 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+500.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 49577 431 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+510.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 50569 439 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+520.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 51561 447 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 52553 455 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 53545 463 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 54538 471 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 55529 480 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 56521 488 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 57512 497 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223472 134517880 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 58504 505 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 59496 513 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 304 0 0 0 60486 523 0 0 25 0 1 0 852998609 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 305 0 0 0 61479 530 0 0 25 0 1 0 852998609 6823936 279 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 305 0 0 0 62474 535 0 0 25 0 1 0 852998609 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 305 0 0 0 63465 545 0 0 25 0 1 0 852998609 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 305 0 0 0 64455 555 0 0 25 0 1 0 852998609 6823936 279 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 305 0 0 0 65446 564 0 0 25 0 1 0 852998609 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 305 0 0 0 66438 572 0 0 25 0 1 0 852998609 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 305 0 0 0 67430 581 0 0 25 0 1 0 852998609 6823936 279 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 68423 588 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 69415 596 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 70407 604 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 71399 612 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 72392 620 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 73381 630 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 74373 638 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 309 0 0 0 75363 649 0 0 25 0 1 0 852998609 6938624 283 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 283 566 18 0 1676 0
vsize: 6776
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 76353 659 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 77343 669 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 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 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 78332 681 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 79323 690 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 80314 699 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 81305 708 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 82296 717 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 83285 728 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 84276 738 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 85265 749 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 86253 761 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 310 0 0 0 87241 773 0 0 25 0 1 0 852998609 6938624 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 284 566 18 0 1676 0
vsize: 6776
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 311 0 0 0 88229 786 0 0 25 0 1 0 852998609 6938624 285 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 285 566 18 0 1676 0
vsize: 6776
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 311 0 0 0 89217 797 0 0 25 0 1 0 852998609 6938624 285 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 285 566 18 0 1676 0
vsize: 6776
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 90207 808 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 91198 817 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 92187 828 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 93174 841 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 94162 854 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 95150 866 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 96140 876 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 312 0 0 0 97127 889 0 0 25 0 1 0 852998609 6938624 286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 286 566 18 0 1676 0
vsize: 6776
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 313 0 0 0 98113 903 0 0 25 0 1 0 852998609 6938624 287 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 287 566 18 0 1676 0
vsize: 6776
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 314 0 0 0 99100 917 0 0 25 0 1 0 852998609 6938624 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 288 566 18 0 1676 0
vsize: 6776
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 314 0 0 0 100087 930 0 0 25 0 1 0 852998609 6938624 288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 288 566 18 0 1676 0
vsize: 6776
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 315 0 0 0 101074 943 0 0 25 0 1 0 852998609 6938624 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 289 566 18 0 1676 0
vsize: 6776
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 315 0 0 0 102062 955 0 0 25 0 1 0 852998609 6938624 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 289 566 18 0 1676 0
vsize: 6776
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 315 0 0 0 103048 970 0 0 25 0 1 0 852998609 6938624 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 289 566 18 0 1676 0
vsize: 6776
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 316 0 0 0 104035 982 0 0 25 0 1 0 852998609 6938624 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 290 566 18 0 1676 0
vsize: 6776
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 316 0 0 0 105025 993 0 0 25 0 1 0 852998609 6938624 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 290 566 18 0 1676 0
vsize: 6776
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 318 0 0 0 106012 1006 0 0 25 0 1 0 852998609 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 318 0 0 0 106997 1022 0 0 25 0 1 0 852998609 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 318 0 0 0 107983 1036 0 0 25 0 1 0 852998609 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 318 0 0 0 108969 1050 0 0 25 0 1 0 852998609 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 318 0 0 0 109954 1064 0 0 25 0 1 0 852998609 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 318 0 0 0 110940 1079 0 0 25 0 1 0 852998609 6938624 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 292 566 18 0 1676 0
vsize: 6776
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 319 0 0 0 111926 1093 0 0 25 0 1 0 852998609 6938624 293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 293 566 18 0 1676 0
vsize: 6776
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 319 0 0 0 112912 1108 0 0 25 0 1 0 852998609 6938624 293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 293 566 18 0 1676 0
vsize: 6776
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 320 0 0 0 113893 1126 0 0 25 0 1 0 852998609 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 6776
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 320 0 0 0 114879 1141 0 0 25 0 1 0 852998609 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 6776
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 320 0 0 0 115863 1157 0 0 25 0 1 0 852998609 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 6776
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 320 0 0 0 116849 1171 0 0 25 0 1 0 852998609 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 6776
[startup+1188.81 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 32743
Raw data (stat): 32743 (Pueblo-v2) R 32742 31399 31398 0 -1 0 320 0 0 0 116849 1171 0 0 25 0 1 0 852998609 6938624 294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1694 294 566 18 0 1676 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1177.17
CPU system time (s): 11.8382
CPU usage (%): 100.016
Max. virtual memory (Kb): 6776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-3888
#### END VERIFIER DATA ####