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 25835

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 21:30:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17258 boxname=wulflinc31 idbench=1328 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb
IDLAUNCH: 17258
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        868688 kB
Buffers:         26352 kB
Cached:         119572 kB
SwapCached:       1024 kB
Active:          81308 kB
Inactive:        66772 kB
HighTotal:      131008 kB
HighFree:        12432 kB
LowTotal:       903652 kB
LowFree:        856256 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12324 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 21:49:54 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 17258 0 1189.02 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/wulflinc31/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
Raw data (loadavg): 0.76 0.91 0.89 2/55 29700
Raw data (stat): 29700 (runsolver) R 29699 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 816188032 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.79 0.91 0.89 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 277 0 0 0 989 8 0 0 25 0 1 0 816188032 6815744 254 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 254 566 18 0 1646 0
vsize: 6656
[startup+20.0016 s]
Raw data (loadavg): 0.83 0.91 0.89 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 278 0 0 0 1982 15 0 0 25 0 1 0 816188032 6815744 255 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 255 566 18 0 1646 0
vsize: 6656
[startup+30.0012 s]
Raw data (loadavg): 0.85 0.92 0.89 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 280 0 0 0 2974 23 0 0 25 0 1 0 816188032 6815744 257 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 257 566 18 0 1646 0
vsize: 6656
[startup+40.0015 s]
Raw data (loadavg): 0.87 0.92 0.89 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 282 0 0 0 3965 31 0 0 25 0 1 0 816188032 6815744 259 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 259 566 18 0 1646 0
vsize: 6656
[startup+50.002 s]
Raw data (loadavg): 0.89 0.92 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 283 0 0 0 4958 39 0 0 25 0 1 0 816188032 6815744 260 4294967295 134512640 134581331 3221221792 3221220704 134527731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 260 566 18 0 1646 0
vsize: 6656
[startup+60.003 s]
Raw data (loadavg): 0.91 0.92 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 285 0 0 0 5948 48 0 0 25 0 1 0 816188032 6815744 262 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 262 566 18 0 1646 0
vsize: 6656
[startup+70.0042 s]
Raw data (loadavg): 0.92 0.92 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 286 0 0 0 6940 56 0 0 25 0 1 0 816188032 6815744 263 4294967295 134512640 134581331 3221221792 3221220736 134558874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 263 566 18 0 1646 0
vsize: 6656
[startup+80.0042 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 287 0 0 0 7932 65 0 0 25 0 1 0 816188032 6815744 264 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 264 566 18 0 1646 0
vsize: 6656
[startup+90.0048 s]
Raw data (loadavg): 0.94 0.93 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 288 0 0 0 8925 72 0 0 25 0 1 0 816188032 6815744 265 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 265 566 18 0 1646 0
vsize: 6656
[startup+100.005 s]
Raw data (loadavg): 0.95 0.93 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 288 0 0 0 9917 79 0 0 25 0 1 0 816188032 6815744 265 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 265 566 18 0 1646 0
vsize: 6656
[startup+110.006 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 290 0 0 0 10910 86 0 0 25 0 1 0 816188032 6815744 267 4294967295 134512640 134581331 3221221792 3221220704 134528039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 267 566 18 0 1646 0
vsize: 6656
[startup+120.007 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 11902 95 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220896 134562799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 269 566 18 0 1646 0
vsize: 6656
[startup+130.007 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 12896 101 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220756 134554656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 269 566 18 0 1646 0
vsize: 6656
[startup+140.008 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 13887 110 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 269 566 18 0 1646 0
vsize: 6656
[startup+150.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 14878 119 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220656 134528358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 269 566 18 0 1646 0
vsize: 6656
[startup+160.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 293 0 0 0 15869 128 0 0 25 0 1 0 816188032 6815744 270 4294967295 134512640 134581331 3221221792 3221220800 134560559 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 270 566 18 0 1646 0
vsize: 6656
[startup+170.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 293 0 0 0 16861 137 0 0 25 0 1 0 816188032 6815744 270 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 270 566 18 0 1646 0
vsize: 6656
[startup+180.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 293 0 0 0 17853 145 0 0 25 0 1 0 816188032 6815744 270 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1664 270 566 18 0 1646 0
vsize: 6656
[startup+190.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 294 0 0 0 18845 153 0 0 25 0 1 0 816188032 6815744 271 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 271 566 18 0 1646 0
vsize: 6656
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 295 0 0 0 19836 162 0 0 25 0 1 0 816188032 6815744 272 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 272 566 18 0 1646 0
vsize: 6656
[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 20830 168 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 273 566 18 0 1646 0
vsize: 6656
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 21823 175 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 273 566 18 0 1646 0
vsize: 6656
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 22816 182 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 273 566 18 0 1646 0
vsize: 6656
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 23807 192 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 273 566 18 0 1646 0
vsize: 6656
[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 24798 200 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 273 566 18 0 1646 0
vsize: 6656
[startup+260.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 25789 209 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 273 566 18 0 1646 0
vsize: 6656
[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 297 0 0 0 26782 217 0 0 25 0 1 0 816188032 6815744 274 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 274 566 18 0 1646 0
vsize: 6656
[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 298 0 0 0 27774 225 0 0 25 0 1 0 816188032 6815744 275 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 275 566 18 0 1646 0
vsize: 6656
[startup+290.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 298 0 0 0 28767 233 0 0 25 0 1 0 816188032 6815744 275 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 275 566 18 0 1646 0
vsize: 6656
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 299 0 0 0 29760 240 0 0 25 0 1 0 816188032 6815744 276 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 276 566 18 0 1646 0
vsize: 6656
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 30753 247 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+320.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 31745 254 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+330.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 32737 263 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+340.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 33728 272 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+350.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 34720 280 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+360.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 35713 288 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+370.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 36706 294 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 37697 304 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+390.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 38690 311 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 39683 318 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 40675 326 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 41667 335 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 42661 341 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 43651 351 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 44642 360 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 45635 368 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 46626 377 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 47618 385 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 48611 392 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 49603 400 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 50597 407 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220688 134517608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 51590 413 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 52581 423 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220656 134560416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1664 280 566 18 0 1646 0
vsize: 6656
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 53573 431 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 54566 438 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 55558 446 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 56549 456 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 57541 464 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 58534 471 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 59527 478 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 60519 487 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 61511 495 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 62504 502 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 63496 510 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 64488 518 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 65481 525 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 66474 532 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 67464 542 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 68455 552 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 69447 560 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 70439 568 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 71430 577 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 281 566 18 0 1674 0
vsize: 6768
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 72422 585 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 73414 593 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220704 134558513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 74404 604 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220656 134528378 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 75395 613 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 76386 622 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 77378 630 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 78369 639 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 79359 649 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 80349 660 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 284 566 18 0 1674 0
vsize: 6768
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 81340 669 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220656 134528350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 82331 678 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220736 134558956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 83321 688 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220656 134528366 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 84313 696 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 85305 705 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 86296 714 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 87287 723 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 88279 731 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 89270 740 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 90264 747 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 91252 759 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 92243 768 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 93232 779 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 94222 789 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 286 566 18 0 1674 0
vsize: 6768
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 95212 799 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220764 134527304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 96202 810 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220656 134528267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 97191 821 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 98183 830 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 99172 841 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 100163 850 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 101154 859 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 102144 869 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 103132 881 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 287 566 18 0 1674 0
vsize: 6768
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 311 0 0 0 104122 891 0 0 25 0 1 0 816188032 6930432 288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 288 566 18 0 1674 0
vsize: 6768
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 311 0 0 0 105111 903 0 0 25 0 1 0 816188032 6930432 288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 288 566 18 0 1674 0
vsize: 6768
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 311 0 0 0 106098 916 0 0 25 0 1 0 816188032 6930432 288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 288 566 18 0 1674 0
vsize: 6768
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 107089 925 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 290 566 18 0 1674 0
vsize: 6768
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 108077 937 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220576 134528820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 290 566 18 0 1674 0
vsize: 6768
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 109066 948 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 290 566 18 0 1674 0
vsize: 6768
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 110056 958 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 290 566 18 0 1674 0
vsize: 6768
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 314 0 0 0 111045 969 0 0 25 0 1 0 816188032 6930432 291 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 291 566 18 0 1674 0
vsize: 6768
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 314 0 0 0 112035 980 0 0 25 0 1 0 816188032 6930432 291 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 291 566 18 0 1674 0
vsize: 6768
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 315 0 0 0 113023 992 0 0 25 0 1 0 816188032 6930432 292 4294967295 134512640 134581331 3221221792 3221220676 134557948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 292 566 18 0 1674 0
vsize: 6768
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 315 0 0 0 114012 1004 0 0 25 0 1 0 816188032 6930432 292 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 292 566 18 0 1674 0
vsize: 6768
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 115001 1015 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 294 566 18 0 1674 0
vsize: 6768
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 115989 1027 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 294 566 18 0 1674 0
vsize: 6768
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 116978 1038 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 294 566 18 0 1674 0
vsize: 6768
[startup+1188.89 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29700
Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 116978 1038 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1692 294 566 18 0 1674 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.02
CPU user time (s): 1178.51
CPU system time (s): 10.5064
CPU usage (%): 100.011
Max. virtual memory (Kb): 6768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-3888
#### END VERIFIER DATA ####