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-set1ch.opb
MD5SUM	154c7c542b6df7aab333fa859438b34f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65634210
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1662757407
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1662757407
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1252.14
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 25729

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 01:57:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17999 boxname=wulflinc31 idbench=1385 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  154c7c542b6df7aab333fa859438b34f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-set1ch.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-set1ch.opb
IDLAUNCH: 17999
/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:        834144 kB
Buffers:          5784 kB
Cached:         174840 kB
SwapCached:        936 kB
Active:          63584 kB
Inactive:       119168 kB
HighTotal:      131008 kB
HighFree:         9268 kB
LowTotal:       903652 kB
LowFree:        824876 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12116 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 02:17:55 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 17999 7 1200.19 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.97 0.95 2/55 18538
Raw data (stat): 18538 (runsolver) R 18537 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 809154095 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1593 0 0 0 991 5 0 0 25 0 1 0 809154095 12562432 1570 4294967295 134512640 134581331 3221221792 3221220672 134520322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3067 1570 566 18 0 3049 0
vsize: 12268
[startup+20.001 s]
Raw data (loadavg): 0.94 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1625 0 0 0 1991 6 0 0 25 0 1 0 809154095 12693504 1602 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3099 1602 566 18 0 3081 0
vsize: 12396
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1710 0 0 0 2991 6 0 0 25 0 1 0 809154095 12959744 1687 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3164 1687 566 18 0 3146 0
vsize: 12656
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1712 0 0 0 3991 6 0 0 25 0 1 0 809154095 12959744 1689 4294967295 134512640 134581331 3221221792 3221220640 134528554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3164 1689 566 18 0 3146 0
vsize: 12656
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1716 0 0 0 4991 6 0 0 25 0 1 0 809154095 12959744 1693 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3164 1693 566 18 0 3146 0
vsize: 12656
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1734 0 0 0 5991 6 0 0 25 0 1 0 809154095 13094912 1711 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1711 566 18 0 3179 0
vsize: 12788
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1737 0 0 0 6992 6 0 0 25 0 1 0 809154095 13094912 1714 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1714 566 18 0 3179 0
vsize: 12788
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1746 0 0 0 7992 6 0 0 25 0 1 0 809154095 13094912 1723 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1723 566 18 0 3179 0
vsize: 12788
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1761 0 0 0 8992 6 0 0 25 0 1 0 809154095 13230080 1738 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3230 1738 566 18 0 3212 0
vsize: 12920
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1761 0 0 0 9992 6 0 0 25 0 1 0 809154095 13230080 1738 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3230 1738 566 18 0 3212 0
vsize: 12920
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1761 0 0 0 10992 6 0 0 25 0 1 0 809154095 13230080 1738 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3230 1738 566 18 0 3212 0
vsize: 12920
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1773 0 0 0 11992 6 0 0 25 0 1 0 809154095 13230080 1750 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3230 1750 566 18 0 3212 0
vsize: 12920
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 18538
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1782 0 0 0 12992 6 0 0 25 0 1 0 809154095 13230080 1759 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3230 1759 566 18 0 3212 0
vsize: 12920
[startup+140.003 s]
Raw data (loadavg): 1.14 1.00 0.96 2/59 18592
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1784 0 0 0 13991 8 0 0 25 0 1 0 809154095 13369344 1761 4294967295 134512640 134581331 3221221792 3221220736 134558800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1761 566 18 0 3246 0
vsize: 13056
[startup+150.004 s]
Raw data (loadavg): 1.12 1.00 0.96 2/55 18592
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1788 0 0 0 14991 8 0 0 25 0 1 0 809154095 13369344 1765 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1765 566 18 0 3246 0
vsize: 13056
[startup+160.004 s]
Raw data (loadavg): 1.10 1.00 0.96 2/55 18592
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1788 0 0 0 15991 8 0 0 25 0 1 0 809154095 13369344 1765 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1765 566 18 0 3246 0
vsize: 13056
[startup+170.004 s]
Raw data (loadavg): 1.09 1.00 0.96 2/55 18592
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1788 0 0 0 16991 8 0 0 25 0 1 0 809154095 13369344 1765 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1765 566 18 0 3246 0
vsize: 13056
[startup+180.004 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 18592
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1788 0 0 0 17991 8 0 0 25 0 1 0 809154095 13369344 1765 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1765 566 18 0 3246 0
vsize: 13056
[startup+190.004 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 18592
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1794 0 0 0 18991 8 0 0 25 0 1 0 809154095 13369344 1771 4294967295 134512640 134581331 3221221792 3221220648 1075285701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1771 566 18 0 3246 0
vsize: 13056
[startup+200.004 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 18592
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1794 0 0 0 19991 8 0 0 25 0 1 0 809154095 13369344 1771 4294967295 134512640 134581331 3221221792 3221220656 134528323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1771 566 18 0 3246 0
vsize: 13056
[startup+210.004 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1796 0 0 0 20992 8 0 0 25 0 1 0 809154095 13369344 1773 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1773 566 18 0 3246 0
vsize: 13056
[startup+220.005 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1798 0 0 0 21992 8 0 0 25 0 1 0 809154095 13369344 1775 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1775 566 18 0 3246 0
vsize: 13056
[startup+230.005 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1798 0 0 0 22992 8 0 0 25 0 1 0 809154095 13369344 1775 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1775 566 18 0 3246 0
vsize: 13056
[startup+240.005 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1798 0 0 0 23992 8 0 0 25 0 1 0 809154095 13369344 1775 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1775 566 18 0 3246 0
vsize: 13056
[startup+250.005 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1800 0 0 0 24992 8 0 0 25 0 1 0 809154095 13369344 1777 4294967295 134512640 134581331 3221221792 3221220736 134558950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1777 566 18 0 3246 0
vsize: 13056
[startup+260.004 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1800 0 0 0 25992 8 0 0 25 0 1 0 809154095 13369344 1777 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1777 566 18 0 3246 0
vsize: 13056
[startup+270.004 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1800 0 0 0 26992 8 0 0 25 0 1 0 809154095 13369344 1777 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1777 566 18 0 3246 0
vsize: 13056
[startup+280.004 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1808 0 0 0 27993 8 0 0 25 0 1 0 809154095 13369344 1785 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1785 566 18 0 3246 0
vsize: 13056
[startup+290.005 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1808 0 0 0 28993 8 0 0 25 0 1 0 809154095 13369344 1785 4294967295 134512640 134581331 3221221792 3221220756 134519893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1785 566 18 0 3246 0
vsize: 13056
[startup+300.005 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1809 0 0 0 29993 8 0 0 25 0 1 0 809154095 13369344 1786 4294967295 134512640 134581331 3221221792 3221220736 134558819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1786 566 18 0 3246 0
vsize: 13056
[startup+310.005 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1809 0 0 0 30993 8 0 0 25 0 1 0 809154095 13369344 1786 4294967295 134512640 134581331 3221221792 3221220688 134517795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1786 566 18 0 3246 0
vsize: 13056
[startup+320.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1809 0 0 0 31993 8 0 0 25 0 1 0 809154095 13369344 1786 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3264 1786 566 18 0 3246 0
vsize: 13056
[startup+330.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 32993 8 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220704 134527800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 33993 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220720 134519809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+350.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 34993 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+360.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 35993 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+370.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 36993 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220736 134559308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+380.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 37993 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220688 134517964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 38993 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+400.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 39994 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220656 134528325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 40994 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1812 0 0 0 41994 9 0 0 25 0 1 0 809154095 13504512 1789 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1789 566 18 0 3279 0
vsize: 13188
[startup+430.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1824 0 0 0 42994 9 0 0 25 0 1 0 809154095 13504512 1801 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1801 566 18 0 3279 0
vsize: 13188
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1838 0 0 0 43994 9 0 0 25 0 1 0 809154095 13504512 1815 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1815 566 18 0 3279 0
vsize: 13188
[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 1901 0 0 0 44994 9 0 0 25 0 1 0 809154095 13770752 1878 4294967295 134512640 134581331 3221221792 3221220784 134561150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3362 1878 566 18 0 3344 0
vsize: 13448
[startup+460.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2139 0 0 0 45994 10 0 0 25 0 1 0 809154095 14843904 2116 4294967295 134512640 134581331 3221221792 3221220756 134519893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3624 2116 566 18 0 3606 0
vsize: 14496
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2279 0 0 0 46994 10 0 0 25 0 1 0 809154095 15519744 2256 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3789 2256 566 18 0 3771 0
vsize: 15156
[startup+480.008 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18594
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2497 0 0 0 47993 11 0 0 25 0 1 0 809154095 16330752 2474 4294967295 134512640 134581331 3221221792 3221220784 134561068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3987 2474 566 18 0 3969 0
vsize: 15948
[startup+490.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2563 0 0 0 48993 11 0 0 25 0 1 0 809154095 16736256 2540 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2540 566 18 0 4068 0
vsize: 16344
[startup+500.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2563 0 0 0 49993 11 0 0 25 0 1 0 809154095 16736256 2540 4294967295 134512640 134581331 3221221792 3221220736 134559269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2540 566 18 0 4068 0
vsize: 16344
[startup+510.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2563 0 0 0 50994 11 0 0 25 0 1 0 809154095 16736256 2540 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2540 566 18 0 4068 0
vsize: 16344
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2563 0 0 0 51994 11 0 0 25 0 1 0 809154095 16736256 2540 4294967295 134512640 134581331 3221221792 3221220620 134528696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2540 566 18 0 4068 0
vsize: 16344
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2563 0 0 0 52994 11 0 0 25 0 1 0 809154095 16736256 2540 4294967295 134512640 134581331 3221221792 3221220720 134519812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2540 566 18 0 4068 0
vsize: 16344
[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2567 0 0 0 53994 11 0 0 25 0 1 0 809154095 16736256 2544 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2544 566 18 0 4068 0
vsize: 16344
[startup+550.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2567 0 0 0 54994 11 0 0 25 0 1 0 809154095 16736256 2544 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2544 566 18 0 4068 0
vsize: 16344
[startup+560.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2567 0 0 0 55994 11 0 0 25 0 1 0 809154095 16736256 2544 4294967295 134512640 134581331 3221221792 3221220656 134528414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2544 566 18 0 4068 0
vsize: 16344
[startup+570.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2567 0 0 0 56994 11 0 0 25 0 1 0 809154095 16736256 2544 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2544 566 18 0 4068 0
vsize: 16344
[startup+580.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2570 0 0 0 57995 11 0 0 25 0 1 0 809154095 16736256 2547 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2547 566 18 0 4068 0
vsize: 16344
[startup+590.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2573 0 0 0 58995 11 0 0 25 0 1 0 809154095 16736256 2550 4294967295 134512640 134581331 3221221792 3221220784 134561148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2550 566 18 0 4068 0
vsize: 16344
[startup+600.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2580 0 0 0 59995 11 0 0 25 0 1 0 809154095 16736256 2557 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2557 566 18 0 4068 0
vsize: 16344
[startup+610.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2581 0 0 0 60995 11 0 0 25 0 1 0 809154095 16736256 2558 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2558 566 18 0 4068 0
vsize: 16344
[startup+620.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2581 0 0 0 61995 11 0 0 25 0 1 0 809154095 16736256 2558 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2558 566 18 0 4068 0
vsize: 16344
[startup+630.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2586 0 0 0 62995 11 0 0 25 0 1 0 809154095 16736256 2563 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2563 566 18 0 4068 0
vsize: 16344
[startup+640.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2586 0 0 0 63996 11 0 0 25 0 1 0 809154095 16736256 2563 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2563 566 18 0 4068 0
vsize: 16344
[startup+650.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2586 0 0 0 64996 11 0 0 25 0 1 0 809154095 16736256 2563 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2563 566 18 0 4068 0
vsize: 16344
[startup+660.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2586 0 0 0 65996 11 0 0 25 0 1 0 809154095 16736256 2563 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2563 566 18 0 4068 0
vsize: 16344
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2586 0 0 0 66996 11 0 0 25 0 1 0 809154095 16736256 2563 4294967295 134512640 134581331 3221221792 3221220672 134520432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4086 2563 566 18 0 4068 0
vsize: 16344
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2593 0 0 0 67996 11 0 0 25 0 1 0 809154095 16871424 2570 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2570 566 18 0 4101 0
vsize: 16476
[startup+690.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2596 0 0 0 68996 11 0 0 25 0 1 0 809154095 16871424 2573 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2573 566 18 0 4101 0
vsize: 16476
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 69996 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+710.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 70997 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+720.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 71997 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+730.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 72997 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 73997 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+750.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 74997 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220760 134519777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+760.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 75997 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+770.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 76997 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+780.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 77998 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+790.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 78998 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+800.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 79998 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+810.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 80998 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+820.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 81998 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+830.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 82998 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+840.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 83999 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+850.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 84999 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+860.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 85999 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+870.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 86999 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220752 134516740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+880.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 87999 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 89000 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 90000 11 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 91000 12 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+920.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 92000 12 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+930.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 93000 12 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+940.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 94000 12 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+950.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 95000 12 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+960.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 96000 12 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2597 0 0 0 97000 12 0 0 25 0 1 0 809154095 16871424 2574 4294967295 134512640 134581331 3221221792 3221220756 134519893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2574 566 18 0 4101 0
vsize: 16476
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2598 0 0 0 98000 12 0 0 25 0 1 0 809154095 16871424 2575 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2575 566 18 0 4101 0
vsize: 16476
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2598 0 0 0 99000 12 0 0 25 0 1 0 809154095 16871424 2575 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2575 566 18 0 4101 0
vsize: 16476
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2598 0 0 0 100000 13 0 0 25 0 1 0 809154095 16871424 2575 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2575 566 18 0 4101 0
vsize: 16476
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2598 0 0 0 101001 13 0 0 25 0 1 0 809154095 16871424 2575 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2575 566 18 0 4101 0
vsize: 16476
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2598 0 0 0 102001 13 0 0 25 0 1 0 809154095 16871424 2575 4294967295 134512640 134581331 3221221792 3221220772 134561096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2575 566 18 0 4101 0
vsize: 16476
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2598 0 0 0 103001 13 0 0 25 0 1 0 809154095 16871424 2575 4294967295 134512640 134581331 3221221792 3221220640 134527198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2575 566 18 0 4101 0
vsize: 16476
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2601 0 0 0 104001 13 0 0 25 0 1 0 809154095 16871424 2578 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2578 566 18 0 4101 0
vsize: 16476
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2609 0 0 0 105001 13 0 0 25 0 1 0 809154095 16871424 2586 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4119 2586 566 18 0 4101 0
vsize: 16476
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2622 0 0 0 106001 13 0 0 25 0 1 0 809154095 17018880 2599 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2599 566 18 0 4137 0
vsize: 16620
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2630 0 0 0 107001 13 0 0 25 0 1 0 809154095 17018880 2607 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2607 566 18 0 4137 0
vsize: 16620
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2630 0 0 0 108002 13 0 0 25 0 1 0 809154095 17018880 2607 4294967295 134512640 134581331 3221221792 3221220656 134528350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2607 566 18 0 4137 0
vsize: 16620
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2637 0 0 0 109002 13 0 0 25 0 1 0 809154095 17018880 2614 4294967295 134512640 134581331 3221221792 3221220208 134566356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2614 566 18 0 4137 0
vsize: 16620
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2644 0 0 0 110002 13 0 0 25 0 1 0 809154095 17018880 2621 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2621 566 18 0 4137 0
vsize: 16620
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2646 0 0 0 111002 13 0 0 25 0 1 0 809154095 17018880 2623 4294967295 134512640 134581331 3221221792 3221220752 134516747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2623 566 18 0 4137 0
vsize: 16620
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2646 0 0 0 112002 13 0 0 25 0 1 0 809154095 17018880 2623 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2623 566 18 0 4137 0
vsize: 16620
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2649 0 0 0 113003 13 0 0 25 0 1 0 809154095 17018880 2626 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2626 566 18 0 4137 0
vsize: 16620
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2649 0 0 0 114003 13 0 0 25 0 1 0 809154095 17018880 2626 4294967295 134512640 134581331 3221221792 3221220756 134519893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2626 566 18 0 4137 0
vsize: 16620
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2649 0 0 0 115003 13 0 0 25 0 1 0 809154095 17018880 2626 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2626 566 18 0 4137 0
vsize: 16620
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2650 0 0 0 116003 13 0 0 25 0 1 0 809154095 17018880 2627 4294967295 134512640 134581331 3221221792 3221220784 134561142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2627 566 18 0 4137 0
vsize: 16620
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2653 0 0 0 117003 13 0 0 25 0 1 0 809154095 17018880 2630 4294967295 134512640 134581331 3221221792 3221220688 134517615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2630 566 18 0 4137 0
vsize: 16620
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2653 0 0 0 118003 13 0 0 25 0 1 0 809154095 17018880 2630 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4155 2630 566 18 0 4137 0
vsize: 16620
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2656 0 0 0 119004 13 0 0 25 0 1 0 809154095 17166336 2633 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2633 566 18 0 4173 0
vsize: 16764
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18596
Raw data (stat): 18538 (Pueblo) R 18537 7876 7672 0 -1 0 2656 0 0 0 120004 13 0 0 25 0 1 0 809154095 17166336 2633 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2633 566 18 0 4173 0
vsize: 16764
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 18596
Raw data (stat): 18538 (Pueblo) Z 18537 7876 7672 0 -1 1036 2656 0 0 0 120004 14 0 0 25 0 1 0 809154095 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.04
CPU time (s): 1200.19
CPU user time (s): 1200.04
CPU system time (s): 0.144977
CPU usage (%): 100.013
Max. virtual memory (Kb): 16764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####