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-1.opb
MD5SUM	64e81a7b23abbb8a6da4e2377ea69dee
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	13453
Number of constraints which are clauses	13453
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 24160

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 13:41:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1834 boxname=wulflinc31 idbench=204 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  64e81a7b23abbb8a6da4e2377ea69dee  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1.opb
IDLAUNCH: 1834
/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:        138524 kB
Buffers:         41888 kB
Cached:         819640 kB
SwapCached:        644 kB
Active:         493336 kB
Inactive:       370536 kB
HighTotal:      131008 kB
HighFree:         1960 kB
LowTotal:       903652 kB
LowFree:        136564 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26596 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 14:01:49 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 1834 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.91 0.95 0.90 2/54 15824
Raw data (stat): 15824 (runsolver) R 15823 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 692404076 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1222 0 0 0 993 4 0 0 25 0 1 0 692404076 10747904 1199 4294967295 134512640 134581331 3221221792 3221220672 134560497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1199 566 18 0 2606 0
vsize: 10496
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1358 0 0 0 1993 4 0 0 25 0 1 0 692404076 11280384 1335 4294967295 134512640 134581331 3221221792 3221220784 134561138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2754 1335 566 18 0 2736 0
vsize: 11016
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1447 0 0 0 2993 5 0 0 25 0 1 0 692404076 11677696 1424 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2851 1424 566 18 0 2833 0
vsize: 11404
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1600 0 0 0 3992 5 0 0 25 0 1 0 692404076 12349440 1577 4294967295 134512640 134581331 3221221792 3221220672 134560495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 1577 566 18 0 2997 0
vsize: 12060
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1600 0 0 0 4992 5 0 0 25 0 1 0 692404076 12349440 1577 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 1577 566 18 0 2997 0
vsize: 12060
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1606 0 0 0 5993 5 0 0 25 0 1 0 692404076 12349440 1583 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 1583 566 18 0 2997 0
vsize: 12060
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1610 0 0 0 6993 5 0 0 25 0 1 0 692404076 12349440 1587 4294967295 134512640 134581331 3221221792 3221220720 134519788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 1587 566 18 0 2997 0
vsize: 12060
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1723 0 0 0 7993 5 0 0 25 0 1 0 692404076 12877824 1700 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3144 1700 566 18 0 3126 0
vsize: 12576
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1740 0 0 0 8993 5 0 0 25 0 1 0 692404076 12877824 1717 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3144 1717 566 18 0 3126 0
vsize: 12576
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1844 0 0 0 9993 6 0 0 25 0 1 0 692404076 13271040 1821 4294967295 134512640 134581331 3221221792 3221220672 134520244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 1821 566 18 0 3222 0
vsize: 12960
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1860 0 0 0 10993 6 0 0 25 0 1 0 692404076 13410304 1837 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3274 1837 566 18 0 3256 0
vsize: 13096
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1894 0 0 0 11993 6 0 0 25 0 1 0 692404076 13545472 1871 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3307 1871 566 18 0 3289 0
vsize: 13228
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1924 0 0 0 12993 6 0 0 25 0 1 0 692404076 13680640 1901 4294967295 134512640 134581331 3221221792 3221220784 134561148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1901 566 18 0 3322 0
vsize: 13360
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1935 0 0 0 13993 6 0 0 25 0 1 0 692404076 13828096 1912 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3376 1912 566 18 0 3358 0
vsize: 13504
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1944 0 0 0 14993 6 0 0 25 0 1 0 692404076 13828096 1921 4294967295 134512640 134581331 3221221792 3221220784 134561128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3376 1921 566 18 0 3358 0
vsize: 13504
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1953 0 0 0 15993 6 0 0 25 0 1 0 692404076 13828096 1930 4294967295 134512640 134581331 3221221792 3221220720 134519844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3376 1930 566 18 0 3358 0
vsize: 13504
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1966 0 0 0 16994 6 0 0 25 0 1 0 692404076 13975552 1943 4294967295 134512640 134581331 3221221792 3221220700 134520140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 1943 566 18 0 3394 0
vsize: 13648
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1969 0 0 0 17994 6 0 0 25 0 1 0 692404076 13975552 1946 4294967295 134512640 134581331 3221221792 3221220700 134560303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 1946 566 18 0 3394 0
vsize: 13648
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1969 0 0 0 18994 6 0 0 25 0 1 0 692404076 13975552 1946 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 1946 566 18 0 3394 0
vsize: 13648
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1969 0 0 0 19994 6 0 0 25 0 1 0 692404076 13975552 1946 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 1946 566 18 0 3394 0
vsize: 13648
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 1972 0 0 0 20994 6 0 0 25 0 1 0 692404076 13975552 1949 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 1949 566 18 0 3394 0
vsize: 13648
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2060 0 0 0 21994 6 0 0 25 0 1 0 692404076 14376960 2037 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3510 2037 566 18 0 3492 0
vsize: 14040
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2073 0 0 0 22995 6 0 0 25 0 1 0 692404076 14376960 2050 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3510 2050 566 18 0 3492 0
vsize: 14040
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2311 0 0 0 23994 7 0 0 25 0 1 0 692404076 15294464 2288 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2288 566 18 0 3716 0
vsize: 14936
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2516 0 0 0 24993 8 0 0 25 0 1 0 692404076 16216064 2493 4294967295 134512640 134581331 3221221792 3221220768 134561009 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3959 2493 566 18 0 3941 0
vsize: 15836
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2516 0 0 0 25993 8 0 0 25 0 1 0 692404076 16216064 2493 4294967295 134512640 134581331 3221221792 3221220672 134560430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3959 2493 566 18 0 3941 0
vsize: 15836
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2549 0 0 0 26993 9 0 0 25 0 1 0 692404076 16351232 2526 4294967295 134512640 134581331 3221221792 3221220672 134560456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3992 2526 566 18 0 3974 0
vsize: 15968
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2771 0 0 0 27992 9 0 0 25 0 1 0 692404076 17276928 2748 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2748 566 18 0 4200 0
vsize: 16872
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2782 0 0 0 28993 9 0 0 25 0 1 0 692404076 17276928 2759 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2759 566 18 0 4200 0
vsize: 16872
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2782 0 0 0 29993 10 0 0 25 0 1 0 692404076 17276928 2759 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2759 566 18 0 4200 0
vsize: 16872
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2782 0 0 0 30993 10 0 0 25 0 1 0 692404076 17276928 2759 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4218 2759 566 18 0 4200 0
vsize: 16872
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2851 0 0 0 31993 10 0 0 25 0 1 0 692404076 17539072 2828 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2828 566 18 0 4264 0
vsize: 17128
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2851 0 0 0 32993 10 0 0 25 0 1 0 692404076 17539072 2828 4294967295 134512640 134581331 3221221792 3221220736 134559277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2828 566 18 0 4264 0
vsize: 17128
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 2851 0 0 0 33993 10 0 0 25 0 1 0 692404076 17539072 2828 4294967295 134512640 134581331 3221221792 3221220672 134520448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4282 2828 566 18 0 4264 0
vsize: 17128
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3114 0 0 0 34993 10 0 0 25 0 1 0 692404076 18587648 3091 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3091 566 18 0 4520 0
vsize: 18152
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3274 0 0 0 35993 11 0 0 25 0 1 0 692404076 19255296 3251 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4701 3251 566 18 0 4683 0
vsize: 18804
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3281 0 0 0 36993 11 0 0 25 0 1 0 692404076 19398656 3258 4294967295 134512640 134581331 3221221792 3221220704 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3258 566 18 0 4718 0
vsize: 18944
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3289 0 0 0 37993 11 0 0 25 0 1 0 692404076 19398656 3266 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3266 566 18 0 4718 0
vsize: 18944
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3290 0 0 0 38993 11 0 0 25 0 1 0 692404076 19398656 3267 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3267 566 18 0 4718 0
vsize: 18944
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3291 0 0 0 39993 11 0 0 25 0 1 0 692404076 19398656 3268 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3268 566 18 0 4718 0
vsize: 18944
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3291 0 0 0 40993 11 0 0 25 0 1 0 692404076 19398656 3268 4294967295 134512640 134581331 3221221792 3221220720 134520080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3268 566 18 0 4718 0
vsize: 18944
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3291 0 0 0 41993 12 0 0 25 0 1 0 692404076 19398656 3268 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3268 566 18 0 4718 0
vsize: 18944
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3300 0 0 0 42993 12 0 0 25 0 1 0 692404076 19398656 3277 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3277 566 18 0 4718 0
vsize: 18944
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3300 0 0 0 43993 12 0 0 25 0 1 0 692404076 19398656 3277 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3277 566 18 0 4718 0
vsize: 18944
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3300 0 0 0 44993 12 0 0 25 0 1 0 692404076 19398656 3277 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3277 566 18 0 4718 0
vsize: 18944
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3300 0 0 0 45993 12 0 0 25 0 1 0 692404076 19398656 3277 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3277 566 18 0 4718 0
vsize: 18944
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 46993 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220736 134559261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 47994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 48994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 49994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 50994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 51994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 52994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220672 134560435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 53994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220784 134561117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 54994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 55994 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 56995 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3306 0 0 0 57995 12 0 0 25 0 1 0 692404076 19398656 3283 4294967295 134512640 134581331 3221221792 3221220720 134520034 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3283 566 18 0 4718 0
vsize: 18944
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3316 0 0 0 58995 12 0 0 25 0 1 0 692404076 19529728 3293 4294967295 134512640 134581331 3221221792 3221220768 134561000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3293 566 18 0 4750 0
vsize: 19072
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3316 0 0 0 59995 12 0 0 25 0 1 0 692404076 19529728 3293 4294967295 134512640 134581331 3221221792 3221220672 134560398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3293 566 18 0 4750 0
vsize: 19072
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3332 0 0 0 60995 12 0 0 25 0 1 0 692404076 19529728 3309 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3309 566 18 0 4750 0
vsize: 19072
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3333 0 0 0 61995 12 0 0 25 0 1 0 692404076 19529728 3310 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3310 566 18 0 4750 0
vsize: 19072
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3333 0 0 0 62996 12 0 0 25 0 1 0 692404076 19529728 3310 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3310 566 18 0 4750 0
vsize: 19072
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3333 0 0 0 63996 12 0 0 25 0 1 0 692404076 19529728 3310 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3310 566 18 0 4750 0
vsize: 19072
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3341 0 0 0 64996 13 0 0 25 0 1 0 692404076 19677184 3318 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3318 566 18 0 4786 0
vsize: 19216
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3341 0 0 0 65996 13 0 0 25 0 1 0 692404076 19677184 3318 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3318 566 18 0 4786 0
vsize: 19216
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3346 0 0 0 66996 13 0 0 25 0 1 0 692404076 19677184 3323 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3323 566 18 0 4786 0
vsize: 19216
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3356 0 0 0 67996 13 0 0 25 0 1 0 692404076 19677184 3333 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3333 566 18 0 4786 0
vsize: 19216
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3356 0 0 0 68997 13 0 0 25 0 1 0 692404076 19677184 3333 4294967295 134512640 134581331 3221221792 3221220784 134561087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3333 566 18 0 4786 0
vsize: 19216
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3356 0 0 0 69997 13 0 0 25 0 1 0 692404076 19677184 3333 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3333 566 18 0 4786 0
vsize: 19216
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3356 0 0 0 70997 13 0 0 25 0 1 0 692404076 19677184 3333 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3333 566 18 0 4786 0
vsize: 19216
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3356 0 0 0 71997 13 0 0 25 0 1 0 692404076 19677184 3333 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3333 566 18 0 4786 0
vsize: 19216
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3356 0 0 0 72997 13 0 0 25 0 1 0 692404076 19677184 3333 4294967295 134512640 134581331 3221221792 3221220488 1075288181 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3333 566 18 0 4786 0
vsize: 19216
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3357 0 0 0 73997 13 0 0 25 0 1 0 692404076 19677184 3334 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4804 3334 566 18 0 4786 0
vsize: 19216
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3373 0 0 0 74997 13 0 0 25 0 1 0 692404076 19873792 3350 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3350 566 18 0 4834 0
vsize: 19408
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3376 0 0 0 75998 13 0 0 25 0 1 0 692404076 19873792 3353 4294967295 134512640 134581331 3221221792 3221220672 134520222 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3353 566 18 0 4834 0
vsize: 19408
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3376 0 0 0 76998 13 0 0 25 0 1 0 692404076 19873792 3353 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3353 566 18 0 4834 0
vsize: 19408
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3376 0 0 0 77998 13 0 0 25 0 1 0 692404076 19873792 3353 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3353 566 18 0 4834 0
vsize: 19408
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3376 0 0 0 78998 13 0 0 25 0 1 0 692404076 19873792 3353 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3353 566 18 0 4834 0
vsize: 19408
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3377 0 0 0 79998 13 0 0 25 0 1 0 692404076 19873792 3354 4294967295 134512640 134581331 3221221792 3221220784 134560979 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3354 566 18 0 4834 0
vsize: 19408
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3377 0 0 0 80998 13 0 0 25 0 1 0 692404076 19873792 3354 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3354 566 18 0 4834 0
vsize: 19408
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3377 0 0 0 81999 13 0 0 25 0 1 0 692404076 19873792 3354 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3354 566 18 0 4834 0
vsize: 19408
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3378 0 0 0 82999 13 0 0 25 0 1 0 692404076 19873792 3355 4294967295 134512640 134581331 3221221792 3221220504 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3355 566 18 0 4834 0
vsize: 19408
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 83999 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 84999 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 85999 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 86999 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 88000 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220784 134561087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 89000 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 90000 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3383 0 0 0 91000 13 0 0 25 0 1 0 692404076 19873792 3360 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3360 566 18 0 4834 0
vsize: 19408
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3385 0 0 0 92000 13 0 0 25 0 1 0 692404076 19873792 3362 4294967295 134512640 134581331 3221221792 3221220720 134519965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3362 566 18 0 4834 0
vsize: 19408
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3386 0 0 0 93000 13 0 0 25 0 1 0 692404076 19873792 3363 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3363 566 18 0 4834 0
vsize: 19408
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3386 0 0 0 94001 13 0 0 25 0 1 0 692404076 19873792 3363 4294967295 134512640 134581331 3221221792 3221220720 134520099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3363 566 18 0 4834 0
vsize: 19408
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3387 0 0 0 95001 13 0 0 25 0 1 0 692404076 19873792 3364 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3364 566 18 0 4834 0
vsize: 19408
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3396 0 0 0 96001 13 0 0 25 0 1 0 692404076 19873792 3373 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3373 566 18 0 4834 0
vsize: 19408
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3397 0 0 0 97001 13 0 0 25 0 1 0 692404076 19873792 3374 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3374 566 18 0 4834 0
vsize: 19408
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3397 0 0 0 98001 13 0 0 25 0 1 0 692404076 19873792 3374 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3374 566 18 0 4834 0
vsize: 19408
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3397 0 0 0 99001 13 0 0 25 0 1 0 692404076 19873792 3374 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3374 566 18 0 4834 0
vsize: 19408
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3397 0 0 0 100001 13 0 0 25 0 1 0 692404076 19873792 3374 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3374 566 18 0 4834 0
vsize: 19408
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3397 0 0 0 101002 13 0 0 25 0 1 0 692404076 19873792 3374 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3374 566 18 0 4834 0
vsize: 19408
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3397 0 0 0 102001 14 0 0 25 0 1 0 692404076 19873792 3374 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3374 566 18 0 4834 0
vsize: 19408
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3402 0 0 0 103001 14 0 0 25 0 1 0 692404076 19873792 3379 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3379 566 18 0 4834 0
vsize: 19408
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3409 0 0 0 104001 14 0 0 25 0 1 0 692404076 20037632 3386 4294967295 134512640 134581331 3221221792 3221220672 134560477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3386 566 18 0 4874 0
vsize: 19568
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3409 0 0 0 105002 14 0 0 25 0 1 0 692404076 20037632 3386 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3386 566 18 0 4874 0
vsize: 19568
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3409 0 0 0 106002 14 0 0 25 0 1 0 692404076 20037632 3386 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3386 566 18 0 4874 0
vsize: 19568
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3409 0 0 0 107002 14 0 0 25 0 1 0 692404076 20037632 3386 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3386 566 18 0 4874 0
vsize: 19568
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3409 0 0 0 108002 14 0 0 25 0 1 0 692404076 20037632 3386 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3386 566 18 0 4874 0
vsize: 19568
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3409 0 0 0 109002 14 0 0 25 0 1 0 692404076 20037632 3386 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3386 566 18 0 4874 0
vsize: 19568
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3419 0 0 0 110002 14 0 0 25 0 1 0 692404076 20037632 3396 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3396 566 18 0 4874 0
vsize: 19568
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3419 0 0 0 111003 14 0 0 25 0 1 0 692404076 20037632 3396 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3396 566 18 0 4874 0
vsize: 19568
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3419 0 0 0 112003 14 0 0 25 0 1 0 692404076 20037632 3396 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3396 566 18 0 4874 0
vsize: 19568
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3419 0 0 0 113003 14 0 0 25 0 1 0 692404076 20037632 3396 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3396 566 18 0 4874 0
vsize: 19568
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3419 0 0 0 114003 14 0 0 25 0 1 0 692404076 20037632 3396 4294967295 134512640 134581331 3221221792 3221220784 134561155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3396 566 18 0 4874 0
vsize: 19568
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3420 0 0 0 115003 14 0 0 25 0 1 0 692404076 20037632 3397 4294967295 134512640 134581331 3221221792 3221220784 134561150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3397 566 18 0 4874 0
vsize: 19568
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3420 0 0 0 116003 15 0 0 25 0 1 0 692404076 20037632 3397 4294967295 134512640 134581331 3221221792 3221220504 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3397 566 18 0 4874 0
vsize: 19568
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3420 0 0 0 117004 15 0 0 25 0 1 0 692404076 20037632 3397 4294967295 134512640 134581331 3221221792 3221220720 134520041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3397 566 18 0 4874 0
vsize: 19568
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3420 0 0 0 118004 15 0 0 25 0 1 0 692404076 20037632 3397 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3397 566 18 0 4874 0
vsize: 19568
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3420 0 0 0 119004 15 0 0 25 0 1 0 692404076 20037632 3397 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3397 566 18 0 4874 0
vsize: 19568
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15824
Raw data (stat): 15824 (Pueblo) R 15823 7876 7672 0 -1 0 3420 0 0 0 120004 15 0 0 25 0 1 0 692404076 20037632 3397 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4892 3397 566 18 0 4874 0
vsize: 19568
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15824
Raw data (stat): 15824 (Pueblo) Z 15823 7876 7672 0 -1 1036 3420 0 0 0 120004 15 0 0 25 0 1 0 692404076 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.05
CPU time (s): 1200.2
CPU user time (s): 1200.05
CPU system time (s): 0.157975
CPU usage (%): 100.013
Max. virtual memory (Kb): 19568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####