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.mem.LsqHdStrong.ucl.opb
MD5SUM	dcb6d1c3f66e900ae345e6fa455bef2a
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	168111
Total number of constraints	487525
Number of constraints which are clauses	468727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	18798
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 24650

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 14:18:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2716 boxname=wulflinc31 idbench=302 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  dcb6d1c3f66e900ae345e6fa455bef2a  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
IDLAUNCH: 2716
/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:        916212 kB
Buffers:          2640 kB
Cached:          93732 kB
SwapCached:       1956 kB
Active:          67360 kB
Inactive:        32164 kB
HighTotal:      131008 kB
HighFree:        36624 kB
LowTotal:       903652 kB
LowFree:        879588 kB
SwapTotal:     2097892 kB
SwapFree:      2095248 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5296 kB
Slab:            13064 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 14:38:48 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2716 7 1200.23 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): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (runsolver) R 30433 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 718548999 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.0007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 8912 0 0 0 969 27 0 0 25 0 1 0 718548999 42168320 8890 4294967295 134512640 134581331 3221221776 3217026056 1075321319 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10295 8890 566 18 0 10277 0
vsize: 41180
[startup+20.0019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 16585 0 0 0 1947 49 0 0 25 0 1 0 718548999 73543680 16563 4294967295 134512640 134581331 3221221776 3217025908 1075668638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17955 16563 566 18 0 17937 0
vsize: 71820
[startup+30.0027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 242342 0 0 0 2488 508 0 0 25 0 1 0 718548999 102789120 21588 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21595 566 18 0 25077 0
vsize: 100380
[startup+40.0024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 534552 0 0 0 2904 1092 0 0 25 0 1 0 718548999 102789120 21583 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21591 566 18 0 25077 0
vsize: 100380
[startup+50.0036 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 829930 0 0 0 3339 1657 0 0 25 0 1 0 718548999 102789120 21446 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21455 566 18 0 25077 0
vsize: 100380
[startup+60.0035 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 1124448 0 0 0 3773 2223 0 0 25 0 1 0 718548999 102789120 21604 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21604 566 18 0 25077 0
vsize: 100380
[startup+70.0044 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 1418313 0 0 0 4200 2797 0 0 25 0 1 0 718548999 102789120 21604 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24930 21439 566 18 0 24912 0
vsize: 100380
[startup+80.0054 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 1712250 0 0 0 4622 3375 0 0 25 0 1 0 718548999 102789120 21511 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21519 566 18 0 25077 0
vsize: 100380
[startup+90.0053 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 2006145 0 0 0 5039 3958 0 0 25 0 1 0 718548999 102789120 21541 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21549 566 18 0 25077 0
vsize: 100380
[startup+100.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 2299908 0 0 0 5463 4535 0 0 25 0 1 0 718548999 102789120 21604 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21604 566 18 0 25077 0
vsize: 100380
[startup+110.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 2593682 0 0 0 5883 5115 0 0 25 0 1 0 718548999 102789120 21513 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21521 566 18 0 25077 0
vsize: 100380
[startup+120.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 2887750 0 0 0 6310 5688 0 0 25 0 1 0 718548999 102789120 21551 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21559 566 18 0 25077 0
vsize: 100380
[startup+130.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 3181668 0 0 0 6737 6262 0 0 25 0 1 0 718548999 102113280 21439 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21447 566 18 0 25077 0
vsize: 99720
[startup+140.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 3475657 0 0 0 7165 6833 0 0 25 0 1 0 718548999 102789120 21563 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21570 566 18 0 25077 0
vsize: 100380
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 3769407 0 0 0 7590 7409 0 0 25 0 1 0 718548999 102789120 21448 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21457 566 18 0 25077 0
vsize: 100380
[startup+160.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 4063595 0 0 0 8024 7975 0 0 25 0 1 0 718548999 102789120 21441 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21450 566 18 0 25077 0
vsize: 100380
[startup+170.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 4357623 0 0 0 8443 8556 0 0 25 0 1 0 718548999 102113280 21439 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21447 566 18 0 25077 0
vsize: 99720
[startup+180.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 4651653 0 0 0 8863 9137 0 0 25 0 1 0 718548999 102789120 21604 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21604 566 18 0 25077 0
vsize: 100380
[startup+190.01 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 4945683 0 0 0 9287 9713 0 0 25 0 1 0 718548999 102113280 21439 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21447 566 18 0 25077 0
vsize: 99720
[startup+200.011 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 5239977 0 0 0 9708 10291 0 0 25 0 1 0 718548999 102789120 21538 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21545 566 18 0 25077 0
vsize: 100380
[startup+210.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 5534169 0 0 0 10127 10873 0 0 25 0 1 0 718548999 102789120 21536 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21543 566 18 0 25077 0
vsize: 100380
[startup+220.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 5828392 0 0 0 10550 11450 0 0 25 0 1 0 718548999 102789120 21563 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21571 566 18 0 25077 0
vsize: 100380
[startup+230.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 6122484 0 0 0 10974 12026 0 0 25 0 1 0 718548999 102789120 21460 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21469 566 18 0 25077 0
vsize: 100380
[startup+240.012 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 6416650 0 0 0 11394 12607 0 0 25 0 1 0 718548999 102789120 21596 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21604 566 18 0 25077 0
vsize: 100380
[startup+250.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 6710810 0 0 0 11814 13187 0 0 25 0 1 0 718548999 102789120 21561 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21568 566 18 0 25077 0
vsize: 100380
[startup+260.013 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 7004388 0 0 0 12234 13766 0 0 25 0 1 0 718548999 102789120 21604 4294967295 134512640 134581331 3221221776 3221220704 134525379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21604 566 18 0 25077 0
vsize: 100380
[startup+270.014 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 7297301 0 0 0 12655 14346 0 0 25 0 1 0 718548999 102789120 21477 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21486 566 18 0 25077 0
vsize: 100380
[startup+280.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 7590303 0 0 0 13079 14922 0 0 25 0 1 0 718548999 102789120 21604 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21604 566 18 0 25077 0
vsize: 100380
[startup+290.015 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 7883263 0 0 0 13505 15496 0 0 25 0 1 0 718548999 102789120 21524 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21532 566 18 0 25077 0
vsize: 100380
[startup+300.016 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 8175317 0 0 0 13922 16080 0 0 25 0 1 0 718548999 102789120 21528 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21536 566 18 0 25077 0
vsize: 100380
[startup+310.016 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 8467113 0 0 0 14337 16665 0 0 25 0 1 0 718548999 102789120 21604 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21604 566 18 0 25077 0
vsize: 100380
[startup+320.017 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 8759294 0 0 0 14762 17240 0 0 25 0 1 0 718548999 102789120 21570 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21577 566 18 0 25077 0
vsize: 100380
[startup+330.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 9051670 0 0 0 15179 17823 0 0 25 0 1 0 718548999 102789120 21566 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21573 566 18 0 25077 0
vsize: 100380
[startup+340.017 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 9343795 0 0 0 15591 18411 0 0 25 0 1 0 718548999 102789120 21476 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21485 566 18 0 25077 0
vsize: 100380
[startup+350.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 9635205 0 0 0 16010 18993 0 0 25 0 1 0 718548999 102789120 21496 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21504 566 18 0 25077 0
vsize: 100380
[startup+360.018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 9926480 0 0 0 16433 19570 0 0 25 0 1 0 718548999 102789120 21546 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21553 566 18 0 25077 0
vsize: 100380
[startup+370.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 10218132 0 0 0 16858 20145 0 0 25 0 1 0 718548999 102789120 21478 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21487 566 18 0 25077 0
vsize: 100380
[startup+380.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 10508027 0 0 0 17279 20724 0 0 25 0 1 0 718548999 102789120 21468 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21476 566 18 0 25077 0
vsize: 100380
[startup+390.019 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 10798028 0 0 0 17697 21306 0 0 25 0 1 0 718548999 102789120 21564 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25095 21570 566 18 0 25077 0
vsize: 100380
[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 11090278 0 0 0 18125 21879 0 0 25 0 1 0 718548999 103313408 21599 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21607 566 18 0 25205 0
vsize: 100892
[startup+410.02 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 11383886 0 0 0 18545 22459 0 0 25 0 1 0 718548999 103313408 21672 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25058 21507 566 18 0 25040 0
vsize: 100892
[startup+420.022 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 11676389 0 0 0 18963 23042 0 0 25 0 1 0 718548999 103313408 21630 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21638 566 18 0 25205 0
vsize: 100892
[startup+430.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 11968440 0 0 0 19389 23615 0 0 25 0 1 0 718548999 103313408 21631 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21638 566 18 0 25205 0
vsize: 100892
[startup+440.023 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 12261134 0 0 0 19806 24199 0 0 25 0 1 0 718548999 103313408 21615 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21623 566 18 0 25205 0
vsize: 100892
[startup+450.024 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 12553704 0 0 0 20222 24783 0 0 25 0 1 0 718548999 103313408 21640 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21647 566 18 0 25205 0
vsize: 100892
[startup+460.025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 12845125 0 0 0 20641 25364 0 0 25 0 1 0 718548999 103313408 21671 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21679 566 18 0 25205 0
vsize: 100892
[startup+470.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 13137099 0 0 0 21063 25942 0 0 25 0 1 0 718548999 103313408 21595 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21603 566 18 0 25205 0
vsize: 100892
[startup+480.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 13428473 0 0 0 21475 26531 0 0 25 0 1 0 718548999 103313408 21579 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21586 566 18 0 25205 0
vsize: 100892
[startup+490.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 13720117 0 0 0 21893 27112 0 0 25 0 1 0 718548999 103313408 21668 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21675 566 18 0 25205 0
vsize: 100892
[startup+500.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 14011173 0 0 0 22315 27691 0 0 25 0 1 0 718548999 103313408 21664 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21672 566 18 0 25205 0
vsize: 100892
[startup+510.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 14301806 0 0 0 22736 28270 0 0 25 0 1 0 718548999 103313408 21567 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21574 566 18 0 25205 0
vsize: 100892
[startup+520.026 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 14593275 0 0 0 23157 28849 0 0 25 0 1 0 718548999 103313408 21646 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21654 566 18 0 25205 0
vsize: 100892
[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 14884947 0 0 0 23582 29425 0 0 25 0 1 0 718548999 103313408 21598 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21607 566 18 0 25205 0
vsize: 100892
[startup+540.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 15176336 0 0 0 23995 30012 0 0 25 0 1 0 718548999 103313408 21597 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21605 566 18 0 25205 0
vsize: 100892
[startup+550.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 15469385 0 0 0 24411 30596 0 0 25 0 1 0 718548999 103313408 21606 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21614 566 18 0 25205 0
vsize: 100892
[startup+560.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 15762358 0 0 0 24837 31170 0 0 25 0 1 0 718548999 103313408 21539 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21547 566 18 0 25205 0
vsize: 100892
[startup+570.027 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 16055871 0 0 0 25261 31746 0 0 25 0 1 0 718548999 103313408 21682 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21690 566 18 0 25205 0
vsize: 100892
[startup+580.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 16349058 0 0 0 25680 32328 0 0 25 0 1 0 718548999 103313408 21664 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21671 566 18 0 25205 0
vsize: 100892
[startup+590.028 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 16642465 0 0 0 26100 32908 0 0 25 0 1 0 718548999 103313408 21701 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21703 566 18 0 25205 0
vsize: 100892
[startup+600.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 16935760 0 0 0 26522 33485 0 0 25 0 1 0 718548999 103313408 21626 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21634 566 18 0 25205 0
vsize: 100892
[startup+610.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 17229170 0 0 0 26944 34064 0 0 25 0 1 0 718548999 103313408 21666 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21673 566 18 0 25205 0
vsize: 100892
[startup+620.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 17522252 0 0 0 27364 34644 0 0 25 0 1 0 718548999 103313408 21708 4294967295 134512640 134581331 3221221776 3221220676 1075289633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21708 566 18 0 25205 0
vsize: 100892
[startup+630.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 17815294 0 0 0 27788 35220 0 0 25 0 1 0 718548999 103313408 21710 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21710 566 18 0 25205 0
vsize: 100892
[startup+640.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 18108198 0 0 0 28209 35799 0 0 25 0 1 0 718548999 103313408 21574 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21582 566 18 0 25205 0
vsize: 100892
[startup+650.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 18400900 0 0 0 28635 36373 0 0 25 0 1 0 718548999 103313408 21566 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21575 566 18 0 25205 0
vsize: 100892
[startup+660.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 18693773 0 0 0 29064 36945 0 0 25 0 1 0 718548999 103313408 21564 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21573 566 18 0 25205 0
vsize: 100892
[startup+670.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 18987084 0 0 0 29483 37526 0 0 25 0 1 0 718548999 103313408 21670 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21677 566 18 0 25205 0
vsize: 100892
[startup+680.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 19279977 0 0 0 29903 38106 0 0 25 0 1 0 718548999 103313408 21688 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21696 566 18 0 25205 0
vsize: 100892
[startup+690.029 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 19572205 0 0 0 30326 38684 0 0 25 0 1 0 718548999 103313408 21701 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21708 566 18 0 25205 0
vsize: 100892
[startup+700.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 19865788 0 0 0 30743 39266 0 0 25 0 1 0 718548999 103313408 21584 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21592 566 18 0 25205 0
vsize: 100892
[startup+710.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 20159632 0 0 0 31172 39838 0 0 25 0 1 0 718548999 103313408 21563 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21571 566 18 0 25205 0
vsize: 100892
[startup+720.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 20454059 0 0 0 31599 40410 0 0 25 0 1 0 718548999 103313408 21630 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21638 566 18 0 25205 0
vsize: 100892
[startup+730.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 20749011 0 0 0 32019 40991 0 0 25 0 1 0 718548999 103313408 21727 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21727 566 18 0 25205 0
vsize: 100892
[startup+740.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 21043431 0 0 0 32441 41569 0 0 25 0 1 0 718548999 103313408 21622 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21630 566 18 0 25205 0
vsize: 100892
[startup+750.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 21337572 0 0 0 32870 42140 0 0 25 0 1 0 718548999 103313408 21568 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21577 566 18 0 25205 0
vsize: 100892
[startup+760.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 21632600 0 0 0 33291 42719 0 0 25 0 1 0 718548999 103313408 21576 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25223 21585 566 18 0 25205 0
vsize: 100892
[startup+770.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 21927283 0 0 0 33710 43300 0 0 25 0 1 0 718548999 103837696 21734 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21734 566 18 0 25333 0
vsize: 101404
[startup+780.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 22221315 0 0 0 34140 43871 0 0 25 0 1 0 718548999 103161856 21571 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21579 566 18 0 25333 0
vsize: 100744
[startup+790.031 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 22515053 0 0 0 34565 44446 0 0 25 0 1 0 718548999 103837696 21609 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21617 566 18 0 25333 0
vsize: 101404
[startup+800.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 22808932 0 0 0 34983 45028 0 0 25 0 1 0 718548999 103837696 21623 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21632 566 18 0 25333 0
vsize: 101404
[startup+810.033 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 23102723 0 0 0 35408 45603 0 0 25 0 1 0 718548999 103837696 21714 4294967295 134512640 134581331 3221221776 3221220768 134531732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21721 566 18 0 25333 0
vsize: 101404
[startup+820.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 23396617 0 0 0 35834 46177 0 0 25 0 1 0 718548999 103837696 21743 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21743 566 18 0 25333 0
vsize: 101404
[startup+830.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 23690358 0 0 0 36256 46756 0 0 25 0 1 0 718548999 103837696 21619 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21628 566 18 0 25333 0
vsize: 101404
[startup+840.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 23984030 0 0 0 36680 47332 0 0 25 0 1 0 718548999 103837696 21591 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21599 566 18 0 25333 0
vsize: 101404
[startup+850.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 24277902 0 0 0 37103 47909 0 0 25 0 1 0 718548999 103837696 21598 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21607 566 18 0 25333 0
vsize: 101404
[startup+860.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 24570941 0 0 0 37520 48492 0 0 25 0 1 0 718548999 103837696 21597 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21605 566 18 0 25333 0
vsize: 101404
[startup+870.032 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 24863104 0 0 0 37944 49068 0 0 25 0 1 0 718548999 103837696 21710 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21717 566 18 0 25333 0
vsize: 101404
[startup+880.033 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 25155692 0 0 0 38368 49645 0 0 25 0 1 0 718548999 103837696 21753 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25186 21588 566 18 0 25168 0
vsize: 101404
[startup+890.033 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 25448174 0 0 0 38775 50237 0 0 25 0 1 0 718548999 103837696 21690 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21698 566 18 0 25333 0
vsize: 101404
[startup+900.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 25741116 0 0 0 39202 50811 0 0 25 0 1 0 718548999 103837696 21757 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21757 566 18 0 25333 0
vsize: 101404
[startup+910.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 26033992 0 0 0 39621 51392 0 0 25 0 1 0 718548999 103837696 21758 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21758 566 18 0 25333 0
vsize: 101404
[startup+920.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 26326890 0 0 0 40040 51973 0 0 25 0 1 0 718548999 103837696 21616 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21625 566 18 0 25333 0
vsize: 101404
[startup+930.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 26620901 0 0 0 40455 52558 0 0 25 0 1 0 718548999 103837696 21762 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21762 566 18 0 25333 0
vsize: 101404
[startup+940.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 26914273 0 0 0 40878 53135 0 0 25 0 1 0 718548999 103837696 21764 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25186 21599 566 18 0 25168 0
vsize: 101404
[startup+950.035 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 27207318 0 0 0 41298 53715 0 0 25 0 1 0 718548999 103837696 21604 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21613 566 18 0 25333 0
vsize: 101404
[startup+960.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 27502268 0 0 0 41725 54289 0 0 25 0 1 0 718548999 103837696 21699 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21707 566 18 0 25333 0
vsize: 101404
[startup+970.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 27796368 0 0 0 42145 54869 0 0 25 0 1 0 718548999 103161856 21604 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21612 566 18 0 25333 0
vsize: 100744
[startup+980.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 28090181 0 0 0 42567 55447 0 0 25 0 1 0 718548999 103837696 21717 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21724 566 18 0 25333 0
vsize: 101404
[startup+990.034 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 28383837 0 0 0 42989 56026 0 0 25 0 1 0 718548999 103837696 21673 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21681 566 18 0 25333 0
vsize: 101404
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 28677670 0 0 0 43408 56606 0 0 25 0 1 0 718548999 103837696 21641 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21650 566 18 0 25333 0
vsize: 101404
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 28971443 0 0 0 43830 57184 0 0 25 0 1 0 718548999 103837696 21714 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21721 566 18 0 25333 0
vsize: 101404
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 29265869 0 0 0 44253 57762 0 0 25 0 1 0 718548999 103837696 21615 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21624 566 18 0 25333 0
vsize: 101404
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 29560546 0 0 0 44677 58338 0 0 25 0 1 0 718548999 103837696 21767 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21774 566 18 0 25333 0
vsize: 101404
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 29855296 0 0 0 45102 58914 0 0 25 0 1 0 718548999 103837696 21662 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21670 566 18 0 25333 0
vsize: 101404
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 30149406 0 0 0 45522 59493 0 0 25 0 1 0 718548999 103837696 21742 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21750 566 18 0 25333 0
vsize: 101404
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 30443219 0 0 0 45946 60070 0 0 25 0 1 0 718548999 103837696 21690 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21698 566 18 0 25333 0
vsize: 101404
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 30737345 0 0 0 46370 60645 0 0 25 0 1 0 718548999 103837696 21786 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21786 566 18 0 25333 0
vsize: 101404
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 31031839 0 0 0 46794 61221 0 0 25 0 1 0 718548999 103837696 21755 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21761 566 18 0 25333 0
vsize: 101404
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 31326234 0 0 0 47221 61796 0 0 25 0 1 0 718548999 103837696 21790 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21790 566 18 0 25333 0
vsize: 101404
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 31620331 0 0 0 47642 62374 0 0 25 0 1 0 718548999 103837696 21692 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21700 566 18 0 25333 0
vsize: 101404
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 31913801 0 0 0 48065 62952 0 0 25 0 1 0 718548999 103837696 21792 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21793 566 18 0 25333 0
vsize: 101404
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 32206609 0 0 0 48491 63526 0 0 25 0 1 0 718548999 103837696 21725 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21733 566 18 0 25333 0
vsize: 101404
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 32499642 0 0 0 48916 64101 0 0 25 0 1 0 718548999 103837696 21718 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21726 566 18 0 25333 0
vsize: 101404
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 32792235 0 0 0 49334 64683 0 0 25 0 1 0 718548999 103837696 21766 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21773 566 18 0 25333 0
vsize: 101404
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 33084484 0 0 0 49759 65258 0 0 25 0 1 0 718548999 103161856 21635 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21643 566 18 0 25333 0
vsize: 100744
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 33376013 0 0 0 50179 65838 0 0 25 0 1 0 718548999 103837696 21774 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21781 566 18 0 25333 0
vsize: 101404
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 33667411 0 0 0 50597 66420 0 0 25 0 1 0 718548999 103837696 21782 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21789 566 18 0 25333 0
vsize: 101404
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 33959222 0 0 0 51012 67006 0 0 25 0 1 0 718548999 103837696 21708 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21716 566 18 0 25333 0
vsize: 101404
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 34251497 0 0 0 51428 67589 0 0 25 0 1 0 718548999 103837696 21768 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21775 566 18 0 25333 0
vsize: 101404
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.98 0.99 2/54 30434
Raw data (stat): 30434 (Pueblo) R 30433 7876 7672 0 -1 0 34543576 0 0 0 51850 68168 0 0 25 0 1 0 718548999 103837696 21797 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25351 21805 566 18 0 25333 0
vsize: 101404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.98 0.99 1/54 30434
Raw data (stat): 30434 (Pueblo) Z 30433 7876 7672 0 -1 1036 34543588 0 0 0 51850 68172 0 0 25 0 1 0 718548999 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.08
CPU time (s): 1200.23
CPU user time (s): 518.503
CPU system time (s): 681.729
CPU usage (%): 100.012
Max. virtual memory (Kb): 101404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####