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/miplib/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
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	1176.34
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 27490

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        680484 kB
Buffers:         37056 kB
Cached:         296664 kB
SwapCached:        568 kB
Active:          69776 kB
Inactive:       266384 kB
HighTotal:      131008 kB
HighFree:          840 kB
LowTotal:       903652 kB
LowFree:        679644 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12508 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:26:05 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 16894 7 1200.21 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.90 0.95 0.90 2/54 4986
Raw data (stat): 4986 (runsolver) R 4985 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775477376 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.0011 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 1362 0 0 0 996 2 0 0 25 0 1 0 775477376 11206656 1340 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2736 1340 566 18 0 2718 0
vsize: 10944
[startup+20.0015 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 1696 0 0 0 1994 3 0 0 25 0 1 0 775477376 12578816 1674 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3071 1674 566 18 0 3053 0
vsize: 12284
[startup+30.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 1877 0 0 0 2994 4 0 0 25 0 1 0 775477376 13246464 1855 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3234 1855 566 18 0 3216 0
vsize: 12936
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2208 0 0 0 3994 4 0 0 25 0 1 0 775477376 14696448 2186 4294967295 134512640 134581331 3221224592 3221223312 134522588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2186 566 18 0 3570 0
vsize: 14352
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2406 0 0 0 4993 5 0 0 25 0 1 0 775477376 15503360 2384 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3785 2384 566 18 0 3767 0
vsize: 15140
[startup+60.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2645 0 0 0 5993 5 0 0 25 0 1 0 775477376 16404480 2623 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2645 0 0 0 6993 5 0 0 25 0 1 0 775477376 16404480 2623 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+80.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2645 0 0 0 7994 5 0 0 25 0 1 0 775477376 16404480 2623 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2645 0 0 0 8994 5 0 0 25 0 1 0 775477376 16404480 2623 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2645 0 0 0 9994 5 0 0 25 0 1 0 775477376 16404480 2623 4294967295 134512640 134581331 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 2623 566 18 0 3987 0
vsize: 16020
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 2689 0 0 0 10994 5 0 0 25 0 1 0 775477376 16674816 2667 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4071 2667 566 18 0 4053 0
vsize: 16284
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3084 0 0 0 11993 6 0 0 25 0 1 0 775477376 18239488 3062 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4453 3062 566 18 0 4435 0
vsize: 17812
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3132 0 0 0 12993 6 0 0 25 0 1 0 775477376 18305024 3092 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4469 3092 566 18 0 4451 0
vsize: 17876
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3151 0 0 0 13994 6 0 0 25 0 1 0 775477376 18448384 3111 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3111 566 18 0 4486 0
vsize: 18016
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3151 0 0 0 14994 6 0 0 25 0 1 0 775477376 18448384 3111 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3111 566 18 0 4486 0
vsize: 18016
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3151 0 0 0 15994 6 0 0 25 0 1 0 775477376 18448384 3111 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3111 566 18 0 4486 0
vsize: 18016
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3516 0 0 0 16993 7 0 0 25 0 1 0 775477376 19886080 3476 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4855 3476 566 18 0 4837 0
vsize: 19420
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3708 0 0 0 17993 7 0 0 25 0 1 0 775477376 20754432 3668 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5067 3668 566 18 0 5049 0
vsize: 20268
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3708 0 0 0 18993 7 0 0 25 0 1 0 775477376 20754432 3668 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5067 3668 566 18 0 5049 0
vsize: 20268
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 19993 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223312 134522586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 20993 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 21993 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 22993 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 23993 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 24994 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 25994 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 26994 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 27994 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 28994 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 29995 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223456 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 30995 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 31995 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 3970 0 0 0 32995 8 0 0 25 0 1 0 775477376 21811200 3930 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5325 3930 566 18 0 5307 0
vsize: 21300
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4028 0 0 0 33995 8 0 0 25 0 1 0 775477376 22069248 3988 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 3988 566 18 0 5370 0
vsize: 21552
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4487 0 0 0 34994 9 0 0 25 0 1 0 775477376 23896064 4447 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5834 4447 566 18 0 5816 0
vsize: 23336
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4544 0 0 0 35995 9 0 0 25 0 1 0 775477376 24145920 4504 4294967295 134512640 134581331 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 4504 566 18 0 5877 0
vsize: 23580
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4544 0 0 0 36995 9 0 0 25 0 1 0 775477376 24145920 4504 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 4504 566 18 0 5877 0
vsize: 23580
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4544 0 0 0 37995 9 0 0 25 0 1 0 775477376 24145920 4504 4294967295 134512640 134581331 3221224592 3221223536 134559312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 4504 566 18 0 5877 0
vsize: 23580
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4565 0 0 0 38995 9 0 0 25 0 1 0 775477376 24268800 4525 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5925 4525 566 18 0 5907 0
vsize: 23700
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4565 0 0 0 39995 9 0 0 25 0 1 0 775477376 24268800 4525 4294967295 134512640 134581331 3221224592 3221223504 134527973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5925 4525 566 18 0 5907 0
vsize: 23700
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4565 0 0 0 40995 9 0 0 25 0 1 0 775477376 24268800 4525 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5925 4525 566 18 0 5907 0
vsize: 23700
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 41995 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 42995 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134531400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 43996 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 44996 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 45996 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 46996 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223504 134527984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 47996 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 48997 9 0 0 25 0 1 0 775477376 24506368 4605 4294967295 134512640 134581331 3221224592 3221223476 134557876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 4605 566 18 0 5965 0
vsize: 23932
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 49997 9 0 0 25 0 1 0 775477376 24489984 4601 4294967295 134512640 134581331 3221224592 3221223504 134528077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 50997 9 0 0 25 0 1 0 775477376 24489984 4601 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 51997 9 0 0 25 0 1 0 775477376 24489984 4601 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 52997 9 0 0 25 0 1 0 775477376 24489984 4601 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4645 0 0 0 53998 9 0 0 25 0 1 0 775477376 24489984 4601 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 4601 566 18 0 5961 0
vsize: 23916
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4666 0 0 0 54998 9 0 0 25 0 1 0 775477376 24608768 4622 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6008 4622 566 18 0 5990 0
vsize: 24032
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4752 0 0 0 55998 9 0 0 25 0 1 0 775477376 24977408 4708 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6098 4708 566 18 0 6080 0
vsize: 24392
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4752 0 0 0 56998 9 0 0 25 0 1 0 775477376 24977408 4708 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6098 4708 566 18 0 6080 0
vsize: 24392
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 4773 0 0 0 57998 9 0 0 25 0 1 0 775477376 25100288 4729 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6128 4729 566 18 0 6110 0
vsize: 24512
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 58998 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 59998 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 60998 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 61998 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223536 134558812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 62998 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 63999 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223312 134524456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 64999 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 65999 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 66999 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 67999 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 68999 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 69999 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 71000 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5015 0 0 0 72000 10 0 0 25 0 1 0 775477376 26120192 4971 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6377 4971 566 18 0 6359 0
vsize: 25508
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5128 0 0 0 72999 11 0 0 25 0 1 0 775477376 26509312 5084 4294967295 134512640 134581331 3221224592 3221223376 134528820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6472 5084 566 18 0 6454 0
vsize: 25888
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5128 0 0 0 73999 11 0 0 25 0 1 0 775477376 26509312 5084 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6472 5084 566 18 0 6454 0
vsize: 25888
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5128 0 0 0 75000 11 0 0 25 0 1 0 775477376 26509312 5084 4294967295 134512640 134581331 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6472 5084 566 18 0 6454 0
vsize: 25888
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5254 0 0 0 76000 11 0 0 25 0 1 0 775477376 27017216 5210 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6596 5210 566 18 0 6578 0
vsize: 26384
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5403 0 0 0 76999 11 0 0 25 0 1 0 775477376 27676672 5359 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5359 566 18 0 6739 0
vsize: 27028
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5403 0 0 0 77999 11 0 0 25 0 1 0 775477376 27676672 5359 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5359 566 18 0 6739 0
vsize: 27028
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5403 0 0 0 79000 11 0 0 25 0 1 0 775477376 27676672 5359 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 5359 566 18 0 6739 0
vsize: 27028
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5509 0 0 0 80000 11 0 0 25 0 1 0 775477376 28057600 5465 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6850 5465 566 18 0 6832 0
vsize: 27400
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 81000 12 0 0 25 0 1 0 775477376 28545024 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 82000 12 0 0 25 0 1 0 775477376 28545024 5567 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 83000 12 0 0 25 0 1 0 775477376 28545024 5567 4294967295 134512640 134581331 3221224592 3221223504 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 84000 12 0 0 25 0 1 0 775477376 28545024 5567 4294967295 134512640 134581331 3221224592 3221223456 134528278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 85000 12 0 0 25 0 1 0 775477376 28545024 5567 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 86001 12 0 0 25 0 1 0 775477376 28545024 5567 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6969 5567 566 18 0 6951 0
vsize: 27876
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 87001 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223312 134522568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 88001 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223264 134526949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 89001 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 90001 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 91002 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 92002 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 93002 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 94002 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 95002 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 96003 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 97003 12 0 0 25 0 1 0 775477376 28536832 5567 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 5567 566 18 0 6949 0
vsize: 27868
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 98003 12 0 0 25 0 1 0 775477376 28528640 5567 4294967295 134512640 134581331 3221224592 3221223456 134528425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 99003 12 0 0 25 0 1 0 775477376 28528640 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 100003 12 0 0 25 0 1 0 775477376 28528640 5567 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 101004 12 0 0 25 0 1 0 775477376 28528640 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6965 5567 566 18 0 6947 0
vsize: 27860
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 102004 12 0 0 25 0 1 0 775477376 28520448 5567 4294967295 134512640 134581331 3221224592 3221223456 134528503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6963 5567 566 18 0 6945 0
vsize: 27852
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 103004 12 0 0 25 0 1 0 775477376 28520448 5567 4294967295 134512640 134581331 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6963 5567 566 18 0 6945 0
vsize: 27852
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 104004 12 0 0 25 0 1 0 775477376 28520448 5567 4294967295 134512640 134581331 3221224592 3221223476 134557932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6963 5567 566 18 0 6945 0
vsize: 27852
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 105004 12 0 0 25 0 1 0 775477376 28512256 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6961 5567 566 18 0 6943 0
vsize: 27844
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 106005 12 0 0 25 0 1 0 775477376 28512256 5567 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6961 5567 566 18 0 6943 0
vsize: 27844
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 107005 12 0 0 25 0 1 0 775477376 28512256 5567 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6961 5567 566 18 0 6943 0
vsize: 27844
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 108005 12 0 0 25 0 1 0 775477376 28508160 5567 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5567 566 18 0 6942 0
vsize: 27840
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 109005 12 0 0 25 0 1 0 775477376 28508160 5567 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6960 5567 566 18 0 6942 0
vsize: 27840
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 110005 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 111006 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 112006 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 113006 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 114006 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 115006 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 116006 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 117007 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223448 1075285701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 118007 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 119007 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4986
Raw data (stat): 4986 (Pueblo) R 4985 32284 32283 0 -1 0 5611 0 0 0 120007 12 0 0 25 0 1 0 775477376 28504064 5567 4294967295 134512640 134581331 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5567 566 18 0 6941 0
vsize: 27836
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4986
Raw data (stat): 4986 (Pueblo) Z 4985 32284 32283 0 -1 1036 5611 0 0 0 120007 13 0 0 25 0 1 0 775477376 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.04
CPU time (s): 1200.21
CPU user time (s): 1200.08
CPU system time (s): 0.132979
CPU usage (%): 100.014
Max. virtual memory (Kb): 27876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####