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/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM	46f4eb904b1c96b45521a6459aa5d49d
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	109757
Total number of constraints	313451
Number of constraints which are clauses	295929
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	17522
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 24535

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 21:01:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2509 boxname=wulflinc31 idbench=279 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 2509
/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:        917860 kB
Buffers:         30940 kB
Cached:          60008 kB
SwapCached:       2484 kB
Active:          45404 kB
Inactive:        49224 kB
HighTotal:      131008 kB
HighFree:        73668 kB
LowTotal:       903652 kB
LowFree:        844192 kB
SwapTotal:     2097892 kB
SwapFree:      2094372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4812 kB
Slab:            16476 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 21:21:10 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 2509 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.92 0.95 0.90 2/54 19138
Raw data (stat): 19138 (runsolver) R 19137 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 712322432 1056768 100 4294967295 134512640 135381576 3221221664 3221216888 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.0007 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 8988 0 0 0 967 28 0 0 25 0 1 0 712322432 42442752 8966 4294967295 134512640 134581331 3221221760 3217026096 134536425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10362 8966 566 18 0 10344 0
vsize: 41448
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 14410 0 0 0 1953 43 0 0 25 0 1 0 712322432 66023424 14261 4294967295 134512640 134581331 3221221760 3221220736 1075289687 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16119 14261 566 18 0 16101 0
vsize: 64476
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 278102 0 0 0 2503 493 0 0 25 0 1 0 712322432 66465792 14325 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14333 566 18 0 16209 0
vsize: 64908
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 594988 0 0 0 2965 1031 0 0 25 0 1 0 712322432 66465792 14339 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14348 566 18 0 16209 0
vsize: 64908
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 911980 0 0 0 3419 1578 0 0 25 0 1 0 712322432 66465792 14351 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14359 566 18 0 16209 0
vsize: 64908
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 1228925 0 0 0 3872 2125 0 0 25 0 1 0 712322432 66465792 14316 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14325 566 18 0 16209 0
vsize: 64908
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 1545823 0 0 0 4334 2663 0 0 25 0 1 0 712322432 66465792 14342 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14350 566 18 0 16209 0
vsize: 64908
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 1862758 0 0 0 4778 3219 0 0 25 0 1 0 712322432 66465792 14297 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14306 566 18 0 16209 0
vsize: 64908
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 2179594 0 0 0 5229 3768 0 0 25 0 1 0 712322432 66023424 14261 4294967295 134512640 134581331 3221221760 3221220728 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14270 566 18 0 16209 0
vsize: 64476
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 2496482 0 0 0 5692 4305 0 0 25 0 1 0 712322432 66465792 14277 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14286 566 18 0 16209 0
vsize: 64908
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 2813376 0 0 0 6141 4856 0 0 25 0 1 0 712322432 66465792 14299 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14308 566 18 0 16209 0
vsize: 64908
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 3130210 0 0 0 6597 5401 0 0 25 0 1 0 712322432 66023424 14261 4294967295 134512640 134581331 3221221760 3221220728 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14269 566 18 0 16209 0
vsize: 64476
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 3447055 0 0 0 7048 5950 0 0 25 0 1 0 712322432 66465792 14342 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14350 566 18 0 16209 0
vsize: 64908
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 3763910 0 0 0 7502 6496 0 0 25 0 1 0 712322432 66465792 14325 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14333 566 18 0 16209 0
vsize: 64908
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 4080811 0 0 0 7963 7036 0 0 25 0 1 0 712322432 66465792 14354 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14362 566 18 0 16209 0
vsize: 64908
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 4397656 0 0 0 8417 7582 0 0 25 0 1 0 712322432 66465792 14327 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14336 566 18 0 16209 0
vsize: 64908
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 4714615 0 0 0 8875 8124 0 0 25 0 1 0 712322432 66465792 14306 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14315 566 18 0 16209 0
vsize: 64908
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 5031475 0 0 0 9334 8665 0 0 25 0 1 0 712322432 66465792 14294 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14302 566 18 0 16209 0
vsize: 64908
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 5348334 0 0 0 9781 9218 0 0 25 0 1 0 712322432 66465792 14281 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14290 566 18 0 16209 0
vsize: 64908
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 5665303 0 0 0 10237 9762 0 0 25 0 1 0 712322432 66465792 14270 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16227 14270 566 18 0 16209 0
vsize: 64908
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 5980478 0 0 0 10680 10319 0 0 25 0 1 0 712322432 66465792 14301 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14301 566 18 0 16209 0
vsize: 64908
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6295708 0 0 0 11130 10869 0 0 25 0 1 0 712322432 66465792 14279 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14288 566 18 0 16209 0
vsize: 64908
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6610975 0 0 0 11579 11421 0 0 25 0 1 0 712322432 66465792 14294 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16227 14303 566 18 0 16209 0
vsize: 64908
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650000 0 0 0 12511 11489 0 0 25 0 1 0 712322432 66547712 14331 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14331 566 18 0 16229 0
vsize: 64988
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650005 0 0 0 13511 11489 0 0 25 0 1 0 712322432 66547712 14336 4294967295 134512640 134581331 3221221760 3221220768 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14336 566 18 0 16229 0
vsize: 64988
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650011 0 0 0 14511 11489 0 0 25 0 1 0 712322432 66547712 14342 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14342 566 18 0 16229 0
vsize: 64988
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650017 0 0 0 15510 11490 0 0 25 0 1 0 712322432 66547712 14348 4294967295 134512640 134581331 3221221760 3221220752 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14348 566 18 0 16229 0
vsize: 64988
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650022 0 0 0 16510 11491 0 0 25 0 1 0 712322432 66547712 14353 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14353 566 18 0 16229 0
vsize: 64988
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 5/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650028 0 0 0 17510 11492 0 0 25 0 1 0 712322432 66547712 14359 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14359 566 18 0 16229 0
vsize: 64988
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650034 0 0 0 18509 11492 0 0 25 0 1 0 712322432 66547712 14365 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14365 566 18 0 16229 0
vsize: 64988
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650040 0 0 0 19509 11493 0 0 25 0 1 0 712322432 66547712 14371 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14371 566 18 0 16229 0
vsize: 64988
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650045 0 0 0 20508 11493 0 0 25 0 1 0 712322432 66547712 14376 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14376 566 18 0 16229 0
vsize: 64988
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650051 0 0 0 21508 11494 0 0 25 0 1 0 712322432 66547712 14382 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14382 566 18 0 16229 0
vsize: 64988
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650057 0 0 0 22508 11494 0 0 25 0 1 0 712322432 66547712 14388 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16247 14388 566 18 0 16229 0
vsize: 64988
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650118 0 0 0 23508 11494 0 0 25 0 1 0 712322432 67342336 14449 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16441 14449 566 18 0 16423 0
vsize: 65764
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650247 0 0 0 24507 11495 0 0 25 0 1 0 712322432 67883008 14578 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16573 14578 566 18 0 16555 0
vsize: 66292
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650377 0 0 0 25506 11497 0 0 25 0 1 0 712322432 68423680 14708 4294967295 134512640 134581331 3221221760 3221220752 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16705 14708 566 18 0 16687 0
vsize: 66820
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650509 0 0 0 26505 11498 0 0 25 0 1 0 712322432 68829184 14840 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16804 14840 566 18 0 16786 0
vsize: 67216
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650640 0 0 0 27505 11498 0 0 25 0 1 0 712322432 69369856 14971 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16936 14971 566 18 0 16918 0
vsize: 67744
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650769 0 0 0 28504 11499 0 0 25 0 1 0 712322432 69910528 15100 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17068 15100 566 18 0 17050 0
vsize: 68272
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6650900 0 0 0 29503 11500 0 0 25 0 1 0 712322432 70451200 15231 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17200 15231 566 18 0 17182 0
vsize: 68800
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651030 0 0 0 30502 11501 0 0 25 0 1 0 712322432 70991872 15361 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17332 15361 566 18 0 17314 0
vsize: 69328
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651160 0 0 0 31502 11502 0 0 25 0 1 0 712322432 71397376 15491 4294967295 134512640 134581331 3221221760 3221220752 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17431 15491 566 18 0 17413 0
vsize: 69724
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651292 0 0 0 32501 11503 0 0 25 0 1 0 712322432 71938048 15623 4294967295 134512640 134581331 3221221760 3221220768 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17563 15623 566 18 0 17545 0
vsize: 70252
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651425 0 0 0 33500 11504 0 0 25 0 1 0 712322432 72478720 15756 4294967295 134512640 134581331 3221221760 3221220752 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17695 15756 566 18 0 17677 0
vsize: 70780
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651557 0 0 0 34499 11505 0 0 25 0 1 0 712322432 73019392 15888 4294967295 134512640 134581331 3221221760 3221220768 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17827 15888 566 18 0 17809 0
vsize: 71308
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651686 0 0 0 35499 11506 0 0 25 0 1 0 712322432 73560064 16017 4294967295 134512640 134581331 3221221760 3221220768 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17959 16017 566 18 0 17941 0
vsize: 71836
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651821 0 0 0 36498 11506 0 0 25 0 1 0 712322432 74100736 16152 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18091 16152 566 18 0 18073 0
vsize: 72364
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6651954 0 0 0 37497 11507 0 0 25 0 1 0 712322432 74506240 16285 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18190 16285 566 18 0 18172 0
vsize: 72760
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6652091 0 0 0 38497 11508 0 0 25 0 1 0 712322432 75046912 16422 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18322 16422 566 18 0 18304 0
vsize: 73288
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6652229 0 0 0 39496 11509 0 0 25 0 1 0 712322432 75587584 16560 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18454 16560 566 18 0 18436 0
vsize: 73816
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6652357 0 0 0 40496 11510 0 0 25 0 1 0 712322432 76128256 16688 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18586 16688 566 18 0 18568 0
vsize: 74344
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6652494 0 0 0 41495 11510 0 0 25 0 1 0 712322432 76668928 16825 4294967295 134512640 134581331 3221221760 3221220512 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18718 16825 566 18 0 18700 0
vsize: 74872
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6652623 0 0 0 42494 11511 0 0 25 0 1 0 712322432 77209600 16954 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18850 16954 566 18 0 18832 0
vsize: 75400
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6652755 0 0 0 43494 11512 0 0 25 0 1 0 712322432 77750272 17086 4294967295 134512640 134581331 3221221760 3221220768 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18982 17086 566 18 0 18964 0
vsize: 75928
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6652884 0 0 0 44493 11513 0 0 25 0 1 0 712322432 78155776 17215 4294967295 134512640 134581331 3221221760 3221220768 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19081 17215 566 18 0 19063 0
vsize: 76324
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6653015 0 0 0 45492 11514 0 0 25 0 1 0 712322432 79745024 17346 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19469 17346 566 18 0 19451 0
vsize: 77876
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6653148 0 0 0 46491 11515 0 0 25 0 1 0 712322432 80285696 17479 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19601 17479 566 18 0 19583 0
vsize: 78404
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6653279 0 0 0 47490 11516 0 0 25 0 1 0 712322432 80826368 17610 4294967295 134512640 134581331 3221221760 3221220752 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19733 17610 566 18 0 19715 0
vsize: 78932
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6653407 0 0 0 48490 11517 0 0 25 0 1 0 712322432 81231872 17738 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19832 17738 566 18 0 19814 0
vsize: 79328
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6653547 0 0 0 49489 11518 0 0 25 0 1 0 712322432 81907712 17878 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19997 17878 566 18 0 19979 0
vsize: 79988
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6653686 0 0 0 50489 11518 0 0 25 0 1 0 712322432 82448384 18017 4294967295 134512640 134581331 3221221760 3221220752 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20129 18017 566 18 0 20111 0
vsize: 80516
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6654137 0 0 0 51487 11520 0 0 25 0 1 0 712322432 84205568 18468 4294967295 134512640 134581331 3221221760 3221220768 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20558 18468 566 18 0 20540 0
vsize: 82232
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6654773 0 0 0 52485 11523 0 0 25 0 1 0 712322432 86773760 19104 4294967295 134512640 134581331 3221221760 3221220752 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21185 19104 566 18 0 21167 0
vsize: 84740
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6655420 0 0 0 53482 11526 0 0 25 0 1 0 712322432 89477120 19751 4294967295 134512640 134581331 3221221760 3221220768 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21845 19751 566 18 0 21827 0
vsize: 87380
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656102 0 0 0 54480 11528 0 0 25 0 1 0 712322432 92356608 20433 4294967295 134512640 134581331 3221221760 3221220672 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20433 566 18 0 22530 0
vsize: 90192
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656102 0 0 0 55480 11528 0 0 25 0 1 0 712322432 92356608 20433 4294967295 134512640 134581331 3221221760 3221220704 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20433 566 18 0 22530 0
vsize: 90192
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656102 0 0 0 56479 11529 0 0 25 0 1 0 712322432 92356608 20433 4294967295 134512640 134581331 3221221760 3221220752 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20433 566 18 0 22530 0
vsize: 90192
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 57479 11530 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220672 134519032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 58479 11530 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 59478 11531 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 60478 11531 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 61478 11532 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 62477 11533 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 63477 11533 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 64476 11534 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 65476 11534 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220688 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 66476 11535 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 67476 11535 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 68475 11536 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 69475 11536 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 70475 11537 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 71474 11537 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 72474 11538 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220736 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 73474 11538 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220724 134554656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 74474 11539 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 75473 11539 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220688 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 76473 11540 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220688 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 77473 11540 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220644 134557930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 78473 11541 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 79472 11541 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220652 134526884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 80471 11542 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 81471 11543 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 82471 11543 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 83471 11544 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220672 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 84471 11544 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 85470 11545 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 86469 11546 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220816 134556137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 87469 11546 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 88469 11547 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 89468 11547 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 90468 11548 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 91467 11549 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 92467 11549 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 93467 11550 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220736 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 94466 11550 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 95466 11550 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 96466 11551 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220736 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 97466 11551 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 98466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220644 134557773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 99466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 100466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 101466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134559377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 102466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220688 134520109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 103466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220720 134527588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 104466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 105466 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220732 134519895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 106467 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220704 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 107467 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220672 134519975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19138
Raw data (stat): 19138 (Pueblo) R 19137 7876 7672 0 -1 0 6656103 0 0 0 108467 11552 0 0 25 0 1 0 712322432 92356608 20434 4294967295 134512640 134581331 3221221760 3221220752 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22548 20434 566 18 0 22530 0
vsize: 90192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19138
Raw data (stat): 19138 (Pueblo) Z 19137 7876 7672 0 -1 1036 6656103 0 0 0 108467 11556 0 0 25 0 1 0 712322432 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.24
CPU user time (s): 1084.67
CPU system time (s): 115.566
CPU usage (%): 100.011
Max. virtual memory (Kb): 90192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####