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/miplib3/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.69
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 25659

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 13:48:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18480 boxname=wulflinc31 idbench=1422 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 18480
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        897884 kB
Buffers:         22456 kB
Cached:          93836 kB
SwapCached:       1076 kB
Active:          51552 kB
Inactive:        67060 kB
HighTotal:      131008 kB
HighFree:        68488 kB
LowTotal:       903652 kB
LowFree:        829396 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12664 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 14:08:06 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 18480 7 1200.45 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.91 0.95 0.97 2/55 11188
Raw data (stat): 11188 (runsolver) R 11187 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 804774591 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 1362 0 0 0 992 3 0 0 25 0 1 0 804774591 11210752 1339 4294967295 134512640 134581331 3221221792 3221220576 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2737 1339 566 18 0 2719 0
vsize: 10948
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 1698 0 0 0 1991 4 0 0 25 0 1 0 804774591 12582912 1675 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3072 1675 566 18 0 3054 0
vsize: 12288
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 1875 0 0 0 2991 4 0 0 25 0 1 0 804774591 13250560 1852 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3235 1852 566 18 0 3217 0
vsize: 12940
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2211 0 0 0 3991 5 0 0 25 0 1 0 804774591 14700544 2188 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2188 566 18 0 3571 0
vsize: 14356
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2409 0 0 0 4990 5 0 0 25 0 1 0 804774591 15507456 2386 4294967295 134512640 134581331 3221221792 3221220512 134524441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2386 566 18 0 3768 0
vsize: 15144
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2648 0 0 0 5990 5 0 0 25 0 1 0 804774591 16408576 2625 4294967295 134512640 134581331 3221221792 3221220512 134522603 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 2625 566 18 0 3988 0
vsize: 16024
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2648 0 0 0 6991 5 0 0 25 0 1 0 804774591 16408576 2625 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 2625 566 18 0 3988 0
vsize: 16024
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2648 0 0 0 7991 5 0 0 25 0 1 0 804774591 16408576 2625 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 2625 566 18 0 3988 0
vsize: 16024
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2648 0 0 0 8991 6 0 0 25 0 1 0 804774591 16408576 2625 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 2625 566 18 0 3988 0
vsize: 16024
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2648 0 0 0 9991 6 0 0 25 0 1 0 804774591 16408576 2625 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4006 2625 566 18 0 3988 0
vsize: 16024
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 2692 0 0 0 10991 6 0 0 25 0 1 0 804774591 16678912 2669 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4072 2669 566 18 0 4054 0
vsize: 16288
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3093 0 0 0 11991 6 0 0 25 0 1 0 804774591 18243584 3070 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4454 3070 566 18 0 4436 0
vsize: 17816
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3135 0 0 0 12991 7 0 0 25 0 1 0 804774591 18309120 3094 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4470 3094 566 18 0 4452 0
vsize: 17880
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3154 0 0 0 13991 7 0 0 25 0 1 0 804774591 18452480 3113 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3113 566 18 0 4487 0
vsize: 18020
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3154 0 0 0 14991 7 0 0 25 0 1 0 804774591 18452480 3113 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3113 566 18 0 4487 0
vsize: 18020
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3154 0 0 0 15991 7 0 0 25 0 1 0 804774591 18452480 3113 4294967295 134512640 134581331 3221221792 3221220656 134528544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3113 566 18 0 4487 0
vsize: 18020
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3586 0 0 0 16990 8 0 0 25 0 1 0 804774591 20283392 3545 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4952 3545 566 18 0 4934 0
vsize: 19808
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3711 0 0 0 17990 8 0 0 25 0 1 0 804774591 20758528 3670 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5068 3670 566 18 0 5050 0
vsize: 20272
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3711 0 0 0 18990 8 0 0 25 0 1 0 804774591 20758528 3670 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5068 3670 566 18 0 5050 0
vsize: 20272
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 19991 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220736 134558847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 20991 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 21991 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 22991 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 23991 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 24992 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 25992 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 26992 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 27992 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 28992 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 29992 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 30993 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 31993 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 3973 0 0 0 32993 8 0 0 25 0 1 0 804774591 21815296 3932 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5326 3932 566 18 0 5308 0
vsize: 21304
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4099 0 0 0 33993 8 0 0 25 0 1 0 804774591 22327296 4058 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5451 4058 566 18 0 5433 0
vsize: 21804
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4547 0 0 0 34992 9 0 0 25 0 1 0 804774591 24150016 4506 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5896 4506 566 18 0 5878 0
vsize: 23584
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4547 0 0 0 35992 9 0 0 25 0 1 0 804774591 24150016 4506 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5896 4506 566 18 0 5878 0
vsize: 23584
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4547 0 0 0 36992 9 0 0 25 0 1 0 804774591 24150016 4506 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5896 4506 566 18 0 5878 0
vsize: 23584
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4547 0 0 0 37992 9 0 0 25 0 1 0 804774591 24150016 4506 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5896 4506 566 18 0 5878 0
vsize: 23584
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4568 0 0 0 38993 9 0 0 25 0 1 0 804774591 24272896 4527 4294967295 134512640 134581331 3221221792 3221220704 134527984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5926 4527 566 18 0 5908 0
vsize: 23704
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4568 0 0 0 39993 9 0 0 25 0 1 0 804774591 24272896 4527 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5926 4527 566 18 0 5908 0
vsize: 23704
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4568 0 0 0 40993 9 0 0 25 0 1 0 804774591 24272896 4527 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5926 4527 566 18 0 5908 0
vsize: 23704
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 41993 9 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 42993 10 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 43993 10 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 44993 10 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 45993 10 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 46994 10 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 47994 10 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220576 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 48994 10 0 0 25 0 1 0 804774591 24510464 4607 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5984 4607 566 18 0 5966 0
vsize: 23936
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 49994 10 0 0 25 0 1 0 804774591 24494080 4603 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4603 566 18 0 5962 0
vsize: 23920
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 50994 10 0 0 25 0 1 0 804774591 24494080 4603 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4603 566 18 0 5962 0
vsize: 23920
[startup+520.017 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 51994 10 0 0 25 0 1 0 804774591 24494080 4603 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4603 566 18 0 5962 0
vsize: 23920
[startup+530.018 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 52995 10 0 0 25 0 1 0 804774591 24494080 4603 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4603 566 18 0 5962 0
vsize: 23920
[startup+540.019 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4648 0 0 0 53995 10 0 0 25 0 1 0 804774591 24494080 4603 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5980 4603 566 18 0 5962 0
vsize: 23920
[startup+550.019 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4755 0 0 0 54995 10 0 0 25 0 1 0 804774591 24981504 4710 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 4710 566 18 0 6081 0
vsize: 24396
[startup+560.02 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4755 0 0 0 55995 10 0 0 25 0 1 0 804774591 24981504 4710 4294967295 134512640 134581331 3221221792 3221220736 134559476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 4710 566 18 0 6081 0
vsize: 24396
[startup+570.02 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4755 0 0 0 56995 10 0 0 25 0 1 0 804774591 24981504 4710 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6099 4710 566 18 0 6081 0
vsize: 24396
[startup+580.02 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 4818 0 0 0 57995 10 0 0 25 0 1 0 804774591 25214976 4773 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6156 4773 566 18 0 6138 0
vsize: 24624
[startup+590.02 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 58995 10 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220736 134559461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+600.021 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 59995 10 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+610.021 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 60996 10 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220736 134558812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+620.021 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 61996 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+630.021 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 62996 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+640.021 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 63996 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+650.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 64996 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 65996 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+670.023 s]
Raw data (loadavg): 1.08 1.00 0.98 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 66997 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+680.023 s]
Raw data (loadavg): 1.06 1.00 0.98 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 67997 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+690.023 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 68997 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+700.024 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 69997 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+710.024 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5018 0 0 0 70997 11 0 0 25 0 1 0 804774591 26124288 4973 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6378 4973 566 18 0 6360 0
vsize: 25512
[startup+720.148 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 11188
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5121 0 0 0 72009 11 0 0 25 0 1 0 804774591 26513408 5076 4294967295 134512640 134581331 3221221792 3221220628 134528561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5076 566 18 0 6455 0
vsize: 25892
[startup+730.19 s]
Raw data (loadavg): 1.11 1.02 0.98 3/58 11229
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5131 0 0 0 73013 12 0 0 25 0 1 0 804774591 26513408 5086 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5086 566 18 0 6455 0
vsize: 25892
[startup+740.19 s]
Raw data (loadavg): 1.24 1.05 1.00 2/55 11241
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5131 0 0 0 74013 12 0 0 25 0 1 0 804774591 26513408 5086 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5086 566 18 0 6455 0
vsize: 25892
[startup+750.191 s]
Raw data (loadavg): 1.21 1.05 1.00 2/55 11241
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5131 0 0 0 75013 12 0 0 25 0 1 0 804774591 26513408 5086 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5086 566 18 0 6455 0
vsize: 25892
[startup+760.289 s]
Raw data (loadavg): 1.17 1.04 1.00 2/55 11241
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5386 0 0 0 76023 12 0 0 25 0 1 0 804774591 27549696 5341 4294967295 134512640 134581331 3221221792 3221220736 134558956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6726 5341 566 18 0 6708 0
vsize: 26904
[startup+770.289 s]
Raw data (loadavg): 1.15 1.04 1.00 2/55 11241
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5406 0 0 0 77023 12 0 0 25 0 1 0 804774591 27680768 5361 4294967295 134512640 134581331 3221221792 3221220704 134527670 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6758 5361 566 18 0 6740 0
vsize: 27032
[startup+780.29 s]
Raw data (loadavg): 1.20 1.06 1.00 2/55 11241
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5406 0 0 0 78023 12 0 0 25 0 1 0 804774591 27680768 5361 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6758 5361 566 18 0 6740 0
vsize: 27032
[startup+790.289 s]
Raw data (loadavg): 1.17 1.06 1.00 2/55 11241
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5406 0 0 0 79023 12 0 0 25 0 1 0 804774591 27680768 5361 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6758 5361 566 18 0 6740 0
vsize: 27032
[startup+800.291 s]
Raw data (loadavg): 1.14 1.05 1.00 2/55 11241
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 80023 13 0 0 25 0 1 0 804774591 28549120 5569 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 5569 566 18 0 6952 0
vsize: 27880
[startup+810.29 s]
Raw data (loadavg): 1.12 1.05 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 81023 13 0 0 25 0 1 0 804774591 28549120 5569 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 5569 566 18 0 6952 0
vsize: 27880
[startup+820.29 s]
Raw data (loadavg): 1.10 1.05 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 82023 13 0 0 25 0 1 0 804774591 28549120 5569 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 5569 566 18 0 6952 0
vsize: 27880
[startup+830.291 s]
Raw data (loadavg): 1.08 1.05 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 83023 13 0 0 25 0 1 0 804774591 28549120 5569 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 5569 566 18 0 6952 0
vsize: 27880
[startup+840.291 s]
Raw data (loadavg): 1.07 1.05 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 84023 13 0 0 25 0 1 0 804774591 28549120 5569 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 5569 566 18 0 6952 0
vsize: 27880
[startup+850.292 s]
Raw data (loadavg): 1.06 1.04 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 85024 13 0 0 25 0 1 0 804774591 28549120 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 5569 566 18 0 6952 0
vsize: 27880
[startup+860.292 s]
Raw data (loadavg): 1.05 1.04 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 86024 13 0 0 25 0 1 0 804774591 28549120 5569 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 5569 566 18 0 6952 0
vsize: 27880
[startup+870.292 s]
Raw data (loadavg): 1.04 1.04 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 87024 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220704 134519052 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+880.292 s]
Raw data (loadavg): 1.04 1.04 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 88024 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+890.292 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 89024 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+900.293 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 90024 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220576 134528763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+910.293 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 91024 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+920.293 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 92025 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+930.293 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 93025 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220512 134522588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+940.293 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 94025 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+950.295 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 95025 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+960.294 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 96025 13 0 0 25 0 1 0 804774591 28540928 5569 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 5569 566 18 0 6950 0
vsize: 27872
[startup+970.294 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 97025 13 0 0 25 0 1 0 804774591 28532736 5569 4294967295 134512640 134581331 3221221792 3221220736 134559225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6966 5569 566 18 0 6948 0
vsize: 27864
[startup+980.294 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 98025 14 0 0 25 0 1 0 804774591 28532736 5569 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6966 5569 566 18 0 6948 0
vsize: 27864
[startup+990.294 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 99025 14 0 0 25 0 1 0 804774591 28532736 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6966 5569 566 18 0 6948 0
vsize: 27864
[startup+1000.29 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 100026 14 0 0 25 0 1 0 804774591 28532736 5569 4294967295 134512640 134581331 3221221792 3221220676 134557767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6966 5569 566 18 0 6948 0
vsize: 27864
[startup+1010.3 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 101026 14 0 0 25 0 1 0 804774591 28532736 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6966 5569 566 18 0 6948 0
vsize: 27864
[startup+1020.3 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 102026 14 0 0 25 0 1 0 804774591 28524544 5569 4294967295 134512640 134581331 3221221792 3221220656 134528541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6964 5569 566 18 0 6946 0
vsize: 27856
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 103026 14 0 0 25 0 1 0 804774591 28524544 5569 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6964 5569 566 18 0 6946 0
vsize: 27856
[startup+1040.3 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 104026 14 0 0 25 0 1 0 804774591 28524544 5569 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6964 5569 566 18 0 6946 0
vsize: 27856
[startup+1050.3 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 105026 14 0 0 25 0 1 0 804774591 28516352 5569 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6962 5569 566 18 0 6944 0
vsize: 27848
[startup+1060.3 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 106026 14 0 0 25 0 1 0 804774591 28516352 5569 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6962 5569 566 18 0 6944 0
vsize: 27848
[startup+1070.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11243
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 107027 14 0 0 25 0 1 0 804774591 28512256 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6961 5569 566 18 0 6943 0
vsize: 27844
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 108027 14 0 0 25 0 1 0 804774591 28512256 5569 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6961 5569 566 18 0 6943 0
vsize: 27844
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 109027 14 0 0 25 0 1 0 804774591 28512256 5569 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6961 5569 566 18 0 6943 0
vsize: 27844
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 110027 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 111027 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220428 1075288331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 112028 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 113028 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 114028 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 115028 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 116028 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 117028 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1180.3 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 118029 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1190.3 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 119029 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 11245
Raw data (stat): 11188 (Pueblo) R 11187 7876 7672 0 -1 0 5614 0 0 0 120029 14 0 0 25 0 1 0 804774591 28508160 5569 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5569 566 18 0 6942 0
vsize: 27840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 11245
Raw data (stat): 11188 (Pueblo) Z 11187 7876 7672 0 -1 1036 5614 0 0 0 120029 15 0 0 25 0 1 0 804774591 0 0 4294967295 0 0 0 0 0 0 0 1 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.32
CPU time (s): 1200.45
CPU user time (s): 1200.3
CPU system time (s): 0.155976
CPU usage (%): 100.011
Max. virtual memory (Kb): 27880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####