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.inv14.ucl.opb
MD5SUM	5b41c3eb79e4b3bf301d25b20a1c7b76
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	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	62704
Total number of constraints	187107
Number of constraints which are clauses	186603
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	504
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 24570

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 03:25:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2572 boxname=wulflinc31 idbench=286 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5b41c3eb79e4b3bf301d25b20a1c7b76  /oldhome/oroussel/tmp/wulflinc31/normalized-cache.inv14.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-cache.inv14.ucl.opb
IDLAUNCH: 2572
/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:        920292 kB
Buffers:          9528 kB
Cached:          82352 kB
SwapCached:        668 kB
Active:          65960 kB
Inactive:        27764 kB
HighTotal:      131008 kB
HighFree:        47040 kB
LowTotal:       903652 kB
LowFree:        873252 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4700 kB
Slab:            14840 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 03:45:09 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 2572 7 1200.2 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.91 2/54 22469
Raw data (stat): 22469 (runsolver) R 22468 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 714626577 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 90364 0 0 0 831 166 0 0 25 0 1 0 714626577 39002112 8067 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9522 8067 566 18 0 9504 0
vsize: 38088
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 409840 0 0 0 1286 710 0 0 25 0 1 0 714626577 39002112 8057 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9522 8057 566 18 0 9504 0
vsize: 38088
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 729302 0 0 0 1749 1248 0 0 25 0 1 0 714626577 39002112 8033 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9522 8033 566 18 0 9504 0
vsize: 38088
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 1048691 0 0 0 2208 1789 0 0 25 0 1 0 714626577 39002112 8060 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9522 8060 566 18 0 9504 0
vsize: 38088
[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 1368261 0 0 0 2672 2325 0 0 25 0 1 0 714626577 39002112 8082 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9522 8082 566 18 0 9504 0
vsize: 38088
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 1687685 0 0 0 3130 2867 0 0 25 0 1 0 714626577 39002112 8082 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9522 8082 566 18 0 9504 0
vsize: 38088
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2007199 0 0 0 3591 3406 0 0 25 0 1 0 714626577 39002112 8048 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9522 8048 566 18 0 9504 0
vsize: 38088
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2326322 0 0 0 4051 3947 0 0 25 0 1 0 714626577 39010304 8057 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9524 8057 566 18 0 9506 0
vsize: 38096
[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2645472 0 0 0 4501 4497 0 0 25 0 1 0 714626577 39264256 8093 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9586 8093 566 18 0 9568 0
vsize: 38344
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2964725 0 0 0 4962 5036 0 0 25 0 1 0 714626577 39264256 8108 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9586 8108 566 18 0 9568 0
vsize: 38344
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 3282960 0 0 0 5410 5588 0 0 25 0 1 0 714626577 39264256 8097 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9586 8097 566 18 0 9568 0
vsize: 38344
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 3601878 0 0 0 5865 6133 0 0 25 0 1 0 714626577 39264256 8087 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9586 8087 566 18 0 9568 0
vsize: 38344
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 3919853 0 0 0 6332 6667 0 0 25 0 1 0 714626577 39264256 8126 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9586 8126 566 18 0 9568 0
vsize: 38344
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 4238360 0 0 0 6801 7198 0 0 25 0 1 0 714626577 39526400 8139 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8139 566 18 0 9632 0
vsize: 38600
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 4556559 0 0 0 7267 7732 0 0 25 0 1 0 714626577 39526400 8154 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8154 566 18 0 9632 0
vsize: 38600
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 4873709 0 0 0 7737 8262 0 0 25 0 1 0 714626577 39526400 8112 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8112 566 18 0 9632 0
vsize: 38600
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 5188904 0 0 0 8184 8815 0 0 25 0 1 0 714626577 39526400 8161 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8161 566 18 0 9632 0
vsize: 38600
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 5502684 0 0 0 8642 9357 0 0 25 0 1 0 714626577 39796736 8221 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9716 8221 566 18 0 9698 0
vsize: 38864
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 5818637 0 0 0 9109 9891 0 0 25 0 1 0 714626577 40202240 8284 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9815 8284 566 18 0 9797 0
vsize: 39260
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 6137642 0 0 0 9563 10436 0 0 25 0 1 0 714626577 40738816 8423 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9946 8423 566 18 0 9928 0
vsize: 39784
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 6457401 0 0 0 10018 10982 0 0 25 0 1 0 714626577 41144320 8510 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10045 8510 566 18 0 10027 0
vsize: 40180
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 6777564 0 0 0 10479 11521 0 0 25 0 1 0 714626577 41549824 8629 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10144 8629 566 18 0 10126 0
vsize: 40576
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 7097591 0 0 0 10943 12058 0 0 25 0 1 0 714626577 42090496 8736 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10276 8736 566 18 0 10258 0
vsize: 41104
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 7417113 0 0 0 11395 12606 0 0 25 0 1 0 714626577 42496000 8896 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10375 8896 566 18 0 10357 0
vsize: 41500
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 7735759 0 0 0 11848 13153 0 0 25 0 1 0 714626577 42901504 8986 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10474 8986 566 18 0 10456 0
vsize: 41896
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 8054323 0 0 0 12301 13700 0 0 25 0 1 0 714626577 43307008 9118 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10573 9118 566 18 0 10555 0
vsize: 42292
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 8370132 0 0 0 12767 14234 0 0 25 0 1 0 714626577 44371968 9223 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10833 9223 566 18 0 10815 0
vsize: 43332
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 8688879 0 0 0 13229 14772 0 0 25 0 1 0 714626577 44777472 9290 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10932 9290 566 18 0 10914 0
vsize: 43728
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9007098 0 0 0 13690 15312 0 0 25 0 1 0 714626577 45182976 9449 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11031 9449 566 18 0 11013 0
vsize: 44124
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9323270 0 0 0 14152 15849 0 0 25 0 1 0 714626577 45588480 9545 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11130 9545 566 18 0 11112 0
vsize: 44520
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9638005 0 0 0 14612 16390 0 0 25 0 1 0 714626577 46125056 9692 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11261 9692 566 18 0 11243 0
vsize: 45044
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9948735 0 0 0 15032 16969 0 0 25 0 1 0 714626577 46530560 9802 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11360 9802 566 18 0 11342 0
vsize: 45440
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 10257168 0 0 0 15480 17522 0 0 25 0 1 0 714626577 46936064 9909 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11459 9909 566 18 0 11441 0
vsize: 45836
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 10568950 0 0 0 15947 18055 0 0 25 0 1 0 714626577 47087616 9955 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11496 9955 566 18 0 11478 0
vsize: 45984
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 10881844 0 0 0 16401 18602 0 0 25 0 1 0 714626577 47747072 10121 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11657 10121 566 18 0 11639 0
vsize: 46628
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11197023 0 0 0 16852 19150 0 0 25 0 1 0 714626577 48287744 10216 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11789 10216 566 18 0 11771 0
vsize: 47156
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11509332 0 0 0 17314 19689 0 0 25 0 1 0 714626577 48439296 10293 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11826 10293 566 18 0 11808 0
vsize: 47304
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611340 0 0 0 18123 19880 0 0 25 0 1 0 714626577 50073600 10683 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10683 566 18 0 12207 0
vsize: 48900
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611345 0 0 0 19122 19881 0 0 25 0 1 0 714626577 50073600 10688 4294967295 134512640 134581331 3221221792 3221220672 134560421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10688 566 18 0 12207 0
vsize: 48900
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611351 0 0 0 20122 19881 0 0 25 0 1 0 714626577 50073600 10694 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10694 566 18 0 12207 0
vsize: 48900
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611351 0 0 0 21122 19881 0 0 25 0 1 0 714626577 50073600 10694 4294967295 134512640 134581331 3221221792 3221220752 134531400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10694 566 18 0 12207 0
vsize: 48900
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 22122 19882 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10700 566 18 0 12207 0
vsize: 48900
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 23121 19882 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220676 134557951 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10700 566 18 0 12207 0
vsize: 48900
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 24121 19882 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10700 566 18 0 12207 0
vsize: 48900
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 25121 19883 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220720 134519939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10700 566 18 0 12207 0
vsize: 48900
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 26121 19883 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10700 566 18 0 12207 0
vsize: 48900
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 27121 19883 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10700 566 18 0 12207 0
vsize: 48900
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 28120 19884 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10700 566 18 0 12207 0
vsize: 48900
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 29120 19884 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 30120 19885 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 31120 19885 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 32120 19885 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 33120 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 34120 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 35120 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 36119 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 37119 19887 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 38119 19887 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220736 134559308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 39118 19888 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220768 134561009 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10701 566 18 0 12207 0
vsize: 48900
[startup+600.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 40118 19888 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220676 134557930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+610.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 41118 19889 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220704 134528085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+620.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 42117 19889 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 43117 19890 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+640.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 44117 19890 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 45117 19890 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 46117 19891 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220676 134557960 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 47116 19892 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 48116 19892 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220672 134560409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 49115 19892 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 50115 19893 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 51115 19893 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12225 10703 566 18 0 12207 0
vsize: 48900
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611503 0 0 0 52114 19894 0 0 25 0 1 0 714626577 50724864 10846 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12384 10846 566 18 0 12366 0
vsize: 49536
[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611650 0 0 0 53114 19894 0 0 25 0 1 0 714626577 51376128 10993 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12543 10993 566 18 0 12525 0
vsize: 50172
[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611799 0 0 0 54113 19895 0 0 25 0 1 0 714626577 51912704 11142 4294967295 134512640 134581331 3221221792 3221220736 134559370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12674 11142 566 18 0 12656 0
vsize: 50696
[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611955 0 0 0 55112 19896 0 0 25 0 1 0 714626577 52555776 11298 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12831 11298 566 18 0 12813 0
vsize: 51324
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612138 0 0 0 56111 19897 0 0 25 0 1 0 714626577 53280768 11481 4294967295 134512640 134581331 3221221792 3221220672 134560389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13008 11481 566 18 0 12990 0
vsize: 52032
[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612248 0 0 0 57111 19898 0 0 25 0 1 0 714626577 53764096 11591 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13126 11591 566 18 0 13108 0
vsize: 52504
[startup+780.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612447 0 0 0 58110 19899 0 0 25 0 1 0 714626577 54566912 11790 4294967295 134512640 134581331 3221221792 3221220784 134560979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13322 11790 566 18 0 13304 0
vsize: 53288
[startup+790.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612566 0 0 0 59110 19899 0 0 25 0 1 0 714626577 55074816 11909 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13446 11909 566 18 0 13428 0
vsize: 53784
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612861 0 0 0 60108 19901 0 0 25 0 1 0 714626577 56291328 12204 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13743 12204 566 18 0 13725 0
vsize: 54972
[startup+810.052 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613019 0 0 0 61107 19902 0 0 25 0 1 0 714626577 56942592 12362 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13902 12362 566 18 0 13884 0
vsize: 55608
[startup+820.052 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613135 0 0 0 62106 19903 0 0 25 0 1 0 714626577 57356288 12478 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14003 12478 566 18 0 13985 0
vsize: 56012
[startup+830.053 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613139 0 0 0 63106 19903 0 0 25 0 1 0 714626577 57466880 12482 4294967295 134512640 134581331 3221221792 3221220676 134557954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14030 12482 566 18 0 14012 0
vsize: 56120
[startup+840.053 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613277 0 0 0 64106 19904 0 0 25 0 1 0 714626577 58073088 12620 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14178 12620 566 18 0 14160 0
vsize: 56712
[startup+850.054 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613380 0 0 0 65105 19905 0 0 25 0 1 0 714626577 58523648 12723 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14288 12723 566 18 0 14270 0
vsize: 57152
[startup+860.055 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613524 0 0 0 66105 19905 0 0 25 0 1 0 714626577 59043840 12867 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14415 12867 566 18 0 14397 0
vsize: 57660
[startup+870.055 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613603 0 0 0 67105 19905 0 0 25 0 1 0 714626577 59375616 12946 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14496 12946 566 18 0 14478 0
vsize: 57984
[startup+880.056 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613829 0 0 0 68104 19906 0 0 25 0 1 0 714626577 60342272 13172 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14732 13172 566 18 0 14714 0
vsize: 58928
[startup+890.057 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613944 0 0 0 69104 19907 0 0 25 0 1 0 714626577 60731392 13287 4294967295 134512640 134581331 3221221792 3221220800 134519703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14827 13287 566 18 0 14809 0
vsize: 59308
[startup+900.057 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614036 0 0 0 70103 19908 0 0 25 0 1 0 714626577 61116416 13379 4294967295 134512640 134581331 3221221792 3221220720 134520030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14921 13379 566 18 0 14903 0
vsize: 59684
[startup+910.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614121 0 0 0 71103 19908 0 0 25 0 1 0 714626577 61517824 13464 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15019 13464 566 18 0 15001 0
vsize: 60076
[startup+920.059 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614306 0 0 0 72102 19909 0 0 25 0 1 0 714626577 62267392 13649 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15202 13649 566 18 0 15184 0
vsize: 60808
[startup+930.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614548 0 0 0 73101 19910 0 0 25 0 1 0 714626577 63275008 13891 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15448 13891 566 18 0 15430 0
vsize: 61792
[startup+940.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614671 0 0 0 74101 19911 0 0 25 0 1 0 714626577 63758336 14014 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15566 14014 566 18 0 15548 0
vsize: 62264
[startup+950.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614737 0 0 0 75100 19911 0 0 25 0 1 0 714626577 64020480 14080 4294967295 134512640 134581331 3221221792 3221220676 134557796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15630 14080 566 18 0 15612 0
vsize: 62520
[startup+960.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614796 0 0 0 76099 19913 0 0 25 0 1 0 714626577 64286720 14139 4294967295 134512640 134581331 3221221792 3221220672 134560477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15695 14139 566 18 0 15677 0
vsize: 62780
[startup+970.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614941 0 0 0 77098 19914 0 0 25 0 1 0 714626577 64798720 14284 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14284 566 18 0 15802 0
vsize: 63280
[startup+980.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615126 0 0 0 78098 19914 0 0 25 0 1 0 714626577 65581056 14469 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16011 14469 566 18 0 15993 0
vsize: 64044
[startup+990.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615253 0 0 0 79098 19915 0 0 25 0 1 0 714626577 66097152 14596 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16137 14596 566 18 0 16119 0
vsize: 64548
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615367 0 0 0 80097 19915 0 0 25 0 1 0 714626577 66588672 14710 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16257 14710 566 18 0 16239 0
vsize: 65028
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615483 0 0 0 81097 19916 0 0 25 0 1 0 714626577 67088384 14826 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16379 14826 566 18 0 16361 0
vsize: 65516
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615580 0 0 0 82096 19917 0 0 25 0 1 0 714626577 67457024 14923 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16469 14923 566 18 0 16451 0
vsize: 65876
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615728 0 0 0 83096 19917 0 0 25 0 1 0 714626577 68083712 15071 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16622 15071 566 18 0 16604 0
vsize: 66488
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616021 0 0 0 84096 19917 0 0 25 0 1 0 714626577 69193728 15364 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16893 15364 566 18 0 16875 0
vsize: 67572
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616147 0 0 0 85096 19918 0 0 25 0 1 0 714626577 69808128 15490 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17043 15490 566 18 0 17025 0
vsize: 68172
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616357 0 0 0 86096 19918 0 0 25 0 1 0 714626577 70574080 15700 4294967295 134512640 134581331 3221221792 3221220784 134560666 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17230 15700 566 18 0 17212 0
vsize: 68920
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616515 0 0 0 87095 19919 0 0 25 0 1 0 714626577 71344128 15858 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17418 15858 566 18 0 17400 0
vsize: 69672
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616679 0 0 0 88095 19919 0 0 25 0 1 0 714626577 71991296 16022 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17576 16022 566 18 0 17558 0
vsize: 70304
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616813 0 0 0 89095 19920 0 0 25 0 1 0 714626577 72470528 16156 4294967295 134512640 134581331 3221221792 3221220736 134559618 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17693 16156 566 18 0 17675 0
vsize: 70772
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616932 0 0 0 90094 19920 0 0 25 0 1 0 714626577 72970240 16275 4294967295 134512640 134581331 3221221792 3221220776 134560678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17815 16275 566 18 0 17797 0
vsize: 71260
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617057 0 0 0 91094 19920 0 0 25 0 1 0 714626577 73494528 16400 4294967295 134512640 134581331 3221221792 3221220720 134519913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17943 16400 566 18 0 17925 0
vsize: 71772
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617139 0 0 0 92094 19921 0 0 25 0 1 0 714626577 73871360 16482 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18035 16482 566 18 0 18017 0
vsize: 72140
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617312 0 0 0 93094 19921 0 0 25 0 1 0 714626577 74502144 16655 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18189 16655 566 18 0 18171 0
vsize: 72756
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617424 0 0 0 94093 19922 0 0 25 0 1 0 714626577 74948608 16767 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18298 16767 566 18 0 18280 0
vsize: 73192
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617568 0 0 0 95093 19922 0 0 25 0 1 0 714626577 75603968 16911 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18458 16911 566 18 0 18440 0
vsize: 73832
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617766 0 0 0 96093 19922 0 0 25 0 1 0 714626577 76386304 17109 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18649 17109 566 18 0 18631 0
vsize: 74596
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617799 0 0 0 97093 19922 0 0 25 0 1 0 714626577 76509184 17142 4294967295 134512640 134581331 3221221792 3221220784 134561117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18679 17142 566 18 0 18661 0
vsize: 74716
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11618019 0 0 0 98093 19923 0 0 25 0 1 0 714626577 77414400 17362 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18900 17362 566 18 0 18882 0
vsize: 75600
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11618100 0 0 0 99093 19923 0 0 25 0 1 0 714626577 77795328 17443 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18993 17443 566 18 0 18975 0
vsize: 75972
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22469
Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11618246 0 0 0 100092 19924 0 0 25 0 1 0 714626577 78434304 17589 4294967295 134512640 134581331 3221221792 3221220764 134554712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19149 17589 566 18 0 19131 0
vsize: 76596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 22469
Raw data (stat): 22469 (Pueblo) Z 22468 7876 7672 0 -1 1036 11618246 0 0 0 100092 19927 0 0 25 0 1 0 714626577 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.2
CPU user time (s): 1000.93
CPU system time (s): 199.275
CPU usage (%): 100.009
Max. virtual memory (Kb): 76596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####