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-danoint.opb
MD5SUM	bf9bbda6f586f0b888182a433f63f010
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.39179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 27146

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 19:34:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18272 boxname=wulflinc7 idbench=1406 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  bf9bbda6f586f0b888182a433f63f010  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 18272
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        660784 kB
Buffers:         35352 kB
Cached:         317264 kB
SwapCached:        100 kB
Active:          76488 kB
Inactive:       278896 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        660504 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            12772 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:54:33 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 18272 7 1200.23 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.83 0.93 0.90 2/54 29946
Raw data (stat): 29946 (runsolver) R 29945 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774582860 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.0003 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 1555 0 0 0 995 3 0 0 25 0 1 0 774582860 12439552 1533 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3037 1533 566 18 0 3019 0
vsize: 12148
[startup+20.0012 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2117 0 0 0 1994 5 0 0 25 0 1 0 774582860 14798848 2095 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2095 566 18 0 3595 0
vsize: 14452
[startup+30.0005 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2117 0 0 0 2994 5 0 0 25 0 1 0 774582860 14798848 2095 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3613 2095 566 18 0 3595 0
vsize: 14452
[startup+40.0002 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2152 0 0 0 3994 5 0 0 25 0 1 0 774582860 14929920 2130 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3645 2130 566 18 0 3627 0
vsize: 14580
[startup+50.0001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2154 0 0 0 4994 5 0 0 25 0 1 0 774582860 14929920 2132 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3645 2132 566 18 0 3627 0
vsize: 14580
[startup+60.0004 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2154 0 0 0 5994 5 0 0 25 0 1 0 774582860 14929920 2132 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3645 2132 566 18 0 3627 0
vsize: 14580
[startup+70.0001 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2164 0 0 0 6994 5 0 0 25 0 1 0 774582860 14929920 2142 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3645 2142 566 18 0 3627 0
vsize: 14580
[startup+80 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2164 0 0 0 7995 5 0 0 25 0 1 0 774582860 14929920 2142 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3645 2142 566 18 0 3627 0
vsize: 14580
[startup+90.0003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2164 0 0 0 8995 5 0 0 25 0 1 0 774582860 14929920 2142 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3645 2142 566 18 0 3627 0
vsize: 14580
[startup+99.9999 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2175 0 0 0 9995 5 0 0 25 0 1 0 774582860 15060992 2153 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2153 566 18 0 3659 0
vsize: 14708
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2175 0 0 0 10996 5 0 0 25 0 1 0 774582860 15060992 2153 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2153 566 18 0 3659 0
vsize: 14708
[startup+120.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2178 0 0 0 11996 5 0 0 25 0 1 0 774582860 15060992 2156 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2156 566 18 0 3659 0
vsize: 14708
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2200 0 0 0 12996 5 0 0 25 0 1 0 774582860 15060992 2178 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2178 566 18 0 3659 0
vsize: 14708
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2200 0 0 0 13996 5 0 0 25 0 1 0 774582860 15060992 2178 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2178 566 18 0 3659 0
vsize: 14708
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2254 0 0 0 14996 5 0 0 25 0 1 0 774582860 15323136 2232 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3741 2232 566 18 0 3723 0
vsize: 14964
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2254 0 0 0 15996 5 0 0 25 0 1 0 774582860 15323136 2232 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3741 2232 566 18 0 3723 0
vsize: 14964
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2282 0 0 0 16996 5 0 0 25 0 1 0 774582860 15454208 2260 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3773 2260 566 18 0 3755 0
vsize: 15092
[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2282 0 0 0 17997 5 0 0 25 0 1 0 774582860 15454208 2260 4294967295 134512640 134581331 3221224608 3221223296 1075288258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3773 2260 566 18 0 3755 0
vsize: 15092
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2299 0 0 0 18997 5 0 0 25 0 1 0 774582860 15454208 2277 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3773 2277 566 18 0 3755 0
vsize: 15092
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2299 0 0 0 19997 5 0 0 25 0 1 0 774582860 15454208 2277 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3773 2277 566 18 0 3755 0
vsize: 15092
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2306 0 0 0 20997 5 0 0 25 0 1 0 774582860 15585280 2284 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3805 2284 566 18 0 3787 0
vsize: 15220
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2306 0 0 0 21997 5 0 0 25 0 1 0 774582860 15585280 2284 4294967295 134512640 134581331 3221224608 3221223536 134519826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3805 2284 566 18 0 3787 0
vsize: 15220
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2326 0 0 0 22998 5 0 0 25 0 1 0 774582860 15585280 2304 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3805 2304 566 18 0 3787 0
vsize: 15220
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2326 0 0 0 23998 5 0 0 25 0 1 0 774582860 15585280 2304 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3805 2304 566 18 0 3787 0
vsize: 15220
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2336 0 0 0 24998 5 0 0 25 0 1 0 774582860 15716352 2314 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2314 566 18 0 3819 0
vsize: 15348
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2336 0 0 0 25998 5 0 0 25 0 1 0 774582860 15716352 2314 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2314 566 18 0 3819 0
vsize: 15348
[startup+270.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2339 0 0 0 26998 5 0 0 25 0 1 0 774582860 15716352 2317 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2317 566 18 0 3819 0
vsize: 15348
[startup+280.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2339 0 0 0 27998 5 0 0 25 0 1 0 774582860 15716352 2317 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2317 566 18 0 3819 0
vsize: 15348
[startup+290.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2348 0 0 0 28998 5 0 0 25 0 1 0 774582860 15716352 2326 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2326 566 18 0 3819 0
vsize: 15348
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2348 0 0 0 29999 5 0 0 25 0 1 0 774582860 15716352 2326 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2326 566 18 0 3819 0
vsize: 15348
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2348 0 0 0 30999 5 0 0 25 0 1 0 774582860 15716352 2326 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2326 566 18 0 3819 0
vsize: 15348
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2352 0 0 0 31999 5 0 0 25 0 1 0 774582860 15716352 2330 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2330 566 18 0 3819 0
vsize: 15348
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2352 0 0 0 32999 5 0 0 25 0 1 0 774582860 15716352 2330 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2330 566 18 0 3819 0
vsize: 15348
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2356 0 0 0 33999 5 0 0 25 0 1 0 774582860 15716352 2334 4294967295 134512640 134581331 3221224608 3221223520 134527998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2334 566 18 0 3819 0
vsize: 15348
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2356 0 0 0 35000 5 0 0 25 0 1 0 774582860 15716352 2334 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2334 566 18 0 3819 0
vsize: 15348
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2356 0 0 0 36000 5 0 0 25 0 1 0 774582860 15716352 2334 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2334 566 18 0 3819 0
vsize: 15348
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2361 0 0 0 37000 5 0 0 25 0 1 0 774582860 15716352 2339 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2339 566 18 0 3819 0
vsize: 15348
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2361 0 0 0 38000 5 0 0 25 0 1 0 774582860 15716352 2339 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2339 566 18 0 3819 0
vsize: 15348
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2361 0 0 0 39000 5 0 0 25 0 1 0 774582860 15716352 2339 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2339 566 18 0 3819 0
vsize: 15348
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2384 0 0 0 40000 6 0 0 25 0 1 0 774582860 15847424 2362 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2362 566 18 0 3851 0
vsize: 15476
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2384 0 0 0 41000 6 0 0 25 0 1 0 774582860 15847424 2362 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2362 566 18 0 3851 0
vsize: 15476
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2384 0 0 0 42001 6 0 0 25 0 1 0 774582860 15847424 2362 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2362 566 18 0 3851 0
vsize: 15476
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2390 0 0 0 43001 6 0 0 25 0 1 0 774582860 15847424 2368 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2368 566 18 0 3851 0
vsize: 15476
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2390 0 0 0 44001 6 0 0 25 0 1 0 774582860 15847424 2368 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2368 566 18 0 3851 0
vsize: 15476
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2390 0 0 0 45001 6 0 0 25 0 1 0 774582860 15847424 2368 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2368 566 18 0 3851 0
vsize: 15476
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 46001 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 47002 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 48002 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 49002 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 50002 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 51002 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 52003 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 53003 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 54003 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 55003 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 56003 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 57004 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 58004 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 59004 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 60004 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 61004 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 62004 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 63005 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2393 0 0 0 64005 6 0 0 25 0 1 0 774582860 15847424 2371 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 2371 566 18 0 3851 0
vsize: 15476
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2445 0 0 0 65005 6 0 0 25 0 1 0 774582860 16109568 2423 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 2423 566 18 0 3915 0
vsize: 15732
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2445 0 0 0 66005 6 0 0 25 0 1 0 774582860 16109568 2423 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 2423 566 18 0 3915 0
vsize: 15732
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2445 0 0 0 67005 6 0 0 25 0 1 0 774582860 16109568 2423 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 2423 566 18 0 3915 0
vsize: 15732
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2489 0 0 0 68005 6 0 0 25 0 1 0 774582860 16240640 2467 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 2467 566 18 0 3947 0
vsize: 15860
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2489 0 0 0 69005 6 0 0 25 0 1 0 774582860 16240640 2467 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 2467 566 18 0 3947 0
vsize: 15860
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2489 0 0 0 70005 6 0 0 25 0 1 0 774582860 16240640 2467 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 2467 566 18 0 3947 0
vsize: 15860
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 71006 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 72006 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 73006 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 74006 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 75006 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 76006 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 77006 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 78007 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 79007 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2497 0 0 0 80007 6 0 0 25 0 1 0 774582860 16371712 2475 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2475 566 18 0 3979 0
vsize: 15988
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 81007 6 0 0 25 0 1 0 774582860 16371712 2478 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2478 566 18 0 3979 0
vsize: 15988
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 82007 6 0 0 25 0 1 0 774582860 16371712 2478 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2478 566 18 0 3979 0
vsize: 15988
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 83007 6 0 0 25 0 1 0 774582860 16371712 2478 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2478 566 18 0 3979 0
vsize: 15988
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 84008 6 0 0 25 0 1 0 774582860 16371712 2478 4294967295 134512640 134581331 3221224608 3221223520 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2478 566 18 0 3979 0
vsize: 15988
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 85008 6 0 0 25 0 1 0 774582860 16351232 2478 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3992 2478 566 18 0 3974 0
vsize: 15968
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 86008 6 0 0 25 0 1 0 774582860 16347136 2478 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3991 2478 566 18 0 3973 0
vsize: 15964
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 87008 6 0 0 25 0 1 0 774582860 16347136 2478 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3991 2478 566 18 0 3973 0
vsize: 15964
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 88008 6 0 0 25 0 1 0 774582860 16347136 2478 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3991 2478 566 18 0 3973 0
vsize: 15964
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2500 0 0 0 89008 6 0 0 25 0 1 0 774582860 16347136 2478 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3991 2478 566 18 0 3973 0
vsize: 15964
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2766 0 0 0 90008 7 0 0 25 0 1 0 774582860 17399808 2744 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4248 2744 566 18 0 4230 0
vsize: 16992
[startup+910.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 2896 0 0 0 91008 7 0 0 25 0 1 0 774582860 17920000 2874 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4375 2874 566 18 0 4357 0
vsize: 17500
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3010 0 0 0 92008 8 0 0 25 0 1 0 774582860 18452480 2988 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 2988 566 18 0 4487 0
vsize: 18020
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3073 0 0 0 93008 8 0 0 25 0 1 0 774582860 18714624 3051 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4569 3051 566 18 0 4551 0
vsize: 18276
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3101 0 0 0 94008 8 0 0 25 0 1 0 774582860 18845696 3079 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3079 566 18 0 4583 0
vsize: 18404
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3101 0 0 0 95008 8 0 0 25 0 1 0 774582860 18845696 3079 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3079 566 18 0 4583 0
vsize: 18404
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3101 0 0 0 96008 8 0 0 25 0 1 0 774582860 18845696 3079 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3079 566 18 0 4583 0
vsize: 18404
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3101 0 0 0 97009 8 0 0 25 0 1 0 774582860 18845696 3079 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4601 3079 566 18 0 4583 0
vsize: 18404
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3389 0 0 0 98009 8 0 0 25 0 1 0 774582860 20033536 3367 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4891 3367 566 18 0 4873 0
vsize: 19564
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3553 0 0 0 99008 8 0 0 25 0 1 0 774582860 20676608 3531 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5048 3531 566 18 0 5030 0
vsize: 20192
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3553 0 0 0 100008 8 0 0 25 0 1 0 774582860 20676608 3531 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5048 3531 566 18 0 5030 0
vsize: 20192
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3553 0 0 0 101009 8 0 0 25 0 1 0 774582860 20676608 3531 4294967295 134512640 134581331 3221224608 3221223600 134561059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5048 3531 566 18 0 5030 0
vsize: 20192
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3553 0 0 0 102009 8 0 0 25 0 1 0 774582860 20676608 3531 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5048 3531 566 18 0 5030 0
vsize: 20192
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3553 0 0 0 103009 8 0 0 25 0 1 0 774582860 20676608 3531 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5048 3531 566 18 0 5030 0
vsize: 20192
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3553 0 0 0 104009 8 0 0 25 0 1 0 774582860 20545536 3521 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 3521 566 18 0 4998 0
vsize: 20064
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3553 0 0 0 105009 8 0 0 25 0 1 0 774582860 20545536 3521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 3521 566 18 0 4998 0
vsize: 20064
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3730 0 0 0 106009 9 0 0 25 0 1 0 774582860 21336064 3698 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5209 3698 566 18 0 5191 0
vsize: 20836
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3730 0 0 0 107009 9 0 0 25 0 1 0 774582860 21336064 3698 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5209 3698 566 18 0 5191 0
vsize: 20836
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3830 0 0 0 108009 9 0 0 25 0 1 0 774582860 21729280 3798 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 3798 566 18 0 5287 0
vsize: 21220
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 3960 0 0 0 109009 9 0 0 25 0 1 0 774582860 22257664 3928 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5434 3928 566 18 0 5416 0
vsize: 21736
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4200 0 0 0 110009 10 0 0 25 0 1 0 774582860 23310336 4168 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5691 4168 566 18 0 5673 0
vsize: 22764
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 111010 10 0 0 25 0 1 0 774582860 23838720 4300 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4300 566 18 0 5802 0
vsize: 23280
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 112010 10 0 0 25 0 1 0 774582860 23838720 4300 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4300 566 18 0 5802 0
vsize: 23280
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 113010 10 0 0 25 0 1 0 774582860 23838720 4300 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4300 566 18 0 5802 0
vsize: 23280
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 114010 10 0 0 25 0 1 0 774582860 23838720 4300 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4300 566 18 0 5802 0
vsize: 23280
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 115010 10 0 0 25 0 1 0 774582860 23838720 4300 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4300 566 18 0 5802 0
vsize: 23280
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 116010 10 0 0 25 0 1 0 774582860 23756800 4300 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5800 4300 566 18 0 5782 0
vsize: 23200
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 117011 10 0 0 25 0 1 0 774582860 23756800 4300 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5800 4300 566 18 0 5782 0
vsize: 23200
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 118011 10 0 0 25 0 1 0 774582860 23756800 4300 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5800 4300 566 18 0 5782 0
vsize: 23200
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 119011 10 0 0 25 0 1 0 774582860 23756800 4300 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5800 4300 566 18 0 5782 0
vsize: 23200
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29946
Raw data (stat): 29946 (Pueblo) R 29945 24300 24299 0 -1 0 4332 0 0 0 120011 10 0 0 25 0 1 0 774582860 23756800 4300 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5800 4300 566 18 0 5782 0
vsize: 23200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29946
Raw data (stat): 29946 (Pueblo) Z 29945 24300 24299 0 -1 1036 4332 0 0 0 120011 11 0 0 25 0 1 0 774582860 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.02
CPU time (s): 1200.23
CPU user time (s): 1200.12
CPU system time (s): 0.114982
CPU usage (%): 100.018
Max. virtual memory (Kb): 23280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####