PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
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	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
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	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 26261

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 14:38:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14762 boxname=wulflinc31 idbench=1136 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 14762
/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:        444880 kB
Buffers:         33596 kB
Cached:         534248 kB
SwapCached:       1248 kB
Active:         249848 kB
Inactive:       320548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        444628 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5336 kB
Slab:            13588 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 14:58:20 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 14762 7 1200.35 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): 1.02 0.44 0.29 2/55 29948
Raw data (stat): 29948 (runsolver) R 29947 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 830999040 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.0014 s]
Raw data (loadavg): 1.02 0.46 0.30 2/55 29948
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 8804 0 0 0 974 25 0 0 25 0 1 0 830999040 38481920 8783 4294967295 134512640 134581331 3221224592 3217028828 1075310608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9395 8783 566 18 0 9377 0
vsize: 37580
[startup+20.0024 s]
Raw data (loadavg): 1.01 0.47 0.30 2/55 29948
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 20913 0 0 0 1938 61 0 0 25 0 1 0 830999040 87998464 20892 4294967295 134512640 134581331 3221224592 3217028856 1075245200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21484 20892 566 18 0 21466 0
vsize: 85936
[startup+30.0027 s]
Raw data (loadavg): 1.01 0.49 0.31 2/55 29948
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 25824 0 0 0 2924 75 0 0 25 0 1 0 830999040 108187648 25803 4294967295 134512640 134581331 3221224592 3217028864 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25803 566 18 0 26395 0
vsize: 105652
[startup+40.0035 s]
Raw data (loadavg): 1.01 0.51 0.32 2/55 29950
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 28612 0 0 0 3913 86 0 0 25 0 1 0 830999040 119508992 28591 4294967295 134512640 134581331 3221224592 3217028864 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29177 28591 566 18 0 29159 0
vsize: 116708
[startup+50.0041 s]
Raw data (loadavg): 1.01 0.52 0.32 2/55 29950
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 31274 0 0 0 4903 95 0 0 25 0 1 0 830999040 130420736 31253 4294967295 134512640 134581331 3221224592 3217028820 1074960372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31841 31253 566 18 0 31823 0
vsize: 127364
[startup+60.005 s]
Raw data (loadavg): 1.00 0.54 0.33 2/55 29950
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 33950 0 0 0 5892 106 0 0 25 0 1 0 830999040 141471744 33929 4294967295 134512640 134581331 3221224592 3217028868 1074960802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34539 33929 566 18 0 34521 0
vsize: 138156
[startup+70.0055 s]
Raw data (loadavg): 1.00 0.55 0.34 2/55 29950
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 177033 0 0 0 6554 445 0 0 25 0 1 0 830999040 251031552 56186 4294967295 134512640 134581331 3221224592 3221223584 134531720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56186 566 18 0 61269 0
vsize: 245148
[startup+80.0065 s]
Raw data (loadavg): 1.00 0.57 0.34 2/55 29950
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 437557 0 0 0 6921 1078 0 0 25 0 1 0 830999040 251031552 55935 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 55935 566 18 0 61269 0
vsize: 245148
[startup+90.0069 s]
Raw data (loadavg): 1.00 0.58 0.35 2/55 29950
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 698446 0 0 0 7293 1706 0 0 25 0 1 0 830999040 251031552 56049 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56049 566 18 0 61269 0
vsize: 245148
[startup+100.01 s]
Raw data (loadavg): 1.00 0.59 0.36 2/55 29952
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 959749 0 0 0 7669 2330 0 0 25 0 1 0 830999040 251031552 56577 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56577 566 18 0 61269 0
vsize: 245148
[startup+110.011 s]
Raw data (loadavg): 1.00 0.61 0.36 2/55 29952
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 1220309 0 0 0 8046 2954 0 0 25 0 1 0 830999040 251031552 56362 4294967295 134512640 134581331 3221224592 3221223584 134531732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56362 566 18 0 61269 0
vsize: 245148
[startup+120.016 s]
Raw data (loadavg): 1.00 0.62 0.37 2/55 29952
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 1481046 0 0 0 8416 3583 0 0 25 0 1 0 830999040 251031552 56324 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56324 566 18 0 61269 0
vsize: 245148
[startup+130.016 s]
Raw data (loadavg): 1.00 0.63 0.38 2/55 29952
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 1741531 0 0 0 8795 4205 0 0 25 0 1 0 830999040 251031552 56034 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56034 566 18 0 61269 0
vsize: 245148
[startup+140.017 s]
Raw data (loadavg): 1.00 0.64 0.38 2/55 29952
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 2002062 0 0 0 9171 4828 0 0 25 0 1 0 830999040 251031552 56645 4294967295 134512640 134581331 3221224592 3221223600 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56645 566 18 0 61269 0
vsize: 245148
[startup+150.018 s]
Raw data (loadavg): 1.00 0.65 0.39 2/55 29952
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 2263186 0 0 0 9549 5451 0 0 25 0 1 0 830999040 251031552 56139 4294967295 134512640 134581331 3221224592 3221223584 134531732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56139 566 18 0 61269 0
vsize: 245148
[startup+160.018 s]
Raw data (loadavg): 1.00 0.66 0.39 2/55 29954
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 2524019 0 0 0 9926 6074 0 0 25 0 1 0 830999040 251031552 56197 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56197 566 18 0 61269 0
vsize: 245148
[startup+170.018 s]
Raw data (loadavg): 1.00 0.68 0.40 2/55 29954
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 2784756 0 0 0 10302 6698 0 0 25 0 1 0 830999040 251031552 56159 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56159 566 18 0 61269 0
vsize: 245148
[startup+180.019 s]
Raw data (loadavg): 1.00 0.69 0.41 2/55 29954
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 3045249 0 0 0 10674 7325 0 0 25 0 1 0 830999040 251031552 55877 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 55877 566 18 0 61269 0
vsize: 245148
[startup+190.019 s]
Raw data (loadavg): 1.00 0.70 0.41 2/55 29954
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 3305816 0 0 0 11050 7949 0 0 25 0 1 0 830999040 251031552 56524 4294967295 134512640 134581331 3221224592 3221223584 134531724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56524 566 18 0 61269 0
vsize: 245148
[startup+200.02 s]
Raw data (loadavg): 1.00 0.70 0.42 2/55 29954
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 3566304 0 0 0 11424 8576 0 0 25 0 1 0 830999040 251031552 56237 4294967295 134512640 134581331 3221224592 3221223584 134531732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56237 566 18 0 61269 0
vsize: 245148
[startup+210.021 s]
Raw data (loadavg): 1.00 0.71 0.42 2/55 29954
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 3826632 0 0 0 11794 9205 0 0 25 0 1 0 830999040 251031552 56645 4294967295 134512640 134581331 3221224592 3221223600 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56645 566 18 0 61269 0
vsize: 245148
[startup+220.021 s]
Raw data (loadavg): 1.00 0.72 0.43 2/55 29956
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 4086496 0 0 0 12159 9841 0 0 25 0 1 0 830999040 251031552 56589 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56589 566 18 0 61269 0
vsize: 245148
[startup+230.021 s]
Raw data (loadavg): 1.00 0.73 0.43 2/55 29956
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 4347048 0 0 0 12529 10471 0 0 25 0 1 0 830999040 251031552 56367 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56367 566 18 0 61269 0
vsize: 245148
[startup+240.022 s]
Raw data (loadavg): 1.00 0.74 0.44 2/55 29956
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 4607743 0 0 0 12904 11096 0 0 25 0 1 0 830999040 251031552 56286 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56286 566 18 0 61269 0
vsize: 245148
[startup+250.023 s]
Raw data (loadavg): 1.00 0.75 0.45 2/55 29956
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 4868139 0 0 0 13282 11718 0 0 25 0 1 0 830999040 251031552 55907 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 55907 566 18 0 61269 0
vsize: 245148
[startup+260.03 s]
Raw data (loadavg): 1.00 0.76 0.45 2/55 29956
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 5128797 0 0 0 13654 12346 0 0 25 0 1 0 830999040 251031552 56645 4294967295 134512640 134581331 3221224592 3221223600 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56645 566 18 0 61269 0
vsize: 245148
[startup+270.031 s]
Raw data (loadavg): 1.00 0.76 0.46 2/55 29956
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 5389256 0 0 0 14030 12970 0 0 25 0 1 0 830999040 251031552 56329 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56329 566 18 0 61269 0
vsize: 245148
[startup+280.031 s]
Raw data (loadavg): 1.00 0.77 0.46 2/55 29958
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 5649897 0 0 0 14395 13605 0 0 25 0 1 0 830999040 251031552 56195 4294967295 134512640 134581331 3221224592 3221223584 134531728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56195 566 18 0 61269 0
vsize: 245148
[startup+290.032 s]
Raw data (loadavg): 1.00 0.78 0.47 2/55 29958
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 5910903 0 0 0 14774 14226 0 0 25 0 1 0 830999040 251031552 56427 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56427 566 18 0 61269 0
vsize: 245148
[startup+300.032 s]
Raw data (loadavg): 1.00 0.78 0.47 2/55 29958
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 6171897 0 0 0 15149 14851 0 0 25 0 1 0 830999040 251031552 56645 4294967295 134512640 134581331 3221224592 3221223600 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56645 566 18 0 61269 0
vsize: 245148
[startup+310.032 s]
Raw data (loadavg): 1.00 0.79 0.48 2/55 29958
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 6432836 0 0 0 15514 15486 0 0 25 0 1 0 830999040 251031552 55954 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 55954 566 18 0 61269 0
vsize: 245148
[startup+320.034 s]
Raw data (loadavg): 1.00 0.80 0.48 2/55 29958
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 6694030 0 0 0 15883 16117 0 0 25 0 1 0 830999040 251031552 56373 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56373 566 18 0 61269 0
vsize: 245148
[startup+330.035 s]
Raw data (loadavg): 1.00 0.80 0.49 2/55 29958
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 6955212 0 0 0 16253 16747 0 0 25 0 1 0 830999040 251031552 55925 4294967295 134512640 134581331 3221224592 3221223584 134531720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 55925 566 18 0 61269 0
vsize: 245148
[startup+340.035 s]
Raw data (loadavg): 1.00 0.81 0.49 2/55 29960
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 7215792 0 0 0 16624 17376 0 0 25 0 1 0 830999040 251031552 56585 4294967295 134512640 134581331 3221224592 3221223584 134531732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56585 566 18 0 61269 0
vsize: 245148
[startup+350.035 s]
Raw data (loadavg): 1.00 0.82 0.50 2/55 29960
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 7476627 0 0 0 17004 17997 0 0 25 0 1 0 830999040 251031552 56645 4294967295 134512640 134581331 3221224592 3221223600 134531325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 56645 566 18 0 61269 0
vsize: 245148
[startup+360.05 s]
Raw data (loadavg): 1.00 0.82 0.50 2/55 29960
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 7737570 0 0 0 17379 18623 0 0 25 0 1 0 830999040 251031552 55958 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 55958 566 18 0 61269 0
vsize: 245148
[startup+370.05 s]
Raw data (loadavg): 1.00 0.83 0.51 2/55 29960
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 7997949 0 0 0 17753 19249 0 0 25 0 1 0 830999040 251572224 56417 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61419 56417 566 18 0 61401 0
vsize: 245676
[startup+380.05 s]
Raw data (loadavg): 1.00 0.83 0.51 2/55 29960
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 8257903 0 0 0 18133 19869 0 0 25 0 1 0 830999040 252112896 56451 4294967295 134512640 134581331 3221224592 3221223584 134531728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61551 56451 566 18 0 61533 0
vsize: 246204
[startup+390.051 s]
Raw data (loadavg): 1.00 0.84 0.52 2/55 29960
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 8517988 0 0 0 18505 20496 0 0 25 0 1 0 830999040 252653568 56616 4294967295 134512640 134581331 3221224592 3221223584 134531732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61683 56616 566 18 0 61665 0
vsize: 246732
[startup+400.052 s]
Raw data (loadavg): 1.00 0.84 0.52 2/55 29962
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 8778405 0 0 0 18885 21116 0 0 25 0 1 0 830999040 253194240 57113 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61815 57113 566 18 0 61797 0
vsize: 247260
[startup+410.053 s]
Raw data (loadavg): 1.00 0.85 0.53 2/55 29962
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 9040189 0 0 0 19264 21737 0 0 25 0 1 0 830999040 253734912 57267 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61947 57267 566 18 0 61929 0
vsize: 247788
[startup+420.054 s]
Raw data (loadavg): 1.00 0.85 0.53 2/55 29962
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 9302192 0 0 0 19643 22359 0 0 25 0 1 0 830999040 254275584 56785 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62079 56785 566 18 0 62061 0
vsize: 248316
[startup+430.053 s]
Raw data (loadavg): 1.00 0.86 0.54 2/55 29962
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 9564203 0 0 0 20017 22984 0 0 25 0 1 0 830999040 254816256 57166 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62211 57166 566 18 0 62193 0
vsize: 248844
[startup+440.055 s]
Raw data (loadavg): 1.00 0.86 0.54 2/55 29962
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 9826252 0 0 0 20393 23608 0 0 25 0 1 0 830999040 255356928 57585 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62343 57585 566 18 0 62325 0
vsize: 249372
[startup+450.056 s]
Raw data (loadavg): 1.00 0.86 0.55 2/55 29962
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 10088251 0 0 0 20770 24232 0 0 25 0 1 0 830999040 255897600 57099 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62475 57099 566 18 0 62457 0
vsize: 249900
[startup+460.056 s]
Raw data (loadavg): 1.00 0.87 0.55 2/55 29964
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 10350502 0 0 0 21149 24852 0 0 25 0 1 0 830999040 256438272 57720 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62607 57720 566 18 0 62589 0
vsize: 250428
[startup+470.056 s]
Raw data (loadavg): 1.00 0.87 0.55 2/55 29964
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 10612729 0 0 0 21529 25472 0 0 25 0 1 0 830999040 256843776 57463 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62706 57463 566 18 0 62688 0
vsize: 250824
[startup+480.057 s]
Raw data (loadavg): 1.00 0.87 0.56 2/55 29964
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 10874956 0 0 0 21902 26099 0 0 25 0 1 0 830999040 257384448 58059 4294967295 134512640 134581331 3221224592 3221223584 134531728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62838 58059 566 18 0 62820 0
vsize: 251352
[startup+490.058 s]
Raw data (loadavg): 1.00 0.88 0.56 2/55 29964
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 11137239 0 0 0 22281 26720 0 0 25 0 1 0 830999040 257925120 57857 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62970 57857 566 18 0 62952 0
vsize: 251880
[startup+500.058 s]
Raw data (loadavg): 1.00 0.88 0.57 2/55 29964
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 11399463 0 0 0 22659 27343 0 0 25 0 1 0 830999040 258465792 58451 4294967295 134512640 134581331 3221224592 3221223600 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63102 58451 566 18 0 63084 0
vsize: 252408
[startup+510.059 s]
Raw data (loadavg): 1.00 0.89 0.57 2/55 29964
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 11661531 0 0 0 23039 27963 0 0 25 0 1 0 830999040 259006464 58034 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63234 58034 566 18 0 63216 0
vsize: 252936
[startup+520.06 s]
Raw data (loadavg): 1.00 0.89 0.57 2/55 29966
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 11926443 0 0 0 23416 28585 0 0 25 0 1 0 830999040 259547136 57896 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63366 57905 566 18 0 63348 0
vsize: 253464
[startup+530.062 s]
Raw data (loadavg): 1.00 0.89 0.58 2/55 29966
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 12192439 0 0 0 23802 29200 0 0 25 0 1 0 830999040 260087808 58842 4294967295 134512640 134581331 3221224592 3221223600 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63498 58842 566 18 0 63480 0
vsize: 253992
[startup+540.062 s]
Raw data (loadavg): 1.00 0.89 0.58 2/55 29966
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 12458430 0 0 0 24184 29818 0 0 25 0 1 0 830999040 260628480 58928 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63630 58935 566 18 0 63612 0
vsize: 254520
[startup+550.062 s]
Raw data (loadavg): 1.00 0.90 0.58 2/55 29966
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 12724241 0 0 0 24570 30432 0 0 25 0 1 0 830999040 261169152 58834 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63762 58841 566 18 0 63744 0
vsize: 255048
[startup+560.064 s]
Raw data (loadavg): 1.00 0.90 0.59 2/55 29966
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 12990369 0 0 0 24947 31055 0 0 25 0 1 0 830999040 261709824 59057 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63894 59064 566 18 0 63876 0
vsize: 255576
[startup+570.064 s]
Raw data (loadavg): 1.00 0.90 0.59 2/55 29966
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 13256373 0 0 0 25324 31679 0 0 25 0 1 0 830999040 262250496 59156 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64026 59164 566 18 0 64008 0
vsize: 256104
[startup+580.064 s]
Raw data (loadavg): 1.00 0.91 0.60 2/55 29968
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 13522126 0 0 0 25703 32300 0 0 25 0 1 0 830999040 262791168 59004 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64158 59011 566 18 0 64140 0
vsize: 256632
[startup+590.065 s]
Raw data (loadavg): 1.00 0.91 0.60 2/55 29968
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 13787986 0 0 0 26077 32926 0 0 25 0 1 0 830999040 263331840 58959 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64290 58966 566 18 0 64272 0
vsize: 257160
[startup+600.066 s]
Raw data (loadavg): 1.00 0.91 0.60 2/55 29968
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 14053837 0 0 0 26456 33548 0 0 25 0 1 0 830999040 260370432 58905 4294967295 134512640 134581331 3221224592 3221223560 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64422 58913 566 18 0 64404 0
vsize: 254268
[startup+610.066 s]
Raw data (loadavg): 1.00 0.91 0.61 2/55 29968
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 14320011 0 0 0 26834 34169 0 0 25 0 1 0 830999040 264458240 59174 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64565 59181 566 18 0 64547 0
vsize: 258260
[startup+620.066 s]
Raw data (loadavg): 1.00 0.92 0.61 2/55 29968
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 14586190 0 0 0 27217 34786 0 0 25 0 1 0 830999040 264998912 59448 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64697 59455 566 18 0 64679 0
vsize: 258788
[startup+630.067 s]
Raw data (loadavg): 1.00 0.92 0.62 2/55 29968
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 14852389 0 0 0 27597 35407 0 0 25 0 1 0 830999040 265539584 59742 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64829 59749 566 18 0 64811 0
vsize: 259316
[startup+640.067 s]
Raw data (loadavg): 1.00 0.92 0.62 2/55 29970
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 15118153 0 0 0 27968 36036 0 0 25 0 1 0 830999040 266080256 59601 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64961 59608 566 18 0 64943 0
vsize: 259844
[startup+650.067 s]
Raw data (loadavg): 1.00 0.92 0.62 2/55 29970
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 15384074 0 0 0 28342 36662 0 0 25 0 1 0 830999040 266620928 59617 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65093 59625 566 18 0 65075 0
vsize: 260372
[startup+660.068 s]
Raw data (loadavg): 1.00 0.92 0.63 2/55 29970
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 15650109 0 0 0 28711 37293 0 0 25 0 1 0 830999040 267161600 59747 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65225 59755 566 18 0 65207 0
vsize: 260900
[startup+670.068 s]
Raw data (loadavg): 1.00 0.93 0.63 2/55 29970
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 15916255 0 0 0 29086 37919 0 0 25 0 1 0 830999040 267702272 59988 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65357 59995 566 18 0 65339 0
vsize: 261428
[startup+680.068 s]
Raw data (loadavg): 1.00 0.93 0.64 2/55 29970
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 16182442 0 0 0 29460 38545 0 0 25 0 1 0 830999040 268242944 60270 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65489 60278 566 18 0 65471 0
vsize: 261956
[startup+690.068 s]
Raw data (loadavg): 1.00 0.93 0.64 2/55 29970
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 16448567 0 0 0 29848 39157 0 0 25 0 1 0 830999040 268783616 60490 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65621 60498 566 18 0 65603 0
vsize: 262484
[startup+700.069 s]
Raw data (loadavg): 1.00 0.93 0.64 2/55 29972
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 16714550 0 0 0 30223 39782 0 0 25 0 1 0 830999040 269324288 60568 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65753 60574 566 18 0 65735 0
vsize: 263012
[startup+710.069 s]
Raw data (loadavg): 1.00 0.93 0.64 2/55 29972
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 16980623 0 0 0 30597 40408 0 0 25 0 1 0 830999040 269864960 60736 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65885 60743 566 18 0 65867 0
vsize: 263540
[startup+720.069 s]
Raw data (loadavg): 1.00 0.94 0.65 2/55 29972
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 17246697 0 0 0 30980 41025 0 0 25 0 1 0 830999040 270405632 60905 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66017 60912 566 18 0 65999 0
vsize: 264068
[startup+730.076 s]
Raw data (loadavg): 1.00 0.94 0.65 2/55 29972
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 17512840 0 0 0 31363 41644 0 0 25 0 1 0 830999040 270946304 61143 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66149 61151 566 18 0 66131 0
vsize: 264596
[startup+740.077 s]
Raw data (loadavg): 1.00 0.94 0.65 2/55 29972
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 17778830 0 0 0 31740 42266 0 0 25 0 1 0 830999040 271486976 61228 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66281 61235 566 18 0 66263 0
vsize: 265124
[startup+750.077 s]
Raw data (loadavg): 1.00 0.94 0.66 2/55 29972
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 18044792 0 0 0 32127 42880 0 0 25 0 1 0 830999040 272027648 61285 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66413 61292 566 18 0 66395 0
vsize: 265652
[startup+760.078 s]
Raw data (loadavg): 1.00 0.94 0.66 2/55 29974
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 18311152 0 0 0 32503 43504 0 0 25 0 1 0 830999040 272568320 61740 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66545 61747 566 18 0 66527 0
vsize: 266180
[startup+770.079 s]
Raw data (loadavg): 1.00 0.94 0.66 2/55 29974
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 18577277 0 0 0 32879 44128 0 0 25 0 1 0 830999040 273108992 61960 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66677 61968 566 18 0 66659 0
vsize: 266708
[startup+780.079 s]
Raw data (loadavg): 1.00 0.94 0.67 2/55 29974
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 18843319 0 0 0 33255 44753 0 0 25 0 1 0 830999040 273649664 62097 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66809 62104 566 18 0 66791 0
vsize: 267236
[startup+790.08 s]
Raw data (loadavg): 1.00 0.95 0.67 2/55 29974
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 19109379 0 0 0 33633 45375 0 0 25 0 1 0 830999040 274190336 62252 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66941 62259 566 18 0 66923 0
vsize: 267764
[startup+800.08 s]
Raw data (loadavg): 1.00 0.95 0.67 2/55 29974
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 19375423 0 0 0 34019 45989 0 0 25 0 1 0 830999040 274731008 62391 4294967295 134512640 134581331 3221224592 3221223600 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67073 62391 566 18 0 67055 0
vsize: 268292
[startup+810.087 s]
Raw data (loadavg): 1.00 0.95 0.67 2/55 29974
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 19641550 0 0 0 34402 46607 0 0 25 0 1 0 830999040 275271680 61758 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67205 61766 566 18 0 67187 0
vsize: 268820
[startup+820.097 s]
Raw data (loadavg): 1.00 0.95 0.68 2/55 29976
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 19907896 0 0 0 34776 47234 0 0 25 0 1 0 830999040 275812352 62200 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67337 62207 566 18 0 67319 0
vsize: 269348
[startup+830.097 s]
Raw data (loadavg): 1.00 0.95 0.68 2/55 29976
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 20173908 0 0 0 35160 47850 0 0 25 0 1 0 830999040 276217856 62306 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67436 62313 566 18 0 67418 0
vsize: 269744
[startup+840.098 s]
Raw data (loadavg): 1.00 0.95 0.68 2/55 29976
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 20439834 0 0 0 35541 48469 0 0 25 0 1 0 830999040 276758528 62327 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67568 62334 566 18 0 67550 0
vsize: 270272
[startup+850.098 s]
Raw data (loadavg): 1.00 0.95 0.69 2/55 29976
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 20706229 0 0 0 35908 49103 0 0 25 0 1 0 830999040 277299200 62817 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67700 62824 566 18 0 67682 0
vsize: 270800
[startup+860.101 s]
Raw data (loadavg): 1.00 0.95 0.69 2/55 29976
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 20972448 0 0 0 36287 49724 0 0 25 0 1 0 830999040 277839872 63131 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67832 63138 566 18 0 67814 0
vsize: 271328
[startup+870.101 s]
Raw data (loadavg): 1.00 0.95 0.69 2/55 29976
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 21238496 0 0 0 36672 50339 0 0 25 0 1 0 830999040 278380544 63274 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67964 63282 566 18 0 67946 0
vsize: 271856
[startup+880.11 s]
Raw data (loadavg): 1.00 0.95 0.69 2/55 29978
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 21504596 0 0 0 37055 50957 0 0 25 0 1 0 830999040 278921216 62614 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68096 62624 566 18 0 68078 0
vsize: 272384
[startup+890.11 s]
Raw data (loadavg): 1.00 0.95 0.70 2/55 29978
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 21770610 0 0 0 37423 51589 0 0 25 0 1 0 830999040 279461888 62723 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68228 62733 566 18 0 68210 0
vsize: 272912
[startup+900.115 s]
Raw data (loadavg): 1.00 0.96 0.70 2/55 29978
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 22036893 0 0 0 37811 52201 0 0 25 0 1 0 830999040 280002560 63101 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68360 63108 566 18 0 68342 0
vsize: 273440
[startup+910.128 s]
Raw data (loadavg): 1.00 0.96 0.70 2/55 29978
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 22303323 0 0 0 38187 52827 0 0 25 0 1 0 830999040 280543232 63626 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68492 63633 566 18 0 68474 0
vsize: 273968
[startup+920.142 s]
Raw data (loadavg): 1.00 0.96 0.71 2/55 29978
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 22569947 0 0 0 38562 53454 0 0 25 0 1 0 830999040 281083904 63490 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68624 63497 566 18 0 68606 0
vsize: 274496
[startup+930.142 s]
Raw data (loadavg): 1.00 0.96 0.71 2/55 29978
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 22836383 0 0 0 38934 54082 0 0 25 0 1 0 830999040 281624576 64021 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68756 64028 566 18 0 68738 0
vsize: 275024
[startup+940.142 s]
Raw data (loadavg): 1.00 0.96 0.71 2/55 29980
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 23102637 0 0 0 39311 54705 0 0 25 0 1 0 830999040 282165248 63515 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68888 63522 566 18 0 68870 0
vsize: 275552
[startup+950.143 s]
Raw data (loadavg): 1.00 0.96 0.72 2/55 29980
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 23368819 0 0 0 39692 55324 0 0 25 0 1 0 830999040 282705920 63792 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69020 63798 566 18 0 69002 0
vsize: 276080
[startup+960.143 s]
Raw data (loadavg): 1.00 0.96 0.72 2/55 29980
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 23634754 0 0 0 40077 55939 0 0 25 0 1 0 830999040 283246592 63822 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69152 63829 566 18 0 69134 0
vsize: 276608
[startup+970.144 s]
Raw data (loadavg): 1.00 0.96 0.72 2/55 29980
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 23900942 0 0 0 40457 56560 0 0 25 0 1 0 830999040 283787264 64105 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69284 64112 566 18 0 69266 0
vsize: 277136
[startup+980.145 s]
Raw data (loadavg): 1.00 0.96 0.72 2/55 29980
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 24167180 0 0 0 40832 57185 0 0 25 0 1 0 830999040 284327936 64438 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69416 64445 566 18 0 69398 0
vsize: 277664
[startup+990.145 s]
Raw data (loadavg): 1.00 0.96 0.73 2/55 29980
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 24433301 0 0 0 41217 57800 0 0 25 0 1 0 830999040 284868608 64654 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69548 64661 566 18 0 69530 0
vsize: 278192
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/55 29982
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 24699129 0 0 0 41600 58418 0 0 25 0 1 0 830999040 285409280 64577 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69680 64584 566 18 0 69662 0
vsize: 278720
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/55 29982
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 24965383 0 0 0 41975 59043 0 0 25 0 1 0 830999040 285949952 64926 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69812 64933 566 18 0 69794 0
vsize: 279248
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.97 0.73 2/55 29982
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 25231622 0 0 0 42363 59655 0 0 25 0 1 0 830999040 286490624 65260 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69944 65267 566 18 0 69926 0
vsize: 279776
[startup+1030.15 s]
Raw data (loadavg): 1.08 0.99 0.74 2/55 29982
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 25497640 0 0 0 42742 60276 0 0 25 0 1 0 830999040 287031296 65373 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70076 65380 566 18 0 70058 0
vsize: 280304
[startup+1040.15 s]
Raw data (loadavg): 1.07 0.99 0.74 2/55 29982
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 25763640 0 0 0 43128 60890 0 0 25 0 1 0 830999040 287571968 65468 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70208 65474 566 18 0 70190 0
vsize: 280832
[startup+1050.15 s]
Raw data (loadavg): 1.06 0.99 0.74 2/55 29982
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 26029758 0 0 0 43498 61521 0 0 25 0 1 0 830999040 288112640 65681 4294967295 134512640 134581331 3221224592 3221223600 134531325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70340 65681 566 18 0 70322 0
vsize: 281360
[startup+1060.15 s]
Raw data (loadavg): 1.05 0.99 0.75 2/55 29984
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 26296001 0 0 0 43871 62147 0 0 25 0 1 0 830999040 288653312 65164 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70472 65172 566 18 0 70454 0
vsize: 281888
[startup+1070.15 s]
Raw data (loadavg): 1.04 0.99 0.75 2/55 29984
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 26562515 0 0 0 44252 62767 0 0 25 0 1 0 830999040 289193984 65773 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70604 65780 566 18 0 70586 0
vsize: 282416
[startup+1080.15 s]
Raw data (loadavg): 1.03 0.99 0.75 2/55 29984
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 26828805 0 0 0 44628 63391 0 0 25 0 1 0 830999040 289734656 65303 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70736 65311 566 18 0 70718 0
vsize: 282944
[startup+1090.15 s]
Raw data (loadavg): 1.11 1.00 0.76 2/55 29984
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 27095002 0 0 0 45010 64009 0 0 25 0 1 0 830999040 290275328 65595 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70868 65602 566 18 0 70850 0
vsize: 283472
[startup+1100.15 s]
Raw data (loadavg): 1.09 1.00 0.76 2/55 29984
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 27361244 0 0 0 45394 64625 0 0 25 0 1 0 830999040 290816000 65932 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71000 65940 566 18 0 70982 0
vsize: 284000
[startup+1110.15 s]
Raw data (loadavg): 1.08 1.00 0.76 2/55 29984
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 27627440 0 0 0 45769 65251 0 0 25 0 1 0 830999040 291356672 66223 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71132 66230 566 18 0 71114 0
vsize: 284528
[startup+1120.15 s]
Raw data (loadavg): 1.06 1.00 0.76 2/55 29986
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 27893988 0 0 0 46146 65874 0 0 25 0 1 0 830999040 291897344 66011 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71264 66018 566 18 0 71246 0
vsize: 285056
[startup+1130.15 s]
Raw data (loadavg): 1.05 1.00 0.77 2/55 29986
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 28160314 0 0 0 46516 66504 0 0 25 0 1 0 830999040 292564992 66432 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71427 66439 566 18 0 71409 0
vsize: 285708
[startup+1140.15 s]
Raw data (loadavg): 1.04 1.00 0.77 2/55 29986
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 28426764 0 0 0 46902 67118 0 0 25 0 1 0 830999040 293105664 66122 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71559 66130 566 18 0 71541 0
vsize: 286236
[startup+1150.15 s]
Raw data (loadavg): 1.04 1.00 0.77 2/55 29986
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 28693606 0 0 0 47285 67736 0 0 25 0 1 0 830999040 293646336 66204 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71691 66213 566 18 0 71673 0
vsize: 286764
[startup+1160.15 s]
Raw data (loadavg): 1.03 1.00 0.77 2/55 29986
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 28960436 0 0 0 47669 68351 0 0 25 0 1 0 830999040 294187008 67129 4294967295 134512640 134581331 3221224592 3221223600 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71823 67129 566 18 0 71805 0
vsize: 287292
[startup+1170.15 s]
Raw data (loadavg): 1.03 1.00 0.77 2/55 29986
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 29227205 0 0 0 48049 68972 0 0 25 0 1 0 830999040 294727680 67138 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71955 67145 566 18 0 71937 0
vsize: 287820
[startup+1180.15 s]
Raw data (loadavg): 1.02 1.00 0.78 2/55 29988
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 29493854 0 0 0 48427 69594 0 0 25 0 1 0 830999040 295268352 67027 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72087 67034 566 18 0 72069 0
vsize: 288348
[startup+1190.15 s]
Raw data (loadavg): 1.02 1.00 0.78 2/55 29988
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 29760256 0 0 0 48805 70216 0 0 25 0 1 0 830999040 295809024 67524 4294967295 134512640 134581331 3221224592 3221223600 134531324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72219 67524 566 18 0 72201 0
vsize: 288876
[startup+1200.15 s]
Raw data (loadavg): 1.01 1.00 0.78 2/55 29988
Raw data (stat): 29948 (Pueblo) R 29947 29618 29617 0 -1 0 30026706 0 0 0 49190 70832 0 0 25 0 1 0 830999040 296349696 67214 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72351 67220 566 18 0 72333 0
vsize: 289404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 1.01 1.00 0.78 1/55 29988
Raw data (stat): 29948 (Pueblo) Z 29947 29618 29617 0 -1 1036 30026732 0 0 0 49190 70845 0 0 25 0 1 0 830999040 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.28
CPU time (s): 1200.35
CPU user time (s): 491.903
CPU system time (s): 708.451
CPU usage (%): 100.006
Max. virtual memory (Kb): 289404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####