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/miplib3/normalized-mps-v2-20-10-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 26478

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 15:44:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13176 boxname=wulflinc28 idbench=1014 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 13176
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        808500 kB
Buffers:         33952 kB
Cached:         170236 kB
SwapCached:       1104 kB
Active:          62692 kB
Inactive:       144124 kB
HighTotal:      131008 kB
HighFree:          728 kB
LowTotal:       903652 kB
LowFree:        807772 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13824 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:04:38 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 13176 7 1200.57 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.67 0.87 0.95 2/54 26425
Raw data (stat): 26425 (runsolver) R 26424 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831422632 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+9.99985 s]
Raw data (loadavg): 0.72 0.87 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 2097 0 0 0 993 5 0 0 25 0 1 0 831422632 14532608 2075 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3548 2075 566 18 0 3530 0
vsize: 14192
[startup+20.0001 s]
Raw data (loadavg): 0.76 0.88 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 2218 0 0 0 1993 6 0 0 25 0 1 0 831422632 15048704 2196 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3674 2196 566 18 0 3656 0
vsize: 14696
[startup+30.0008 s]
Raw data (loadavg): 0.80 0.88 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 2542 0 0 0 2992 7 0 0 25 0 1 0 831422632 16265216 2520 4294967295 134512640 134581331 3221224592 3221223312 134522604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3971 2520 566 18 0 3953 0
vsize: 15884
[startup+40.0019 s]
Raw data (loadavg): 0.83 0.89 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 2949 0 0 0 3991 8 0 0 25 0 1 0 831422632 18030592 2927 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4402 2927 566 18 0 4384 0
vsize: 17608
[startup+50.0022 s]
Raw data (loadavg): 0.85 0.89 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 3112 0 0 0 4991 8 0 0 25 0 1 0 831422632 18673664 3090 4294967295 134512640 134581331 3221224592 3221223476 134557861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4559 3090 566 18 0 4541 0
vsize: 18236
[startup+60.0023 s]
Raw data (loadavg): 0.88 0.89 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 3339 0 0 0 5990 9 0 0 25 0 1 0 831422632 19648512 3317 4294967295 134512640 134581331 3221224592 3221223312 134522586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4797 3317 566 18 0 4779 0
vsize: 19188
[startup+70.003 s]
Raw data (loadavg): 0.89 0.89 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 3564 0 0 0 6990 10 0 0 25 0 1 0 831422632 20578304 3542 4294967295 134512640 134581331 3221224592 3221223504 134519027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5024 3542 566 18 0 5006 0
vsize: 20096
[startup+80.0032 s]
Raw data (loadavg): 0.91 0.90 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 3793 0 0 0 7988 11 0 0 25 0 1 0 831422632 21544960 3771 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5260 3771 566 18 0 5242 0
vsize: 21040
[startup+90.0039 s]
Raw data (loadavg): 0.92 0.90 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4002 0 0 0 8988 12 0 0 25 0 1 0 831422632 22343680 3980 4294967295 134512640 134581331 3221224592 3221223476 134557809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5455 3980 566 18 0 5437 0
vsize: 21820
[startup+100.004 s]
Raw data (loadavg): 0.93 0.90 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4198 0 0 0 9987 13 0 0 25 0 1 0 831422632 23146496 4176 4294967295 134512640 134581331 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5651 4176 566 18 0 5633 0
vsize: 22604
[startup+110.005 s]
Raw data (loadavg): 0.94 0.91 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4379 0 0 0 10986 14 0 0 25 0 1 0 831422632 23838720 4357 4294967295 134512640 134581331 3221224592 3221223584 134561059 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5820 4357 566 18 0 5802 0
vsize: 23280
[startup+120.005 s]
Raw data (loadavg): 0.95 0.91 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4664 0 0 0 11985 15 0 0 25 0 1 0 831422632 25092096 4642 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6126 4642 566 18 0 6108 0
vsize: 24504
[startup+130.006 s]
Raw data (loadavg): 0.96 0.91 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4715 0 0 0 12985 15 0 0 25 0 1 0 831422632 25227264 4693 4294967295 134512640 134581331 3221224592 3221223312 134522609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+140.006 s]
Raw data (loadavg): 0.96 0.91 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4715 0 0 0 13985 15 0 0 25 0 1 0 831422632 25227264 4693 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+150.007 s]
Raw data (loadavg): 0.97 0.92 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4715 0 0 0 14986 15 0 0 25 0 1 0 831422632 25227264 4693 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+160.007 s]
Raw data (loadavg): 0.97 0.92 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4715 0 0 0 15985 15 0 0 25 0 1 0 831422632 25227264 4693 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+170.008 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4715 0 0 0 16985 16 0 0 25 0 1 0 831422632 25227264 4693 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+180.009 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 4952 0 0 0 17984 17 0 0 25 0 1 0 831422632 26185728 4930 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6393 4930 566 18 0 6375 0
vsize: 25572
[startup+190.009 s]
Raw data (loadavg): 0.98 0.92 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 5250 0 0 0 18983 18 0 0 25 0 1 0 831422632 27508736 5228 4294967295 134512640 134581331 3221224592 3221223376 134528804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 5228 566 18 0 6698 0
vsize: 26864
[startup+200.016 s]
Raw data (loadavg): 0.98 0.93 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 5321 0 0 0 19983 19 0 0 25 0 1 0 831422632 27779072 5299 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5299 566 18 0 6764 0
vsize: 27128
[startup+210.015 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 5321 0 0 0 20983 19 0 0 25 0 1 0 831422632 27779072 5299 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5299 566 18 0 6764 0
vsize: 27128
[startup+220.024 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 5321 0 0 0 21984 19 0 0 25 0 1 0 831422632 27779072 5299 4294967295 134512640 134581331 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5299 566 18 0 6764 0
vsize: 27128
[startup+230.023 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 5371 0 0 0 22984 19 0 0 25 0 1 0 831422632 27918336 5349 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6816 5349 566 18 0 6798 0
vsize: 27264
[startup+240.025 s]
Raw data (loadavg): 0.99 0.93 0.95 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 5534 0 0 0 23984 19 0 0 25 0 1 0 831422632 28639232 5512 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6992 5512 566 18 0 6974 0
vsize: 27968
[startup+250.025 s]
Raw data (loadavg): 1.07 0.95 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 5743 0 0 0 24984 19 0 0 25 0 1 0 831422632 29429760 5721 4294967295 134512640 134581331 3221224592 3221223312 134522586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7185 5721 566 18 0 7167 0
vsize: 28740
[startup+260.038 s]
Raw data (loadavg): 1.06 0.95 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 6050 0 0 0 25985 20 0 0 25 0 1 0 831422632 30703616 6028 4294967295 134512640 134581331 3221224592 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7496 6028 566 18 0 7478 0
vsize: 29984
[startup+270.038 s]
Raw data (loadavg): 1.05 0.95 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 6277 0 0 0 26984 21 0 0 25 0 1 0 831422632 31703040 6247 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7740 6247 566 18 0 7722 0
vsize: 30960
[startup+280.038 s]
Raw data (loadavg): 1.04 0.95 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 6503 0 0 0 27984 22 0 0 25 0 1 0 831422632 32550912 6460 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7947 6460 566 18 0 7929 0
vsize: 31788
[startup+290.039 s]
Raw data (loadavg): 1.04 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 6690 0 0 0 28984 22 0 0 25 0 1 0 831422632 33071104 6613 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8074 6613 566 18 0 8056 0
vsize: 32296
[startup+300.046 s]
Raw data (loadavg): 1.03 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 6837 0 0 0 29984 22 0 0 25 0 1 0 831422632 33685504 6760 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8224 6760 566 18 0 8206 0
vsize: 32896
[startup+310.045 s]
Raw data (loadavg): 1.02 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7016 0 0 0 30984 22 0 0 25 0 1 0 831422632 34463744 6937 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8414 6937 566 18 0 8396 0
vsize: 33656
[startup+320.046 s]
Raw data (loadavg): 1.02 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7204 0 0 0 31984 23 0 0 25 0 1 0 831422632 35233792 7109 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8602 7109 566 18 0 8584 0
vsize: 34408
[startup+330.046 s]
Raw data (loadavg): 1.02 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7461 0 0 0 32983 24 0 0 25 0 1 0 831422632 36155392 7362 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8827 7362 566 18 0 8809 0
vsize: 35308
[startup+340.047 s]
Raw data (loadavg): 1.01 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 33983 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+350.047 s]
Raw data (loadavg): 1.01 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 34983 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223504 134519025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+360.047 s]
Raw data (loadavg): 1.01 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 35984 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223312 134522611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+370.047 s]
Raw data (loadavg): 1.01 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 36984 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+380.047 s]
Raw data (loadavg): 1.01 0.96 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 37984 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+390.047 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 38984 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+400.048 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 39985 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223312 134522512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+410.048 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 40985 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+420.049 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7619 0 0 0 41985 24 0 0 25 0 1 0 831422632 36818944 7520 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+430.049 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 42985 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+440.05 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 43985 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+450.05 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 44986 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+460.05 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 45986 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223472 134560242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+470.05 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 46986 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+480.05 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 47986 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223488 134517907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+490.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 48986 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223476 134557884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+500.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 49987 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+510.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 50987 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+520.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 51987 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+530.05 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 52987 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+540.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 53987 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+550.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 54987 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+560.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 55987 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223312 134522588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+570.052 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 56988 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+580.052 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 57988 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223476 134557930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+590.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 58988 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+600.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 59988 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223312 134524441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+610.052 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7620 0 0 0 60988 24 0 0 25 0 1 0 831422632 36818944 7521 4294967295 134512640 134581331 3221224592 3221223456 134528342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+620.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 61988 24 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+630.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 62989 24 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+640.051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 63989 24 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+650.05 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 64989 25 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+660.054 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 65989 25 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+670.054 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 66989 25 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+680.072 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 67991 25 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223504 134519014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+690.083 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 68993 25 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+700.193 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 70004 25 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+710.2 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7621 0 0 0 71004 25 0 0 25 0 1 0 831422632 36818944 7522 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+720.206 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 7906 0 0 0 72005 25 0 0 25 0 1 0 831422632 38014976 7807 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9281 7807 566 18 0 9263 0
vsize: 37124
[startup+730.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 8234 0 0 0 73006 26 0 0 25 0 1 0 831422632 39424000 8135 4294967295 134512640 134581331 3221224592 3221223504 134518996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9625 8135 566 18 0 9607 0
vsize: 38500
[startup+740.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 8511 0 0 0 74005 27 0 0 25 0 1 0 831422632 40443904 8411 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9874 8411 566 18 0 9856 0
vsize: 39496
[startup+750.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 8733 0 0 0 75005 27 0 0 25 0 1 0 831422632 41390080 8633 4294967295 134512640 134581331 3221224592 3221223312 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10105 8633 566 18 0 10087 0
vsize: 40420
[startup+760.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 8978 0 0 0 76005 27 0 0 25 0 1 0 831422632 42360832 8872 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10342 8872 566 18 0 10324 0
vsize: 41368
[startup+770.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 9170 0 0 0 77005 27 0 0 25 0 1 0 831422632 43163648 9061 4294967295 134512640 134581331 3221224592 3221223504 134519052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10538 9061 566 18 0 10520 0
vsize: 42152
[startup+780.219 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 9385 0 0 0 78005 28 0 0 25 0 1 0 831422632 44023808 9276 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10748 9276 566 18 0 10730 0
vsize: 42992
[startup+790.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 9605 0 0 0 79004 28 0 0 25 0 1 0 831422632 44875776 9495 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10956 9495 566 18 0 10938 0
vsize: 43824
[startup+800.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 9742 0 0 0 80004 29 0 0 25 0 1 0 831422632 45461504 9632 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11099 9632 566 18 0 11081 0
vsize: 44396
[startup+810.217 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 10057 0 0 0 81003 29 0 0 25 0 1 0 831422632 46718976 9947 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11406 9947 566 18 0 11388 0
vsize: 45624
[startup+820.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 10247 0 0 0 82003 30 0 0 25 0 1 0 831422632 47624192 10137 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11627 10137 566 18 0 11609 0
vsize: 46508
[startup+830.218 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 10454 0 0 0 83003 30 0 0 25 0 1 0 831422632 48300032 10329 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11792 10329 566 18 0 11774 0
vsize: 47168
[startup+840.322 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 10726 0 0 0 84013 31 0 0 25 0 1 0 831422632 49405952 10601 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12062 10601 566 18 0 12044 0
vsize: 48248
[startup+850.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 10938 0 0 0 85013 32 0 0 25 0 1 0 831422632 50302976 10813 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12281 10813 566 18 0 12263 0
vsize: 49124
[startup+860.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 11120 0 0 0 86013 32 0 0 25 0 1 0 831422632 51138560 10995 4294967295 134512640 134581331 3221224592 3221223504 134519011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12485 10995 566 18 0 12467 0
vsize: 49940
[startup+870.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 11341 0 0 0 87012 33 0 0 25 0 1 0 831422632 51937280 11216 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12680 11216 566 18 0 12662 0
vsize: 50720
[startup+880.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 11504 0 0 0 88012 33 0 0 25 0 1 0 831422632 52625408 11379 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12848 11379 566 18 0 12830 0
vsize: 51392
[startup+890.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 11720 0 0 0 89011 34 0 0 25 0 1 0 831422632 53534720 11590 4294967295 134512640 134581331 3221224592 3221223504 134519025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13070 11590 566 18 0 13052 0
vsize: 52280
[startup+900.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12036 0 0 0 90011 34 0 0 25 0 1 0 831422632 54902784 11906 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13404 11906 566 18 0 13386 0
vsize: 53616
[startup+910.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12215 0 0 0 91011 35 0 0 25 0 1 0 831422632 55513088 12085 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12085 566 18 0 13535 0
vsize: 54212
[startup+920.327 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 26425
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12315 0 0 0 92011 35 0 0 25 0 1 0 831422632 55922688 12185 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13653 12185 566 18 0 13635 0
vsize: 54612
[startup+930.333 s]
Raw data (loadavg): 1.00 0.97 0.96 2/58 26429
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12401 0 0 0 93012 35 0 0 25 0 1 0 831422632 56274944 12265 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13739 12265 566 18 0 13721 0
vsize: 54956
[startup+940.336 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 26478
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12567 0 0 0 94011 35 0 0 25 0 1 0 831422632 56983552 12431 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13912 12431 566 18 0 13894 0
vsize: 55648
[startup+950.337 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 26478
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12800 0 0 0 95011 36 0 0 25 0 1 0 831422632 57880576 12664 4294967295 134512640 134581331 3221224592 3221223504 134519040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14131 12664 566 18 0 14113 0
vsize: 56524
[startup+960.338 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 26478
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12922 0 0 0 96011 36 0 0 25 0 1 0 831422632 58380288 12782 4294967295 134512640 134581331 3221224592 3221223504 134519045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14253 12782 566 18 0 14235 0
vsize: 57012
[startup+970.341 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 26478
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 12989 0 0 0 97011 36 0 0 25 0 1 0 831422632 58650624 12849 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14319 12849 566 18 0 14301 0
vsize: 57276
[startup+980.341 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 26478
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 13122 0 0 0 98011 37 0 0 25 0 1 0 831422632 59150336 12982 4294967295 134512640 134581331 3221224592 3221223312 134522568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14441 12982 566 18 0 14423 0
vsize: 57764
[startup+990.341 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 26478
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 13303 0 0 0 99010 37 0 0 25 0 1 0 831422632 60022784 13163 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14654 13163 566 18 0 14636 0
vsize: 58616
[startup+1000.34 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 26478
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 13400 0 0 0 100010 37 0 0 25 0 1 0 831422632 60338176 13260 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14731 13260 566 18 0 14713 0
vsize: 58924
[startup+1010.34 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 13493 0 0 0 101010 38 0 0 25 0 1 0 831422632 60731392 13353 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14827 13353 566 18 0 14809 0
vsize: 59308
[startup+1020.34 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 13779 0 0 0 102010 38 0 0 25 0 1 0 831422632 61911040 13639 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15115 13639 566 18 0 15097 0
vsize: 60460
[startup+1030.34 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 13804 0 0 0 103010 38 0 0 25 0 1 0 831422632 62066688 13664 4294967295 134512640 134581331 3221224592 3221223504 134518996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15153 13664 566 18 0 15135 0
vsize: 60612
[startup+1040.35 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 13981 0 0 0 104011 38 0 0 25 0 1 0 831422632 62791680 13841 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15330 13841 566 18 0 15312 0
vsize: 61320
[startup+1050.35 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 14033 0 0 0 105011 38 0 0 25 0 1 0 831422632 62865408 13891 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15348 13891 566 18 0 15330 0
vsize: 61392
[startup+1060.35 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 14111 0 0 0 106011 39 0 0 25 0 1 0 831422632 63221760 13969 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15435 13969 566 18 0 15417 0
vsize: 61740
[startup+1070.35 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 14262 0 0 0 107011 39 0 0 25 0 1 0 831422632 63827968 14120 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15583 14120 566 18 0 15565 0
vsize: 62332
[startup+1080.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 14385 0 0 0 108011 40 0 0 25 0 1 0 831422632 64397312 14243 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15722 14243 566 18 0 15704 0
vsize: 62888
[startup+1090.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 14563 0 0 0 109011 40 0 0 25 0 1 0 831422632 65228800 14421 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15925 14421 566 18 0 15907 0
vsize: 63700
[startup+1100.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 14810 0 0 0 110010 40 0 0 25 0 1 0 831422632 66134016 14668 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16146 14668 566 18 0 16128 0
vsize: 64584
[startup+1110.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15017 0 0 0 111010 40 0 0 25 0 1 0 831422632 67035136 14874 4294967295 134512640 134581331 3221224592 3221223312 134522611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16366 14874 566 18 0 16348 0
vsize: 65464
[startup+1120.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15061 0 0 0 112010 41 0 0 25 0 1 0 831422632 67203072 14918 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16407 14918 566 18 0 16389 0
vsize: 65628
[startup+1130.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15323 0 0 0 113010 41 0 0 25 0 1 0 831422632 68239360 15180 4294967295 134512640 134581331 3221224592 3221223504 134527984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16660 15180 566 18 0 16642 0
vsize: 66640
[startup+1140.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15397 0 0 0 114010 41 0 0 25 0 1 0 831422632 68501504 15252 4294967295 134512640 134581331 3221224592 3221223312 134522624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16724 15252 566 18 0 16706 0
vsize: 66896
[startup+1150.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15565 0 0 0 115010 42 0 0 25 0 1 0 831422632 69226496 15420 4294967295 134512640 134581331 3221224592 3221223504 134519017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16901 15420 566 18 0 16883 0
vsize: 67604
[startup+1160.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15626 0 0 0 116010 42 0 0 25 0 1 0 831422632 69537792 15481 4294967295 134512640 134581331 3221224592 3221223664 134531401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 15481 566 18 0 16959 0
vsize: 67908
[startup+1170.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15744 0 0 0 117010 42 0 0 25 0 1 0 831422632 69967872 15599 4294967295 134512640 134581331 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17082 15599 566 18 0 17064 0
vsize: 68328
[startup+1180.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 15874 0 0 0 118009 43 0 0 25 0 1 0 831422632 70533120 15729 4294967295 134512640 134581331 3221224592 3221223312 134522606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17220 15729 566 18 0 17202 0
vsize: 68880
[startup+1190.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 16074 0 0 0 119009 43 0 0 25 0 1 0 831422632 71368704 15929 4294967295 134512640 134581331 3221224592 3221223312 134524447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17424 15929 566 18 0 17406 0
vsize: 69696
[startup+1200.35 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 26480
Raw data (stat): 26425 (Pueblo) R 26424 24821 24820 0 -1 0 16206 0 0 0 120009 44 0 0 25 0 1 0 831422632 71888896 16061 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17551 16061 566 18 0 17533 0
vsize: 70204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 1.00 0.99 0.96 1/54 26480
Raw data (stat): 26425 (Pueblo) Z 26424 24821 24820 0 -1 1036 16206 0 0 0 120009 47 0 0 25 0 1 0 831422632 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.38
CPU time (s): 1200.57
CPU user time (s): 1200.09
CPU system time (s): 0.472928
CPU usage (%): 100.015
Max. virtual memory (Kb): 70204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####