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-par32-5.opb
MD5SUM	9b244c88702eddacf15d45f12fda5eb0
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	6352
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	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13501
Number of constraints which are clauses	13501
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	1
Maximum length of a constraint	3
Trace number 24200

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 04:34:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1906 boxname=wulflinc31 idbench=212 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  9b244c88702eddacf15d45f12fda5eb0  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5.opb
IDLAUNCH: 1906
/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:        134968 kB
Buffers:         42852 kB
Cached:         822416 kB
SwapCached:        644 kB
Active:         496204 kB
Inactive:       371352 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        134716 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26580 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 04:54:28 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 1906 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.85 0.94 0.90 2/54 19619
Raw data (stat): 19619 (runsolver) R 19618 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 697760541 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.0008 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1217 0 0 0 993 4 0 0 25 0 1 0 697760541 10747904 1194 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1194 566 18 0 2606 0
vsize: 10496
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1225 0 0 0 1993 4 0 0 25 0 1 0 697760541 10747904 1202 4294967295 134512640 134581331 3221221792 3221220672 134520299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1202 566 18 0 2606 0
vsize: 10496
[startup+30.0025 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1439 0 0 0 2992 5 0 0 25 0 1 0 697760541 11669504 1416 4294967295 134512640 134581331 3221221792 3221220784 134561062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2849 1416 566 18 0 2831 0
vsize: 11396
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1570 0 0 0 3992 5 0 0 25 0 1 0 697760541 12197888 1547 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2978 1547 566 18 0 2960 0
vsize: 11912
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1580 0 0 0 4992 5 0 0 25 0 1 0 697760541 12197888 1557 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2978 1557 566 18 0 2960 0
vsize: 11912
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1646 0 0 0 5992 5 0 0 25 0 1 0 697760541 12460032 1623 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3042 1623 566 18 0 3024 0
vsize: 12168
[startup+70.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1650 0 0 0 6992 5 0 0 25 0 1 0 697760541 12460032 1627 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3042 1627 566 18 0 3024 0
vsize: 12168
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1729 0 0 0 7992 6 0 0 25 0 1 0 697760541 12726272 1706 4294967295 134512640 134581331 3221221792 3221220672 134560232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3107 1706 566 18 0 3089 0
vsize: 12428
[startup+90.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1747 0 0 0 8992 6 0 0 25 0 1 0 697760541 12873728 1724 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1724 566 18 0 3125 0
vsize: 12572
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1823 0 0 0 9992 6 0 0 25 0 1 0 697760541 13266944 1800 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3239 1800 566 18 0 3221 0
vsize: 12956
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1823 0 0 0 10993 6 0 0 25 0 1 0 697760541 13266944 1800 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3239 1800 566 18 0 3221 0
vsize: 12956
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1914 0 0 0 11992 6 0 0 25 0 1 0 697760541 13692928 1891 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1891 566 18 0 3325 0
vsize: 13372
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1928 0 0 0 12993 6 0 0 25 0 1 0 697760541 13692928 1905 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1905 566 18 0 3325 0
vsize: 13372
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 1929 0 0 0 13993 6 0 0 25 0 1 0 697760541 13692928 1906 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1906 566 18 0 3325 0
vsize: 13372
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2026 0 0 0 14992 7 0 0 25 0 1 0 697760541 14114816 2003 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2003 566 18 0 3428 0
vsize: 13784
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2026 0 0 0 15992 7 0 0 25 0 1 0 697760541 14114816 2003 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2003 566 18 0 3428 0
vsize: 13784
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2107 0 0 0 16992 7 0 0 25 0 1 0 697760541 14389248 2084 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2084 566 18 0 3495 0
vsize: 14052
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 17992 7 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220848 134556137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 18993 7 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 19993 7 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220672 134520228 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 20993 7 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 21993 7 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220736 134559263 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 22993 7 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 23993 7 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2201 0 0 0 24993 8 0 0 25 0 1 0 697760541 14786560 2178 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2178 566 18 0 3592 0
vsize: 14440
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2266 0 0 0 25993 8 0 0 25 0 1 0 697760541 15069184 2243 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2243 566 18 0 3661 0
vsize: 14716
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2310 0 0 0 26993 8 0 0 25 0 1 0 697760541 15200256 2287 4294967295 134512640 134581331 3221221792 3221220784 134561125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3711 2287 566 18 0 3693 0
vsize: 14844
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2315 0 0 0 27993 8 0 0 25 0 1 0 697760541 15355904 2292 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2292 566 18 0 3731 0
vsize: 14996
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2315 0 0 0 28993 8 0 0 25 0 1 0 697760541 15355904 2292 4294967295 134512640 134581331 3221221792 3221220672 134560350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2292 566 18 0 3731 0
vsize: 14996
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2315 0 0 0 29994 9 0 0 25 0 1 0 697760541 15355904 2292 4294967295 134512640 134581331 3221221792 3221220672 134560479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2292 566 18 0 3731 0
vsize: 14996
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2315 0 0 0 30994 9 0 0 25 0 1 0 697760541 15355904 2292 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2292 566 18 0 3731 0
vsize: 14996
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2315 0 0 0 31994 9 0 0 25 0 1 0 697760541 15355904 2292 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2292 566 18 0 3731 0
vsize: 14996
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2315 0 0 0 32994 9 0 0 25 0 1 0 697760541 15355904 2292 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2292 566 18 0 3731 0
vsize: 14996
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2321 0 0 0 33994 9 0 0 25 0 1 0 697760541 15355904 2298 4294967295 134512640 134581331 3221221792 3221220720 134519965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2298 566 18 0 3731 0
vsize: 14996
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2324 0 0 0 34994 9 0 0 25 0 1 0 697760541 15355904 2301 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2301 566 18 0 3731 0
vsize: 14996
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2329 0 0 0 35995 9 0 0 25 0 1 0 697760541 15355904 2306 4294967295 134512640 134581331 3221221792 3221220672 134560497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2306 566 18 0 3731 0
vsize: 14996
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2330 0 0 0 36995 9 0 0 25 0 1 0 697760541 15355904 2307 4294967295 134512640 134581331 3221221792 3221220720 134520021 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2307 566 18 0 3731 0
vsize: 14996
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2331 0 0 0 37995 9 0 0 25 0 1 0 697760541 15355904 2308 4294967295 134512640 134581331 3221221792 3221220784 134560949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3749 2308 566 18 0 3731 0
vsize: 14996
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2446 0 0 0 38994 9 0 0 25 0 1 0 697760541 15884288 2423 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2423 566 18 0 3860 0
vsize: 15512
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2548 0 0 0 39994 10 0 0 25 0 1 0 697760541 16277504 2525 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2525 566 18 0 3956 0
vsize: 15896
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2552 0 0 0 40994 10 0 0 25 0 1 0 697760541 16277504 2529 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2529 566 18 0 3956 0
vsize: 15896
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2553 0 0 0 41994 10 0 0 25 0 1 0 697760541 16277504 2530 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2530 566 18 0 3956 0
vsize: 15896
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2555 0 0 0 42995 10 0 0 25 0 1 0 697760541 16277504 2532 4294967295 134512640 134581331 3221221792 3221220720 134519899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2532 566 18 0 3956 0
vsize: 15896
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2555 0 0 0 43995 10 0 0 25 0 1 0 697760541 16277504 2532 4294967295 134512640 134581331 3221221792 3221220672 134560573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2532 566 18 0 3956 0
vsize: 15896
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2555 0 0 0 44995 10 0 0 25 0 1 0 697760541 16277504 2532 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2532 566 18 0 3956 0
vsize: 15896
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2557 0 0 0 45995 10 0 0 25 0 1 0 697760541 16277504 2534 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2534 566 18 0 3956 0
vsize: 15896
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 46995 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220672 134520302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 47995 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 48995 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 49996 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220720 134519899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 50996 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220752 134554708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 51996 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 52996 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 53996 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 54996 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 55997 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220672 134560361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 56997 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220896 134562506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 57997 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220784 134561148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 58997 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220768 134560716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 59997 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2558 0 0 0 60997 10 0 0 25 0 1 0 697760541 16277504 2535 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3974 2535 566 18 0 3956 0
vsize: 15896
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2628 0 0 0 61997 11 0 0 25 0 1 0 697760541 16568320 2605 4294967295 134512640 134581331 3221221792 3221220672 134560459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2605 566 18 0 4027 0
vsize: 16180
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2633 0 0 0 62998 11 0 0 25 0 1 0 697760541 16568320 2610 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2610 566 18 0 4027 0
vsize: 16180
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2639 0 0 0 63998 11 0 0 25 0 1 0 697760541 16715776 2616 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2616 566 18 0 4063 0
vsize: 16324
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2652 0 0 0 64998 11 0 0 25 0 1 0 697760541 16715776 2629 4294967295 134512640 134581331 3221221792 3221220752 134516740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2629 566 18 0 4063 0
vsize: 16324
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2652 0 0 0 65998 11 0 0 25 0 1 0 697760541 16715776 2629 4294967295 134512640 134581331 3221221792 3221220784 134561131 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2629 566 18 0 4063 0
vsize: 16324
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2652 0 0 0 66998 11 0 0 25 0 1 0 697760541 16715776 2629 4294967295 134512640 134581331 3221221792 3221220784 134561164 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2629 566 18 0 4063 0
vsize: 16324
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2652 0 0 0 67998 11 0 0 25 0 1 0 697760541 16715776 2629 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2629 566 18 0 4063 0
vsize: 16324
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2653 0 0 0 68999 11 0 0 25 0 1 0 697760541 16715776 2630 4294967295 134512640 134581331 3221221792 3221220672 134560474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2630 566 18 0 4063 0
vsize: 16324
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2653 0 0 0 69999 11 0 0 25 0 1 0 697760541 16715776 2630 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2630 566 18 0 4063 0
vsize: 16324
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2653 0 0 0 70999 11 0 0 25 0 1 0 697760541 16715776 2630 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2630 566 18 0 4063 0
vsize: 16324
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2654 0 0 0 71999 11 0 0 25 0 1 0 697760541 16715776 2631 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2631 566 18 0 4063 0
vsize: 16324
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2655 0 0 0 72999 11 0 0 25 0 1 0 697760541 16715776 2632 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2632 566 18 0 4063 0
vsize: 16324
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2655 0 0 0 73999 11 0 0 25 0 1 0 697760541 16715776 2632 4294967295 134512640 134581331 3221221792 3221220784 134561148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2632 566 18 0 4063 0
vsize: 16324
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2655 0 0 0 75000 11 0 0 25 0 1 0 697760541 16715776 2632 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2632 566 18 0 4063 0
vsize: 16324
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 76000 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 77000 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 78000 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 79000 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 80000 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 81001 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 82001 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220784 134561142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 83001 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2656 0 0 0 84001 11 0 0 25 0 1 0 697760541 16715776 2633 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2633 566 18 0 4063 0
vsize: 16324
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2657 0 0 0 85001 11 0 0 25 0 1 0 697760541 16715776 2634 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2634 566 18 0 4063 0
vsize: 16324
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2657 0 0 0 86001 12 0 0 25 0 1 0 697760541 16715776 2634 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2634 566 18 0 4063 0
vsize: 16324
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2657 0 0 0 87001 12 0 0 25 0 1 0 697760541 16715776 2634 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2634 566 18 0 4063 0
vsize: 16324
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2657 0 0 0 88001 12 0 0 25 0 1 0 697760541 16715776 2634 4294967295 134512640 134581331 3221221792 3221220784 134561071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2634 566 18 0 4063 0
vsize: 16324
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2658 0 0 0 89001 12 0 0 25 0 1 0 697760541 16715776 2635 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2635 566 18 0 4063 0
vsize: 16324
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2658 0 0 0 90001 12 0 0 25 0 1 0 697760541 16715776 2635 4294967295 134512640 134581331 3221221792 3221220720 134519965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2635 566 18 0 4063 0
vsize: 16324
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2659 0 0 0 91001 12 0 0 25 0 1 0 697760541 16715776 2636 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 2636 566 18 0 4063 0
vsize: 16324
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2710 0 0 0 92001 12 0 0 25 0 1 0 697760541 16977920 2687 4294967295 134512640 134581331 3221221792 3221220784 134561068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4145 2687 566 18 0 4127 0
vsize: 16580
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2724 0 0 0 93001 12 0 0 25 0 1 0 697760541 16977920 2701 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4145 2701 566 18 0 4127 0
vsize: 16580
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2725 0 0 0 94001 12 0 0 25 0 1 0 697760541 16977920 2702 4294967295 134512640 134581331 3221221792 3221220736 134559057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4145 2702 566 18 0 4127 0
vsize: 16580
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2745 0 0 0 95001 12 0 0 25 0 1 0 697760541 17162240 2722 4294967295 134512640 134581331 3221221792 3221220784 134560869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2722 566 18 0 4172 0
vsize: 16760
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2773 0 0 0 96001 12 0 0 25 0 1 0 697760541 17162240 2750 4294967295 134512640 134581331 3221221792 3221220768 134560690 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2750 566 18 0 4172 0
vsize: 16760
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2773 0 0 0 97002 12 0 0 25 0 1 0 697760541 17162240 2750 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2750 566 18 0 4172 0
vsize: 16760
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2773 0 0 0 98002 12 0 0 25 0 1 0 697760541 17162240 2750 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2750 566 18 0 4172 0
vsize: 16760
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2773 0 0 0 99002 12 0 0 25 0 1 0 697760541 17162240 2750 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 2750 566 18 0 4172 0
vsize: 16760
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2804 0 0 0 100002 13 0 0 25 0 1 0 697760541 17326080 2781 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4230 2781 566 18 0 4212 0
vsize: 16920
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2816 0 0 0 101002 13 0 0 25 0 1 0 697760541 17457152 2793 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4262 2793 566 18 0 4244 0
vsize: 17048
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2816 0 0 0 102002 13 0 0 25 0 1 0 697760541 17457152 2793 4294967295 134512640 134581331 3221221792 3221220776 134560678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4262 2793 566 18 0 4244 0
vsize: 17048
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2816 0 0 0 103002 13 0 0 25 0 1 0 697760541 17457152 2793 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4262 2793 566 18 0 4244 0
vsize: 17048
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2816 0 0 0 104002 13 0 0 25 0 1 0 697760541 17457152 2793 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4262 2793 566 18 0 4244 0
vsize: 17048
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2940 0 0 0 105002 13 0 0 25 0 1 0 697760541 17985536 2917 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4391 2917 566 18 0 4373 0
vsize: 17564
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2944 0 0 0 106002 13 0 0 25 0 1 0 697760541 17985536 2921 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4391 2921 566 18 0 4373 0
vsize: 17564
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2950 0 0 0 107002 14 0 0 25 0 1 0 697760541 17985536 2927 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4391 2927 566 18 0 4373 0
vsize: 17564
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2951 0 0 0 108002 14 0 0 25 0 1 0 697760541 17985536 2928 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4391 2928 566 18 0 4373 0
vsize: 17564
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 2953 0 0 0 109002 14 0 0 25 0 1 0 697760541 17985536 2930 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4391 2930 566 18 0 4373 0
vsize: 17564
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 110002 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 111002 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220720 134520099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 112002 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220720 134519788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 113002 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 114002 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 115003 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 116003 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220688 134517912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3024 0 0 0 117003 14 0 0 25 0 1 0 697760541 18247680 3001 4294967295 134512640 134581331 3221221792 3221220720 134519835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3001 566 18 0 4437 0
vsize: 17820
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3025 0 0 0 118003 14 0 0 25 0 1 0 697760541 18247680 3002 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3002 566 18 0 4437 0
vsize: 17820
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3025 0 0 0 119003 14 0 0 25 0 1 0 697760541 18247680 3002 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3002 566 18 0 4437 0
vsize: 17820
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19619
Raw data (stat): 19619 (Pueblo) R 19618 7876 7672 0 -1 0 3025 0 0 0 120003 14 0 0 25 0 1 0 697760541 18247680 3002 4294967295 134512640 134581331 3221221792 3221220720 134519899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3002 566 18 0 4437 0
vsize: 17820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19619
Raw data (stat): 19619 (Pueblo) Z 19618 7876 7672 0 -1 1036 3025 0 0 0 120003 15 0 0 25 0 1 0 697760541 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.156976
CPU usage (%): 100.013
Max. virtual memory (Kb): 17820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####