PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
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	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.74658
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120
Trace number 28388

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 02:04:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13046 boxname=wulflinc8 idbench=1004 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-stp3d.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-stp3d.opb
IDLAUNCH: 13046
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        494368 kB
Buffers:         37012 kB
Cached:         476456 kB
SwapCached:          0 kB
Active:          68100 kB
Inactive:       452324 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        494116 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            14240 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:24:05 (client local time) WITH STATUS 0 IN 1200.91 SECONDS
stats: 13046 7 1200.91 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.84 0.94 0.95 2/54 11583
Raw data (stat): 11583 (runsolver) R 11582 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 763346352 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.86 0.94 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 7221 0 0 0 973 26 0 0 25 0 1 0 763346352 33710080 7200 4294967295 134512640 134581331 3221224608 3217027112 1075275706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 7200 566 18 0 8212 0
vsize: 32920
[startup+20.0006 s]
Raw data (loadavg): 0.88 0.94 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 12816 0 0 0 1957 42 0 0 25 0 1 0 763346352 56627200 12795 4294967295 134512640 134581331 3221224608 3217028872 1075245144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13825 12795 566 18 0 13807 0
vsize: 55300
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 181308 0 0 0 2612 387 0 0 25 0 1 0 763346352 92549120 20160 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20160 566 18 0 22577 0
vsize: 90380
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.95 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 474675 0 0 0 3023 975 0 0 25 0 1 0 763346352 92549120 20067 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20067 566 18 0 22577 0
vsize: 90380
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 767052 0 0 0 3437 1561 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 19989 566 18 0 22376 0
vsize: 90380
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 1060179 0 0 0 3849 2150 0 0 25 0 1 0 763346352 92549120 20058 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20066 566 18 0 22577 0
vsize: 90380
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 1353105 0 0 0 4262 2737 0 0 25 0 1 0 763346352 92549120 20127 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20135 566 18 0 22577 0
vsize: 90380
[startup+80.0042 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 11583
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 1646209 0 0 0 4679 3320 0 0 25 0 1 0 763346352 92549120 20173 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20180 566 18 0 22577 0
vsize: 90380
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 1938733 0 0 0 5089 3910 0 0 25 0 1 0 763346352 92549120 20042 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20051 566 18 0 22577 0
vsize: 90380
[startup+100.011 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 2231608 0 0 0 5513 4486 0 0 25 0 1 0 763346352 92549120 20059 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20066 566 18 0 22577 0
vsize: 90380
[startup+110.114 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 2527008 0 0 0 5934 5075 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 19989 566 18 0 22376 0
vsize: 90380
[startup+120.123 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 2820272 0 0 0 6354 5656 0 0 25 0 1 0 763346352 92549120 19994 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20002 566 18 0 22577 0
vsize: 90380
[startup+130.24 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 3116943 0 0 0 6772 6250 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+140.259 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 3410395 0 0 0 7191 6834 0 0 25 0 1 0 763346352 92549120 20182 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20189 566 18 0 22577 0
vsize: 90380
[startup+150.277 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 3703680 0 0 0 7608 7418 0 0 25 0 1 0 763346352 92549120 20007 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20016 566 18 0 22577 0
vsize: 90380
[startup+160.277 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 3996318 0 0 0 8019 8007 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+170.277 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 4288934 0 0 0 8434 8592 0 0 25 0 1 0 763346352 92549120 20150 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20157 566 18 0 22577 0
vsize: 90380
[startup+180.277 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 4581532 0 0 0 8847 9179 0 0 25 0 1 0 763346352 92549120 20092 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20100 566 18 0 22577 0
vsize: 90380
[startup+190.277 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 4874105 0 0 0 9261 9765 0 0 25 0 1 0 763346352 92549120 20009 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20018 566 18 0 22577 0
vsize: 90380
[startup+200.278 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 5166631 0 0 0 9680 10346 0 0 25 0 1 0 763346352 92549120 20080 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20087 566 18 0 22577 0
vsize: 90380
[startup+210.279 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 5459196 0 0 0 10094 10932 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+220.279 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 5751961 0 0 0 10508 11518 0 0 25 0 1 0 763346352 92549120 20098 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20105 566 18 0 22577 0
vsize: 90380
[startup+230.279 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 6044839 0 0 0 10924 12102 0 0 25 0 1 0 763346352 92549120 20119 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20125 566 18 0 22577 0
vsize: 90380
[startup+240.279 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 6337730 0 0 0 11341 12685 0 0 25 0 1 0 763346352 92549120 20153 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20160 566 18 0 22577 0
vsize: 90380
[startup+250.28 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 6630636 0 0 0 11761 13266 0 0 25 0 1 0 763346352 92549120 20001 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20009 566 18 0 22577 0
vsize: 90380
[startup+260.279 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 6923642 0 0 0 12169 13857 0 0 25 0 1 0 763346352 92549120 20150 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20157 566 18 0 22577 0
vsize: 90380
[startup+270.28 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 7216137 0 0 0 12597 14429 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+280.287 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 7508793 0 0 0 13015 15012 0 0 25 0 1 0 763346352 92549120 19989 4294967295 134512640 134581331 3221224608 3221223396 1075298458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 19998 566 18 0 22577 0
vsize: 90380
[startup+290.286 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 7801248 0 0 0 13434 15593 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+300.286 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 8093658 0 0 0 13850 16177 0 0 25 0 1 0 763346352 92549120 20145 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20153 566 18 0 22577 0
vsize: 90380
[startup+310.286 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 8386405 0 0 0 14261 16766 0 0 25 0 1 0 763346352 92549120 20035 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20044 566 18 0 22577 0
vsize: 90380
[startup+320.287 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 8679452 0 0 0 14682 17346 0 0 25 0 1 0 763346352 92549120 20024 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20033 566 18 0 22577 0
vsize: 90380
[startup+330.287 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 8972471 0 0 0 15097 17931 0 0 25 0 1 0 763346352 92549120 20186 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+340.287 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 9264635 0 0 0 15513 18514 0 0 25 0 1 0 763346352 92549120 20096 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20104 566 18 0 22577 0
vsize: 90380
[startup+350.287 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 9556983 0 0 0 15930 19098 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+360.287 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 9849511 0 0 0 16348 19680 0 0 25 0 1 0 763346352 92549120 20062 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20070 566 18 0 22577 0
vsize: 90380
[startup+370.288 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 10142094 0 0 0 16763 20265 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 19989 566 18 0 22376 0
vsize: 90380
[startup+380.289 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 10435167 0 0 0 17185 20843 0 0 25 0 1 0 763346352 92549120 20004 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20013 566 18 0 22577 0
vsize: 90380
[startup+390.288 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 10728451 0 0 0 17603 21425 0 0 25 0 1 0 763346352 92549120 20029 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20037 566 18 0 22577 0
vsize: 90380
[startup+400.29 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 11021067 0 0 0 18019 22010 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22394 19989 566 18 0 22376 0
vsize: 90380
[startup+410.29 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 11313346 0 0 0 18438 22590 0 0 25 0 1 0 763346352 92549120 20014 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20023 566 18 0 22577 0
vsize: 90380
[startup+420.291 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 11603792 0 0 0 18852 23176 0 0 25 0 1 0 763346352 92549120 20015 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20024 566 18 0 22577 0
vsize: 90380
[startup+430.291 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 11891793 0 0 0 19263 23766 0 0 25 0 1 0 763346352 92549120 20184 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+440.291 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 12179689 0 0 0 19671 24358 0 0 25 0 1 0 763346352 92549120 20047 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20055 566 18 0 22577 0
vsize: 90380
[startup+450.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 12467664 0 0 0 20088 24941 0 0 25 0 1 0 763346352 92549120 20190 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+460.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 12755412 0 0 0 20499 25530 0 0 25 0 1 0 763346352 92549120 20106 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20113 566 18 0 22577 0
vsize: 90380
[startup+470.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 13043069 0 0 0 20908 26121 0 0 25 0 1 0 763346352 92549120 20132 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20139 566 18 0 22577 0
vsize: 90380
[startup+480.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 13331536 0 0 0 21323 26707 0 0 25 0 1 0 763346352 93073408 20164 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20171 566 18 0 22705 0
vsize: 90892
[startup+490.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 13621069 0 0 0 21745 27284 0 0 25 0 1 0 763346352 92250112 20056 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20063 566 18 0 22705 0
vsize: 90088
[startup+500.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 13910677 0 0 0 22165 27865 0 0 25 0 1 0 763346352 93073408 20224 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20231 566 18 0 22705 0
vsize: 90892
[startup+510.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 14200266 0 0 0 22578 28452 0 0 25 0 1 0 763346352 93073408 20172 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20179 566 18 0 22705 0
vsize: 90892
[startup+520.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 14489117 0 0 0 22991 29039 0 0 25 0 1 0 763346352 93073408 20186 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20194 566 18 0 22705 0
vsize: 90892
[startup+530.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 14777617 0 0 0 23408 29623 0 0 25 0 1 0 763346352 93073408 20251 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20257 566 18 0 22705 0
vsize: 90892
[startup+540.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 15065755 0 0 0 23817 30213 0 0 25 0 1 0 763346352 93073408 20155 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20162 566 18 0 22705 0
vsize: 90892
[startup+550.292 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 15353984 0 0 0 24235 30795 0 0 25 0 1 0 763346352 93073408 20150 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20157 566 18 0 22705 0
vsize: 90892
[startup+560.295 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 15642339 0 0 0 24647 31384 0 0 25 0 1 0 763346352 93073408 20070 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20078 566 18 0 22705 0
vsize: 90892
[startup+570.295 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 15930570 0 0 0 25062 31969 0 0 25 0 1 0 763346352 92250112 20067 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20075 566 18 0 22705 0
vsize: 90088
[startup+580.3 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 16218905 0 0 0 25478 32554 0 0 25 0 1 0 763346352 93073408 20168 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20175 566 18 0 22705 0
vsize: 90892
[startup+590.304 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 16506925 0 0 0 25894 33138 0 0 25 0 1 0 763346352 93073408 20155 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20163 566 18 0 22705 0
vsize: 90892
[startup+600.304 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 16794630 0 0 0 26301 33732 0 0 25 0 1 0 763346352 93073408 20229 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20235 566 18 0 22705 0
vsize: 90892
[startup+610.305 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 17082223 0 0 0 26709 34324 0 0 25 0 1 0 763346352 93073408 20191 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20199 566 18 0 22705 0
vsize: 90892
[startup+620.307 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 17370175 0 0 0 27130 34903 0 0 25 0 1 0 763346352 93073408 20110 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20119 566 18 0 22705 0
vsize: 90892
[startup+630.313 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 17655551 0 0 0 27537 35498 0 0 25 0 1 0 763346352 93073408 20267 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20273 566 18 0 22705 0
vsize: 90892
[startup+640.313 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 17943796 0 0 0 27953 36082 0 0 25 0 1 0 763346352 92250112 20077 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20085 566 18 0 22705 0
vsize: 90088
[startup+650.313 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 18231979 0 0 0 28372 36662 0 0 25 0 1 0 763346352 93073408 20227 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20234 566 18 0 22705 0
vsize: 90892
[startup+660.417 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 18523348 0 0 0 28794 37251 0 0 25 0 1 0 763346352 93073408 20146 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20154 566 18 0 22705 0
vsize: 90892
[startup+670.428 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 18812277 0 0 0 29204 37842 0 0 25 0 1 0 763346352 93073408 20238 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20245 566 18 0 22705 0
vsize: 90892
[startup+680.435 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 19100707 0 0 0 29607 38440 0 0 25 0 1 0 763346352 93073408 20233 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20241 566 18 0 22705 0
vsize: 90892
[startup+690.558 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 19392161 0 0 0 30025 39035 0 0 25 0 1 0 763346352 93073408 20237 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20244 566 18 0 22705 0
vsize: 90892
[startup+700.578 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 19680808 0 0 0 30441 39620 0 0 25 0 1 0 763346352 93073408 20248 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20255 566 18 0 22705 0
vsize: 90892
[startup+710.583 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 19968953 0 0 0 30851 40211 0 0 25 0 1 0 763346352 93073408 20159 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20167 566 18 0 22705 0
vsize: 90892
[startup+720.583 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 20257013 0 0 0 31268 40795 0 0 25 0 1 0 763346352 93073408 20186 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20194 566 18 0 22705 0
vsize: 90892
[startup+730.606 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 20545954 0 0 0 31687 41378 0 0 25 0 1 0 763346352 92250112 20089 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20097 566 18 0 22705 0
vsize: 90088
[startup+740.606 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 20834329 0 0 0 32103 41962 0 0 25 0 1 0 763346352 93073408 20230 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20237 566 18 0 22705 0
vsize: 90892
[startup+750.609 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 21122862 0 0 0 32519 42547 0 0 25 0 1 0 763346352 93073408 20127 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20136 566 18 0 22705 0
vsize: 90892
[startup+760.609 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 21411251 0 0 0 32943 43122 0 0 25 0 1 0 763346352 93073408 20282 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20289 566 18 0 22705 0
vsize: 90892
[startup+770.722 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 21702506 0 0 0 33360 43717 0 0 25 0 1 0 763346352 93073408 20288 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20295 566 18 0 22705 0
vsize: 90892
[startup+780.723 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 21990917 0 0 0 33769 44308 0 0 25 0 1 0 763346352 93073408 20264 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20271 566 18 0 22705 0
vsize: 90892
[startup+790.722 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 22279392 0 0 0 34184 44894 0 0 25 0 1 0 763346352 93073408 20103 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20111 566 18 0 22705 0
vsize: 90892
[startup+800.724 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 22568070 0 0 0 34599 45479 0 0 25 0 1 0 763346352 93073408 20145 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20153 566 18 0 22705 0
vsize: 90892
[startup+810.724 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 22856862 0 0 0 35016 46062 0 0 25 0 1 0 763346352 93073408 20301 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20301 566 18 0 22705 0
vsize: 90892
[startup+820.73 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 23145716 0 0 0 35424 46655 0 0 25 0 1 0 763346352 93073408 20117 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20126 566 18 0 22705 0
vsize: 90892
[startup+830.73 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 23434107 0 0 0 35840 47239 0 0 25 0 1 0 763346352 93073408 20274 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20280 566 18 0 22705 0
vsize: 90892
[startup+840.73 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 23722373 0 0 0 36255 47824 0 0 25 0 1 0 763346352 92250112 20105 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20113 566 18 0 22705 0
vsize: 90088
[startup+850.731 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 24010710 0 0 0 36672 48407 0 0 25 0 1 0 763346352 93073408 20208 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20217 566 18 0 22705 0
vsize: 90892
[startup+860.731 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 24299222 0 0 0 37093 48987 0 0 25 0 1 0 763346352 93073408 20285 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20292 566 18 0 22705 0
vsize: 90892
[startup+870.731 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 24587976 0 0 0 37516 49564 0 0 25 0 1 0 763346352 93073408 20202 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20210 566 18 0 22705 0
vsize: 90892
[startup+880.732 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 24876818 0 0 0 37934 50146 0 0 25 0 1 0 763346352 93073408 20207 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20214 566 18 0 22705 0
vsize: 90892
[startup+890.732 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 25165579 0 0 0 38354 50726 0 0 25 0 1 0 763346352 93073408 20131 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20139 566 18 0 22705 0
vsize: 90892
[startup+900.732 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 25454800 0 0 0 38774 51306 0 0 25 0 1 0 763346352 93073408 20314 4294967295 134512640 134581331 3221224608 3221223616 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22522 20113 566 18 0 22504 0
vsize: 90892
[startup+910.732 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 25743912 0 0 0 39186 51895 0 0 25 0 1 0 763346352 93073408 20187 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20195 566 18 0 22705 0
vsize: 90892
[startup+920.733 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 26033265 0 0 0 39600 52481 0 0 25 0 1 0 763346352 93073408 20301 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20308 566 18 0 22705 0
vsize: 90892
[startup+930.734 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 26322543 0 0 0 40012 53069 0 0 25 0 1 0 763346352 93073408 20139 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20147 566 18 0 22705 0
vsize: 90892
[startup+940.734 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 26611018 0 0 0 40433 53648 0 0 25 0 1 0 763346352 93597696 20179 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20187 566 18 0 22833 0
vsize: 91404
[startup+950.734 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 26899193 0 0 0 40852 54230 0 0 25 0 1 0 763346352 93597696 20321 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20321 566 18 0 22833 0
vsize: 91404
[startup+960.735 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 27187744 0 0 0 41266 54816 0 0 25 0 1 0 763346352 93597696 20236 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20244 566 18 0 22833 0
vsize: 91404
[startup+970.735 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 27475683 0 0 0 41679 55403 0 0 25 0 1 0 763346352 93597696 20142 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20151 566 18 0 22833 0
vsize: 91404
[startup+980.736 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 27763739 0 0 0 42100 55982 0 0 25 0 1 0 763346352 93597696 20165 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20172 566 18 0 22833 0
vsize: 91404
[startup+990.736 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 28051331 0 0 0 42509 56573 0 0 25 0 1 0 763346352 93597696 20327 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20327 566 18 0 22833 0
vsize: 91404
[startup+1000.74 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 28339021 0 0 0 42918 57165 0 0 25 0 1 0 763346352 93597696 20185 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20193 566 18 0 22833 0
vsize: 91404
[startup+1010.74 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 28626871 0 0 0 43335 57748 0 0 25 0 1 0 763346352 93597696 20203 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20211 566 18 0 22833 0
vsize: 91404
[startup+1020.74 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 28914521 0 0 0 43748 58335 0 0 25 0 1 0 763346352 93597696 20222 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20229 566 18 0 22833 0
vsize: 91404
[startup+1030.74 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 29202070 0 0 0 44165 58919 0 0 25 0 1 0 763346352 93597696 20140 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20148 566 18 0 22833 0
vsize: 91404
[startup+1040.74 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 29489895 0 0 0 44574 59509 0 0 25 0 1 0 763346352 93597696 20334 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20334 566 18 0 22833 0
vsize: 91404
[startup+1050.74 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 29777640 0 0 0 44991 60092 0 0 25 0 1 0 763346352 93597696 20247 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20255 566 18 0 22833 0
vsize: 91404
[startup+1060.74 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 30065507 0 0 0 45407 60677 0 0 25 0 1 0 763346352 93597696 20282 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20289 566 18 0 22833 0
vsize: 91404
[startup+1070.74 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 30353659 0 0 0 45822 61262 0 0 25 0 1 0 763346352 93597696 20200 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20208 566 18 0 22833 0
vsize: 91404
[startup+1080.74 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 30642063 0 0 0 46250 61835 0 0 25 0 1 0 763346352 93597696 20169 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20177 566 18 0 22833 0
vsize: 91404
[startup+1090.74 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 30930108 0 0 0 46673 62412 0 0 25 0 1 0 763346352 93597696 20181 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20189 566 18 0 22833 0
vsize: 91404
[startup+1100.74 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 31218003 0 0 0 47087 62998 0 0 25 0 1 0 763346352 93597696 20244 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20252 566 18 0 22833 0
vsize: 91404
[startup+1110.74 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 31505576 0 0 0 47501 63584 0 0 25 0 1 0 763346352 93597696 20186 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20194 566 18 0 22833 0
vsize: 91404
[startup+1120.74 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 31793108 0 0 0 47913 64172 0 0 25 0 1 0 763346352 93597696 20288 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20296 566 18 0 22833 0
vsize: 91404
[startup+1130.74 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 32080739 0 0 0 48327 64759 0 0 25 0 1 0 763346352 93597696 20288 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20295 566 18 0 22833 0
vsize: 91404
[startup+1140.74 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 32367581 0 0 0 48748 65338 0 0 25 0 1 0 763346352 93597696 20303 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20310 566 18 0 22833 0
vsize: 91404
[startup+1150.74 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 32654438 0 0 0 49161 65925 0 0 25 0 1 0 763346352 93597696 20333 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20340 566 18 0 22833 0
vsize: 91404
[startup+1160.74 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 32941417 0 0 0 49578 66508 0 0 25 0 1 0 763346352 93597696 20284 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20292 566 18 0 22833 0
vsize: 91404
[startup+1170.74 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 33228434 0 0 0 49999 67087 0 0 25 0 1 0 763346352 93597696 20273 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20279 566 18 0 22833 0
vsize: 91404
[startup+1180.74 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 33515751 0 0 0 50421 67666 0 0 25 0 1 0 763346352 93597696 20160 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20169 566 18 0 22833 0
vsize: 91404
[startup+1190.74 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 33804440 0 0 0 50835 68251 0 0 25 0 1 0 763346352 93597696 20213 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22851 20213 566 18 0 22833 0
vsize: 91404
[startup+1200.74 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 11585
Raw data (stat): 11583 (Pueblo) R 11582 3132 3131 0 -1 0 34095430 0 0 0 51247 68839 0 0 25 0 1 0 763346352 93597696 20356 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22851 20356 566 18 0 22833 0
vsize: 91404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.78 s]
Raw data (loadavg): 1.00 0.99 0.96 1/54 11585
Raw data (stat): 11583 (Pueblo) Z 11582 3132 3131 0 -1 1036 34095430 0 0 0 51247 68843 0 0 25 0 1 0 763346352 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.78
CPU time (s): 1200.91
CPU user time (s): 512.479
CPU system time (s): 688.43
CPU usage (%): 100.01
Max. virtual memory (Kb): 91404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####