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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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.75158
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 27195

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-24 19:57:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18038 boxname=wulflinc17 idbench=1388 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-stp3d.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-stp3d.opb
IDLAUNCH: 18038
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        806648 kB
Buffers:          6404 kB
Cached:         198748 kB
SwapCached:        480 kB
Active:          65156 kB
Inactive:       142756 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        806396 kB
SwapTotal:     2097892 kB
SwapFree:      2097148 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6040 kB
Slab:            14424 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:17:04 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 18038 7 1200.36 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.77 0.94 0.90 2/54 12195
Raw data (stat): 12195 (runsolver) R 12194 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832943271 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.005 s]
Raw data (loadavg): 0.81 0.94 0.90 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 7243 0 0 0 976 23 0 0 25 0 1 0 832943271 33845248 7222 4294967295 134512640 134581331 3221224608 3217028944 134533548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8263 7222 566 18 0 8245 0
vsize: 33052
[startup+20.011 s]
Raw data (loadavg): 0.84 0.94 0.90 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 12832 0 0 0 1960 40 0 0 25 0 1 0 832943271 56762368 12811 4294967295 134512640 134581331 3221224608 3217028896 134545695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13858 12811 566 18 0 13840 0
vsize: 55432
[startup+30.0111 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 182633 0 0 0 2611 389 0 0 25 0 1 0 832943271 92549120 20078 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20078 566 18 0 22577 0
vsize: 90380
[startup+40.012 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 473543 0 0 0 3026 974 0 0 25 0 1 0 832943271 92549120 20141 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20141 566 18 0 22577 0
vsize: 90380
[startup+50.0129 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 765953 0 0 0 3438 1562 0 0 25 0 1 0 832943271 92549120 20096 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20103 566 18 0 22577 0
vsize: 90380
[startup+60.0123 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 1058456 0 0 0 3858 2142 0 0 25 0 1 0 832943271 92549120 20144 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20150 566 18 0 22577 0
vsize: 90380
[startup+70.0131 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 1350230 0 0 0 4275 2725 0 0 25 0 1 0 832943271 92549120 20066 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20073 566 18 0 22577 0
vsize: 90380
[startup+80.0137 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 1641804 0 0 0 4688 3312 0 0 25 0 1 0 832943271 91725824 19989 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 19997 566 18 0 22577 0
vsize: 89576
[startup+90.0146 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 1933998 0 0 0 5105 3896 0 0 25 0 1 0 832943271 92549120 20130 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20138 566 18 0 22577 0
vsize: 90380
[startup+100.015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 2226717 0 0 0 5517 4484 0 0 25 0 1 0 832943271 92549120 19992 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20001 566 18 0 22577 0
vsize: 90380
[startup+110.016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 2515920 0 0 0 5939 5061 0 0 25 0 1 0 832943271 92549120 20157 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20163 566 18 0 22577 0
vsize: 90380
[startup+120.016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 2802972 0 0 0 6355 5646 0 0 25 0 1 0 832943271 92549120 20181 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20188 566 18 0 22577 0
vsize: 90380
[startup+130.016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 3089913 0 0 0 6769 6232 0 0 25 0 1 0 832943271 92549120 20094 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+140.019 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 3377109 0 0 0 7174 6827 0 0 25 0 1 0 832943271 92549120 20061 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+150.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 3664384 0 0 0 7594 7408 0 0 25 0 1 0 832943271 92549120 20107 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20115 566 18 0 22577 0
vsize: 90380
[startup+160.026 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 3951619 0 0 0 8006 7996 0 0 25 0 1 0 832943271 92549120 20113 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20119 566 18 0 22577 0
vsize: 90380
[startup+170.026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 4238523 0 0 0 8410 8592 0 0 25 0 1 0 832943271 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+180.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12195
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 4525393 0 0 0 8827 9176 0 0 25 0 1 0 832943271 92549120 20033 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20040 566 18 0 22577 0
vsize: 90380
[startup+190.026 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 4811690 0 0 0 9239 9764 0 0 25 0 1 0 832943271 92549120 20105 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20113 566 18 0 22577 0
vsize: 90380
[startup+200.027 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 5100009 0 0 0 9656 10347 0 0 25 0 1 0 832943271 91725824 19989 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 19997 566 18 0 22577 0
vsize: 89576
[startup+210.027 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 5388927 0 0 0 10070 10933 0 0 25 0 1 0 832943271 92549120 20070 4294967295 134512640 134581331 3221224608 3221223600 134531728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20078 566 18 0 22577 0
vsize: 90380
[startup+220.027 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 5677683 0 0 0 10486 11517 0 0 25 0 1 0 832943271 91725824 19989 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 19997 566 18 0 22577 0
vsize: 89576
[startup+230.027 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 5966542 0 0 0 10897 12107 0 0 25 0 1 0 832943271 92549120 20011 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20019 566 18 0 22577 0
vsize: 90380
[startup+240.027 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 6255212 0 0 0 11311 12693 0 0 25 0 1 0 832943271 92549120 20045 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20053 566 18 0 22577 0
vsize: 90380
[startup+250.028 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 6543912 0 0 0 11728 13277 0 0 25 0 1 0 832943271 92549120 20109 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20117 566 18 0 22577 0
vsize: 90380
[startup+260.028 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12248
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 6832639 0 0 0 12141 13863 0 0 25 0 1 0 832943271 92549120 19999 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20006 566 18 0 22577 0
vsize: 90380
[startup+270.029 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 7121408 0 0 0 12549 14455 0 0 25 0 1 0 832943271 92549120 20133 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20139 566 18 0 22577 0
vsize: 90380
[startup+280.03 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 7410182 0 0 0 12960 15045 0 0 25 0 1 0 832943271 92549120 20069 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20077 566 18 0 22577 0
vsize: 90380
[startup+290.03 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 7699113 0 0 0 13370 15635 0 0 25 0 1 0 832943271 92549120 20163 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20170 566 18 0 22577 0
vsize: 90380
[startup+300.031 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 7987864 0 0 0 13785 16220 0 0 25 0 1 0 832943271 92549120 20077 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20084 566 18 0 22577 0
vsize: 90380
[startup+310.031 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 8276613 0 0 0 14200 16806 0 0 25 0 1 0 832943271 91725824 19989 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 19996 566 18 0 22577 0
vsize: 89576
[startup+320.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 8565249 0 0 0 14604 17402 0 0 25 0 1 0 832943271 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+330.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 8854086 0 0 0 15006 18000 0 0 25 0 1 0 832943271 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+340.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 9143868 0 0 0 15427 18580 0 0 25 0 1 0 832943271 92549120 20130 4294967295 134512640 134581331 3221224608 3221223600 134531720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22595 20130 566 18 0 22577 0
vsize: 90380
[startup+350.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 9434775 0 0 0 15843 19164 0 0 25 0 1 0 832943271 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+360.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 9727431 0 0 0 16265 19742 0 0 25 0 1 0 832943271 92549120 20190 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20190 566 18 0 22577 0
vsize: 90380
[startup+370.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 10019981 0 0 0 16678 20329 0 0 25 0 1 0 832943271 92549120 20084 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20092 566 18 0 22577 0
vsize: 90380
[startup+380.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 10312140 0 0 0 17089 20918 0 0 25 0 1 0 832943271 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+390.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 10603953 0 0 0 17500 21507 0 0 25 0 1 0 832943271 92549120 20151 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20159 566 18 0 22577 0
vsize: 90380
[startup+400.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 10895491 0 0 0 17910 22098 0 0 25 0 1 0 832943271 92549120 20038 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20047 566 18 0 22577 0
vsize: 90380
[startup+410.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 11187294 0 0 0 18325 22682 0 0 25 0 1 0 832943271 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+420.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 11479146 0 0 0 18748 23260 0 0 25 0 1 0 832943271 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+430.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 11771260 0 0 0 19162 23846 0 0 25 0 1 0 832943271 92549120 20050 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20059 566 18 0 22577 0
vsize: 90380
[startup+440.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 12062816 0 0 0 19576 24432 0 0 25 0 1 0 832943271 92549120 20156 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20163 566 18 0 22577 0
vsize: 90380
[startup+450.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 12354903 0 0 0 19986 25023 0 0 25 0 1 0 832943271 91725824 19989 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 19997 566 18 0 22577 0
vsize: 89576
[startup+460.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 12647174 0 0 0 20405 25604 0 0 25 0 1 0 832943271 92549120 20006 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20015 566 18 0 22577 0
vsize: 90380
[startup+470.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 12939659 0 0 0 20819 26190 0 0 25 0 1 0 832943271 92549120 20037 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22595 20045 566 18 0 22577 0
vsize: 90380
[startup+480.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 13231931 0 0 0 21235 26774 0 0 25 0 1 0 832943271 93073408 20255 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20255 566 18 0 22705 0
vsize: 90892
[startup+490.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 13524529 0 0 0 21648 27361 0 0 25 0 1 0 832943271 93073408 20197 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20205 566 18 0 22705 0
vsize: 90892
[startup+500.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 13817214 0 0 0 22066 27943 0 0 25 0 1 0 832943271 93073408 20226 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20233 566 18 0 22705 0
vsize: 90892
[startup+510.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 14109903 0 0 0 22479 28531 0 0 25 0 1 0 832943271 92250112 20058 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20066 566 18 0 22705 0
vsize: 90088
[startup+520.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 14402677 0 0 0 22894 29116 0 0 25 0 1 0 832943271 93073408 20176 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20184 566 18 0 22705 0
vsize: 90892
[startup+530.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 14695416 0 0 0 23315 29695 0 0 25 0 1 0 832943271 93073408 20259 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20262 566 18 0 22705 0
vsize: 90892
[startup+540.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12250
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 14988291 0 0 0 23730 30280 0 0 25 0 1 0 832943271 93073408 20076 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20085 566 18 0 22705 0
vsize: 90892
[startup+550.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 15280681 0 0 0 24142 30868 0 0 25 0 1 0 832943271 93073408 20212 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20219 566 18 0 22705 0
vsize: 90892
[startup+560.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 15572622 0 0 0 24560 31451 0 0 25 0 1 0 832943271 93073408 20100 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20108 566 18 0 22705 0
vsize: 90892
[startup+570.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 15864977 0 0 0 24971 32040 0 0 25 0 1 0 832943271 93073408 20201 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20209 566 18 0 22705 0
vsize: 90892
[startup+580.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 16157098 0 0 0 25391 32620 0 0 25 0 1 0 832943271 93073408 20269 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20269 566 18 0 22705 0
vsize: 90892
[startup+590.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 16448928 0 0 0 25808 33203 0 0 25 0 1 0 832943271 93073408 20247 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20254 566 18 0 22705 0
vsize: 90892
[startup+600.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 16741320 0 0 0 26222 33789 0 0 25 0 1 0 832943271 93073408 20184 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20193 566 18 0 22705 0
vsize: 90892
[startup+610.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 17033594 0 0 0 26637 34375 0 0 25 0 1 0 832943271 93073408 20204 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20212 566 18 0 22705 0
vsize: 90892
[startup+620.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 17325712 0 0 0 27058 34953 0 0 25 0 1 0 832943271 93073408 20269 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20275 566 18 0 22705 0
vsize: 90892
[startup+630.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 17617925 0 0 0 27473 35538 0 0 25 0 1 0 832943271 93073408 20228 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+640.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 17910094 0 0 0 27890 36122 0 0 25 0 1 0 832943271 93073408 20143 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20151 566 18 0 22705 0
vsize: 90892
[startup+650.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 18202171 0 0 0 28311 36701 0 0 25 0 1 0 832943271 93073408 20167 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+660.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 18494321 0 0 0 28729 37283 0 0 25 0 1 0 832943271 93073408 20264 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20270 566 18 0 22705 0
vsize: 90892
[startup+670.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 18785886 0 0 0 29145 37867 0 0 25 0 1 0 832943271 93073408 20178 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20186 566 18 0 22705 0
vsize: 90892
[startup+680.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 19077770 0 0 0 29563 38450 0 0 25 0 1 0 832943271 93073408 20210 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20218 566 18 0 22705 0
vsize: 90892
[startup+690.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 19369872 0 0 0 29975 39038 0 0 25 0 1 0 832943271 93073408 20259 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20266 566 18 0 22705 0
vsize: 90892
[startup+700.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 19662233 0 0 0 30387 39628 0 0 25 0 1 0 832943271 93073408 20165 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20173 566 18 0 22705 0
vsize: 90892
[startup+710.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 19954481 0 0 0 30800 40215 0 0 25 0 1 0 832943271 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.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 20246899 0 0 0 31224 40791 0 0 25 0 1 0 832943271 93073408 20122 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20130 566 18 0 22705 0
vsize: 90892
[startup+730.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 20539331 0 0 0 31639 41377 0 0 25 0 1 0 832943271 93073408 20099 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20108 566 18 0 22705 0
vsize: 90892
[startup+740.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 20832180 0 0 0 32055 41961 0 0 25 0 1 0 832943271 93073408 20292 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+750.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 21124704 0 0 0 32473 42543 0 0 25 0 1 0 832943271 93073408 20160 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20168 566 18 0 22705 0
vsize: 90892
[startup+760.075 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 21417835 0 0 0 32893 43125 0 0 25 0 1 0 832943271 93073408 20233 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20240 566 18 0 22705 0
vsize: 90892
[startup+770.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 21711142 0 0 0 33306 43713 0 0 25 0 1 0 832943271 93073408 20281 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20288 566 18 0 22705 0
vsize: 90892
[startup+780.088 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 22004625 0 0 0 33726 44294 0 0 25 0 1 0 832943271 93073408 20103 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20112 566 18 0 22705 0
vsize: 90892
[startup+790.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 22298105 0 0 0 34137 44883 0 0 25 0 1 0 832943271 93073408 20123 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20132 566 18 0 22705 0
vsize: 90892
[startup+800.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 22591262 0 0 0 34553 45468 0 0 25 0 1 0 832943271 93073408 20222 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20230 566 18 0 22705 0
vsize: 90892
[startup+810.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 22884168 0 0 0 34970 46052 0 0 25 0 1 0 832943271 93073408 20271 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20279 566 18 0 22705 0
vsize: 90892
[startup+820.106 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 23177258 0 0 0 35379 46643 0 0 25 0 1 0 832943271 93073408 20303 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20303 566 18 0 22705 0
vsize: 90892
[startup+830.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 23470099 0 0 0 35793 47230 0 0 25 0 1 0 832943271 93073408 20287 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20294 566 18 0 22705 0
vsize: 90892
[startup+840.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 23763289 0 0 0 36206 47817 0 0 25 0 1 0 832943271 93073408 20218 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20225 566 18 0 22705 0
vsize: 90892
[startup+850.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 24056597 0 0 0 36615 48408 0 0 25 0 1 0 832943271 93073408 20267 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20274 566 18 0 22705 0
vsize: 90892
[startup+860.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 24349917 0 0 0 37031 48992 0 0 25 0 1 0 832943271 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+870.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 24643799 0 0 0 37448 49576 0 0 25 0 1 0 832943271 93073408 20147 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20156 566 18 0 22705 0
vsize: 90892
[startup+880.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 24937424 0 0 0 37864 50160 0 0 25 0 1 0 832943271 92250112 20111 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20119 566 18 0 22705 0
vsize: 90088
[startup+890.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 25230998 0 0 0 38285 50739 0 0 25 0 1 0 832943271 93073408 20225 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20232 566 18 0 22705 0
vsize: 90892
[startup+900.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 25524346 0 0 0 38697 51327 0 0 25 0 1 0 832943271 93073408 20314 4294967295 134512640 134581331 3221224608 3221223616 134531324 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.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 25817689 0 0 0 39109 51915 0 0 25 0 1 0 832943271 93073408 20197 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20205 566 18 0 22705 0
vsize: 90892
[startup+920.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 26111205 0 0 0 39523 52501 0 0 25 0 1 0 832943271 93073408 20253 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22723 20260 566 18 0 22705 0
vsize: 90892
[startup+930.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 26404880 0 0 0 39932 53093 0 0 25 0 1 0 832943271 93597696 20267 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20274 566 18 0 22833 0
vsize: 91404
[startup+940.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 26697526 0 0 0 40350 53675 0 0 25 0 1 0 832943271 93597696 20257 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20264 566 18 0 22833 0
vsize: 91404
[startup+950.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 26989745 0 0 0 40764 54262 0 0 25 0 1 0 832943271 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+960.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 27281896 0 0 0 41182 54843 0 0 25 0 1 0 832943271 93597696 20320 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20323 566 18 0 22833 0
vsize: 91404
[startup+970.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 27574653 0 0 0 41591 55434 0 0 25 0 1 0 832943271 93597696 20220 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20228 566 18 0 22833 0
vsize: 91404
[startup+980.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 27867343 0 0 0 42007 56018 0 0 25 0 1 0 832943271 93597696 20254 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20262 566 18 0 22833 0
vsize: 91404
[startup+990.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 28160002 0 0 0 42421 56605 0 0 25 0 1 0 832943271 93597696 20257 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20264 566 18 0 22833 0
vsize: 91404
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 28452637 0 0 0 42841 57185 0 0 25 0 1 0 832943271 93597696 20236 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20243 566 18 0 22833 0
vsize: 91404
[startup+1010.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 28745409 0 0 0 43255 57771 0 0 25 0 1 0 832943271 93597696 20151 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20160 566 18 0 22833 0
vsize: 91404
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 29038203 0 0 0 43673 58354 0 0 25 0 1 0 832943271 93597696 20289 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+1030.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 29330930 0 0 0 44082 58944 0 0 25 0 1 0 832943271 93597696 20159 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+1040.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 29623761 0 0 0 44495 59532 0 0 25 0 1 0 832943271 92774400 20133 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20141 566 18 0 22833 0
vsize: 90600
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 29916494 0 0 0 44907 60120 0 0 25 0 1 0 832943271 93597696 20210 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20218 566 18 0 22833 0
vsize: 91404
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 30209175 0 0 0 45326 60702 0 0 25 0 1 0 832943271 93597696 20235 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20243 566 18 0 22833 0
vsize: 91404
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 30501835 0 0 0 45754 61274 0 0 25 0 1 0 832943271 93597696 20239 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20246 566 18 0 22833 0
vsize: 91404
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 30794592 0 0 0 46167 61861 0 0 25 0 1 0 832943271 93597696 20340 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+1090.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 31087051 0 0 0 46587 62441 0 0 25 0 1 0 832943271 93597696 20143 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20152 566 18 0 22833 0
vsize: 91404
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 31379488 0 0 0 47003 63025 0 0 25 0 1 0 832943271 93597696 20326 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20333 566 18 0 22833 0
vsize: 91404
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 31671961 0 0 0 47425 63604 0 0 25 0 1 0 832943271 93597696 20344 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20344 566 18 0 22833 0
vsize: 91404
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 31964111 0 0 0 47834 64195 0 0 25 0 1 0 832943271 93597696 20241 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20249 566 18 0 22833 0
vsize: 91404
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 32256271 0 0 0 48253 64776 0 0 25 0 1 0 832943271 92774400 20146 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20154 566 18 0 22833 0
vsize: 90600
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 32548516 0 0 0 48667 65362 0 0 25 0 1 0 832943271 93597696 20338 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20345 566 18 0 22833 0
vsize: 91404
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 32840817 0 0 0 49085 65945 0 0 25 0 1 0 832943271 93597696 20184 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+1160.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 33133354 0 0 0 49496 66534 0 0 25 0 1 0 832943271 93597696 20266 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20274 566 18 0 22833 0
vsize: 91404
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 33425983 0 0 0 49907 67123 0 0 25 0 1 0 832943271 93597696 20239 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20247 566 18 0 22833 0
vsize: 91404
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 33718553 0 0 0 50320 67711 0 0 25 0 1 0 832943271 93597696 20354 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20354 566 18 0 22833 0
vsize: 91404
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 34011416 0 0 0 50728 68302 0 0 25 0 1 0 832943271 93597696 20159 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+1200.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12252
Raw data (stat): 12195 (Pueblo) R 12194 7475 7474 0 -1 0 34304151 0 0 0 51148 68882 0 0 25 0 1 0 832943271 93597696 20238 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22851 20247 566 18 0 22833 0
vsize: 91404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 12252
Raw data (stat): 12195 (Pueblo) Z 12194 7475 7474 0 -1 1036 34304168 0 0 0 51148 68886 0 0 25 0 1 0 832943271 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.16
CPU time (s): 1200.36
CPU user time (s): 511.487
CPU system time (s): 688.869
CPU usage (%): 100.016
Max. virtual memory (Kb): 91404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####