PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.04
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 25805

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 16:07:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17427 boxname=wulflinc31 idbench=1341 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 17427
/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:        899504 kB
Buffers:          4316 kB
Cached:         110872 kB
SwapCached:       1024 kB
Active:          65732 kB
Inactive:        51696 kB
HighTotal:      131008 kB
HighFree:        19544 kB
LowTotal:       903652 kB
LowFree:        879960 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12068 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 16:27:29 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 17427 7 1200.2 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.93 0.98 0.93 2/55 26598
Raw data (stat): 26598 (runsolver) R 26597 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 814251999 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 2075 0 0 0 989 7 0 0 25 0 1 0 814251999 14401536 2052 4294967295 134512640 134581331 3221221792 3221220736 134559285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3516 2052 566 18 0 3498 0
vsize: 14064
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 2270 0 0 0 1989 8 0 0 25 0 1 0 814251999 15220736 2247 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3716 2247 566 18 0 3698 0
vsize: 14864
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 2561 0 0 0 2988 8 0 0 25 0 1 0 814251999 16424960 2538 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4010 2538 566 18 0 3992 0
vsize: 16040
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 2876 0 0 0 3987 9 0 0 25 0 1 0 814251999 17674240 2853 4294967295 134512640 134581331 3221221792 3221220576 134528769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4315 2853 566 18 0 4297 0
vsize: 17260
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 3116 0 0 0 4987 10 0 0 25 0 1 0 814251999 18763776 3093 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4581 3093 566 18 0 4563 0
vsize: 18324
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 3434 0 0 0 5986 11 0 0 25 0 1 0 814251999 20045824 3411 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4894 3411 566 18 0 4876 0
vsize: 19576
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 3801 0 0 0 6985 12 0 0 25 0 1 0 814251999 21540864 3778 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5259 3778 566 18 0 5241 0
vsize: 21036
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 4092 0 0 0 7984 13 0 0 25 0 1 0 814251999 22663168 4069 4294967295 134512640 134581331 3221221792 3221220512 134522581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5533 4069 566 18 0 5515 0
vsize: 22132
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 4360 0 0 0 8984 13 0 0 25 0 1 0 814251999 23764992 4337 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5802 4337 566 18 0 5784 0
vsize: 23208
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 4616 0 0 0 9983 15 0 0 25 0 1 0 814251999 24834048 4593 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6063 4593 566 18 0 6045 0
vsize: 24252
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 4939 0 0 0 10982 16 0 0 25 0 1 0 814251999 26238976 4916 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6406 4916 566 18 0 6388 0
vsize: 25624
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5310 0 0 0 11980 17 0 0 25 0 1 0 814251999 27717632 5287 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6767 5287 566 18 0 6749 0
vsize: 27068
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5560 0 0 0 12980 18 0 0 25 0 1 0 814251999 28794880 5537 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7030 5537 566 18 0 7012 0
vsize: 28120
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5560 0 0 0 13979 18 0 0 25 0 1 0 814251999 28794880 5537 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7030 5537 566 18 0 7012 0
vsize: 28120
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5579 0 0 0 14979 19 0 0 25 0 1 0 814251999 28794880 5556 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7030 5556 566 18 0 7012 0
vsize: 28120
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5579 0 0 0 15979 19 0 0 25 0 1 0 814251999 28794880 5556 4294967295 134512640 134581331 3221221792 3221220512 134522588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7030 5556 566 18 0 7012 0
vsize: 28120
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5579 0 0 0 16979 19 0 0 25 0 1 0 814251999 28794880 5556 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7030 5556 566 18 0 7012 0
vsize: 28120
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5585 0 0 0 17979 19 0 0 25 0 1 0 814251999 28934144 5562 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 5562 566 18 0 7046 0
vsize: 28256
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5613 0 0 0 18979 19 0 0 25 0 1 0 814251999 28934144 5590 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7064 5590 566 18 0 7046 0
vsize: 28256
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 5999 0 0 0 19978 21 0 0 25 0 1 0 814251999 30576640 5976 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5976 566 18 0 7447 0
vsize: 29860
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6009 0 0 0 20977 21 0 0 25 0 1 0 814251999 30576640 5986 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5986 566 18 0 7447 0
vsize: 29860
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6010 0 0 0 21977 21 0 0 25 0 1 0 814251999 30576640 5987 4294967295 134512640 134581331 3221221792 3221220656 134528344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5987 566 18 0 7447 0
vsize: 29860
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6010 0 0 0 22977 22 0 0 25 0 1 0 814251999 30576640 5987 4294967295 134512640 134581331 3221221792 3221220512 134523148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5987 566 18 0 7447 0
vsize: 29860
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6010 0 0 0 23977 22 0 0 25 0 1 0 814251999 30576640 5987 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5987 566 18 0 7447 0
vsize: 29860
[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6010 0 0 0 24977 22 0 0 25 0 1 0 814251999 30576640 5987 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7465 5987 566 18 0 7447 0
vsize: 29860
[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6010 0 0 0 25977 22 0 0 25 0 1 0 814251999 30576640 5987 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7465 5987 566 18 0 7447 0
vsize: 29860
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6010 0 0 0 26977 22 0 0 25 0 1 0 814251999 30576640 5987 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7465 5987 566 18 0 7447 0
vsize: 29860
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6057 0 0 0 27977 22 0 0 25 0 1 0 814251999 30851072 6034 4294967295 134512640 134581331 3221221792 3221220416 134556176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7532 6034 566 18 0 7514 0
vsize: 30128
[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6283 0 0 0 28977 23 0 0 25 0 1 0 814251999 31674368 6260 4294967295 134512640 134581331 3221221792 3221220464 134531724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7733 6260 566 18 0 7715 0
vsize: 30932
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6345 0 0 0 29977 23 0 0 25 0 1 0 814251999 31948800 6322 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7800 6322 566 18 0 7782 0
vsize: 31200
[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6345 0 0 0 30977 23 0 0 25 0 1 0 814251999 31764480 6287 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7755 6287 566 18 0 7737 0
vsize: 31020
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6345 0 0 0 31977 23 0 0 25 0 1 0 814251999 31764480 6287 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7755 6287 566 18 0 7737 0
vsize: 31020
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6345 0 0 0 32977 23 0 0 25 0 1 0 814251999 31752192 6284 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7752 6284 566 18 0 7734 0
vsize: 31008
[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6364 0 0 0 33978 23 0 0 25 0 1 0 814251999 31870976 6299 4294967295 134512640 134581331 3221221792 3221220512 134522581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6299 566 18 0 7763 0
vsize: 31124
[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6404 0 0 0 34977 24 0 0 25 0 1 0 814251999 31961088 6335 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7803 6335 566 18 0 7785 0
vsize: 31212
[startup+360.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6404 0 0 0 35978 24 0 0 25 0 1 0 814251999 31961088 6335 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7803 6335 566 18 0 7785 0
vsize: 31212
[startup+370.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 36977 24 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+380.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 37977 24 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221219072 134532743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+390.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 38977 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+400.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 39978 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220512 134522604 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+410.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 40978 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+420.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 41978 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220688 134517824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+430.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 42978 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+440.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 43978 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+450.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 44978 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+460.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 45979 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220704 134518996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+470.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 46979 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+480.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 47979 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+490.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 48979 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+500.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 49979 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+510.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 50979 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+520.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 51979 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+530.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 52980 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+540.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6716 0 0 0 53980 25 0 0 25 0 1 0 814251999 33349632 6647 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8142 6647 566 18 0 8124 0
vsize: 32568
[startup+550.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 6872 0 0 0 54979 26 0 0 25 0 1 0 814251999 33906688 6803 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8278 6803 566 18 0 8260 0
vsize: 33112
[startup+560.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7066 0 0 0 55979 26 0 0 25 0 1 0 814251999 34738176 6997 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8481 6997 566 18 0 8463 0
vsize: 33924
[startup+570.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7113 0 0 0 56980 26 0 0 25 0 1 0 814251999 34873344 7044 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8514 7044 566 18 0 8496 0
vsize: 34056
[startup+580.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7120 0 0 0 57980 26 0 0 25 0 1 0 814251999 34955264 7051 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8534 7051 566 18 0 8516 0
vsize: 34136
[startup+590.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7136 0 0 0 58980 26 0 0 25 0 1 0 814251999 34955264 7067 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8534 7067 566 18 0 8516 0
vsize: 34136
[startup+600.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7136 0 0 0 59980 26 0 0 25 0 1 0 814251999 34955264 7067 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8534 7067 566 18 0 8516 0
vsize: 34136
[startup+610.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7170 0 0 0 60980 26 0 0 25 0 1 0 814251999 35041280 7089 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8555 7089 566 18 0 8537 0
vsize: 34220
[startup+620.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7172 0 0 0 61980 26 0 0 25 0 1 0 814251999 35127296 7091 4294967295 134512640 134581331 3221221792 3221220656 134528416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8576 7091 566 18 0 8558 0
vsize: 34304
[startup+630.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7175 0 0 0 62980 26 0 0 25 0 1 0 814251999 35127296 7094 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8576 7094 566 18 0 8558 0
vsize: 34304
[startup+640.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7207 0 0 0 63981 26 0 0 25 0 1 0 814251999 35254272 7126 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8607 7126 566 18 0 8589 0
vsize: 34428
[startup+650.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7290 0 0 0 64981 26 0 0 25 0 1 0 814251999 35549184 7209 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8679 7209 566 18 0 8661 0
vsize: 34716
[startup+660.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7443 0 0 0 65980 27 0 0 25 0 1 0 814251999 36245504 7362 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8849 7362 566 18 0 8831 0
vsize: 35396
[startup+670.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7721 0 0 0 66980 27 0 0 25 0 1 0 814251999 37322752 7640 4294967295 134512640 134581331 3221221792 3221220508 1075288765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9112 7640 566 18 0 9094 0
vsize: 36448
[startup+680.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7802 0 0 0 67980 27 0 0 25 0 1 0 814251999 37720064 7721 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9209 7721 566 18 0 9191 0
vsize: 36836
[startup+690.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7802 0 0 0 68981 27 0 0 25 0 1 0 814251999 37720064 7721 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9209 7721 566 18 0 9191 0
vsize: 36836
[startup+700.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7802 0 0 0 69981 27 0 0 25 0 1 0 814251999 37720064 7721 4294967295 134512640 134581331 3221221792 3221218848 134532827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9209 7721 566 18 0 9191 0
vsize: 36836
[startup+710.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7835 0 0 0 70981 27 0 0 25 0 1 0 814251999 37859328 7754 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9243 7754 566 18 0 9225 0
vsize: 36972
[startup+720.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 71981 27 0 0 25 0 1 0 814251999 37933056 7780 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9261 7780 566 18 0 9243 0
vsize: 37044
[startup+730.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 72981 27 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220512 134522603 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+740.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 73981 27 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220672 134558193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+750.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 74982 27 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+760.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 75982 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+770.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 76982 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 77982 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+790.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 78982 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+800.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 79982 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220512 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+810.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 80983 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 81983 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 82983 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+840.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 83983 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+850.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 84983 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+860.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 85983 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+870.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7861 0 0 0 86984 28 0 0 25 0 1 0 814251999 37797888 7762 4294967295 134512640 134581331 3221221792 3221220736 134560091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7762 566 18 0 9210 0
vsize: 36912
[startup+880.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7862 0 0 0 87984 28 0 0 25 0 1 0 814251999 37797888 7763 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7763 566 18 0 9210 0
vsize: 36912
[startup+890.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 88984 28 0 0 25 0 1 0 814251999 37797888 7764 4294967295 134512640 134581331 3221221792 3221220736 134558939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9228 7764 566 18 0 9210 0
vsize: 36912
[startup+900.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 89984 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+910.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 90984 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+920.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 91985 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+930.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 92985 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+940.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 93985 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 94985 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+960.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 95985 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220676 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+970.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 96985 28 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+980.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 97985 29 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+990.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7863 0 0 0 98985 29 0 0 25 0 1 0 814251999 37662720 7731 4294967295 134512640 134581331 3221221792 3221220512 134522588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9195 7731 566 18 0 9177 0
vsize: 36780
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7869 0 0 0 99985 29 0 0 25 0 1 0 814251999 37818368 7737 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9233 7737 566 18 0 9215 0
vsize: 36932
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 7987 0 0 0 100985 29 0 0 25 0 1 0 814251999 38211584 7855 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9329 7855 566 18 0 9311 0
vsize: 37316
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8308 0 0 0 101985 30 0 0 25 0 1 0 814251999 39567360 8176 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9660 8176 566 18 0 9642 0
vsize: 38640
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8470 0 0 0 102984 30 0 0 25 0 1 0 814251999 40169472 8338 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9807 8338 566 18 0 9789 0
vsize: 39228
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8648 0 0 0 103984 31 0 0 25 0 1 0 814251999 40886272 8516 4294967295 134512640 134581331 3221221792 3221220656 134528500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 8516 566 18 0 9964 0
vsize: 39928
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8894 0 0 0 104983 32 0 0 25 0 1 0 814251999 41992192 8762 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10252 8762 566 18 0 10234 0
vsize: 41008
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8923 0 0 0 105983 32 0 0 25 0 1 0 814251999 42106880 8791 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10280 8791 566 18 0 10262 0
vsize: 41120
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8959 0 0 0 106983 32 0 0 25 0 1 0 814251999 42246144 8827 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10314 8827 566 18 0 10296 0
vsize: 41256
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8989 0 0 0 107983 32 0 0 25 0 1 0 814251999 42315776 8857 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10331 8857 566 18 0 10313 0
vsize: 41324
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8989 0 0 0 108984 32 0 0 25 0 1 0 814251999 42246144 8850 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10314 8850 566 18 0 10296 0
vsize: 41256
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8989 0 0 0 109984 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220656 134528422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8989 0 0 0 110984 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8989 0 0 0 111984 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 8989 0 0 0 112984 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 9022 0 0 0 113984 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 9022 0 0 0 114984 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 9022 0 0 0 115984 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220736 134516847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 9022 0 0 0 116985 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 9022 0 0 0 117985 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 9022 0 0 0 118985 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 26598
Raw data (stat): 26598 (Pueblo) R 26597 7876 7672 0 -1 0 9022 0 0 0 119985 32 0 0 25 0 1 0 814251999 42225664 8845 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10309 8845 566 18 0 10291 0
vsize: 41236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.93 1/55 26598
Raw data (stat): 26598 (Pueblo) Z 26597 7876 7672 0 -1 1036 9022 0 0 0 119985 34 0 0 25 0 1 0 814251999 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.08
CPU time (s): 1200.2
CPU user time (s): 1199.86
CPU system time (s): 0.346947
CPU usage (%): 100.011
Max. virtual memory (Kb): 41324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####