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/submitted/manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUM	4675a5d50c7e04c9a0597ae768da1a88
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4000
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4000
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4000
Total number of constraints	10500
Number of constraints which are clauses	10500
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 23780

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 17:41:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1150 boxname=wulflinc31 idbench=128 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  4675a5d50c7e04c9a0597ae768da1a88  /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
IDLAUNCH: 1150
/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:        906568 kB
Buffers:         44564 kB
Cached:          61116 kB
SwapCached:        944 kB
Active:          87180 kB
Inactive:        20992 kB
HighTotal:      131008 kB
HighFree:        68908 kB
LowTotal:       903652 kB
LowFree:        837660 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14424 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 18:02:01 (client local time) WITH STATUS 0 IN 1200.89 SECONDS
stats: 1150 7 1200.89 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.92 0.95 0.95 2/54 5145
Raw data (stat): 5145 (runsolver) R 5144 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659281361 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 1505 0 0 0 992 5 0 0 25 0 1 0 659281361 11763712 1482 4294967295 134512640 134581331 3221221808 3221220736 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2872 1482 566 18 0 2854 0
vsize: 11488
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 1942 0 0 0 1991 6 0 0 25 0 1 0 659281361 13602816 1919 4294967295 134512640 134581331 3221221808 3221220736 134520099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3321 1919 566 18 0 3303 0
vsize: 13284
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2135 0 0 0 2990 7 0 0 25 0 1 0 659281361 14393344 2112 4294967295 134512640 134581331 3221221808 3221220704 134517630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3514 2112 566 18 0 3496 0
vsize: 14056
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2136 0 0 0 3990 7 0 0 25 0 1 0 659281361 14393344 2113 4294967295 134512640 134581331 3221221808 3221220704 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3514 2113 566 18 0 3496 0
vsize: 14056
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2405 0 0 0 4989 8 0 0 25 0 1 0 659281361 15454208 2382 4294967295 134512640 134581331 3221221808 3221220800 134560973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2382 566 18 0 3755 0
vsize: 15092
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2466 0 0 0 5989 8 0 0 25 0 1 0 659281361 15720448 2443 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2443 566 18 0 3820 0
vsize: 15352
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2542 0 0 0 6989 9 0 0 25 0 1 0 659281361 15982592 2519 4294967295 134512640 134581331 3221221808 3221220736 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3902 2519 566 18 0 3884 0
vsize: 15608
[startup+80.001 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2673 0 0 0 7988 9 0 0 25 0 1 0 659281361 16642048 2650 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2650 566 18 0 4045 0
vsize: 16252
[startup+90.001 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2743 0 0 0 8988 9 0 0 25 0 1 0 659281361 16904192 2720 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 2720 566 18 0 4109 0
vsize: 16508
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2748 0 0 0 9988 9 0 0 25 0 1 0 659281361 16904192 2725 4294967295 134512640 134581331 3221221808 3221220736 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 2725 566 18 0 4109 0
vsize: 16508
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2794 0 0 0 10989 10 0 0 25 0 1 0 659281361 17035264 2771 4294967295 134512640 134581331 3221221808 3221220752 134559377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4159 2771 566 18 0 4141 0
vsize: 16636
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2794 0 0 0 11989 10 0 0 25 0 1 0 659281361 17035264 2771 4294967295 134512640 134581331 3221221808 3221220688 134560402 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4159 2771 566 18 0 4141 0
vsize: 16636
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2834 0 0 0 12989 10 0 0 25 0 1 0 659281361 17305600 2811 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2811 566 18 0 4207 0
vsize: 16900
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2834 0 0 0 13989 10 0 0 25 0 1 0 659281361 17305600 2811 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2811 566 18 0 4207 0
vsize: 16900
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 2850 0 0 0 14989 10 0 0 25 0 1 0 659281361 17305600 2827 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2827 566 18 0 4207 0
vsize: 16900
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3088 0 0 0 15988 10 0 0 25 0 1 0 659281361 18223104 3065 4294967295 134512640 134581331 3221221808 3221220720 134531405 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3065 566 18 0 4431 0
vsize: 17796
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3088 0 0 0 16989 10 0 0 25 0 1 0 659281361 18223104 3065 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3065 566 18 0 4431 0
vsize: 17796
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3163 0 0 0 17988 11 0 0 25 0 1 0 659281361 18616320 3140 4294967295 134512640 134581331 3221221808 3221220688 134560435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 3140 566 18 0 4527 0
vsize: 18180
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3163 0 0 0 18989 11 0 0 25 0 1 0 659281361 18616320 3140 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 3140 566 18 0 4527 0
vsize: 18180
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3260 0 0 0 19988 11 0 0 25 0 1 0 659281361 19013632 3237 4294967295 134512640 134581331 3221221808 3221220780 134519776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3237 566 18 0 4624 0
vsize: 18568
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3264 0 0 0 20988 11 0 0 25 0 1 0 659281361 19013632 3241 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3241 566 18 0 4624 0
vsize: 18568
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3264 0 0 0 21988 11 0 0 25 0 1 0 659281361 19013632 3241 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3241 566 18 0 4624 0
vsize: 18568
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3264 0 0 0 22989 11 0 0 25 0 1 0 659281361 19013632 3241 4294967295 134512640 134581331 3221221808 3221220704 134517743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3241 566 18 0 4624 0
vsize: 18568
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3431 0 0 0 23988 12 0 0 25 0 1 0 659281361 19787776 3408 4294967295 134512640 134581331 3221221808 3221220784 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3408 566 18 0 4813 0
vsize: 19324
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3431 0 0 0 24988 12 0 0 25 0 1 0 659281361 19787776 3408 4294967295 134512640 134581331 3221221808 3221220796 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3408 566 18 0 4813 0
vsize: 19324
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3431 0 0 0 25988 12 0 0 25 0 1 0 659281361 19787776 3408 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3408 566 18 0 4813 0
vsize: 19324
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3437 0 0 0 26988 12 0 0 25 0 1 0 659281361 19787776 3414 4294967295 134512640 134581331 3221221808 3221220736 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3414 566 18 0 4813 0
vsize: 19324
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3437 0 0 0 27989 12 0 0 25 0 1 0 659281361 19787776 3414 4294967295 134512640 134581331 3221221808 3221220736 134520092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3414 566 18 0 4813 0
vsize: 19324
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3437 0 0 0 28989 12 0 0 25 0 1 0 659281361 19787776 3414 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3414 566 18 0 4813 0
vsize: 19324
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3455 0 0 0 29989 12 0 0 25 0 1 0 659281361 19787776 3432 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3432 566 18 0 4813 0
vsize: 19324
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3455 0 0 0 30989 12 0 0 25 0 1 0 659281361 19787776 3432 4294967295 134512640 134581331 3221221808 3221220736 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4831 3432 566 18 0 4813 0
vsize: 19324
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3602 0 0 0 31989 13 0 0 25 0 1 0 659281361 20443136 3579 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4991 3579 566 18 0 4973 0
vsize: 19964
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3628 0 0 0 32989 13 0 0 25 0 1 0 659281361 20574208 3605 4294967295 134512640 134581331 3221221808 3221220688 134520304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3605 566 18 0 5005 0
vsize: 20092
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3628 0 0 0 33989 13 0 0 25 0 1 0 659281361 20574208 3605 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3605 566 18 0 5005 0
vsize: 20092
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3628 0 0 0 34989 13 0 0 25 0 1 0 659281361 20574208 3605 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3605 566 18 0 5005 0
vsize: 20092
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3629 0 0 0 35989 13 0 0 25 0 1 0 659281361 20574208 3606 4294967295 134512640 134581331 3221221808 3221220784 134560746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5023 3606 566 18 0 5005 0
vsize: 20092
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3674 0 0 0 36989 13 0 0 25 0 1 0 659281361 20705280 3651 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5055 3651 566 18 0 5037 0
vsize: 20220
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3755 0 0 0 37989 13 0 0 25 0 1 0 659281361 21106688 3732 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5153 3732 566 18 0 5135 0
vsize: 20612
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3870 0 0 0 38989 13 0 0 25 0 1 0 659281361 21504000 3847 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5250 3847 566 18 0 5232 0
vsize: 21000
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3876 0 0 0 39989 13 0 0 25 0 1 0 659281361 21643264 3853 4294967295 134512640 134581331 3221221808 3221220704 134517764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5284 3853 566 18 0 5266 0
vsize: 21136
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3916 0 0 0 40990 13 0 0 25 0 1 0 659281361 21774336 3893 4294967295 134512640 134581331 3221221808 3221220704 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3893 566 18 0 5298 0
vsize: 21264
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3916 0 0 0 41990 13 0 0 25 0 1 0 659281361 21774336 3893 4294967295 134512640 134581331 3221221808 3221220720 134566401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3893 566 18 0 5298 0
vsize: 21264
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3916 0 0 0 42990 13 0 0 25 0 1 0 659281361 21774336 3893 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3893 566 18 0 5298 0
vsize: 21264
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3916 0 0 0 43990 13 0 0 25 0 1 0 659281361 21774336 3893 4294967295 134512640 134581331 3221221808 3221220772 134554656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3893 566 18 0 5298 0
vsize: 21264
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3916 0 0 0 44990 13 0 0 25 0 1 0 659281361 21774336 3893 4294967295 134512640 134581331 3221221808 3221220736 134519899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3893 566 18 0 5298 0
vsize: 21264
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3917 0 0 0 45990 13 0 0 25 0 1 0 659281361 21774336 3894 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3894 566 18 0 5298 0
vsize: 21264
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3917 0 0 0 46990 13 0 0 25 0 1 0 659281361 21774336 3894 4294967295 134512640 134581331 3221221808 3221220848 134565293 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3894 566 18 0 5298 0
vsize: 21264
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3917 0 0 0 47991 13 0 0 25 0 1 0 659281361 21774336 3894 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3894 566 18 0 5298 0
vsize: 21264
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 3917 0 0 0 48990 14 0 0 25 0 1 0 659281361 21774336 3894 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 3894 566 18 0 5298 0
vsize: 21264
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4011 0 0 0 49990 14 0 0 25 0 1 0 659281361 22167552 3988 4294967295 134512640 134581331 3221221808 3221220784 134560724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3988 566 18 0 5394 0
vsize: 21648
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4015 0 0 0 50990 14 0 0 25 0 1 0 659281361 22167552 3992 4294967295 134512640 134581331 3221221808 3221220800 134561142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3992 566 18 0 5394 0
vsize: 21648
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4015 0 0 0 51990 14 0 0 25 0 1 0 659281361 22167552 3992 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3992 566 18 0 5394 0
vsize: 21648
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4015 0 0 0 52990 14 0 0 25 0 1 0 659281361 22167552 3992 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3992 566 18 0 5394 0
vsize: 21648
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4015 0 0 0 53991 15 0 0 25 0 1 0 659281361 22167552 3992 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3992 566 18 0 5394 0
vsize: 21648
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4015 0 0 0 54991 15 0 0 25 0 1 0 659281361 22167552 3992 4294967295 134512640 134581331 3221221808 3221220736 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3992 566 18 0 5394 0
vsize: 21648
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4163 0 0 0 55990 15 0 0 25 0 1 0 659281361 22831104 4140 4294967295 134512640 134581331 3221221808 3221220704 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5574 4140 566 18 0 5556 0
vsize: 22296
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4163 0 0 0 56991 15 0 0 25 0 1 0 659281361 22831104 4140 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5574 4140 566 18 0 5556 0
vsize: 22296
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4166 0 0 0 57991 15 0 0 25 0 1 0 659281361 22831104 4143 4294967295 134512640 134581331 3221221808 3221220688 134520297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5574 4143 566 18 0 5556 0
vsize: 22296
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4166 0 0 0 58991 15 0 0 25 0 1 0 659281361 22831104 4143 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5574 4143 566 18 0 5556 0
vsize: 22296
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4265 0 0 0 59991 16 0 0 25 0 1 0 659281361 23224320 4242 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5670 4242 566 18 0 5652 0
vsize: 22680
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4268 0 0 0 60991 16 0 0 25 0 1 0 659281361 23224320 4245 4294967295 134512640 134581331 3221221808 3221220784 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5670 4245 566 18 0 5652 0
vsize: 22680
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4304 0 0 0 61991 16 0 0 25 0 1 0 659281361 23355392 4281 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5702 4281 566 18 0 5684 0
vsize: 22808
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4304 0 0 0 62991 16 0 0 25 0 1 0 659281361 23355392 4281 4294967295 134512640 134581331 3221221808 3221220772 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5702 4281 566 18 0 5684 0
vsize: 22808
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4363 0 0 0 63990 16 0 0 25 0 1 0 659281361 23633920 4340 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5770 4340 566 18 0 5752 0
vsize: 23080
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4363 0 0 0 64991 16 0 0 25 0 1 0 659281361 23633920 4340 4294967295 134512640 134581331 3221221808 3221220796 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5770 4340 566 18 0 5752 0
vsize: 23080
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4379 0 0 0 65991 16 0 0 25 0 1 0 659281361 23633920 4356 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5770 4356 566 18 0 5752 0
vsize: 23080
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4379 0 0 0 66991 16 0 0 25 0 1 0 659281361 23633920 4356 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5770 4356 566 18 0 5752 0
vsize: 23080
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4425 0 0 0 67991 17 0 0 25 0 1 0 659281361 23896064 4402 4294967295 134512640 134581331 3221221808 3221220784 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4402 566 18 0 5816 0
vsize: 23336
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4425 0 0 0 68991 17 0 0 25 0 1 0 659281361 23896064 4402 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4402 566 18 0 5816 0
vsize: 23336
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 69991 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 70991 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220784 134561006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 71991 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220752 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 72992 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220720 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 73992 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220736 134519955 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 74992 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 75992 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 76992 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220736 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 77992 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220776 134519777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4445 0 0 0 78992 17 0 0 25 0 1 0 659281361 23896064 4422 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4422 566 18 0 5816 0
vsize: 23336
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4446 0 0 0 79992 17 0 0 25 0 1 0 659281361 23896064 4423 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4423 566 18 0 5816 0
vsize: 23336
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4454 0 0 0 80992 17 0 0 25 0 1 0 659281361 24035328 4431 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5868 4431 566 18 0 5850 0
vsize: 23472
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4472 0 0 0 81992 17 0 0 25 0 1 0 659281361 24035328 4449 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5868 4449 566 18 0 5850 0
vsize: 23472
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4472 0 0 0 82992 17 0 0 25 0 1 0 659281361 24035328 4449 4294967295 134512640 134581331 3221221808 3221220736 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5868 4449 566 18 0 5850 0
vsize: 23472
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4472 0 0 0 83993 17 0 0 25 0 1 0 659281361 24035328 4449 4294967295 134512640 134581331 3221221808 3221220736 134519988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5868 4449 566 18 0 5850 0
vsize: 23472
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4472 0 0 0 84993 17 0 0 25 0 1 0 659281361 24035328 4449 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5868 4449 566 18 0 5850 0
vsize: 23472
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4562 0 0 0 85993 17 0 0 25 0 1 0 659281361 24432640 4539 4294967295 134512640 134581331 3221221808 3221220736 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4539 566 18 0 5947 0
vsize: 23860
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4660 0 0 0 86993 18 0 0 25 0 1 0 659281361 24829952 4637 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6062 4637 566 18 0 6044 0
vsize: 24248
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4660 0 0 0 87993 18 0 0 25 0 1 0 659281361 24829952 4637 4294967295 134512640 134581331 3221221808 3221220780 134554652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6062 4637 566 18 0 6044 0
vsize: 24248
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4790 0 0 0 88993 18 0 0 25 0 1 0 659281361 25358336 4767 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6191 4767 566 18 0 6173 0
vsize: 24764
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4790 0 0 0 89993 18 0 0 25 0 1 0 659281361 25358336 4767 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6191 4767 566 18 0 6173 0
vsize: 24764
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4877 0 0 0 90993 18 0 0 25 0 1 0 659281361 25751552 4854 4294967295 134512640 134581331 3221221808 3221220688 134560474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6287 4854 566 18 0 6269 0
vsize: 25148
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4982 0 0 0 91993 19 0 0 25 0 1 0 659281361 26148864 4959 4294967295 134512640 134581331 3221221808 3221220736 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6384 4959 566 18 0 6366 0
vsize: 25536
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 4982 0 0 0 92993 19 0 0 25 0 1 0 659281361 26148864 4959 4294967295 134512640 134581331 3221221808 3221220688 134520299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6384 4959 566 18 0 6366 0
vsize: 25536
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 93993 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 94993 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+960.019 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 95993 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220768 134516716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+970.019 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 96994 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220736 134520030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+980.018 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 97994 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220520 1075291317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+990.019 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 98994 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220772 134519893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+1000.02 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 99994 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+1010.02 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 100994 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220800 134561137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+1020.02 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 101994 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+1030.02 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5043 0 0 0 102995 19 0 0 25 0 1 0 659281361 26415104 5020 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5020 566 18 0 6431 0
vsize: 25796
[startup+1040.02 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 103995 19 0 0 25 0 1 0 659281361 26550272 5049 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5049 566 18 0 6464 0
vsize: 25928
[startup+1050.02 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 104995 19 0 0 25 0 1 0 659281361 26550272 5049 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5049 566 18 0 6464 0
vsize: 25928
[startup+1060.02 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 105995 19 0 0 25 0 1 0 659281361 26550272 5049 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5049 566 18 0 6464 0
vsize: 25928
[startup+1070.02 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 106995 19 0 0 25 0 1 0 659281361 26550272 5049 4294967295 134512640 134581331 3221221808 3221220800 134561068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5049 566 18 0 6464 0
vsize: 25928
[startup+1080.02 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 5145
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 107995 19 0 0 25 0 1 0 659281361 26550272 5049 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5049 566 18 0 6464 0
vsize: 25928
[startup+1090.02 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 5146
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 108995 19 0 0 25 0 1 0 659281361 26550272 5049 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5049 566 18 0 6464 0
vsize: 25928
[startup+1100.15 s]
Raw data (loadavg): 1.08 1.00 0.96 2/58 5188
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 110008 20 0 0 25 0 1 0 659281361 26550272 5049 4294967295 134512640 134581331 3221221808 3221220736 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5049 566 18 0 6464 0
vsize: 25928
[startup+1110.42 s]
Raw data (loadavg): 1.22 1.04 0.98 2/54 5198
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 111034 20 0 0 25 0 1 0 659281361 26542080 5049 4294967295 134512640 134581331 3221221808 3221220752 134558874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5049 566 18 0 6462 0
vsize: 25920
[startup+1120.45 s]
Raw data (loadavg): 1.18 1.03 0.98 2/54 5198
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 112038 20 0 0 25 0 1 0 659281361 26542080 5049 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5049 566 18 0 6462 0
vsize: 25920
[startup+1130.72 s]
Raw data (loadavg): 1.16 1.03 0.98 2/54 5198
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 113065 20 0 0 25 0 1 0 659281361 26529792 5049 4294967295 134512640 134581331 3221221808 3221220784 134560711 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6477 5049 566 18 0 6459 0
vsize: 25908
[startup+1140.72 s]
Raw data (loadavg): 1.13 1.03 0.98 2/54 5198
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 114065 20 0 0 25 0 1 0 659281361 26529792 5049 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6477 5049 566 18 0 6459 0
vsize: 25908
[startup+1150.72 s]
Raw data (loadavg): 1.11 1.03 0.98 2/54 5198
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 115065 20 0 0 25 0 1 0 659281361 26529792 5049 4294967295 134512640 134581331 3221221808 3221220736 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6477 5049 566 18 0 6459 0
vsize: 25908
[startup+1160.72 s]
Raw data (loadavg): 1.09 1.03 0.98 2/54 5198
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 116066 20 0 0 25 0 1 0 659281361 26529792 5049 4294967295 134512640 134581331 3221221808 3221220784 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6477 5049 566 18 0 6459 0
vsize: 25908
[startup+1170.72 s]
Raw data (loadavg): 1.08 1.03 0.98 2/54 5200
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 117066 20 0 0 25 0 1 0 659281361 26529792 5049 4294967295 134512640 134581331 3221221808 3221220720 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6477 5049 566 18 0 6459 0
vsize: 25908
[startup+1180.72 s]
Raw data (loadavg): 1.07 1.03 0.98 2/54 5200
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 118066 20 0 0 25 0 1 0 659281361 26525696 5049 4294967295 134512640 134581331 3221221808 3221220800 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6476 5049 566 18 0 6458 0
vsize: 25904
[startup+1190.72 s]
Raw data (loadavg): 1.06 1.02 0.98 2/54 5200
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 119066 20 0 0 25 0 1 0 659281361 26525696 5049 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6476 5049 566 18 0 6458 0
vsize: 25904
[startup+1200.73 s]
Raw data (loadavg): 1.05 1.02 0.98 2/54 5200
Raw data (stat): 5145 (Pueblo) R 5144 7876 7672 0 -1 0 5072 0 0 0 120066 20 0 0 25 0 1 0 659281361 26525696 5049 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6476 5049 566 18 0 6458 0
vsize: 25904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.74 s]
Raw data (loadavg): 1.05 1.02 0.98 1/54 5200
Raw data (stat): 5145 (Pueblo) Z 5144 7876 7672 0 -1 1036 5072 0 0 0 120066 21 0 0 25 0 1 0 659281361 0 0 4294967295 0 0 0 0 0 0 0 1 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.74
CPU time (s): 1200.89
CPU user time (s): 1200.67
CPU system time (s): 0.217966
CPU usage (%): 100.012
Max. virtual memory (Kb): 25928
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####