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-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(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	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 24550

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 02:11:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2536 boxname=wulflinc31 idbench=282 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 2536
/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:        916028 kB
Buffers:         12268 kB
Cached:          82864 kB
SwapCached:       1088 kB
Active:          69872 kB
Inactive:        27420 kB
HighTotal:      131008 kB
HighFree:        46592 kB
LowTotal:       903652 kB
LowFree:        869436 kB
SwapTotal:     2097892 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4692 kB
Slab:            15496 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 02:31:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2536 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): 0.92 0.95 0.90 2/54 20572
Raw data (stat): 20572 (runsolver) R 20571 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 714184356 1056768 100 4294967295 134512640 135381576 3221221664 3221216888 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 8865 0 0 0 971 25 0 0 25 0 1 0 714184356 42033152 8843 4294967295 134512640 134581331 3221221776 3217026048 1075243550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10262 8843 566 18 0 10244 0
vsize: 41048
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 16850 0 0 0 1946 50 0 0 25 0 1 0 714184356 74637312 16828 4294967295 134512640 134581331 3221221776 3217026048 1075243624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18222 16828 566 18 0 18204 0
vsize: 72888
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 127980 0 0 0 2703 293 0 0 25 0 1 0 714184356 116166656 25466 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25474 566 18 0 28343 0
vsize: 113444
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 412838 0 0 0 3116 881 0 0 25 0 1 0 714184356 116166656 25600 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25607 566 18 0 28343 0
vsize: 113444
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 699159 0 0 0 3530 1467 0 0 25 0 1 0 714184356 116166656 25613 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25619 566 18 0 28343 0
vsize: 113444
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 986217 0 0 0 3945 2052 0 0 25 0 1 0 714184356 116166656 25571 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25578 566 18 0 28343 0
vsize: 113444
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 1273175 0 0 0 4349 2648 0 0 25 0 1 0 714184356 116166656 25627 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25627 566 18 0 28343 0
vsize: 113444
[startup+80.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 1559689 0 0 0 4764 3234 0 0 25 0 1 0 714184356 116166656 25437 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25446 566 18 0 28343 0
vsize: 113444
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 1846529 0 0 0 5181 3817 0 0 25 0 1 0 714184356 116166656 25573 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25580 566 18 0 28343 0
vsize: 113444
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 2133172 0 0 0 5587 4410 0 0 25 0 1 0 714184356 116166656 25512 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25519 566 18 0 28343 0
vsize: 113444
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 2419793 0 0 0 6000 4998 0 0 25 0 1 0 714184356 116166656 25627 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25627 566 18 0 28343 0
vsize: 113444
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 2706666 0 0 0 6414 5584 0 0 25 0 1 0 714184356 116166656 25598 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25605 566 18 0 28343 0
vsize: 113444
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 2992875 0 0 0 6822 6175 0 0 25 0 1 0 714184356 116166656 25499 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25507 566 18 0 28343 0
vsize: 113444
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 3279257 0 0 0 7238 6759 0 0 25 0 1 0 714184356 116166656 25573 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25579 566 18 0 28343 0
vsize: 113444
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 3566077 0 0 0 7645 7353 0 0 25 0 1 0 714184356 116166656 25491 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25498 566 18 0 28343 0
vsize: 113444
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 3853529 0 0 0 8058 7940 0 0 25 0 1 0 714184356 116166656 25447 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25456 566 18 0 28343 0
vsize: 113444
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 4140826 0 0 0 8470 8528 0 0 25 0 1 0 714184356 116166656 25446 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25455 566 18 0 28343 0
vsize: 113444
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 4428141 0 0 0 8884 9114 0 0 25 0 1 0 714184356 116166656 25463 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25471 566 18 0 28343 0
vsize: 113444
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 4715048 0 0 0 9300 9698 0 0 25 0 1 0 714184356 116166656 25468 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25477 566 18 0 28343 0
vsize: 113444
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 5002139 0 0 0 9722 10277 0 0 25 0 1 0 714184356 116166656 25459 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25468 566 18 0 28343 0
vsize: 113444
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 5289209 0 0 0 10131 10868 0 0 25 0 1 0 714184356 115355648 25429 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25437 566 18 0 28343 0
vsize: 112652
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 5575876 0 0 0 10542 11457 0 0 25 0 1 0 714184356 116166656 25590 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25597 566 18 0 28343 0
vsize: 113444
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 5862402 0 0 0 10952 12047 0 0 25 0 1 0 714184356 116166656 25610 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25616 566 18 0 28343 0
vsize: 113444
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 6149589 0 0 0 11367 12632 0 0 25 0 1 0 714184356 116166656 25499 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25507 566 18 0 28343 0
vsize: 113444
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 6436377 0 0 0 11784 13215 0 0 25 0 1 0 714184356 116166656 25583 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25590 566 18 0 28343 0
vsize: 113444
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 6722744 0 0 0 12193 13806 0 0 25 0 1 0 714184356 116166656 25444 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25453 566 18 0 28343 0
vsize: 113444
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 7009773 0 0 0 12607 14392 0 0 25 0 1 0 714184356 116166656 25571 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25578 566 18 0 28343 0
vsize: 113444
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 7296335 0 0 0 13018 14981 0 0 25 0 1 0 714184356 116166656 25627 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25627 566 18 0 28343 0
vsize: 113444
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 7583306 0 0 0 13427 15573 0 0 25 0 1 0 714184356 116166656 25498 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28361 25505 566 18 0 28343 0
vsize: 113444
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 7870225 0 0 0 13835 16164 0 0 25 0 1 0 714184356 116166656 25515 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25523 566 18 0 28343 0
vsize: 113444
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 8160703 0 0 0 14245 16755 0 0 25 0 1 0 714184356 116166656 25527 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25535 566 18 0 28343 0
vsize: 113444
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 8451349 0 0 0 14662 17337 0 0 25 0 1 0 714184356 116166656 25509 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25516 566 18 0 28343 0
vsize: 113444
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 8741911 0 0 0 15074 17926 0 0 25 0 1 0 714184356 116166656 25605 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25612 566 18 0 28343 0
vsize: 113444
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 9032479 0 0 0 15491 18510 0 0 25 0 1 0 714184356 116166656 25509 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25517 566 18 0 28343 0
vsize: 113444
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 9322937 0 0 0 15899 19101 0 0 25 0 1 0 714184356 116166656 25501 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25509 566 18 0 28343 0
vsize: 113444
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 9613499 0 0 0 16312 19689 0 0 25 0 1 0 714184356 116166656 25597 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25605 566 18 0 28343 0
vsize: 113444
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 9903951 0 0 0 16720 20281 0 0 25 0 1 0 714184356 116166656 25583 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25591 566 18 0 28343 0
vsize: 113444
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 10194263 0 0 0 17132 20869 0 0 25 0 1 0 714184356 116166656 25627 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25627 566 18 0 28343 0
vsize: 113444
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 10484708 0 0 0 17549 21452 0 0 25 0 1 0 714184356 116166656 25606 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25613 566 18 0 28343 0
vsize: 113444
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 10775132 0 0 0 17955 22047 0 0 25 0 1 0 714184356 116166656 25564 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25571 566 18 0 28343 0
vsize: 113444
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 11065590 0 0 0 18375 22626 0 0 25 0 1 0 714184356 116166656 25556 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25563 566 18 0 28343 0
vsize: 113444
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 11356073 0 0 0 18784 23218 0 0 25 0 1 0 714184356 116166656 25573 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25581 566 18 0 28343 0
vsize: 113444
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 11646656 0 0 0 19199 23803 0 0 25 0 1 0 714184356 116166656 25492 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25500 566 18 0 28343 0
vsize: 113444
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 11937257 0 0 0 19612 24391 0 0 25 0 1 0 714184356 116166656 25627 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25627 566 18 0 28343 0
vsize: 113444
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 12227926 0 0 0 20032 24971 0 0 25 0 1 0 714184356 116166656 25434 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25443 566 18 0 28343 0
vsize: 113444
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 12517793 0 0 0 20441 25562 0 0 25 0 1 0 714184356 115355648 25429 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25437 566 18 0 28343 0
vsize: 112652
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 12807665 0 0 0 20844 26158 0 0 25 0 1 0 714184356 115355648 25429 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28361 25437 566 18 0 28343 0
vsize: 112652
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 13097114 0 0 0 21252 26751 0 0 25 0 1 0 714184356 116690944 25600 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25608 566 18 0 28471 0
vsize: 113956
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 13385069 0 0 0 21664 27339 0 0 25 0 1 0 714184356 116690944 25663 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25671 566 18 0 28471 0
vsize: 113956
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 13672668 0 0 0 22066 27937 0 0 25 0 1 0 714184356 116690944 25568 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25576 566 18 0 28471 0
vsize: 113956
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 13960157 0 0 0 22470 28534 0 0 25 0 1 0 714184356 116690944 25561 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25569 566 18 0 28471 0
vsize: 113956
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 14247039 0 0 0 22874 29130 0 0 25 0 1 0 714184356 116690944 25541 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25550 566 18 0 28471 0
vsize: 113956
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 14535153 0 0 0 23290 29714 0 0 25 0 1 0 714184356 116690944 25565 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25573 566 18 0 28471 0
vsize: 113956
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 14823180 0 0 0 23695 30310 0 0 25 0 1 0 714184356 115879936 25502 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25510 566 18 0 28471 0
vsize: 113164
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 15111778 0 0 0 24105 30900 0 0 25 0 1 0 714184356 116690944 25614 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25622 566 18 0 28471 0
vsize: 113956
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 15401803 0 0 0 24511 31494 0 0 25 0 1 0 714184356 116690944 25569 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25577 566 18 0 28471 0
vsize: 113956
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 15691830 0 0 0 24923 32082 0 0 25 0 1 0 714184356 116690944 25526 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25535 566 18 0 28471 0
vsize: 113956
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 15982278 0 0 0 25338 32667 0 0 25 0 1 0 714184356 116690944 25706 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25706 566 18 0 28471 0
vsize: 113956
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 16272875 0 0 0 25754 33251 0 0 25 0 1 0 714184356 116690944 25639 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25646 566 18 0 28471 0
vsize: 113956
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 16563431 0 0 0 26167 33838 0 0 25 0 1 0 714184356 116690944 25531 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25541 566 18 0 28471 0
vsize: 113956
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 16853763 0 0 0 26583 34422 0 0 25 0 1 0 714184356 116690944 25595 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25602 566 18 0 28471 0
vsize: 113956
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 17144589 0 0 0 26994 35012 0 0 25 0 1 0 714184356 116690944 25559 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25568 566 18 0 28471 0
vsize: 113956
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 17435776 0 0 0 27403 35603 0 0 25 0 1 0 714184356 116690944 25686 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25693 566 18 0 28471 0
vsize: 113956
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 17727740 0 0 0 27819 36187 0 0 25 0 1 0 714184356 116690944 25600 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25609 566 18 0 28471 0
vsize: 113956
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 18019906 0 0 0 28233 36774 0 0 25 0 1 0 714184356 116690944 25716 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28291 25518 566 18 0 28273 0
vsize: 113956
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 18311697 0 0 0 28648 37358 0 0 25 0 1 0 714184356 116690944 25655 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25662 566 18 0 28471 0
vsize: 113956
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 18603655 0 0 0 29061 37946 0 0 25 0 1 0 714184356 116690944 25563 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25571 566 18 0 28471 0
vsize: 113956
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 18895133 0 0 0 29481 38526 0 0 25 0 1 0 714184356 116690944 25585 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25594 566 18 0 28471 0
vsize: 113956
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 19186903 0 0 0 29898 39110 0 0 25 0 1 0 714184356 116690944 25701 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25708 566 18 0 28471 0
vsize: 113956
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 19478727 0 0 0 30314 39693 0 0 25 0 1 0 714184356 116690944 25673 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25680 566 18 0 28471 0
vsize: 113956
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 19770701 0 0 0 30727 40281 0 0 25 0 1 0 714184356 116690944 25597 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25606 566 18 0 28471 0
vsize: 113956
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 20062110 0 0 0 31138 40869 0 0 25 0 1 0 714184356 116690944 25550 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25559 566 18 0 28471 0
vsize: 113956
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 20353348 0 0 0 31556 41452 0 0 25 0 1 0 714184356 116690944 25728 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25728 566 18 0 28471 0
vsize: 113956
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 20644644 0 0 0 31961 42048 0 0 25 0 1 0 714184356 116690944 25568 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25577 566 18 0 28471 0
vsize: 113956
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 20935739 0 0 0 32372 42636 0 0 25 0 1 0 714184356 116690944 25603 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25611 566 18 0 28471 0
vsize: 113956
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 21227624 0 0 0 32786 43222 0 0 25 0 1 0 714184356 116690944 25636 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25643 566 18 0 28471 0
vsize: 113956
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 21519429 0 0 0 33204 43805 0 0 25 0 1 0 714184356 116690944 25589 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25598 566 18 0 28471 0
vsize: 113956
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 21810961 0 0 0 33618 44391 0 0 25 0 1 0 714184356 116690944 25665 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25672 566 18 0 28471 0
vsize: 113956
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 22102530 0 0 0 34036 44973 0 0 25 0 1 0 714184356 116690944 25580 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25589 566 18 0 28471 0
vsize: 113956
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 22393617 0 0 0 34452 45558 0 0 25 0 1 0 714184356 116690944 25607 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25616 566 18 0 28471 0
vsize: 113956
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 22684852 0 0 0 34862 46148 0 0 25 0 1 0 714184356 116690944 25584 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25593 566 18 0 28471 0
vsize: 113956
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 22976254 0 0 0 35275 46735 0 0 25 0 1 0 714184356 116690944 25728 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25736 566 18 0 28471 0
vsize: 113956
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 23267276 0 0 0 35696 47314 0 0 25 0 1 0 714184356 116690944 25690 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25697 566 18 0 28471 0
vsize: 113956
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 23558192 0 0 0 36104 47907 0 0 25 0 1 0 714184356 116690944 25744 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25744 566 18 0 28471 0
vsize: 113956
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 23849174 0 0 0 36508 48503 0 0 25 0 1 0 714184356 116690944 25666 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25675 566 18 0 28471 0
vsize: 113956
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 24140789 0 0 0 36924 49086 0 0 25 0 1 0 714184356 116690944 25627 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25634 566 18 0 28471 0
vsize: 113956
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 24432292 0 0 0 37334 49677 0 0 25 0 1 0 714184356 116690944 25674 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25681 566 18 0 28471 0
vsize: 113956
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 24723847 0 0 0 37744 50267 0 0 25 0 1 0 714184356 116690944 25575 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25584 566 18 0 28471 0
vsize: 113956
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 25015871 0 0 0 38157 50854 0 0 25 0 1 0 714184356 116690944 25747 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25751 566 18 0 28471 0
vsize: 113956
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 25308028 0 0 0 38576 51435 0 0 25 0 1 0 714184356 116690944 25656 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25665 566 18 0 28471 0
vsize: 113956
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 25600332 0 0 0 38989 52023 0 0 25 0 1 0 714184356 116690944 25712 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25719 566 18 0 28471 0
vsize: 113956
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 25892816 0 0 0 39401 52611 0 0 25 0 1 0 714184356 116690944 25750 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25755 566 18 0 28471 0
vsize: 113956
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 26185411 0 0 0 39821 53191 0 0 25 0 1 0 714184356 117215232 25701 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25708 566 18 0 28599 0
vsize: 114468
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 26477410 0 0 0 40234 53778 0 0 25 0 1 0 714184356 117215232 25650 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25657 566 18 0 28599 0
vsize: 114468
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 26769685 0 0 0 40652 54360 0 0 25 0 1 0 714184356 117215232 25677 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25684 566 18 0 28599 0
vsize: 114468
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 27061902 0 0 0 41065 54948 0 0 25 0 1 0 714184356 117215232 25646 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25655 566 18 0 28599 0
vsize: 114468
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 27354453 0 0 0 41478 55535 0 0 25 0 1 0 714184356 117215232 25751 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25758 566 18 0 28599 0
vsize: 114468
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 27647384 0 0 0 41898 56115 0 0 25 0 1 0 714184356 117215232 25642 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25650 566 18 0 28599 0
vsize: 114468
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 27940081 0 0 0 42313 56700 0 0 25 0 1 0 714184356 117215232 25695 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25702 566 18 0 28599 0
vsize: 114468
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 28232599 0 0 0 42731 57282 0 0 25 0 1 0 714184356 117215232 25767 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25767 566 18 0 28599 0
vsize: 114468
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 28525540 0 0 0 43153 57861 0 0 25 0 1 0 714184356 117215232 25668 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25676 566 18 0 28599 0
vsize: 114468
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 28818664 0 0 0 43567 58446 0 0 25 0 1 0 714184356 117215232 25752 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25759 566 18 0 28599 0
vsize: 114468
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 29111562 0 0 0 43981 59032 0 0 25 0 1 0 714184356 117215232 25610 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25619 566 18 0 28599 0
vsize: 114468
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 29404694 0 0 0 44396 59618 0 0 25 0 1 0 714184356 117215232 25702 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25710 566 18 0 28599 0
vsize: 114468
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 29696816 0 0 0 44814 60200 0 0 25 0 1 0 714184356 117215232 25774 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28419 25576 566 18 0 28401 0
vsize: 114468
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 29989010 0 0 0 45229 60786 0 0 25 0 1 0 714184356 117215232 25720 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25727 566 18 0 28599 0
vsize: 114468
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 30280919 0 0 0 45644 61370 0 0 25 0 1 0 714184356 116404224 25579 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25588 566 18 0 28599 0
vsize: 113676
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 30573366 0 0 0 46071 61943 0 0 25 0 1 0 714184356 116404224 25580 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25589 566 18 0 28599 0
vsize: 113676
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 30866044 0 0 0 46488 62527 0 0 25 0 1 0 714184356 117215232 25614 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25624 566 18 0 28599 0
vsize: 114468
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 31158241 0 0 0 46905 63111 0 0 25 0 1 0 714184356 117215232 25761 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25768 566 18 0 28599 0
vsize: 114468
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 31450254 0 0 0 47312 63703 0 0 25 0 1 0 714184356 117215232 25724 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25731 566 18 0 28599 0
vsize: 114468
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 31742166 0 0 0 47730 64285 0 0 25 0 1 0 714184356 117215232 25784 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25784 566 18 0 28599 0
vsize: 114468
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 32033605 0 0 0 48136 64879 0 0 25 0 1 0 714184356 117215232 25767 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25774 566 18 0 28599 0
vsize: 114468
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 32325001 0 0 0 48542 65474 0 0 25 0 1 0 714184356 117215232 25707 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25714 566 18 0 28599 0
vsize: 114468
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 32616597 0 0 0 48948 66068 0 0 25 0 1 0 714184356 117215232 25649 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25658 566 18 0 28599 0
vsize: 114468
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 32907619 0 0 0 49359 66657 0 0 25 0 1 0 714184356 117215232 25611 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25620 566 18 0 28599 0
vsize: 114468
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 33198661 0 0 0 49772 67245 0 0 25 0 1 0 714184356 116404224 25593 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25601 566 18 0 28599 0
vsize: 113676
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 33489676 0 0 0 50189 67828 0 0 25 0 1 0 714184356 117215232 25746 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25753 566 18 0 28599 0
vsize: 114468
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 33780784 0 0 0 50603 68414 0 0 25 0 1 0 714184356 116404224 25596 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25604 566 18 0 28599 0
vsize: 113676
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20572
Raw data (stat): 20572 (Pueblo) R 20571 7876 7672 0 -1 0 34072351 0 0 0 51018 68999 0 0 25 0 1 0 714184356 117215232 25707 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28617 25715 566 18 0 28599 0
vsize: 114468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20572
Raw data (stat): 20572 (Pueblo) Z 20571 7876 7672 0 -1 1036 34072367 0 0 0 51018 69004 0 0 25 0 1 0 714184356 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.23
CPU user time (s): 510.185
CPU system time (s): 690.044
CPU usage (%): 100.011
Max. virtual memory (Kb): 114468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####