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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39220173760
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39220173760
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.967852
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26908

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 17:56:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19182 boxname=wulflinc31 idbench=1476 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5298b427bf0fc38e6e22a1bd59273927  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370e.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370e.opb
IDLAUNCH: 19182
/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:        396408 kB
Buffers:         35224 kB
Cached:         581308 kB
SwapCached:       1248 kB
Active:         200204 kB
Inactive:       418848 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        396156 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:             404 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            13472 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:16:42 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 19182 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): 0.84 0.94 0.90 2/55 811
Raw data (stat): 811 (runsolver) R 810 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832189335 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.0013 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 811
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 79952 0 0 0 848 151 0 0 25 0 1 0 832189335 55996416 11996 4294967295 134512640 134581331 3221224608 3221223600 134531728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13671 11996 566 18 0 13653 0
vsize: 54684
[startup+20.002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 813
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 390936 0 0 0 1300 699 0 0 25 0 1 0 832189335 57618432 12435 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14067 12445 566 18 0 14049 0
vsize: 56268
[startup+30.0029 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 813
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 558778 0 0 0 2008 991 0 0 25 0 1 0 832189335 57094144 12387 4294967295 134512640 134581331 3221224608 3221223552 134559093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13939 12387 566 18 0 13921 0
vsize: 55756
[startup+40.0039 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 813
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 560615 0 0 0 3002 997 0 0 25 0 1 0 832189335 64532480 14224 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15755 14226 566 18 0 15737 0
vsize: 63020
[startup+50.0038 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 813
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 563306 0 0 0 3994 1006 0 0 25 0 1 0 832189335 75579392 16915 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18452 16915 566 18 0 18434 0
vsize: 73808
[startup+60.0047 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 813
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 565989 0 0 0 4988 1012 0 0 25 0 1 0 832189335 86642688 19598 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21153 19598 566 18 0 21135 0
vsize: 84612
[startup+70.0137 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 813
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 568688 0 0 0 5981 1020 0 0 25 0 1 0 832189335 97644544 22297 4294967295 134512640 134581331 3221224608 3221223392 134528758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23839 22297 566 18 0 23821 0
vsize: 95356
[startup+80.0146 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 815
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 571353 0 0 0 6974 1027 0 0 25 0 1 0 832189335 108650496 24962 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26526 24962 566 18 0 26508 0
vsize: 106104
[startup+90.0145 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 815
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 574055 0 0 0 7967 1034 0 0 25 0 1 0 832189335 119697408 27664 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29223 27664 566 18 0 29205 0
vsize: 116892
[startup+100.014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 815
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 576711 0 0 0 8960 1042 0 0 25 0 1 0 832189335 130498560 30320 4294967295 134512640 134581331 3221224608 3221223504 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31860 30320 566 18 0 31842 0
vsize: 127440
[startup+110.016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 815
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 579396 0 0 0 9953 1049 0 0 25 0 1 0 832189335 141561856 33005 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34561 33005 566 18 0 34543 0
vsize: 138244
[startup+120.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 815
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 582063 0 0 0 10947 1055 0 0 25 0 1 0 832189335 152444928 35672 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37218 35672 566 18 0 37200 0
vsize: 148872
[startup+130.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 815
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 584472 0 0 0 11941 1061 0 0 25 0 1 0 832189335 162430976 38081 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39656 38081 566 18 0 39638 0
vsize: 158624
[startup+140.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 817
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 586737 0 0 0 12936 1066 0 0 25 0 1 0 832189335 171610112 40346 4294967295 134512640 134581331 3221224608 3221223552 134558916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41897 40346 566 18 0 41879 0
vsize: 167588
[startup+150.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 817
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 589035 0 0 0 13931 1072 0 0 25 0 1 0 832189335 181084160 42644 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44210 42644 566 18 0 44192 0
vsize: 176840
[startup+160.018 s]
Raw data (loadavg): 1.15 0.99 0.92 2/55 817
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 590590 0 0 0 14927 1076 0 0 25 0 1 0 832189335 187351040 44199 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45740 44199 566 18 0 45722 0
vsize: 182960
[startup+170.018 s]
Raw data (loadavg): 1.12 0.99 0.92 2/55 817
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 591981 0 0 0 15923 1080 0 0 25 0 1 0 832189335 193044480 45590 4294967295 134512640 134581331 3221224608 3221223324 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47130 45590 566 18 0 47112 0
vsize: 188520
[startup+180.019 s]
Raw data (loadavg): 1.10 0.99 0.92 2/55 817
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 593336 0 0 0 16919 1085 0 0 25 0 1 0 832189335 198606848 46945 4294967295 134512640 134581331 3221224608 3221223472 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48488 46945 566 18 0 48470 0
vsize: 193952
[startup+190.02 s]
Raw data (loadavg): 1.09 0.99 0.92 2/55 817
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 594810 0 0 0 17915 1089 0 0 25 0 1 0 832189335 204685312 48419 4294967295 134512640 134581331 3221224608 3221223584 134560718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49972 48419 566 18 0 49954 0
vsize: 199888
[startup+200.02 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 819
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 596290 0 0 0 18911 1093 0 0 25 0 1 0 832189335 210747392 49899 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51452 49899 566 18 0 51434 0
vsize: 205808
[startup+210.021 s]
Raw data (loadavg): 1.22 1.02 0.93 2/55 874
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 597750 0 0 0 19905 1098 0 0 25 0 1 0 832189335 216686592 51359 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52902 51359 566 18 0 52884 0
vsize: 211608
[startup+220.022 s]
Raw data (loadavg): 1.27 1.04 0.94 2/55 874
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 599186 0 0 0 20901 1102 0 0 25 0 1 0 832189335 222609408 52795 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54348 52795 566 18 0 54330 0
vsize: 217392
[startup+230.023 s]
Raw data (loadavg): 1.23 1.04 0.94 2/55 874
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 600639 0 0 0 21897 1107 0 0 25 0 1 0 832189335 228483072 54248 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55782 54248 566 18 0 55764 0
vsize: 223128
[startup+240.023 s]
Raw data (loadavg): 1.19 1.03 0.94 2/55 874
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 602085 0 0 0 22893 1111 0 0 25 0 1 0 832189335 234401792 55694 4294967295 134512640 134581331 3221224608 3221223392 134528763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57227 55694 566 18 0 57209 0
vsize: 228908
[startup+250.023 s]
Raw data (loadavg): 1.16 1.03 0.94 2/55 874
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 603534 0 0 0 23887 1117 0 0 25 0 1 0 832189335 240410624 57143 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58694 57143 566 18 0 58676 0
vsize: 234776
[startup+260.024 s]
Raw data (loadavg): 1.14 1.03 0.94 2/55 876
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 604983 0 0 0 24884 1120 0 0 25 0 1 0 832189335 246280192 58592 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60127 58592 566 18 0 60109 0
vsize: 240508
[startup+270.024 s]
Raw data (loadavg): 1.11 1.03 0.94 2/55 876
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606426 0 0 0 25879 1125 0 0 25 0 1 0 832189335 252182528 60035 4294967295 134512640 134581331 3221224608 3221223552 134559135 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61568 60035 566 18 0 61550 0
vsize: 246272
[startup+280.025 s]
Raw data (loadavg): 1.10 1.03 0.94 2/55 878
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 26878 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+290.026 s]
Raw data (loadavg): 1.08 1.03 0.94 2/55 878
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 27878 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+300.026 s]
Raw data (loadavg): 1.07 1.03 0.94 2/55 878
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 28878 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+310.027 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 878
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 29879 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+320.028 s]
Raw data (loadavg): 1.05 1.02 0.94 2/55 880
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 30879 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+330.029 s]
Raw data (loadavg): 1.04 1.02 0.94 2/55 880
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 31879 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223580 134554712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+340.029 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 880
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 32879 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+350.029 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 880
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 33879 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+360.032 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 880
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 34879 1127 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+370.032 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 880
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 35879 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223472 134526983 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+380.032 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 882
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 36879 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+390.033 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 882
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 37879 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223472 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+400.033 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 882
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 38880 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+410.034 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 882
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 39880 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+420.034 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 882
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 40880 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+430.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 882
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 41880 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+440.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 884
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 42880 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+450.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 884
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 43880 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+460.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 884
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 44880 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+470.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 884
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 45881 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223472 134560225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+480.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 884
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 46881 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+490.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 884
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606820 0 0 0 47881 1128 0 0 25 0 1 0 832189335 253857792 60429 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61977 60429 566 18 0 61959 0
vsize: 247908
[startup+500.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 886
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 48878 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 886
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 49878 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 886
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 50879 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 886
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 51879 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 888
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 52879 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 888
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 53879 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 890
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 54879 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 890
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 55880 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 890
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 56880 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 890
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 57880 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 890
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 58880 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 890
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 59880 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 892
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 60881 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 892
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 606821 0 0 0 61881 1131 0 0 25 0 1 0 832189335 191963136 45338 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45338 566 18 0 46848 0
vsize: 187464
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 892
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 607492 0 0 0 62878 1134 0 0 25 0 1 0 832189335 194777088 46009 4294967295 134512640 134581331 3221224608 3221223296 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47553 46009 566 18 0 47535 0
vsize: 190212
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 892
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 608189 0 0 0 63876 1136 0 0 25 0 1 0 832189335 197640192 46706 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48252 46706 566 18 0 48234 0
vsize: 193008
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 892
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 608827 0 0 0 64874 1138 0 0 25 0 1 0 832189335 200224768 47344 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48883 47344 566 18 0 48865 0
vsize: 195532
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 892
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 609801 0 0 0 65872 1141 0 0 25 0 1 0 832189335 204263424 48318 4294967295 134512640 134581331 3221224608 3221223520 134531400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49869 48318 566 18 0 49851 0
vsize: 199476
[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 894
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 610677 0 0 0 66870 1143 0 0 25 0 1 0 832189335 207855616 49194 4294967295 134512640 134581331 3221224608 3221223552 134558822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50746 49194 566 18 0 50728 0
vsize: 202984
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 894
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 611570 0 0 0 67868 1145 0 0 25 0 1 0 832189335 211460096 50087 4294967295 134512640 134581331 3221224608 3221223472 134528342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51626 50087 566 18 0 51608 0
vsize: 206504
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 894
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 612434 0 0 0 68865 1148 0 0 25 0 1 0 832189335 215052288 50951 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52503 50951 566 18 0 52485 0
vsize: 210012
[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 894
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 613326 0 0 0 69863 1151 0 0 25 0 1 0 832189335 218656768 51843 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53383 51843 566 18 0 53365 0
vsize: 213532
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 894
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 614216 0 0 0 70861 1153 0 0 25 0 1 0 832189335 222351360 52733 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54285 52733 566 18 0 54267 0
vsize: 217140
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 894
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 615129 0 0 0 71858 1156 0 0 25 0 1 0 832189335 226107392 53646 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55202 53646 566 18 0 55184 0
vsize: 220808
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 896
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 616152 0 0 0 72855 1159 0 0 25 0 1 0 832189335 230260736 54669 4294967295 134512640 134581331 3221224608 3221223428 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56216 54669 566 18 0 56198 0
vsize: 224864
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 896
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 617184 0 0 0 73852 1162 0 0 25 0 1 0 832189335 234434560 55701 4294967295 134512640 134581331 3221224608 3221223244 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57235 55701 566 18 0 57217 0
vsize: 228940
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 896
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 74850 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223568 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 896
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 75850 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 896
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 76850 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 896
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 77850 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 898
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 78851 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223244 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 898
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 79851 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 898
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 80851 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 898
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 81851 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 898
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 82851 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 898
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 83852 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 900
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 84852 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223244 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 900
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 85852 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+880.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 900
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 86852 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223552 134559087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 900
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 87852 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 900
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 88853 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+910.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 900
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 89853 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 902
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 90853 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 902
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 91853 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 902
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 92853 1165 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 902
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 93853 1166 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 902
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 94853 1166 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+970.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 902
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 95853 1166 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 904
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 96853 1166 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 904
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 97853 1166 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 904
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 98854 1166 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223552 134558956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 904
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 99854 1166 0 0 25 0 1 0 832189335 238387200 56667 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58200 56667 566 18 0 58182 0
vsize: 232800
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 904
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 100854 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 904
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 101854 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 906
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 102854 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223504 134517918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 906
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 103854 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 906
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 104854 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 906
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 105854 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 906
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 106855 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 906
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 107855 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 908
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 108855 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 908
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 109855 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 908
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 110855 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 908
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 111855 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 908
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 112856 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223472 134528342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 908
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618150 0 0 0 113856 1167 0 0 25 0 1 0 832189335 227246080 53947 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53947 566 18 0 55462 0
vsize: 221920
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 910
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618151 0 0 0 114856 1167 0 0 25 0 1 0 832189335 227246080 53948 4294967295 134512640 134581331 3221224608 3221223520 134527791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53948 566 18 0 55462 0
vsize: 221920
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 910
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618151 0 0 0 115856 1167 0 0 25 0 1 0 832189335 227246080 53948 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53948 566 18 0 55462 0
vsize: 221920
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 910
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618151 0 0 0 116856 1167 0 0 25 0 1 0 832189335 227246080 53948 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53948 566 18 0 55462 0
vsize: 221920
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 910
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618151 0 0 0 117857 1167 0 0 25 0 1 0 832189335 227246080 53948 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53948 566 18 0 55462 0
vsize: 221920
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 910
Raw data (stat): 811 (Pueblo) R 810 29618 29617 0 -1 0 618151 0 0 0 118857 1167 0 0 25 0 1 0 832189335 227246080 53948 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55480 53948 566 18 0 55462 0
vsize: 221920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 910
Raw data (stat): 811 (Pueblo) Z 810 29618 29617 0 -1 1036 618151 0 0 0 118857 1177 0 0 25 0 1 0 832189335 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.18
CPU time (s): 1200.35
CPU user time (s): 1188.57
CPU system time (s): 11.7772
CPU usage (%): 100.014
Max. virtual memory (Kb): 247908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####